The shortest definition of a number by a first order formula with one free variable, where the notion of a formula defining a number extends a notion used by Boolos in a proof of the Incompleteness Theorem, is shown to be non computable. This is followed by an examination of the complexity of sets associated with this function.

The complexity of aII 4 set of natural numbers is encoded into a linear order to show that the finite condensation of a recursive linear order can beII 2–II 1. A priority argument establishes the same result, and is extended to a complete classification of finite condensations iterated finitely many times.

The properties of antisymmetry and linearity are easily seen to be sufficient for a recursively enumerable binary relation to be recursively isomorphic to a recursive relation. Removing either condition allows for the existence of a structure where no recursive isomorph exists, and natural examples of such structures are surveyed.

This paper presents an implemented computational model of word acquisition which learns directly from raw multimodal sensory input. Set in an information theoretic framework, the model acquires a lexicon by finding and statistically modeling consistent cross‐modal structure. The model has been implemented in a system using novel speech processing, computer vision, and machine learning algorithms. In evaluations the model successfully performed speech segmentation, word discovery and visual categorization from spontaneous infant‐directed speech paired with video images of single objects. These results (...) demonstrate the possibility of using state‐of‐the‐art techniques from sensory pattern recognition and machine learning to implement cognitive models which can process raw sensor data without the need for human transcription or labeling. (shrink)

In the opening section of Ovid's Ars Amatoria 3 the poet, in an attempt to gain favour with his female addressees, lists a number of legends where it is men who are the deceivers. In this list he includes Aeneas, et famam pietatis habet, tamen hospes et ensem I praebuit et causam mortis, Elissa, tuae . The terms in which Aeneas' guilt is cast are striking. Aeneas is criticized not for his lover's faithlessness, but for his shattering of the rules (...) of hospitium. At the heart of hospitium, in as much as it is friendship between strangers, lay the ideals of duty, loyalty, reciprocity, and the exchange of services, pietas includes, in this context, a reference to the guest's sense of, or actual fulfilment of, the duty to pay a proper return on the hospitality received. Aeneas had a reputation for doing his duty as a hospes, i.e. as someone who was conscientious about his duty to make an appropriate return. But, according to Ovid, the return which he actually made was diametrically opposed to a proper return, and consisted of a sword and a reason for Dido to kill herself with it. Ovid's decision to frame Aeneas' guilt in terms of hospitium reflects and emphasis adopted both in his own earlier epistle from Dido to Aeneas , and in the Aeneid itself. The erotic relationship between Dido and Aeneas in Book 4 of the Aeneid evolves out of the hospitium relationship established between them in Book 1. When Aeneas leaves Dido he asserts that their relationship is that of host and guest rather than of husband and wife, and that he has acted and will act well in this hospitium relationship . 9). Dido, for her part, even after she has been forced to drop the argument that she and Aeneas are married , continues to attack Aeneas and the Trojans as bad or faithless hospites , and ends by renouncing hospitium with them. (shrink)

Cytokinins are plant hormones which have long been associated with cell division and plastid differentiation. Recently, they have been found to play a central role also in the growth of plant tumors. Certain phytopathogenic bacteria, notably Agrobacterium tumefaciens and Pseudomonas syringae pv. savastanoi, can incite tumors on dicotyledonous plants and such tumors exhibit growth which is characteristic of the presence of excess auxin and cytokinin. Genes specifying cytokinin biosynthesis have now been isolated from both sets of bacteria. The genes encode (...) prenyl transferase responsible for cytokinin biosynthesis which, upon expression in E. coli,cause the production of the active cytokinin, zeatin. Expression of these genes in association with the plant is responsible for at least part of the tumor phenotype, although the molecular mechanisms of infection by these bacteria are apparently quite dissimilar. There is extensive homology between the cytokinin biosynthetic genes from the two sets of bacteria. (shrink)

Performance on abstract unfamiliar tasks used to measure intelligence has not been found to correlate with individual differences in highly skilled and expert performance. Given that cognitive and neural structures and regions mediating performance change as skill increases, the structures highlighted by parieto-frontal integration theory are unlikely to account for individual differences in skilled cognitive achievement in everyday life.

Nursing as a profession has a social mandate to contribute to the good of society through knowledge-based practice. Knowledge is built upon theories, and theories, together with their philosophical bases and disciplinary goals, are the guiding frameworks for practice. This article explores a philosophical perspective of nursing's social mandate, the disciplinary goals for the good of the individual and society, and one approach for translating knowledge into practice through the use of a middle-range theory. It is anticipated that the integration (...) of the philosophical perspective and model into nursing practice will strengthen the philosophy, disciplinary goal, theory, and practice links and expand knowledge within the discipline. With the focus on humanization, we propose that nursing knowledge for social good will embrace a synthesis of the individual and the common good. This approach converges vital and agency needs described by Hamilton and the primacy of maintaining the heritage of the good within the human species as outlined by Maritain. Further, by embedding knowledge development in a changing social and health care context, nursing focuses on the goals of clinical reasoning and action. McCubbin and Patterson's Double ABCX Model of Family Adaptation was used as an example of a theory that can guide practice at the community and global level. Using the theory-practice link as a foundation, the Double ABCX model provides practising nurses with one approach to meet the needs of individuals and society. The integration of theory into nursing practice provides a guide to achieve nursing's disciplinary goals of promoting health and preventing illness across the globe. When nursing goals are directed at the synthesis of the good of the individual and society, nursing's social and moral mandate may be achieved. (shrink)

