WorldWideScience

Sample records for academic entities formally

  1. Does formal research training lead to academic success in otolaryngology?

    Science.gov (United States)

    Bobian, Michael R; Shah, Noor; Svider, Peter F; Hong, Robert S; Shkoukani, Mahdi A; Folbe, Adam J; Eloy, Jean Anderson

    2017-01-01

    To evaluate whether formalized research training is associated with higher researcher productivity, academic rank, and acquisition of National Institutes of Health (NIH) grants within academic otolaryngology departments. Each of the 100 civilian otolaryngology program's departmental websites were analyzed to obtain a comprehensive list of faculty members credentials and characteristics, including academic rank, completion of a clinical fellowship, completion of a formal research fellowship, and attainment of a doctorate in philosophy (PhD) degree. We also recorded measures of scholarly impact and successful acquisition of NIH funding. A total of 1,495 academic physicians were included in our study. Of these, 14.1% had formal research training. Bivariate associations showed that formal research training was associated with a greater h-index, increased probability of acquiring NIH funding, and higher academic rank. Using a linear regression model, we found that otolaryngologists possessing a PhD had an associated h-index of 1.8 points higher, and those who completed a formal research fellowship had an h-index of 1.6 points higher. A PhD degree or completion of a research fellowship was not associated with a higher academic rank; however, a higher h-index and previous acquisition of an NIH grant were associated with a higher academic rank. The attainment of NIH funding was three times more likely for those with a formal research fellowship and 8.6 times more likely for otolaryngologists with a PhD degree. Formalized research training is associated with academic success in otolaryngology. Such dedicated research training accompanies greater scholarly impact, acquisition of NIH funding, and a higher academic rank. NA Laryngoscope, 127:E15-E21, 2017. © 2016 The American Laryngological, Rhinological and Otological Society, Inc.

  2. Academic Achievement and Formal Thought in Engineering Students

    Science.gov (United States)

    Vazquez, Stella Maris; de Anglat, Hilda Difabio

    2009-01-01

    Introduction: Research on university-level academic performance has significantly linked failure and dropping out to formal reasoning deficiency. We have not found any papers on formal thought in Argentine university students, in spite of the obvious shortcomings observed in the classrooms. Thus, the main objective of this paper was exploring the…

  3. Top-level categories of constitutively organized material entities--suggestions for a formal top-level ontology.

    Directory of Open Access Journals (Sweden)

    Lars Vogt

    2011-04-01

    Full Text Available Application oriented ontologies are important for reliably communicating and managing data in databases. Unfortunately, they often differ in the definitions they use and thus do not live up to their potential. This problem can be reduced when using a standardized and ontologically consistent template for the top-level categories from a top-level formal foundational ontology. This would support ontological consistency within application oriented ontologies and compatibility between them. The Basic Formal Ontology (BFO is such a foundational ontology for the biomedical domain that has been developed following the single inheritance policy. It provides the top-level template within the Open Biological and Biomedical Ontologies Foundry. If it wants to live up to its expected role, its three top-level categories of material entity (i.e., 'object', 'fiat object part', 'object aggregate' must be exhaustive, i.e. every concrete material entity must instantiate exactly one of them.By systematically evaluating all possible basic configurations of material building blocks we show that BFO's top-level categories of material entity are not exhaustive. We provide examples from biology and everyday life that demonstrate the necessity for two additional categories: 'fiat object part aggregate' and 'object with fiat object part aggregate'. By distinguishing topological coherence, topological adherence, and metric proximity we furthermore provide a differentiation of clusters and groups as two distinct subcategories for each of the three categories of material entity aggregates, resulting in six additional subcategories of material entity.We suggest extending BFO to incorporate two additional categories of material entity as well as two subcategories for each of the three categories of material entity aggregates. With these additions, BFO would exhaustively cover all top-level types of material entity that application oriented ontologies may use as templates. Our

  4. The Sociocultural Psychology as a Postformal Theory of Academic Achievement: Interrogating Formal Education

    Science.gov (United States)

    Sinha, Chetan

    2013-01-01

    The present paper interrogates the dominance of formal education. As formal education system relies on ability based academic achievement as a goal, exploring post-formal approaches, such as sociocultural notion of academic achievement is the hallmark of present paper. An attempt is made to interrogate the existing cultural dominance in formal…

  5. Followership in Higher Education: Academic Teachers and their Formal Leaders

    Directory of Open Access Journals (Sweden)

    Jennie Billot

    2013-09-01

    Full Text Available The concept of followership in higher education has been given limited attention despite the fact that followers are key players in the follower/leader equation and that leadership is increasingly seen as vital to improving the student learning experience. This paper explores this concept, reporting on the findings of a qualitative study underpinned by a socio-constructivist framework. Thirty-eight narratives describing the experience of being a follower and interacting with a formal leader were collected from academic teachers in seven institutions worldwide and analysed using inductive content analysis. The richness of the narratives collected illustrates the intricate relationship formed by the followership/leadership interaction. The results affirm the premise that, just as teachers are defined by their students’ learning, leaders are defined by their followers’ engagement. However, some teachers also display a strong reluctance towards the very idea of being a follower in academia where critical and independent thinking form the backbone of all practices. Negotiation, responsibility, and mutual respect appear essential aspects of any form of followership/leadership interaction as it directly or indirectly influences student learning and personal development. The research presented suggests that, in challenging times, academic leaders must attend to the characteristics and needs of their followers.

  6. Social class and academic achievement in college: the interplay of rejection sensitivity and entity beliefs.

    Science.gov (United States)

    Rheinschmidt, Michelle L; Mendoza-Denton, Rodolfo

    2014-07-01

    Undergraduates, especially those from lower income backgrounds, may perceive their social class background as different or disadvantaged relative to that of peers and worry about negative social treatment. We hypothesized that concerns about discrimination based on one's social class (i.e., class-based rejection sensitivity or RS-class) would be damaging to undergraduates' achievement outcomes particularly among entity theorists, who perceive their personal characteristics as fixed. We reasoned that a perceived capacity for personal growth and change, characteristic of incremental theorists, would make the pursuit of a college degree and upward mobility seem more worthwhile and attainable. We found evidence across 3 studies that dispositionally held and experimentally primed entity (vs. incremental) beliefs predicted college academic performance as a function of RS-class. Studies 1a and 1b documented that high levels of both entity beliefs and RS-class predicted lower self-reported and official grades, respectively, among undergraduates from socioeconomically diverse backgrounds. In Study 2, high entity beliefs and RS-class at matriculation predicted decreased year-end official grades among lower class Latino students. Study 3 established the causal relationship of entity (vs. incremental) beliefs on academic test performance as a function of RS-class. We observed worse test performance with higher RS-class levels following an entity (vs. incremental) prime, an effect driven by lower income students. Findings from a 4th study suggest that entity theorists with RS-class concerns tend to believe less in upward mobility and, following academic setbacks, are prone to personal attributions of failure, as well as hopelessness. Implications for education and intervention are discussed.

  7. The Naturoptic Method for Safe Recovery of Vision: Mentored Tutoring, Earnings, Academic Entity Financial Resources Tool

    Science.gov (United States)

    Sambursky, Nicole D.; McLeod, Roger David; Silva, Sandra Helena

    2009-05-01

    This is a novel method for safely and naturally improving vision. with applications for minority, female, and academic entity, financial advantages. The patented Naturoptic Method is a simple system designed to work quickly, requiring only a minimal number of sessions for improvement. Our mentored and unique activities investigated these claims by implementing the Naturoptic method on ourselves over a period of time. Research was conducted at off campus locations with the inventor of the Naturoptic Method. Initial visual acuity and subsequent progress is self assessed, using standard Snellen Eye Charts. Research is designed to document improvements in vision with successive uses of the Naturoptic Method, as mentored teachers or Awardees of ``The Kaan Balam Matagamon Memorial Award,'' with net earnings shared by the designees, academic entities, the American Indians in Science and Engineering Society, AISES, or charity. The Board requires Awardees, its students, or affiliates, to sign non-disclosure agreements. 185/1526

  8. The Formal Organization of Knowledge: An Analysis of Academic Structure.

    Science.gov (United States)

    Gumport, Patricia J.; Snydman, Stuart K.

    2002-01-01

    A case study of San Jose State University examined how changes in what counts as knowledge are reflected in universities' academic structure. Found that the multidimensionality of academic structure, with bureaucratic (departmental) structure relatively fixed and programmatic (degree program) structure relatively open, enables universities to…

  9. Exploring the contribution of formal and informal learning to academic staff member employability: A Dutch perspective

    NARCIS (Netherlands)

    Klink, Marcel; van der Heijden, Beatrice; Boon, Jo; van Rooij, Shahron Williams

    2014-01-01

    Purpose – Little attention has been paid to the employability of academic staff and the extent to which continuous learning contributes to academic career success. The purpose of this paper is to explore the contribution of formal and informal learning to employability. Design/methodology/approach –

  10. Unpacking (In)formal Learning in an Academic Development Programme: A Mixed-Method Social Network Perspective

    Science.gov (United States)

    Rienties, Bart; Hosein, Anesa

    2015-01-01

    How and with whom academics develop and maintain formal and informal networks for reflecting on their teaching practice has received limited attention even though academic development (AD) programmes have become an almost ubiquitous feature of higher education. The primary goal of this mixed-method study is to unpack how 114 academics in an AD…

  11. Development of brain systems for nonsymbolic numerosity and the relationship to formal math academic achievement.

    Science.gov (United States)

    Haist, Frank; Wazny, Jarnet H; Toomarian, Elizabeth; Adamo, Maha

    2015-02-01

    A central question in cognitive and educational neuroscience is whether brain operations supporting nonlinguistic intuitive number sense (numerosity) predict individual acquisition and academic achievement for symbolic or "formal" math knowledge. Here, we conducted a developmental functional magnetic resonance imaging (MRI) study of nonsymbolic numerosity task performance in 44 participants including 14 school age children (6-12 years old), 14 adolescents (13-17 years old), and 16 adults and compared a brain activity measure of numerosity precision to scores from the Woodcock-Johnson III Broad Math index of math academic achievement. Accuracy and reaction time from the numerosity task did not reliably predict formal math achievement. We found a significant positive developmental trend for improved numerosity precision in the parietal cortex and intraparietal sulcus specifically. Controlling for age and overall cognitive ability, we found a reliable positive relationship between individual math achievement scores and parietal lobe activity only in children. In addition, children showed robust positive relationships between math achievement and numerosity precision within ventral stream processing areas bilaterally. The pattern of results suggests a dynamic developmental trajectory for visual discrimination strategies that predict the acquisition of formal math knowledge. In adults, the efficiency of visual discrimination marked by numerosity acuity in ventral occipital-temporal cortex and hippocampus differentiated individuals with better or worse formal math achievement, respectively. Overall, these results suggest that two different brain systems for nonsymbolic numerosity acuity may contribute to individual differences in math achievement and that the contribution of these systems differs across development. © 2014 Wiley Periodicals, Inc.

  12. Does Formal Research Training Lead to Academic Success in Plastic Surgery? A Comprehensive Analysis of U.S. Academic Plastic Surgeons.

    Science.gov (United States)

    Lopez, Joseph; Ameri, Afshin; Susarla, Srinivas M; Reddy, Sashank; Soni, Ashwin; Tong, J W; Amini, Neda; Ahmed, Rizwan; May, James W; Lee, W P Andrew; Dorafshar, Amir

    2016-01-01

    It is currently unknown whether formal research training has an influence on academic advancement in plastic surgery. The purpose of this study was to determine whether formal research training was associated with higher research productivity, academic rank, and procurement of extramural National Institutes of Health (NIH) funding in plastic surgery, comparing academic surgeons who completed said research training with those without. This was a cross-sectional study of full-time academic plastic surgeons in the United States. The main predictor variable was formal research training, defined as completion of a postdoctoral research fellowship or attainment of a Doctor of Philosophy (PhD). The primary outcome was scientific productivity measured by the Hirsh-index (h-index, the number of publications, h that have at least h citations each). The secondary outcomes were academic rank and NIH funding. Descriptive, bivariate, and multiple regression statistics were computed. A total of 607 academic surgeons were identified from 94 Accreditation Council for Graduate Medical Education-accredited plastic surgery training programs. In all, 179 (29.5%) surgeons completed formal research training. The mean h-index was 11.7 ± 9.9. And, 58 (9.6%) surgeons successfully procured NIH funding. The distribution of academic rank was the following: endowed professor (5.4%), professor (23.9%), associate professor (23.4%), assistant professor (46.0%), and instructor (1.3%). In a multiple regression analysis, completion of formal research training was significantly predictive of a higher h-index and successful procurement of NIH funding. Current evidence demonstrates that formal research training is associated with higher scientific productivity and increased likelihood of future NIH funding. Copyright © 2016 Association of Program Directors in Surgery. Published by Elsevier Inc. All rights reserved.

  13. Doctoral Students as Journal Editors: Non-Formal Learning through Academic Work

    Science.gov (United States)

    Hopwood, Nick

    2010-01-01

    Much attention has been paid to formal pedagogic elements of the doctorate--supervision and other structured institutional provisions--but we know less about the role played by non-formal practices in doctoral students' learning. This paper explores the experiences of eight doctoral students involved in editing student-run journals. Editorship and…

  14. Self-regulation in ethnic minority children : associations with academic performance and the transition to formal schooling

    NARCIS (Netherlands)

    Yeniad Malkamak, Nihal

    2013-01-01

    The main focus of the current dissertation is on the associations between self-regulation and academic outcomes, with special attention to these issues in ethnic minority children. Following a systematic meta-analysis on the association between cognitive self-regulation and academic achievement

  15. The formal combination of three singlet biradicaloid entities to a singlet hexaradicaloid metalloid Ge14[Si(SiMe3)3]5[Li(THF)2]3 cluster.

    Science.gov (United States)

    Schenk, Christian; Kracke, Andreas; Fink, Karin; Kubas, Adam; Klopper, Wim; Neumaier, Marco; Schnöckel, Hansgeorg; Schnepf, Andreas

    2011-03-02

    The reaction of GeBr with LiSi(SiMe(3))(3) leads to the metalloid cluster compound [(THF)(2)Li](3)Ge(14)[Si(SiMe(3))(3)](5) (1). After the introduction of a first cluster of this type, in which 14 germanium atoms form an empty polyhedron, [(THF)(2)Li](3)Ge(14)[Ge(SiMe(3))(3)](5) (2), we present here further investigations on 1 to obtain preliminary insight into its chemical and bonding properties. The molecular structure of 1 is determined via X-ray crystal structure solution using synchrotron radiation. The electronic structure of the Ge(14) polyhedron is further examined by quantum chemical calculations, which indicate that three singlet biradicaloid entities formally combine to yield the singlet hexaradicaloid character of 1. Moreover, the initial reactions of 1 after elimination of the [Li(THF)(2)](+) groups by chelating ligands (e.g., TMEDA or 12-crown-4) are presented. Collision induced dissociation experiments in the gas phase, employing FT-ICR mass spectrometry, lead to the elimination of the singlet biradicaloid Ge(5)H(2)[Si(SiMe(3))(3)](2) cluster. The unique multiradicaloid bonding character of the metalloid cluster 1 might be used as a model for reactions and properties in the field of surface science and nanotechnology.

  16. Employability Enhancement through Formal and Informal Learning: An Empirical Study among Dutch Non-Academic University Staff Members

    Science.gov (United States)

    van der Heijden, Beatrice; Boon, Jo; van der Klink, Marcel; Meijs, Ely

    2009-01-01

    Although learning is generally perceived as a way to improve employees' current job performance, so far, no research has been conducted to explore the possible relationships between formal and informal learning, on the one hand, and employability, on the other. Though contemporary views stress the importance of the job as a powerful learning site,…

  17. Employability enhancement through formal and informal learning: An empirical study among Dutch non-academic university staff members

    NARCIS (Netherlands)

    van der Heijden, Beatrice; Boon, Jo; van der Klink, Marcel; Meijs, Ely

    2009-01-01

    Although learning is generally perceived as a way to improve employees' current job performance, so far, no research has been conducted to explore the possible relationships between formal and informal learning, on the one hand, and employability, on the other. Though contemporary views stress the

  18. Neighborhoods, Schools, and Academic Achievement: A Formal Mediation Analysis of Contextual Effects on Reading and Mathematics Abilities.

    Science.gov (United States)

    Wodtke, Geoffrey T; Parbst, Matthew

    2017-10-01

    Although evidence indicates that neighborhoods affect educational outcomes, relatively little research has explored the mechanisms thought to mediate these effects. This study investigates whether school poverty mediates the effect of neighborhood context on academic achievement. Specifically, it uses longitudinal data from the Panel Study of Income Dynamics, counterfactual methods, and a value-added modeling strategy to estimate the total, natural direct, and natural indirect effects of exposure to an advantaged rather than disadvantaged neighborhood on reading and mathematics abilities during childhood and adolescence. Contrary to expectations, results indicate that school poverty is not a significant mediator of neighborhood effects during either developmental period. Although moving from a disadvantaged neighborhood to an advantaged neighborhood is estimated to substantially reduce subsequent exposure to school poverty and improve academic achievement, school poverty does not play an important mediating role because even the large differences in school composition linked to differences in neighborhood context appear to have no appreciable effect on achievement. An extensive battery of sensitivity analyses indicates that these results are highly robust to unobserved confounding, alternative model specifications, alternative measures of school context, and measurement error, which suggests that neighborhood effects on academic achievement are largely due to mediating factors unrelated to school poverty.

  19. Logical Entity Level Sentiment Analysis

    DEFF Research Database (Denmark)

    Petersen, Niklas Christoffer; Villadsen, Jørgen

    2017-01-01

    We present a formal logical approach using a combinatory categorial grammar for entity level sentiment analysis that utilizes machine learning techniques for efficient syntactical tagging and performs a deep structural analysis of the syntactical properties of texts in order to yield precise resu...

  20. Fear of the Formal

    DEFF Research Database (Denmark)

    du Gay, Paul; Lopdrup-Hjorth, Thomas

    Over recent decades, institutions exhibiting high degrees of formality have come in for severe criticism. From the private to the public sector, and across a whole spectrum of actors spanning from practitioners to academics, formal organization is viewed with increasing doubt and skepticism....... In a “Schumpetarian world” (Teece et al., 1997: 509) of dynamic competition and incessant reform, formal organization appears as well suited to survival as a fish out of water. Indeed, formal organization, and its closely overlapping semantic twin bureaucracy, are not only represented as ill suited to the realities...... is that formal organization is an obstacle to be overcome. For that very reason, critics, intellectuals and reformers alike have urged public and private organizations to break out of the stifling straightjacket of formality, to dispense with bureaucracy, and to tear down hierarchies. This could either be done...

  1. Dynamic collective entity representations for entity ranking

    NARCIS (Netherlands)

    Graus, D.; Tsagkias, M.; Weerkamp, W.; Meij, E.; de Rijke, M.

    2016-01-01

    Entity ranking, i.e., successfully positioning a relevant entity at the top of the ranking for a given query, is inherently difficult due to the potential mismatch between the entity's description in a knowledge base, and the way people refer to the entity when searching for it. To counter this

  2. Entity associations for search

    NARCIS (Netherlands)

    Reinanda, R.

    2017-01-01

    In this thesis, we investigate the broad problem of computing entity associations for search. Specifically, we consider three types of entity association: entity-entity, entity-document, and entity-aspect associations. We touch upon various domains, starting with specific domains such as the

  3. Concrete Security for Entity Recognition: The Jane Doe Protocol

    DEFF Research Database (Denmark)

    Lucks, Stefan; Zenner, Erik; Weimerskirch, Andre

    2008-01-01

    Entity recognition does not ask whether the message is from some entity X, just whether a message is from the same entity as a previous message. This turns turns out to be very useful for low-end devices. The current paper proposes a new protocol – the “Jane Doe Protocol” –, and provides a formal...

  4. Formal matrices

    CERN Document Server

    Krylov, Piotr

    2017-01-01

    This monograph is a comprehensive account of formal matrices, examining homological properties of modules over formal matrix rings and summarising the interplay between Morita contexts and K theory. While various special types of formal matrix rings have been studied for a long time from several points of view and appear in various textbooks, for instance to examine equivalences of module categories and to illustrate rings with one-sided non-symmetric properties, this particular class of rings has, so far, not been treated systematically. Exploring formal matrix rings of order 2 and introducing the notion of the determinant of a formal matrix over a commutative ring, this monograph further covers the Grothendieck and Whitehead groups of rings. Graduate students and researchers interested in ring theory, module theory and operator algebras will find this book particularly valuable. Containing numerous examples, Formal Matrices is a largely self-contained and accessible introduction to the topic, assuming a sol...

  5. Programming Entity Framework

    CERN Document Server

    Lerman, Julia

    2009-01-01

    Programming Entity Framework is a thorough introduction to Microsoft's new core framework for modeling and interacting with data in .NET applications. This highly-acclaimed book not only gives experienced developers a hands-on tour of the Entity Framework and explains its use in a variety of applications, it also provides a deep understanding of its architecture and APIs -- knowledge that will be extremely valuable as you shift to the Entity Framework version in .NET Framework 4.0 and Visual Studio 2010. From the Entity Data Model (EDM) and Object Services to EntityClient and the Metadata Work

  6. Superfield formalism

    Indian Academy of Sciences (India)

    dimensional superfields, is a clear signature of the presence of the (anti-)BRST invariance in the original. 4D theory. Keywords. Non-Abelian 1-form gauge theory; Dirac fields; (anti-)Becchi–Roucet–Stora–. Tyutin invariance; superfield formalism; ...

  7. Beyond formalism

    Science.gov (United States)

    Denning, Peter J.

    1991-01-01

    The ongoing debate over the role of formalism and formal specifications in software features many speakers with diverse positions. Yet, in the end, they share the conviction that the requirements of a software system can be unambiguously specified, that acceptable software is a product demonstrably meeting the specifications, and that the design process can be carried out with little interaction between designers and users once the specification has been agreed to. This conviction is part of a larger paradigm prevalent in American management thinking, which holds that organizations are systems that can be precisely specified and optimized. This paradigm, which traces historically to the works of Frederick Taylor in the early 1900s, is no longer sufficient for organizations and software systems today. In the domain of software, a new paradigm, called user-centered design, overcomes the limitations of pure formalism. Pioneered in Scandinavia, user-centered design is spreading through Europe and is beginning to make its way into the U.S.

  8. Programming Drupal 7 entities

    CERN Document Server

    Michael, Sammy

    2013-01-01

    The book follows a standard tutorial-based approach to create, retrieve, update, and delete Drupal 7 entities, their properties and fields.Programming Drupal 7 Entities is perfect for intermediate or advanced developers new to Drupal entity development who are looking to get a good grounding in how to code using the new paradigm. It's assumed that you will have some experience in PHP development already, and being vaguely familiar with Drupal, GIT, and Drush will also help.

  9. Young children's non-numerical ordering ability at the start of formal education longitudinally predicts their symbolic number skills and academic achievement in maths.

    Science.gov (United States)

    O'Connor, Patrick A; Morsanyi, Kinga; McCormack, Teresa

    2018-01-25

    Ordinality is a fundamental feature of numbers and recent studies have highlighted the role that number ordering abilities play in mathematical development (e.g., Lyons et al., ), as well as mature mathematical performance (e.g., Lyons & Beilock, ). The current study tested the novel hypothesis that non-numerical ordering ability, as measured by the ordering of familiar sequences of events, also plays an important role in maths development. Ninety children were tested in their first school year and 87 were followed up at the end of their second school year, to test the hypothesis that ordinal processing, including the ordering of non-numerical materials, would be related to their maths skills both cross-sectionally and longitudinally. The results confirmed this hypothesis. Ordinal processing measures were significantly related to maths both cross-sectionally and longitudinally, and children's non-numerical ordering ability in their first year of school (as measured by order judgements for everyday events and the parents' report of their child's everyday ordering ability) was the strongest longitudinal predictor of maths one year later, when compared to several measures that are traditionally considered to be important predictors of early maths development. Children's everyday ordering ability, as reported by parents, also significantly predicted growth in formal maths ability between Year 1 and Year 2, although this was not the case for the event ordering task. The present study provides strong evidence that domain-general ordering abilities play an important role in the development of children's maths skills at the beginning of formal education. © 2018 John Wiley & Sons Ltd.

  10. Medical Named Entity Recognition for Indonesian Language Using Word Representations

    Science.gov (United States)

    Rahman, Arief

    2018-03-01

    Nowadays, Named Entity Recognition (NER) system is used in medical texts to obtain important medical information, like diseases, symptoms, and drugs. While most NER systems are applied to formal medical texts, informal ones like those from social media (also called semi-formal texts) are starting to get recognition as a gold mine for medical information. We propose a theoretical Named Entity Recognition (NER) model for semi-formal medical texts in our medical knowledge management system by comparing two kinds of word representations: cluster-based word representation and distributed representation.

  11. Programming Entity Framework

    CERN Document Server

    Lerman, Julia

    2010-01-01

    Get a thorough introduction to ADO.NET Entity Framework 4 -- Microsoft's core framework for modeling and interacting with data in .NET applications. The second edition of this acclaimed guide provides a hands-on tour of the framework latest version in Visual Studio 2010 and .NET Framework 4. Not only will you learn how to use EF4 in a variety of applications, you'll also gain a deep understanding of its architecture and APIs. Written by Julia Lerman, the leading independent authority on the framework, Programming Entity Framework covers it all -- from the Entity Data Model and Object Service

  12. Formalization of informally acquired competences as part of academic certificate programs in healthcare – “prototype” of a model / Formalisierung informell erworbener Kompetenzen im Rahmen akademischer Zertifikatsprogramme im Gesundheitsbereich – „Prototyp“ eines Modells

    Directory of Open Access Journals (Sweden)

    Wolf Alexander Karsten

    2016-05-01

    Full Text Available The health care sector is facing many aspects of transformation. One aspect amongst others herein is an alteration of qualification profiles. Universities have to focus on both aspects determining future qualification profiles and increasing permeability between educational systems in a sense of optimally intermeshing competences that have been acquired at universities and those that have been acquired outside of them. This leads to the question how to create university certificate programs that offers two aspects: academic qualification on the one hand and on the other hand a possibility to identify, evaluate and certify non-formally and informally acquired competences of participating students. The ultimate goal is to identify and evaluate a person´s overall competence in a clearly defined thematic context, whereat competences that have been acquired outside universities will play an important role. Competences that have been certified by these academic programs may be used later for crediting purposes. In this report an initial prototype is being presented. It defines itself mainly as additional novel way of discussing crediting concepts.

  13. Restorative Practices as Formal and Informal Education

    Science.gov (United States)

    Carter, Candice C.

    2013-01-01

    This article reviews restorative practices (RP) as education in formal and informal contexts of learning that are fertile sites for cultivating peace. Formal practices involve instruction about response to conflict, while informal learning occurs beyond academic lessons. The research incorporated content analysis and a critical examination of the…

  14. Named Entity Linking Algorithm

    Directory of Open Access Journals (Sweden)

    M. F. Panteleev

    2017-01-01

    Full Text Available In the tasks of processing text in natural language, Named Entity Linking (NEL represents the task to define and link some entity, which is found in the text, with some entity in the knowledge base (for example, Dbpedia. Currently, there is a diversity of approaches to solve this problem, but two main classes can be identified: graph-based approaches and machine learning-based ones. Graph and Machine Learning approaches-based algorithm is proposed accordingly to the stated assumptions about the interrelations of named entities in a sentence and in general.In the case of graph-based approaches, it is necessary to solve the problem of identifying an optimal set of the related entities according to some metric that characterizes the distance between these entities in a graph built on some knowledge base. Due to limitations in processing power, to solve this task directly is impossible. Therefore, its modification is proposed. Based on the algorithms of machine learning, an independent solution cannot be built due to small volumes of training datasets relevant to NEL task. However, their use can contribute to improving the quality of the algorithm. The adaptation of the Latent Dirichlet Allocation model is proposed in order to obtain a measure of the compatibility of attributes of various entities encountered in one context.The efficiency of the proposed algorithm was experimentally tested. A test dataset was independently generated. On its basis the performance of the model was compared using the proposed algorithm with the open source product DBpedia Spotlight, which solves the NEL problem.The mockup, based on the proposed algorithm, showed a low speed as compared to DBpedia Spotlight. However, the fact that it has shown higher accuracy, stipulates the prospects for work in this direction.The main directions of development were proposed in order to increase the accuracy of the system and its productivity.

  15. Mastering entity framework

    CERN Document Server

    Singh, Rahul Rajat

    2015-01-01

    This book is for .NET developers who are developing data-driven applications using ADO.NET or other data access technologies. This book is going to give you everything you need to effectively develop and manage data-driven applications using Entity Framework.

  16. Masses of Formal Philosophy

    DEFF Research Database (Denmark)

    Masses of Formal Philosophy is an outgrowth of Formal Philosophy. That book gathered the responses of some of the most prominent formal philosophers to five relatively open and broad questions initiating a discussion of metaphilosophical themes and problems surrounding the use of formal methods i...... in philosophy. Including contributions from a wide range of philosophers, Masses of Formal Philosophy contains important new responses to the original five questions.......Masses of Formal Philosophy is an outgrowth of Formal Philosophy. That book gathered the responses of some of the most prominent formal philosophers to five relatively open and broad questions initiating a discussion of metaphilosophical themes and problems surrounding the use of formal methods...

  17. The single entity option

    International Nuclear Information System (INIS)

    Friedlander, M.C.; Roberts, K.M.

    1997-01-01

    Traditionally, an owner hires an engineer to design a power facility or other project and then circulates the completed plans to several contractors for competitive bidding. Although there are many variations on this theme, there is an alternative method which is growing in popularity--the design-build concept. In this construction method, the same entity designs and constructs the facility. The design builder may be a single firm with both design and construction capacity in-house, or it may be a combination of two or more firms with complementary abilities. If there are multiple firms, they may be structured as a joint venture or with one of the firms prime and the others in a subcontracting role. The critical aspect is that the owner contracts with one entity which has the responsibility for both designing and constructing the facility. According to statistics compiled by the Design-Build Institute of America and F.W. Dodge DATALINE2, a national reporter of construction statistics and information, from April 1995 to April 1996 the number of design-build contracts increased 103 percent over the previous year. Of a total $212 billion construction market, about $37.2 billion--18 percent--was design build. The strongest growth was in the category of industrial--plants, refineries, factories and warehouses--in which the concept use was up more than 300 percent from the previous year

  18. A Refined Definition for Groups of Moving Entities and its Computation

    NARCIS (Netherlands)

    Kreveld, Marc van; Löffler, Maarten; Staals, Frank; Wiratma, Lionov

    2016-01-01

    One of the important tasks in the analysis of spatio-temporal data collected from moving entities is to find a group: a set of entities that travel together for a sufficiently long period of time. Buchin et al. [2] introduce a formal definition of groups, analyze its mathematical structure, and

  19. Formal Verification -26 ...

    Indian Academy of Sciences (India)

    by testing of the components and successful testing leads to the software being ... Formal verification is based on formal methods which are mathematically based ..... scenario under which a similar error could occur. There are various other ...

  20. Formalizing Informal Logic

    Directory of Open Access Journals (Sweden)

    Douglas Walton

    2015-12-01

    Full Text Available This paper presents a formalization of informal logic using the Carneades Argumentation System (CAS, a formal, computational model of argument that consists of a formal model of argument graphs and audiences. Conflicts between pro and con arguments are resolved using proof standards, such as preponderance of the evidence. CAS also formalizes argumentation schemes. Schemes can be used to check whether a given argument instantiates the types of argument deemed normatively appropriate for the type of dialogue.

  1. Query containment in entity SQL

    OpenAIRE

    Rull Fort, Guillem; Bernstein, Philip A.; Garcia dos Santos, Ivo; Katsis, Yannis; Melnik, Sergey; Teniente López, Ernest

    2013-01-01

    We describe a software architecture we have developed for a constructive containment checker of Entity SQL queries defined over extended ER schemas expressed in Microsoft's Entity Data Model. Our application of interest is compilation of object-to-relational mappings for Microsoft's ADO.NET Entity Framework, which has been shipping since 2007. The supported language includes several features which have been individually addressed in the past but, to the best of our knowledge, they have not be...

  2. Pragmatics for formal semantics

    DEFF Research Database (Denmark)

    Danvy, Olivier

    2011-01-01

    This tech talk describes how to write and how to inter-derive formal semantics for sequential programming languages. The progress reported here is (1) concrete guidelines to write each formal semantics to alleviate their proof obligations, and (2) simple calculational tools to obtain a formal...

  3. Entity resolution for uncertain data

    NARCIS (Netherlands)

    Ayat, N.; Akbarinia, R.; Afsarmanesh, H.; Valduriez, P.

    2012-01-01

    Entity resolution (ER), also known as duplicate detection or record matching, is the problem of identifying the tuples that represent the same real world entity. In this paper, we address the problem of ER for uncertain data, which we call ERUD. We propose two different approaches for the ERUD

  4. Industrial use of formal methods formal verification

    CERN Document Server

    Boulanger, Jean-Louis

    2012-01-01

    At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the used of the "formal technics" (such proof and model-checking) on industrial examples for the transportation domain. This book is based on the experience of people which are completely involved in the realization and the evaluation of safety critical system software based.  The implication of the industrialists allows to raise the problems of confidentiality which could appear and so allow

  5. Integrating semi-formal and formal requirements

    NARCIS (Netherlands)

    Wieringa, Roelf J.; Olivé, Antoni; Dubois, Eric; Pastor, Joan Antoni; Huyts, Sander

    1997-01-01

    In this paper, we report on the integration of informal, semiformal and formal requirements specification techniques. We present a framework for requirements specification called TRADE, within which several well-known semiformal specification techniques are placed. TRADE is based on an analysis of

  6. Geometry and Formal Linguistics.

    Science.gov (United States)

    Huff, George A.

    This paper presents a method of encoding geometric line-drawings in a way which allows sets of such drawings to be interpreted as formal languages. A characterization of certain geometric predicates in terms of their properties as languages is obtained, and techniques usually associated with generative grammars and formal automata are then applied…

  7. Software Formal Inspections Guidebook

    Science.gov (United States)

    1993-01-01

    The Software Formal Inspections Guidebook is designed to support the inspection process of software developed by and for NASA. This document provides information on how to implement a recommended and proven method for conducting formal inspections of NASA software. This Guidebook is a companion document to NASA Standard 2202-93, Software Formal Inspections Standard, approved April 1993, which provides the rules, procedures, and specific requirements for conducting software formal inspections. Application of the Formal Inspections Standard is optional to NASA program or project management. In cases where program or project management decide to use the formal inspections method, this Guidebook provides additional information on how to establish and implement the process. The goal of the formal inspections process as documented in the above-mentioned Standard and this Guidebook is to provide a framework and model for an inspection process that will enable the detection and elimination of defects as early as possible in the software life cycle. An ancillary aspect of the formal inspection process incorporates the collection and analysis of inspection data to effect continual improvement in the inspection process and the quality of the software subjected to the process.

  8. Formality in Brackets

    DEFF Research Database (Denmark)

    Garsten, Christina; Nyqvist, Anette

    Ethnographic work in formal organizations involves learning to recognize the many layers of front stage and back stage of organized life, and to bracket formality. It means to be alert to the fact that what is formal and front stage for one some actors, and in some situations, may in fact be back...... stage and informal for others. Walking the talk, donning the appropriate attire, wearing the proper suit, may be part of what is takes to figure out the code of formal organizational settings – an entrance ticket to the backstage, as it were. Oftentimes, it involves a degree of mimicry, of ‘following...... suits’ (Nyqvist 2013), and of doing ‘ethnography by failure’ (Garsten 2013). In this paper, we explore the layers of informality and formality in our fieldwork experiences among financial investors and policy experts, and discuss how to ethnographically represent embodied fieldwork practices. How do we...

  9. Combining Formal Logic and Machine Learning for Sentiment Analysis

    DEFF Research Database (Denmark)

    Petersen, Niklas Christoffer; Villadsen, Jørgen

    2014-01-01

    This paper presents a formal logical method for deep structural analysis of the syntactical properties of texts using machine learning techniques for efficient syntactical tagging. To evaluate the method it is used for entity level sentiment analysis as an alternative to pure machine learning...

  10. 7 CFR 1738.16 - Eligible entities.

    Science.gov (United States)

    2010-01-01

    ... cooperative, nonprofit, limited dividend or mutual associations, limited liability companies, commercial... or partnerships of individuals are not eligible entities. (2) An entity is not eligible if it serves...

  11. Necessity of Integral Formalism

    International Nuclear Information System (INIS)

    Tao Yong

    2011-01-01

    To describe the physical reality, there are two ways of constructing the dynamical equation of field, differential formalism and integral formalism. The importance of this fact is firstly emphasized by Yang in case of gauge field [Phys. Rev. Lett. 33 (1974) 445], where the fact has given rise to a deeper understanding for Aharonov-Bohm phase and magnetic monopole [Phys. Rev. D 12 (1975) 3845]. In this paper we shall point out that such a fact also holds in general wave function of matter, it may give rise to a deeper understanding for Berry phase. Most importantly, we shall prove a point that, for general wave function of matter, in the adiabatic limit, there is an intrinsic difference between its integral formalism and differential formalism. It is neglect of this difference that leads to an inconsistency of quantum adiabatic theorem pointed out by Marzlin and Sanders [Phys. Rev. Lett. 93 (2004) 160408]. It has been widely accepted that there is no physical difference of using differential operator or integral operator to construct the dynamical equation of field. Nevertheless, our study shows that the Schrödinger differential equation (i.e., differential formalism for wave function) shall lead to vanishing Berry phase and that the Schrödinger integral equation (i.e., integral formalism for wave function), in the adiabatic limit, can satisfactorily give the Berry phase. Therefore, we reach a conclusion: There are two ways of describing physical reality, differential formalism and integral formalism; but the integral formalism is a unique way of complete description. (general)

  12. Formalized Informal Learning

    DEFF Research Database (Denmark)

    Levinsen, Karin Tweddell; Sørensen, Birgitte Holm

    2013-01-01

    are examined and the relation between network society competences, learners’ informal learning strategies and ICT in formalized school settings over time is studied. The authors find that aspects of ICT like multimodality, intuitive interaction design and instant feedback invites an informal bricoleur approach....... When integrated into certain designs for teaching and learning, this allows for Formalized Informal Learning and support is found for network society competences building....

  13. Integrated formal operations plan

    Energy Technology Data Exchange (ETDEWEB)

    Cort, G.; Dearholt, W.; Donahue, S.; Frank, J.; Perkins, B.; Tyler, R.; Wrye, J.

    1994-01-05

    The concept of formal operations (that is, a collection of business practices to assure effective, accountable operations) has vexed the Laboratory for many years. To date most attempts at developing such programs have been based upon rigid, compliance-based interpretations of a veritable mountain of Department of Energy (DOE) orders, directives, notices, and standards. These DOE dictates seldom take the broad view but focus on highly specialized programs isolated from the overall context of formal operations. The result is a confusing array of specific, and often contradictory, requirements that produce a patchwork of overlapping niche programs. This unnecessary duplication wastes precious resources, dramatically increases the complexity of our work processes, and communicates a sense of confusion to our customers and regulators. Coupled with the artificial divisions that have historically existed among the Laboratory`s formal operations organizations (quality assurance, configuration management, records management, training, etc.), this approach has produced layers of increasingly vague and complex formal operations plans, each of which interprets its parent and adds additional requirements of its own. Organizational gridlock ensues whenever an activity attempts to implement these bureaucratic monstrosities. The integrated formal operations plan presented is to establish a set of requirements that must be met by an integrated formal operations program, assign responsibilities for implementation and operation of the program, and specify criteria against which the performance of the program will be measured. The accountable line manager specifies the items, processes, and information (the controlled elements) to which the formal operations program specified applies. The formal operations program is implemented using a graded approach based on the level of importance of the various controlled elements and the scope of the activities in which they are involved.

  14. Programming Entity Framework Code First

    CERN Document Server

    Lerman, Julia

    2011-01-01

    Take advantage of the Code First data modeling approach in ADO.NET Entity Framework, and learn how to build and configure a model based on existing classes in your business domain. With this concise book, you'll work hands-on with examples to learn how Code First can create an in-memory model and database by default, and how you can exert more control over the model through further configuration. Code First provides an alternative to the database first and model first approaches to the Entity Data Model. Learn the benefits of defining your model with code, whether you're working with an exis

  15. Entity ranking using Wikipedia as a pivot

    NARCIS (Netherlands)

    Kaptein, R.; Serdyukov, P.; de Vries, A.; Kamps, J.; Huang, X.J.; Jones, G.; Koudas, N.; Wu, X.; Collins-Thompson, K.

    2010-01-01

    In this paper we investigate the task of Entity Ranking on the Web. Searchers looking for entities are arguably better served by presenting a ranked list of entities directly, rather than a list of web pages with relevant but also potentially redundant information about these entities. Since

  16. Named entity normalization in user generated content

    NARCIS (Netherlands)

    Jijkoun, V.; Khalid, M.A.; Marx, M.; de Rijke, M.

    2008-01-01

    Named entity recognition is important for semantically oriented retrieval tasks, such as question answering, entity retrieval, biomedical retrieval, trend detection, and event and entity tracking. In many of these tasks it is important to be able to accurately normalize the recognized entities,

  17. 42 CFR 411.380 - When CMS issues a formal advisory opinion.

    Science.gov (United States)

    2010-10-01

    ... 42 Public Health 2 2010-10-01 2010-10-01 false When CMS issues a formal advisory opinion. 411.380... Relationships Between Physicians and Entities Furnishing Designated Health Services § 411.380 When CMS issues a formal advisory opinion. (a) CMS considers an advisory opinion to be issued once it has received payment...

  18. Influences of Formal Learning, Personal Learning Orientation, and Supportive Learning Environment on Informal Learning

    Science.gov (United States)

    Choi, Woojae; Jacobs, Ronald L.

    2011-01-01

    While workplace learning includes formal and informal learning, the relationship between the two has been overlooked, because they have been viewed as separate entities. This study investigated the effects of formal learning, personal learning orientation, and supportive learning environment on informal learning among 203 middle managers in Korean…

  19. Testing the Application for Analyzing Structured Entities

    OpenAIRE

    Ion IVAN; Bogdan VINTILA

    2011-01-01

    The paper presents the testing process of the application for the analysis of structured text entities. The structured entities are presented. Quality characteristics of structured entities are identified and analyzed. The design and building processes are presented. Rules for building structured entities are described. The steps of building the application for the analysis of structured text entities are presented. The objective of the testing process is defined. Ways of testing the applicat...

  20. A Calculus of Located Entities

    Directory of Open Access Journals (Sweden)

    Adriana Compagnoni

    2014-03-01

    Full Text Available We define BioScapeL, a stochastic pi-calculus in 3D-space. A novel aspect of BioScapeL is that entities have programmable locations. The programmer can specify a particular location where to place an entity, or a location relative to the current location of the entity. The motivation for the extension comes from the need to describe the evolution of populations of biochemical species in space, while keeping a sufficiently high level description, so that phenomena like diffusion, collision, and confinement can remain part of the semantics of the calculus. Combined with the random diffusion movement inherited from BioScape, programmable locations allow us to capture the assemblies of configurations of polymers, oligomers, and complexes such as microtubules or actin filaments. Further new aspects of BioScapeL include random translation and scaling. Random translation is instrumental in describing the location of new entities relative to the old ones. For example, when a cell secretes a hydronium ion, the ion should be placed at a given distance from the originating cell, but in a random direction. Additionally, scaling allows us to capture at a high level events such as division and growth; for example, daughter cells after mitosis have half the size of the mother cell.

  1. SOCIAL EFFECTIVENESS OF BUSINESS ENTITIES

    Directory of Open Access Journals (Sweden)

    Iryna Perevozova

    2016-06-01

    Full Text Available The article is aimed at investigation of social effectiveness of business entities. Social aspect of business is becoming a necessary component of success, increase of profitability and competitiveness as well as minimization of risks. Social effectiveness is referred to as correspondence between economic activity and main social needs and aims of society, interests of the staff and interests of a certain person. Investigation of social effectiveness of business entities is suggested to analyze with the help of social factors. Social factors are characterized by variability of expectations, relations and interests of society, staff and individuals. We suggest generalized classification of factors which have an impact on social effectiveness of business, we single out external and internal factors. To external factors belong: income of the population, differentiation of population according to income, migration, level of salaries, level of legality of income of population, family status of  population, employment rate, age structure of population etc. As for internal factors we single out the following: low level of basic professional training, use of unskilled workers, absence of conditions for creativity, imperfection of system of motivation of professional growth, absence of specialized centers for certification training etc. Quantity and quality analysis of the above mentioned factors will enable to determine the level of social effectiveness of business entities. For analyses of degree of influence of factors on effectiveness we worked out a questionnaire of expert assessment which is represented in the form of assessment scale. We conducted a questionnaire and analyzed expert results and determined degree of influence of factors on social effectiveness of business. Assessment of level of social effectiveness of business entities was carried out by expert method of certain factor and was represented by a formula. The scale of assessment of

  2. Formalizing Probabilistic Safety Claims

    Science.gov (United States)

    Herencia-Zapana, Heber; Hagen, George E.; Narkawicz, Anthony J.

    2011-01-01

    A safety claim for a system is a statement that the system, which is subject to hazardous conditions, satisfies a given set of properties. Following work by John Rushby and Bev Littlewood, this paper presents a mathematical framework that can be used to state and formally prove probabilistic safety claims. It also enables hazardous conditions, their uncertainties, and their interactions to be integrated into the safety claim. This framework provides a formal description of the probabilistic composition of an arbitrary number of hazardous conditions and their effects on system behavior. An example is given of a probabilistic safety claim for a conflict detection algorithm for aircraft in a 2D airspace. The motivation for developing this mathematical framework is that it can be used in an automated theorem prover to formally verify safety claims.

  3. Fear of the Formal

    DEFF Research Database (Denmark)

    du Gay, Paul; Lopdrup-Hjorth, Thomas

    2016-01-01

    term this ‘fear of the formal’, outlining key elements of its genealogy and exploring its contemporary manifestation in relation to recent and ongoing reforms of organisational life in a range of contexts. At the same time, we seek to indicate the continuing constitutive significance of formality...

  4. Formalization of Medical Guidelines

    Czech Academy of Sciences Publication Activity Database

    Peleška, Jan; Anger, Z.; Buchtela, David; Šebesta, K.; Tomečková, Marie; Veselý, Arnošt; Zvára, K.; Zvárová, Jana

    2005-01-01

    Roč. 1, - (2005), s. 133-141 ISSN 1801-5603 R&D Projects: GA AV ČR 1ET200300413 Institutional research plan: CEZ:AV0Z10300504 Keywords : GLIF model * formalization of guidelines * prevention of cardiovascular diseases Subject RIV: IN - Informatics, Computer Science

  5. Readings in Formal Epistemology

    DEFF Research Database (Denmark)

    Formal epistemology’ is a term coined in the late 1990s for a new constellation of interests in philosophy,the roots of which are found in earlier works of epistemologists, philosophers of science, and logicians. It addresses a growing agenda of problems concerning knowledge, belief, certainty, ...

  6. Criteria for logical formalization

    Czech Academy of Sciences Publication Activity Database

    Peregrin, Jaroslav; Svoboda, Vladimír

    2013-01-01

    Roč. 190, č. 14 (2013), s. 2897-2924 ISSN 0039-7857 R&D Projects: GA ČR(CZ) GAP401/10/1279 Institutional support: RVO:67985955 Keywords : logic * logical form * formalization * reflective equilibrium Subject RIV: AA - Philosophy ; Religion Impact factor: 0.637, year: 2013

  7. IDEF3 Formalization Report

    Science.gov (United States)

    1991-10-01

    SUBJECT TERMS 15. NUMBER OF PAGES engineering management information systems method formalization 60 information engineering process modeling 16 PRICE...CODE information systems requirements definition methods knowlede acquisition methods systems engineering 17. SECURITY CLASSIFICATION ji. SECURITY... Management , Inc., Santa Monica, California. CORYNEN, G. C., 1975, A Mathematical Theory of Modeling and Simula- tion. Ph.D. Dissertation, Department

  8. The Benefits of Formalization

    DEFF Research Database (Denmark)

    Rand, John; Torm, Nina Elisabeth

    2012-01-01

    Based on unique panel data consisting of both formal and informal firms, this paper uses a matched double difference approach to examine the relationship between legal status and firm level outcomes in micro, small and medium manufacturing enterprises (SMEs) in Vietnam. Controlling for determinin...

  9. Formalizing physical security procedures

    NARCIS (Netherlands)

    Meadows, C.; Pavlovic, Dusko

    Although the problems of physical security emerged more than 10,000 years before the problems of computer security, no formal methods have been developed for them, and the solutions have been evolving slowly, mostly through social procedures. But as the traffic on physical and social networks is now

  10. Compulsive buying: an overlooked entity.

    Science.gov (United States)

    Basu, Bishnupriya; Basu, Saikat; Basu, Jharna

    2011-08-01

    Compulsive buying is an under-recognised entity among Indian psychiatrists. A Medline search, hand searching of journals and direct communications with lead investigators in compulsive buying have generated numerous studies. Overseas data indicate a community prevalence between 1% and 8% . The phenomenon can be an independent entity or appears as a comorbidity with another axis I or axis II disorder. A degree of suspicion on part of clinician regarding its possible presence is the key to its detection. A few rating instruments are available to quantify the morbidity and screening for compulsive buying. Management involves pharmacotherapy with SSRIs, psychotherapy, self-help groups and self-help books. Epidemiological and clinical studies on compulsive buying should be undertaken by Indian psychiatrists to provide better services for people suffering from compulsive buying.

  11. Entity Framework 41 Expert's Cookbook

    CERN Document Server

    Liles, Devlin

    2012-01-01

    This book takes a step-by-step problem solving approach that leads you through a problem and explains each step in detail to accomplish the goal. This books gives you concrete code examples as well as detailed information on the decisions involved. This book is for intermediate to advanced .NET developers who have used LINQ to SQL or Entity Framework in some form but want to have more control over the implementation.

  12. The formality of learning science in everyday life: A conceptual literature review

    Directory of Open Access Journals (Sweden)

    Niels Bonderup Dohn

    2010-09-01

    Full Text Available The terms non-formal and informal are attributed to learning in everyday life by many authors, often linked to their interests in particular learning practices. However, many authors use the terms without any clear definition, or employ conflicting definitions and boundaries. An analysis of relevant literature revealed two fundamentally different interpretations of informal learning. The one describes formality of education at the organizational level, while the second describes formality of learning at the psychological level. This article presents a conceptual reconciling of these two perspectives. Based on a literature review, the educational modes of education are defined as discrete entities (formal, non-formal, and informal education, whereas formality at the psychological level is defined in terms of attributes of formality and informality along a continuum (formal ↔ informal learning. Relations to other  well-established frameworks within the field of informal learning are discussed.

  13. 31 CFR 596.308 - Person; entity.

    Science.gov (United States)

    2010-07-01

    ... FOREIGN ASSETS CONTROL, DEPARTMENT OF THE TREASURY TERRORISM LIST GOVERNMENTS SANCTIONS REGULATIONS General Definitions § 596.308 Person; entity. (a) The term person means an individual or entity. (b) The...

  14. Ranking related entities: components and analyses

    NARCIS (Netherlands)

    Bron, M.; Balog, K.; de Rijke, M.

    2010-01-01

    Related entity finding is the task of returning a ranked list of homepages of relevant entities of a specified type that need to engage in a given relationship with a given source entity. We propose a framework for addressing this task and perform a detailed analysis of four core components;

  15. Entity Ranking using Wikipedia as a Pivot

    NARCIS (Netherlands)

    R. Kaptein; P. Serdyukov; A.P. de Vries (Arjen); J. Kamps

    2010-01-01

    htmlabstractIn this paper we investigate the task of Entity Ranking on the Web. Searchers looking for entities are arguably better served by presenting a ranked list of entities directly, rather than a list of web pages with relevant but also potentially redundant information about

  16. Painful constipation: a neglected entity?

    Directory of Open Access Journals (Sweden)

    G. Bassotti

    2011-01-01

    Full Text Available Functional chronic constipation is a common symptom in daily clinical practice. Although the definition of constipation may be variable, there is usually agreement that (at least for research purposes the definition given by the Rome Committee are useful. However, some blind spots or hidden angles remain, even in the more thorough classifications; among these, there is painful constipation, a poorly defined yet clinically encountered entity. The present article reviews the current knowledge about painful constipation, trying to put together the scarce data available, and to frame it in the more general context of chronic constipation.

  17. Painful constipation: a neglected entity?

    Directory of Open Access Journals (Sweden)

    G. Bassotti

    Full Text Available Functional chronic constipation is a common symptom in daily clinical practice. Although the definition of constipation may be variable, there is usually agreement that (at least for research purposes the definition given by the Rome Committee are useful. However, some blind spots or hidden angles remain, even in the more thorough classifications; among these, there is painful constipation, a poorly defined yet clinically encountered entity. The present article reviews the current knowledge about painful constipation, trying to put together the scarce data available, and to frame it in the more general context of chronic constipation.

  18. Thanatophoric Dysplasia: A Rare Entity

    Directory of Open Access Journals (Sweden)

    N.S. Naveen

    2011-05-01

    Full Text Available Thanatophoric dysplasia is the lethal skeletal dysplasia characterized by marked underdevelopment of the skeleton and short-limb dwarfism. The child will be having a short neck, narrow thoracic cage and protuberant abdomen. Other anatomical features include a relatively enlarged head with frontal bossing, prominent eyes, hypertelorism and the depressed nasal bridge. The diagnosis is usually made with the ultrasonography in the second trimester. In this study we report a case of this rare entity with emphasis on its anatomical features, abnormalities and clinical profile with relevant review of literature.

  19. Rasmussen's Aneurysm: A Forgotten Entity?

    International Nuclear Information System (INIS)

    Keeling, A. N.; Costello, R.; Lee, M. J.

    2008-01-01

    We present the case of a rare entity which is a complication of a disease process that had almost disappeared from the Western World. With the recent resurgence in reported cases of Mycobacterium tuberculosis (TB) in Western communities, it is important to recognize complications and sequelae. A young alcoholic male with confirmed active TB suffered a cardiac arrest following massive haemoptysis. Multidetector computed tomography angiography diagnosed a Rasmussen's aneurysm, confirmed by digital subtraction angiography and then successfully embolized with glue. We outline this rare case and the embolization technique and review previously documented reports

  20. Maxillary Osteomyelitis: A Rare Entity

    Directory of Open Access Journals (Sweden)

    Ayaaz Habib

    2016-01-01

    Full Text Available Osteomyelitis of the maxilla is now a rare event with the advent of antibiotics. The two predominant causes are odontogenic infections and sinusitis. Immunocompromised states such as diabetes, HIV, and malnutrition increase the risk of osteomyelitis. It is important to recognize this early as it is a difficult entity to treat with potentially serious consequences. We report an unusual case of right sided maxillary osteomyelitis in a lady with poorly controlled diabetes in rural Lincolnshire. Biopsy of the right maxillary bone showed features of acute osteomyelitis. This responded well to a prolonged course of oral antibiotics.

  1. Constraint satisfaction problems CSP formalisms and techniques

    CERN Document Server

    Ghedira, Khaled

    2013-01-01

    A Constraint Satisfaction Problem (CSP) consists of a set of variables, a domain of values for each variable and a set of constraints. The objective is to assign a value for each variable such that all constraints are satisfied. CSPs continue to receive increased attention because of both their high complexity and their omnipresence in academic, industrial and even real-life problems. This is why they are the subject of intense research in both artificial intelligence and operations research. This book introduces the classic CSP and details several extensions/improvements of both formalisms a

  2. Formalizing the concept of sound.

    Energy Technology Data Exchange (ETDEWEB)

    Kaper, H. G.; Tipei, S.

    1999-08-03

    The notion of formalized music implies that a musical composition can be described in mathematical terms. In this article we explore some formal aspects of music and propose a framework for an abstract approach.

  3. Formal Analysis of Domain Models

    National Research Council Canada - National Science Library

    Bharadwaj, Ramesh

    2002-01-01

    Recently, there has been a great deal of interest in the application of formal methods, in particular, precise formal notations and automatic analysis tools for the creation and analysis of requirements specifications (i.e...

  4. Formalization of Database Systems -- and a Formal Definition of {IMS}

    DEFF Research Database (Denmark)

    Bjørner, Dines; Løvengreen, Hans Henrik

    1982-01-01

    Drawing upon an analogy between Programming Language Systems and Database Systems we outline the requirements that architectural specifications of database systems must futfitl, and argue that only formal, mathematical definitions may 6atisfy these. Then we illustrate home aspects and touch upon...... come ueee of formal definitions of data models and databaee management systems. A formal model of INS will carry this discussion. Finally we survey some of the exkting literature on formal definitions of database systems. The emphasis will be on constructive definitions in the denotationul semantics...... style of the VCM: Vienna Development Nethd. The role of formal definitions in international standardiaation efforts is briefly mentioned....

  5. Building ontologies with basic formal ontology

    CERN Document Server

    Arp, Robert; Spear, Andrew D.

    2015-01-01

    In the era of "big data," science is increasingly information driven, and the potential for computers to store, manage, and integrate massive amounts of data has given rise to such new disciplinary fields as biomedical informatics. Applied ontology offers a strategy for the organization of scientific information in computer-tractable form, drawing on concepts not only from computer and information science but also from linguistics, logic, and philosophy. This book provides an introduction to the field of applied ontology that is of particular relevance to biomedicine, covering theoretical components of ontologies, best practices for ontology design, and examples of biomedical ontologies in use. After defining an ontology as a representation of the types of entities in a given domain, the book distinguishes between different kinds of ontologies and taxonomies, and shows how applied ontology draws on more traditional ideas from metaphysics. It presents the core features of the Basic Formal Ontology (BFO), now u...

  6. Topical Roots of Formal Dialectic

    NARCIS (Netherlands)

    Krabbe, Erik C. W.

    Formal dialectic has its roots in ancient dialectic. We can trace this influence in Charles Hamblin's book on fallacies, in which he introduced his first formal dialectical systems. Earlier, Paul Lorenzen proposed systems of dialogical logic, which were in fact formal dialectical systems avant la

  7. Entity-Linking via Graph-Distance Minimization

    Directory of Open Access Journals (Sweden)

    Roi Blanco

    2014-07-01

    Full Text Available Entity-linking is a natural-language–processing task that consists in identifying the entities mentioned in a piece of text, linking each to an appropriate item in some knowledge base; when the knowledge base is Wikipedia, the problem comes to be known as wikification (in this case, items are wikipedia articles. One instance of entity-linking can be formalized as an optimization problem on the underlying concept graph, where the quantity to be optimized is the average distance between chosen items. Inspired by this application, we define a new graph problem which is a natural variant of the Maximum Capacity Representative Set. We prove that our problem is NP-hard for general graphs; nonetheless, under some restrictive assumptions, it turns out to be solvable in linear time. For the general case, we propose two heuristics: one tries to enforce the above assumptions and another one is based on the notion of hitting distance; we show experimentally how these approaches perform with respect to some baselines on a real-world dataset.

  8. Perceived Influence of Non-Formal Educational Programmes on ...

    African Journals Online (AJOL)

    The study examined perceived influence of non-formal education programmes on the basic academic attainment of teenage mothers in Enugu state Nigeria. The total population for the study was 8,143 teenage mothers from which a study sample of 814 was raised. Four research questions were raised and four hypotheses ...

  9. Supporting inter-topic entity search for biomedical Linked Data based on heterogeneous relationships.

    Science.gov (United States)

    Zong, Nansu; Lee, Sungin; Ahn, Jinhyun; Kim, Hong-Gee

    2017-08-01

    The keyword-based entity search restricts search space based on the preference of search. When given keywords and preferences are not related to the same biomedical topic, existing biomedical Linked Data search engines fail to deliver satisfactory results. This research aims to tackle this issue by supporting an inter-topic search-improving search with inputs, keywords and preferences, under different topics. This study developed an effective algorithm in which the relations between biomedical entities were used in tandem with a keyword-based entity search, Siren. The algorithm, PERank, which is an adaptation of Personalized PageRank (PPR), uses a pair of input: (1) search preferences, and (2) entities from a keyword-based entity search with a keyword query, to formalize the search results on-the-fly based on the index of the precomputed Individual Personalized PageRank Vectors (IPPVs). Our experiments were performed over ten linked life datasets for two query sets, one with keyword-preference topic correspondence (intra-topic search), and the other without (inter-topic search). The experiments showed that the proposed method achieved better search results, for example a 14% increase in precision for the inter-topic search than the baseline keyword-based search engine. The proposed method improved the keyword-based biomedical entity search by supporting the inter-topic search without affecting the intra-topic search based on the relations between different entities. Copyright © 2017 Elsevier Ltd. All rights reserved.

  10. Formal aspects of resilience

    Directory of Open Access Journals (Sweden)

    Diana-Maria Drigă

    2015-12-01

    Full Text Available The concept of resilience has represented during the recent years a leading concern both in Romania, within the European Union and worldwide. Specialists in economics, management, finance, legal sciences, political sciences, sociology, psychology, grant a particular interest to this concept. Multidisciplinary research of resilience has materialized throughout the time in multiple conceptualizations and theorizing, but without being a consensus between specialists in terms of content, specificity and scope. Through this paper it is intended to clarify the concept of resilience, achieving an exploration of the evolution of this concept in ecological, social and economic environment. At the same time, the paper presents aspects of feedback mechanisms and proposes a formalization of resilience using the logic and mathematical analysis.

  11. Formalized informal learning

    DEFF Research Database (Denmark)

    Levinsen, Karin; Sørensen, Birgitte Holm

    2011-01-01

    and other relevant stakeholders, as well as participant observations in the classroom documented by thick descriptions, formal and informal interviews and focus group interviews. The aim of the study was to explore and identify relations between designs for teaching and learning and the students' learning......This paper presents findings from a large-scale longitudinal, qualitative study - Project ICT and Learning (PIL) - that engaged the participation of eight primary schools in Denmark, and was conducted between 2006 and 2008. The research design was based on action research, involving teachers...... of school subjects within defined learning goals and curricula, along with various implementations of ICT in the pedagogical everyday practice (Levinsen & Sørensen 2008). However, another research strand - the topic of this paper - emerged during the project's life cycle as a consequence of ongoing changes...

  12. The Impact of Formal Hierarchies on Enterprise Social Networking Behavior

    DEFF Research Database (Denmark)

    Behrendt, Sebastian; Klier, Julia; Klier, Mathias

    2015-01-01

    With more and more companies using enterprise social networks (ESN) for employee communication and collaboration, the influence of ESN on organizational hierarchies has been subject of countless discussions in practice-oriented media and first academic studies. Conversely, the question whether...... and how formal organizational hierarchies influence ESN usage behavior has not yet been addressed. Drawing on a rich data set comprising 2.5 years of relationship building via direct messages, confirmed contact requests, and group messages, we are able to show that formal hierarchies have an important...... impact on social networking behavior. By applying means of social network analysis and supported by statements from interviews, we illustrate how deeply formal hierarchy impacts the three examined types of relationships. Our results motivate academics to further study the interrelation between hierarchy...

  13. Academic detailing.

    Science.gov (United States)

    Shankar, P R; Jha, N; Piryani, R M; Bajracharya, O; Shrestha, R; Thapa, H S

    2010-01-01

    There are a number of sources available to prescribers to stay up to date about medicines. Prescribers in rural areas in developing countries however, may not able to access some of them. Interventions to improve prescribing can be educational, managerial, and regulatory or use a mix of strategies. Detailing by the pharmaceutical industry is widespread. Academic detailing (AD) has been classically seen as a form of continuing medical education in which a trained health professional such as a physician or pharmacist visits physicians in their offices to provide evidence-based information. Face-to-face sessions, preferably on an individual basis, clear educational and behavioural objectives, establishing credibility with respect to objectivity, stimulating physician interaction, use of concise graphic educational materials, highlighting key messages, and when possible, providing positive reinforcement of improved practices in follow-up visits can increase success of AD initiatives. AD is common in developed countries and certain examples have been cited in this review. In developing countries the authors have come across reports of AD in Pakistan, Sudan, Argentina and Uruguay, Bihar state in India, Zambia, Cuba, Indonesia and Mexico. AD had a consistent, small but potentially significant impact on prescribing practices. AD has much less resources at its command compared to the efforts by the industry. Steps have to be taken to formally start AD in Nepal and there may be specific hindering factors similar to those in other developing nations.

  14. Orality and literacy, formality and informality in email communication

    Directory of Open Access Journals (Sweden)

    Carmen Pérez Sabater

    2008-04-01

    Full Text Available Approaches to the linguistic characteristics of computer-mediated communication (CMC have highlighted the frequent oral traits involved in electronic mail along with features of written language. But email is today a new communication exchange medium in social, professional and academic settings, frequently used as a substitute for the traditional formal letter. The oral characterizations and linguistic formality involved in this use of emails are still in need of research. This paper explores the formal and informal features in emails based on a corpus of messages exchanged by academic institutions, and studies the similarities and differences on the basis of their mode of communication (one-to-one or one-to-many and the sender’s mother tongue (native or nonnative. The language samples collected were systematically analyzed for formality of greetings and farewells, use of contractions, politeness indicators and non-standard linguistic features. The findings provide new insights into traits of orality and formality in email communication and demonstrate the emergence of a new style in writing for even the most important, confidential and formal purposes which seems to be forming a new sub-genre of letter-writing.

  15. Entity resolution in the web of data

    CERN Document Server

    Christophides, Vassilis; Stefanidis, Kostas

    2015-01-01

    In recent years, several knowledge bases have been built to enable large-scale knowledge sharing, but also an entity-centric Web search, mixing both structured data and text querying. These knowledge bases offer machine-readable descriptions of real-world entities, e.g., persons, places, published on the Web as Linked Data. However, due to the different information extraction tools and curation policies employed by knowledge bases, multiple, complementary and sometimes conflicting descriptions of the same real-world entities may be provided. Entity resolution aims to identify different descrip

  16. Spinor formalism and complex-vector formalism of general relativity

    International Nuclear Information System (INIS)

    Han-ying, G.; Yong-shi, W.; Gendao, L.

    1974-01-01

    In this paper, using E. Cartan's exterior calculus, we give the spinor form of the structure equations, which leads naturally to the Newman--Penrose equations. Furthermore, starting from the spinor spaces and the el (2C) algebra, we construct the general complex-vector formalism of general relativity. We find that both the Cahen--Debever--Defrise complex-vector formalism and that of Brans are its special cases. Thus, the spinor formalism and the complex-vector formalism of general relativity are unified on the basis of the uni-modular group SL(2C) and its Lie algebra

  17. Gaming frequency and academic performance

    OpenAIRE

    Ip, Barry; Jacobs, Gabriel; Watkins, Alan

    2008-01-01

    There are numerous claims that playing computer and video games may be educationally beneficial, but there has been little formal investigation into whether or not the frequency of exposure to such games actually affects academic performance. This paper explores the issue by analysing the relationships between gaming frequency –measured as the amount of time undergraduate students spend playing games in their free time – and their academic performance as measured by their examination marks. U...

  18. [The nosological entity bulimia nerviosa].

    Science.gov (United States)

    López-Ibor Aliño, J J; Cervera Enguix, S

    1991-01-01

    Anorexia nervosa and bulimia nervosa are at the present moment, two well defined clinical entities among the group of the eating disorders. The psychopathological differentiation of both syndromes has a great importance for diagnosis and therapy. The authors make a phenomenological description, based on case histories of patients with diagnostics of anorexia and bulimia nervosa, and try to establish an approach to the essential symptomatology of those disorders. The presence of affective symptomatology--depressive, but not exclusively--in the eating behaviour disorders in general and particularly in bulimia nervosa, is nowadays interpreted as an unspecific emotional lability as a response to stressing situations. That is to say, it is a secondary depressive symptomatology, more than a primary mood disorder preceding or underlying bulimia. There is strong evidence in favour of a dysregulation of serotonin metabolism in patients with bulimia nervosa, in the sense of a reduced activity, which manifest itself clinically by binges with food with a high content in carbohydrates. High levels of 5-HT seem to induce increasing feelings of safety, fullness and lead to an interruption of eating. Fluoxetine and this active metabolite are selective inhibitors of the reuptake of 5-HT and their antibulimic effect could be mediated by this mechanism.

  19. Academic Hospitality

    Science.gov (United States)

    Phipps, Alison; Barnett, Ronald

    2007-01-01

    Academic hospitality is a feature of academic life. It takes many forms. It takes material form in the hosting of academics giving papers. It takes epistemological form in the welcome of new ideas. It takes linguistic form in the translation of academic work into other languages, and it takes touristic form through the welcome and generosity with…

  20. Formal System Verification - Extension 2

    Science.gov (United States)

    2012-08-08

    vision of truly trustworthy systems has been to provide a formally verified microkernel basis. We have previously developed the seL4 microkernel...together with a formal proof (in the theorem prover Isabelle/HOL) of its functional correctness [6]. This means that all the behaviours of the seL4 C...source code are included in the high-level, formal specification of the kernel. This work enabled us to provide further formal guarantees about seL4 , in

  1. Formalized Epistemology, Logic, and Grammar

    Science.gov (United States)

    Bitbol, Michel

    The task of a formal epistemology is defined. It appears that a formal epistemology must be a generalization of "logic" in the sense of Wittgenstein's Tractatus. The generalization is required because, whereas logic presupposes a strict relation between activity and language, this relation may be broken in some domains of experimental enquiry (e.g., in microscopic physics). However, a formal epistemology should also retain a major feature of Wittgenstein's "logic": It must not be a discourse about scientific knowledge, but rather a way of making manifest the structures usually implicit in knowledge-gaining activity. This strategy is applied to the formalism of quantum mechanics.

  2. 46 CFR 403.110 - Accounting entities.

    Science.gov (United States)

    2010-10-01

    ... 46 Shipping 8 2010-10-01 2010-10-01 false Accounting entities. 403.110 Section 403.110 Shipping COAST GUARD (GREAT LAKES PILOTAGE), DEPARTMENT OF HOMELAND SECURITY GREAT LAKES PILOTAGE UNIFORM ACCOUNTING SYSTEM General § 403.110 Accounting entities. Each Association shall be a separate accounting...

  3. 78 FR 31822 - Unincorporated Business Entities

    Science.gov (United States)

    2013-05-28

    ... framework for Farm Credit System (System) institutions' use of unincorporated business entities (UBEs) organized under State law for certain business activities. A UBE includes limited partnerships (LPs...-AC65 Unincorporated Business Entities AGENCY: Farm Credit Administration. ACTION: Final rule. SUMMARY...

  4. Entity models for trigger-reaction documents

    NARCIS (Netherlands)

    Khalid, M.A.; Marx, M.; Makkes, M.X.

    2008-01-01

    We define the notion of an entity model for a special kind of document popular on the web: an article followed by a list of reactions on that article, usually by many authors, usually inverse chronologically ordered. We call these documents trigger-reactions pairs. The entity model describes which

  5. Ranking Very Many Typed Entities on Wikipedia

    NARCIS (Netherlands)

    Zaragoza, Hugo; Rode, H.; Mika, Peter; Atserias, Jordi; Ciaramita, Massimiliano; Attardi, Guiseppe

    2007-01-01

    We discuss the problem of ranking very many entities of different types. In particular we deal with a heterogeneous set of types, some being very generic and some very specific. We discuss two approaches for this problem: i) exploiting the entity containment graph and ii) using a Web search engine

  6. 31 CFR 595.303 - Entity.

    Science.gov (United States)

    2010-07-01

    ... 31 Money and Finance: Treasury 3 2010-07-01 2010-07-01 false Entity. 595.303 Section 595.303 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued) OFFICE OF FOREIGN ASSETS CONTROL, DEPARTMENT OF THE TREASURY TERRORISM SANCTIONS REGULATIONS General Definitions § 595.303 Entity...

  7. 31 CFR 800.211 - Entity.

    Science.gov (United States)

    2010-07-01

    ... 31 Money and Finance: Treasury 3 2010-07-01 2010-07-01 false Entity. 800.211 Section 800.211 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued) OFFICE OF INVESTMENT... separate legal entity) operated by any one of the foregoing as a business undertaking in a particular...

  8. Code-first development with Entity Framework

    CERN Document Server

    Barskiy, Sergey

    2015-01-01

    This book is intended for software developers with some prior experience with the Microsoft .NET framework who want to learn how to use Entity Framework. This book will get you up and running quickly, providing many examples that illustrate all the key concepts of Entity Framework.

  9. Formal, Non-Formal and Informal Learning in the Sciences

    Science.gov (United States)

    Ainsworth, Heather L.; Eaton, Sarah Elaine

    2010-01-01

    This research report investigates the links between formal, non-formal and informal learning and the differences between them. In particular, the report aims to link these notions of learning to the field of sciences and engineering in Canada and the United States, including professional development of adults working in these fields. It offers…

  10. 22 CFR 96.5 - Requirement that accrediting entity be a nonprofit or public entity.

    Science.gov (United States)

    2010-04-01

    ... administering standards for entities providing child welfare services; or (b) A public entity (other than a... political subdivision, agency, or instrumentality thereof, that is responsible for licensing adoption agencies in a State and that has expertise in developing and administering standards for entities providing...

  11. Testing the Application for Analyzing Structured Entities

    Directory of Open Access Journals (Sweden)

    Ion IVAN

    2011-01-01

    Full Text Available The paper presents the testing process of the application for the analysis of structured text entities. The structured entities are presented. Quality characteristics of structured entities are identified and analyzed. The design and building processes are presented. Rules for building structured entities are described. The steps of building the application for the analysis of structured text entities are presented. The objective of the testing process is defined. Ways of testing the application on components and as a whole are established. A testing strategy for different objectives is proposed. The behavior of users during the testing period is analyzed. Statistical analysis regarding the behavior of users in processes of infinite resources access are realized.

  12. Periocular xanthogranuloma: A forgotten entity?

    Directory of Open Access Journals (Sweden)

    Charalampos Papagoras

    2010-03-01

    Full Text Available Charalampos Papagoras1, George Kitsos2, Paraskevi V Voulgari1, Anastasia K Zikou3, Maria I Argyropoulou3, Aikaterini Zioga4, Alexandros A Drosos11Rheumatology Clinic, Department of Internal Medicine; 2Department of Ophthalmology; 3Department of Clinical Imaging and Radiology, 4Department of Pathology, Medical School, University of Ioannina, Ioannina, GreeceAbstract: Periocular xanthogranulomatous diseases are a rare group of disorders which are characterized by a predilection to affect the orbit and ocular adnexa and special histopathological features, in particular infiltrates comprising non-Langerhans-derived foamy histiocytes and Touton giant cells. The differential diagnosis is difficult and occasionally definite diagnosis cannot be established even after clinical and histopathological findings are taken together. We describe a case of a middle-aged man who presented with a 10-year history of voluminous eyelid swelling with concomitant late-onset atopic manifestations, namely bronchial asthma and allergic rhinitis with nasal polyps. After thorough clinical and laboratory investigation, including a biopsy of the eyelid, we classified the patient’s disease to a rare entity that has been relatively recently described: periocular xanthogranuloma associated with adult-onset asthma. In a review of the literature, no prospective trials concerning the treatment of this disease were found. The literature mainly contained case reports and case series in which corticosteroids and chemotherapy with alkylating agents have been reported to be beneficial. We treated our patient with a combination of oral corticosteroids and cyclophosphamide pulses and we observed substantial regression of the eyelid masses together with a normalization of systemic immunologic abnormalities.Keywords: periocular xanthogranuloma, adult-onset asthma, non-Langerhans histiocytoses, cyclophosphamide, methylprednisolone

  13. Awareness of Entities, Activities and Contexts in Ambient Systems

    DEFF Research Database (Denmark)

    Kristensen, Bent Bruun

    2013-01-01

    Ambient systems are modeled by entities, activities and contexts, where entities exist in contexts and engage in activities. A context supports a dynamic collection of entities by services and offers awareness information about the entities. Activities also exist in contexts and model ongoing...... collaborations between entities. Activities and local contexts also obtain awareness information from the context about the dynamic collection of entities. Similarly activities, local contexts and entities are offered awareness information about activities and local contexts....

  14. How Does Ethics Institutionalization Reduce Academic Cheating?

    Science.gov (United States)

    Popoola, Ifeoluwa; Garner, Bart; Ammeter, Anthony; Krey, Nina; Beu Ammeter, Danielle; Schafer, Stuart

    2017-01-01

    Extant research on academic cheating primarily focuses on the impact of honor codes on academic cheating. However, the influence of ethics institutionalization is curiously missing in past research. The authors developed and validated a structural equations model in the R programming language to examine the impact of formal (explicit) and informal…

  15. 40 years of formal methods

    DEFF Research Database (Denmark)

    Bjørner, Dines; Havelund, Klaus

    2014-01-01

    In this "40 years of formal methods" essay we shall first delineate, Sect. 1, what we mean by method, formal method, computer science, computing science, software engineering, and model-oriented and algebraic methods. Based on this, we shall characterize a spectrum from specification-oriented met...

  16. Leibniz' First Formalization of Syllogistics

    DEFF Research Database (Denmark)

    Robering, Klaus

    2014-01-01

    of letters just those which belong to the useful, i.e., valid, modes. The set of codes of valid modes turns out to be a so-called "regular" language (in the sense of formal-language-theory). Leibniz' formalization of syllogistics in his Dissertatio thus contains an estimation of the computational complexity...

  17. Seniority in projection operator formalism

    International Nuclear Information System (INIS)

    Ullah, N.

    1976-01-01

    It is shown that the concept of seniority can be introduced in projection operator formalism through the use of the operator Q, which has been defined by de-Shalit and Talmi. The usefulness of seniority concept in projection operator formalism is discussed. An example of four nucleons in j=3/2 configuration is given for illustrative purposes

  18. A Formalization of Linkage Analysis

    DEFF Research Database (Denmark)

    Ingolfsdottir, Anna; Christensen, A.I.; Hansen, Jens A.

    In this report a formalization of genetic linkage analysis is introduced. Linkage analysis is a computationally hard biomathematical method, which purpose is to locate genes on the human genome. It is rooted in the new area of bioinformatics and no formalization of the method has previously been ...

  19. Gaming Frequency and Academic Performance

    Science.gov (United States)

    Ip, Barry; Jacobs, Gabriel; Watkins, Alan

    2008-01-01

    There are numerous claims that playing computer and video games may be educationally beneficial, but there has been little formal investigation into whether or not the frequency of exposure to such games actually affects academic performance. This paper explores the issue by analysing the relationships between gaming frequency--measured as the…

  20. New procedure for departure formalities

    CERN Multimedia

    HR & GS Departments

    2011-01-01

    As part of the process of simplifying procedures and rationalising administrative processes, the HR and GS Departments have introduced new personalised departure formalities on EDH. These new formalities have applied to students leaving CERN since last year and from 17 October 2011 this procedure will be extended to the following categories of CERN personnel: Staff members, Fellows and Associates. It is planned to extend this electronic procedure to the users in due course. What purpose do departure formalities serve? The departure formalities are designed to ensure that members of the personnel contact all the relevant services in order to return any necessary items (equipment, cards, keys, dosimeter, electronic equipment, books, etc.) and are aware of all the benefits to which they are entitled on termination of their contract. The new departure formalities on EDH have the advantage of tailoring the list of services that each member of the personnel must visit to suit his individual contractual and p...

  1. On the Evaluation of Entity Profiles

    DEFF Research Database (Denmark)

    de Rijke, Maarten; Balog, Krisztian; Bogers, Toine

    be assessed by means of precision and recall values of the descriptive terms produced. However, recent evidence suggests that more sophisticated metrics are needed that go beyond mere lexical matching of system-produced descriptors against a ground truth, allowing for graded relevance and rewarding diversity......Entity profiling is the task of identifying and ranking descriptions of a given entity. The task may be viewed as one where the descriptions being sought are terms that need to be selected from a knowledge source (such as an ontology or thesaurus). In this case, entity profiling systems can...... in the list of descriptors returned. In this note, we motivate and propose such a metric....

  2. Ranking Entities in Networks via Lefschetz Duality

    DEFF Research Database (Denmark)

    Aabrandt, Andreas; Hansen, Vagn Lundsgaard; Poulsen, Bjarne

    2014-01-01

    then be ranked according to how essential their positions are in the network by considering the effect of their respective absences. Defining a ranking of a network which takes the individual position of each entity into account has the purpose of assigning different roles to the entities, e.g. agents......, in the network. In this paper it is shown that the topology of a given network induces a ranking of the entities in the network. Further, it is demonstrated how to calculate this ranking and thus how to identify weak sub-networks in any given network....

  3. Formalizing the Relationship Between Commitment and Basic Cryptographic Primitives

    Directory of Open Access Journals (Sweden)

    S. Sree Vivek

    2016-11-01

    Full Text Available Signcryption is a cryptographic primitive which offers the functionality of both digital signature and encryption with lower combined computational cost. On the other hand, commitment scheme allows an entity to commit to a value, where the entity reveals the committed value later during a decommit phase. In this paper, we explore the connection between commitment schemes, public key encryption, digital signatures and signcryption. We establish formal relationship between commitment and the other primitives. Our main result is that we show signcryption can be used as a commitment scheme with appropriate security notions. We show that if the underlying signcryption scheme is IND-CCA2 secure, then the hiding property of the commitment scheme is satisfied. Similarly, we show that if the underlying signcryption scheme is unforgeable, then the relaxed biding property of the commitment scheme is satisfied. Moreover, we prove that if the underlying signcryption scheme is NM-CCA2, then the commitment scheme is non-malleable.

  4. Formal Test Automation: The Conference protocol with TGV/TorX

    NARCIS (Netherlands)

    Ural, Hasan; Du Bousquet, Lydie; Ramangalahy, Solofo; Probert, Robert L.; von Bochmann, Gregor; Simon, Severine; Viho, Cesar; Belinfante, Axel; de Vries, R.G.

    We present an experiment of automated formal conformance testing of the Conference Protocol Entity as reported in [2]. Our approach differs from other experiments, since it investigates the combination of the tools TGV for abstract test generation and TorX for test execution.

  5. Formal verification - Robust and efficient code: Introduction to Formal Verification

    CERN Multimedia

    CERN. Geneva

    2016-01-01

    In general, FV means "proving that certain properties hold for a given system using formal mathematics". This definition can certainly feel daunting, however, as we will learn, we can reap benefits from the paradigm without digging too deep into ...

  6. Academics respond

    DEFF Research Database (Denmark)

    Hazel, Spencer

    2015-01-01

    Contribution to the article "Academics respond: Brexit would weaken UK university research and funding", Guardian Witness, The Guardian, UK......Contribution to the article "Academics respond: Brexit would weaken UK university research and funding", Guardian Witness, The Guardian, UK...

  7. Scalable Techniques for Formal Verification

    CERN Document Server

    Ray, Sandip

    2010-01-01

    This book presents state-of-the-art approaches to formal verification techniques to seamlessly integrate different formal verification methods within a single logical foundation. It should benefit researchers and practitioners looking to get a broad overview of the spectrum of formal verification techniques, as well as approaches to combining such techniques within a single framework. Coverage includes a range of case studies showing how such combination is fruitful in developing a scalable verification methodology for industrial designs. This book outlines both theoretical and practical issue

  8. 47 CFR 22.229 - Designated entities.

    Science.gov (United States)

    2010-10-01

    ... entrepreneur is an entity that, together with its controlling interests and affiliates, has average annual... entrepreneur, as defined in this section, or a consortium of entrepreneurs may use the bidding credit specified...

  9. 47 CFR 101.538 - Designated entities.

    Science.gov (United States)

    2010-10-01

    ... entrepreneur is an entity that, together with its controlling interests and affiliates, has average gross... entrepreneur, as defined in this section, or a consortium of entrepreneurs may use the bidding credit specified...

  10. Academic writing

    Science.gov (United States)

    Eremina, Svetlana V.

    2003-10-01

    The series of workshops on academic writing have been developed by academic writing instructors from Language Teaching Centre, Central European University and presented at the Samara Academic Writing Workshops in November 2001. This paper presents only the part dealing with strucutre of an argumentative essay.

  11. Early Career Academic Staff Support: Evaluating Mentoring Networks

    Science.gov (United States)

    Thomas, J. Denard; Lunsford, Laura Gail; Rodrigues, Helena A.

    2015-01-01

    Which academics benefit from participation in formal mentoring programmes? This study examined the needs and mentoring networks of new academics with evaluative data from a pilot mentoring programme. Themes from these data point towards re-envisioning initiatives for academic staff development. First, an examination of the expansion of mentoring…

  12. El Salvador - Formal Technical Education

    Data.gov (United States)

    Millennium Challenge Corporation — With a budget of nearly $20 million, the Formal Technical Education Sub-Activity was designed to strengthen technical and vocational educational institutions in the...

  13. Concepts of formal concept analysis

    Science.gov (United States)

    Žáček, Martin; Homola, Dan; Miarka, Rostislav

    2017-07-01

    The aim of this article is apply of Formal Concept Analysis on concept of world. Formal concept analysis (FCA) as a methodology of data analysis, information management and knowledge representation has potential to be applied to a verity of linguistic problems. FCA is mathematical theory for concepts and concept hierarchies that reflects an understanding of concept. Formal concept analysis explicitly formalizes extension and intension of a concept, their mutual relationships. A distinguishing feature of FCA is an inherent integration of three components of conceptual processing of data and knowledge, namely, the discovery and reasoning with concepts in data, discovery and reasoning with dependencies in data, and visualization of data, concepts, and dependencies with folding/unfolding capabilities.

  14. Helicity formalism and spin effects

    International Nuclear Information System (INIS)

    Anselmino, M.; Caruso, F.; Piovano, U.

    1990-01-01

    The helicity formalism and the technique to compute amplitudes for interaction processes involving leptons, quarks, photons and gluons are reviewed. Explicit calculations and examples of exploitation of symmetry properties are shown. The formalism is then applied to the discussion of several hadronic processes and spin effects: the experimental data, when related to the properties of the elementary constituent interactions, show many not understood features. Also the nucleon spin problem is briefly reviewed. (author)

  15. Matching biomedical ontologies based on formal concept analysis.

    Science.gov (United States)

    Zhao, Mengyi; Zhang, Songmao; Li, Weizhuo; Chen, Guowei

    2018-03-19

    The goal of ontology matching is to identify correspondences between entities from different yet overlapping ontologies so as to facilitate semantic integration, reuse and interoperability. As a well developed mathematical model for analyzing individuals and structuring concepts, Formal Concept Analysis (FCA) has been applied to ontology matching (OM) tasks since the beginning of OM research, whereas ontological knowledge exploited in FCA-based methods is limited. This motivates the study in this paper, i.e., to empower FCA with as much as ontological knowledge as possible for identifying mappings across ontologies. We propose a method based on Formal Concept Analysis to identify and validate mappings across ontologies, including one-to-one mappings, complex mappings and correspondences between object properties. Our method, called FCA-Map, incrementally generates a total of five types of formal contexts and extracts mappings from the lattices derived. First, the token-based formal context describes how class names, labels and synonyms share lexical tokens, leading to lexical mappings (anchors) across ontologies. Second, the relation-based formal context describes how classes are in taxonomic, partonomic and disjoint relationships with the anchors, leading to positive and negative structural evidence for validating the lexical matching. Third, the positive relation-based context can be used to discover structural mappings. Afterwards, the property-based formal context describes how object properties are used in axioms to connect anchor classes across ontologies, leading to property mappings. Last, the restriction-based formal context describes co-occurrence of classes across ontologies in anonymous ancestors of anchors, from which extended structural mappings and complex mappings can be identified. Evaluation on the Anatomy, the Large Biomedical Ontologies, and the Disease and Phenotype track of the 2016 Ontology Alignment Evaluation Initiative campaign

  16. Introducing the Guard-Stage-Milestone Approach for Specifying Business Entity Lifecycles

    Science.gov (United States)

    Hull, Richard; Damaggio, Elio; Fournier, Fabiana; Gupta, Manmohan; Heath, Fenno (Terry); Hobson, Stacy; Linehan, Mark; Maradugu, Sridhar; Nigam, Anil; Sukaviriya, Piyawadee; Vaculin, Roman

    A promising approach to managing business operations is based on business entities with lifecycles (BEL's) (a.k.a. business artifacts), i.e., key conceptual entities that are central to guiding the operations of a business, and whose content changes as they move through those operations. A BEL type includes both an information model that captures, in either materialized or virtual form, all of the business-relevant data about entities of that type, and a lifecycle model, that specifies the possible ways an entity of that type might progress through the business by responding to events and invoking services, including human activities. Most previous work on BEL's has focused on the use of lifecycle models based on variants of finite state machines. This paper introduces the Guard-Stage-Milestone (GSM) meta-model for lifecycles, which is an evolution of the previous work on BEL's. GSM lifecycles are substantially more declarative than the finite state machine variants, and support hierarchy and parallelism within a single entity instance. The GSM operational semantics are based on a form of Event-Condition-Action (ECA) rules, and provide a basis for formal verification and reasoning. This paper provides an informal, preliminary introduction to the GSM approach, and briefly overviews selected research directions.

  17. Estimation of default probability for corporate entities in Republic of Serbia

    Directory of Open Access Journals (Sweden)

    Vujnović Miloš

    2016-01-01

    Full Text Available In this paper a quantitative PD model development has been excercised according to the Basel Capital Accord standards. The modeling dataset is based on the financial statements information from the Republic of Serbia. The goal of the paper is to develop a credit scoring model capable of producing PD estimate with high predictive power on the sample of corporate entities. The modeling is based on 5 years of end-of-year financial statements data of available Serbian corporate entities. Weight of evidence (WOE approach has been applied to quantitatively transform and prepare financial ratios. Correlation analysis has been utilized to reduce long list of variables and to remove highly interdependent variables from training and validation datasets. According to the best banking practice and academic literature, the final model is provided by using adjusted stepwise Logistic regression. The finally proposed model and its financial ratio constituents have been discussed and benchmarked against examples from relevant academic literature.

  18. Tagging Named Entities in Croatian Tweets

    Directory of Open Access Journals (Sweden)

    Krešimir Baksa

    2017-01-01

    Full Text Available Named entity extraction tools designed for recognizing named entities in texts written in standard language (e.g., news stories or legal texts have been shown to be inadequate for user-generated textual content (e.g., tweets, forum posts. In this work, we propose a supervised approach to named entity recognition and classification for Croatian tweets. We compare two sequence labelling models: a hidden Markov model (HMM and conditional random fields (CRF. Our experiments reveal that CRF is the best model for the task, achieving a very good performance of over 87% micro-averaged F1 score. We analyse the contributions of different feature groups and influence of the training set size on the performance of the CRF model.

  19. Public administration social responsibility of business entities

    Directory of Open Access Journals (Sweden)

    N. H. Shpankovskaya

    2016-03-01

    Full Text Available Social responsibility of a business entity is seen as an effective tool of public administration. The current stage of development of social responsibility in Ukraine requires state involvement, as its vision by business entities are different, and there is also a need to develop a national model of social responsibility on the basis of international standards, because Ukraine, on the one hand, has the national characteristics of implementation of social initiatives and, on the other, the conditions and resources for their implementation is different from developed market economies. The visions of on social responsibility in the scientific literature are also different. This was the basis for the determination of her essence. We analyzed the interpretations of social responsibility and identified their advantages and disadvantages. Formulation of social responsibility, which is submitted in article, actualizes ecological orientation of the business entity taking into account the need for responsible behavior, and responsibility for actions, which violate the norms of society.

  20. Formal Women-only Networks

    DEFF Research Database (Denmark)

    Villesèche, Florence; Josserand, Emmanuel

    2017-01-01

    /organisations and the wider social group of women in business. Research limitations/implications: The authors focus on the distinction between external and internal formal women-only networks while also acknowledging the broader diversity that can characterise such networks. Their review provides the reader with an insight...... member level, the authors suggest that such networks can be of value for organisations and the wider social group of women in management and leadership positions.......Purpose: The purpose of this paper is to review the emerging literature on formal women-only business networks and outline propositions to develop this under-theorised area of knowledge and stimulate future research. Design/methodology/approach: The authors review the existing literature on formal...

  1. Informal work and formal plans

    DEFF Research Database (Denmark)

    Dalsted, Rikke Juul; Hølge-Hazelton, Bibi; Kousgaard, Marius Brostrøm

    2012-01-01

    INTRODUCTION: Formal pathways models outline that patients should receive information in order to experience a coherent journey but do not describe an active role for patients or their relatives. The aim of this is paper is to articulate and discuss the active role of patients during their cancer...... trajectories. METHODS AND THEORY: An in-depth case study of patient trajectories at a Danish hospital and surrounding municipality using individual interviews with patients. Theory about trajectory and work by Strauss was included. RESULTS: Patients continuously took initiatives to organize their treatment....... The patients' requests were not sufficiently supported in the professional organisation of work or formal planning. Patients' insertion and use of information in their trajectories challenged professional views and working processes. And the design of the formal pathway models limits the patients' active...

  2. The role of formal specifications

    International Nuclear Information System (INIS)

    McHugh, J.

    1994-01-01

    The role of formal requirements specification is discussed under the premise that the primary purpose of such specifications is to facilitate clear and unambiguous communications among the communities of interest for a given project. An example is presented in which the failure to reach such an understanding resulted in an accident at a chemical plant. Following the example, specification languages based on logical formalisms and notations are considered. These are rejected as failing to serve the communications needs of diverse communities. The notion of a specification as a surrogate for a program is also considered and rejected. The paper ends with a discussion of the type of formal notation that will serve the communications role and several encouraging developments are noted

  3. Formal connections in deformation quantization

    DEFF Research Database (Denmark)

    Masulli, Paolo

    The field of this thesis is deformation quantization, and we consider mainly symplectic manifolds equipped with a star product. After reviewing basics in complex geometry, we introduce quantization, focusing on geometric quantization and deformation quantization. The latter is defined as a star...... characteristic class, and that formal connections form an affine space over the derivations of the star products. Moreover, if the parameter space for the family of star products is contractible, we obtain that any two flat formal connections are gauge equivalent via a self-equivalence of the family of star...

  4. Xanthogranulomatous Prostatitis, a Rare Prostatic Entity

    Directory of Open Access Journals (Sweden)

    Alejandro Noyola

    2017-01-01

    Full Text Available There are several benign prostatic pathologies that can clinically mimic a prostate adenocarcinoma. Xanthogranulomatous prostatitis is a benign inflammatory condition of the prostate and a rare entity. A 47-year old male, with 3 years of lower urinary tract symptoms, with a palpable hypogastric tumor, digital rectal examination: solid prostate, of approximately 60 g. Initial PSA was 0.90 ng/mL. He underwent surgical excision of the lower abdominal nodule and prostatectomy. Histopathology showed xanthogranulomatous prostatitis, without malignancy. Xanthogranulomatous prostatitis is an extremely rare entity that can simulate prostate adenocarcinoma, therefore having a correct histopathological diagnosis is essential.

  5. Cross domains Arabic named entity recognition system

    Science.gov (United States)

    Al-Ahmari, S. Saad; Abdullatif Al-Johar, B.

    2016-07-01

    Named Entity Recognition (NER) plays an important role in many Natural Language Processing (NLP) applications such as; Information Extraction (IE), Question Answering (QA), Text Clustering, Text Summarization and Word Sense Disambiguation. This paper presents the development and implementation of domain independent system to recognize three types of Arabic named entities. The system works based on a set of domain independent grammar-rules along with Arabic part of speech tagger in addition to gazetteers and lists of trigger words. The experimental results shown, that the system performed as good as other systems with better results in some cases of cross-domains corpora.

  6. 17 CFR Appendix A to Part 420 - Separate Reporting Entity

    Science.gov (United States)

    2010-04-01

    ... 17 Commodity and Securities Exchanges 3 2010-04-01 2010-04-01 false Separate Reporting Entity A... Part 420—Separate Reporting Entity Subject to the following conditions, one or more aggregating entity(ies) (e.g., parent, subsidiary, or organizational component) in a reporting entity, either separately...

  7. 26 CFR 301.7701-2 - Business entities; definitions.

    Science.gov (United States)

    2010-04-01

    ... 26 Internal Revenue 18 2010-04-01 2010-04-01 false Business entities; definitions. 301.7701-2...) PROCEDURE AND ADMINISTRATION PROCEDURE AND ADMINISTRATION Definitions § 301.7701-2 Business entities; definitions. (a) Business entities. For purposes of this section and § 301.7701-3, a business entity is any...

  8. Formal systems for persuasion dialogue

    NARCIS (Netherlands)

    Prakken, Henry

    This article reviews formal systems that regulate persuasion dialogues. In such dialogues two or more participants aim to resolve a difference of opinion, each trying to persuade the other participants to adopt their point of view. Systems for persuasion dialogue have found application in various

  9. Charging transient in polyvinyl formal

    Indian Academy of Sciences (India)

    Unknown

    401–406. © Indian Academy of Sciences. 401. Charging transient in polyvinyl formal. P K KHARE*, P L JAIN† and R K PANDEY‡. Department of Postgraduate Studies & Research in Physics & Electronics, Rani Durgavati University,. Jabalpur 482 001, India. †Department of Physics, Government PG College, Damoh 470 ...

  10. A formalization of computational trust

    NARCIS (Netherlands)

    Güven - Ozcelebi, C.; Holenderski, M.J.; Ozcelebi, T.; Lukkien, J.J.

    2018-01-01

    Computational trust aims to quantify trust and is studied by many disciplines including computer science, social sciences and business science. We propose a formal computational trust model, including its parameters and operations on these parameters, as well as a step by step guide to compute trust

  11. Formal monkey linguistics : The debate

    NARCIS (Netherlands)

    Schlenker, Philippe; Chemla, Emmanuel; Schel, Anne M.|info:eu-repo/dai/nl/413333450; Fuller, James; Gautier, Jean Pierre; Kuhn, Jeremy; Veselinović, Dunja; Arnold, Kate; Cäsar, Cristiane; Keenan, Sumir; Lemasson, Alban; Ouattara, Karim; Ryder, Robin; Zuberbühler, Klaus

    2016-01-01

    We explain why general techniques from formal linguistics can and should be applied to the analysis of monkey communication - in the areas of syntax and especially semantics. An informed look at our recent proposals shows that such techniques needn't rely excessively on categories of human language:

  12. Rotor and wind turbine formalism

    DEFF Research Database (Denmark)

    Branlard, Emmanuel Simon Pierre

    2017-01-01

    The main conventions used in this book for the study of rotors are introduced in this chapter. The main assumptions and notations are provided. The formalism specific to wind turbines is presented. The forces, moments, velocities and dimensionless coefficients used in the study of rotors...

  13. Automatic Testing with Formal Methods

    NARCIS (Netherlands)

    Tretmans, G.J.; Belinfante, Axel

    1999-01-01

    The use of formal system specifications makes it possible to automate the derivation of test cases from specifications. This allows to automate the whole testing process, not only the test execution part of it. This paper presents the state of the art and future perspectives in testing based on

  14. Formal Methods: Practice and Experience

    DEFF Research Database (Denmark)

    Woodcock, Jim; Larsen, Peter Gorm; Bicarregui, Juan

    2009-01-01

    . Based on this, we discuss the issues surrounding the industrial adoption of formal methods. Finally, we look to the future and describe the development of a Verified Software Repository, part of the worldwide Verified Software Initiative. We introduce the initial projects being used to populate...... the repository, and describe the challenges they address. © 2009 ACM. (146 refs.)...

  15. Academic dishonsty

    African Journals Online (AJOL)

    User

    This study attempted to investigate students' self reported academic dishonesty in Ethiopian ... university programs can play a key role in ... serious problem in establishing academic ... and Rocha 2006); Asian-Pacific, ... and self-adjustment mediates the ..... In my suggestion, it is better that ..... Comparative and International.

  16. 77 FR 56571 - Unincorporated Business Entities

    Science.gov (United States)

    2012-09-13

    ... under State law for certain business activities. For purposes of this proposed rule, a UBE includes... unincorporated business trusts, organized under State law. This rule does not apply to UBEs that one or more... System institutions to organize entities under State law to engage in business activity. However...

  17. Xanthogranulomatous endometritis: an unusual pathological entity ...

    African Journals Online (AJOL)

    Xanthogranulomatous endometritis is an unusual pathological entity mimicking endometrial carcinoma. This shows sheets of foamy histiocytes alongwith other inflammatory cells. We, hereby, report a case of 45 year multigravida female with irregular menstrual history, clinically diagnosed as carcinoma and ...

  18. 31 CFR 594.303 - Entity.

    Science.gov (United States)

    2010-07-01

    ... 31 Money and Finance: Treasury 3 2010-07-01 2010-07-01 false Entity. 594.303 Section 594.303 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued) OFFICE OF FOREIGN ASSETS CONTROL, DEPARTMENT OF THE TREASURY GLOBAL TERRORISM SANCTIONS REGULATIONS General Definitions § 594.303...

  19. 18 CFR 46.5 - Covered entities.

    Science.gov (United States)

    2010-04-01

    ... in § 46.4(b) applies are the following: (a) Any investment bank, bank holding company, foreign bank... organization primarily engaged in the business of providing financial services or credit, a mutual savings bank... participate in the marketing of securities of a public utility; (c) Any entity which produces or supplies...

  20. 47 CFR 27.702 - Designated entities.

    Science.gov (United States)

    2010-10-01

    ...) Eligibility for small business provisions. (1) An entrepreneur is an entity that, together with its... three years. This definition applies only with respect to licenses in Block C (710-716 MHz and 740-746... credits. A winning bidder that qualifies as an entrepreneur, as defined in this section, or a consortium...

  1. A Baseline Method for Genealogical Entity Resolution

    NARCIS (Netherlands)

    Efremova, J.; Ranjbar-Sahraei, B.; Oliehoek, F.A.; Calders, T.; Tuyls, K.

    2014-01-01

    In this paper we study the application of entity resolution (ER) techniques on a real-world multi-source genealogical dataset. Our goal is to identify all persons involved in various notary acts and link them to their birth, marriage and death certificates. In order to evaluate the performance of a

  2. 31 CFR 800.212 - Foreign entity.

    Science.gov (United States)

    2010-07-01

    ... 31 Money and Finance: Treasury 3 2010-07-01 2010-07-01 false Foreign entity. 800.212 Section 800.212 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued) OFFICE OF... business is outside the United States or its equity securities are primarily traded on one or more foreign...

  3. 31 CFR 598.303 - Entity.

    Science.gov (United States)

    2010-07-01

    ... 31 Money and Finance: Treasury 3 2010-07-01 2010-07-01 false Entity. 598.303 Section 598.303 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued) OFFICE OF FOREIGN ASSETS..., organization, network, group, or subgroup, or any form of business collaboration. ...

  4. Entity Authentication:Analysis using Structured Intuition

    DEFF Research Database (Denmark)

    Ahmed, Naveed; Jensen, Christian D.

    2010-01-01

    In this paper, we propose a new method for the analysis that uses intuition of the analyst in a structured way. First we define entity authentication in terms of fine level authentication goals (FLAGs). Then we use some relevant structures in protocol narrations and use them to justify FLAGs...

  5. Are male reproductive disorders a common entity?

    DEFF Research Database (Denmark)

    Boisen, K A; Main, K M; Rajpert-De Meyts, E

    2001-01-01

    of one common entity, a testicular dysgenesis syndrome (TDS). Experimental and epidemiological studies suggest that TDS is a result of disruption of embryonal programming and gonadal development during fetal life. The recent rise in the prevalence of TDS may be causally linked to endocrine disrupters...

  6. 26 S proteasomes function as stable entities

    DEFF Research Database (Denmark)

    Hendil, Klavs B; Hartmann-Petersen, Rasmus; Tanaka, Keiji

    2002-01-01

    , shuttles between a free state and the 26-S proteasome, bringing substrate to the complex. However, S5a was not found in the free state in HeLa cells. Besides, all subunits in PA700, including S5a, exchanged at similar low rates. It therefore seems that 26-S proteasomes function as stable entities during...

  7. Critical formalism or digital biomorphology. The contemporary architecture formal dilema

    Directory of Open Access Journals (Sweden)

    Beatriz Villanueva Cajide

    2018-05-01

    Full Text Available With the dawn of digital media the architecture’s formal possibilities reached a level unknown before. The Guggenheim Museo branch in Bilbao appears in 1993 as the materialisation of the possibilities of the use of digital tools in architecture’s design, starting the development of a digital based architecture which currently has reached an exhaustion level that is evident in the repetition biomorphologic shapes emerged from the digital determinism to which some contemporary architectural practices have converged. While the digitalisation of the architectural process is irreversible and desirable, it is necessary to rethink the terms of this collaboration beyond the possibilities of the digital tools themselves. This article proposes to analyse seven texts written in the very moment when digitalisation became a real possibility, between Gehry’s conception of the Guggenheim Museum in 1992 and the Congress on Morphogenesis hold in the Architectural Association in 2004, in order to explore the possibility of reversing the process that has led to the formal exhaustion of digital architecture, from the acceptance of incorporating strategies coming from a contemporary critical formalism.

  8. Formal Institutions and Subjective Wellbeing

    DEFF Research Database (Denmark)

    Bjørnskov, Christian; Dreher, Axel; Fischer, Justina A.V.

    2010-01-01

    A long tradition in economics explores the association between the quality of formal institutions and economic performance. The literature on the relationship between such institutions and happiness is, however, rather limited, and inconclusive. In this paper, we revisit the findings from recent...... cross-country studies on the institution-happiness association. Our findings suggest that their conclusions are qualitatively rather insensitive to the specific measure of 'happiness' used, while the associations between formal institutions and subjective well-being differ among poor and rich countries....... Separating different types of institutional quality, we find that in low-income countries the effects of economic-judicial institutions on happiness dominate those of political institutions, while analyses restricted to middle- and high-income countries show strong support for an additional beneficial effect...

  9. Contextual approach to quantum formalism

    CERN Document Server

    Khrennikov, Andrei

    2009-01-01

    The aim of this book is to show that the probabilistic formalisms of classical statistical mechanics and quantum mechanics can be unified on the basis of a general contextual probabilistic model. By taking into account the dependence of (classical) probabilities on contexts (i.e. complexes of physical conditions), one can reproduce all distinct features of quantum probabilities such as the interference of probabilities and the violation of Bell’s inequality. Moreover, by starting with a formula for the interference of probabilities (which generalizes the well known classical formula of total probability), one can construct the representation of contextual probabilities by complex probability amplitudes or, in the abstract formalism, by normalized vectors of the complex Hilbert space or its hyperbolic generalization. Thus the Hilbert space representation of probabilities can be naturally derived from classical probabilistic assumptions. An important chapter of the book critically reviews known no-go theorems...

  10. Informal work and formal plans

    DEFF Research Database (Denmark)

    Dalsted, Rikke Juul; Hølge-Hazelton, Bibi; Kousgaard, Marius Brostrøm

    2012-01-01

    trajectories. METHODS AND THEORY: An in-depth case study of patient trajectories at a Danish hospital and surrounding municipality using individual interviews with patients. Theory about trajectory and work by Strauss was included. RESULTS: Patients continuously took initiatives to organize their treatment...... and care. They initiated processes in the trajectories, and acquired information, which they used to form their trajectories. Patients presented problems to the healthcare professionals in order to get proper help when needed. DISCUSSION: Work done by patients was invisible and not perceived as work....... The patients' requests were not sufficiently supported in the professional organisation of work or formal planning. Patients' insertion and use of information in their trajectories challenged professional views and working processes. And the design of the formal pathway models limits the patients' active...

  11. Polynomials formalism of quantum numbers

    International Nuclear Information System (INIS)

    Kazakov, K.V.

    2005-01-01

    Theoretical aspects of the recently suggested perturbation formalism based on the method of quantum number polynomials are considered in the context of the general anharmonicity problem. Using a biatomic molecule by way of example, it is demonstrated how the theory can be extrapolated to the case of vibrational-rotational interactions. As a result, an exact expression for the first coefficient of the Herman-Wallis factor is derived. In addition, the basic notions of the formalism are phenomenologically generalized and expanded to the problem of spin interaction. The concept of magneto-optical anharmonicity is introduced. As a consequence, an exact analogy is drawn with the well-known electro-optical theory of molecules, and a nonlinear dependence of the magnetic dipole moment of the system on the spin and wave variables is established [ru

  12. Methodology of formal software evaluation

    International Nuclear Information System (INIS)

    Tuszynski, J.

    1998-01-01

    Sydkraft AB, the major Swedish utility, owner of ca 6000 MW el installed in nuclear (NPP Barsebaeck and NPP Oskarshamn), fossil fuel and hydro Power Plants is facing modernization of the control systems of the plants. Standards applicable require structured, formal methods for implementation of the control functions in the modem, real time software systems. This presentation introduces implementation methodology as discussed presently at the Sydkraft organisation. The approach suggested is based upon the process of co-operation of three parties taking part in the implementation; owner of the plant, vendor and Quality Assurance (QA) organisation. QA will be based on tools for formal software validation and on systematic gathering by the owner of validated and proved-by-operation control modules for the concern-wide utilisation. (author)

  13. Stroh formalism and Rayleigh waves

    CERN Document Server

    Tanuma, Kazumi

    2008-01-01

    Introduces a powerful and elegant mathematical method for the analysis of anisotropic elasticity equationsThe reader can grasp the essentials as quickly as possibleCan be used as a textbook, which presents compactly introduction and applications of the Stroh formalismAppeals to the people not only in mathematics but also in mechanics and engineering sciencePrerequisites are only basic linear algebra, calculus and fundamentals of differential equations

  14. Variational formalism for spin particles

    International Nuclear Information System (INIS)

    Horvathy, P.

    1977-11-01

    The geometrical formulation of Hamilton's principle presented in a previous paper has been related to the usual one in terms of Lagrangian functions. The exact conditions for their equivalence are obtained and a method is given for the construction of a Lagrangian function. The formalism is extended to spin particles and a local Lagrangian is constructed in this case, too. However, this function cannot be extended to a global one. (D.P.)

  15. Review of the helicity formalism

    International Nuclear Information System (INIS)

    Barreiro, F.; Cerrada, M.; Fernandez, E.

    1972-01-01

    Our purpose in these notes has been to present a brief and general review of the helicity formalism. We begin by discussing Lorentz invariance, spin and helicity ideas, in section 1 . In section 2 we deal with the construction of relativistic states and scattering amplitudes in the helicity basis and we study their transformation properties under discrete symmetries. Finally we present some more sophisticated topics like kinematical singularities of helicity amplitudes, kinematical constraints and crossing relations 3, 4, 5 respectively. (Author) 8 refs

  16. Ashtekar formalism with real variables

    International Nuclear Information System (INIS)

    Kalau, W.; Nationaal Inst. voor Kernfysica en Hoge-Energiefysica

    1990-12-01

    A new approach to canonical gravity is presented which is based on the Ashtekar formalism. But, in contrast to Ashtekar's variables, this formulation does not need complex quantities nor does it lead to second class constraints. This is achieved using SO(3,1) as a gauge group instead of complexified SO(3). Because of the larger group additional first class constraints are needed which turn out to be cubic and quartic in the momenta. (author). 13 refs

  17. Effectiveness of a formal post-baccalaureate pre-medicine program for underrepresented minority students.

    Science.gov (United States)

    Giordani, B; Edwards, A S; Segal, S S; Gillum, L H; Lindsay, A; Johnson, N

    2001-08-01

    To address the effectiveness of a formal postbaccalaureate (PB) experience for underrepresented minority (URM) students before medical school. The program provided an intense year-long experience of course work, research, and personal development. There were 516 participants from one medical school: 15 URM medical students had completed the formal PB program, 58 students had done independent PB work before matriculation, and 443 students were traditional matriculants. Cognitive and academic indicators [college science and non-science grade-point averages (GPAs); biology, physics, and verbal MCAT scores; and percentage scores from first-year medical school courses] were compared for the three groups. Both groups of students with PB experience demonstrated competency in the first year of medical school consistent with traditional students even though the students who had completed the formal PB program had lower MCAT scores and lower college GPAs than did the traditional students. Traditional predictors of academic performance during the first year of medical school did not significantly contribute to actual academic performances of students from the formal PB program. The results support the use of a formal PB program to provide academic readiness and support for URM students prior to medical school. Such a program may also improve retention. Noncognitive variables, however, may be important to understanding the success of such students in medical school.

  18. academic libraries

    African Journals Online (AJOL)

    Information Impact: Journal of Information and Knowledge Management

    Information Impact: Journal of Information and Knowledge Management ... Key words: academic libraries, open access, research, researchers, technology ... European commission (2012) reports that affordable and easy access to the results ...

  19. Academic Publications

    OpenAIRE

    Francisco H C Felix

    2017-01-01

    Alternative modes of academic publication. What it is: Page for the dissemination of academic papers in alternative formats. Aimed at the diffusion of the idea of open publication, or open access publication, a branch of open science, a multidisciplinary movement that seeks to modify the paradigm of knowledge production that centralizes it and prevents its spreading. Historically, Western tradition has become firmly rooted in the free dissemination of knowledge among peers. However, the c...

  20. Regulations in establishing and developing urban entities

    Directory of Open Access Journals (Sweden)

    Ljubić Slavoljub C.

    2009-01-01

    Full Text Available The main topic of this work is to represent relatively new method of analyzing, planning and developing various projects in different architectural fields. The concept 'pattern' symbolizes a new view on objects and items that are already exist around us or those that will be created in the future. By explaining this concept, this work focus on describing 'pattern' as a new system or 'pattern language' that identifies foundation and development of unplanned cities. Every town or urban entity symbolizes 'pattern', but it is made from various 'patterns' as well. There are certain rules i.e. patterns that particular urban entities follow in order to establish themselves and 'pattern language' has been developed on that basis. The main purpose of this work is to emphasize this phenomenon and reveal the significance that 'patterns' have in urbanism development. Their understanding is of great importance so they can be implemented not only in theoretical but also in practical examination and analysis.

  1. Generic Entity Resolution in Relational Databases

    Science.gov (United States)

    Sidló, Csaba István

    Entity Resolution (ER) covers the problem of identifying distinct representations of real-world entities in heterogeneous databases. We consider the generic formulation of ER problems (GER) with exact outcome. In practice, input data usually resides in relational databases and can grow to huge volumes. Yet, typical solutions described in the literature employ standalone memory resident algorithms. In this paper we utilize facilities of standard, unmodified relational database management systems (RDBMS) to enhance the efficiency of GER algorithms. We study and revise the problem formulation, and propose practical and efficient algorithms optimized for RDBMS external memory processing. We outline a real-world scenario and demonstrate the advantage of algorithms by performing experiments on insurance customer data.

  2. Learning plan applicability through active mental entities

    International Nuclear Information System (INIS)

    Baroni, Pietro; Fogli, Daniela; Guida, Giovanni

    1999-01-01

    This paper aims at laying down the foundations of a new approach to learning in autonomous mobile robots. It is based on the assumption that robots can be provided with built-in action plans and with mechanisms to modify and improve such plans. This requires that robots are equipped with some form of high-level reasoning capabilities. Therefore, the proposed learning technique is embedded in a novel distributed control architecture featuring an explicit model of robot's cognitive activity. In particular, cognitive activity is obtained by the interaction of active mental entities, such as intentions, persuasions and expectations. Learning capabilities are implemented starting from the interaction of such mental entities. The proposal is illustrated through an example concerning a robot in charge of reaching a target in an unknown environment cluttered with obstacles

  3. Cross domains Arabic named entity recognition system

    KAUST Repository

    Al-Ahmari, S. Saad

    2016-07-11

    Named Entity Recognition (NER) plays an important role in many Natural Language Processing (NLP) applications such as; Information Extraction (IE), Question Answering (QA), Text Clustering, Text Summarization and Word Sense Disambiguation. This paper presents the development and implementation of domain independent system to recognize three types of Arabic named entities. The system works based on a set of domain independent grammar-rules along with Arabic part of speech tagger in addition to gazetteers and lists of trigger words. The experimental results shown, that the system performed as good as other systems with better results in some cases of cross-domains corpora. © (2016) COPYRIGHT Society of Photo-Optical Instrumentation Engineers (SPIE). Downloading of the abstract is permitted for personal use only.

  4. Cross domains Arabic named entity recognition system

    KAUST Repository

    Al-Ahmari, S. Saad; Abdullatif Al-Johar, B.

    2016-01-01

    Named Entity Recognition (NER) plays an important role in many Natural Language Processing (NLP) applications such as; Information Extraction (IE), Question Answering (QA), Text Clustering, Text Summarization and Word Sense Disambiguation. This paper presents the development and implementation of domain independent system to recognize three types of Arabic named entities. The system works based on a set of domain independent grammar-rules along with Arabic part of speech tagger in addition to gazetteers and lists of trigger words. The experimental results shown, that the system performed as good as other systems with better results in some cases of cross-domains corpora. © (2016) COPYRIGHT Society of Photo-Optical Instrumentation Engineers (SPIE). Downloading of the abstract is permitted for personal use only.

  5. Physical properties of biological entities: an introduction to the ontology of physics for biology.

    Directory of Open Access Journals (Sweden)

    Daniel L Cook

    Full Text Available As biomedical investigators strive to integrate data and analyses across spatiotemporal scales and biomedical domains, they have recognized the benefits of formalizing languages and terminologies via computational ontologies. Although ontologies for biological entities-molecules, cells, organs-are well-established, there are no principled ontologies of physical properties-energies, volumes, flow rates-of those entities. In this paper, we introduce the Ontology of Physics for Biology (OPB, a reference ontology of classical physics designed for annotating biophysical content of growing repositories of biomedical datasets and analytical models. The OPB's semantic framework, traceable to James Clerk Maxwell, encompasses modern theories of system dynamics and thermodynamics, and is implemented as a computational ontology that references available upper ontologies. In this paper we focus on the OPB classes that are designed for annotating physical properties encoded in biomedical datasets and computational models, and we discuss how the OPB framework will facilitate biomedical knowledge integration.

  6. Physical properties of biological entities: an introduction to the ontology of physics for biology.

    Science.gov (United States)

    Cook, Daniel L; Bookstein, Fred L; Gennari, John H

    2011-01-01

    As biomedical investigators strive to integrate data and analyses across spatiotemporal scales and biomedical domains, they have recognized the benefits of formalizing languages and terminologies via computational ontologies. Although ontologies for biological entities-molecules, cells, organs-are well-established, there are no principled ontologies of physical properties-energies, volumes, flow rates-of those entities. In this paper, we introduce the Ontology of Physics for Biology (OPB), a reference ontology of classical physics designed for annotating biophysical content of growing repositories of biomedical datasets and analytical models. The OPB's semantic framework, traceable to James Clerk Maxwell, encompasses modern theories of system dynamics and thermodynamics, and is implemented as a computational ontology that references available upper ontologies. In this paper we focus on the OPB classes that are designed for annotating physical properties encoded in biomedical datasets and computational models, and we discuss how the OPB framework will facilitate biomedical knowledge integration. © 2011 Cook et al.

  7. Academic Marketing

    Directory of Open Access Journals (Sweden)

    Ecaterina Daniela ZECA

    2017-06-01

    Full Text Available Academic Marketing is an investment in a future dominated by The Forth Industrial Revolution and Globalization and not an expense. This aspect will basically alter our way to teach and to learn. In its dimensions, arguably changes will be like anything we has seen before. We try to assess how will be all unfold but, anyway, academic field response at this challenge should be integrated and comprehensive, involving all stakeholders both public and private sectors, because these changes herald upheaval of whole organizations. The educational service is a special one, delivered today but with effects in the future, the future of the individual, the future of generation, the future of nations. The educational service policy adapted to the requirements of time, brings to the front the opportunity of academic marketing. To analyze demand in a professional way, to measure trends and correlated university programs with the forecast demand for jobs, it is the subject. In the case of academic education, we are talking also about cost, distribution and promotion policies, but being a special service we also discuss about ethic boundaries. This work is an open chapter focusing studies on academic megamarketing, the work keeping up with the pace of change, students enrolment mobility, overtakes job market, and an imposed win-win-win formula, applied for students, local community and academic field.

  8. Hybrid Odontogenic Lesion: A Rare Entity

    Directory of Open Access Journals (Sweden)

    Reza Imani

    2017-03-01

    Full Text Available Hybrid tumors are very rare tumors composed of two different tumor entities, each of which conforms to an exactly defined tumor category. A 14-year-old boy was referred for an intraosseous painless lesion with a histopathological feature of multiple odontogenic lesions including calcifying odontogenic cyst, complex odontoma and ameloblastic fibro-odontoma. The final diagnosis considered to be a hybrid odontogenic lesion.

  9. Is Alzheimer's disease a homogeneous disease entity?

    Science.gov (United States)

    Korczyn, Amos D

    2013-10-01

    The epidemic proportions of dementia in old age are a cause of great concern for the medical profession and the society at large. It is customary to consider Alzheimer's disease (AD) as the most common cause of dementia, and vascular dementia (VaD) as being the second. This dichotomous view of a primary neurodegenerative disease as opposed to a disorder where extrinsic factors cause brain damage led to separate lines of research in these two entities. New biomarkers, particularly the introduction of modern neuroimaging and cerebrospinal fluid changes, have, in recent years, helped to identify anatomical and chemical changes of VaD and of AD. Nevertheless, there is a substantial difference between the two entities. While it is clear that VaD is a heterogeneous entity, AD is supposed to be a single disorder. Nobody attempts to use CADASIL as a template to develops treatment for sporadic VaD. On the other hand, early-onset AD is used to develop therapy for sporadic AD. This paper will discuss the problems relating to this false concept and its consequences.

  10. Chemical Entity Recognition and Resolution to ChEBI

    Science.gov (United States)

    Grego, Tiago; Pesquita, Catia; Bastos, Hugo P.; Couto, Francisco M.

    2012-01-01

    Chemical entities are ubiquitous through the biomedical literature and the development of text-mining systems that can efficiently identify those entities are required. Due to the lack of available corpora and data resources, the community has focused its efforts in the development of gene and protein named entity recognition systems, but with the release of ChEBI and the availability of an annotated corpus, this task can be addressed. We developed a machine-learning-based method for chemical entity recognition and a lexical-similarity-based method for chemical entity resolution and compared them with Whatizit, a popular-dictionary-based method. Our methods outperformed the dictionary-based method in all tasks, yielding an improvement in F-measure of 20% for the entity recognition task, 2–5% for the entity-resolution task, and 15% for combined entity recognition and resolution tasks. PMID:25937941

  11. Formal Verification of Continuous Systems

    DEFF Research Database (Denmark)

    Sloth, Christoffer

    2012-01-01

    and the verification procedures should be algorithmically synthesizable. Autonomous control plays an important role in many safety-critical systems. This implies that a malfunction in the control system can have catastrophic consequences, e.g., in space applications where a design flaw can result in large economic...... losses. Furthermore, a malfunction in the control system of a surgical robot may cause death of patients. The previous examples involve complex systems that are required to operate according to complex specifications. The systems cannot be formally verified by modern verification techniques, due...

  12. Measuring the effect of formalization

    International Nuclear Information System (INIS)

    Stoelen, K.; Mohn, P.

    1998-01-01

    We present an ongoing research activity concerned with measuring the effect of an increased level of formalization in software development. We summarize the experiences from a first experimental development. Based on these experiences, we discuss a number of technical issues; in particular, problems connected to metrics based on fault reports. First of all, what is a fault? Secondly, how should the fault counting be integrated in the development process? Thirdly, any reasonable definition of fault depends on a notion of satisfaction. Hence, we must address the question: What does it mean for a specification or an implementation to satisfy a requirement imposed by a more high-level specification? (author)

  13. Formalization in Component Based Development

    DEFF Research Database (Denmark)

    Holmegaard, Jens Peter; Knudsen, John; Makowski, Piotr

    2006-01-01

    We present a unifying conceptual framework for components, component interfaces, contracts and composition of components by focusing on the collection of properties or qualities that they must share. A specific property, such as signature, functionality behaviour or timing is an aspect. Each aspect...... may be specified in a formal language convenient for its purpose and, in principle, unrelated to languages for other aspects. Each aspect forms its own semantic domain, although a semantic domain may be parameterized by values derived from other aspects. The proposed conceptual framework is introduced...

  14. Asymmetric Formal Synthesis of Azadirachtin.

    Science.gov (United States)

    Mori, Naoki; Kitahara, Takeshi; Mori, Kenji; Watanabe, Hidenori

    2015-12-01

    An asymmetric formal synthesis of azadirachtin, a potent insect antifeedant, was accomplished in 30 steps to Ley's synthetic intermediate (longest linear sequence). The synthesis features: 1) rapid access to the optically active right-hand segment starting from the known 5-hydroxymethyl-2-cyclopentenone scaffold; 2) construction of the B and E rings by a key intramolecular tandem radical cyclization; 3) formation of the hemiacetal moiety in the C ring through the α-oxidation of the six-membered lactone followed by methanolysis. © 2015 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.

  15. The formal de Rham complex

    Science.gov (United States)

    Zharinov, V. V.

    2013-02-01

    We propose a formal construction generalizing the classic de Rham complex to a wide class of models in mathematical physics and analysis. The presentation is divided into a sequence of definitions and elementary, easily verified statements; proofs are therefore given only in the key case. Linear operations are everywhere performed over a fixed number field {F} = {R},{C}. All linear spaces, algebras, and modules, although not stipulated explicitly, are by definition or by construction endowed with natural locally convex topologies, and their morphisms are continuous.

  16. Formal strategic planning: the Malaysian Chinese business perspective

    OpenAIRE

    Ho, Shelen

    2017-01-01

    Let us begin with a quote from Through the Looking-Glass by Lewis Carroll (1872):\\ud \\ud Alice: “Which way should I go?”\\ud Cat: “That depends on where you are going.”\\ud Alice: “I don’t know where I’m going!”\\ud Cat: “Then it doesn’t matter which way you go!”\\ud \\ud Findings from various academic reports and teachings by renowned management gurus have advocated formal strategic planning as crucial for any organizations’ success. However, is that management in practice when it comes to real o...

  17. Conception of Repairable Dynamic Fault Trees and resolution by the use of RAATSS, a Matlab® toolbox based on the ATS formalism

    International Nuclear Information System (INIS)

    Manno, G.; Chiacchio, F.; Compagno, L.; D'Urso, D.; Trapani, N.

    2014-01-01

    Dynamic Fault Tree (DFT) is a well-known stochastic technique for conducting reliability studies of complex systems. At the state of the art, existing tools (both academic and commercial) do not fully support DFT with repairable components and repeated events, lowering the penetration of this powerful technique in real industrial applications (e.g., industrial processes and plants, computer, electronic and network applications). One of the main reasons limiting the attractiveness of DFT is that, originally, DFTs were conceived without repairable components; only recently few related works have started to deal with a formal semantic, which would avoid undefined behavior and misinterpretation of DFT. Other researchers have tackled the problem by introducing extensions of the original Fault Trees (FTs) technique like Boolean Driven Markov Processes (BDMPs) and Generalized Fault Trees (GFTs). However, despite they consider repairable systems and repeated events, we have found that the introduction of a different formalism with more complex features has again limited the penetration of these powerful methods in real applications. The target of this work is the original DFT technique. Starting from the state of the art, a set of standardized rules that frame the behaviors of dynamic gates are designed and a well-defined semantic for repairable-DFT is drawn through the application of a novel formalism, the Adaptive Transitions System (ATS). The proposed theoretical framework is afterward used to code a software tool, RAATSS, for the resolution of extended, repairable-DFT. Moreover, this work introduces some novel concepts regarding the modeling of a system by a DFT and provides a basic hint of the ATS capabilities to describe interdependencies in complex system. - Highlights: • A semantic for Repairable Dynamic Fault Tree (RDFT) was conceived. • Practical motivation for the use of RDFT is presented. • The conception of failure gates for the computation of the

  18. Liberal Entity Extraction: Rapid Construction of Fine-Grained Entity Typing Systems.

    Science.gov (United States)

    Huang, Lifu; May, Jonathan; Pan, Xiaoman; Ji, Heng; Ren, Xiang; Han, Jiawei; Zhao, Lin; Hendler, James A

    2017-03-01

    The ability of automatically recognizing and typing entities in natural language without prior knowledge (e.g., predefined entity types) is a major challenge in processing such data. Most existing entity typing systems are limited to certain domains, genres, and languages. In this article, we propose a novel unsupervised entity-typing framework by combining symbolic and distributional semantics. We start from learning three types of representations for each entity mention: general semantic representation, specific context representation, and knowledge representation based on knowledge bases. Then we develop a novel joint hierarchical clustering and linking algorithm to type all mentions using these representations. This framework does not rely on any annotated data, predefined typing schema, or handcrafted features; therefore, it can be quickly adapted to a new domain, genre, and/or language. Experiments on genres (news and discussion forum) show comparable performance with state-of-the-art supervised typing systems trained from a large amount of labeled data. Results on various languages (English, Chinese, Japanese, Hausa, and Yoruba) and domains (general and biomedical) demonstrate the portability of our framework.

  19. Academic Talent Development Programs: A Best Practices Model

    Science.gov (United States)

    Gagné, Françoys

    2015-01-01

    This article aims to describe how schools should structure the development of academic talent at all levels of the K-12 educational system. Adopting as its theoretical framework the "Differentiating Model of Giftedness and Talent," the author proposes (a) a formal definition of academic talent development (ATD) inspired by the principles…

  20. Contingent and Marginalised? Academic Development and Part-Time Teachers

    Science.gov (United States)

    Anderson, Valerie

    2007-01-01

    Academics employed on non-standard contracts are a numerically significant part of the labour market in higher education. Concerns about access to formal academic development for this staff group have been articulated in many countries in the context of increasing emphasis on teaching quality assessment and employment regulation of…

  1. Psychologist in non-formal education

    OpenAIRE

    Pavićević Miljana S.

    2011-01-01

    Learning is not limited to school time. It starts at birth and continues throughout the entire life. Equally important as formal education there are also non-formal and informal education. Any kind of learning outside the traditional school can be called informal. However, it is not easy to define non-formal education because it is being described differently, for example as an education movement, process, system… Projects and programs implemented under the name of non-formal education are of...

  2. A survey of formal languages for contracts

    DEFF Research Database (Denmark)

    Hvitved, Tom

    2010-01-01

    In this short paper we present the current status on formal languages and models for contracts. By a formal model is meant an unambiguous and rigorous representation of contracts, in order to enable their automatic validation, execution, and analysis — activates that are collectively referred...... to as contract lifecycle management (CLM). We present a set of formalism requirements, which represent features that any ideal contract model should support, based on which we present a comparative survey of existing contract formalisms....

  3. Formal Proofs for Nonlinear Optimization

    Directory of Open Access Journals (Sweden)

    Victor Magron

    2015-01-01

    Full Text Available We present a formally verified global optimization framework. Given a semialgebraic or transcendental function f and a compact semialgebraic domain K, we use the nonlinear maxplus template approximation algorithm to provide a certified lower bound of f over K.This method allows to bound in a modular way some of the constituents of f by suprema of quadratic forms with a well chosen curvature. Thus, we reduce the initial goal to a hierarchy of semialgebraic optimization problems, solved by sums of squares relaxations. Our implementation tool interleaves  semialgebraic approximations with sums of squares witnesses to form certificates. It is interfaced with Coq and thus benefits from the trusted arithmetic available inside the proof assistant. This feature is used to produce, from the certificates, both valid underestimators and lower bounds for each approximated constituent.The application range for such a tool is widespread; for instance Hales' proof of Kepler's conjecture yields thousands of multivariate transcendental inequalities. We illustrate the performance of our formal framework on some of these inequalities as well as on examples from the global optimization literature.

  4. Canonical formalism for relativistic dynamics

    International Nuclear Information System (INIS)

    Penafiel-Nava, V.M.

    1982-01-01

    The possibility of a canonical formalism appropriate for a dynamical theory of isolated relativistic multiparticle systems involving scalar interactions is studied. It is shown that a single time-parameter structure satisfying the requirements of Poincare invariance and simultaneity of the constituents (global tranversality) can not be derived from a homogeneous Lagrangian. The dynamics is deduced initially from a non-homogeneous but singular Lagrangian designed to accommodate the global tranversality constraints with the equaltime plane associated to the total momentum of the system. An equivalent standard Lagrangian is used to generalize the parametrization procedure which is referred to an arbitrary geodesic in Minkowski space. The equations of motion and the definition of center of momentum are invariant with respect to the choice of geodesic and the entire formalism becomes separable. In the original 8N-dimensional phase-space, the symmetries of the Lagrangian give rise to a canonical realization of a fifteen-generator Lie algebra which is projected in the 6N dimensional hypersurface of dynamical motions. The time-component of the total momentum is thus reduced to a neutral element and the canonical Hamiltonian survives as the only generator for time-translations so that the no-interaction theorem becomes inapplicable

  5. Expatriate academics

    DEFF Research Database (Denmark)

    Selmer, Jan; Lauring, Jakob

    2011-01-01

    Purpose – The literature on business expatriates has been increasing rapidly, but research on expatriate academics has remained scant, despite the apparent increasing globalisation of the academic world. Therefore, more research is needed on the latter group of expatriates. This paper aims to fill...... some of the gaps. Design/methodology/approach – A questionnaire was directed electronically towards expatriate academics occupying regular positions in science faculty departments in universities in northern Europe. Findings – Results showed that job clarity was the dominating job factor with strong...... relationships with all of the five investigated work outcome variables, work adjustment, work performance, work effectiveness, job satisfaction, and time to proficiency. Job conflict and job freedom had an association with some of the work outcome variables but not with all of them. Neither workload nor job...

  6. Academic Allies

    DEFF Research Database (Denmark)

    Byberg, Rebekka Birkebo

    the national associations of European law: Fédération Internationale pour le Droit Européen, the European law journal Common Market Law Review, and the ITL project, carried out at the European University Institute.It carefully documents an alliance between academics and community actors with the aim...... of providing academic support to the constitutional claim, and it argues that the academic discipline of European law was built and developed through a circular attribution of legal ideas, legitimacy, and self-image between the European Court of Justice, the Commission, and academia –most particularly so......This doctoral thesis explores the key transnational institutions of European law academia and their role in the creation of a constitutional legal practice in the European Community from 1961 to 1993. Consisting of three case studies, it investigates the transnational federation gathering...

  7. Academic ROI: What Does the Most Good?

    Science.gov (United States)

    Levenson, Nathan

    2012-01-01

    The author, who has served as a school board member and district superintendent, advocates that school districts use an academic return on investment approach to evaluate and make decisions about spending, specifically in special education. This approach requires that schools formally evaluate all programs, efforts, and strategies by multiple…

  8. Formal analysis of design process dynamics

    NARCIS (Netherlands)

    Bosse, T.; Jonker, C.M.; Treur, J.

    2010-01-01

    This paper presents a formal analysis of design process dynamics. Such a formal analysis is a prerequisite to come to a formal theory of design and for the development of automated support for the dynamics of design processes. The analysis was geared toward the identification of dynamic design

  9. Formal Analysis of Design Process Dynamics

    NARCIS (Netherlands)

    Bosse, T.; Jonker, C.M.; Treur, J.

    2010-01-01

    This paper presents a formal analysis of design process dynamics. Such a formal analysis is a prerequisite to come to a formal theory of design and for the development of automated support for the dynamics of design processes. The analysis was geared toward the identification of dynamic design

  10. Formal Symplectic Groupoid of a Deformation Quantization

    Science.gov (United States)

    Karabegov, Alexander V.

    2005-08-01

    We give a self-contained algebraic description of a formal symplectic groupoid over a Poisson manifold M. To each natural star product on M we then associate a canonical formal symplectic groupoid over M. Finally, we construct a unique formal symplectic groupoid ‘with separation of variables’ over an arbitrary Kähler-Poisson manifold.

  11. Formalizing the concept phase of product development

    NARCIS (Netherlands)

    Schuts, M.; Hooman, J.

    2015-01-01

    We discuss the use of formal techniques to improve the concept phase of product realisation. As an industrial application, a new concept of interventional X-ray systems has been formalized, using model checking techniques and the simulation of formal models. cop. Springer International Publishing

  12. Formal Testing of Correspondence Carrying Software

    NARCIS (Netherlands)

    Bujorianu, M.C.; Bujorianu, L.M.; Maharaj, S.

    2008-01-01

    Nowadays formal software development is characterised by use of multitude formal specification languages. Test case generation from formal specifications depends in general on a specific language, and, moreover, there are competing methods for each language. There is a need for a generic approach to

  13. Lifelong Learning to Empowerment: Beyond Formal Education

    Science.gov (United States)

    Carr, Alexis; Balasubramanian, K.; Atieno, Rosemary; Onyango, James

    2018-01-01

    This paper discusses the relevance of lifelong learning vis-à-vis the Sustainable Development Goals (SDGs) and stresses the need for an approach blending formal education, non-formal and informal learning. The role of Open and Distance Learning (ODL) in moving beyond formal education and the importance of integrating pedagogy, andragogy and…

  14. ACADEMIC TRAINING

    CERN Multimedia

    Françoise Benz

    2002-01-01

    12, 13, 14, March LECTURE SERIES from 11.00 to 12.00 hrs - Auditorium, bldg. 500 POSTPONED! - Modern Project Management Methods - POSTPONED! By G. Vallet / Ed. Highware, Paris, F. Academic Training Françoise Benz Secretariat Tel. 73127 francoise.benz@cern.ch

  15. Academic Cloning.

    Science.gov (United States)

    Sikula, John P.; Sikula, Andrew F.

    1980-01-01

    The authors define "cloning" as an integral feature of all educational systems, citing teaching practices which reward students for closely reproducing the teacher's thoughts and/or behaviors and administrative systems which tend to promote like-minded subordinates. They insist, however, that "academic cloning" is not a totally…

  16. Academic Aspirations

    Science.gov (United States)

    Durant, Linda

    2013-01-01

    As colleges and universities become even more complex organizations, advancement professionals need to have the skills, experience, and academic credentials to succeed in this ever-changing environment. Advancement leaders need competencies that extend beyond fundraising, alumni relations, and communications and marketing. The author encourages…

  17. Academic Words and Academic Capitalism Academic Words and Academic Capitalism

    Directory of Open Access Journals (Sweden)

    Michael Billig

    2013-03-01

    Full Text Available

    Este artículo sugiere que esta época es la mejor y peor para la labor académica. La mejor en cuanto hay más publicaciones académicas que nunca. Y la peor porque sobra mucho de estas publicaciones. Trabajando en las condiciones competitivas del capitalismo académico, los académicos se sienten en la necesidad de continuar publicando, independientemente de que tengan algo que decir. Las presiones de publicar continuamente y promover la propia perspectiva se reflejan en la manera en la que los científicos sociales están escribiendo. Y es que los académicos utilizan un lenguaje técnico basado en sustantivos, con una precisión menor a la del lenguaje ordinario. Los estudiantes de postgrado han sido educados en esta manera de escribir como una condición previa a iniciarse en las ciencias sociales. Así, la naturaleza misma del capitalismo académico no sólo determina las condiciones en las que los académicos trabajan, sino que también afecta su manera de escribir.


    This paper suggests that it is the best and worst of times for academic work. It is the best of times because there are more academics publishing than ever before. It is the worst of times because there is much unnecessary publication. Working in the competitive conditions of academic capitalism, academics feel impelled to keep publishing, whether or not they have anything to say. The pressures to publish continually and to promote one’s own approach are reflected in the way that social scientists are writing. Academics use a noun-based technical language, which is less precise than ordinary language. Postgraduates are taught this way of writing as a precondition for entering the social sciences. In this way, the nature of academic capitalism not only determines the conditions under which academics are working but it affects the way that they are writing.

  18. Formal modeling of virtual machines

    Science.gov (United States)

    Cremers, A. B.; Hibbard, T. N.

    1978-01-01

    Systematic software design can be based on the development of a 'hierarchy of virtual machines', each representing a 'level of abstraction' of the design process. The reported investigation presents the concept of 'data space' as a formal model for virtual machines. The presented model of a data space combines the notions of data type and mathematical machine to express the close interaction between data and control structures which takes place in a virtual machine. One of the main objectives of the investigation is to show that control-independent data type implementation is only of limited usefulness as an isolated tool of program development, and that the representation of data is generally dictated by the control context of a virtual machine. As a second objective, a better understanding is to be developed of virtual machine state structures than was heretofore provided by the view of the state space as a Cartesian product.

  19. A Formal Calculus for Categories

    DEFF Research Database (Denmark)

    Cáccamo, Mario José

    This dissertation studies the logic underlying category theory. In particular we present a formal calculus for reasoning about universal properties. The aim is to systematise judgements about functoriality and naturality central to categorical reasoning. The calculus is based on a language which...... extends the typed lambda calculus with new binders to represent universal constructions. The types of the languages are interpreted as locally small categories and the expressions represent functors. The logic supports a syntactic treatment of universality and duality. Contravariance requires a definition...... of universality generous enough to deal with functors of mixed variance. Ends generalise limits to cover these kinds of functors and moreover provide the basis for a very convenient algebraic manipulation of expressions. The equational theory of the lambda calculus is extended with new rules for the definitions...

  20. Formal analysis of physical theories

    International Nuclear Information System (INIS)

    Dalla Chiara, M.L.; Toraldo di Francia, G.

    1979-01-01

    The rules of inference that are made use of in formalization are considered. It is maintained that a physical law represents the universal assertion of a probability, and not the assessment of the probability of a universal assertion. The precision of the apparatus used to collect the experimental evidence is introduced as an essential part of the theoretical structure of physics. This approach allows the author to define the concept of truth in a satisfactory way, abandoning the unacceptable notion of approximate truth. It is shown that a considerable amount of light can be shed on a number of much debated problems arising in the logic of quantum mechanics. It is stressed that the deductive structure of quantum theory seems to be essentially founded on a kind of mixture of different logics. Two different concepts of truth are distinguished within quantum theory, an empirical truth and quantum-logical truth. (Auth.)

  1. Acute steroid myopathy: a highly overlooked entity.

    Science.gov (United States)

    Haran, Michal; Schattner, Ami; Kozak, Natasha; Mate, Andras; Berrebi, Alain; Shvidel, Lev

    2018-02-15

    Myopathy in patients being treated with corticosteroids is known primarily among chronically-treated patients or in critically ill and mechanically-ventilated patients receiving corticosteroids, often in high doses. To highlight the entity of acute, early-onset corticosteroid-treatment-associated myopathy and its characteristics. Reporting our experience with four patients and reviewing all published reports of myopathy developing ≤14 days of initiating corticosteroid-treatment. Acute corticosteroid myopathy (ASM) exists, though the syndrome appears to be rare. It is characterized by unpredictability and heterogeneity, sometimes developing within 1-3 days, after a single dose, which may not be high and administered by varied routes. Proximal limb muscle weakness is the most common form, but distal limb, bulbar and respiratory muscles may be involved. Steroid cessation often leads to improvement/resolution, but irreversibility may occur. A high index of suspicion for the possibility of ASM is necessary, to ensure drug discontinuation and recovery. This is particularly true since the entity is not widely recognized and its symptoms are often erroneously interpreted as due to the patient's underlying disease.

  2. CNN-based ranking for biomedical entity normalization.

    Science.gov (United States)

    Li, Haodi; Chen, Qingcai; Tang, Buzhou; Wang, Xiaolong; Xu, Hua; Wang, Baohua; Huang, Dong

    2017-10-03

    Most state-of-the-art biomedical entity normalization systems, such as rule-based systems, merely rely on morphological information of entity mentions, but rarely consider their semantic information. In this paper, we introduce a novel convolutional neural network (CNN) architecture that regards biomedical entity normalization as a ranking problem and benefits from semantic information of biomedical entities. The CNN-based ranking method first generates candidates using handcrafted rules, and then ranks the candidates according to their semantic information modeled by CNN as well as their morphological information. Experiments on two benchmark datasets for biomedical entity normalization show that our proposed CNN-based ranking method outperforms traditional rule-based method with state-of-the-art performance. We propose a CNN architecture that regards biomedical entity normalization as a ranking problem. Comparison results show that semantic information is beneficial to biomedical entity normalization and can be well combined with morphological information in our CNN architecture for further improvement.

  3. A Comparison of Participation Patterns in Selected Formal, Non-Formal, and Informal Online Learning Environments

    Science.gov (United States)

    Schwier, Richard A.; Seaton, J. X.

    2013-01-01

    Does learner participation vary depending on the learning context? Are there characteristic features of participation evident in formal, non-formal, and informal online learning environments? Six online learning environments were chosen as epitomes of formal, non-formal, and informal learning contexts and compared. Transcripts of online…

  4. Formal Semantics: Origins, Issues, Early Impact

    Directory of Open Access Journals (Sweden)

    Barbara H. Partee

    2010-12-01

    . J. Hintikka & P. Suppes (eds. ‘Approaches to Natural Language’, 221–242. Dordrecht: Reidel. Reprinted in Montague (1974, 247–270; Reprinted in Portner and Partee, eds., 2002, 17–34http://newstar.rinet.ru/~goga/biblio/essential-readings/01-Montague-The.Proper.Treatment.of.Quantification.in.OrdinarMontague, R. 1974. Formal Philosophy. Selected Papers of Richard Montague. New Haven/London: Yale University Press. Edited and with an introduction by Richmond H. Thomason. Newmeyer, F. J. 1980. Linguistic Theory in America: The First Quarter Century of Transformational Generative Grammar. New York: Academic Press.Parsons, T. 1968. ‘A semantics for English’. Ms.Parsons, T. 1972. ‘An Outline of a Semantics of English’. Ms. University of Massachusetts, Amherst.Partee, B. H. 1971. ‘On the requirement that transformations preserve meaning’. In C. J. Fillmore & D. T. Langendoen (eds. ‘Studies in Linguistic Semantics’, 1–21. Holt, Rinehart, and Winston.Partee, B. H. 1973a. ‘The semantics of belief-sentences’. In J. M. E. Moravcsik K. J. J. Hintikka & P. Suppes (eds. ‘Approaches to Natural Language’, 309–336. Dordrecht: Reidel.Partee, B. H. 1973b. ‘Some transformational extensions of Montague grammar’. Journal of Philosophical Logic 2: 509–534. Reprinted in Partee (1976, pp. 51–76.http://semanticsarchive.net/Archive/TEwODQ3Z/.Partee, B. H. 1973c. ‘Comments on Montague’s paper’. In J. M. E. Moravcsik K. J. J. Hintikka & P. Suppes (eds. ‘Approaches to Natural Language’, 243–258. Dordrecht: Reidel.Partee, B. H. 1975. ‘Montague grammar and transformational grammar’. Linguistic Inquiry 6: 203–300.Partee, B. H. (ed.. 1976. Montague Grammar. New York: Academic Press.Partee, B. H. 1979. ‘Semantics - mathematics or psychology?’ In R. Bäuerle, U. Egli & A. von Stechow (eds. ‘Semantics from Different Points of View’, 1–14. Berlin: Springer-Verlag.Partee, B. H. 1982. ‘Belief-sentences and the limits of semantics

  5. Formal appraisal of undergraduate medical students: is it worth the effort?

    Science.gov (United States)

    Murdoch-Eaton, Deborah G; Levene, Malcolm I

    2004-02-01

    Medical student stress is most often related to difficulties of adjusting to university academic standards, and work-social life balance. Faculty systems identify academically failing students for counselling, whilst the majority of students do not have opportunities for individual discussion about progress. This study reports a pilot formal appraisal process for first-year undergraduates. Preparatory material required students to reflect on their academic performance, factors contributing to their university life and satisfaction with career choice. Individual appraisal sessions were held with trained, experienced senior faculty staff, with completion of an appraisal record to document agreed outcomes. Individualized study skills advice was the commonest documented outcome on appraisal records. Students were overwhelmingly positive about the experience, reporting both enhanced perceptions of faculty and reduced anxiety about academic performance. Medical schools have responsibilities to consider ways to optimize students' performance; attainment can be related more to personal and motivational factors than academic ability.

  6. Academic Practice

    DEFF Research Database (Denmark)

    Nielsen, Sandro; Heine, Carmen

    Vejledning i at undgå plagiering ved at følge de normer, der gælder for good academic practice. Dette indebærer at man angiver kilder korrekt, og når det er nødvendigt, og at man har en korrekt udformet fortegnelse over referencer. Vejledningen indeholder konkrete eksempler på korrekt kildeangive......Vejledning i at undgå plagiering ved at følge de normer, der gælder for good academic practice. Dette indebærer at man angiver kilder korrekt, og når det er nødvendigt, og at man har en korrekt udformet fortegnelse over referencer. Vejledningen indeholder konkrete eksempler på korrekt...

  7. Malignant struma ovarii: a rare oncologic entity

    International Nuclear Information System (INIS)

    Barbosa, Frederico Paes; Mendonca, Sandro Bichara; Souza, Thiago Ferreira de

    2004-01-01

    Struma ovarii (SO) malignant is a rare ovarian teratoid tumor, consisting predominantly of thyroid tissue. It has low incidence and a few cases described by the literature. Usually appears in the 4th or 5th decade of life. Generally they are diagnosed after surgery, being the diagnostic reserved for the lesions on the ectopic thyroid tissue based on cellular atypia, mitotic activity, capsular invasion and metastases. Due to its rarity,it does not still have a consensus about the best therapeutical management and protocol of accompaniment for patients with this neoplastic entity. This article reports a case of a patient with malignant S O, reviewing the relevant aspects of the literature. (author)

  8. Pancreatic pseudopapillary tumour: A rare misdiagnosed entity.

    Science.gov (United States)

    Affirul, C A; Qisti, F N; Zamri, Z; Azlanuddin, A; Hairol, A O; Razman, J

    2014-01-01

    Solid pseudo papillary pancreatic tumour is a rare entity. The atypical presentation causes a delayed or misdiagnosis of these pathology. It commonly affects the female population in the 2nd and 3rd decade of life. The presentation varies from non-specific abdominal pain to incidental findings in asymptomatic patients. It is a low-grade premalignant condition that is curable by excision of the tumour. This paper presents a 17-year-old girl with intra-abdominal mass diagnosed with solid pseudo papillary tumour that underwent Whipple's procedure. We discuss the presentations, diagnosis and pathology findings of this rare pathology. The diagnosis remains an enigma in view of the nature and location of the tumour. Resection is still the best choice remains for this condition. Copyright © 2014 The Authors. Published by Elsevier Ltd.. All rights reserved.

  9. Arabic medical entity tagging using distant learning

    Directory of Open Access Journals (Sweden)

    Viviana Cotik

    2017-04-01

    Full Text Available A semantic tagger aiming to detect relevant entities in Arabic medical documents and tagging them with their appropriate semantic class is presented. The system takes profit of a Multilingual Framework covering four languages (Arabic, English, French, and Spanish, in a way that resources available for each language can be used to improve the results of the others, this is specially important for less resourced languages as Arabic. The approach has been evaluated against Wikipedia pages of the four languages belonging to the medical domain. The core of the system is the definition of a base tagset consisting of the three most represented classes in SNOMED-CT taxonomy and the learning of a binary classifier for each semantic category in the tagset and each language, using a distant learning approach over three widely used knowledge resources, namely Wikipedia, Dbpedia, and SNOMED-CT.

  10. Database design using entity-relationship diagrams

    CERN Document Server

    Bagui, Sikha

    2011-01-01

    Data, Databases, and the Software Engineering ProcessDataBuilding a DatabaseWhat is the Software Engineering Process?Entity Relationship Diagrams and the Software Engineering Life Cycle          Phase 1: Get the Requirements for the Database          Phase 2: Specify the Database          Phase 3: Design the DatabaseData and Data ModelsFiles, Records, and Data ItemsMoving from 3 × 5 Cards to ComputersDatabase Models     The Hierarchical ModelThe Network ModelThe Relational ModelThe Relational Model and Functional DependenciesFundamental Relational DatabaseRelational Database and SetsFunctional

  11. Formal and Legal Aspects of Buying and Commissioning Flats

    Science.gov (United States)

    Dubas, Sebastian; Nowotarski, Piotr; Milwicz, Roman

    2017-10-01

    Formal and legal aspects of buying flats and their reception is very current topic and touches wide group of buyers. Annually in Poland great amount of flats is being sold and put to use. However, the case of housing purchase requires knowledge of both the construction and the legal aspects each buyer has to encounter. The paper faces the subject of formal and legal aspects, and analyses accompanying procedure of purchase and reception of housing in Poland. The article presents principles associated with the acquisition of a dwelling, process of works reception, removal of detected faults, fault-free reception, transfer of ownership, warranties, guarantees and possibilities of their enforcement. Contracting parties of the developer agreement were revealed. In addition, the entities present in the course of works such as general contractor were mentioned, due to the fact of his direct influence on the results of a contract terms between developer and buyer. Logical connection between three parties (buyer-developer-general contractor) were shown and direct and indirect dependencies were revealed. Existing laws and regulations that govern the relationship between the developer and the buyer of a dwelling were determined showing basic rights and responsibilities of each. The article also presents problems resulting from delaying the completion of works by developer’s fault and indicates possible legal paths to follow in order claim their rights. Due to the fact, that many of discussed formal and legal aspects in this subject have their origin connected to construction works and design issues, author suggests increased quality control and efficient work organization in order to solve problems before appearance.

  12. Exophytic oral verrucous hyperplasia: a new entity.

    Science.gov (United States)

    Patil, Shankargouda; Warnakulasuriya, Saman; Raj, Thirumal; Sanketh, D S; Rao, Roopa S

    2016-11-01

    Exophytic oral verrucous hyperplasia (OVH) is a new entity described by an expert working group from South Asia. First reported in Taiwan, there are no reports so far from an Indian population. The aim was to use the microscopic features described by the expert group to differentiate OVH from other oral verruco-papillary lesions in an Indian archive. In a retrospective multicentre study, using pathology archives, 188 verruco-papillary lesions were retrieved from pathology archives. A proforma listing histopathological criteria for OVH based on published guidelines (Annals of Dentistry, University of Malaya, 2013) was used. Patients' demographic and clinical data were transcribed from patient charts. The Pearson chi-square test was used to determine associations between clinical and histopathological features. Of 188 oral verruco-papillary lesions that were evaluated, based on microscopic features the cases were reclassified as OVH (57), verrucous carcinoma (VC) (84), oral squamous cell carcinoma (16), and other verruco-papillary lesions (31). Both OVH (70%) and VC (60%) showed male predominance and commonly affected buccal mucosa (OVH 74% and VC 57%). Absence of downward growth of the hyperplastic epithelium into lamina propria when compared with the level of the basement membrane of the adjacent normal epithelium was a distinct feature in OVH. Keratin plugging, epithelial dysplasia and subepithelial lymphocytic infiltration were found to be significantly different (P < 0.05) in OVH versus VC. The sample size of other verruco-papillary lesions was insufficient for statistical comparison. Apart from the absence of an endophytic growth pattern in OVH, we noted the presence of dysplasia in OVH. This significant observation does institute a debate as to whether this enigmatic lesion could possibly be a precedent of oral squamous or verrucous carcinoma. We propose OVH is a distinct entity in our Indian population and should be considered in the classification of oral

  13. Applications of the Decoherence Formalism

    Science.gov (United States)

    Brun, Todd Andrew

    In this work the decoherence formalism of quantum mechanics is explored and applied to a number of interesting problems in quantum physics. The boundary between quantum and classical physics is examined, and demonstration made that quantum histories corresponding to classical equations of motion become more probable for a broad class of models, including linear and nonlinear models of Brownian motion. The link between noise, dissipation, and decoherence is studied. This work is then applied to systems which classically exhibit dissipative chaotic dynamics. A theory is explicated for treating these systems, and the ideas are applied to a particular model of the forced, damped Duffing oscillator, which is chaotic for certain parameter values. Differences between classical and quantum chaos are examined, particularly differences arising in the structure of fractal strange attractors, and the conceptual difficulties in framing standard notions of chaos in a quantum system. A brief discussion of previous work on quantum chaos is included, and the differences between Hamiltonian and dissipative chaos pointed out; a somewhat different interpretation of quantum chaos from the standard one is suggested. A class of histories for quantum systems, in phase space rather than configuration space, is studied. Different ways of representing projections in phase space are discussed, and expressions for the probability of phase space histories are derived; conditions for such histories to decohere are also estimated in the semiclassical limit.

  14. Quantum formalism for classical statistics

    Science.gov (United States)

    Wetterich, C.

    2018-06-01

    In static classical statistical systems the problem of information transport from a boundary to the bulk finds a simple description in terms of wave functions or density matrices. While the transfer matrix formalism is a type of Heisenberg picture for this problem, we develop here the associated Schrödinger picture that keeps track of the local probabilistic information. The transport of the probabilistic information between neighboring hypersurfaces obeys a linear evolution equation, and therefore the superposition principle for the possible solutions. Operators are associated to local observables, with rules for the computation of expectation values similar to quantum mechanics. We discuss how non-commutativity naturally arises in this setting. Also other features characteristic of quantum mechanics, such as complex structure, change of basis or symmetry transformations, can be found in classical statistics once formulated in terms of wave functions or density matrices. We construct for every quantum system an equivalent classical statistical system, such that time in quantum mechanics corresponds to the location of hypersurfaces in the classical probabilistic ensemble. For suitable choices of local observables in the classical statistical system one can, in principle, compute all expectation values and correlations of observables in the quantum system from the local probabilistic information of the associated classical statistical system. Realizing a static memory material as a quantum simulator for a given quantum system is not a matter of principle, but rather of practical simplicity.

  15. Practice-Oriented Formal Methods to Support the Software Development of Industrial Control Systems

    CERN Document Server

    AUTHOR|(CDS)2088632; Blanco Viñuela, Enrique

    Formal specification and verification methods provide ways to describe requirements precisely and to check whether the requirements are satisfied by the design or the implementation. In other words, they can prevent development faults and therefore improve the quality of the developed systems. These methods are part of the state-of-the-practice in application domains with high criticality, such as avionics, railway or nuclear industry. The situation is different in the industrial control systems domain. As the criticality of the systems is much lower, formal methods are rarely used. The two main obstacles to using formal methods in systems with low- or medium-criticality are performance and usability. Overcoming these obstacles often needs deep knowledge and high effort. Model checking, one of the main formal verification techniques, is computationally difficult, therefore the analysis of non-trivial systems requires special considerations. Furthermore, the mainly academic tools implementing different model c...

  16. What Determines Firms’ Decisions to Formalize?

    OpenAIRE

    Neil McCulloch; Günther G. Schulze; Janina Voss

    2010-01-01

    In this paper we analyze the decision of small and micro firms to formalize, i.e. to obtain business and other licenses in rural Indonesia. We use the rural investment climate survey (RICS) that consists of non-farm rural enterprises, most of them microenterprises, and analyze the effect of formalization on tax payments, corruption, access to credit and revenue, taking into account the endogeneity of the formalization decision to such benefits and costs. We show, contrary to most of the liter...

  17. NON-FORMAL EDUCATION, OVEREDUCATION AND WAGES

    OpenAIRE

    SANDRA NIETO; RAÚL RAMOS

    2013-01-01

    Why do overeducated workers participate in non-formal education activities? Do not they suffer from an excess of education? Using microdata from the Spanish sample of the 2007 Adult Education Survey, we have found that overeducated workers participate more than the rest in non-formal education and that they earn higher wages than overeducated workers who did not participate. This result can be interpreted as evidence that non-formal education allows overeducated workers to acquire new abiliti...

  18. Survey of Existing Tools for Formal Verification.

    Energy Technology Data Exchange (ETDEWEB)

    Punnoose, Ratish J.; Armstrong, Robert C.; Wong, Matthew H.; Jackson, Mayo

    2014-12-01

    Formal methods have come into wide use because of their effectiveness in verifying "safety and security" requirements of digital systems; a set of requirements for which testing is mostly ineffective. Formal methods are routinely used in the design and verification of high-consequence digital systems in industry. This report outlines our work in assessing the capabilities of commercial and open source formal tools and the ways in which they can be leveraged in digital design workflows.

  19. Fundamentals of the Pure Spinor Formalism

    CERN Document Server

    Hoogeveen, Joost

    2010-01-01

    This thesis presents recent developments within the pure spinor formalism, which has simplified amplitude computations in perturbative string theory, especially when spacetime fermions are involved. Firstly the worldsheet action of both the minimal and the non-minimal pure spinor formalism is derived from first principles, i.e. from an action with two dimensional diffeomorphism and Weyl invariance. Secondly the decoupling of unphysical states in the minimal pure spinor formalism is proved

  20. Society as a crime victim of legal entities

    Directory of Open Access Journals (Sweden)

    Tanjević Nataša

    2011-01-01

    Full Text Available Tortious acts of legal entities have unforeseen harmful consequences in all areas. In the greedy desire to gain profit, certain legal entities do not have any regard for the most important resources of individuals and society. Damage resulting from the commission of criminal acts is very high for the whole society, especially when it comes to crimes against the environment. In order to prevent and combat corporate crime in criminal law, an increasingly wider acceptance of criminal liability of legal entities was adopted. This paper discusses the basic characteristics of corporate crime, as well as the reasons for the introduction of the criminal responsibility of legal entities. In this regard, we analyzed the law provisions regarding the liability of legal entities for criminal offenses, and concluded that despite the criminal-political need to react with more serious sanctions to the offenses of legal entities, there are certain obstacles and problems that stand in the way of introducing this responsibility.

  1. A Mathematical Formalization Proposal for Business Growth

    Directory of Open Access Journals (Sweden)

    Gheorghe BAILESTEANU

    2013-01-01

    Full Text Available Economic sciences have known a spectacular evolution in the last century; beginning to use axiomatic methods, applying mathematical instruments as a decision-making tool. The quest to formalization needs to be addressed from various different angles, reducing entry and operating formal costs, increasing the incentives for firms to operate formally, reducing obstacles to their growth, and searching for inexpensive approaches through which to enforce compliancy with government regulations. This paper proposes a formalized approach to business growth, based on mathematics and logics, taking into consideration the particularities of the economic sector.

  2. Formal Methods for Life-Critical Software

    Science.gov (United States)

    Butler, Ricky W.; Johnson, Sally C.

    1993-01-01

    The use of computer software in life-critical applications, such as for civil air transports, demands the use of rigorous formal mathematical verification procedures. This paper demonstrates how to apply formal methods to the development and verification of software by leading the reader step-by-step through requirements analysis, design, implementation, and verification of an electronic phone book application. The current maturity and limitations of formal methods tools and techniques are then discussed, and a number of examples of the successful use of formal methods by industry are cited.

  3. Academic Reference and Instruction Librarians and Dweck's Theories of Intelligence

    Science.gov (United States)

    Folk, Amanda L.

    2016-01-01

    This article introduces psychologist Carol S. Dweck's entity and incremental theories of intelligence and explores the prevalence of these theories in academic librarians who participate in reference and instruction activities. Based on existing research, it is possible that implicit theories of intelligence could affect the ways in which…

  4. Business as Usual: Amazon.com and the Academic Library

    Science.gov (United States)

    Van Ullen, Mary K.; Germain, Carol Anne

    2002-01-01

    In 1999, Steve Coffman proposed that libraries form a single interlibrary loan based entity patterned after Amazon.com. This study examined the suitability of Amazon.com's Web interface and record enhancements for academic libraries. Amazon.com could not deliver circulating monographs in the University at Albany Libraries' collection quickly…

  5. Context and Domain Knowledge Enhanced Entity Spotting in Informal Text

    Science.gov (United States)

    Gruhl, Daniel; Nagarajan, Meena; Pieper, Jan; Robson, Christine; Sheth, Amit

    This paper explores the application of restricted relationship graphs (RDF) and statistical NLP techniques to improve named entity annotation in challenging Informal English domains. We validate our approach using on-line forums discussing popular music. Named entity annotation is particularly difficult in this domain because it is characterized by a large number of ambiguous entities, such as the Madonna album "Music" or Lilly Allen's pop hit "Smile".

  6. Learning Expressive Linkage Rules for Entity Matching using Genetic Programming

    OpenAIRE

    Isele, Robert

    2013-01-01

    A central problem in data integration and data cleansing is to identify pairs of entities in data sets that describe the same real-world object. Many existing methods for matching entities rely on explicit linkage rules, which specify how two entities are compared for equivalence. Unfortunately, writing accurate linkage rules by hand is a non-trivial problem that requires detailed knowledge of the involved data sets. Another important issue is the efficient execution of link...

  7. Discrimination of legal entities: Phenomenological characteristics and legal protection

    Directory of Open Access Journals (Sweden)

    Petrušić Nevena

    2017-01-01

    Full Text Available Their social nature encourages people to associate and jointly achieve the goals that they would not be able to achieve individually. Legal entities are created as one of the legal modalities of that association, as separate entities that have their own legal personality independent of the subjectivity of their members. Legal entities are holders of some human rights, depending on the nature of the right, including the right to non-discrimination. All mechanisms envisaged for legal protection against discrimination in the national legislation are available to legal persons. On the other hand, the situation is quite different in terms of access to international forums competent to deal with cases of discrimination. Legal entities do not have access to some international forums, while they may have access to others under the same conditions prescribed for natural persons. Legal entities may be exposed to various forms of direct and indirect discrimination both in the private and in the public sphere of social relations. Phenomenological characteristics of discrimination against legal persons are not substantially different from discrimination against individuals. There are no significant differences regarding the application of discrimination test in cases of discrimination of legal entities as compared to the use of this test in cases involving discrimination of natural persons or groups of persons. Legal entities may be discriminated against on the basis of characteristics of their legal personality, such as those which are objective elements of the legal entity and part of its legal identity. Discrimination of legal entities may be based on personal characteristics of its members (i.e. people who make a personal essence of a legal entity because their characteristics can be 'transferred' to the legal entity and become part of its identity. Legal entities should also be protected from this special form of transferred (associative discrimination.

  8. WCF multi-layer services development with Entity framework

    CERN Document Server

    Liu, Mike

    2014-01-01

    If you are a C#, VB.NET, or C++ developer and want to get started with WCF and Entity Framework, then this book is for you. Competence in Entity Framework will be needed to follow the examples in the book, but experience in creating WCF services using Entity Framework is not necessary. Developers and architects evaluating SOA implementation technologies for their company will find this book useful.

  9. Formal language constrained path problems

    Energy Technology Data Exchange (ETDEWEB)

    Barrett, C.; Jacob, R.; Marathe, M.

    1997-07-08

    In many path finding problems arising in practice, certain patterns of edge/vertex labels in the labeled graph being traversed are allowed/preferred, while others are disallowed. Motivated by such applications as intermodal transportation planning, the authors investigate the complexity of finding feasible paths in a labeled network, where the mode choice for each traveler is specified by a formal language. The main contributions of this paper include the following: (1) the authors show that the problem of finding a shortest path between a source and destination for a traveler whose mode choice is specified as a context free language is solvable efficiently in polynomial time, when the mode choice is specified as a regular language they provide algorithms with improved space and time bounds; (2) in contrast, they show that the problem of finding simple paths between a source and a given destination is NP-hard, even when restricted to very simple regular expressions and/or very simple graphs; (3) for the class of treewidth bounded graphs, they show that (i) the problem of finding a regular language constrained simple path between source and a destination is solvable in polynomial time and (ii) the extension to finding context free language constrained simple paths is NP-complete. Several extensions of these results are presented in the context of finding shortest paths with additional constraints. These results significantly extend the results in [MW95]. As a corollary of the results, they obtain a polynomial time algorithm for the BEST k-SIMILAR PATH problem studied in [SJB97]. The previous best algorithm was given by [SJB97] and takes exponential time in the worst case.

  10. System for Award Management (SAM) Public Extract - Entity Registration

    Data.gov (United States)

    General Services Administration — This dataset contains the information available under the Freedom of Information Act (FOIA) for those entities registered to do business with the Federal government...

  11. How Well can We Learn Interpretable Entity Types from Text?

    DEFF Research Database (Denmark)

    Hovy, Dirk

    2014-01-01

    We investigate a largely unsupervised approach to learning interpretable, domain-specific entity types from unlabeled text. It assumes that any common noun in a domain can function as potential entity type, and uses those nouns as hidden variables in a HMM. To constrain training, it extracts co......-occurrence dictionaries of entities and common nouns from the data. We evaluate the learned types by measuring their prediction accuracy for verb arguments in several domains. The results suggest that it is possible to learn domain-specific entity types from unlabeled data. We show significant improvements over...

  12. Indexing concepts and/or named entities Indicizzare concetti e/o named entities

    Directory of Open Access Journals (Sweden)

    Pino Buizza

    2011-12-01

    Full Text Available

    A partire da un punto di vista semantico più che morfologico, l'articolo è focalizzato il problema del significato dei nomi propri, con contributi della filosofia del linguaggio e della linguistica semantica. Sono indagate le entità individuali: il loro isolamento all’interno della rete di soggetti e la relazione esemplificativa, il trattamento nelle classificazioni. Le profonde diversità rilevate fra concetti e entità denominate suggeriscono di dichiararle esplicitamente da un punto di vista teorico e di adottare dispositivi che diano risultati unitari ma chiaramente distinguibili nei sistemi di recupero dell’informazione.  
    Questo contributo è stato presentato col titolo Indexing concepts and/or named entities all'11th ISKO Conference, Paradigms and conceptual systems in knowledge organization, Roma, 23-26 febbraio 2010, non pubblicato negli atti, e qui leggermente ampliato.

    Starting from a semantic rather than form a morphological point of view, the essay examines the problem of the meaning of proper names, with contributions coming from the philosophy of language and the semantic linguistics. Individual entities are explored: the way they are isolated in the thread of subjects, the illustrative relation, and the classification treatment. The deep differences between concepts and called entities suggest to declare them specifically in a theoretical way, and to adopt devices that lead to uniform but noticeable results in information retrieval systems.
    This article has been discussed as "Indexing concepts and/or named entities" to the 11th ISKO Conference, Paradigms and conceptual systems in knowledge organization, Rome, 23-26 February 2010, here extended since it is not published in the conference proceedings.

  13. ACADEMIC TRAINING

    CERN Multimedia

    Françoise Benz

    2002-01-01

    6, 7 May LECTURE SERIES from 11.00 to 12.00 hrs - Auditorium, bldg. 500 Decoding the Human Genome, Scientific basis and ethic and social aspects by S.E. Antonarakis and A. Mauron / Univ. of Geneva Decoding the Human genome is a very up-to-date topic, raising several questions besides purely scientific, in view of the two competing teams (public and private), the ethics of using the results, and the fact that the project went apparently faster and easier than expected. The lecture series will address the following chapters: Scientific basis and challenges, Ethical and social aspects of genomics. Academic Training Françoise Benz Tel. 73127

  14. Academic achievement in children with epilepsy: a review.

    Science.gov (United States)

    Reilly, Colin; Neville, Brian G R

    2011-11-01

    To examine published studies which have focussed on academic achievement in children with epilepsy with respect to prevalence rates of academic difficulties and possible correlates of academic achievement. This review examines studies which have focussed on prevalence rates of academic difficulties and correlates of academic achievement in children with epilepsy from 1990 to 2010. Prevalence rates of low academic achievement and academic underachievement are reported and correlates of academic achievement including seizure/epilepsy variables, demographic variables, and child/family variables are examined with respect to published studies. Published studies suggest that low academic achievement is more common than academic underachievement (achievement below that expected on basis of IQ scores) and it is not clear from published studies if rates of academic underachievement are significantly higher than in the general population. Clear patterns with regard to the identification of correlates of academic underachievement have not emerged although low achievement may be influenced in many cases by lower than average levels of cognitive functioning. Most studies have not focussed on the IQ-achievement discrepancy definitions of (specific) learning disability. Children with epilepsy who are experiencing academic difficulties may not qualify for formal educational supports to address these difficulties if eligibility criteria for such supports stress an IQ-achievement discrepancy. Copyright © 2011 Elsevier B.V. All rights reserved.

  15. Formal Engineering Hybrid Systems: Semantic Underpinnings

    NARCIS (Netherlands)

    Bujorianu, M.C.; Bujorianu, L.M.

    2008-01-01

    In this work we investigate some issues in applying formal methods to hybrid system development and develop a categorical framework. We study the themes of stochastic reasoning, heterogeneous formal specification and retrenchment. Hybrid systems raise a rich pallets of aspects that need to be

  16. Methodological imperfection and formalizations in scientific activity

    International Nuclear Information System (INIS)

    Svetlichny, G.

    1987-01-01

    Any mathematical formalization of scientific activity allows for imperfections in the methodology that is formalized. These can be of three types, dirty, rotten, and dammed. Restricting mathematical attention to those methods that cannot be construed to be imperfect drastically reduces the class of objects that must be analyzed, and related all other objects to these more regular ones. Examples are drawn from empirical logic

  17. DNA expressions - A formal notation for DNA

    NARCIS (Netherlands)

    Vliet, Rudy van

    2015-01-01

    We describe a formal notation for DNA molecules that may contain nicks and gaps. The resulting DNA expressions denote formal DNA molecules. Different DNA expressions may denote the same molecule. Such DNA expressions are called equivalent. We examine which DNA expressions are minimal, which

  18. Formalizing Evaluation in Music Information Retrieval

    DEFF Research Database (Denmark)

    Sturm, Bob L.

    2013-01-01

    We develop a formalism to disambiguate the evaluation of music information retrieval systems. We define a ``system,'' what it means to ``analyze'' one, and make clear the aims, parts, design, execution, interpretation, and assumptions of its ``evaluation.'' We apply this formalism to discuss...

  19. 37 CFR 251.41 - Formal hearings.

    Science.gov (United States)

    2010-07-01

    ... ARBITRATION ROYALTY PANEL RULES AND PROCEDURES COPYRIGHT ARBITRATION ROYALTY PANEL RULES OF PROCEDURE Procedures of Copyright Arbitration Royalty Panels § 251.41 Formal hearings. (a) The formal hearings that will be conducted under the rules of this subpart are rate adjustment hearings and royalty fee...

  20. Multiverse in the Third Quantized Formalism

    International Nuclear Information System (INIS)

    Faizal Mir

    2014-01-01

    In this paper we will analyze the third quantization of gravity in path integral formalism. We will use the time-dependent version of Wheeler—DeWitt equation to analyze the multiverse in this formalism. We will propose a mechanism for baryogenesis to occur in the multiverse, without violating the baryon number conservation. (general)

  1. Formal balancing of chemical reaction networks

    NARCIS (Netherlands)

    van der Schaft, Abraham; Rao, S.; Jayawardhana, B.

    2016-01-01

    In this paper we recall and extend the main results of Van der Schaft, Rao, Jayawardhana (2015) concerning the use of Kirchhoff’s Matrix Tree theorem in the explicit characterization of complex-balanced reaction networks and the notion of formal balancing. The notion of formal balancing corresponds

  2. The simplest formal argument for fitness optimization

    Indian Academy of Sciences (India)

    The Formal Darwinism Project aims to provide a formal argument linking population genetics to fitness optimization, which of necessity includes defining fitness. This bridges the gulf between those biologists who assume that natural selection leads to something close to fitness optimization and those biologists who believe ...

  3. Opinion dynamics model based on quantum formalism

    Energy Technology Data Exchange (ETDEWEB)

    Artawan, I. Nengah, E-mail: nengahartawan@gmail.com [Theoretical Physics Division, Department of Physics, Udayana University (Indonesia); Trisnawati, N. L. P., E-mail: nlptrisnawati@gmail.com [Biophysics, Department of Physics, Udayana University (Indonesia)

    2016-03-11

    Opinion dynamics model based on quantum formalism is proposed. The core of the quantum formalism is on the half spin dynamics system. In this research the implicit time evolution operators are derived. The analogy between the model with Deffuant dan Sznajd models is discussed.

  4. A computational formalization for partial evaluation

    DEFF Research Database (Denmark)

    Hatcliff, John; Danvy, Olivier

    1997-01-01

    We formalize a partial evaluator for Eugenio Moggi's computational metalanguage. This formalization gives an evaluation-order independent view of binding-time analysis and program specialization, including a proper treatment of call unfolding. It also enables us to express the essence of `control...

  5. Rapid Prototyping of Formally Modelled Distributed Systems

    OpenAIRE

    Buchs, Didier; Buffo, Mathieu; Titsworth, Frances M.

    1999-01-01

    This paper presents various kinds of prototypes, used in the prototyping of formally modelled distributed systems. It presents the notions of prototyping techniques and prototype evolution, and shows how to relate them to the software life-cycle. It is illustrated through the use of the formal modelling language for distributed systems CO-OPN/2.

  6. Formal analysis of a fair payment protocol

    NARCIS (Netherlands)

    J.G. Cederquist; M.T. Dashti (Mohammad)

    2004-01-01

    textabstractWe formally specify a payment protocol. This protocol is intended for fair exchange of time-sensitive data. Here the ?-CRL language is used to formalize the protocol. Fair exchange properties are expressed in the regular alternation-free ?-calculus. These properties are then verified

  7. Formal Analysis of a Fair Payment Protocol

    NARCIS (Netherlands)

    Cederquist, J.G.; Dashti, M.T.

    2004-01-01

    We formally specify a payment protocol. This protocol is intended for fair exchange of timesensitive data. Here the μCRL language is used to formalize the protocol. Fair exchange properties are expressed in the regular alternation-free μ-calculus. These properties are then verified using the finite

  8. Formal Analysis of a Fair Payment Protocol

    NARCIS (Netherlands)

    Cederquist, J.G.; Dashti, Muhammad Torabi; Dimitrakos, Theo; Martinelli, Fabio

    We formally specify a payment protocol described by Vogt et al. This protocol is intended for fair exchange of time-sensitive data. Here the mCRL language is used to formalize the protocol. Fair exchange properties are expressed in the regular alternation-free mu-calculus. These properties are then

  9. On Fitting a Formal Method into Practice

    DEFF Research Database (Denmark)

    Gmehlich, Rainer; Grau, Katrin; Hallerstede, Stefan

    2011-01-01

    . The interaction between the two proved to be crucial for the success of the case study. The heart of the problem was tracing informal requirements from Problem Frames descriptions to formal Event-B models. To a large degree, this issue dictated the approach that had to be used for formal modelling. A dedicated...

  10. A Conceptual Formalization of Crosscutting in AOSD

    NARCIS (Netherlands)

    van den Berg, Klaas; Conejero, J.M.

    2005-01-01

    We propose a formalization of crosscutting based on a conceptual framework for AOSD. Crosscutting is clearly distinguished from the related concepts scattering and tangling. The definitions of these concepts are formalized and visualized with matrices and matrix operations. This allows more precise

  11. Tremor entities and their classification: an update.

    Science.gov (United States)

    Gövert, Felix; Deuschl, Günther

    2015-08-01

    This review focuses on important new findings in the field of tremor and illustrates the consequences for the current definition and classification of tremor. Since 1998 when the consensus criteria for tremor were proposed, new variants of tremors and new diagnostic methods were discovered that have changed particularly the concepts of essential tremor and dystonic tremor. Accumulating evidence exists that essential tremor is not a single entity rather different conditions that share the common symptom action tremor without other major abnormalities. Tremor is a common feature in patients with adult-onset focal dystonia and may involve several different body parts and forms of tremor. Recent advances, in particular, in the field of genetics, suggest that dystonic tremor may even be present without overt dystonia. Monosymptomatic asymmetric rest and postural tremor has been further delineated, and apart from tremor-dominant Parkinson's disease, there are several rare conditions including rest and action tremor with normal dopamine transporter imaging (scans without evidence of dopaminergic deficit) and essential tremor with tremor at rest. Increasing knowledge in the last decades changed the view on tremors and highlights several caveats in the current tremor classification. Given the ambiguous assignment between tremor phenomenology and tremor etiology, a more cautious definition of tremors on the basis of clinical assessment data is needed.

  12. Building entity models through observation and learning

    Science.gov (United States)

    Garcia, Richard; Kania, Robert; Fields, MaryAnne; Barnes, Laura

    2011-05-01

    To support the missions and tasks of mixed robotic/human teams, future robotic systems will need to adapt to the dynamic behavior of both teammates and opponents. One of the basic elements of this adaptation is the ability to exploit both long and short-term temporal data. This adaptation allows robotic systems to predict/anticipate, as well as influence, future behavior for both opponents and teammates and will afford the system the ability to adjust its own behavior in order to optimize its ability to achieve the mission goals. This work is a preliminary step in the effort to develop online entity behavior models through a combination of learning techniques and observations. As knowledge is extracted from the system through sensor and temporal feedback, agents within the multi-agent system attempt to develop and exploit a basic movement model of an opponent. For the purpose of this work, extraction and exploitation is performed through the use of a discretized two-dimensional game. The game consists of a predetermined number of sentries attempting to keep an unknown intruder agent from penetrating their territory. The sentries utilize temporal data coupled with past opponent observations to hypothesize the probable locations of the opponent and thus optimize their guarding locations.

  13. Industrial Practice in Formal Methods : A Review

    DEFF Research Database (Denmark)

    Bicarregui, Juan C.; Fitzgerald, John; Larsen, Peter Gorm

    2009-01-01

    We examine the the industrial application of formal methods using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal methods are being applied in a wide range of application domains, with increasingly strong tool support. Significant chal...... challenges remain in providing usable tools that can be integrated into established development processes; in education and training; in taking formal methods from first use to second use, and in gathering and evidence to support informed selection of methods and tools.......We examine the the industrial application of formal methods using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal methods are being applied in a wide range of application domains, with increasingly strong tool support. Significant...

  14. SBME : Exploring boundaries between formal, non-formal, and informal learning

    OpenAIRE

    Shahoumian, Armineh; Parchoma, Gale; Saunders, Murray; Hanson, Jacky; Dickinson, Mike; Pimblett, Mark

    2013-01-01

    In medical education learning extends beyond university settings into practice. Non-formal and informal learning support learners’ efforts to meet externally set and learner-identified objectives. In SBME research, boundaries between formal, non-formal, and informal learning have not been widely explored. Whether SBME fits within or challenges these categories can make a contribution. Formal learning is described in relation to educational settings, planning, assessment, and accreditation. In...

  15. Improving Learner Outcomes in Lifelong Education: Formal Pedagogies in Non-Formal Learning Contexts?

    Science.gov (United States)

    Zepke, Nick; Leach, Linda

    2006-01-01

    This article explores how far research findings about successful pedagogies in formal post-school education might be used in non-formal learning contexts--settings where learning may not lead to formal qualifications. It does this by examining a learner outcomes model adapted from a synthesis of research into retention. The article first…

  16. 14 CFR Sec. 1-6 - Accounting entities.

    Science.gov (United States)

    2010-01-01

    ... 14 Aeronautics and Space 4 2010-01-01 2010-01-01 false Accounting entities. Sec. 1-6 Section 1-6... REGULATIONS UNIFORM SYSTEM OF ACCOUNTS AND REPORTS FOR LARGE CERTIFICATED AIR CARRIERS General Accounting Provisions Sec. 1-6 Accounting entities. (a) Separate accounting records shall be maintained for each air...

  17. Operation of a business entity in the context of globalization

    OpenAIRE

    PAYONK K.; LYASHENKO V.; KVILINSKYI O.

    2015-01-01

    The article looks into the problems connected with the operation of a business entity in the context of globalization of economic processes. Interaction of economic systems has been analyzed from the perspective of a business entity on the example of Ukraine. There have been suggested methods of assessment and benchmark definition for choosing strategic directions of a business development.

  18. 78 FR 45051 - Unincorporated Business Entities; Effective Date

    Science.gov (United States)

    2013-07-26

    ... under State law for certain business activities. In accordance with the law, the effective date of the...) institutions' use of unincorporated business entities (UBEs) organized under State law for certain business... business entities, such as unincorporated business trusts, organized under State law. The final rule does...

  19. Minimizing Co-location Potential of Moving Entities

    NARCIS (Netherlands)

    Evans, Will; Kirkpatrick, David; Löffler, Maarten; Staals, Frank

    2016-01-01

    We study the problem of maintaining knowledge of the locations of $n$ entities that are moving, each with some, possibly different, upper bound on their speed. We assume a setting where we can query the current location of any one entity, but this query takes a unit of time, during which we cannot

  20. 43 CFR 426.8 - Nonresident aliens and foreign entities.

    Science.gov (United States)

    2010-10-01

    ... 43 Public Lands: Interior 1 2010-10-01 2010-10-01 false Nonresident aliens and foreign entities..., DEPARTMENT OF THE INTERIOR ACREAGE LIMITATION RULES AND REGULATIONS § 426.8 Nonresident aliens and foreign... reclamation law or these regulations, a nonresident alien or foreign entity that directly holds land in a...

  1. 78 FR 21603 - Proposed Reporting Entity; Request for Comments

    Science.gov (United States)

    2013-04-11

    ... FEDERAL ACCOUNTING STANDARDS ADVISORY BOARD Proposed Reporting Entity; Request for Comments AGENCY... seeking input on a proposed Statement of Federal Financial Accounting Standards addressing the Reporting Entity. The Standard is available at http://www.fasab.gov/board-activities/documents-for-comment/exposure...

  2. Event-Entity-Relationship Modeling in Data Warehouse Environments

    DEFF Research Database (Denmark)

    Bækgaard, Lars

    We use the event-entity-relationship model (EVER) to illustrate the use of entity-based modeling languages for conceptual schema design in data warehouse environments. EVER is a general-purpose information modeling language that supports the specification of both general schema structures and multi...

  3. 26 CFR 1.892-5 - Controlled commercial entity.

    Science.gov (United States)

    2010-04-01

    ... 26 Internal Revenue 9 2010-04-01 2010-04-01 false Controlled commercial entity. 1.892-5 Section 1.892-5 Internal Revenue INTERNAL REVENUE SERVICE, DEPARTMENT OF THE TREASURY (CONTINUED) INCOME TAX (CONTINUED) INCOME TAXES Miscellaneous Provisions § 1.892-5 Controlled commercial entity. (a)-(a)(2...

  4. A generic open world named entity disambiguation approach for tweets

    NARCIS (Netherlands)

    Habib, Mena Badieh; van Keulen, Maurice

    Social media is a rich source of information. To make use of this information, it is sometimes required to extract and disambiguate named entities. In this paper we focus on named entity disambiguation (NED) in twitter messages. NED in tweets is challenging in two ways. First, the limited length of

  5. Named entity recognition in a South African context

    CSIR Research Space (South Africa)

    De Waal, AJ

    2006-10-01

    Full Text Available Named Entity Recognition (NER) is the process of identifying occurrences of words or expressions as belonging to a particular category of a Named Entity (NE).The aim of the project was to test the feasibility of a probabilistic NER system using...

  6. ACADEMIC TRAINING

    CERN Multimedia

    Françoise Benz

    2002-01-01

    25, 26, 27, 28 February and 1st March from 11.00 to 12.00 hrs - Auditorium, bldg. 500 LECTURE SERIES Neutrino masses and oscillations by A. de Rujula / CERN-TH This course will not cover its subject in the customary way. The emphasis will be on the simple theoretical concepts (helicity, handedness, chirality, Majorana masses) which are obscure in most of the literature, and on the quantum mechanics of oscillations, that ALL books get wrong. Which, hopefully, will not deter me from discussing some of the most interesting results from the labs and from the cosmos. Academic Training Françoise Benz Secretariat Tel. 73127 francoise.benz@cern.ch

  7. Academic Activities Transaction Extraction Based on Deep Belief Network

    Directory of Open Access Journals (Sweden)

    Xiangqian Wang

    2017-01-01

    Full Text Available Extracting information about academic activity transactions from unstructured documents is a key problem in the analysis of academic behaviors of researchers. The academic activities transaction includes five elements: person, activities, objects, attributes, and time phrases. The traditional method of information extraction is to extract shallow text features and then to recognize advanced features from text with supervision. Since the information processing of different levels is completed in steps, the error generated from various steps will be accumulated and affect the accuracy of final results. However, because Deep Belief Network (DBN model has the ability to automatically unsupervise learning of the advanced features from shallow text features, the model is employed to extract the academic activities transaction. In addition, we use character-based feature to describe the raw features of named entities of academic activity, so as to improve the accuracy of named entity recognition. In this paper, the accuracy of the academic activities extraction is compared by using character-based feature vector and word-based feature vector to express the text features, respectively, and with the traditional text information extraction based on Conditional Random Fields. The results show that DBN model is more effective for the extraction of academic activities transaction information.

  8. EVALUATION METHODS USED FOR TANGIBLE ASSETS BY ECONOMIC ENTITIES

    Directory of Open Access Journals (Sweden)

    Csongor CSŐSZ

    2014-06-01

    Full Text Available At many entities the net asset value is influenced by the evaluation methods applied for tangible assets, because the value of intangible assets and financial assets is small in most cases. The objective of this paper is to analyze the differences between the procedures / methods of evaluation applied by micro and small entities and medium and large entities for tangible assets in Romania and Hungary. Furthermore, we analyze the differences between the procedures / methods of evaluation applied by micro and small entities in Romania and Hungary, respectively the differences between medium and large entities regarding de evaluation methods for tangible assets in Romania and Hungary. For this empirical study the questionnaire is used – as research technique, and to demonstrate the significant differences between the evaluation methods we used the Kolmogorov – Smirnov Z test.

  9. Audiovisual interpretative skills: between textual culture and formalized literacy

    Directory of Open Access Journals (Sweden)

    Estefanía Jiménez, Ph. D.

    2010-01-01

    Full Text Available This paper presents the results of a study on the process of acquiring interpretative skills to decode audiovisual texts among adolescents and youth. Based on the conception of such competence as the ability to understand the meanings connoted beneath the literal discourses of audiovisual texts, this study compared two variables: the acquisition of such skills from the personal and social experience in the consumption of audiovisual products (which is affected by age difference, and, on the second hand, the differences marked by the existence of formalized processes of media literacy. Based on focus groups of young students, the research assesses the existing academic debate about these processes of acquiring skills to interpret audiovisual materials.

  10. Formal Analysis Of Use Case Diagrams

    Directory of Open Access Journals (Sweden)

    Radosław Klimek

    2010-01-01

    Full Text Available Use case diagrams play an important role in modeling with UML. Careful modeling is crucialin obtaining a correct and efficient system architecture. The paper refers to the formalanalysis of the use case diagrams. A formal model of use cases is proposed and its constructionfor typical relationships between use cases is described. Two methods of formal analysis andverification are presented. The first one based on a states’ exploration represents a modelchecking approach. The second one refers to the symbolic reasoning using formal methodsof temporal logic. Simple but representative example of the use case scenario verification isdiscussed.

  11. Towards Formal Implementation of PUS Standard

    Science.gov (United States)

    Ilić, D.

    2009-05-01

    As an effort to promote the reuse of on-board and ground systems ESA developed a standard for packet telemetry and telecommand - PUS. It defines a set of standard service models with the corresponding structures of the associated telemetry and telecommand packets. Various missions then can choose to implement those standard PUS services that best conform to their specific requirements. In this paper we propose a formal development (based on the Event-B method) of reusable service patterns, which can be instantiated for concrete application. Our formal models allow us to formally express and verify specific service properties including various telecommand and telemetry packet structure validation.

  12. SELF-EFFICACY OF FORMALLY AND NON-FORMALLY TRAINED PUBLIC SECTOR TEACHERS

    Directory of Open Access Journals (Sweden)

    Muhammad Nadeem ANWAR

    2009-07-01

    Full Text Available The main objective of the study was to compare the formally and non-formally trained in-service public sector teachers’ Self-efficacy. Five hypotheses were developed describing no difference in the self-efficacy of formally and non-formally trained teachers to influence decision making, influence school resources, instructional self-efficacy, disciplinary self-efficacy and create positive school climate. Teacher Efficacy Instrument (TSES developed by Bandura (2001 consisting of thirty 9-point items was used in the study. 342 formally trained and 255 non-formally trained respondents’ questionnaires were received out of 1500 mailed. The analysis of data revealed that the formally trained public sector teachers are high in their self-efficacy on all the five categories: to influence decision making, to influence school resources, instructional self-efficacy, disciplinary self-efficacy and self-efficacy to create positive school climate.

  13. The formalization of innovative processes of food technology equipment

    Directory of Open Access Journals (Sweden)

    V. A. Panfilov

    2016-01-01

    Full Text Available Improving the efficiency of scientific and engineering work to develop methods for converting agricultural raw materials into food is the most important condition of output processing and food sectors of agriculture in the sixth technological structure. The purpose of this article is to formalize the process of creating a progressive technique of food technologies. The process of self-organizing technological systems, presents a model of dual mechanism of control with regard to the processes of food technology. It is shown that in the process of adaptation development of the technological system as purposefully improving the structure and functioning of the system: increases the efficiency of interaction with the external environment. This smoothed out the contradictions of the technological system and its the main thing, the main technical contradiction: «productivity – quality». The steps to be taken to ensure that the technological system of conditions for intensive development. It is concluded that the potential development of some technological systems is hidden in the perspective of automation, and others – is associated with adaptive development processes, in particular machines, devices and bioreactors. The paper shows that innovative and truly breakthrough developments leading to the creation of fundamentally new equipment and new generations of technological systems, possible only with the establishment of patterns of organization, structure, functioning and development of open systems, which are modern technologies of agriculture. The mechanism of control of technological object acts as a core of adaptive development, which implements the anti-entropic entity management object, formalizing the innovation process of innovative food processing technologies.

  14. The Evaluation of Enhanced Academic Instruction in After-School Programs: Final Report. NCEE 2009-4077

    Science.gov (United States)

    Black, Alison Rebeck; Somers, Marie-Andree; Doolittle, Fred; Unterman, Rebecca; Grossman, Jean Baldwin

    2009-01-01

    The primary purpose of this study is to determine whether providing structured academic instruction in reading or math to students in grades two to five during their afterschool hours--instead of the less formal academic supports offered in regular after-school programs-- improves their academic performance in the subject. This is the second and…

  15. Emotional Intelligence, Academic Procrastination and Academic ...

    African Journals Online (AJOL)

    Itwas therefore recommended that efforts should be made to look into other pressing factors like self-esteem, teacher's attitude, student's attitude, parental background among others which may be influencing student's poor academic achievement. Key words: Emotional Intelligence, Academic Procrastination, Academic ...

  16. Toward a formal ontology for narrative

    Directory of Open Access Journals (Sweden)

    Ciotti, Fabio

    2016-03-01

    Full Text Available In this paper the rationale and the first draft of a formal ontology for modeling narrative texts are presented. Building on the semiotic and structuralist narratology, and on the work carried out in the late 1980s by Giuseppe Gigliozzi in Italy, the focus of my research are the concepts of character and of narrative world/space. This formal model is expressed in the OWL 2 ontology language. The main reason to adopt a formal modeling approach is that I consider the purely probabilistic-quantitative methods (now widespread in digital literary studies inadequate. An ontology, on one hand provides a tool for the analysis of strictly literary texts. On the other hand (though beyond the scope of the present work, its formalization can also represent a significant contribution towards grounding the application of storytelling methods outside of scholarly contexts.

  17. A hydrodynamic formalism for Brownian systems

    International Nuclear Information System (INIS)

    Pina, E.; Rosales, M.A.

    1981-01-01

    A formal hydrodynamic approach to Brownian motion is presented and the corresponding equations are derived. Hydrodynamic quantities are expressed in terms of the physical variables characterizing the Brownian systems. Contact is made with the hydrodynamic model of Quantum Mechanics. (author)

  18. Infinitesimal Deformations of a Formal Symplectic Groupoid

    Science.gov (United States)

    Karabegov, Alexander

    2011-09-01

    Given a formal symplectic groupoid G over a Poisson manifold ( M, π 0), we define a new object, an infinitesimal deformation of G, which can be thought of as a formal symplectic groupoid over the manifold M equipped with an infinitesimal deformation {π_0 + \\varepsilon π_1} of the Poisson bivector field π 0. To any pair of natural star products {(ast,tildeast)} having the same formal symplectic groupoid G we relate an infinitesimal deformation of G. We call it the deformation groupoid of the pair {(ast,tildeast)} . To each star product with separation of variables {ast} on a Kähler-Poisson manifold M we relate another star product with separation of variables {hatast} on M. We build an algorithm for calculating the principal symbols of the components of the logarithm of the formal Berezin transform of a star product with separation of variables {ast} . This algorithm is based upon the deformation groupoid of the pair {(ast,hatast)}.

  19. Does Formal Environmental Knowledge Inform the Everyday ...

    African Journals Online (AJOL)

    How do senior secondary biology learners from three schools in Lesotho use this ... environmental literacy as a goal of science education is mentioned. ..... formal schooling context) or actions informed by informal information, which we ...

  20. Towards a Formal Treatment of Implicit Invocation

    National Research Council Canada - National Science Library

    Dingel, J

    1997-01-01

    .... A formal computational model for implicit invocation is presented. We develop a verification framework for implicit invocation that is based on Jones' rely/guarantee reasoning for concurrent systems Jon83,St(phi)91...

  1. Formal education of curriculum and instructional designers

    NARCIS (Netherlands)

    McKenney, Susan; Visscher-Voerman, Irene

    2013-01-01

    McKenney, S., & Visscher-Voerman, I. (2013). Formal education of curriculum and instructional designers. Educational Designer, 2(6). Available online: http://www.educationaldesigner.org/ed/volume2/issue6/article20/index.htm

  2. Transitions from Formal Education to the Workplace

    Science.gov (United States)

    Olson, Joann S.

    2014-01-01

    This chapter frames the transition to adulthood in the context of the moving from formal educational settings to the often less-structured learning that occurs in workplace settings. Although schooling may end, learning continues.

  3. Statistical Survey of Non-Formal Education

    Directory of Open Access Journals (Sweden)

    Ondřej Nývlt

    2012-12-01

    Full Text Available focused on a programme within a regular education system. Labour market flexibility and new requirements on employees create a new domain of education called non-formal education. Is there a reliable statistical source with a good methodological definition for the Czech Republic? Labour Force Survey (LFS has been the basic statistical source for time comparison of non-formal education for the last ten years. Furthermore, a special Adult Education Survey (AES in 2011 was focused on individual components of non-formal education in a detailed way. In general, the goal of the EU is to use data from both internationally comparable surveys for analyses of the particular fields of lifelong learning in the way, that annual LFS data could be enlarged by detailed information from AES in five years periods. This article describes reliability of statistical data aboutnon-formal education. This analysis is usually connected with sampling and non-sampling errors.

  4. Towards a Formal Model of Social Data

    DEFF Research Database (Denmark)

    Mukkamala, Raghava Rao; Vatrapu, Ravi; Hussain, Abid

    , transform, analyse, and report social data from social media platforms such as Facebook and twitter. Formal methods, models and tools for social data are largely limited to graph theoretical approaches informing conceptual developments in relational sociology and methodological developments in social...... network analysis. As far as we know, there are no integrated modeling approaches to social data across the conceptual, formal and software realms. Social media analytics can be undertaken in two main ways - ”Social Graph Analytics” and ”Social Text Analytics” (Vatrapu, in press/2013). Social graph......, we exemplify the semantics of the formal model with real-world social data examples. Third, we briefly present and discuss the Social Data Analytics Tool (SODATO) that realizes the conceptual model in software and provisions social data for computational social science analysis based on the formal...

  5. Formalisms for reuse and systems integration

    CERN Document Server

    Rubin, Stuart

    2015-01-01

    Reuse and integration are defined as synergistic concepts, where reuse addresses how to minimize redundancy in the creation of components; while, integration focuses on component composition. Integration supports reuse and vice versa. These related concepts support the design of software and systems for maximizing performance while minimizing cost. Knowledge, like data, is subject to reuse; and, each can be interpreted as the other. This means that inherent complexity, a measure of the potential utility of a system, is directly proportional to the extent to which it maximizes reuse and integration. Formal methods can provide an appropriate context for the rigorous handling of these synergistic concepts. Furthermore, formal languages allow for non ambiguous model specification; and, formal verification techniques provide support for insuring the validity of reuse and integration mechanisms.   This edited book includes 12 high quality research papers written by experts in formal aspects of reuse and integratio...

  6. El Salvador - Non-Formal Skills Development

    Data.gov (United States)

    Millennium Challenge Corporation — The Non-Formal Skills Development Sub-Activity had a budget of $5 million (USD) to provide short-term training to vulnerable populations in El Salvador's Northern...

  7. Film for Non-Formal Education.

    Science.gov (United States)

    Jenkins, Janet

    1979-01-01

    Looks at educational factors in using television or cinema film for non-formal education in developing nations. Styles of presentation in films are discussed, and suggestions are made for assessing effectiveness. (JEG)

  8. Formal solutions of inverse scattering problems. III

    International Nuclear Information System (INIS)

    Prosser, R.T.

    1980-01-01

    The formal solutions of certain three-dimensional inverse scattering problems presented in papers I and II of this series [J. Math. Phys. 10, 1819 (1969); 17 1175 (1976)] are obtained here as fixed points of a certain nonlinear mapping acting on a suitable Banach space of integral kernels. When the scattering data are sufficiently restricted, this mapping is shown to be a contraction, thereby establishing the existence, uniqueness, and continuous dependence on the data of these formal solutions

  9. Formalization of Many-Valued Logics

    DEFF Research Database (Denmark)

    Villadsen, Jørgen; Schlichtkrull, Anders

    2017-01-01

    Partiality is a key challenge for computational approaches to artificial intelligence in general and natural language in particular. Various extensions of classical two-valued logic to many-valued logics have been investigated in order to meet this challenge. We use the proof assistant Isabelle...... to formalize the syntax and semantics of many-valued logics with determinate as well as indeterminate truth values. The formalization allows for a concise presentation and makes automated verification possible....

  10. Young People, Entrepreneurship And Non Formal Learning

    OpenAIRE

    Pantea, Maria-Carmen; Diroescu, Raluca; Podlasek-Ziegler, Maria

    2016-01-01

    The book was published by SALTO-Youth Participation, a Resource Centre of the European Commission. It looks into the relationship between youth work (non-formal learning) and entrepreneurship. The book explores the theoretical developments in the field, the ethical dilemmas and tensions, and proposes practice-oriented information: illustrative examples, strategies for action and methods of non-formal education. Structured in 24 chapters, the book is an opportunity to open up debates and quest...

  11. Improved formalism for precision Higgs coupling fits

    Science.gov (United States)

    Barklow, Tim; Fujii, Keisuke; Jung, Sunghoon; Karl, Robert; List, Jenny; Ogawa, Tomohisa; Peskin, Michael E.; Tian, Junping

    2018-03-01

    Future e+e- colliders give the promise of model-independent determinations of the couplings of the Higgs boson. In this paper, we present an improved formalism for extracting Higgs boson couplings from e+e- data, based on the effective field theory description of corrections to the Standard Model. We apply this formalism to give projections of Higgs coupling accuracies for stages of the International Linear Collider and for other proposed e+e- colliders.

  12. Improved formalism for precision Higgs coupling fits

    International Nuclear Information System (INIS)

    Barklow, Tim; Peskin, Michael E.; Jung, Sunghoon; Tian, Junping

    2017-08-01

    Future e + e - colliders give the promise of model-independent determinations of the couplings of the Higgs boson. In this paper, we present an improved formalism for extracting Higgs boson couplings from e + e - data, based on the Effective Field Theory description of corrections to the Standard Model. We apply this formalism to give projections of Higgs coupling accuracies for stages of the International Linear Collider and for other proposed e + e - colliders.

  13. A computational formalization for partial evaluation

    DEFF Research Database (Denmark)

    Hatcliff, John; Danvy, Olivier

    1996-01-01

    We formalize a partial evaluator for Eugenio Moggi's computational metalanguage. This formalization gives an evaluation-order independent view of binding-time analysis and program specialization, including a proper treatment of call unfolding. It also enables us to express the essence of `control......-based binding-time improvements' for let expressions. Specically, we prove that the binding-time improvements given by `continuation-based specialization' can be expressed in the metalanguage via monadic laws....

  14. Formal description of the jumpstart just-in-time signaling protocol using EFSM

    Science.gov (United States)

    Zaim, A. H.; Baldine, Ilia; Cassada, Mark; Rouskas, George N.; Perros, Harry G.; Stevenson, Daniel S.

    2002-07-01

    We present a formal protocol description for a Just-In-Time (JIT) signaling scheme running over a core dWDM network which utilizes Optical Burst Switches (OBS). We apply an eight-tuple extended finite state machine (EFSM) model to formally specify the protocol. Using the EFSM model, we define the communication between a source client node and a destination client node through an ingress and one or multiple intermediate switches. We worked on single burst connections that means setting up the connection just before sending a single burst and then closing the connection as soon as the burst is sent. The communication between the EFSMs is handled through message transfer between protocol entities.

  15. Application of Formal Methods in Software Engineering

    Directory of Open Access Journals (Sweden)

    Adriana Morales

    2011-12-01

    Full Text Available The purpose of this research work is to examine: (1 why are necessary the formal methods for software systems today, (2 high integrity systems through the methodology C-by-C –Correctness-by-Construction–, and (3 an affordable methodology to apply formal methods in software engineering. The research process included reviews of the literature through Internet, in publications and presentations in events. Among the Research results found that: (1 there is increasing the dependence that the nations have, the companies and people of software systems, (2 there is growing demand for software Engineering to increase social trust in the software systems, (3 exist methodologies, as C-by-C, that can provide that level of trust, (4 Formal Methods constitute a principle of computer science that can be applied software engineering to perform reliable process in software development, (5 software users have the responsibility to demand reliable software products, and (6 software engineers have the responsibility to develop reliable software products. Furthermore, it is concluded that: (1 it takes more research to identify and analyze other methodologies and tools that provide process to apply the Formal Software Engineering methods, (2 Formal Methods provide an unprecedented ability to increase the trust in the exactitude of the software products and (3 by development of new methodologies and tools is being achieved costs are not more a disadvantage for application of formal methods.

  16. Formality of the Chinese collective leadership.

    Science.gov (United States)

    Li, Haiying; Graesser, Arthur C

    2016-09-01

    We investigated the linguistic patterns in the discourse of four generations of the collective leadership of the Communist Party of China (CPC) from 1921 to 2012. The texts of Mao Zedong, Deng Xiaoping, Jiang Zemin, and Hu Jintao were analyzed using computational linguistic techniques (a Chinese formality score) to explore the persuasive linguistic features of the leaders in the contexts of power phase, the nation's education level, power duration, and age. The study was guided by the elaboration likelihood model of persuasion, which includes a central route (represented by formal discourse) versus a peripheral route (represented by informal discourse) to persuasion. The results revealed that these leaders adopted the formal, central route more when they were in power than before they came into power. The nation's education level was a significant factor in the leaders' adoption of the persuasion strategy. The leaders' formality also decreased with their increasing age and in-power times. However, the predictability of these factors for formality had subtle differences among the different types of leaders. These results enhance our understanding of the Chinese collective leadership and the role of formality in politically persuasive messages.

  17. Formal Ontologies and Uncertainty. In Geographical Knowledge

    Directory of Open Access Journals (Sweden)

    Matteo Caglioni

    2014-05-01

    Full Text Available Formal ontologies have proved to be a very useful tool to manage interoperability among data, systems and knowledge. In this paper we will show how formal ontologies can evolve from a crisp, deterministic framework (ontologies of hard knowledge to new probabilistic, fuzzy or possibilistic frameworks (ontologies of soft knowledge. This can considerably enlarge the application potential of formal ontologies in geographic analysis and planning, where soft knowledge is intrinsically linked to the complexity of the phenomena under study.  The paper briefly presents these new uncertainty-based formal ontologies. It then highlights how ontologies are formal tools to define both concepts and relations among concepts. An example from the domain of urban geography finally shows how the cause-to-effect relation between household preferences and urban sprawl can be encoded within a crisp, a probabilistic and a possibilistic ontology, respectively. The ontology formalism will also determine the kind of reasoning that can be developed from available knowledge. Uncertain ontologies can be seen as the preliminary phase of more complex uncertainty-based models. The advantages of moving to uncertainty-based models is evident: whether it is in the analysis of geographic space or in decision support for planning, reasoning on geographic space is almost always reasoning with uncertain knowledge of geographic phenomena.

  18. Employee turnover and productivity among small business entities in Nigeria

    Directory of Open Access Journals (Sweden)

    John N. N. Ugoani

    2016-12-01

    Full Text Available This study was designed to evaluate the problems of employee turnover on productivity among small business entities in Nigeria, and recommend remedial actions. Employee turnover is the separation of employees from employers and replacement with other employees. Productive manpower is a critical element for the economic survival of any small business entity. The survey research design was used for the study. The sample comprised of 320 respondents. Data generated were analyzed by using descriptive, and Z-test statistical techniques. It was found that employee turnover adversely affects productivity in small business entities.

  19. CONSIDERATION REGARDING CURRENT ASSETS IN THE CONSTRUCTION ENTITIES

    Directory of Open Access Journals (Sweden)

    Laura Adriana COJOCARU (ALIONESCU

    2014-06-01

    Full Text Available Accounting for current assets mainly aims to obtain useful information on the management of their best in order to make management decisions. Counting efficiency of these assets, their importance, provides improved performance of the entity. In this paper we want to study the degree of implementation of policies and accounting treatments on the current assets in the specific construction economic entities, the problems of implementation and thus better addressing their theoretical and procedural to improve the information provided by financial statements. Due to the importance of proper conduct of business owned entities, accounting current assets should result in optimal and efficient control of current assets.

  20. Controlled mutual quantum entity authentication using entanglement swapping

    International Nuclear Information System (INIS)

    Kang, Min-Sung; Hong, Chang-Ho; Heo, Jino; Lim, Jong-In; Yang, Hyung-Jin

    2015-01-01

    In this paper, we suggest a controlled mutual quantum entity authentication protocol by which two users mutually certify each other on a quantum network using a sequence of Greenberger–Horne–Zeilinger (GHZ)-like states. Unlike existing unidirectional quantum entity authentication, our protocol enables mutual quantum entity authentication utilizing entanglement swapping; moreover, it allows the managing trusted center (TC) or trusted third party (TTP) to effectively control the certification of two users using the nature of the GHZ-like state. We will also analyze the security of the protocol and quantum channel. (paper)

  1. IDENTIFYING AND IMPLEMENTATION OF THE FINANCING SOURCES OF TOURIST ENTITIES

    Directory of Open Access Journals (Sweden)

    Gabriela DAVID

    2015-12-01

    Full Text Available Located at the intersection of the two spheres (tourism markets and financial ones, the tourism entity in Romania is interested in finding the formula to assure optimum financing by attracting financial resources in the field, on the one hand and on the other hand it is interested in meeting the high demand for profit from tourism and economic sphere. The objective determinant of Romanian tourism entity is to maximize the value by carrying out a profitable activity. The touristic entity must obtain profit to generate sufficient funds to distribute cash dividends to shareholders, while paying creditors at a favorable interest on borrowed funds.

  2. Formal total syntheses of classic natural product target molecules via palladium-catalyzed enantioselective alkylation

    Directory of Open Access Journals (Sweden)

    Yiyang Liu

    2014-10-01

    Full Text Available Pd-catalyzed enantioselective alkylation in conjunction with further synthetic elaboration enables the formal total syntheses of a number of “classic” natural product target molecules. This publication highlights recent methods for setting quaternary and tetrasubstituted tertiary carbon stereocenters to address the synthetic hurdles encountered over many decades across multiple compound classes spanning carbohydrate derivatives, terpenes, and alkaloids. These enantioselective methods will impact both academic and industrial settings, where the synthesis of stereogenic quaternary carbons is a continuing challenge.

  3. Chemical Entity Semantic Specification: Knowledge representation for efficient semantic cheminformatics and facile data integration

    Science.gov (United States)

    2011-01-01

    Background Over the past several centuries, chemistry has permeated virtually every facet of human lifestyle, enriching fields as diverse as medicine, agriculture, manufacturing, warfare, and electronics, among numerous others. Unfortunately, application-specific, incompatible chemical information formats and representation strategies have emerged as a result of such diverse adoption of chemistry. Although a number of efforts have been dedicated to unifying the computational representation of chemical information, disparities between the various chemical databases still persist and stand in the way of cross-domain, interdisciplinary investigations. Through a common syntax and formal semantics, Semantic Web technology offers the ability to accurately represent, integrate, reason about and query across diverse chemical information. Results Here we specify and implement the Chemical Entity Semantic Specification (CHESS) for the representation of polyatomic chemical entities, their substructures, bonds, atoms, and reactions using Semantic Web technologies. CHESS provides means to capture aspects of their corresponding chemical descriptors, connectivity, functional composition, and geometric structure while specifying mechanisms for data provenance. We demonstrate that using our readily extensible specification, it is possible to efficiently integrate multiple disparate chemical data sources, while retaining appropriate correspondence of chemical descriptors, with very little additional effort. We demonstrate the impact of some of our representational decisions on the performance of chemically-aware knowledgebase searching and rudimentary reaction candidate selection. Finally, we provide access to the tools necessary to carry out chemical entity encoding in CHESS, along with a sample knowledgebase. Conclusions By harnessing the power of Semantic Web technologies with CHESS, it is possible to provide a means of facile cross-domain chemical knowledge integration with full

  4. Educational Process Reengineering and Diffusion of Innovation in Formal Learning Environment

    DEFF Research Database (Denmark)

    Khalid, Md. Saifuddin; Hossain, Mohammad Shahadat; Rongbutsri, Nikorn

    2011-01-01

    administration and evaluation and assessment. Educational environments are flexible and not governed by standard operating procedures, making technology use lithe. Theory of diffusion of innovations‟ is recommended to be integrated to reason and measure acceptance or rejection of EPR selected technology......In technology mediated learning while relative advantages of technologies is proven, lack of contextualization and process centric change, and lack of user driven change has kept intervention and adoption of educational technologies among individuals and organizations as challenges. Reviewing...... the formal, informal and non-formal learning environments, this study focuses on the formal part. This paper coins the term 'Educational Process Reengineering (EPR) based on the established concept of 'Business Process Reengineering (BPR) for process improvement of teaching learning activities, academic...

  5. Primary lacrimal canaliculitis – A clinical entity often misdiagnosed

    Directory of Open Access Journals (Sweden)

    Manpreet Singh

    2018-03-01

    Conclusion: PLC is a frequently misdiagnosed clinical entity which delays the initiation of appropriate treatment. A succinct magnified examination of punctum and canalicular region can provide sufficient clues pivotal for accurate diagnosis.

  6. Primary Ovarian Leiomyoma: An Uncommon Entity ‑ Case Report ...

    African Journals Online (AJOL)

    Journal of Basic and Clinical Reproductive Sciences · January - June 2013 · Vol 2 · Issue 1. 54 ... case report of primary ovarian leiomyoma, which is a rare entity, in a postmenopausal female with ... There were extensive areas of edema.

  7. Tourette syndrome, growth retardation, and platyspondyly: an entity?

    NARCIS (Netherlands)

    Scheper, Frederike Y.; Hennekam, Raoul C. M.

    2002-01-01

    A 14-year-old male is described with Tourette syndrome, platyspondyly, a marked delay in bone age, growth retardation that is more expressed in the limbs and talipes equinovarus. This appears to be a new entity

  8. 27 CFR 479.70 - Certain government entities.

    Science.gov (United States)

    2010-04-01

    ..., any State, or possession of the United States, any political subdivision thereof, or any official police organization of such a government entity engaged in criminal investigations. Any person making a...

  9. Knowledge environments representing molecular entities for the virtual physiological human.

    Science.gov (United States)

    Hofmann-Apitius, Martin; Fluck, Juliane; Furlong, Laura; Fornes, Oriol; Kolárik, Corinna; Hanser, Susanne; Boeker, Martin; Schulz, Stefan; Sanz, Ferran; Klinger, Roman; Mevissen, Theo; Gattermayer, Tobias; Oliva, Baldo; Friedrich, Christoph M

    2008-09-13

    In essence, the virtual physiological human (VPH) is a multiscale representation of human physiology spanning from the molecular level via cellular processes and multicellular organization of tissues to complex organ function. The different scales of the VPH deal with different entities, relationships and processes, and in consequence the models used to describe and simulate biological functions vary significantly. Here, we describe methods and strategies to generate knowledge environments representing molecular entities that can be used for modelling the molecular scale of the VPH. Our strategy to generate knowledge environments representing molecular entities is based on the combination of information extraction from scientific text and the integration of information from biomolecular databases. We introduce @neuLink, a first prototype of an automatically generated, disease-specific knowledge environment combining biomolecular, chemical, genetic and medical information. Finally, we provide a perspective for the future implementation and use of knowledge environments representing molecular entities for the VPH.

  10. Fraud Indicators Applied to Legal Entities : An Empirical Ranking Approach

    NARCIS (Netherlands)

    S. van den Braak; R. Choenni; M.S. Bargh

    2014-01-01

    Legal persons (i.e., entities such as corporations, companies, partnerships, firms, associations, and foundations) may commit financial crimes or employ fraudulent activities like money laundering, tax fraud, or bankruptcy fraud. Therefore, in the Netherlands legal persons are automatically screened

  11. What Challenges and Benefits Can Non-Formal Law and Language Integrated Learning Bring to University Students?

    Science.gov (United States)

    Atabekova, Atabekova; Gorbatenko, Rimma; Belousov, Aleksandr; Grebnev, Ruslan; Sheremetieva, Olga

    2016-01-01

    The paper explores the ways in which non-formal content and language integrated learning within university studies can affect students' academic progress. The research has included theoretical and empirical studies. The article focuses on the observation of students' learning process, draws attention to challenges and benefits students experienced…

  12. Considering the health care entity C corporation conversion to tax pass-through entity status.

    Science.gov (United States)

    Reilly, Robert F

    2012-01-01

    The double taxation of C corporation income from operations and from the ultimate sale of its assets makes the C corporation an inefficient tax status for many health care entities. At the time of this writing, the changes in the federal tax law that are scheduled to take effect in 2013 will increase this level of double-taxation inefficiency. The owners of a C corporation practice can avoid the C corporation status tax inefficiency by converting the practice to either (1) S corporation status or (2) LLC status. The conversion of the health care C corporation to an S corporation may be accomplished without a current tax cost. However, the conversion of a health care C corporation to an LLC status can result in a current tax at both the corporation level and the shareholder level. Nonetheless, the current conversion tax cost may be less than the future tax cost (1) of operating the practice as a C corporation and incurring double taxation at what may be higher tax rates or (2) of incurring the higher tax cost (or reduced price) on the ultimate disposition of the practice assets and the attendant double taxation of the appreciation in the value of the practice assets. Since individual income tax rates on qualifying dividends from C corporations and on capital gains are currently at very low rates, this may be a good time for C corporation practice owners to consider the costs and benefits of a conversion to either S corporation status or LLC status. The practice owners should consult with their accounting, legal, and valuation advisors in order to consider all of the costs and benefits of a possible corporate tax status conversion. An estimation of both the costs and benefits of the corporate tax status conversion depends on the concluded fair market values of the medical practice, dental practice, or other health care entity assets. And, that practice asset appraisal should encompass all of the practice assets, both tangible assets and intangible assets.

  13. Guidelines for enhancing learning curiosity of non-formal student using daily life context

    Directory of Open Access Journals (Sweden)

    Mongkondaw Ornwipa

    2016-01-01

    Full Text Available The purposes of this study were: to study learning curiosity within student, teacher and administrators, and to suggest the student of non-formal education learning curiosity by using daily life context. A sample was selected from a group of student of non-formal education for 400 students, categorized to 184 students of secondary education, students of high school education 216, 40 teachers of non-formal education and 20 administrators with district level of the office of the Non - Formal and Informal Education by Multi - Stage Sampling. The research tools were surveyed by using questionnaire of students. The results of the study were as follows and the questionnaire as learning curiosity of the teacher and administrator from the Non - Formal and Informal Education awareness, and transcribing from focus group discussion. The quantitative analysis by the computer program (SPSS for statistical analysis and analyzing qualitative data by content analysis were included. The results of the study were as follows a student learning curiosity was in high level, a student supporting for learning curiosity in occupation was in high level, the teacher opinion for learning curiosity of student was in middle level. The supporting should be academic, Work and family consecutive. The administrator of the Non - Formal and Informal Education thought, learning curiosity of student was in middle level. The student should be gained occupation knowledge for the first, because of their lifestyle in the north eastern of Thailand; they needed to support their family. Almost citizens were agriculturist, gardener, farmer or merchandiser, and then to permit academic education, family and socialization, the occupation developing was given precedence.

  14. A Comparative Study of Accounting Entities Under Different Business Organizations

    Institute of Scientific and Technical Information of China (English)

    LUO Hong-lan; XU Guo-xin; FAN Jin

    2001-01-01

    In terms of accounting, all types of business enterprises regardless of their organizational form are separate accounting entities. But different types of organization forms entail remarkable differences in the establishments, legal positions, liabilities, taxation obligations and accounting practices of the business enterprises as accounting entities. A good knowledge of such difference is beneficial to the promotion of the development of all types of business enterprises in China.

  15. How useful is consolidation of public sector entities' financial statements ?

    OpenAIRE

    Soguel, N.; Bucher, R.

    2013-01-01

    Whether or not to consolidate financial statements is dealt with in IPSAS#6. This standard is by and large based on IAS#27. It deals with the criterion according to which an entity's financial statements should be considered and which consolidation technique should be used. However, it remains silent when it comes to exposing the reason why a public sector entity should consolidate its financial statements. The literature is almost as silent as IPSAS on this issue. Which means that there is a...

  16. Fourier Series Formalization in ACL2(r

    Directory of Open Access Journals (Sweden)

    Cuong K. Chau

    2015-09-01

    Full Text Available We formalize some basic properties of Fourier series in the logic of ACL2(r, which is a variant of ACL2 that supports reasoning about the real and complex numbers by way of non-standard analysis. More specifically, we extend a framework for formally evaluating definite integrals of real-valued, continuous functions using the Second Fundamental Theorem of Calculus. Our extended framework is also applied to functions containing free arguments. Using this framework, we are able to prove the orthogonality relationships between trigonometric functions, which are the essential properties in Fourier series analysis. The sum rule for definite integrals of indexed sums is also formalized by applying the extended framework along with the First Fundamental Theorem of Calculus and the sum rule for differentiation. The Fourier coefficient formulas of periodic functions are then formalized from the orthogonality relations and the sum rule for integration. Consequently, the uniqueness of Fourier sums is a straightforward corollary. We also present our formalization of the sum rule for definite integrals of infinite series in ACL2(r. Part of this task is to prove the Dini Uniform Convergence Theorem and the continuity of a limit function under certain conditions. A key technique in our proofs of these theorems is to apply the overspill principle from non-standard analysis.

  17. 78 FR 3317 - Removal of Persons From the Entity List Based on Removal Request; Implementation of Entity List...

    Science.gov (United States)

    2013-01-16

    ... a burden hour estimate of 43.8 minutes for a manual or electronic submission. This rule does not... removing under France, the two French entities: ``Laurence Mattiucci, 8 Rue de la Bruyere, 31120 Pinsaguel...

  18. A COMPARISON OF THE CAPITAL STRUCTURES OF THE TOP 40MULTINATIONAL ENTITIES AND THE TOP 40 JSE-LISTED ENTITIES

    Directory of Open Access Journals (Sweden)

    Lana H. Harmse

    2017-01-01

    Full Text Available The strategies and policies of multinational entities (MNEscentre onthe focalgoal of any company, which isto maximise profits and shareholder wealth.Management aims for an optimum ownership structure by implementing variousstrategies. One of these strategies is the debt-to-equity ratio (the capital structure.Previous studiesconductedonvariouscountries’locally-listed entities confirmthat the capital structure of an entity has an impact on the value ofthat entity.Thisthen raisesan interesting question as to whetherthecapital structures ofthetop 40Johannesburg Stock Exchange (JSE-listedentitiesare similar to those ofthe top40 global MNEs.Based on market capitalisation on 31December2014, this studysought to compare the capital structures,using the debt-to-equity ratio,ofthe top40JSE-listed entitieswith those ofthe top 40globalMNEs on the Fortune 500list.Independent t-testswere performed on thedebt-to-equity ratios of thetop 40JSE-listed entities and the top 40globalMNEsas a group.Both independent t-tests and the Mann-Whitney testswereperformedonthedebt-to-equity ratiosofapplicable entities of the group divided into threeselectedindustries. The resultsof theindependent t-testindicateastatistical andpractically significant differencebetween the top 40 JSE-listed entities and the top 40 global MNEs’ capitalstructures.The resultsof the Mann-Whitney testsindicatethat if the financialindustry is excluded,there isnostatistical orpractically significant differencebetween the capital structures of the top 40 JSE-listed entities and the top 40MNEs.However, based on the effect size there is a practical visible difference.

  19. Formal Modeling and Analysis of Timed Systems

    DEFF Research Database (Denmark)

    Larsen, Kim Guldstrand; Niebert, Peter

    This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Modeling and Analysis of Timed Systems, FORMATS 2003, held in Marseille, France in September 2003. The 19 revised full papers presented together with an invited paper and the abstracts of ...... systems, discrete time systems, timed languages, and real-time operating systems....... of two invited talks were carefully selected from 36 submissions during two rounds of reviewing and improvement. All current aspects of formal method for modeling and analyzing timed systems are addressed; among the timed systems dealt with are timed automata, timed Petri nets, max-plus algebras, real-time......This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Modeling and Analysis of Timed Systems, FORMATS 2003, held in Marseille, France in September 2003. The 19 revised full papers presented together with an invited paper and the abstracts...

  20. Formal Analysis of Graphical Security Models

    DEFF Research Database (Denmark)

    Aslanyan, Zaruhi

    , software components and human actors interacting with each other to form so-called socio-technical systems. The importance of socio-technical systems to modern societies requires verifying their security properties formally, while their inherent complexity makes manual analyses impracticable. Graphical...... models for security offer an unrivalled opportunity to describe socio-technical systems, for they allow to represent different aspects like human behaviour, computation and physical phenomena in an abstract yet uniform manner. Moreover, these models can be assigned a formal semantics, thereby allowing...... formal verification of their properties. Finally, their appealing graphical notations enable to communicate security concerns in an understandable way also to non-experts, often in charge of the decision making. This dissertation argues that automated techniques can be developed on graphical security...

  1. Formal verification of industrial control systems

    CERN Multimedia

    CERN. Geneva

    2015-01-01

    Verification of critical software is a high priority but a challenging task for industrial control systems. For many kinds of problems, testing is not an efficient method. Formal methods, such as model checking appears to be an appropriate complementary method. However, it is not common to use model checking in industry yet, as this method needs typically formal methods expertise and huge computing power. In the EN-ICE-PLC section, we are working on a [methodology][1] and a tool ([PLCverif][2]) to overcome these challenges and to integrate formal verification in the development process of our PLC-based control systems. [1]: http://cern.ch/project-plc-formalmethods [2]: http://cern.ch/plcverif

  2. Formalizing Darwinism and inclusive fitness theory.

    Science.gov (United States)

    Grafen, Alan

    2009-11-12

    Inclusive fitness maximization is a basic building block for biological contributions to any theory of the evolution of society. There is a view in mathematical population genetics that nothing is caused to be maximized in the process of natural selection, but this is explained as arising from a misunderstanding about the meaning of fitness maximization. Current theoretical work on inclusive fitness is discussed, with emphasis on the author's 'formal Darwinism project'. Generally, favourable conclusions are drawn about the validity of assuming fitness maximization, but the need for continuing work is emphasized, along with the possibility that substantive exceptions may be uncovered. The formal Darwinism project aims more ambitiously to represent in a formal mathematical framework the central point of Darwin's Origin of Species, that the mechanical processes of inheritance and reproduction can give rise to the appearance of design, and it is a fitting ambition in Darwin's bicentenary year to capture his most profound discovery in the lingua franca of science.

  3. First order formalism for quantum gravity

    International Nuclear Information System (INIS)

    Gleiser, M.; Holman, R.; Neto, N.P.

    1987-05-01

    We develop a first order formalism for the quantization of gravity. We take as canonical variables both the induced metric and the extrinsic curvature of the (d - 1) -dimensional hypersurfaces obtained by the foliation of the d - dimensional spacetime. After solving the constraint algebra we use the Dirac formalism to quantize the theory and obtain a new representation for the Wheeler-DeWitt equation, defined in the functional space of the extrinsic curvature. We also show how to obtain several different representations of the Wheeler-DeWitt equation by considering actions differing by a total divergence. In particular, the intrinsic and extrinsic time approaches appear in a natural way, as do equivalent representations obtained by functional Fourier transforms of appropriate variables. We conclude with some remarks about the construction of the Hilbert space within the first order formalism. 10 refs

  4. Enhancing System Realisation in Formal Model Development

    DEFF Research Database (Denmark)

    Tran-Jørgensen, Peter Würtz Vinther

    and requirements of software extensions targeting Overture. The tools developed in this PhD project have successfully supported three case studies from externally funded projects. The feedback received from the case study work has further helped improve the code generation infrastructure and the tools built using...... implementation. One way to realise the system’s software is by automatically generating it from the formal specification – a technique referred to as code generation. However, in general it is difficult to make guarantees about the correctness of the generated code – especially while requiring automation...... of the steps involved in realising the formal specification. This PhD dissertation investigates ways to improve the automation of the steps involved in realising and validating a system based on a formal specification. The approach aims to develop properly designed software tools which support the integration...

  5. Towards Formal Verification of a Separation Microkernel

    Science.gov (United States)

    Butterfield, Andrew; Sanan, David; Hinchey, Mike

    2013-08-01

    The best approach to verifying an IMA separation kernel is to use a (fixed) time-space partitioning kernel with a multiple independent levels of separation (MILS) architecture. We describe an activity that explores the cost and feasibility of doing a formal verification of such a kernel to the Common Criteria (CC) levels mandated by the Separation Kernel Protection Profile (SKPP). We are developing a Reference Specification of such a kernel, and are using higher-order logic (HOL) to construct formal models of this specification and key separation properties. We then plan to do a dry run of part of a formal proof of those properties using the Isabelle/HOL theorem prover.

  6. Rapidly converging path integral formalism. Pt. 1

    International Nuclear Information System (INIS)

    Bender, I.; Gromes, D.; Marquard, U.

    1990-01-01

    The action to be used in the path integral formalism is expanded in a systematic way in powers of the time spacing ε in order to optimize the convergence to the continuum limit. This modifies and extends the usual formalism in a transparent way. The path integral approximation to the Green function obtained by this method approaches the continuum Green function with a higher power of ε than the usual one. The general theoretical derivations are exemplified analytically for the harmonic oscillator and by Monte Carlo methods for the anharmonic oscillator. We also show how curvilinear coordinates and curved spaces can naturally be treated within this formalism. Work on field theory is in progress. (orig.)

  7. Automated Formal Verification for PLC Control Systems

    CERN Multimedia

    Fernández Adiego, Borja

    2014-01-01

    Programmable Logic Controllers (PLCs) are widely used devices used in industrial control systems. Ensuring that the PLC software is compliant with its specification is a challenging task. Formal verification has become a recommended practice to ensure the correctness of the safety-critical software. However, these techniques are still not widely applied in industry due to the complexity of building formal models, which represent the system and the formalization of requirement specifications. We propose a general methodology to perform automated model checking of complex properties expressed in temporal logics (e.g. CTL, LTL) on PLC programs. This methodology is based on an Intermediate Model (IM), meant to transform PLC programs written in any of the languages described in the IEC 61131-3 standard (ST, IL, etc.) to different modeling languages of verification tools. This approach has been applied to CERN PLC programs validating the methodology.

  8. Entity recognition from clinical texts via recurrent neural network.

    Science.gov (United States)

    Liu, Zengjian; Yang, Ming; Wang, Xiaolong; Chen, Qingcai; Tang, Buzhou; Wang, Zhe; Xu, Hua

    2017-07-05

    Entity recognition is one of the most primary steps for text analysis and has long attracted considerable attention from researchers. In the clinical domain, various types of entities, such as clinical entities and protected health information (PHI), widely exist in clinical texts. Recognizing these entities has become a hot topic in clinical natural language processing (NLP), and a large number of traditional machine learning methods, such as support vector machine and conditional random field, have been deployed to recognize entities from clinical texts in the past few years. In recent years, recurrent neural network (RNN), one of deep learning methods that has shown great potential on many problems including named entity recognition, also has been gradually used for entity recognition from clinical texts. In this paper, we comprehensively investigate the performance of LSTM (long-short term memory), a representative variant of RNN, on clinical entity recognition and protected health information recognition. The LSTM model consists of three layers: input layer - generates representation of each word of a sentence; LSTM layer - outputs another word representation sequence that captures the context information of each word in this sentence; Inference layer - makes tagging decisions according to the output of LSTM layer, that is, outputting a label sequence. Experiments conducted on corpora of the 2010, 2012 and 2014 i2b2 NLP challenges show that LSTM achieves highest micro-average F1-scores of 85.81% on the 2010 i2b2 medical concept extraction, 92.29% on the 2012 i2b2 clinical event detection, and 94.37% on the 2014 i2b2 de-identification, which is considerably competitive with other state-of-the-art systems. LSTM that requires no hand-crafted feature has great potential on entity recognition from clinical texts. It outperforms traditional machine learning methods that suffer from fussy feature engineering. A possible future direction is how to integrate knowledge

  9. User Interface Technology for Formal Specification Development

    Science.gov (United States)

    Lowry, Michael; Philpot, Andrew; Pressburger, Thomas; Underwood, Ian; Lum, Henry, Jr. (Technical Monitor)

    1994-01-01

    Formal specification development and modification are an essential component of the knowledge-based software life cycle. User interface technology is needed to empower end-users to create their own formal specifications. This paper describes the advanced user interface for AMPHION1 a knowledge-based software engineering system that targets scientific subroutine libraries. AMPHION is a generic, domain-independent architecture that is specialized to an application domain through a declarative domain theory. Formal specification development and reuse is made accessible to end-users through an intuitive graphical interface that provides semantic guidance in creating diagrams denoting formal specifications in an application domain. The diagrams also serve to document the specifications. Automatic deductive program synthesis ensures that end-user specifications are correctly implemented. The tables that drive AMPHION's user interface are automatically compiled from a domain theory; portions of the interface can be customized by the end-user. The user interface facilitates formal specification development by hiding syntactic details, such as logical notation. It also turns some of the barriers for end-user specification development associated with strongly typed formal languages into active sources of guidance, without restricting advanced users. The interface is especially suited for specification modification. AMPHION has been applied to the domain of solar system kinematics through the development of a declarative domain theory. Testing over six months with planetary scientists indicates that AMPHION's interactive specification acquisition paradigm enables users to develop, modify, and reuse specifications at least an order of magnitude more rapidly than manual program development.

  10. Infinitesimal deformations of a formal symplectic groupoid

    OpenAIRE

    Karabegov, Alexander

    2010-01-01

    Given a formal symplectic groupoid $G$ over a Poisson manifold $(M, \\pi_0)$, we define a new object, an infinitesimal deformation of $G$, which can be thought of as a formal symplectic groupoid over the manifold $M$ equipped with an infinitesimal deformation $\\pi_0 + \\epsilon \\pi_1$ of the Poisson bivector field $\\pi_0$. The source and target mappings of a deformation of $G$ are deformations of the source and target mappings of $G$. To any pair of natural star products $(\\ast, \\tilde\\ast)$ ha...

  11. Keldysh formalism for multiple parallel worlds

    International Nuclear Information System (INIS)

    Ansari, M.; Nazarov, Y. V.

    2016-01-01

    We present a compact and self-contained review of the recently developed Keldysh formalism for multiple parallel worlds. The formalism has been applied to consistent quantum evaluation of the flows of informational quantities, in particular, to the evaluation of Renyi and Shannon entropy flows. We start with the formulation of the standard and extended Keldysh techniques in a single world in a form convenient for our presentation. We explain the use of Keldysh contours encompassing multiple parallel worlds. In the end, we briefly summarize the concrete results obtained with the method.

  12. Keldysh formalism for multiple parallel worlds

    Science.gov (United States)

    Ansari, M.; Nazarov, Y. V.

    2016-03-01

    We present a compact and self-contained review of the recently developed Keldysh formalism for multiple parallel worlds. The formalism has been applied to consistent quantum evaluation of the flows of informational quantities, in particular, to the evaluation of Renyi and Shannon entropy flows. We start with the formulation of the standard and extended Keldysh techniques in a single world in a form convenient for our presentation. We explain the use of Keldysh contours encompassing multiple parallel worlds. In the end, we briefly summarize the concrete results obtained with the method.

  13. Formal Concept Analysis for Information Retrieval

    OpenAIRE

    Qadi, Abderrahim El; Aboutajedine, Driss; Ennouary, Yassine

    2010-01-01

    In this paper we describe a mechanism to improve Information Retrieval (IR) on the web. The method is based on Formal Concepts Analysis (FCA) that it is makes semantical relations during the queries, and allows a reorganizing, in the shape of a lattice of concepts, the answers provided by a search engine. We proposed for the IR an incremental algorithm based on Galois lattice. This algorithm allows a formal clustering of the data sources, and the results which it turns over are classified by ...

  14. A formalization of the flutter shutter

    Science.gov (United States)

    Tendero, Yohann; Rougé, Bernard; Morel, Jean-Michel

    2012-09-01

    Acquiring good quality images of moving objects by a digital camera remains a valid question. If the velocity of the photographed object is not known, it is virtually impossible to tune an optimal exposure time. For this reason the recent Agrawal et al. flutter shutter apparatus has generated much interest. In this communication, we propose a mathematical formalization of a general flutter shutter method, also permitting non-binary shutter sequences. Thanks to this formalization, the question of the optimal flutter shutter code can be defined and solved. The method gives analytic formulas for the best attainable SNR for the restored image. It also gives a way to compute optimal flutter shutter codes.

  15. Formal Institutions and Subjective Well-Being

    DEFF Research Database (Denmark)

    Bjørnskov, Christian; Dreher, Axel; Fischer, Justina

    A long tradition in economics explores the association between the quality of formal institutions and economic performance. The literature on the relationship between such institutions and happiness is, however, rather limited. In this paper, we revisit the findings from recent cross-country stud......A long tradition in economics explores the association between the quality of formal institutions and economic performance. The literature on the relationship between such institutions and happiness is, however, rather limited. In this paper, we revisit the findings from recent cross...

  16. Improved formalism for precision Higgs coupling fits

    Energy Technology Data Exchange (ETDEWEB)

    Barklow, Tim; Peskin, Michael E. [Stanford Univ., Menlo Park, CA (United States). Stanford Linear Accelerator Center; Fujii, Keisuke; Ogawa, Tomohisa [High Energy Accelerator Research Organization (KEK), Tsukuba, Ibaraki (Japan); Jung, Sunghoon [Stanford Univ., Menlo Park, CA (United States). Stanford Linear Accelerator Center; Seoul National Univ. (Korea, Republic of). Dept. of Physics and Astronomy; Karl, Robert; List, Jenny [Deutsches Elektronen-Synchrotron (DESY), Hamburg (Germany); Tian, Junping [Tokyo Univ. (Japan). International Center for Elementary Particle Physics (ICEPP)

    2017-08-15

    Future e{sup +}e{sup -} colliders give the promise of model-independent determinations of the couplings of the Higgs boson. In this paper, we present an improved formalism for extracting Higgs boson couplings from e{sup +}e{sup -} data, based on the Effective Field Theory description of corrections to the Standard Model. We apply this formalism to give projections of Higgs coupling accuracies for stages of the International Linear Collider and for other proposed e{sup +}e{sup -} colliders.

  17. A Mathematical Account of the NEGF Formalism

    DEFF Research Database (Denmark)

    Cornean, Decebal Horia; Moldoveanu, Valeriu; Pillet, Claude-Alain

    2018-01-01

    The main goal of this paper is to put on solid mathematical grounds the so-called non-equilibrium Green’s function transport formalism for open systems. In particular, we derive the Jauho–Meir–Wingreen formula for the time-dependent current through an interacting sample coupled to non-interacting......The main goal of this paper is to put on solid mathematical grounds the so-called non-equilibrium Green’s function transport formalism for open systems. In particular, we derive the Jauho–Meir–Wingreen formula for the time-dependent current through an interacting sample coupled to non...

  18. Towards formalization of inspection using petrinets

    International Nuclear Information System (INIS)

    Javed, M.; Naeem, M.; Bahadur, F.; Wahab, A.

    2014-01-01

    Achieving better quality software has always been a challenge for software developers. Inspection is one of the most efficient techniques, which ensure the quality of software during its development. To the best of our knowledge, current inspection techniques are not realized by any formal approach. In this paper, we propose an inspection technique, which is not only backed by the formal mathematical semantics of Petri nets, but also supports inspecting concurrent processes. We also use a case study of an agent based distributed processing system to demonstrate the inspection of concurrent processes. (author)

  19. Keldysh formalism for multiple parallel worlds

    Energy Technology Data Exchange (ETDEWEB)

    Ansari, M.; Nazarov, Y. V., E-mail: y.v.nazarov@tudelft.nl [Delft University of Technology, Kavli Institute of Nanoscience (Netherlands)

    2016-03-15

    We present a compact and self-contained review of the recently developed Keldysh formalism for multiple parallel worlds. The formalism has been applied to consistent quantum evaluation of the flows of informational quantities, in particular, to the evaluation of Renyi and Shannon entropy flows. We start with the formulation of the standard and extended Keldysh techniques in a single world in a form convenient for our presentation. We explain the use of Keldysh contours encompassing multiple parallel worlds. In the end, we briefly summarize the concrete results obtained with the method.

  20. Educación no formal

    Science.gov (United States)

    Tignanelli, H.

    Se comentan en esta comunicación, las principales contribuciones realizadas en el campo de la educación en astronomía en los niveles primario, secundario y terciario, como punto de partida para la discusión de la actual inserción de los contenidos astronómicos en los nuevos contenidos curriculares de la EGB - Educación General Básica- y Polimodal, de la Reforma Educativa. En particular, se discuten los alcances de la educación formal y no formal, su importancia para la capacitación de profesores y maestros, y perspectivas a futuro.

  1. MOOC & B-Learning: Students' Barriers and Satisfaction in Formal and Non-Formal Learning Environments

    Science.gov (United States)

    Gutiérrez-Santiuste, Elba; Gámiz-Sánchez, Vanesa-M.; Gutiérrez-Pérez, Jose

    2015-01-01

    The study presents a comparative analysis of two virtual learning formats: one non-formal through a Massive Open Online Course (MOOC) and the other formal through b-learning. We compare the communication barriers and the satisfaction perceived by the students (N = 249) by developing a qualitative analysis using semi-structured questionnaires and…

  2. Augmenting Reality and Formality of Informal and Non-Formal Settings to Enhance Blended Learning

    Science.gov (United States)

    Pérez-Sanagustin, Mar; Hernández-Leo, Davinia; Santos, Patricia; Kloos, Carlos Delgado; Blat, Josep

    2014-01-01

    Visits to museums and city tours have been part of higher and secondary education curriculum activities for many years. However these activities are typically considered "less formal" when compared to those carried out in the classroom, mainly because they take place in informal or non-formal settings. Augmented Reality (AR) technologies…

  3. The Interrelatedness of Formal, Non-Formal and Informal Learning: Evidence from Labour Market Program Participants

    Science.gov (United States)

    Cameron, Roslyn; Harrison, Jennifer L.

    2012-01-01

    Definitions, differences and relationships between formal, non-formal and informal learning have long been contentious. There has been a significant change in language and reference from adult education to what amounts to forms of learning categorised by their modes of facilitation. Nonetheless, there is currently a renewed interest in the…

  4. Digital Resource Developments for Mathematics Education Involving Homework across Formal, Non-Formal and Informal Settings

    Science.gov (United States)

    Radovic, Slaviša; Passey, Don

    2016-01-01

    The aim of this paper is to explore further an under-developed area--how drivers of curriculum, pedagogy and assessment conceptions and practices shape the creation and uses of technologically based resources to support mathematics learning across informal, non-formal and formal learning environments. The paper considers: the importance of…

  5. Combining Formal, Non-Formal and Informal Learning for Workforce Skill Development

    Science.gov (United States)

    Misko, Josie

    2008-01-01

    This literature review, undertaken for Australian Industry Group, shows how multiple variations and combinations of formal, informal and non-formal learning, accompanied by various government incentives and organisational initiatives (including job redesign, cross-skilling, multi-skilling, diversified career pathways, action learning projects,…

  6. Lending Policies of Informal, Formal, and Semi-formal Lenders: Evidence from Vietnam

    NARCIS (Netherlands)

    Lensink, B.W.; Pham, T.T.T.

    2007-01-01

    This paper compares lending policies of formal, informal and semiformal lenders with respect to household lending in Vietnam. The analysis suggests that the probability of using formal or semiformal credit increases if borrowers provide collateral, a guarantor and/or borrow for business-related

  7. The Advisor and Instructor as a Dynamic Duo: Academic Motivation and Basic Psychological Needs

    Science.gov (United States)

    Burt, Tracie D.; Young-Jones, Adena D.; Yadon, Carly A.; Carr, Michael T.

    2013-01-01

    Students learn in and out of a formal classroom, and instructors and academic advisors play key roles in academic motivation and learning. Therefore, through the lens of self-determination theory, we examined the ways perceived support from instructors and advisors relates to satisfaction of college students' basic psychological needs. Advisor and…

  8. Exploring Academic Achievement in Males Trained in Self-Assessment Skills

    Science.gov (United States)

    McDonald, Betty

    2009-01-01

    This paper examines academic achievement of males following formal training in self-assessment. It adds to current literature by proposing a tried-and-tested method of improving academic achievement in males at a time when they appear to be marginalised. The sample comprised 515 participants (233 males), representing 25.2% of that high school…

  9. Deep learning with word embeddings improves biomedical named entity recognition.

    Science.gov (United States)

    Habibi, Maryam; Weber, Leon; Neves, Mariana; Wiegandt, David Luis; Leser, Ulf

    2017-07-15

    Text mining has become an important tool for biomedical research. The most fundamental text-mining task is the recognition of biomedical named entities (NER), such as genes, chemicals and diseases. Current NER methods rely on pre-defined features which try to capture the specific surface properties of entity types, properties of the typical local context, background knowledge, and linguistic information. State-of-the-art tools are entity-specific, as dictionaries and empirically optimal feature sets differ between entity types, which makes their development costly. Furthermore, features are often optimized for a specific gold standard corpus, which makes extrapolation of quality measures difficult. We show that a completely generic method based on deep learning and statistical word embeddings [called long short-term memory network-conditional random field (LSTM-CRF)] outperforms state-of-the-art entity-specific NER tools, and often by a large margin. To this end, we compared the performance of LSTM-CRF on 33 data sets covering five different entity classes with that of best-of-class NER tools and an entity-agnostic CRF implementation. On average, F1-score of LSTM-CRF is 5% above that of the baselines, mostly due to a sharp increase in recall. The source code for LSTM-CRF is available at https://github.com/glample/tagger and the links to the corpora are available at https://corposaurus.github.io/corpora/ . habibima@informatik.hu-berlin.de. © The Author 2017. Published by Oxford University Press. All rights reserved. For Permissions, please e-mail: journals.permissions@oup.com

  10. Reflections on academic video

    Directory of Open Access Journals (Sweden)

    Thommy Eriksson

    2012-11-01

    Full Text Available As academics we study, research and teach audiovisual media, yet rarely disseminate and mediate through it. Today, developments in production technologies have enabled academic researchers to create videos and mediate audiovisually. In academia it is taken for granted that everyone can write a text. Is it now time to assume that everyone can make a video essay? Using the online journal of academic videos Audiovisual Thinking and the videos published in it as a case study, this article seeks to reflect on the emergence and legacy of academic audiovisual dissemination. Anchoring academic video and audiovisual dissemination of knowledge in two critical traditions, documentary theory and semiotics, we will argue that academic video is in fact already present in a variety of academic disciplines, and that academic audiovisual essays are bringing trends and developments that have long been part of academic discourse to their logical conclusion.

  11. PRACTICE OF DRAFTING AND IMPLEMENTING OF FINANCING PROJECTS IN NON-FORMAL EDUCATION

    Directory of Open Access Journals (Sweden)

    BUZOIANU Daniela Angela

    2015-06-01

    Full Text Available In Petroleum and Gas University, besides teaching and research activities, a priority is non-formal education area. In the academic center of Ploiesti, the activities of non-formal education take place through Center for Porjects, Programs and Cultural - Artistic events (CPPECA and Student’s Culture House, located in the University campus (CCS. The mission of the Center for Projects, Programs and Cultural - Artistic events and Student’s Culture House is: - To offer a big diversity of activities in non-formal education area for students and teachers; - To become an essential and defining pillar in continous formation of young people. The purpose is to promote excellence also in non-formal education fied , starting from the value and tradition of university education in Romanian oil area The Center for Project, Programs and Cultural - Artistic events (CPPECA and Student’s House of Culture have: • An educational function; • A real multidirectional cultural vocation through: - initiating,implementing and developing cultural projects and programs; - organizing and developing specific events like shows, festivals, national and international contests. The paper presents practical aspects in development and implementation of financing projects in non-formal education field.

  12. Intellectual Freedom in Academic Libraries: Surveying Deans about Its Significance

    Science.gov (United States)

    Oltmann, Shannon M.

    2017-01-01

    In this study, deans and directors of academic libraries were surveyed about intellectual freedom. The survey found that most respondents said they rarely think about intellectual freedom yet said it was "somewhat" or "very" important in their libraries. Most did not have formal intellectual freedom policies; they often relied…

  13. Small "p" Publishing: A Networked Blogging Approach to Academic Discourse

    Science.gov (United States)

    Martin, Julia W.; Hughes, Brian

    2012-01-01

    This article highlights a middle ground for academic publishing between formal peer-reviewed journals and informal blogging that we call "Small "p" Publishing." Having implemented and tested a publishing network that illustrates this middle ground, we describe its unique contributions to scholars and learning communities. Three features that…

  14. Academic training: Introduction to Supersymmetry

    CERN Multimedia

    2007-01-01

    2006-2007 ACADEMIC TRAINING PROGRAMME LECTURE SERIES 12, 13, 14, 15 February, from 11:00 to 12:00 Main Auditorium, bldg. 500 Introduction to Supersymmetry D. Kaplan, Johns Hopkins University, Baltimore, USA In these lectures, I will introduce supersymmetry as an extension to spacetime symmetries both formally and physically. I will present motivations for why we think supersymmetry may exist in the real world, and may manifest itself at the LHC. I will describe the current set of models of softly broken supersymmetry at the electroweak scale and the parts that make them exciting and the parts that make people sick. I will then cover the phenomenology of the various models - the spectra and some of the best studied collider signals. Finally, I will describe the phenomenology of the full supersymmetric parameter space in general terms and discuss this collider signals not covered by the classic models.

  15. Incremental guideline formalization with tool support

    NARCIS (Netherlands)

    Serban, Radu; Puig-Centelles, Anna; ten Teije, Annette

    2006-01-01

    Guideline formalization is recognized as an important component in improving computerized guidelines, which in turn leads to better informedness, lower inter-practician variability and, ultimately, to higher quality healthcare. By means of a modeling exercise, we investigate the role of guideline

  16. Maintaining formal models of living guidelines efficiently

    NARCIS (Netherlands)

    Seyfang, Andreas; Martínez-Salvador, Begoña; Serban, Radu; Wittenberg, Jolanda; Miksch, Silvia; Marcos, Mar; Ten Teije, Annette; Rosenbrand, Kitty C J G M

    2007-01-01

    Translating clinical guidelines into formal models is beneficial in many ways, but expensive. The progress in medical knowledge requires clinical guidelines to be updated at relatively short intervals, leading to the term living guideline. This causes potentially expensive, frequent updates of the

  17. A New Formalism for Relational Algebra

    DEFF Research Database (Denmark)

    Schwartzbach, Michael Ignatieff; Larsen, Kim Skak; Schmidt, Erik Meineche

    1992-01-01

    We present a new formalism for relational algebra, the FC language, which is based on a novel factorization of relations. The acronym stands for factorize and combine. A pure version of this language is equivalent to relational algebra in the sense that semantics preserving translations exist...

  18. 14 CFR 201.1 - Formal requirements.

    Science.gov (United States)

    2010-01-01

    ... 14 Aeronautics and Space 4 2010-01-01 2010-01-01 false Formal requirements. 201.1 Section 201.1 Aeronautics and Space OFFICE OF THE SECRETARY, DEPARTMENT OF TRANSPORTATION (AVIATION PROCEEDINGS) ECONOMIC... papers. (b) Any person desiring to provide air transportation as a commuter air carrier must comply with...

  19. The Transition to Formal Thinking in Mathematics

    Science.gov (United States)

    Tall, David

    2008-01-01

    This paper focuses on the changes in thinking involved in the transition from school mathematics to formal proof in pure mathematics at university. School mathematics is seen as a combination of visual representations, including geometry and graphs, together with symbolic calculations and manipulations. Pure mathematics in university shifts…

  20. Informal Science Learning in the Formal Classroom

    Science.gov (United States)

    Walsh, Lori; Straits, William

    2014-01-01

    In this article the authors share advice from the viewpoints of both a formal and informal educator that will help teachers identify the right Informal Science Institutions (ISIs)--institutions that specialize in learning that occurs outside of the school setting--to maximize their students' learning and use informal education to their…

  1. Formal verification of algorithms for critical systems

    Science.gov (United States)

    Rushby, John M.; Von Henke, Friedrich

    1993-01-01

    We describe our experience with formal, machine-checked verification of algorithms for critical applications, concentrating on a Byzantine fault-tolerant algorithm for synchronizing the clocks in the replicated computers of a digital flight control system. First, we explain the problems encountered in unsynchronized systems and the necessity, and criticality, of fault-tolerant synchronization. We give an overview of one such algorithm, and of the arguments for its correctness. Next, we describe a verification of the algorithm that we performed using our EHDM system for formal specification and verification. We indicate the errors we found in the published analysis of the algorithm, and other benefits that we derived from the verification. Based on our experience, we derive some key requirements for a formal specification and verification system adequate to the task of verifying algorithms of the type considered. Finally, we summarize our conclusions regarding the benefits of formal verification in this domain, and the capabilities required of verification systems in order to realize those benefits.

  2. Protocol design and implementation using formal methods

    NARCIS (Netherlands)

    van Sinderen, Marten J.; Ferreira Pires, Luis; Pires, L.F.; Vissers, C.A.

    1992-01-01

    This paper reports on a number of formal methods that support correct protocol design and implementation. These methods are placed in the framework of a design methodology for distributed systems that was studied and developed within the ESPRIT II Lotosphere project (2304). The paper focuses on

  3. Educational attainment, formal employment and contraceptives ...

    African Journals Online (AJOL)

    Based on this, the study examines educational attainment, formal employment and contraceptives practices among working women in Lagos State University. Survey design was adopted for the study. Using Stratified and simple random sampling techniques, quantitative data was gathered through the administration of ...

  4. A Formal Model of Identity Mixer

    DEFF Research Database (Denmark)

    Camenisch, Jan; Mödersheim, Sebastian Alexander; Sommer, Dieter

    2010-01-01

    Identity Mixer is an anonymous credential system developed at IBM that allows users for instance to prove that they are over 18 years old without revealing their name or birthdate. This privacy-friendly tech- nology is realized using zero-knowledge proofs. We describe a formal model of Identity...

  5. Simulation and formal analysis of visual attention

    NARCIS (Netherlands)

    Bosse, T.; Maanen, P.P. van; Treur, J.

    2009-01-01

    In this paper a simulation model for visual attention is discussed and formally analysed. The model is part of the design of an agent-based system that supports a naval officer in its task to compile a tactical picture of the situation in the field. A case study is described in which the model is

  6. A Formal Model For Declarative Workflows

    DEFF Research Database (Denmark)

    Mukkamala, Raghava Rao

    it as a general formal model for specification and execution of declarative, event-based business processes, as a generalization of a concurrency model, the classic event structures. The model allows for an intuitive operational semantics and mapping of execution state by a notion of markings of the graphs and we...

  7. Formal synthesis of naturally occurring norephedrine

    Indian Academy of Sciences (India)

    A concise and simple synthesis of 1-hydroxy-phenethylamine derivatives has been achieved following classical organic transformations using commercially available chiral pools. The said derivatives were explored for the synthesis of naturally occurring bio-active small molecules. Formal synthesis of norephedrine, virolin ...

  8. Formalizing the Problem of Music Description

    DEFF Research Database (Denmark)

    Sturm, Bob L.; Bardeli, Rolf; Langlois, Thibault

    2015-01-01

    The lack of a formalism for “the problem of music descrip- tion” results in, among other things: ambiguity in what problem a music description system must address, how it should be evaluated, what criteria define its success, and the paradox that a music description system can reproduce the “ground...

  9. A formal theory of the selfish gene.

    Science.gov (United States)

    Gardner, A; Welch, J J

    2011-08-01

    Adaptation is conventionally regarded as occurring at the level of the individual organism. In contrast, the theory of the selfish gene proposes that it is more correct to view adaptation as occurring at the level of the gene. This view has received much popular attention, yet has enjoyed only limited uptake in the primary research literature. Indeed, the idea of ascribing goals and strategies to genes has been highly controversial. Here, we develop a formal theory of the selfish gene, using optimization theory to capture the analogy of 'gene as fitness-maximizing agent' in mathematical terms. We provide formal justification for this view of adaptation by deriving mathematical correspondences that translate the optimization formalism into dynamical population genetics. We show that in the context of social interactions between genes, it is the gene's inclusive fitness that provides the appropriate maximand. Hence, genic selection can drive the evolution of altruistic genes. Finally, we use the formalism to assess the various criticisms that have been levelled at the theory of the selfish gene, dispelling some and strengthening others. © 2011 The Authors. Journal of Evolutionary Biology © 2011 European Society For Evolutionary Biology.

  10. Rhythmic Characteristics of Colloquial and Formal Tamil

    Science.gov (United States)

    Keane, Elinor

    2006-01-01

    Application of recently developed rhythmic measures to passages of read speech in colloquial and formal Tamil revealed some significant differences between the two varieties, which are in diglossic distribution. Both were also distinguished from a set of control data from British English speakers reading an equivalent passage. The findings have…

  11. Towards a Formal Framework for Computational Trust

    DEFF Research Database (Denmark)

    Nielsen, Mogens; Krukow, Karl Kristian; Sassone, Vladimiro

    2006-01-01

    We define a mathematical measure for the quantitative comparison of probabilistic computational trust systems, and use it to compare a well-known class of algorithms based on the so-called beta model. The main novelty is that our approach is formal, rather than based on experimental simulation....

  12. Informal and Formal Learning of General Practitioners

    Science.gov (United States)

    Spaan, Nadia Roos; Dekker, Anne R. J.; van der Velden, Alike W.; de Groot, Esther

    2016-01-01

    Purpose: The purpose of this study is to understand the influence of formal learning from a web-based training and informal (workplace) learning afterwards on the behaviour of general practitioners (GPs) with respect to prescription of antibiotics. Design/methodology/approach: To obtain insight in various learning processes, semi-structured…

  13. Informal and formal learning of general practitioners

    NARCIS (Netherlands)

    Spaan, Nadia Roos; Dekker, Anne R. J.; van der Velden, Alike W.; de Groot, Esther

    2016-01-01

    Purpose The purpose of this study is to understand the influence of formal learning from a web-based training and informal (workplace) learning afterwards on the behaviour of general practitioners (GPs) with respect to prescription of antibiotics. Design/methodology/approach To obtain insight in

  14. Revisiting the formal foundation of Probabilistic Databases

    NARCIS (Netherlands)

    Wanders, B.; van Keulen, Maurice

    2015-01-01

    One of the core problems in soft computing is dealing with uncertainty in data. In this paper, we revisit the formal foundation of a class of probabilistic databases with the purpose to (1) obtain data model independence, (2) separate metadata on uncertainty and probabilities from the raw data, (3)

  15. On the Need for Practical Formal Methods

    Science.gov (United States)

    1998-01-01

    additional research and engineering that is needed to make the current set of formal methods more practical. To illustrate the ideas, I present several exam ...either a good violin or a highly talented violinist. Light-weight techniques o er software developers good violins . A user need not be a talented

  16. The formal path integral and quantum mechanics

    International Nuclear Information System (INIS)

    Johnson-Freyd, Theo

    2010-01-01

    Given an arbitrary Lagrangian function on R d and a choice of classical path, one can try to define Feynman's path integral supported near the classical path as a formal power series parameterized by 'Feynman diagrams', although these diagrams may diverge. We compute this expansion and show that it is (formally, if there are ultraviolet divergences) invariant under volume-preserving changes of coordinates. We prove that if the ultraviolet divergences cancel at each order, then our formal path integral satisfies a 'Fubini theorem' expressing the standard composition law for the time evolution operator in quantum mechanics. Moreover, we show that when the Lagrangian is inhomogeneous quadratic in velocity such that its homogeneous-quadratic part is given by a matrix with constant determinant, then the divergences cancel at each order. Thus, by 'cutting and pasting' and choosing volume-compatible local coordinates, our construction defines a Feynman-diagrammatic 'formal path integral' for the nonrelativistic quantum mechanics of a charged particle moving in a Riemannian manifold with an external electromagnetic field.

  17. Moving interprofessional learning forward through formal assessment.

    Science.gov (United States)

    Stone, Judy

    2010-04-01

    There is increasing agreement that graduates who finish tertiary education with the full complement of skills and knowledge required for their designated profession are not 'work-ready' unless they also acquire interpersonal, collaborative practice and team-working capabilities. Health workers are unable to contribute to organisational culture in a positive way unless they too attain these capabilities. These capabilities have been shown to improve health care in terms of patient safety, worker satisfaction and health service efficiency. Given the importance of interprofessional learning (IPL) which seeks to address these capabilities, why is IPL not consistently embedded into the education of undergraduates, postgraduates and vocationally qualified personnel through formal assessment? This paper offers an argument for the formal assessment of IPL. It illustrates how the interests of the many stakeholders in IPL can benefit from, and contribute to, the integration of IPL into mainstream professional development and tertiary education. It offers practical examples of assessment in IPL which could drive learning and offer authentic, contextual teaching and learning experiences to undergraduates and health workers alike. Assessment drives learning and without formal assessment IPL will continue to be viewed as an optional topic of little relative importance for learners. In order to make the next step forward, IPL needs to be recognised and endorsed through formal assessment, both at the tertiary education level and within the workplace environment. This is supported by workforce initiatives and tertiary education policy which can be used to specify the capabilities or generic skills necessary for effective teamwork and collaborative practice.

  18. What makes industries believe in formal methods

    NARCIS (Netherlands)

    Vissers, C.A.; van Sinderen, Marten J.; Ferreira Pires, Luis; Pires, L.F.; Danthine, A.S.; Leduc, G.; Wolper, P.

    1993-01-01

    The introduction of formal methods in the design and development departments of an industrial company has far reaching and long lasting consequences. In fact it changes the whole environment of methods, tools and skills that determine the design culture of that company. A decision to replace current

  19. Confusion about entrepreneurship? Formal versus informal small ...

    African Journals Online (AJOL)

    chestt

    that contributes to both business formation and the ultimate expansion or growth of the business. The entrepreneurial actions related to these business activities are analysed in this study. The differential application of these actions in the formal and informal business panels is of particular importance for this study. Although ...

  20. Formally analysing the concepts of domestic violence

    NARCIS (Netherlands)

    Poelmans, J.; Elzinga, P.; Viaene, S.; Dedene, G.

    2011-01-01

    The types of police inquiries performed these days are incredibly diverse. Often data processing architectures are not suited to cope with this diversity since most of the case data is still stored as unstructured text. In this paper Formal Concept Analysis (FCA) is showcased for its exploratory

  1. Formal and Applied Counseling in Israel

    Science.gov (United States)

    Israelashvili, Moshe; Wegman-Rozi, Orit

    2012-01-01

    Living in Israel is intensive and demanding but also meaningful and exciting. This article addresses the gap between the narrowly defined formal status of counseling in Israel and the widespread occurrence of counseling in various settings. It is argued that several recent changes, especially in the definition of treatment, along with the…

  2. A formal model for total quality management

    NARCIS (Netherlands)

    S.C. van der Made-Potuijt; H.B. Bertsch (Boudewijn); L.P.J. Groenewegen

    1996-01-01

    textabstractTotal Quality Management (TQM) is a systematic approach to managing a company. TQM is systematic in the sense that it is uses facts through observation, analysis and measurable goals. There are theoretical descriptions of this management concept, but there is no formal model of it. A

  3. Electric current arising from unpolarized polyvinyl formal

    Indian Academy of Sciences (India)

    Unknown

    An appreciable electric current is observed in a system consisting of a polyvinyl formal (PVF) film in a sandwich ... Electric current; open circuit voltage; water activated phenomenon; plasticization effect. 1. Introduction ... either the trapping parameters or the distribution of the ..... For this reason contact potential drop between.

  4. Formal specifications for safety grade systems

    International Nuclear Information System (INIS)

    Chisholm, G.H.; Smith, B.T.; Wojcik, A.S.

    1992-01-01

    The authors describe the findings of a study into the application of formal methods to the specification of a safety system for an operating nuclear reactor. They developed a formal specification that is used to verify and validate that no unsafe condition will result from action or inaction of the system. For this reason, the specification must facilitate thinking about, talking about, and implementing the system. In fact, the specification must provide a bridge between people (designers, engineers, policy makers) and diverse implementations (hardware, software, sensors, power supplies) at all levels. For a specification to serve as an effective linkage, it must have the following properties: (1) completeness, (2) conciseness, (3) unambiguity, and (4) communicativeness. In this paper they describe the development of a specification that has three properties. This development is based on the use of formal methods, i.e., methods that add mathematical rigor to the development, analysis and operation of computer systems and to applications based thereon (Neumann). They demonstrate that a specification derived from a formal basis facilitates development of the design and its subsequent verification

  5. A Formal Model for Context-Awareness

    DEFF Research Database (Denmark)

    Kjærgaard, Mikkel Baun; Bunde-Pedersen, Jonathan

    here is a definite lack of formal support for modeling real- istic context-awareness in pervasive computing applications. The Conawa calculus presented in this paper provides mechanisms for modeling complex and interwoven sets of context-information by extending ambient calculus with new construc...

  6. Formal system of communication and understanding. II

    Energy Technology Data Exchange (ETDEWEB)

    Zsuzsanna, M

    1982-01-01

    For pt.I see IBID., no.5, p.252-8 (1982). In this article G. Pask's (1975) formal theory of dialogues and talk is summarized. Part II describes the talk-environment and modelling. The conscious systems and machine-intelligence are mainly dealt with. Finally a couple of cases with Pask's theory implemented are looked at. 7 references.

  7. Formal truncations of connected kernel equations

    International Nuclear Information System (INIS)

    Dixon, R.M.

    1977-01-01

    The Connected Kernel Equations (CKE) of Alt, Grassberger and Sandhas (AGS); Kouri, Levin and Tobocman (KLT); and Bencze, Redish and Sloan (BRS) are compared against reaction theory criteria after formal channel space and/or operator truncations have been introduced. The Channel Coupling Class concept is used to study the structure of these CKE's. The related wave function formalism of Sandhas, of L'Huillier, Redish and Tandy and of Kouri, Krueger and Levin are also presented. New N-body connected kernel equations which are generalizations of the Lovelace three-body equations are derived. A method for systematically constructing fewer body models from the N-body BRS and generalized Lovelace (GL) equations is developed. The formally truncated AGS, BRS, KLT and GL equations are analyzed by employing the criteria of reciprocity and two-cluster unitarity. Reciprocity considerations suggest that formal truncations of BRS, KLT and GL equations can lead to reciprocity-violating results. This study suggests that atomic problems should employ three-cluster connected truncations and that the two-cluster connected truncations should be a useful starting point for nuclear systems

  8. Formal Method of Description Supporting Portfolio Assessment

    Science.gov (United States)

    Morimoto, Yasuhiko; Ueno, Maomi; Kikukawa, Isao; Yokoyama, Setsuo; Miyadera, Youzou

    2006-01-01

    Teachers need to assess learner portfolios in the field of education. However, they need support in the process of designing and practicing what kind of portfolios are to be assessed. To solve the problem, a formal method of describing the relations between the lesson forms and portfolios that need to be collected and the relations between…

  9. Formal demography of families and households

    NARCIS (Netherlands)

    Willekens, F.J.; van Imhoff, E.; Wright, James D.

    2015-01-01

    ‘Family and household demography’ differs from traditional demography in that it explicitly recognizes and studies relationships between individuals. Formal demography focuses on the definition and measurement of families and households, and modeling of types, number, and composition of families and

  10. Ontology Assisted Formal Specification Extraction from Text

    Directory of Open Access Journals (Sweden)

    Andreea Mihis

    2010-12-01

    Full Text Available In the field of knowledge processing, the ontologies are the most important mean. They make possible for the computer to understand better the natural language and to make judgments. In this paper, a method which use ontologies in the semi-automatic extraction of formal specifications from a natural language text is proposed.

  11. Quality of the Accounting Information of Brazilian Third Sector Entities

    Directory of Open Access Journals (Sweden)

    Fernando Maciel Ramos

    2015-08-01

    Full Text Available In this study, the objective was to analyze the quality of accounting information of Brazilian non-profit organizations. As for the objective the research is characterized as a descriptive one; as for the research strategy it is documental and as for the approach it is quantitative. In order to measure the quality of the accounting information of the analyzed entities, it was prepared a checklist starting from the accounting rules that guide the accounting practice of the third sector entities made up of seven sections and 59 requisites, which enabled the construction of the Quality Index for Accounting Information. The data were analyzed through descriptive statistics (minimum, maximum, mean, standard deviation and the results indicated a low level of the accounting information quality reported by the analyzed entities, especially when compared to for-profit organizations. One comes to the conclusion, based on the findings, that the analyzed entities present a low level of quality as to the accounting information which may jeopardize the information usefulness reported by these entities users.

  12. Entity versus incremental theories predict older adults' memory performance.

    Science.gov (United States)

    Plaks, Jason E; Chasteen, Alison L

    2013-12-01

    The authors examined whether older adults' implicit theories regarding the modifiability of memory in particular (Studies 1 and 3) and abilities in general (Study 2) would predict memory performance. In Study 1, individual differences in older adults' endorsement of the "entity theory" (a belief that one's ability is fixed) or "incremental theory" (a belief that one's ability is malleable) of memory were measured using a version of the Implicit Theories Measure (Dweck, 1999). Memory performance was assessed with a free-recall task. Results indicated that the higher the endorsement of the incremental theory, the better the free recall. In Study 2, older and younger adults' theories were measured using a more general version of the Implicit Theories Measure that focused on the modifiability of abilities in general. Again, for older adults, the higher the incremental endorsement, the better the free recall. Moreover, as predicted, implicit theories did not predict younger adults' memory performance. In Study 3, participants read mock news articles reporting evidence in favor of either the entity or incremental theory. Those in the incremental condition outperformed those in the entity condition on reading span and free-recall tasks. These effects were mediated by pretask worry such that, for those in the entity condition, higher worry was associated with lower performance. Taken together, these studies suggest that variation in entity versus incremental endorsement represents a key predictor of older adults' memory performance. PsycINFO Database Record (c) 2013 APA, all rights reserved.

  13. Entity recognition in the biomedical domain using a hybrid approach.

    Science.gov (United States)

    Basaldella, Marco; Furrer, Lenz; Tasso, Carlo; Rinaldi, Fabio

    2017-11-09

    This article describes a high-recall, high-precision approach for the extraction of biomedical entities from scientific articles. The approach uses a two-stage pipeline, combining a dictionary-based entity recognizer with a machine-learning classifier. First, the OGER entity recognizer, which has a bias towards high recall, annotates the terms that appear in selected domain ontologies. Subsequently, the Distiller framework uses this information as a feature for a machine learning algorithm to select the relevant entities only. For this step, we compare two different supervised machine-learning algorithms: Conditional Random Fields and Neural Networks. In an in-domain evaluation using the CRAFT corpus, we test the performance of the combined systems when recognizing chemicals, cell types, cellular components, biological processes, molecular functions, organisms, proteins, and biological sequences. Our best system combines dictionary-based candidate generation with Neural-Network-based filtering. It achieves an overall precision of 86% at a recall of 60% on the named entity recognition task, and a precision of 51% at a recall of 49% on the concept recognition task. These results are to our knowledge the best reported so far in this particular task.

  14. Rightsizing Projects for Non-Research-Intensive Schools of Nursing via Academic-Clinical Partnerships.

    Science.gov (United States)

    Kooken, Wendy Carter; Eckhardt, Ann L; McNutt-Dungan, Marianne; Woods, Jonathan

    Most academic-clinical partnerships are described as formal agreements between schools of nursing at research-intensive universities and large teaching hospitals. This article demonstrates less formal versions of academic-clinical partnerships established between a small, private liberal arts university school of nursing and 2 regional clinical agencies. In both exemplars, students, faculty, and staff contributed to evidence-based practice projects. Schools of nursing in non-research-intensive environments can develop right-size academic-clinical partnerships that are beneficial for all parties involved.

  15. Concepciones acerca de la maternidad en la educación formal y no formal

    Directory of Open Access Journals (Sweden)

    Alvarado Calderón, Kathia

    2005-06-01

    Full Text Available Este artículo presenta algunos resultados de la investigación desarrollada en el Instituto de Investigación en Educación (INIE, bajo el nombre "Construcción del concepto de maternidad en la educación formal y no formal". Utilizando un enfoque cualitativo de investigación, recurrimos a las técnicas de elaboración de dibujos, entrevistas y grupo focal como recursos para la recolección de la información. De esta manera, podemos acercarnos a las concepciones de la maternidad que utilizan los participantes de las diferentes instancias educativas (formal y no formal con quienes se trabajó. This article presents some results the research developed in the Instituto de Investigación en Educación (INIE, named "Construcción del concepto de maternidad en la educación formal y no formal". It begins with a theoretical analysis about social conceptions regarding motherhood in the occidental societies. Among the techniques for gathering information were thematic drawing, interview and focus group, using a qualitative approach research method. This is followed by a brief summary of main findings. The article concludes with a proposal of future working lines for the deconstruction of the motherhood concept in formal and informal education contexts.

  16. 20 CFR 702.336 - Formal hearings; new issues.

    Science.gov (United States)

    2010-04-01

    ... 20 Employees' Benefits 3 2010-04-01 2010-04-01 false Formal hearings; new issues. 702.336 Section... Procedures Formal Hearings § 702.336 Formal hearings; new issues. (a) If, during the course of the formal hearing, the evidence presented warrants consideration of an issue or issues not previously considered...

  17. A controlled vocabulary for pathway entities and events.

    Science.gov (United States)

    Jupe, Steve; Jassal, Bijay; Williams, Mark; Wu, Guanming

    2014-01-01

    Entities involved in pathways and the events they participate in require descriptive and unambiguous names that are often not available in the literature or elsewhere. Reactome is a manually curated open-source resource of human pathways. It is accessible via a website, available as downloads in standard reusable formats and via Representational State Transfer (REST)-ful and Simple Object Access Protocol (SOAP) application programming interfaces (APIs). We have devised a controlled vocabulary (CV) that creates concise, unambiguous and unique names for reactions (pathway events) and all the molecular entities they involve. The CV could be reapplied in any situation where names are used for pathway entities and events. Adoption of this CV would significantly improve naming consistency and readability, with consequent benefits for searching and data mining within and between databases. Database URL: http://www.reactome.org. © The Author(s) 2014. Published by Oxford University Press.

  18. PERFORMANCE ANALYSIS OF AN ENTITY FROM CONSTRUCTION SECTOR USING DASHBOARD

    Directory of Open Access Journals (Sweden)

    SORIN BRICIU

    2015-12-01

    Full Text Available This research paper deals with the analysis of performances of economic entities from the construction sector from Romania. The necessary data for preparation and analysis up through dashboard of the economic entity are provided by managerial accounting through Target Costing method. The way of implementing and observing of stages which are completed in managerial accounting through Target Costing method are also presented in the paper based on the existing literature. For data analysis it was used a questionnaire based on three questions whose results were analyzed and which formed the basis of our entire course of scientific approach. The paper ends with the authors' conclusions about the performance analysis of economic entities in a construction project using dashboard showing the benefits of its long-term decisions.

  19. Enhanced Named Entity Extraction via Error-Driven Aggregation

    Energy Technology Data Exchange (ETDEWEB)

    Lemmond, T D; Perry, N C; Guensche, J W; Nitao, J J; Glaser, R E; Kidwell, P; Hanley, W G

    2010-02-22

    Despite recent advances in named entity extraction technologies, state-of-the-art extraction tools achieve insufficient accuracy rates for practical use in many operational settings. However, they are not generally prone to the same types of error, suggesting that substantial improvements may be achieved via appropriate combinations of existing tools, provided their behavior can be accurately characterized and quantified. In this paper, we present an inference methodology for the aggregation of named entity extraction technologies that is founded upon a black-box analysis of their respective error processes. This method has been shown to produce statistically significant improvements in extraction relative to standard performance metrics and to mitigate the weak performance of entity extractors operating under suboptimal conditions. Moreover, this approach provides a framework for quantifying uncertainty and has demonstrated the ability to reconstruct the truth when majority voting fails.

  20. Cuban entities management. Cedrux just around the corner.

    Directory of Open Access Journals (Sweden)

    Tamara Rodríguez Sánchez

    2011-12-01

    Full Text Available The direction of the country as part of strengthening entities management and the informatization of Cuban society, presented the need to create a System of Enterprise Resource Planning (ERP, which would be able to computerize management processes of business and budgeted entities on national scale. It is in this way that since July 2008 CEDRUX product was developed composed by 15 subsystems. It will constitute the core on which new solutions will be developed that will extend its functionalities in a constantly way, including new entities management processes and allowing constant updating. In its first operational phase that will be in this very year 2011, Cedrux will only integrate 9 subsystems that will answer the economic needs of any organization.

  1. Using Local Grammar for Entity Extraction from Clinical Reports

    Directory of Open Access Journals (Sweden)

    Aicha Ghoulam

    2015-06-01

    Full Text Available Information Extraction (IE is a natural language processing (NLP task whose aim is to analyze texts written in natural language to extract structured and useful information such as named entities and semantic relations linking these entities. Information extraction is an important task for many applications such as bio-medical literature mining, customer care, community websites, and personal information management. The increasing information available in patient clinical reports is difficult to access. As it is often in an unstructured text form, doctors need tools to enable them access to this information and the ability to search it. Hence, a system for extracting this information in a structured form can benefits healthcare professionals. The work presented in this paper uses a local grammar approach to extract medical named entities from French patient clinical reports. Experimental results show that the proposed approach achieved an F-Measure of 90. 06%.

  2. A Survey of Formal Methods in Software Development

    DEFF Research Database (Denmark)

    Bjørner, Dines

    2012-01-01

    The use of formal methods and formal techniques in industry is steadily growing. In this survey we shall characterise what we mean by software development and by a formal method; briefly overview a history of formal specification languages - some of which are: VDM (Vienna Development Method, 1974...... need for multi-language formalisation (Petri Nets, MSC, StateChart, Temporal Logics); the sociology of university and industry acceptance of formal methods; the inevitability of the use of formal software development methods; while referring to seminal monographs and textbooks on formal methods....

  3. Y-formalism and b ghost in the non-minimal pure spinor formalism of superstrings

    International Nuclear Information System (INIS)

    Oda, Ichiro; Tonin, Mario

    2007-01-01

    We present the Y-formalism for the non-minimal pure spinor quantization of superstrings. In the framework of this formalism we compute, at the quantum level, the explicit form of the compound operators involved in the construction of the b ghost, their normal-ordering contributions and the relevant relations among them. We use these results to construct the quantum-mechanical b ghost in the non-minimal pure spinor formalism. Moreover we show that this non-minimal b ghost is cohomologically equivalent to the non-covariant b ghost

  4. Academic Entitlement and Academic Performance in Graduating Pharmacy Students

    OpenAIRE

    Jeffres, Meghan N.; Barclay, Sean M.; Stolte, Scott K.

    2014-01-01

    Objectives. To determine a measurable definition of academic entitlement, measure academic entitlement in graduating doctor of pharmacy (PharmD) students, and compare the academic performance between students identified as more or less academically entitled.

  5. Named Entity Recognition for Novel Types by Transfer Learning

    OpenAIRE

    Qu, Lizhen; Ferraro, Gabriela; Zhou, Liyuan; Hou, Weiwei; Baldwin, Timothy

    2016-01-01

    In named entity recognition, we often don't have a large in-domain training corpus or a knowledge base with adequate coverage to train a model directly. In this paper, we propose a method where, given training data in a related domain with similar (but not identical) named entity (NE) types and a small amount of in-domain training data, we use transfer learning to learn a domain-specific NE model. That is, the novelty in the task setup is that we assume not just domain mismatch, but also labe...

  6. Event-Entity-Relationship Modeling in Data Warehouse Environments

    DEFF Research Database (Denmark)

    Bækgaard, Lars

    We use the event-entity-relationship model (EVER) to illustrate the use of entity-based modeling languages for conceptual schema design in data warehouse environments. EVER is a general-purpose information modeling language that supports the specification of both general schema structures and multi......-dimensional schemes that are customized to serve specific information needs. EVER is based on an event concept that is very well suited for multi-dimensional modeling because measurement data often represent events in multi-dimensional databases...

  7. Twisted speckle entities inside wave-front reversal mirrors

    International Nuclear Information System (INIS)

    Okulov, A. Yu

    2009-01-01

    The previously unknown property of the optical speckle pattern reported. The interference of a speckle with the counterpropagating phase-conjugated (PC) speckle wave produces a randomly distributed ensemble of a twisted entities (ropes) surrounding optical vortex lines. These entities appear in a wide range of a randomly chosen speckle parameters inside the phase-conjugating mirrors regardless to an internal physical mechanism of the wave-front reversal. These numerically generated interference patterns are relevant to the Brillouin PC mirrors and to a four-wave mixing PC mirrors based upon laser trapped ultracold atomic cloud.

  8. Ossification of the bilateral Achilles tendon: a rare entity

    International Nuclear Information System (INIS)

    Arora, Abhishek J; Arora, Richa

    2015-01-01

    Ossification of the Achilles tendon is a rare clinical entity comprising of one or more segments of variable sized ossified masses in the fibrocartilaginous substance of the tendon. The etiology of ossification of the Achilles tendon is multifactorial with recurrent trauma and surgery comprising major predisposing factors, with others being metabolic, systemic, and infectious diseases. The possibility of a genetic predisposition towards this entity has also been raised, but has not yet been proven. We present a rare case of ossification of the bilateral Achilles tendons without any history of trauma or surgery in a 48-year-old female patient

  9. Secure Environments for Collaboration among Ubiquitous Roaming Entities

    DEFF Research Database (Denmark)

    Jensen, Christian D.

    2002-01-01

    SECURE is a newly started IST project, which addresses secure collaboration among computational entities in emerging global computing systems. The properties of these systems introduce new security challenges that are not adequately addressed by existing security models and mechanisms. The scale ...... and uncertainty of this global computing environment invalidates existing security models. Instead, new security models have to be developed along with new security mechanisms that control access to protected resources.......SECURE is a newly started IST project, which addresses secure collaboration among computational entities in emerging global computing systems. The properties of these systems introduce new security challenges that are not adequately addressed by existing security models and mechanisms. The scale...

  10. Object-Relational Management of Multiply Represented Geographic Entities

    DEFF Research Database (Denmark)

    Friis-Christensen, Anders; Jensen, Christian Søndergaard

    2003-01-01

    Multiple representation occurs when information about the same geographic entity is represented electronically more than once. This occurs frequently in practice, and it invariably results in the occurrence of inconsistencies among the different representations. We propose to resolve this situation...... by introducing a multiple representation management system (MRMS), the schema of which includes rules that specify how to identify representations of the same entity, rules that specify consistency requirements, and rules used to restore consistency when necessary. In this paper, we demonstrate by means...

  11. 49 CFR Appendix C to Part 209 - FRA's Policy Statement Concerning Small Entities

    Science.gov (United States)

    2010-10-01

    ... agency personnel respond in a timely and comprehensive fashion to the inquiries of small entities... history of compliance, FRA inspectors consider “such other factors as the immediate circumstances make... eliminating the safety hazard; the entity's culpability; the entity's compliance history; the entity's ability...

  12. Encoding of Fundamental Chemical Entities of Organic Reactivity Interest using chemical ontology and XML.

    Science.gov (United States)

    Durairaj, Vijayasarathi; Punnaivanam, Sankar

    2015-09-01

    Fundamental chemical entities are identified in the context of organic reactivity and classified as appropriate concept classes namely ElectronEntity, AtomEntity, AtomGroupEntity, FunctionalGroupEntity and MolecularEntity. The entity classes and their subclasses are organized into a chemical ontology named "ChemEnt" for the purpose of assertion, restriction and modification of properties through entity relations. Individual instances of entity classes are defined and encoded as a library of chemical entities in XML. The instances of entity classes are distinguished with a unique notation and identification values in order to map them with the ontology definitions. A model GUI named Entity Table is created to view graphical representations of all the entity instances. The detection of chemical entities in chemical structures is achieved through suitable algorithms. The possibility of asserting properties to the entities at different levels and the mechanism of property flow within the hierarchical entity levels is outlined. Copyright © 2015 Elsevier Inc. All rights reserved.

  13. 10 CFR 300.12 - Acceptance of reports and registration of entity emission reductions.

    Science.gov (United States)

    2010-01-01

    ... REPORTING PROGRAM: GENERAL GUIDELINES § 300.12 Acceptance of reports and registration of entity emission... provisions of this part. EIA will also review its records to verify that the reporting entity has submitted... credited to the entity as “registered reductions” which can be held by the reporting entity for use...

  14. FINANCIAL REPORTING IN PUBLIC INSTITUTIONS AND NON-FINANCIAL ENTITIES. SIMILARITIES AND DIFFERENCES

    OpenAIRE

    Daniela Vitan

    2011-01-01

    The present paperwork contains issues regarding financial reporting at the public institutions and non – financial entities. The main aspects are regarding the obligation of all entities to present the financial statements, the content of financial statements in public institutions and non-financial entities. Also, is presented the similarities and the differences aspects between financial reporting of these two patrimonial entities.

  15. 26 CFR 301.6233-1 - Extension to entities filing partnership returns.

    Science.gov (United States)

    2010-04-01

    ... all items of the entity that would be partnership items, as defined in section 6231(a)(3) and the... 26 Internal Revenue 18 2010-04-01 2010-04-01 false Extension to entities filing partnership....6233-1 Extension to entities filing partnership returns. (a) Entities filing a partnership return...

  16. Commercializing Academic Research

    DEFF Research Database (Denmark)

    Czarnitzki, Dirk; Hussinger, Katrin; Schneider, Cédric

    2011-01-01

    the importance of academic patenting. Our findings suggest that academic involvement in patenting results in a citation premium, as academic patents appear to generate more forward citations. We also find that in the European context of changing research objectives and funding sources since the mid-1990s...

  17. The Academic Adviser

    Science.gov (United States)

    Darling, Ruth

    2015-01-01

    In this essay, I explore the idea that "academic" advisers are "academics" who play a major role in connecting the general education curriculum to the students' experience as well as connecting the faculty to the students' holistic experience of the curriculum. The National Academic Advising Association Concept of Academic…

  18. Generalizing Prototype Theory: A Formal Quantum Framework

    Science.gov (United States)

    Aerts, Diederik; Broekaert, Jan; Gabora, Liane; Sozzo, Sandro

    2016-01-01

    Theories of natural language and concepts have been unable to model the flexibility, creativity, context-dependence, and emergence, exhibited by words, concepts and their combinations. The mathematical formalism of quantum theory has instead been successful in capturing these phenomena such as graded membership, situational meaning, composition of categories, and also more complex decision making situations, which cannot be modeled in traditional probabilistic approaches. We show how a formal quantum approach to concepts and their combinations can provide a powerful extension of prototype theory. We explain how prototypes can interfere in conceptual combinations as a consequence of their contextual interactions, and provide an illustration of this using an intuitive wave-like diagram. This quantum-conceptual approach gives new life to original prototype theory, without however making it a privileged concept theory, as we explain at the end of our paper. PMID:27065436

  19. The formal logic of business rules

    Directory of Open Access Journals (Sweden)

    Ivana Rábová

    2007-01-01

    Full Text Available Identification of improvement areas and utilization of information and communication technologies have gained value and priority in our knowledge driven society. Rules define constraints, conditions and policies of how the business processes are to be performed but they also affect the behavior of the resource and facilitate strategic business goals achieving. They control the business and represent business knowledge. The research works about business rules show how to specify and classify business rules from the business perspective and to establish an approach to managing them that will enable faster change in business processes and other business concepts in all areas of the business. In concrete this paper deals with four approaches to business rules formalization, i. e. notation of OCL, inference rules, decision table and predicate logic and with their general evaluation. The article shows also the advantages and disadvantages of these approaches of formalization. They are the example of every mentioned approach.

  20. Viscous warm inflation: Hamilton-Jacobi formalism

    Science.gov (United States)

    Akhtari, L.; Mohammadi, A.; Sayar, K.; Saaidi, Kh.

    2017-04-01

    Using Hamilton-Jacobi formalism, the scenario of warm inflation with viscous pressure is considered. The formalism gives a way of computing the slow-rolling parameter without extra approximation, and it is well-known as a powerful method in cold inflation. The model is studied in detail for three different cases of the dissipation and bulk viscous pressure coefficients. In the first case where both coefficients are taken as constant, it is shown that the case could not portray warm inflationary scenario compatible with observational data even it is possible to restrict the model parameters. For other cases, the results shows that the model could properly predicts the perturbation parameters in which they stay in perfect agreement with Planck data. As a further argument, r -ns and αs -ns are drown that show the acquired result could stand in acceptable area expressing a compatibility with observational data.

  1. Comparing formal verification approaches of interlocking systems

    DEFF Research Database (Denmark)

    Haxthausen, Anne Elisabeth; Nguyen, Hoang Nga; Roggenbach, Markus

    2016-01-01

    these approaches. As a first step towards this, in this paper we suggest a way to compare different formal approaches for verifying designs of route-based interlocking systems and we demonstrate it on modelling and verification approaches developed within the research groups at DTU/Bremen and at Surrey......The verification of railway interlocking systems is a challenging task, and therefore several research groups have suggested to improve this task by using formal methods, but they use different modelling and verification approaches. To advance this research, there is a need to compare....../Swansea. The focus is on designs that are specified by so-called control tables. The paper can serve as a starting point for further comparative studies. The DTU/Bremen research has been funded by the RobustRailS project granted by Innovation Fund Denmark. The Surrey/Swansea research has been funded by the Safe...

  2. A Formal Framework for Workflow Analysis

    Science.gov (United States)

    Cravo, Glória

    2010-09-01

    In this paper we provide a new formal framework to model and analyse workflows. A workflow is the formal definition of a business process that consists in the execution of tasks in order to achieve a certain objective. In our work we describe a workflow as a graph whose vertices represent tasks and the arcs are associated to workflow transitions. Each task has associated an input/output logic operator. This logic operator can be the logical AND (•), the OR (⊗), or the XOR -exclusive-or—(⊕). Moreover, we introduce algebraic concepts in order to completely describe completely the structure of workflows. We also introduce the concept of logical termination. Finally, we provide a necessary and sufficient condition for this property to hold.

  3. Generalizing Prototype Theory: A Formal Quantum Framework

    Directory of Open Access Journals (Sweden)

    Diederik eAerts

    2016-03-01

    Full Text Available Theories of natural language and concepts have been unable to model the flexibility, creativity, context-dependence, and emergence, exhibited by words, concepts and their combinations. The mathematical formalism of quantum theory has instead been successful in capturing these phenomena such as graded membership, situational meaning, composition of categories, and also more complex decision making situations, which cannot be modeled in traditional probabilistic approaches. We show how a formal quantum approach to concepts and their combinations can provide a powerful extension of prototype theory. We explain how prototypes can interfere in conceptual combinations as a consequence of their contextual interactions, and provide an illustration of this using an intuitive wave-like diagram. This quantum-conceptual approach gives new life to original prototype theory, without however making it a privileged concept theory, as we explain at the end of our paper.

  4. Formal Definition of Measures for BPMN Models

    Science.gov (United States)

    Reynoso, Luis; Rolón, Elvira; Genero, Marcela; García, Félix; Ruiz, Francisco; Piattini, Mario

    Business process models are currently attaining more relevance, and more attention is therefore being paid to their quality. This situation led us to define a set of measures for the understandability of BPMN models, which is shown in a previous work. We focus on understandability since a model must be well understood before any changes are made to it. These measures were originally informally defined in natural language. As is well known, natural language is ambiguous and may lead to misunderstandings and a misinterpretation of the concepts captured by a measure and the way in which the measure value is obtained. This has motivated us to provide the formal definition of the proposed measures using OCL (Object Constraint Language) upon the BPMN (Business Process Modeling Notation) metamodel presented in this paper. The main advantages and lessons learned (which were obtained both from the current work and from previous works carried out in relation to the formal definition of other measures) are also summarized.

  5. Formalism and physical interpretation in Schroedinger

    International Nuclear Information System (INIS)

    Paty, M.

    1992-01-01

    The question of the relation between a formalism and its physical interpretation arises not only when theoretical and conceptual systems are reorganized, but in the theoretical elaboration as well. The Schroedinger's work and thought are examined in this paper with this double concern. His work on the mathematical formalism is constantly sustained by a proper physical thought which takes the form of a wave intuition that guarantees him intelligibility. Concerning his interpretation of quantum mechanics, his thought remains characterized, through its evolution, by a w ave image of the world . The way he deals with space-time structure in General Relativity and favours the possibility of a direct interpretation of space-time geometrical quantities, is also studied. (author). 75 refs

  6. Picture languages formal models for picture recognition

    CERN Document Server

    Rosenfeld, Azriel

    1979-01-01

    Computer Science and Applied Mathematics: Picture Languages: Formal Models for Picture Recognition treats pictorial pattern recognition from the formal standpoint of automata theory. This book emphasizes the capabilities and relative efficiencies of two types of automata-array automata and cellular array automata, with respect to various array recognition tasks. The array automata are simple processors that perform sequences of operations on arrays, while the cellular array automata are arrays of processors that operate on pictures in a highly parallel fashion, one processor per picture element. This compilation also reviews a collection of results on two-dimensional sequential and parallel array acceptors. Some of the analogous one-dimensional results and array grammars and their relation to acceptors are likewise covered in this text. This publication is suitable for researchers, professionals, and specialists interested in pattern recognition and automata theory.

  7. $\\delta N$ formalism from superpotential and holography

    CERN Document Server

    Garriga, Jaume; Vernizzi, Filippo

    2016-02-16

    We consider the superpotential formalism to describe the evolution of scalar fields during inflation, generalizing it to include the case with non-canonical kinetic terms. We provide a characterization of the attractor behaviour of the background evolution in terms of first and second slow-roll parameters (which need not be small). We find that the superpotential is useful in justifying the separate universe approximation from the gradient expansion, and also in computing the spectra of primordial perturbations around attractor solutions in the $\\delta N$ formalism. As an application, we consider a class of models where the background trajectories for the inflaton fields are derived from a product separable superpotential. In the perspective of the holographic inflation scenario, such models are dual to a deformed CFT boundary theory, with $D$ mutually uncorrelated deformation operators. We compute the bulk power spectra of primordial adiabatic and entropy cosmological perturbations, and show that the results...

  8. Measurements and mathematical formalism of quantum mechanics

    Science.gov (United States)

    Slavnov, D. A.

    2007-03-01

    A scheme for constructing quantum mechanics is given that does not have Hilbert space and linear operators as its basic elements. Instead, a version of algebraic approach is considered. Elements of a noncommutative algebra (observables) and functionals on this algebra (elementary states) associated with results of single measurements are used as primary components of the scheme. On the one hand, it is possible to use within the scheme the formalism of the standard (Kolmogorov) probability theory, and, on the other hand, it is possible to reproduce the mathematical formalism of standard quantum mechanics, and to study the limits of its applicability. A short outline is given of the necessary material from the theory of algebras and probability theory. It is described how the mathematical scheme of the paper agrees with the theory of quantum measurements, and avoids quantum paradoxes.

  9. Asset mapping for an Asian American community: Informal and formal resources for community building

    Directory of Open Access Journals (Sweden)

    Suzie S. Weng

    2016-04-01

    Full Text Available With the growth of the Asian American population in the Southern region of the United States, mainstream and Asian American community must be aware of both informal and formal supports that are available for the population in order to effectively address needs and allocate resources. This community-based project identified informal and mainstream support that is available to an Asian American community using asset mapping. The asset-based community development framework was used in which the capacities of the local people and their associations are recognized to be essential in building a more powerful community, to helping a community be more self-sustaining, and to developing better relationships among entities. This study provides an inventory of community assets that otherwise may have been ignored and thus has the potential to contribute to a better functioning Asian American community in Jacksonville, Florida. 719 assets were identified as available potential resources for members of the Asian American community with a majority as formal resources. Of the informal assets, a majority are organizations. In general, formal resources are centralized, whereas informal resources are more evenly distributed throughout the city. These results can contribute to the establishment of more culturally accessible services and utilization of services.

  10. Flexible receiver adapter formal design review

    International Nuclear Information System (INIS)

    Krieg, S.A.

    1995-01-01

    This memo summarizes the results of the Formal (90%) Design Review process and meetings held to evaluate the design of the Flexible Receiver Adapters, support platforms, and associated equipment. The equipment is part of the Flexible Receiver System used to remove, transport, and store long length contaminated equipment and components from both the double and single-shell underground storage tanks at the 200 area tank farms

  11. Formal education in outdoor studies: introduction

    OpenAIRE

    Prince, Heather

    2015-01-01

    Regional cultural perspectives involve outdoor studies in different ways in formal curricula. This section focuses on Western Europe, particularly the UK and Scandinavia, although also has a more international reach in Backman’s consideration of the training of teachers and in place-responsive teaching as described by Mannion and Lynch. ‘Outdoor studies’ is not seen in curricula per se but under various more specialised aspects such as outdoor play, outdoor learning, environmental education, ...

  12. Heuristics structure and pervade formal risk assessment.

    Science.gov (United States)

    MacGillivray, Brian H

    2014-04-01

    Lay perceptions of risk appear rooted more in heuristics than in reason. A major concern of the risk regulation literature is that such "error-strewn" perceptions may be replicated in policy, as governments respond to the (mis)fears of the citizenry. This has led many to advocate a relatively technocratic approach to regulating risk, characterized by high reliance on formal risk and cost-benefit analysis. However, through two studies of chemicals regulation, we show that the formal assessment of risk is pervaded by its own set of heuristics. These include rules to categorize potential threats, define what constitutes valid data, guide causal inference, and to select and apply formal models. Some of these heuristics lay claim to theoretical or empirical justifications, others are more back-of-the-envelope calculations, while still more purport not to reflect some truth but simply to constrain discretion or perform a desk-clearing function. These heuristics can be understood as a way of authenticating or formalizing risk assessment as a scientific practice, representing a series of rules for bounding problems, collecting data, and interpreting evidence (a methodology). Heuristics are indispensable elements of induction. And so they are not problematic per se, but they can become so when treated as laws rather than as contingent and provisional rules. Pitfalls include the potential for systematic error, masking uncertainties, strategic manipulation, and entrenchment. Our central claim is that by studying the rules of risk assessment qua rules, we develop a novel representation of the methods, conventions, and biases of the prior art. © 2013 Society for Risk Analysis.

  13. Formal conditions for the significance-effect

    DEFF Research Database (Denmark)

    Thellefsen, Torkild Leo; Sørensen, Bent; Thellefsen, Martin

    2006-01-01

    The significance-effect is the right effect of meaning caused upon an interpreting mind. The right effect is understood as the right interpretation of an intended meaning caused by a sign communicated by an utterer. In the article, which is inspired by Charles S. Peirce's doctrine of signs, his s...... semeiotics and his theory of communication, we account for the formal conditions that have to be present for the release of the significance-effect....

  14. Consistency Anchor Formalization and Correctness Proofs

    OpenAIRE

    Miguel, Correia; Bessani, Alysson

    2014-01-01

    This is report contains the formal proofs for the techniques for increasing the consistency of cloud storage as presented in "Bessani et al. SCFS: A Cloud-backed File System. Proc. of the 2014 USENIX Annual Technical Conference. June 2014." The consistency anchor technique allows one to increase the consistency provided by eventually consistent cloud storage services like Amazon S3. This technique has been used in the SCFS (Shared Cloud File System) cloud-backed file system for solving rea...

  15. Formal First Integrals of General Dynamical Systems

    Directory of Open Access Journals (Sweden)

    Jia Jiao

    2016-01-01

    Full Text Available The goal of this paper is trying to make a complete study on the integrability for general analytic nonlinear systems by first integrals. We will firstly give an exhaustive discussion on analytic planar systems. Then a class of higher dimensional systems with invariant manifolds will be considered; we will develop several criteria for existence of formal integrals and give some applications to illustrate our results at last.

  16. Generalized formal model of Big Data

    OpenAIRE

    Shakhovska, N.; Veres, O.; Hirnyak, M.

    2016-01-01

    This article dwells on the basic characteristic features of the Big Data technologies. It is analyzed the existing definition of the “big data” term. The article proposes and describes the elements of the generalized formal model of big data. It is analyzed the peculiarities of the application of the proposed model components. It is described the fundamental differences between Big Data technology and business analytics. Big Data is supported by the distributed file system Google File System ...

  17. A Formal Definition of VDM-SL

    DEFF Research Database (Denmark)

    Bruun, Hans; Damm, F.; Dawes, J.

    1998-01-01

    This joint report from the Danish Institute for Applied Computer Science (IFAD), the Technical Universities of Delft and Denmark and the University of Leicester contains the background and technical material used in the production of the ISO Standard that defines the specification language part...... and reviewers of the project - these changes have improved the style and technical correctness of the formal definitions used to define VDM-SL....

  18. A FORMALISM FOR FUZZY BUSINESS RULES

    Directory of Open Access Journals (Sweden)

    Vasile Mazilescu

    2015-05-01

    Full Text Available The aim of this paper is to provide a formalism for fuzzy rule bases, included in our prototype system FUZZY_ENTERPRISE. This framework can be used in Distributed Knowledge Management Systems (DKMSs, real-time interdisciplinary decision making systems, that often require increasing technical support to high quality decisions in a timely manner. The language of the first-degree predicates facilitates the formulation of complex knowledge in a rigorous way, imposing appropriate reasoning techniques.

  19. Textile materials trading center formally launched online

    Institute of Scientific and Technical Information of China (English)

    2012-01-01

    Textile materials trading center was formally launched online in Wuxi City,Jiangsu Province. This is the first third-party electronic trading platform for spot trading in China textile materials professional market. The project will strive to build the most influential textile materials trading center of East China,the whole country and even the whole world China textile materials trading center will be

  20. Toward a Formal Model of Cognitive Synergy

    OpenAIRE

    Goertzel, Ben

    2017-01-01

    "Cognitive synergy" refers to a dynamic in which multiple cognitive processes, cooperating to control the same cognitive system, assist each other in overcoming bottlenecks encountered during their internal processing. Cognitive synergy has been posited as a key feature of real-world general intelligence, and has been used explicitly in the design of the OpenCog cognitive architecture. Here category theory and related concepts are used to give a formalization of the cognitive synergy concept....

  1. On the formal series Witt transform

    NARCIS (Netherlands)

    Moree, P.

    2005-01-01

    Given a formal power series f(z)∈C〚z〛f(z)∈C〚z〛 we define, for any positive integer r, its r th Witt transform, Wf(r), by Wf(r)(z)=1r∑d|rμ(d)f(zd)r/d, where μμ denotes the Möbius function. The Witt transform generalizes the necklace polynomials, M(α;n)M(α;n), that occur in the cyclotomic identity

  2. Time delay in a multichannel formalism

    International Nuclear Information System (INIS)

    Haberzettl, Helmut; Workman, Ron

    2007-01-01

    We reexamine the time-delay formalism of Wigner, Eisenbud, and Smith, which was developed to analyze both elastic and inelastic resonances. An error in the paper of Smith has propagated through the literature. We correct this error and show how the results of Eisenbud and Smith are related. We also comment on some recent time-delay studies, based on Smith's erroneous interpretation of the Eisenbud result

  3. Formalization and Analysis of Reasoning by Assumption

    OpenAIRE

    Bosse, T.; Jonker, C.M.; Treur, J.

    2006-01-01

    This article introduces a novel approach for the analysis of the dynamics of reasoning processes and explores its applicability for the reasoning pattern called reasoning by assumption. More specifically, for a case study in the domain of a Master Mind game, it is shown how empirical human reasoning traces can be formalized and automatically analyzed against dynamic properties they fulfill. To this end, for the pattern of reasoning by assumption a variety of dynamic properties have been speci...

  4. Globalization and formal sector migration in Brazil

    OpenAIRE

    Aguayo-Tellez, Ernesto; Muendler, Marc-Andreas; Poole, Jennifer Pamela

    2008-01-01

    We use novel linked employer–employee data to study the relationship between globalization and formal sector interstate migration for Brazil. We estimate the worker’s multichoice migration problem and document that previously unobserved employer covariates are significant predictors associated with migration flows. Our results provide support for the idea that globalization acts on internal migration through the growth of employment opportunities at locations with a high concentration of fore...

  5. Exploiting thesauri knowledge in medical guideline formalization

    OpenAIRE

    Serban, R.C.; ten Teije, A.C.M.

    2009-01-01

    Objectives: As in software product lifecycle, the effort spent in maintaining medical knowl edge in guidelines can be reduced, if modularization, formalization and tracking of domain knowledge are employed across the guideline development phases. Methods: We propose to exploit and combine knowledge templates with medical background knowledge from existing thesauri in order to produce reusable building blocks used in guideline development. These tem- plates enable easier guideline formalizatio...

  6. Generalized operator canonical formalism and gauge invariance

    International Nuclear Information System (INIS)

    Fradkina, T.E.

    1988-01-01

    A direct proof is given in the functional representation of the invariance of the S-matrix constructed in the framework of the generalized operator canonical formalism. We find the traditional functional expression for the S-matrix (without point-splitting in the time factor) in the generalized phase space, as well as in the ghost configuration space. An explicit expression is obtained for the effective unitarizing Hamiltonian for gauge theories with constraints of arbitrary rank

  7. Toxic cannabis psychosis IS a valid entIty

    African Journals Online (AJOL)

    1990-10-20

    Oct 20, 1990 ... Psychotic features included: formal thought disorder; hallucinations; delusions; ..... Major depressive episode. Manic episode ... Anxiety disorder. Temporal ... admission to hospital were in fact suffering from a mixed dagga and ...

  8. Business Entity Selection: Why It Matters to Healthcare Practitioners. Part II--Corporations, Limited Liability Companies, and Professional Entities.

    Science.gov (United States)

    Nithman, Robert W

    2015-01-01

    The Bureau of Labor statistics indicates only a 50% four-year survivability rate among businesses classified as "education and health services." Gaining knowledge of IRS business entities can result in cost savings, operational efficiency, reduced liability, and enhanced sustainability. Each entity has unique disadvantages, depending on size, diversity of ownership, desire to expand, and profitability. Business structures should be compatible with organizational mission or vision statements, services and products, and professional codes of ethics. Healthcare reform will require greater business acumen. We have an ethical duty to disseminate and acquire the knowledge to properly establish and manage healthcare practices to ensure sustainable services that protect and serve the community.

  9. Leslie Martin and the formal order

    Directory of Open Access Journals (Sweden)

    Jaime J. Ferrer Fores

    2016-05-01

    Full Text Available Abstract This paper analyzes the architecture of Sir Leslie Martin (1908-2000 and covers the intense professional career that starts with the Nursery School at Northwich, Cheshire (1937-1938 or the Alastair Morton house at Brampton (1938 which are ascribed to the orthodoxy of modern architecture, and  continues with the projects he planned as the architect responsible of the railway company for stations and railroad infrastructure rearrangements in the postwar, interventions that will prepare him for his architectural maturity stage which he crystallizes in buildings for the Royal Festival Hall in London (1948-1951, the Harvey Court, Cambridge (1958-1962, the auditoriums  for the Middleton Hall, University of Hull (1958 , the School of Music  (1974 and College (1979 at Cambridge University and his proposal for  the University of Bristol (1979 that illustrate the essential basis of his  coherent architectural career where the tradition of modern architecture, the spatial continuity and the formal order converge. This analysis of the works in the fifties, sixties and seventies illustrates the architect’s constants  through the chronological exploration of his works that reveal the  compositional mechanisms, the search for formal order and the correct spatial organization taking into account the functional requirements, the relationship with the site and the technological resources that determine his entire career which is characterized by formal consistency and architectural coherence.

  10. Nonextensive formalism and continuous Hamiltonian systems

    International Nuclear Information System (INIS)

    Boon, Jean Pierre; Lutsko, James F.

    2011-01-01

    A recurring question in nonequilibrium statistical mechanics is what deviation from standard statistical mechanics gives rise to non-Boltzmann behavior and to nonlinear response, which amounts to identifying the emergence of 'statistics from dynamics' in systems out of equilibrium. Among several possible analytical developments which have been proposed, the idea of nonextensive statistics introduced by Tsallis about 20 years ago was to develop a statistical mechanical theory for systems out of equilibrium where the Boltzmann distribution no longer holds, and to generalize the Boltzmann entropy by a more general function S q while maintaining the formalism of thermodynamics. From a phenomenological viewpoint, nonextensive statistics appeared to be of interest because maximization of the generalized entropy S q yields the q-exponential distribution which has been successfully used to describe distributions observed in a large class of phenomena, in particular power law distributions for q>1. Here we re-examine the validity of the nonextensive formalism for continuous Hamiltonian systems. In particular we consider the q-ideal gas, a model system of quasi-particles where the effect of the interactions are included in the particle properties. On the basis of exact results for the q-ideal gas, we find that the theory is restricted to the range q<1, which raises the question of its formal validity range for continuous Hamiltonian systems.

  11. Formal refinement of extended state machines

    Directory of Open Access Journals (Sweden)

    Thomas Fayolle

    2016-06-01

    Full Text Available In a traditional formal development process, e.g. using the B method, the informal user requirements are (manually translated into a global abstract formal specification. This translation is especially difficult to achieve. The Event-B method was developed to incrementally and formally construct such a specification using stepwise refinement. Each increment takes into account new properties and system aspects. In this paper, we propose to couple a graphical notation called Algebraic State-Transition Diagrams (ASTD with an Event-B specification in order to provide a better understanding of the software behaviour. The dynamic behaviour is captured by the ASTD, which is based on automata and process algebra operators, while the data model is described by means of an Event-B specification. We propose a methodology to incrementally refine such specification couplings, taking into account new refinement relations and consistency conditions between the control specification and the data specification. We compare the specifications obtained using each approach for readability and proof complexity. The advantages and drawbacks of the traditional approach and of our methodology are discussed. The whole process is illustrated by a railway CBTC-like case study. Our approach is supported by tools for translating ASTD's into B and Event-B into B.

  12. [How to write an article: formal aspects].

    Science.gov (United States)

    Corral de la Calle, M A; Encinas de la Iglesia, J

    2013-06-01

    Scientific research and the publication of the results of the studies go hand in hand. Exquisite research methods can only be adequately reflected in formal publication with the optimum structure. To ensure the success of this process, it is necessary to follow orderly steps, including selecting the journal in which to publish and following the instructions to authors strictly as well as the guidelines elaborated by diverse societies of editors and other institutions. It is also necessary to structure the contents of the article in a logical and attractive way and to use an accurate, clear, and concise style of language. Although not all the authors are directly involved in the actual writing, elaborating a scientific article is a collective undertaking that does not finish until the article is published. This article provides practical advice about formal and not-so-formal details to take into account when writing a scientific article as well as references that will help readers find more information in greater detail. Copyright © 2012 SERAM. Published by Elsevier Espana. All rights reserved.

  13. Qualitative simulation in formal process modelling

    International Nuclear Information System (INIS)

    Sivertsen, Elin R.

    1999-01-01

    In relation to several different research activities at the OECD Halden Reactor Project, the usefulness of formal process models has been identified. Being represented in some appropriate representation language, the purpose of these models is to model process plants and plant automatics in a unified way to allow verification and computer aided design of control strategies. The present report discusses qualitative simulation and the tool QSIM as one approach to formal process models. In particular, the report aims at investigating how recent improvements of the tool facilitate the use of the approach in areas like process system analysis, procedure verification, and control software safety analysis. An important long term goal is to provide a basis for using qualitative reasoning in combination with other techniques to facilitate the treatment of embedded programmable systems in Probabilistic Safety Analysis (PSA). This is motivated from the potential of such a combination in safety analysis based on models comprising both software, hardware, and operator. It is anticipated that the research results from this activity will benefit V and V in a wide variety of applications where formal process models can be utilized. Examples are operator procedures, intelligent decision support systems, and common model repositories (author) (ml)

  14. 10 CFR 300.5 - Submission of an entity statement.

    Science.gov (United States)

    2010-01-01

    ... processes, outsourcing or insourcing of significant activities) that are likely to have a significant effect... period, or other elements of its entity statement. For example, companies buy and sell business units, or... divestiture of discrete business units, subsidiaries, facilities, and plants; (ii) The closure or opening of...

  15. Primary malignancy of seminal vesicle: A rare entity

    Directory of Open Access Journals (Sweden)

    Rajaraman Ramamurthy

    2011-01-01

    Full Text Available We report a rare case of seminal vesicle malignancy (primitive neuro ectodermal tumor in a 40-year-old male patient. He was treated with enbloc resection of the tumor and ureteric reimplantation. In view of the rarity of this entity, management of these tumors should be individualized.

  16. GASB's New Standard on Reporting Entity for School Districts.

    Science.gov (United States)

    Harmer, W. Gary

    1991-01-01

    Explains the impact on school district financial reporting of the Governmental Accounting Standards Board Statement 14, "The Financial Reporting Entity." One of Statement 14's objectives is for financial report users to be able to distinguish between the primary government and its component units. (MLF)

  17. 27 CFR 479.90 - Certain government entities.

    Science.gov (United States)

    2010-04-01

    ... State, possession of the United States, any political subdivision thereof, or any official police organization of such a governmental entity engaged in criminal investigations. (b) The exemption provided in... person may subject the transferor to civil and criminal liabilities. (See 26 U.S.C. 5852, 5861, and 5871...

  18. 77 FR 60948 - Stress Testing of Regulated Entities

    Science.gov (United States)

    2012-10-05

    ... regulated by a primary federal financial regulatory agency, to conduct annual stress tests to determine... the regulated entities under the Federal Housing Enterprises Financial Safety and Soundness Act of... regulated by a primary Federal financial regulatory agency shall conduct annual stress tests * * * (emphasis...

  19. Investigation of a baseline method for genealogical entity resolution

    NARCIS (Netherlands)

    Efremova, I.; Ranjbar-Sahraei, B.; Oliehoek, F.A.; Calders, T.G.K.; Tuyls, K.P.

    2014-01-01

    In this paper we study the application of entity resolution (ER) techniques on a real-world multi-source genealogical dataset. Our goal is to identify all persons involved in various notary acts and link them to their birth, marriage and death certificates. In order to evaluate the performance of a

  20. New entity for conducting group practice offers new potential.

    Science.gov (United States)

    Rich, H I

    1994-01-01

    A new form of entity, the limited liability company (LLC), may be used by physicians to conduct group practices with the tax advantages of a partnership and insulation from liability for copractitioner's acts. The author reviews the New Jersey Limited Liability Company Act.

  1. Instructional Transaction Theory: Knowledge Relationships among Processes, Entities, and Activities.

    Science.gov (United States)

    Merrill, M. David; And Others

    1993-01-01

    Discussion of instructional transaction theory focuses on knowledge representation in an automated instructional design expert system. A knowledge structure called PEA-Net (processes, entities, and activities) is explained; the refrigeration process is used as an example; text resources and graphic resources are described; and simulations are…

  2. Amelogenesis imperfecta and localised aggressive periodontitis: A rare clinical entity

    Directory of Open Access Journals (Sweden)

    Gayatri Gundannavar

    2013-01-01

    Full Text Available This case report presents two female patients whose chief complaint was discoloration of teeth. On careful clinical examination it was found that the patients had features of amelogenesis imperfecta and localised aggressive periodontitis. This article will give an insight of clinical and radiographic features of amelogenesis imperfecta with localised aggressive periodontitis, which is a rare clinical entity.

  3. An interactive, web-based tool for genealogical entity resolution

    NARCIS (Netherlands)

    Efremova, I.; Ranjbar-Sahraei, B.; Oliehoek, F.A.; Calders, T.G.K.; Tuyls, K.P.

    2013-01-01

    We demonstrate an interactive, web-based tool which helps historians to do Genealogical Entitiy Resolution. This work has two main goals. First, it uses Machine Learning (ML) algorithms to assist humanites researchers to perform Genealogical Entity Resolution. Second, it facilitates the generation

  4. Named entity extraction and disambiguation: the missing link

    NARCIS (Netherlands)

    Habib, Mena Badieh; van Keulen, Maurice

    2013-01-01

    Named entity extraction (NEE) and disambiguation (NED) are two areas of research that are well covered in literature. Typical fields addressing these topics are information retrieval, natural language processing, and semantic web. Although these topics are highly dependent, almost no existing works

  5. Nanofluidic device for extraction of elastic bio-entities

    DEFF Research Database (Denmark)

    2018-01-01

    The invention relates to a nanofluidic device for extraction of elastic bio-entities suspended in liquid. The device comprises a main passage and a plurality of nanoslits extending from a sidewall of the main passage. The main passage has a first height and each nanoslit has a second height so...

  6. Lichen planus hypertrophicus of the vulva - a rare entity.

    Science.gov (United States)

    Job, Anupa Mary; Kaimal, Sowmya

    2017-09-01

    Vulvovaginal lichen planus is a type of chronic inflammatory dermatosis of the vulva, usually seen as a part of widespread lichen planus. The common clinical types of vulval lichen planus include papulosquamous, erosive and pigmented types. Hypertrophic lichen planus of the vulva is a rare entity. We report a case of hypertrophic lichen planus of the vulva which clinically simulated genital warts.

  7. Principles and tools for collaborative entity-based intelligence analysis.

    Science.gov (United States)

    Bier, Eric A; Card, Stuart K; Bodnar, John W

    2010-01-01

    Software tools that make it easier for analysts to collaborate as a natural part of their work will lead to better analysis that is informed by more perspectives. We are interested to know if software tools can be designed that support collaboration even as they allow analysts to find documents and organize information (including evidence, schemas, and hypotheses). We have modified the Entity Workspace system, described previously, to test such designs. We have evaluated the resulting design in both a laboratory study and a study where it is situated with an analysis team. In both cases, effects on collaboration appear to be positive. Key aspects of the design include an evidence notebook optimized for organizing entities (rather than text characters), information structures that can be collapsed and expanded, visualization of evidence that emphasizes events and documents (rather than emphasizing the entity graph), and a notification system that finds entities of mutual interest to multiple analysts. Long-term tests suggest that this approach can support both top-down and bottom-up styles of analysis.

  8. Syringomatous carcinoma: Case report of a rare tumor entity | El ...

    African Journals Online (AJOL)

    Syringomatous carcinoma is an extremely invasive tumor, locally destructive and slowly growing adnexal tumour, derived from eccrine sweat glands. It is often mistaken, both clinically and microscopically, for other benign and malignant entities. The tumour recurrence is high due to extensive perineural invasion, but

  9. Intelligent Entity Behavior Within Synthetic Environments. Chapter 3

    Science.gov (United States)

    Kruk, R. V.; Howells, P. B.; Siksik, D. N.

    2007-01-01

    This paper describes some elements in the development of realistic performance and behavior in the synthetic entities (players) which support Modeling and Simulation (M&S) applications, particularly military training. Modern human-in-the-loop (virtual) training systems incorporate sophisticated synthetic environments, which provide: 1. The operational environment, including, for example, terrain databases; 2. Physical entity parameters which define performance in engineered systems, such as aircraft aerodynamics; 3. Platform/system characteristics such as acoustic, IR and radar signatures; 4. Behavioral entity parameters which define interactive performance, including knowledge/reasoning about terrain, tactics; and, 5. Doctrine, which combines knowledge and tactics into behavior rule sets. The resolution and fidelity of these model/database elements can vary substantially, but as synthetic environments are designed to be compose able, attributes may easily be added (e.g., adding a new radar to an aircraft) or enhanced (e.g. Amending or replacing missile seeker head/ Electronic Counter Measures (ECM) models to improve the realism of their interaction). To a human in the loop with synthetic entities, their observed veridicality is assessed via engagement responses (e.g. effect of countermeasures upon a closing missile), as seen on systems displays, and visual (image) behavior. The realism of visual models in a simulation (level of detail as well as motion fidelity) remains a challenge in realistic articulation of elements such as vehicle antennae and turrets, or, with human figures; posture, joint articulation, response to uneven ground. Currently the adequacy of visual representation is more dependant upon the quality and resolution of the physical models driving those entities than graphics processing power per Se. Synthetic entities in M&S applications traditionally have represented engineered systems (e.g. aircraft) with human-in-the-loop performance

  10. Incorporating current research into formal higher education settings using Astrobites

    Science.gov (United States)

    Sanders, Nathan E.; Kohler, Susanna; Faesi, Chris; Villar, Ashley; Zevin, Michael

    2017-10-01

    A primary goal of many undergraduate- and graduate-level courses in the physical sciences is to prepare students to engage in scientific research or to prepare students for careers that leverage skillsets similar to those used by research scientists. Even for students who may not intend to pursue a career with these characteristics, exposure to the context of applications in modern research can be a valuable tool for teaching and learning. However, a persistent barrier to student participation in research is familiarity with the technical language, format, and context that academic researchers use to communicate research methods and findings with each other: the literature of the field. Astrobites, an online web resource authored by graduate students, has published brief and accessible summaries of more than 1300 articles from the astrophysical literature since its founding in 2010. This article presents three methods for introducing students at all levels within the formal higher education setting to approaches and results from modern research. For each method, we provide a sample lesson plan that integrates content and principles from Astrobites, including step-by-step instructions for instructors, suggestions for adapting the lesson to different class levels across the undergraduate and graduate spectrum, sample student handouts, and a grading rubric.

  11. Academic Training: Academic Training Lectures-Questionnaire

    CERN Multimedia

    2004-01-01

    ACADEMIC TRAINING Françoise Benz tel. 73127 academic.training@cern.ch SUGGEST AND WIN! Its time to plan the 2004-2005 lecture series. From today until March 19 you have the chance to give your contribution to planning for next year's Academic Training Lecture Series. At the web site: http://cern.ch/Academic.Training/questionnaire you will find questionnaires proposing topics in high energy physics, applied physics and science and society. Answering the questionnaire will help ensure that the selected topics are as close as possible to your interests. In particular requests and comments from students will be much appreciated. To encourage your contribution, the AT Committee will reward one lucky winner with a small prize, a 50 CHF coupon for a book purchase at the CERN bookshop.

  12. Anthropological analysis of differences in psychomotor skills area high school students and their linkages with the formal representation of kinesiological education classes in the curriculum

    Directory of Open Access Journals (Sweden)

    Bešović Milica

    2012-01-01

    Full Text Available In order to determine differences in anthropological space psychomotor skills and their connection with the formal representation of kinesiological education classes in the curriculum of secondary school students, conducted the study in part on a simple random sample of 200 female high school population of entities, which are described with 7 sets of primary psychomotor indicators. According to the criterion of formal representation of kinesiological education classes in the curriculum, the sample was stratified on the subsample with two or four hours a week. To determine the difference discriminant analysis was applied. According to the actual parameters, confirmed the initial assumption that the system of psychomotor variables and criterion variables no statistically significant association, then it was concluded that the results do not contradict current scientific knowledge indicated the need and transition model curriculum in favor of the treated population biopsihosocijalnog integrity of its entities.

  13. Academic self-concept, autonomous academic motivation, and academic achievement : mediating and additive effects

    OpenAIRE

    Guay, Frédéric; Ratelle, Catherine; Roy, Amélie; Litalien, David

    2010-01-01

    Three conceptual models were tested to examine the relationships among academic self-concept, autonomous academic motivation, and academic achievement. This allowed us to determine whether 1) autonomous academic motivation mediates the relation between academic self-concept and achievement, 2) academic self-concept mediates the relation between autonomous academic motivation and achievement, or 3) both motivational constructs have an additive effect on academic achievement. A total of 925 hig...

  14. Gendered organisational cultures in German academic engineering

    Directory of Open Access Journals (Sweden)

    Felizitas Sagebiel

    2016-12-01

    Full Text Available This paper will describe and analyse how female professors manage formal and informal norms and values of their departments and organizations. State of the art includes different gender theories and research. With a qualitative methodological design (especially interviews and focus discussion groups, case studies were conducted in companies, political institutions, governmental research organizations and universities. From a gender perspective, the following aspects were analysed: gender stereotypes and gendered leadership expectations, transparent and strategic communication, expectations of output, commitment and availability, gender awareness, and integration in gendered networking and networks. The results focus on academic engineering cultures in investigated research institutes and one technical university.

  15. Formalization of the Resolution Calculus for First-Order Logic

    DEFF Research Database (Denmark)

    Schlichtkrull, Anders

    2016-01-01

    A formalization in Isabelle/HOL of the resolution calculus for first-order logic is presented. Its soundness and completeness are formally proven using the substitution lemma, semantic trees, Herbrand’s theorem, and the lifting lemma. In contrast to previous formalizations of resolution, it consi......A formalization in Isabelle/HOL of the resolution calculus for first-order logic is presented. Its soundness and completeness are formally proven using the substitution lemma, semantic trees, Herbrand’s theorem, and the lifting lemma. In contrast to previous formalizations of resolution...

  16. 77 FR 58006 - Addition of Certain Persons to the Entity List; Removal of Person From the Entity List Based on...

    Science.gov (United States)

    2012-09-19

    ... limited. DATES: Effective Date: This rule is effective September 19, 2012. FOR FURTHER INFORMATION CONTACT..., F-2, Khusal Khan Khattak Road, University Town, Peshawar, Pakistan. Annual Review of the Entity List...) 54th Research Institute; --Communication, Telemetry and Telecontrol Research Institute (CTI); and...

  17. 76 FR 63184 - Addition of Certain Persons on the Entity List; Implementation of Entity List Annual Review...

    Science.gov (United States)

    2011-10-12

    ... Road, Tsuen Wan, Hong Kong; and 2. Hang Tat Electronics Enterprises Co., Room 2608, Technology Plaza, 29-35 Sha Tsui Road, Tsuen Wan, Hong Kong. Removals From the Entity List This rule removes four... to part 732 of the EAR, ``BIS's `Know Your Customer' Guidance and Red Flags,'' when persons are...

  18. Design and Construction of an Entity Resolution System that Supports Entity Identity Information Management and Asserted Resolution

    Science.gov (United States)

    Nelson, Eric Derrand

    2011-01-01

    This work describes the design and construction of an open source, entity resolution system that enables users to assign and maintain persistent identifiers for master data items. Two key features of this system that are not available in current ER systems and that make persistent identification possible are (1) The capture and management of…

  19. 77 FR 24587 - Addition of Certain Persons to the Entity List; and Implementation of Entity List Annual Review...

    Science.gov (United States)

    2012-04-25

    ... information displays a currently valid Office of Management and Budget (OMB) Control Number. This regulation... Management and Budget (OMB), by email to [email protected] , or by fax to (202) 395-7285. 3. This... Germany, the German entity: ``Akbar Ashraf Vaghefi, Koburgerstr 10, D-10825, Berlin, Germany;'' 0 (f) By...

  20. 78 FR 18808 - Addition of Certain Persons to the Entity List; Removal of Person From the Entity List Based on...

    Science.gov (United States)

    2013-03-28

    ... information displays a currently valid Office of Management and Budget (OMB) Control Number. This regulation..., including suggestions for reducing the burden, to Jasmeet K. Seehra, Office of Management and Budget (OMB.... By revising under Germany, one German entity; 0 d. By adding under Germany, in alphabetical order...