961 resultados para Kernel of Extendable Language of Applied Logic
Resumo:
The methods and software for integration of databases (DBs) on inorganic material and substance properties have been developed. The information systems integration is based on known approaches combination: EII (Enterprise Information Integration) and EAI (Enterprise Application Integration). The metabase - special database that stores data on integrated DBs contents is an integrated system kernel. Proposed methods have been applied for DBs integrated system creation in the field of inorganic chemistry and materials science. Important developed integrated system feature is ability to include DBs that have been created by means of different DBMS using essentially various computer platforms: Sun (DB "Diagram") and Intel (other DBs) and diverse operating systems: Sun Solaris (DB "Diagram") and Microsoft Windows Server (other DBs).
Resumo:
Cyclooxygenase 2 (COX2), a key regulatory enzyme of the prostaglandin/eicosanoid pathway, is an important target for anti-inflammatory therapy. It is highly induced by pro-inflammatory cytokines in a Nuclear factor kappa B (NFκB)-dependent manner. However, the mechanisms determining the amplitude and dynamics of this important pro-inflammatory event are poorly understood. Furthermore, there is significant difference between human and mouse COX2 expression in response to the inflammatory stimulus tumor necrosis factor alpha (TNFα). Here, we report the presence of a molecular logic AND gate composed of two NFκB response elements (NREs) which controls the expression of human COX2 in a switch-like manner. Combining quantitative kinetic modeling and thermostatistical analysis followed by experimental validation in iterative cycles, we show that the human COX2 expression machinery regulated by NFκB displays features of a logic AND gate. We propose that this provides a digital, noise-filtering mechanism for a tighter control of expression in response to TNFα, such that a threshold level of NFκB activation is required before the promoter becomes active and initiates transcription. This NFκB-regulated AND gate is absent in the mouse COX2 promoter, most likely contributing to its differential graded response in promoter activity and protein expression to TNFα. Our data suggest that the NFκB-regulated AND gate acts as a novel mechanism for controlling the expression of human COX2 to TNFα, and its absence in the mouse COX2 provides the foundation for further studies on understanding species-specific differential gene regulation.
Resumo:
A Quantified Autoepistemic Logic is axiomatized in a monotonic Modal Quantificational Logic whose modal laws are slightly stronger than S5. This Quantified Autoepistemic Logic obeys all the laws of First Order Logic and its L predicate obeys the laws of S5 Modal Logic in every fixed-point. It is proven that this Logic has a kernel not containing L such that L holds for a sentence if and only if that sentence is in the kernel. This result is important because it shows that L is superfluous thereby allowing the ori ginal equivalence to be simplified by eliminating L from it. It is also shown that the Kernel of Quantified Autoepistemic Logic is a generalization of Quantified Reflective Logic, which coincides with it in the propositional case.
Resumo:
The paper presents a new network-flow interpretation of Łukasiewicz’s logic based on models with an increased effectiveness. The obtained results show that the presented network-flow models principally may work for multivalue logics with more than three states of the variables i.e. with a finite set of states in the interval from 0 to 1. The described models give the opportunity to formulate various logical functions. If the results from a given model that are contained in the obtained values of the arc flow functions are used as input data for other models then it is possible in Łukasiewicz’s logic to interpret successfully other sophisticated logical structures. The obtained models allow a research of Łukasiewicz’s logic with specific effective methods of the network-flow programming. It is possible successfully to use the specific peculiarities and the results pertaining to the function ‘traffic capacity of the network arcs’. Based on the introduced network-flow approach it is possible to interpret other multivalue logics – of E.Post, of L.Brauer, of Kolmogorov, etc.
Resumo:
Research has found that children with autism spectrum disorders (ASD) show significant deficits in receptive language skills (Wiesmer, Lord, & Esler, 2010). One of the primary goals of applied behavior analytic intervention is to improve the communication skills of children with autism by teaching receptive discriminations. Both receptive discriminations and receptive language entail matching spoken words with corresponding objects, symbols (e.g., pictures or words), actions, people, and so on (Green, 2001). In order to develop receptive language skills, children with autism often undergo discrimination training within the context of discrete trial training. This training entails teaching the learner how to respond differentially to different stimuli (Green, 2001). It is through discrimination training that individuals with autism learn and develop language (Lovaas, 2003). The present study compares three procedures for teaching receptive discriminations: (1) simple/conditional (Procedure A), (2) conditional only (Procedure B), and (3) conditional discrimination of two target cards (Procedure C). Six children, ranging in age from 2-years-old to 5-years-old, with an autism diagnosis were taught how to receptively discriminate nine sets of stimuli. Results suggest that the extra training steps included in the simple/conditional and conditional only procedures may not be necessary to teach children with autism how to receptively discriminate. For all participants, Procedure C appeared to be the most efficient and effective procedure for teaching young children with autism receptive discriminations. Response maintenance and generalization probes conducted one-month following the end of training indicate that even though Procedure C resulted in less training sessions overall, no one procedure resulted in better maintenance and generalization than the others. In other words, more training sessions, as evident with the simple/conditional and conditional only procedures, did not facilitate participants’ ability to accurately respond or generalize one-month following training. The present study contributes to the literature on what is the most efficient and effective way to teach receptive discrimination during discrete trial training to children with ASD. These findings are critical as research shows that receptive language skills are predictive of better outcomes and adaptive behaviors in the future.
Resumo:
Much has been written on the organizational power of metaphor in discourse, eg on metaphor ‘chains’ and ‘clusters’ of linguistic metaphor in discourse (Koller 2003, Cameron & Stelma 2004, Semino 2008) and the role of extended and systematic metaphor in organizing long stretches of language, even whole texts (Cameron et al 2009, Cameron & Maslen 2010, Deignan et al 2013, Semino et al 2013). However, at times, this work belies the intricacies of how a single metaphoric idea can impact on a text. The focus of this paper is a UK media article derived from a HM Treasury press release on alleviating poverty. The language of the article draws heavily on orientational (spatial) metaphors, particularly metaphors of movement around GOOD IS UP. Although GOOD IS UP can be considered a single metaphoric idea, the picture the reader builds up as they move line by line through this text is complex and multifaceted. I take the idea of “building up a picture” literally in order to investigate the schema of motion relating to GOOD IS UP. To do this, fifteen informants (Masters students at a London university), tutored in Cognitive Metaphor Theory, were asked to read the article and underline words and expressions they felt related to GOOD IS UP. The text was then read back to the informant with emphasis given to the words they had underlined, while they drew a pictorial representation of the article based on the meanings of these words, integrating their drawings into a single picture as they went along. I present examples of the drawings the informants produced. I propose that using Metaphor-led Discourse Analysis to produce visual material in this way offers useful insights into how metaphor contributes to meaning making at text level. It shows how a metaphoric idea, such as GOOD IS UP, provides the text producer with a rich and versatile meaning-making resource for constructing text; and gives a ‘mind-map’ of how certain aspects of a media text are decoded by the text receiver. It also offers a partial representation of the elusive, intermediate ‘deverbalized’ stage of translation (Lederer 1987), where the sense of the source text is held in the mind before it is transferred to the target language. References Cameron, L., R. Maslen, Z. Todd, J. Maule, P. Stratton & N. Stanley. 2009. ‘The discourse dynamic approach to metaphor and metaphor-led analysis’. Metaphor and Symbol, 24(2), 63-89. Cameron, L. & R. Maslen (eds). 2010. Metaphor Analysis: Research Practice in Applied Linguistics, Social Sciences and Humanities. London: Equinox. Cameron, L. & J. Stelma. 2004. ‘Metaphor Clusters in Discourse’. Journal of Applied Linguistics, 1(2), 107-136. Deignan, A., J. Littlemore & E. Semino. 2013. Figurative Language, Genre and Register. Cambridge: Cambridge University Press. Koller, V. 2003. ‘Metaphor Clusters, Metaphor Chains: Analyzing the Multifunctionality of Metaphor in Text’. metaphorik.de, 5, 115-134. Lederer, M. 1987. ‘La théorie interprétative de la traduction’ in Retour à La Traduction. Le Francais dans Le Monde. Semino, E. 2008. Metaphor in Discourse. Cambridge: Cambridge University Press. Semino, E., A. Deignan & J. Littlemore. 2013. ‘Metaphor, Genre, and Recontextualization’. Metaphor and Symbol. 28(1), 41-59.
Resumo:
In this study three chronicles from national newspapers (one generalist and two sport press) were analyzed. The chronicles belong to Spain’s soccer final of the King’s Cup in 2014. The aim of the study was to know if there was any influence on the readers’ perception of justice and consequently if this influence could cause a particular predisposition to participate in acts of protest. 462 university students participated. The results showed that different chronicles caused differences in the perception of justice depending on the chronicle read. However, a clear influence on the willingness to participate in acts of protest was not obtained. These results should make us think about the impact of sport press and its influence, and to be aware of the indirect responsibility of every sector on the antisocial behaviors generated by soccer in our country.
Resumo:
the article explores the putatively non-metaphysical – non-voluntarist, and even non-causal – concept of freedom outlined in Hegel’s work and discusses its influential interpretation by robert Pippin as an ‘essentially practical’ concept. I argue that Hegel’s affirmation of freedom must be distinguished from that of Kant and Fichte, since it does not rely on a prior understanding of self-consciousness as an originally teleological relation and it has not the nature of a claim ‘from a practical point of view’.
Resumo:
Numerous studies have found a positive connection between learners’ motivation towards foreign language and foreign language achievement. The present study examines the role of motivation in receptive vocabulary breadth (size) of two groups of Spanish learners of different ages, but all with 734 hours of instruction in English as a Foreign Language (EFL): a CLIL (Content and Language Integrated Learning) group in primary education and a non-CLIL (or EFL) group in secondary education. Most students in both groups were found to be highly motivated. The primary CLIL group slightly overcame the secondary non-CLIL group with respect to the mean general motivation but this is a non-significant difference. The secondary group surpass significantly the primary group in receptive vocabulary size. No relationship between the receptive vocabulary knowledge and general motivation is found in the primary CLIL group. On the other hand, a positive significant connection, although a very small one, is identified for the secondary non-CLIL group. We will discuss on the type of test, the age of students and the type of instruction as variables that could be influencing the results.
Resumo:
CLIL instruction has been reported to be beneficial for foreign language vocabulary learning since CLIL students show higher vocabulary profiles than students of their same age in traditional EFL contexts. However, to our knowledge, the receptive vocabulary knowledge of CLIL and non-CLIL learners at the end of primary and secondary education has not been examined yet. Hence, this study aims at comparing the receptive vocabulary size 79 CLIL primary learners with the receptive vocabulary knowledge of 331 non-CLIL learners at the end of primary and secondary school. Sex-based differences were also analysed. The 2k Vocabulary Levels Test (VLT) was used for the purposes of the study. Results revealed that learners’ receptive vocabulary sizes lie within the most frequent 1000 words, non-CLIL secondary school students throw better results than primary students but the differences between the secondary group and the CLIL group are not statistically significant. As for sex-based differences, we found no significant differences among the groups. These findings led us to believe that the CLIL approach offers a benefit for vocabulary acquisition since CLIL learners have been exposed to the foreign language for a shorter period of time and the results are quite similar to their non-CLIL secondary school partners.
Resumo:
Like all high yielding farming systems nitrogen (N) is a key component to their productivity and profitability and Australian irrigated cotton growers are tending to apply more N than is required for the level of lint yield that is being achieved. This suggests either over application of N or inefficient systems limiting the response of cotton to N inputs. To investigate this four replicated trials were established in commercial fields during the 2014/15 season. The trials were aiming to measure the difference in response of irrigated cotton to the application of N under flood and overhead irrigation systems. The application treatments utilized eight upfront rates of applied N, ranging from 0 N kg/ha to a maximum of 410 kg N/ha, with three of the fours trials receiving a growerdetermined in-crop application of N in the irrigation water. The two flood irrigation systems had lower lint yields from similar levels of N input compared to one of the overhead irrigated sites; the result from the second overhead site was impacted by disease. This paper discusses the response of plant N uptake, lint yield and fertilizer N recovery to N application..
Resumo:
International audience
Resumo:
International audience
Resumo:
In the paper, the authors present and analyse examples of mistranslated film titles into the Polish language, selected from a database of over 1,100 titles and presented on the sample of the film genre comedy with all its subgenres. The authors discuss various film title translation strategies and procedures with reference to the literature on the subject. In the conclusions, the authors attempt to explain the reasons for the selection of certain translation procedures, with special focus on the free formulation of titles as the least transparent.
Resumo:
Research has found that children with autism spectrum disorders (ASD) show significant deficits in receptive language skills (Wiesmer, Lord, & Esler, 2010). One of the primary goals of applied behavior analytic intervention is to improve the communication skills of children with autism by teaching receptive discriminations. Both receptive discriminations and receptive language entail matching spoken words with corresponding objects, symbols (e.g., pictures or words), actions, people, and so on (Green, 2001). In order to develop receptive language skills, children with autism often undergo discrimination training within the context of discrete trial training. This training entails teaching the learner how to respond differentially to different stimuli (Green, 2001). It is through discrimination training that individuals with autism learn and develop language (Lovaas, 2003). The present study compares three procedures for teaching receptive discriminations: (1) simple/conditional (Procedure A), (2) conditional only (Procedure B), and (3) conditional discrimination of two target cards (Procedure C). Six children, ranging in age from 2-years-old to 5-years-old, with an autism diagnosis were taught how to receptively discriminate nine sets of stimuli. Results suggest that the extra training steps included in the simple/conditional and conditional only procedures may not be necessary to teach children with autism how to receptively discriminate. For all participants, Procedure C appeared to be the most efficient and effective procedure for teaching young children with autism receptive discriminations. Response maintenance and generalization probes conducted one-month following the end of training indicate that even though Procedure C resulted in less training sessions overall, no one procedure resulted in better maintenance and generalization than the others. In other words, more training sessions, as evident with the simple/conditional and conditional only procedures, did not facilitate participants’ ability to accurately respond or generalize one-month following training. The present study contributes to the literature on what is the most efficient and effective way to teach receptive discrimination during discrete trial training to children with ASD. These findings are critical as research shows that receptive language skills are predictive of better outcomes and adaptive behaviors in the future. ^