43 resultados para 280402 Mathematical Logic and Formal Languages
Resumo:
This paper provides an overview of rich biblical imagery related to the mouth, built around the conceptual metaphor MOUTH IS AN OPENING, followed by a critical analysis of four text units from both Testaments employing the basic extensions of this metaphor in the renderings of twelve contemporary English versions of the Bible. It is demonstrated that the meaningful choice of translating techniques and the type of equivalence pursued in translation must be based on a thorough examination and comparison of the conceptual systems of the source and target languages.
Resumo:
Regarding the Real: Cinema, Documentary, and the Visual Arts develops an interdisciplinary approach to documentary film, focusing on its cultural and formal relations to other visual arts, such as animation, assemblage, photography, painting, sculpture, and architecture. The book considers the work of figures whose preferred film language is associative and fragmentary, and for whom the documentary is an endlessly open form, an unstable expressive phenomenon that cannot but interrogate the validity of its own narratives and representational modes. Combining close analysis with cultural history, Regarding the Real calls for a re-assessment of the influence of the modern arts in subverting the structures of realism typically associated with documentary filmmaking.
Resumo:
Studies in sensory neuroscience reveal the critical importance of accurate sensory perception for cognitive development. There is considerable debate concerning the possible sensory correlates of phonological processing, the primary cognitive risk factor for developmental dyslexia. Across languages, children with dyslexia have a specific difficulty with the neural representation of the phonological structure of speech. The identification of a robust sensory marker of phonological difficulties would enable early identification of risk for developmental dyslexia and early targeted intervention. Here, we explore whether phonological processing difficulties are associated with difficulties in processing acoustic cues to speech rhythm. Speech rhythm is used across languages by infants to segment the speech stream into words and syllables. Early difficulties in perceiving auditory sensory cues to speech rhythm and prosody could lead developmentally to impairments in phonology. We compared matched samples of children with and without dyslexia, learning three very different spoken and written languages, English, Spanish, and Chinese. The key sensory cue measured was rate of onset of the amplitude envelope (rise time), known to be critical for the rhythmic timing of speech. Despite phonological and orthographic differences, for each language, rise time sensitivity was a significant predictor of phonological awareness, and rise time was the only consistent predictor of reading acquisition. The data support a language-universal theory of the neural basis of developmental dyslexia on the basis of rhythmic perception and syllable segmentation. They also suggest that novel remediation strategies on the basis of rhythm and music may offer benefits for phonological and linguistic development.
Resumo:
The 1980s saw a wave of African films that aimed to represent, on both local and international screens, a sophisticated pre-colonial Africa, thus debunking notions of the continent as primitive. Toward this aim the films inscribed the conventions of oral performance within their visual styles, denying spectator identification with the protagonists and emphasising the presence of the narrator. However, some critics argued that these films exoticised Africa, while their use of oral performance’s distancing effect echoed the ‘scientific’ distance structured by the ethnographic film, in which African societies were represented as ‘the other’. Souleymane Cissé’s Yeelen exemplifies this tension, transposing into cinematic form oral storytelling techniques in the depiction of a power struggle within the covert cult of the komo, a Bambara initiation society unfamiliar to most non-Bambara viewers. This paper demonstrates how the film negotiates this tension via music, which interpellates the international spectator by eliciting a greater identification with the protagonists than that determined at a visual level, while encoding a verisimilitude to rituals that may otherwise be read as the superstitious practices of ‘the other’. In this way, music and image in Yeelen operate as parallel, though often overlapping, discourses, bridging the gap between the film’s culturally specific narrative and formal components, and its international spectators.
Resumo:
Set against the progress claimed since the Good Friday/ Belfast Agreement, this article reflects the reality of life for children and young people as they negotiate the aftermath of the Conflict in Northern Ireland. Their experiences of informal and formal policing, community and State control, demonstrate the need to understand the lasting impacts of the Conflict when developing policies and practices affecting their lives. At a crucial defining period in the devolution of justice and policing, and based on primary research conducted by the authors, the article establishes key rights-compliant principles central to reform of youth justice.
Resumo:
In this paper, we show how interacting and occluding targets can be tackled successfully within a Gaussian approximation. For that purpose, we develop a general expansion of the mean and covariance of the posterior and we consider a first order approximation of it. The proposed method differs from EKF in that neither a non-linear dynamical model nor a non-linear measurement vector to state relation have to be defined, so it works with any kind of interaction potential and likelihood. The approach has been tested on three sequences (10400, 2500, and 400 frames each one). The results show that our approach helps to reduce the number of failures without increasing too much the computation time with respect to methods that do not take into account target interactions.
Resumo:
Security devices are vulnerable to Differential Power Analysis (DPA) that reveals the key by monitoring the power consumption of the circuits. In this paper, we present the first DPA attack against an FPGA implementation of the Camellia encryption algorithm with all key sizes and evaluate the DPA resistance of the algorithm. The Camellia cryptographic algorithm involves several different key-dependent intermediate operations including S-Box operations. In previous research, it was believed that the Camellia is stronger than AES due to the additional Whitening phase protecting the S-Box operation. However, we propose an attack that bypasses the Whitening phase and targets the S-Box. In this paper, we also discuss a lowcost countermeasure strategy to protect the Pre-whitening / Post-whitening and FL function of Camellia using Dual-rail Precharged Logic and to protect against attacks of the S-Box using Random Delay Insertion. © 2009 IEEE.
Resumo:
Changes in the health care system have meant that increasing numbers of the terminally ill receive the majority of their care at home. The purpose of this paper was to document patterns of informal and formal care provided to the terminally ill and assess the impact caregiving has on family members. One hundred and fifty-one family caregivers were recruited for interviews from two community-nursing agencies in an urban region of the province of Ontario, Canada. The majority of respondents 119 (79%) were the female spouses of the patient. The numbers of caregivers providing assistance in specific functional activities were: bathing, 133 (88%); mobility, 123 (81%); dressing and undressing, 114 (76%); toileting, 101 (67%), and assistance at night 97 (64%). Sixty-two (41%) respondents reported that they had been providing some form of caregiving for over one year. They also reported that physical demands in caregiving increased substantially during the last three months of the care recipient's life. As family caregivers provided more assistance in activities of daily living they were at greater risk of reporting high caregiver burden. The results of this paper identify the types of care provided by family caregivers of the terminally ill and the impact these demands have on the family caregiver.
Resumo:
Thin single-crystal lamellae cut from Pb(Zr,Ti)O3–Pb(Fe,Ta)O3 ceramic samples have been integrated into simple coplanar capacitor devices. The influence of applied electric and magnetic fields on ferroelectric domain configurations has been mapped, using piezoresponse force microscopy. The extent to which magnetic fields alter the ferroelectric domains was found to be strongly history dependent: after switching had been induced by applying electric fields, the susceptibility of the domains to change under a magnetic field (the effective magnetoelectric coupling parameter) was large. Such large, magnetic field-induced changes resulted in a remanent domain state very similar to the remanent state induced by an electric field. Subsequent magnetic field reversal induced more modest ferroelectric switching.
Resumo:
Background
When asked to solve mathematical problems, some people experience anxiety and threat, which can lead to impaired mathematical performance (Curr Dir Psychol Sci 11:181–185, 2002). The present studies investigated the link between mathematical anxiety and performance on the cognitive reflection test (CRT; J Econ Perspect 19:25–42, 2005). The CRT is a measure of a person’s ability to resist intuitive response tendencies, and it correlates strongly with important real-life outcomes, such as time preferences, risk-taking, and rational thinking.
Methods
In Experiments 1 and 2 the relationships between maths anxiety, mathematical knowledge/mathematical achievement, test anxiety and cognitive reflection were analysed using mediation analyses. Experiment 3 included a manipulation of working memory load. The effects of anxiety and working memory load were analysed using ANOVAs.
Results
Our experiments with university students (Experiments 1 and 3) and secondary school students (Experiment 2) demonstrated that mathematical anxiety was a significant predictor of cognitive reflection, even after controlling for the effects of general mathematical knowledge (in Experiment 1), school mathematical achievement (in Experiment 2) and test anxiety (in Experiments 1–3). Furthermore, Experiment 3 showed that mathematical anxiety and burdening working memory resources with a secondary task had similar effects on cognitive reflection.
Conclusions
Given earlier findings that showed a close link between cognitive reflection, unbiased decisions and rationality, our results suggest that mathematical anxiety might be negatively related to individuals’ ability to make advantageous choices and good decisions.
Resumo:
This paper investigates a representation language with flexibility inspired by probabilistic logic and compactness inspired by relational Bayesian networks. The goal is to handle propositional and first-order constructs together with precise, imprecise, indeterminate and qualitative probabilistic assessments. The paper shows how this can be achieved through the theory of credal networks. New exact and approximate inference algorithms based on multilinear programming and iterated/loopy propagation of interval probabilities are presented; their superior performance, compared to existing ones, is shown empirically.
Resumo:
This paper explores semi-qualitative probabilistic networks (SQPNs) that combine numeric and qualitative information. We first show that exact inferences with SQPNs are NPPP-Complete. We then show that existing qualitative relations in SQPNs (plus probabilistic logic and imprecise assessments) can be dealt effectively through multilinear programming. We then discuss learning: we consider a maximum likelihood method that generates point estimates given a SQPN and empirical data, and we describe a Bayesian-minded method that employs the Imprecise Dirichlet Model to generate set-valued estimates.
Resumo:
Answer Set Programming (ASP) is a popular framework for modelling combinatorial problems. However, ASP cannot be used easily for reasoning about uncertain information. Possibilistic ASP (PASP) is an extension of ASP that combines possibilistic logic and ASP. In PASP a weight is associated with each rule, whereas this weight is interpreted as the certainty with which the conclusion can be established when the body is known to hold. As such, it allows us to model and reason about uncertain information in an intuitive way. In this paper we present new semantics for PASP in which rules are interpreted as constraints on possibility distributions. Special models of these constraints are then identified as possibilistic answer sets. In addition, since ASP is a special case of PASP in which all the rules are entirely certain, we obtain a new characterization of ASP in terms of constraints on possibility distributions. This allows us to uncover a new form of disjunction, called weak disjunction, that has not been previously considered in the literature. In addition to introducing and motivating the semantics of weak disjunction, we also pinpoint its computational complexity. In particular, while the complexity of most reasoning tasks coincides with standard disjunctive ASP, we find that brave reasoning for programs with weak disjunctions is easier.