934 resultados para 280402 Mathematical Logic and Formal Languages
Resumo:
This paper investigates combinatorial arrangements of the dartboard to maximize a penalty function derived from the differences of adjacent sectors. The particular penalty function is constructed by summing the absolute differences of neighbouring sectors raised to a power between zero and one. The arrangement to give the maximum penalty is found
Resumo:
This paper presents a Java-based hyperbolic-style browser designed to render RDF files as structured ontological maps. The program was motivated by the need to browse the content of a web-accessible ontology server: WEB KB-2. The ontology server contains descriptions of over 74,500 object types derived from the WordNet 1.7 lexical database and can be accessed using RDF syntax. Such a structure creates complications for hyperbolic-style displays. In WEB KB-2 there are 140 stable ontology link types and a hyperbolic display needs to filter and iconify the view so different link relations can be distinguished in multi-link views. Our browsing tool, OntoRama, is therefore motivated by two possibly interfering aims: the first to display up to 10 times the number of nodes in a hyperbolic-style view than using a conventional graphics display; secondly, to render the ontology with multiple links comprehensible in that view.
Resumo:
We investigate the relative complexity of two free-variable labelled modal tableaux(KEM and Single Step Tableaux, SST). We discuss the reasons why p-simulation is not a proper measure of the relative complexity of tableaux-like proof systems, and we propose an improved comparison scale (p-search-simulation). Finally we show that KEM p-search-simulates SST while SST cannot p-search-simulate KEM.
Resumo:
A rádio-peão é estudada nos Estados Unidos desde o período pós II Guerra Mundial. No Brasil, este processo comunicacional ganhou relevância no final da década de 1970 com os movimentos operários que buscavam formas democráticas de diálogo, durante o regime militar. Já a comunicação formal face a face começou a ser praticada nas organizações brasileiras em meados dos anos 1990, com a chegada de novos modelos internacionais de gestão empresarial. Ao estudar estes dois formatos de comunicação, através de pesquisas bibliográfica e documental e entrevistas semi-abertas com acadêmicos e profissionais de mercado de diferentes áreas de conhecimento e atuação, foi possível um aprofundamento acerca de suas histórias, atributos e papéis desempenhados hoje, nas organizações, além de como essas formas de comunicação face a face (formal e informal) interagem entre si, de acordo com interesses pessoais ou organizacionais.(AU)
Resumo:
The current paper examines the dissimilarities that have occurred in news framing by state-sponsored news outlets in their different language versions. The comparative framing analysis is conducted on the news coverage of the Russian intervention in Syria (2016) in RT and Radio Liberty in Russian and English languages. The certain discrepancies in framing of this event are found in both news outlets. The strongest distinction between Russian and English versions occurred in framing of responsibility and humanitarian crisis in Syria. The study attempts to explain the identified differences in a framework of public diplomacy and propaganda studies. The existing theories explain that political ideology and foreign policy orientation influences principles of state propaganda and state-sponsored international broadcasting. However, the current findings suggest that other influence factors may exist in the field – such as the local news discourse and the journalistic principles. This conclusion is preliminary, as there are not many studies with the comparable research design, which could support the current discussion. The studies of localized strategies of the international media (whether private networks or state-funded channels) can refine the current conclusions and bring a new perspective to global media studies.
Resumo:
This article approaches the fragmentation of identities characteristic of contemporary Western societies through the 1992 film Léolo by Jean-Claude Lauzon. Although it does explore linguistic, social, religious and ethnic divisions, this major piece of the Quebec repertoire recasts the sociolinguistic conflict between vernacular and formal practices (Labov 1972; Blanche-Benveniste 2002), raising questions of status and choice. This conflict is subsumed by the dialectics between primary and secondary culture. The cultural and linguistic opposition finds a primary metaphor in the film's central motif of the duality of dream and reality. No more than the cultural and linguistic can this opposition find a synthesis. This impossible reconciliation defines the constitutive rupture of the human psyche itself.
Resumo:
Signal integration determines cell fate on the cellular level, affects cognitive processes and affective responses on the behavioural level, and is likely to be involved in psychoneurobiological processes underlying mood disorders. Interactions between stimuli may subjected to time effects. Time-dependencies of interactions between stimuli typically lead to complex cell responses and complex responses on the behavioural level. We show that both three-factor models and time series models can be used to uncover such time-dependencies. However, we argue that for short longitudinal data the three factor modelling approach is more suitable. In order to illustrate both approaches, we re-analysed previously published short longitudinal data sets. We found that in human embryonic kidney 293 cells cells the interaction effect in the regulation of extracellular signal-regulated kinase (ERK) 1 signalling activation by insulin and epidermal growth factor is subjected to a time effect and dramatically decays at peak values of ERK activation. In contrast, we found that the interaction effect induced by hypoxia and tumour necrosis factor-alpha for the transcriptional activity of the human cyclo-oxygenase-2 promoter in HEK293 cells is time invariant at least in the first 12-h time window after stimulation. Furthermore, we applied the three-factor model to previously reported animal studies. In these studies, memory storage was found to be subjected to an interaction effect of the beta-adrenoceptor agonist clenbuterol and certain antagonists acting on the alpha-1-adrenoceptor / glucocorticoid-receptor system. Our model-based analysis suggests that only if the antagonist drug is administer in a critical time window, then the interaction effect is relevant.