In this paper, we study some classes of logical structures from the universal logic standpoint, viz., those of the Tarski- and the Lindenbaum-types. The characterization theorems for the Tarski- and two of the four different Lindenbaum-type logical structures have been proved as well. The separations between the five classes of logical structures, viz., the four Lindenbaum-types and the Tarski-type have been established via examples. Finally, we study the logical structures that are of both Tarski- and a Lindenbaum-type, show their separations, (...) and end with characterization, adequacy, minimality, and representation theorems for one of the Tarski–Lindenbaum-type logical structures. (shrink)

A class of states obtained by extremizing the energy of a system under certain conditions is introduced and their properties are compared with those of the coherent states. Conditions under which these states move without change of shape and follow the classical path are investigated.

Using covariant derivatives and the operator definitions of quantum mechanics, gauge invariant Proca and Lehnert equations are derived and the Lorenz condition is eliminated in U(1) invariant electrodynamics. It is shown that the structure of the gauge invariant Lehnert equation is the same in an O(3) invariant theory of electrodynamics.

In normative multi-agent systems, the question of “how an agent identifies norms in an open agent society” has not received much attention. This paper aims at addressing this question. To this end, this paper proposes an architecture for norm identification for an agent. The architecture is based on observation of interactions between agents. This architecture enables an autonomous agent to identify prohibition norms in a society using the prohibition norm identification (PNI) algorithm. The PNI algorithm uses association rule mining, a (...) data mining approach to identify sequences of events as candidate norms. When a norm changes, an agent using our architecture will be able to modify the norm and also remove a norm if it does not hold in the society. Using simulations of a park scenario we demonstrate how an agent makes use of the norm identification framework to identify prohibition norms. (shrink)

The present paper attempts to highlight the strategy of regional specialisation for technological innovation in R&D laboratories. The paper makes a proposition that regional specialisation should be recognised as a strategic initiative for technology development in R&D laboratories. The rationale for this strategic initiative has been substantiated with the help of illustrations from the cases of technology development efforts taken up in different laboratories in the country under the Council of Scientific and Industrial Research (CSIR), India. In this direction, CSIR (...) and other centres of excellence have played a pioneering role in the development of various industrial clusters and artisan concentrations in different parts of the country. The implications of adoption or otherwise of this strategy initiative for technological innovation in R&D laboratories have been discussed. (shrink)

This manual is the product of a normative research program carried out over four years with Spanish-speaking populations in two geographically distinct regions: Madrid, Spain and the USA/Mexico border region. The manual describes a comprehensive system of procedures and normative data designed to assist the clinical researcher and the clinical practitioner in the neuropsychological assessment and diagnosis of adults whose main language is Spanish. Together the procedures comprise a brief and practical battery of eight tests for a basic examination of (...) attention, learning and memory, and executive function. The level of performance on these tests is assessed according to normative data. This is accomplished by adjusting test scores according to demographic criteria that simultaneously take into account the traditional factors of age and education, as well as the patient's place of origin. (shrink)

We disagree with Almaatouq et al. that no realistic alternative exists to the “one-at-a-time” paradigm. Seventy years ago, Egon Brunswik introduced representative design, which offers a clear path to commensurability and generality. Almaatouq et al.'s integrative design cannot guarantee the external validity and generalizability of results which is sorely needed, while representative design tackles the problem head on.

The ontological model framework for an operational theory has generated much interest in recent years. The debate concerning reality of quantum states has been made more precise in this framework. With the introduction of generalized notion of contextuality in this framework, it has been shown that completely mixed state of a qubit is preparation contextual. Interestingly, this new idea of preparation contextuality has been used to demonstrate nonlocality of some \(\psi \) -epistemic models without any use of Bell’s inequality. In (...) particular, nonlocality of a non maximally \(\psi \) -epistemic model has been demonstrated from preparation contextuality of a maximally mixed qubit and Schrödinger’s steerability of the maximally entangled state of two qubits (Leifer and Maroney, Phys Rev Lett 110:120401, 2013). In this paper, we, show that any mixed state is preparation contextual. We, then, show that nonlocality of any bipartite pure entangled state, with Schmidt rank two, follows from preparation contextuality and steerability provided we impose certain condition on the epistemicity of the underlying ontological model. More interestingly, if the pure entangled state is of Schmidt rank greater than two, its nonlocality follows without any further condition on the epistemicity. Thus our result establishes a stronger connection between nonlocality and preparation contextuality by revealing nonlocality of any bipartite pure entangled states without any use of Bell-type inequality. (shrink)