226 resultados para formal semantics
Resumo:
Abstract This study evaluates the reliability of self-assessment as a measure of computer competence. This evaluation is carried out in response to recent research which has employed self-reported ratings as the sole indicator of students’ computer competence. To evaluate the reliability of self-assessed computer competence, the scores achieved by students in self-assessed computer competence tests are compared with scores achieved in objective tests. The results reveal a statistically significantly over-estimation of computer competence among the students surveyed. Furthermore, reported pre-university computer experience in terms of home and school use and formal IT education does not affect this result. The findings call into question the validity of using self-assessment as a measure of computer competence. More generally, the study also provides an up-to-date picture of self-reported computer usage and IT experience among pre-university students from New Zealand and South-east Asia and contrasts these findings with those from previous research.
Resumo:
The expression for the force on an ion in the presence of current can be derived from first principles without any assumption about its conservative character. However, energy functionals have been constructed that indicate that this force can be written as the derivative of a potential. On the other hand, there exist specific arguments that strongly suggest the contrary. We propose physical mechanisms that invalidate such arguments and demonstrate their existence with first-principles calculations. While our results do not constitute a formal resolution to the fundamental question of whether current-induced forces are conservative, they represent a substantial step forward in this direction.
Resumo:
There is a substantial literature on the relationship between gender and access to finance. However, most studies have been concerned with access to debt finance. More recently, the focus of this research has broadened to examine women and venture capital. This article extends the focus further by examining the role of women in the business angel market, which is more important than the formal venture capital market in terms of both the number of ventures supported and total capital flows. Based on a detailed analysis of business angels in the U.K., the study concludes that women investors who are active in the market differ from their male counterparts in only limited respects. Future research into women business angels, and the possible existence of gender differences, needs to be based on more fully elaborated standpoint epistemologies that focus on the experience of the woman angel investor per se, and center on the examination of the role of homophily, social capital, networking, and competition in investment behavior.
Resumo:
What is a benchmark bond? We provide a formal theoretical treatment of this concept that relates endogenously determined benchmark status to the location of price discovery and we derive its implications. We describe a rich but little used econometric technique for identifying the benchmark that is congruent with our theoretical framework. We apply this in the context of the US corporate bond market and to the natural experiment that occurred when benchmark status was contested in the European sovereign bond markets after the introduction of the Euro. We show that France provides the benchmark at most maturities in the Euro-denominated sovereign bond market and that IBM provides the benchmark in the 10 year maturity in the US corporate bond market.
Resumo:
The Zipf curves of log of frequency against log of rank for a large English corpus of 500 million word tokens, 689,000 word types and for a large Spanish corpus of 16 million word tokens, 139,000 word types are shown to have the usual slope close to –1 for rank less than 5,000, but then for a higher rank they turn to give a slope close to –2. This is apparently mainly due to foreign words and place names. Other Zipf curves for highlyinflected Indo-European languages, Irish and ancient Latin, are also given. Because of the larger number of word types per lemma, they remain flatter than the English curve maintaining a slope of –1 until turning points of about ranks 30,000 for Irish and 10,000 for Latin. A formula which calculates the number of tokens given the number of types is derived in terms of the rank at the turning point, 5,000 for both English and Spanish, 30,000 for Irish and 10,000 for Latin.
Resumo:
Muldoon’s poetry frequently explores states of being ‘in-between’ and this can plausibly be related to his Catholic Northern Irish identity. He seems to be aware of the effects comprised in Derrida’s concept of différance, one version of which is the entre (‘between’). Nevertheless, Muldoon is more interested in exploring the experience of postmodernity than in offering a theory, or relating it to one culture. But this exploration has as many similarities with the concerns of existentialism and phenomenology as with deconstruction. Poems from Why Brownlee Left to Moy Sand and Gravel are discussed, and topics addressed include the South American exotic (new sources are suggested) and the troping on yarrow (compare Derrida’s pharmakon) in The Annals of Chile. Formal effects of repetition and difference reflect the themes. The redemption of repetition is studied with the help both of Kierkegaard and of Muldoon’s thoughts on the ‘magic mist’ of Irish romance.
Resumo:
The Parades Commission of Northern Ireland was established to regulate the use of public space in the region. Its formal design includes both a role in mediating between groups over how spaces are used and an adjudicative role when agreement between competing groups cannot be reached. We argue that the Parades Commission has only been effective to the degree that its character as a bureaucracy has quelled violence surrounding parades. The Commission's goal of conciliation cannot be attained without a more consistent, transparent and inclusive approach to applying law.
Resumo:
It is argued widely that the academy today is in the process of significant change—in the institutional assumptions of what constitutes the university and the construction of knowledge and in its relations with the city and the world. This article addresses the evolution of the modern university in the context of the discourses of contemporary globalizing institutions. Further, it empirically assesses the organizational priorities of U.S. research universities in light of the application of these discourses to their objectives and practices, finding that they are playing a key role in the formal representation of the institutional direction, goals, and values of American higher education.
Resumo:
This book examines credit in working class communities since 1880, focusing on forms of borrowing that were dependent on personal relationships and social networks. It provides an extended historical discussion of credit unions, legal and illegal moneylenders (loan sharks), and looks at the concept of ‘financial exclusion’. Initially, the book focuses on the history of tallymen, check traders, and their eventual movement into moneylending following the loss of their more affluent customers, due to increased spending power and an increasingly liberalized credit market. They also faced growing competition from mail order companies operating through networks of female agents, whose success owed much to the reciprocal cultural and economic conventions that lay at the heart of traditional working class credit relationships. Discussion of these forms of credit is related to theoretical debates about cultural aspects of credit exchange that ensured the continuing success of such forms of lending, despite persistent controversies about their use. The book contrasts commercial forms of credit with formal and informal co-operative alternatives, such as the mutuality clubs operated by co-operative retailers and credit unions. It charts the impact of post-war immigration upon credit patterns, particularly in relation to the migrant (Irish and Caribbean) origins of many credit unions and explains the relative lack of success of the credit union movement. The book contributes to anti-debt debates by exploring the historical difficulties of developing legislation in relation to the millions of borrowers who have patronized what has come to be termed the sub-prime sector.
Resumo:
This article explores the use of restorative justice as a response to sexual crime. The management of high risk sex offenders, particularly in the community post-release, has been a key focus of contemporary popular and political debates on sexual offending. Many offenders fail to come to the attention of the criminal justice system. For those that do, there is the almost blanket application of recent control in the community measures such as sex offender registries and community notification which have failed to prevent reoffending. The response by the media and the public to the presence of sex offenders in the community may also impede offender rehabilitation. The use of punishment alone via formal criminal justice is, therefore, an inadequate deterrent for sexual crimes. Although controversial, this article advocates the use of restorative practices with sexual crime as a proactive, holistic response to the problem and ultimately as a more effective means of reducing the incidence of sexual offences and sex offender recidivism.
Resumo:
The reduction of oxygen was studied over a range of temperatures (298-318 K) in n-hexyltriethylammonium bis(trifluoromethanesulfonyl)imide, [N-6,N-2,N-2,N-2][NTf2], and 1-butyl-2,3-methylimidazolium bis(trifluoromethanesulfonyl)imide, [C(4)dmim][NTf2] on both gold and platinum microdisk electrodes, and the mechanism and electrode kinetics of the reaction investigated. Three different models were used to simulate the CVs, based on a simple electron transfer ('E'), an electron transfer coupled with a reversible homogeneous chemical step ('ECrev') and an electron transfer followed by adsorption of the reduction product ('EC(ads)'), and where appropriate, best fit parameters deduced, including the heterogeneous rate constant, formal electrode potential, transfer coefficient, and homogeneous rate constants for the ECrev mechanism, and adsorption/desorption rate constants for the EC(ads) mechanism. It was concluded from the good simulation fits on gold that a simple E process operates for the reduction of oxygen in [N-6,N-2,N-2,N-2][NTf2], and an ECrev process for [C(4)dmim][NTf2], with the chemical step involving the reversible formation of the O-2(center dot-)center dot center dot center dot [C(4)dmim](+) ion-pair. The E mechanism was found to loosely describe the reduction of oxygen in [N-6,N-2,N-2,N-2][NTf2] on platinum as the simulation fits were reasonable although not perfect, especially for the reverse wave. The electrochemical kinetics are slower on Pt, and observed broadening of the oxidation peak is likely due to the adsorption of superoxide on the electrode surface in a process more complex than simple Langmuirian. In [C(4)dmim][NTf2] the O-2(center dot-) predominantly ion-pairs with the solvent rather than adsorbs on the surface, and an ECrev quantitatively describes the reduction of oxygen on Pt also.
Resumo:
The United States Supreme Court case of 1991, Feist Publications, Inc. v. Rural Tel. Service Co., continues to be highly significant for property in data and databases, but remains poorly understood. The approach taken in this article contrasts with previous studies. It focuses upon the “not original” rather than the original. The delineation of the absence of a modicum of creativity in selection, coordination, and arrangement of data as a component of the not original forms a pivotal point in the Supreme Court decision. The author also aims at elucidation rather than critique, using close textual exegesis of the Supreme Court decision. The results of the exegesis are translated into a more formal logical form to enhance clarity and rigor.
The insufficiently creative is initially characterized as “so mechanical or routine.” Mechanical and routine are understood in their ordinary discourse senses, as a conjunction or as connected by AND, and as the central clause. Subsequent clauses amplify the senses of mechanical and routine without disturbing their conjunction.
The delineation of the absence of a modicum of creativity can be correlated with classic conceptions of computability. The insufficiently creative can then be understood as a routine selection, coordination, or arrangement produced by an automatic mechanical procedure or algorithm. An understanding of a modicum of creativity and of copyright law is also indicated.
The value of the exegesis and interpretation is identified as its final simplicity, clarity, comprehensiveness, and potential practical utility.
Resumo:
Microscopic simulation models are often evaluated based on visual inspection of the results. This paper presents formal econometric techniques to compare microscopic simulation (MS) models with real-life data. A related result is a methodology to compare different MS models with each other. For this purpose, possible parameters of interest, such as mean returns, or autocorrelation patterns, are classified and characterized. For each class of characteristics, the appropriate techniques are presented. We illustrate the methodology by comparing the MS model developed by He and Li [J. Econ. Dynam. Control, 2007, 31, 3396-3426, Quant. Finance, 2008, 8, 59-79] with actual data.
Resumo:
This article examines music in Med Hondo’s Sarraounia, considering how it contributes to the dramatic form of the movie while concurrently articulating narratives regarding cultural transformation through both its extrinsic (cultural) and intrinsic (formal) dimensions. Examining how the use of traditional and contemporary African music politicises diegetic space by referring us to the relationships between indigenous musical forms and their global, culturally hybrid descendents, it then demonstrates the complex manner in which the film uses the formal specificities of African and Western musical idioms to articulate a narrative regarding the cultural transformations that occur when an oral culture (Africa) encounters a literate, modernised culture (the West).