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.

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...

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.

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

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.

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.

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...

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…

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.

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…

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.

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.

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.

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…

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

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

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 ...

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

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…

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.

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.

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…

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.

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...

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…

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.

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

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...

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.

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.

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.

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

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…

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...

Best Practices in Academic Mentoring: A Model for Excellence

Directory of Open Access Journals (Sweden)

Jan M. Nick

2012-01-01

Full Text Available Mentoring is important for the recruitment and retention of qualified nurse faculty, their ongoing career development, and leadership development. However, what are current best practices of mentoring? The purpose of this paper is to provide an overview of a model for excellence in establishing a formal mentoring program for academic nurse educators. Six themes for establishing a formal mentoring program are presented, highlighting best practices in mentoring as culled from experience and the literature. Themes reflect aims to achieve appropriately matched dyads, establish clear mentorship purpose and goals, solidify the dyad relationship, advocate for and guide the protégé, integrate the protégé into the academic culture, and mobilize institutional resources for mentoring support. Attending to the six themes will help mentors achieve important protégé outcomes, such as orientation to the educator role, integration into the academic community, development of teaching, scholarship, and service skills, as well as leadership development. The model is intended to be generalizable for faculty teaching in a variety of academic nursing institution types and sizes. Mentoring that integrates the six themes assists faculty members to better navigate the academic environment and more easily transition to new roles and responsibilities.

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…

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…

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

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.

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...

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.

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.

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.

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…

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.

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…

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…

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,

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...

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...

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

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.

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...

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;

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.

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

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…

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...

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.

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...

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

Building a sustainable Academic Health Department: the South Carolina model.

Science.gov (United States)

Smith, Lillian Upton; Waddell, Lisa; Kyle, Joseph; Hand, Gregory A

2014-01-01

Given the limited resources available to public health, it is critical that university programs complement the development needs of agencies. Unfortunately, academic and practice public health entities have long been challenged in building sustainable collaborations that support practice-based research, teaching, and service. The academic health department concept offers a promising solution. In South Carolina, the partners started their academic health department program with a small grant that expanded into a dynamic infrastructure that supports innovative professional exchange and development programs. This article provides a background and describes the key elements of the South Carolina model: joint leadership, a multicomponent memorandum of agreement, and a shared professional development mission. The combination of these elements allows the partners to leverage resources and deftly respond to challenges and opportunities, ultimately fostering the sustainability of the collaboration.

Education in medical billing benefits both neurology trainees and academic departments.

Science.gov (United States)

Waugh, Jeff L

2014-11-11

The objective of residency training is to produce physicians who can function independently within their chosen subspecialty and practice environment. Skills in the business of medicine, such as clinical billing, are widely applicable in academic and private practices but are not commonly addressed during formal medical education. Residency and fellowship training include limited exposure to medical billing, but our academic department's performance of these skills was inadequate: in 56% of trainee-generated outpatient notes, documentation was insufficient to sustain the chosen billing level. We developed a curriculum to improve the accuracy of documentation and coding and introduced practice changes to address our largest sources of error. In parallel, we developed tools that increased the speed and efficiency of documentation. Over 15 months, we progressively eliminated note devaluation, increased the mean level billed by trainees to nearly match that of attending physicians, and increased outpatient revenue by $34,313/trainee/year. Our experience suggests that inclusion of billing education topics into the formal medical curriculum benefits both academic medical centers and trainees. © 2014 American Academy of Neurology.

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

CAEP 2015 Academic Symposium: Leadership within the emergency medicine academic community and beyond.

Science.gov (United States)

Sinclair, Doug; Worthington, James R; Joubert, Gary; Holroyd, Brian R; Stempien, James; Letovsky, Eric; Rutledge, Tim; LeBlanc, Constance; Pitters, Carrol; McCallum, Andrew; Carr, Brendan; Gerace, Rocco; Stiell, Ian G; Artz, Jennifer D; Christenson, Jim

2016-05-01

A panel of emergency medicine (EM) leaders endeavoured to define the key elements of leadership and its models, as well as to formulate consensus recommendations to build and strengthen academic leadership in the Canadian EM community in the areas of mentorship, education, and resources. The expert panel comprised EM leaders from across Canada and met regularly by teleconference over the course of 9 months. From the breadth of backgrounds and experience, as well as a literature review and the development of a leadership video series, broad themes for recommendations around the building and strengthening of EM leadership were presented at the CAEP 2015 Academic Symposium held in Edmonton, Alberta. Feedback from the attendees (about 80 emergency physicians interested in leadership) was sought. Subsequently, draft recommendations were developed by the panel through attendee feedback, further review of the leadership video series, and expert opinion. The recommendations were distributed to the CAEP Academic Section for further feedback and updated by consensus of the expert panel. The methods informed the panel who framed recommendations around four themes: 1) leadership preparation and training, 2) self-reflection/emotional intelligence, 3) academic leadership skills, and 4) gender balance in academic EM leadership. The recommendations aimed to support and nurture the next generation of academic EM leaders in Canada and included leadership mentors, availability of formal educational courses/programs in leadership, self-directed education of aspiring leaders, creation of a Canadian subgroup with the AACEM/SAEM Chair Development Program, and gender balance in leadership roles. These recommendations serve as a roadmap for all EM leaders (and aspiring leaders) to build on their success, inspire their colleagues, and foster the next generation of Canadian EM academic leaders.

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....

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…

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.

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...

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

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

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...

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...

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...

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....

Mentoring perception and academic performance: an Academic Health Science Centre survey.

Science.gov (United States)

Athanasiou, Thanos; Patel, Vanash; Garas, George; Ashrafian, Hutan; Shetty, Kunal; Sevdalis, Nick; Panzarasa, Pietro; Darzi, Ara; Paroutis, Sotirios

2016-10-01

To determine the association between professors' self-perception of mentoring skills and their academic performance. Two hundred and fifteen professors from Imperial College London, the first Academic Health Science Centre (AHSC) in the UK, were surveyed. The instrument adopted was the Mentorship Skills Self-Assessment Survey. Statement scores were aggregated to provide a score for each shared core, mentor-specific and mentee-specific skill. Univariate and multivariate regression analyses were used to evaluate their relationship with quantitative measures of academic performance (publications, citations and h-index). There were 104 professors that responded (response rate 48%). There were no statistically significant negative correlations between any mentoring statement and any performance measure. In contrast, several mentoring survey items were positively correlated with academic performance. The total survey score for frequency of application of mentoring skills had a statistically significant positive association with number of publications (B=0.012, SE=0.004, p=0.006), as did the frequency of acquiring mentors with number of citations (B=1.572, SE=0.702, p=0.030). Building trust and managing risks had a statistically significant positive association with h-index (B=0.941, SE=0.460, p=0.047 and B=0.613, SE=0.287, p=0.038, respectively). This study supports the view that mentoring is associated with high academic performance. Importantly, it suggests that frequent use of mentoring skills and quality of mentoring have positive effects on academic performance. Formal mentoring programmes should be considered a fundamental part of all AHSCs' configuration. Published by the BMJ Publishing Group Limited. For permission to use (where not already granted under a licence) please go to http://www.bmj.com/company/products-services/rights-and-licensing/

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...

Stories Are Like Water: An Academic Writing Workshop for Nurses.

Science.gov (United States)

Walker, Madeline; Tschanz, Coby

2018-04-01

Traditionally, there is very little formal instruction in academic writing for nurses in graduate programs. We, the writing scholar and a nurse educator and PhD student at a major Canadian university, describe how we collaborated on developing and delivering a 1-day academic writing workshop for incoming master of nursing students. By sharing this description, we hope to motivate nursing faculty to offer similar workshops to address the dearth of writing instruction for graduate students in nursing and to improve scholarship outcomes.

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...

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.

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...

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.

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

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.

Building sustainable community partnerships into the structure of new academic public health schools and programs.

Science.gov (United States)

Gaughan, Monica; Gillman, Laura B; Boumbulian, Paul; Davis, Marsha; Galen, Robert S

2011-01-01

We describe and assess how the College of Public Health at the University of Georgia, established in 2005, has developed formal institutional mechanisms to facilitate community-university partnerships that serve the needs of communities and the university. The College developed these partnerships as part of its founding; therefore, the University of Georgia model may serve as an important model for other new public health programs. One important lesson is the need to develop financial and organizational mechanisms that ensure stability over time. Equally important is attention to how community needs can be addressed by faculty and students in academically appropriate ways. The integration of these 2 lessons ensures that the academic mission is fulfilled at the same time that community needs are addressed. Together, these lessons suggest that multiple formal strategies are warranted in the development of academically appropriate and sustainable university-community partnerships.

Assisting the High Administrative Court in Restricting Too Broad a Concept of Academic Judgment.

Science.gov (United States)

Cardao-Pito, Tiago

2016-01-01

I have received substantial monetary compensation and a formal apology from my first doctoral school, and a Ph.D. from another university. This essay describes my personal view on discussing the boundaries of academic judgment and research supervision with the ombudsman agency for higher education, and at the High Administrative Court of England and Wales. The Court's judicial doctrine addresses substantial research accountability matters. It clarifies that although the Court and ombudsman agency must not interfere with academic judgment, not everything done by an academic can be considered as academic judgment. A Ph.D. supervisor can seriously fail to perform his/her duties.

Academic-Service Partnerships in Nursing: An Integrative Review

Directory of Open Access Journals (Sweden)

Judy A. Beal

2012-01-01

Full Text Available This integrative review summarizes currently available evidence on academic-service partnerships in the profession of nursing. More than 300 articles, published primarily in refereed journals, were accessed. Articles (110 were included in this review as they presented detailed and substantive information about any aspect of a nursing academic-service partnership. The majority were anecdotal in nature. Topics clustered around the following categories: pre-requisites for successful partnerships, benefits of partnerships, types of partnerships, and workforce development with its themes of academic-practice progression and educational re-design. Many examples of partnerships between academic and service settings were thoroughly described and best practices suggested, most often, however, without formal evaluation of outcomes. Nursing leaders in both settings have a long tradition of partnering with very little replicable evidence to support their efforts. It is critical that future initiatives evaluate the effectiveness of these partnerships, not only to ensure quality of patient outcomes but also to maximize efforts at building capacity for tomorrow's workforce.

Academic-service partnerships in nursing: an integrative review.

Science.gov (United States)

Beal, Judy A

2012-01-01

This integrative review summarizes currently available evidence on academic-service partnerships in the profession of nursing. More than 300 articles, published primarily in refereed journals, were accessed. Articles (110) were included in this review as they presented detailed and substantive information about any aspect of a nursing academic-service partnership. The majority were anecdotal in nature. Topics clustered around the following categories: pre-requisites for successful partnerships, benefits of partnerships, types of partnerships, and workforce development with its themes of academic-practice progression and educational re-design. Many examples of partnerships between academic and service settings were thoroughly described and best practices suggested, most often, however, without formal evaluation of outcomes. Nursing leaders in both settings have a long tradition of partnering with very little replicable evidence to support their efforts. It is critical that future initiatives evaluate the effectiveness of these partnerships, not only to ensure quality of patient outcomes but also to maximize efforts at building capacity for tomorrow's workforce.

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.

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

Effectiveness of a Formal Mentorship Program in Family Medicine Residency: The Residents’ Perspective

Directory of Open Access Journals (Sweden)

Marie Andrades

2013-01-01

Full Text Available Introduction. Mentoring is a recognized form of teaching learning strategy in postgraduate medical education. This paper describes the effectiveness of a formal mentorship program from the residents’ perspective after a year of implementation. Methods. The Aga Khan University Family Medicine Residency Program is the first program in Pakistan to our knowledge to implement formal mentorship for all four years of residency. A mentorship program was developed, implemented, and evaluated a year later using a rating scale. The 10-point Likert scale consisted of questions on academics, clinical work, research, administrative issues, and personal/social issues. Results. The response rate was 95% (. Eighty percent ( were women. Satisfaction level in seeking help was the highest for academics (75%. Residents scored mentorship as low in helping to tackle their personal problems (20%. Barriers reported in rapport building with mentor were time constraints and gender difference. The most useful attributes of the mentor which helped rapport building were accessibility, active listening, support for emotional needs, and trustworthiness. Conclusion. Mentoring has a role in trainees’ personal and professional growth especially when their needs are addressed. The effectiveness of the mentorship program in residency can improve if the residents are allowed to choose their own mentors.

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.

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...

VALUE RELEVANCE OF GROUP FINANCIAL STATEMENTS BASED ON ENTITY VERSUS PARENT COMPANY THEORY: EVIDENCE FROM THE LARGEST THREE EUROPEAN CAPITAL MARKETS

Directory of Open Access Journals (Sweden)

Müller Victor-Octavian

2012-07-01

Full Text Available Financial statementsn#8217; main objective is to give information on the financial position, performance and changes in financial position of the reporting entity, which is useful to investors and other users in making economic decisions. In order to be useful, financial information needs to be relevant to the decision-making process of users in general, and investors in particular. Regarding consolidated financial statements, the accounting theory knows four perspectives (theories on which the preparation of those statements is based, namely, the proprietary theory, the parent company theory, the parent company extension theory and the entity theory (Baxter and Spinney, 1975. Of practical importance are especially the parent company extension perspective and the entity perspective. The IASB and FASB decided (within an ED regarding the Improvement of the Conceptual Framework that consolidated financial statements should be presented from the perspective of the group entity, and not from the perspective of the parent-company. However, this support for the entity theory is to our knowledge not backed by empirical findings in the academic literature. Therefore, in our paper we set to contribute with empirical arguments to finding an actual answer to the question about the superior market value relevance of one of the two concurrent perspectives (theories. We set to carry out an empirical association study on the problem of market value relevance of consolidated financial statements based on the entity theory respectively on the parent company (extension theory, searching for an answer to the above question. In this sense, we pursued an analysis of market value relevance of consolidated accounting information (based on the two perspectives of listed entities between 2003-2008 on the largest three European Stock Exchanges (London, Paris and Frankfurt. The obtained results showed that a n#8222;restrainedn#8221; entity perspective, which would combine

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…

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…

Does formal mentoring for faculty members matter? A survey of clinical faculty members.

Science.gov (United States)

Mylona, Elza; Brubaker, Linda; Williams, Valerie N; Novielli, Karen D; Lyness, Jeffrey M; Pollart, Susan M; Dandar, Valerie; Bunton, Sarah A

2016-06-01

Mentoring relationships, for all medical school faculty members, are an important component of lifelong development and education, yet an understanding of mentoring among medical school clinical faculty members is incomplete. This study examined associations between formal mentoring relationships and aspects of faculty members' engagement and satisfaction. It then explored the variability of these associations across subgroups of clinical faculty members to understand the status of mentoring and outcomes of mentoring relationships. The authors hypothesised that academic clinical faculty members currently in formal mentoring relationships experience enhanced employee engagement and satisfaction with their department and institution. Medical school faculty members at 26 self-selected USA institutions participated in the 2011-2014 Faculty Forward Engagement Survey. Responses from clinical faculty members were analysed for relationships between mentoring status and perceptions of engagement by faculty members. Of the 11 953 clinical faculty respondents, almost one-third reported having a formal mentoring relationship (30%; 3529). Most mentored faculty indicated the relationship was important (86%; n = 3027), and over three-fourths were satisfied with their mentoring experience (77%; n = 2722). Mentored faculty members across ranks reported significantly higher levels of satisfaction and more positive perceptions of their roles in the organisation. Faculty members who were not receiving mentoring reported significantly less satisfaction with their workplace environment and lower overall satisfaction. Mentored clinical faculty members have significantly greater satisfaction with their department and institution. This multi-institutional study provides evidence that fostering mentoring opportunities may facilitate faculty members' satisfaction and engagement, which, in turn, may help medical schools retain high-quality faculty staff committed to the multidimensional

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.

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...

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.

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.

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.

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.

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

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....

Usability Testing of an Academic Library Web Site: A Case Study.

Science.gov (United States)

Battleson, Brenda; Booth, Austin; Weintrop, Jane

2001-01-01

Discusses usability testing as a tool for evaluating the effectiveness and ease of use of academic library Web sites; considers human-computer interaction; reviews major usability principles; and explores the application of formal usability testing to an existing site at the University at Buffalo (NY) libraries. (Author/LRW)

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...

Entity Framework 4.0 Recipes A Problem-solution Approach

CERN Document Server

Tenny, L

2010-01-01

Entity Framework 4.0 Recipes provides an exhaustive collection of ready-to-use code solutions for Microsoft's Entity Framework, Microsoft's vision for the future of data access. Entity Framework is a model-centric data access platform with an ocean of new concepts and patterns for developers to learn. With this book, you will learn the core concepts of Entity Framework through a broad range of clear and concise solutions to everyday data access tasks. Armed with this experience, you will be ready to dive deep into Entity Framework, experiment with new approaches, and develop ways to solve even

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.

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.

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.

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.

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…

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...

The Message Matters: The Role of Implicit Beliefs about Giftedness and Failure Experiences in Academic Self-Handicapping

Science.gov (United States)

Snyder, Kate E.; Malin, Jenessa L.; Dent, Amy L.; Linnenbrink-Garcia, Lisa

2014-01-01

Insight into causal mechanisms underlying underachievement among gifted students has remained elusive. Based on the premise of self-worth theory and implicit beliefs about intelligence, it was hypothesized that entity-focused messages about giftedness would lead to maladaptive academic coping behaviors when gifted status was threatened. Therefore,…

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.

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.

The style of academic e-mails and conventional letters: contrastive analysis of four conversational routines

Directory of Open Access Journals (Sweden)

Clyde Ancarno

2005-04-01

Full Text Available This paper presents the results of a corpus-based study which investigates the genre of academic email and more specifically its pragmatic dimension. Four conversational routines (thank yous, apologies, requests, offers are analysed and compared in two channels: academic e-mails and conventional print letters. In addition, data from both native and non-native speakers of English is considered, which sheds light on some of the differences found in the academic e-mail writing of learners of English. The findings indicate that academic e-mail is a relatively formal type of correspondence which is still largely influenced, as is to be expected, by the genre of the academic letter, and that as a genre, academic e-mail is in the process of formation or semi-formation. Finally, native speakers of English are found to be more informal than non-native speakers of English in academic e-mails.

Professor in Residence: An Innovative Academic-Practice Partnership.

Science.gov (United States)

Hinic, Katherine; Kowalski, Mildred Ortu; Silverstein, Wendy

2017-12-01

This article describes an academic-practice partnership between an American Nurses Credentialing Center Magnet ® -designated hospital and an academic nurse educator that has increased the hospital's capacity for research, evidence-based practice, and support for nurses continuing their education. Through close collaboration with the full-time nurse researcher and members of the nursing education department, the professor in residence consults with clinical staff to support completion of research and evidence-based practice projects. The collaboration also has resulted in the development of a formal year-long mentoring program for clinical nurses in the area of evidence-based practice. Individual support and academic consults are offered to nurses enrolled in school to promote advancement of nurses' educational level. This collaboration has been beneficial for both the hospital and the university, increasing the capacity for scholarly activities for nurses in the hospital and serving as a forum for ongoing faculty practice and scholarship. J Contin Educ Nurs. 2017;48(12):552-556. Copyright 2017, SLACK Incorporated.

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)

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....

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...

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

ACADEMIC TRAINING LECTURE SERIES: Introduction to General Relativity and Black Holes

CERN Multimedia

2003-01-01

10, 11, 12, 13, 14 February ACADEMIC TRAINING LECTURE SERIES from 11.00 to 12.00 hrs - Auditorium, bldg. 500 Introduction to General Relativity and Black Holes by T.DAMOUR, IHES, Bures-sur-Yvette, F - Physical motivation behind Einstein's theory. - Mathematical formalism of General Relativity. - Experimental confirmations of Einstein's theory. - Introduction to Black Holes physics.

Finding FRiENDs: Creating a Community of Support for Early Career Academics

Directory of Open Access Journals (Sweden)

Jerine M Pegg

2015-08-01

Full Text Available Starting on an academic journey can be a stressful and isolating experience. Although some universities have formal mentoring structures to facilitate this transition for new faculty, these structures do not always provide the variety of supports that may be needed to navigate the complexities of transitioning to the world of academia. As we (the authors of this paper began our academic journeys, we found ourselves searching for support that was not available within our institutions. By drawing on previous connections and building new connections to peers at other universities, we created an informal peer mentoring structure that has continued to support us through the early years of our careers in academia. In this paper we share our stories of the challenges we faced as early career academics, discuss the ways this informal peer mentoring community provided support for us at the beginnings of our academic journeys, and offer advice for other early career academics seeking non-traditional forms of support along the academic career path.

Obligation for transparency regarding treating physician credentials at academic health centres.

Science.gov (United States)

Martin, Paul J; Skill, N James; Koniaris, Leonidas G

2018-02-26

Academic health centres have historically treated patients with the most complex of diseases, served as training grounds to teach the next generations of physicians and fostered an innovative environment for research and discovery. The physicians who hold faculty positions at these institutions have long understood how these key academic goals are critical to serve their patient community effectively. Recent healthcare reforms, however, have led many academic health centres to recruit physicians without these same academic expectations and to partner with non-faculty physicians at other health systems. There has been limited transparency in regard to the expertise among the physicians and the academic faculty within these larger entities. Such lack of transparency may lead to confusion among patients regarding the qualifications of who is actually treating them. This could threaten the ethical principles of patient autonomy, benevolence and non-maleficence as patients risk making uninformed decisions that might lead to poorer outcomes. Furthermore, this lack of transparency unjustly devalues the achievements of physician faculty members as well as potentially the university they represent. In this paper, it is suggested that academic health centres have an obligation to foster total transparency regarding what if any role a physician has at a university or medical school when university or other academic monikers are used at a hospital. © Article author(s) (or their employer(s) unless otherwise stated in the text of the article) 2018. All rights reserved. No commercial use is permitted unless otherwise expressly granted.

Internal medicine point-of-care ultrasound assessment of left ventricular function correlates with formal echocardiography.

Science.gov (United States)

Johnson, Benjamin K; Tierney, David M; Rosborough, Terry K; Harris, Kevin M; Newell, Marc C

2016-02-01

Although focused cardiac ultrasonographic (FoCUS) examination has been evaluated in emergency departments and intensive care units with good correlation to formal echocardiography, accuracy for the assessment of left ventricular systolic function (LVSF) when performed by internal medicine physicians still needs independent evaluation. This prospective observational study in a 640-bed, academic, quaternary care center, included 178 inpatients examined by 10 internal medicine physicians who had completed our internal medicine bedside ultrasound training program. The ability to estimate LVSF with FoCUS as "normal," "mild to moderately decreased," or "severely decreased" was compared with left ventricular ejection fraction (>50%, 31-49%, and internal medicine physician-performed FoCUS and formal echocardiography for any LVSF impairment was "good/substantial" with κ = 0.77 (p Internal medicine physicians using FoCUS identify normal versus decreased LVSF with high sensitivity, specificity, and "good/substantial" interrater agreement when compared with formal echocardiography. These results support the role of cardiac FoCUS by properly trained internal medicine physicians for discriminating normal from reduced LVSF. © 2015 Wiley Periodicals, Inc.

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 ...

From Commons to Classroom: The Evolution of Learning Spaces in Academic Libraries

Science.gov (United States)

Karasic, Victoria

2016-01-01

Over the past two decades, academic library spaces have evolved to meet the changing teaching and learning needs of diverse campus communities. The Information Commons combines the physical and virtual in an informal library space, whereas the recent Active Learning Classroom creates a more formal setting for collaboration. As scholarship has…

Self-Assessment of Employability Skill Outcomes among Undergraduates and Alignment with Academic Ratings

Science.gov (United States)

Jackson, Denise

2014-01-01

Despite acknowledgement of the benefits of self-assessment in higher education, disparity between student and academic assessments, with associated trends in overrating and underrating, plagues its meaningful use, particularly as a tool for formal assessment. This study examines self-assessment of capabilities in certain employability skills in…

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.

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...

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

Systems of career influences: a conceptual model for evaluating the professional development of women in academic medicine.

Science.gov (United States)

Magrane, Diane; Helitzer, Deborah; Morahan, Page; Chang, Shine; Gleason, Katharine; Cardinali, Gina; Wu, Chih-Chieh

2012-12-01

Surprisingly little research is available to explain the well-documented organizational and societal influences on persistent inequities in advancement of women faculty. The Systems of Career Influences Model is a framework for exploring factors influencing women's progression to advanced academic rank, executive positions, and informal leadership roles in academic medicine. The model situates faculty as agents within a complex adaptive system consisting of a trajectory of career advancement with opportunities for formal professional development programming; a dynamic system of influences of organizational policies, practices, and culture; and a dynamic system of individual choices and decisions. These systems of influence may promote or inhibit career advancement. Within this system, women weigh competing influences to make career advancement decisions, and leaders of academic health centers prioritize limited resources to support the school's mission. The Systems of Career Influences Model proved useful to identify key research questions. We used the model to probe how research in academic career development might be applied to content and methods of formal professional development programs. We generated a series of questions and hypotheses about how professional development programs might influence professional development of health science faculty members. Using the model as a guide, we developed a study using a quantitative and qualitative design. These analyses should provide insight into what works in recruiting and supporting productive men and women faculty in academic medical centers.

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…

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

Doing the Organizational Tango: Symbiotic Relationship between Formal and Informal Organizational Structures for an Agile Organization

Directory of Open Access Journals (Sweden)

Irena Malgorzata Ali

2016-04-01

Full Text Available This paper reports on research with a broad objective to examine the relationship between two organizational entities, the formally structured organization and informal organizational structures, in a changing operational environment, more specifically during military deployments. The paper draws on organizational and complexity paradigms; based on empirical evidence obtained through qualitative techniques, it describes mechanisms that enable a symbiotic relationship between these two organizational structures in a complex operational landscape. Substantive findings provide insights into the dynamics of the interactions between these structures and illuminate the relationship between three enabling factors – accountability, responsible autonomy, and command and control arrangements – that need to be considered to fully exploit the strengths inherent in both formal and informal structures. Based on these findings, a model for enhancement of organizational agility in response to changes in a complex operational environment is described. The model is predicated on feedback and mutual adjustment of the organization, institution and individual through sensemaking; it illustrates the dynamic nature of interactions that are required for such a response.

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…

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.

Enhancement of chemical entity identification in text using semantic similarity validation.

Directory of Open Access Journals (Sweden)

Tiago Grego

Full Text Available With the amount of chemical data being produced and reported in the literature growing at a fast pace, it is increasingly important to efficiently retrieve this information. To tackle this issue text mining tools have been applied, but despite their good performance they still provide many errors that we believe can be filtered by using semantic similarity. Thus, this paper proposes a novel method that receives the results of chemical entity identification systems, such as Whatizit, and exploits the semantic relationships in ChEBI to measure the similarity between the entities found in the text. The method assigns a single validation score to each entity based on its similarities with the other entities also identified in the text. Then, by using a given threshold, the method selects a set of validated entities and a set of outlier entities. We evaluated our method using the results of two state-of-the-art chemical entity identification tools, three semantic similarity measures and two text window sizes. The method was able to increase precision without filtering a significant number of correctly identified entities. This means that the method can effectively discriminate the correctly identified chemical entities, while discarding a significant number of identification errors. For example, selecting a validation set with 75% of all identified entities, we were able to increase the precision by 28% for one of the chemical entity identification tools (Whatizit, maintaining in that subset 97% the correctly identified entities. Our method can be directly used as an add-on by any state-of-the-art entity identification tool that provides mappings to a database, in order to improve their results. The proposed method is included in a freely accessible web tool at www.lasige.di.fc.ul.pt/webtools/ice/.

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...

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,…

The college journey and academic engagement: how metaphor use enhances identity-based motivation.

Science.gov (United States)

Landau, Mark J; Oyserman, Daphna; Keefer, Lucas A; Smith, George C

2014-05-01

People commonly talk about goals metaphorically as destinations on physical paths extending into the future or as contained in future periods. Does metaphor use have consequences for people's motivation to engage in goal-directed action? Three experiments examine the effect of metaphor use on students' engagement with their academic possible identity: their image of themselves as academically successful graduates. Students primed to frame their academic possible identity using the goal-as-journey metaphor reported stronger academic intention, and displayed increased effort on academic tasks, compared to students primed with a nonacademic possible identity, a different metaphoric framing (goal-as-contained-entity), and past academic achievements (Studies 1-2). This motivating effect persisted up to a week later as reflected in final exam performance (Study 3). Four experiments examine the cognitive processes underlying this effect. Conceptual metaphor theory posits that an accessible metaphor transfers knowledge between dissimilar concepts. As predicted in this paradigm, a journey-metaphoric framing of a possible academic identity transferred confidence in the procedure, or action sequence, required to attain that possible identity, which in turn led participants to perceive that possible identity as more connected to their current identity (Study 4). Drawing on identity-based motivation theory, we hypothesized that strengthened current/possible identity connection would mediate the journey framing's motivating effect. This mediational process predicted students' academic engagement (Study 5) and an online sample's engagement with possible identities in other domains (Study 6). Also as predicted, journey framing increased academic engagement particularly among students reporting a weak connection to their academic possible identity (Study 7).

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

Developing a hybrid dictionary-based bio-entity recognition technique

Science.gov (United States)

2015-01-01

Background Bio-entity extraction is a pivotal component for information extraction from biomedical literature. The dictionary-based bio-entity extraction is the first generation of Named Entity Recognition (NER) techniques. Methods This paper presents a hybrid dictionary-based bio-entity extraction technique. The approach expands the bio-entity dictionary by combining different data sources and improves the recall rate through the shortest path edit distance algorithm. In addition, the proposed technique adopts text mining techniques in the merging stage of similar entities such as Part of Speech (POS) expansion, stemming, and the exploitation of the contextual cues to further improve the performance. Results The experimental results show that the proposed technique achieves the best or at least equivalent performance among compared techniques, GENIA, MESH, UMLS, and combinations of these three resources in F-measure. Conclusions The results imply that the performance of dictionary-based extraction techniques is largely influenced by information resources used to build the dictionary. In addition, the edit distance algorithm shows steady performance with three different dictionaries in precision whereas the context-only technique achieves a high-end performance with three difference dictionaries in recall. PMID:26043907

Developing a hybrid dictionary-based bio-entity recognition technique.

Science.gov (United States)

Song, Min; Yu, Hwanjo; Han, Wook-Shin

2015-01-01

Bio-entity extraction is a pivotal component for information extraction from biomedical literature. The dictionary-based bio-entity extraction is the first generation of Named Entity Recognition (NER) techniques. This paper presents a hybrid dictionary-based bio-entity extraction technique. The approach expands the bio-entity dictionary by combining different data sources and improves the recall rate through the shortest path edit distance algorithm. In addition, the proposed technique adopts text mining techniques in the merging stage of similar entities such as Part of Speech (POS) expansion, stemming, and the exploitation of the contextual cues to further improve the performance. The experimental results show that the proposed technique achieves the best or at least equivalent performance among compared techniques, GENIA, MESH, UMLS, and combinations of these three resources in F-measure. The results imply that the performance of dictionary-based extraction techniques is largely influenced by information resources used to build the dictionary. In addition, the edit distance algorithm shows steady performance with three different dictionaries in precision whereas the context-only technique achieves a high-end performance with three difference dictionaries in recall.

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

LONGITUDINAL EVALUATION OF ACADEMIC DEPARTMENTS USING DATA ENVELOPMENT ANALYSIS

Directory of Open Access Journals (Sweden)

Rodrigo Meleu das Neves

2016-11-01

Full Text Available Corresponding to the smallest structure in a University for educational-academic, administrative and personnel allocation purposes, the academic department is currently a sui generis entity. The research proposes a temporal analysis of the relative efficiency of 93 academic departments at Federal University of Rio Grande do Sul (UFRGS over the period of 1998 through 2007, using the mathematical modeling technique called data envelopment analysis, as well as indicators equally related to education, research and extension. Among other conclusions, it can be observed that adding a professor to the faculty does not proportionally impact productivity; actually, the synergy may bring even better results. Likewise, removing a professor may not proportionally decrease department output. Furthermore, the research traces a relationship between the results obtained in the replicated model and the model practiced to establish a criteria of faculty position distribution: the department index. The authors present their findings by means of a mixed method technique. The homogeneity of those departments more dedicated to research and the increasing investment on the part of UFRGS in extension evidence the contrast between models, even considering that reorganizations in the system employed for this analysis may leave room for questioning.

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

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)

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.

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.

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.

Online Academic Networks as Knowledge Brokers: The Mediating Role of Organizational Support

Directory of Open Access Journals (Sweden)

Elena-Mădălina Vătămănescu

2018-04-01

Full Text Available Placing online academic networks in the framework of social, cultural and institutional “deterritorialization,” the current paper aims at investigating the functionality of these new forms of transnational and trans-organizational aggregations as knowledge brokers. The emphasis is laid on the influence of human collective intelligence and consistent knowledge flows on research innovation, considering the role of organizational support within higher education systems. In this respect, the research relied on a questionnaire-based survey with 140 academics from European emerging countries, the data collected being processed via a partial least squares structural equation modelling technique. Evidence was brought that, as knowledge brokers, online academic networks are systems aimed to support the access to human collective intelligence and consistent knowledge flows which exert a positive influence on research innovation, both directly and indirectly, by means of formal and informal organizational support. As facilitators of collaborative environments for individuals with specialized knowledge, competence, expertise and experience, online academic networks have set themselves up as an agora for academics worldwide and as an outlet for their acumen and literacy.

Telementoring Physics: University-Community After-school Collaborations and the Mediation of the Formal/ Informal Divide

OpenAIRE

Lecusay, Robert A.

2013-01-01

For several decades improvement of science education has been a major concern of policy makers concerned that the U.S. is a “nation at risk” owing to the dearth of students pursing careers in science. Recent policy proposals have argued that provision of broadband digital connectivity to organizations in the informal sector would increase the reach of the formal, academic sector to raise the overall level of science literacy in the country. This dissertation reports on a longitudinal study of...

7 CFR 652.23 - Certification process for private-sector entities.

Science.gov (United States)

2010-01-01

... 7 Agriculture 6 2010-01-01 2010-01-01 false Certification process for private-sector entities. 652... ASSISTANCE Certification § 652.23 Certification process for private-sector entities. (a) A private sector... individual basis as part of the private-sector entity's certification and ensures that the requirements set...

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...

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...

Present at the creation: the founding and formative years of the Association of Academic Health Sciences Libraries.

Science.gov (United States)

Jacobson, Susan

2003-04-01

The Association of Academic Health Sciences Libraries (AAHSL) was founded in 1978 with the goal of strengthening academic health sciences libraries and increasing their participation nationally in efforts to improve medical education. A primary objective of the organization was to achieve a formal relationship with the Association of American Medical Colleges (AAMC) through membership in the Council of Academic Societies (CAS). Initial steps in establishing AAHSL are examined, including its efforts to join CAS. The author pays tribute to AAHSL's founders, in particular Gerald Oppenheimer, without whose vision and leadership AAHSL would not have been formed.

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

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...

Pengaruh Struktur Organisasi dan Ukuran Perusahaan Terhadap Penerapan Business Entity Concept

Directory of Open Access Journals (Sweden)

Widya Exsa Marita

2015-10-01

Full Text Available Masalah pengelolaan dana merupakan momok yang sering mengakibatkan kegagalan usaha pada suatu perusahaan terutama UMKM. Pengelolaan dana yang efektif dan efisien dapat tercapai jika suatu perusahaan mampu menerapkan akuntansi yang baik. Penerapan akuntansi yang baik haruslah diawali dengan penerapan konsep akuntansi, salah satunya yaitu business entity concept. Penelitian ini bertujuan untuk mengetahui adanya pengaruh struktur organisasi dan ukuran perusahaan terhadap penerapan business entity concept. Objek penelitian yang diambil adalah UD. Agung Mulia Jaya dengan sampel sebanyak 200 reponden yang diambil dengan menggunakan teknik simple random sampling. Variabel bebas dalam penelitian ini adalah struktur organisasi dan ukuran perusahaan, sedangkan variabel terikatnya adalah penerapan business entity concept. Untuk menguji adanya pengaruh struktur organisasi dan ukuran perusahaan terhadap penerapan business entity concept, maka dilakukan analisis regresi linier berganda. Hasil pengujian secara simultan menunjukkan bahwa kedua variabel bebas yaitu struktur organisasi dan ukuran perusahaan berpengaruh terhadap penerapan business entity concept. Secara parsial, struktur organisasi berpengaruh positif terhadap penerapan business entity concept, namun sebaliknya ukuran perusahaan berpengaruh negatif terhadap penerapan business entity concept. Koefisien determinasi menghasilkan nilai 67,4% yang berarti penerapan business entity concept dapat dijelaskan oleh variabel struktur organisasi dan ukuran perusahaan sebesar 67,4% atau bersifat kuat.

Systems of Career Influences: A Conceptual Model for Evaluating the Professional Development of Women in Academic Medicine

Science.gov (United States)

Helitzer, Deborah; Morahan, Page; Chang, Shine; Gleason, Katharine; Cardinali, Gina; Wu, Chih-Chieh

2012-01-01

Abstract Background Surprisingly little research is available to explain the well-documented organizational and societal influences on persistent inequities in advancement of women faculty. Methods The Systems of Career Influences Model is a framework for exploring factors influencing women's progression to advanced academic rank, executive positions, and informal leadership roles in academic medicine. The model situates faculty as agents within a complex adaptive system consisting of a trajectory of career advancement with opportunities for formal professional development programming; a dynamic system of influences of organizational policies, practices, and culture; and a dynamic system of individual choices and decisions. These systems of influence may promote or inhibit career advancement. Within this system, women weigh competing influences to make career advancement decisions, and leaders of academic health centers prioritize limited resources to support the school's mission. Results and Conclusions The Systems of Career Influences Model proved useful to identify key research questions. We used the model to probe how research in academic career development might be applied to content and methods of formal professional development programs. We generated a series of questions and hypotheses about how professional development programs might influence professional development of health science faculty members. Using the model as a guide, we developed a study using a quantitative and qualitative design. These analyses should provide insight into what works in recruiting and supporting productive men and women faculty in academic medical centers. PMID:23101486

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.

Anatomical entity recognition with a hierarchical framework augmented by external resources.

Directory of Open Access Journals (Sweden)

Yan Xu

Full Text Available References to anatomical entities in medical records consist not only of explicit references to anatomical locations, but also other diverse types of expressions, such as specific diseases, clinical tests, clinical treatments, which constitute implicit references to anatomical entities. In order to identify these implicit anatomical entities, we propose a hierarchical framework, in which two layers of named entity recognizers (NERs work in a cooperative manner. Each of the NERs is implemented using the Conditional Random Fields (CRF model, which use a range of external resources to generate features. We constructed a dictionary of anatomical entity expressions by exploiting four existing resources, i.e., UMLS, MeSH, RadLex and BodyPart3D, and supplemented information from two external knowledge bases, i.e., Wikipedia and WordNet, to improve inference of anatomical entities from implicit expressions. Experiments conducted on 300 discharge summaries showed a micro-averaged performance of 0.8509 Precision, 0.7796 Recall and 0.8137 F1 for explicit anatomical entity recognition, and 0.8695 Precision, 0.6893 Recall and 0.7690 F1 for implicit anatomical entity recognition. The use of the hierarchical framework, which combines the recognition of named entities of various types (diseases, clinical tests, treatments with information embedded in external knowledge bases, resulted in a 5.08% increment in F1. The resources constructed for this research will be made publicly available.

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...

15 CFR 744.10 - Restrictions on certain entities in Russia.

Science.gov (United States)

2010-01-01

... Russia. 744.10 Section 744.10 Commerce and Foreign Trade Regulations Relating to Commerce and Foreign... REGULATIONS CONTROL POLICY: END-USER AND END-USE BASED § 744.10 Restrictions on certain entities in Russia. (a) General prohibition. Certain entities in Russia are included in Supplement No. 4 to this part 744 (Entity...

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

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...

Publishing and the academic world passion, purpose and possible futures

CERN Document Server

Mertkan, Sefika

2016-01-01

Within the Academy, itself a changing and increasingly entrepreneurial entity, publishing is no longer an option; it is the universal currency that secures a position, tenure and promotion; it is key to academic life. Providing a panoramic picture of the changing publishing climate, "Academic Life and the Publishing Landscape "will empower scholars by enabling them to navigate this changing terrain more successfully. This book provides guidance from a range of contributors who use their own wide expertise in writing and publication to document the challenges faced by scholars at different career stages and in different locations. It covers a wide range of debates on publishing, spilt into the following three sections: Mapping the Publication Landscape, Writing for Publication Learning from Successful Voices, Further Challenges and Possibilities. With topics ranging from the process of preparing manuscripts for publication, including chapters on calculating journal rankings and understanding t...

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

Evaluating the Effects of Formal Corrective Feedback on Off-Task/On-Task Behavior of Mild Intellectually Disabled Students: An Action Research Study

Science.gov (United States)

George, Kevin

2016-01-01

The off-task behavior demonstrated by the study participants appears to interfere with classroom instruction, contribute to poor academic performance and in many instances lead to disciplinary actions such as suspension. The purpose of the study entailed determining if formal corrective feedback has an effect on the off-task/on-task behavior of…

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.

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...

E-Scholarship and Electronic Publishing in the Twenty-First Century: Implications for the Academic Community.

Science.gov (United States)

Sweeney, Aldrin E.

2001-01-01

Investigated the perceptions toward electronic academic publishing held by university administrators and faculty within the Florida State University system. Findings show the need to develop formal policies regarding the acknowledgment of electronic scholarly publishing in promotion and tenure decisions for faculty from the informal policies that…

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

Bayesian Modeling of Temporal Coherence in Videos for Entity Discovery and Summarization.

Science.gov (United States)

Mitra, Adway; Biswas, Soma; Bhattacharyya, Chiranjib

2017-03-01

A video is understood by users in terms of entities present in it. Entity Discovery is the task of building appearance model for each entity (e.g., a person), and finding all its occurrences in the video. We represent a video as a sequence of tracklets, each spanning 10-20 frames, and associated with one entity. We pose Entity Discovery as tracklet clustering, and approach it by leveraging Temporal Coherence (TC): the property that temporally neighboring tracklets are likely to be associated with the same entity. Our major contributions are the first Bayesian nonparametric models for TC at tracklet-level. We extend Chinese Restaurant Process (CRP) to TC-CRP, and further to Temporally Coherent Chinese Restaurant Franchise (TC-CRF) to jointly model entities and temporal segments using mixture components and sparse distributions. For discovering persons in TV serial videos without meta-data like scripts, these methods show considerable improvement over state-of-the-art approaches to tracklet clustering in terms of clustering accuracy, cluster purity and entity coverage. The proposed methods can perform online tracklet clustering on streaming videos unlike existing approaches, and can automatically reject false tracklets. Finally we discuss entity-driven video summarization- where temporal segments of the video are selected based on the discovered entities, to create a semantically meaningful summary.

From Test Scores to Language Use: Emergent Bilinguals Using English to Accomplish Academic Tasks

Science.gov (United States)

Rodriguez-Mojica, Claudia

2018-01-01

Prominent discourses about emergent bilinguals' academic abilities tend to focus on performance as measured by test scores and perpetuate the message that emergent bilinguals trail far behind their peers. When we remove the constraints of formal testing situations, what can emergent bilinguals do in English as they engage in naturally occurring…

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.

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.

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,…

Components of formalized description of selecting tools for ensuring stability of banking system

Directory of Open Access Journals (Sweden)

N.P. Pogorelenko

2015-09-01

Full Text Available A banking system is one of the key elements of a financial market of any country. Effectiveness and functional orientation of a banking system provide continuous and targeted financial resources flowing between different sectors of economy and this allows to perform economic activities of various entities. Thus, a banking system plays an essential role in the formation of market relations. A question of stable functioning of a banking system can be defined as a key one. The basic task is to improve the management of a banking system by achieving its stability. The disclosure of formalized description of the definition of tools to influence the selection procedure for ensuring stability of a banking system should be determined as the primary objective. For reaching the goal a comparative study has been introduced and generalized concerning the concept definition of «banking system» and the ideology of its management according to the circumstances and factors of influence. The combination of individual components is to determine the instruments of influence on the banking system activity in the form of chain ties. On the base of the analysis carried out the article grounds the necessity of the generalized use of formalized description of the procedures for selecting instruments for ensuring stability of a banking system. For the purpose of this procedure the author has also grounded, determined and disclosed some of its components. To implement the relevant qualitative phase of formalization the author has proposed the use of chain patterns, and to quantify the individual parameters of such a procedure the methodology of border stochastic analysis has been offered. As a scientific novelty of the present research it is necessary to note the qualitative and quantitative phases for formal presentation of describing procedures for the selection of tools to ensure banking system stability as well as the introduction of chain schemes for the

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

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....

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.

Cultural-Ecological Theory of Academic Disengagement Used to Explain a Story of Race, Culture and Education.

Science.gov (United States)

Ogunyemi, Boluwaji

2017-01-01

Students of African ancestry often share an experience of being a racialized minority in the context of the educational institution. Late Professor of Anthropology John Ogbu's Cultural-ecological Theory of Academic Disengagement is employed to describe the negative responses encountered by peers in the name of academic achievement. The late Nigerian-American anthropologist John Ogbu described that it is often socially disadvantageous for black youth to prosper academically in formal education. Black students are often seen as betraying their cultural identities by aspiring to academic success and scholastic achievement and are met with repugnance by black peers. The notion of "acting white" is unnecessary, impertinent should be abandoned outright as achievement should have no color. Copyright © 2017 National Medical Association. Published by Elsevier Inc. All rights reserved.

The base of the iceberg: informal learning and its impact on formal and non-formal learning

OpenAIRE

Rogers, Alan

2014-01-01

The author looks at learning (formal, non-formal and informal) and examines the hidden world of informal (unconscious, unplanned) learning. He points out the importance of informal learning for creating tacit attitudes and values, knowledge and skills which influence (conscious, planned) learning - formal and non-formal. Moreover, he explores the implications of informal learning for educational planners and teachers in the context of lifelong learning. While mainly aimed at adult educators, ...

Differences in financial statements of business entities in the Czech Republic

Directory of Open Access Journals (Sweden)

Jana Gláserová

2013-01-01

Full Text Available Ministry of Finance in the Czech Republic identifies and defines four types of accounting entities that are engaged in business activities. These are the “normal” business entities, business entities as banks, commercial insurance companies and health insurance companies. For each of these types of entities the Ministry of Finance issued relevant regulations that contain specific accounting policies arising mainly from the specifics of the scope of business activities of these entities. The effects of these specifics are ultimately shown also in the individual parts of the financial statement closing. In contrast the International Financial Reporting Standards (IFRS and also generally accepted accounting principles of the United States (U.S. GAAP are valid for all listed entities regardless of their size and scope of activities. The ongoing globalization of the world, transnational mergers and acquisitions of various companies brings the requirements for unification of accounting policies in order to achieve comparability of financial statements closing of companies from different countries, their transparency and completeness of published information in the individual countries. This paper deals with the definition of significant differences in the items of financial statement closing of different types of business entities in the Czech Republic and with the formulation of proposals for individual types of entities, which would contribute to easier orientation and grater comparability for the needs of different users of accounting information.

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".

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

49 CFR 37.41 - Construction of transportation facilities by public entities.

Science.gov (United States)

2010-10-01

... public entities. 37.41 Section 37.41 Transportation Office of the Secretary of Transportation... transportation facilities by public entities. (a) A public entity shall construct any new facility to be used in providing designated public transportation services so that the facility is readily accessible to and usable...

Assessment of Public Schools' Out-of-School Time Academic Support Programs with Participant-Oriented Evaluation

Science.gov (United States)

Berk, Saban

2018-01-01

Using the participants-oriented approach, this study evaluated public schools' out-of-school time academic support programs, corresponding to the corrective/enrichment stage of Bloom's Mastery Learning Model and offered outside formal education's weekday hours and on weekends. Study participants included 50 principals, 110 teachers, 170 students…

Managing the Risky Humanity of Academic Workers: Risk and Reciprocity in University Work-Life Balance Policies

Science.gov (United States)

Saltmarsh, Sue; Randell-Moon, Holly

2015-01-01

University work-life balance policies increasingly offer academic workers a range of possible options for managing the competing demands of work, family, and community obligations. Flexible work arrangements, family-friendly hours and campus facilities, physical well-being and mental health programs typify strategies for formally acknowledging the…

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.

ACADEMIC INTEGRITY SUPPORT SYSTEM FOR UKRAINIAN UNIVERSITIES

Directory of Open Access Journals (Sweden)

V. G. Sherstjuk

2017-04-01

Full Text Available Purpose. Developing the methodology for providing academic integrity in the university. The methodology is based on Web-oriented academic integrity support system, developed by the authors, which enters into the information system of learning process control. Academic integrity support system is aimed at maintaining academic integrity as a basic institutional value, which will help to reduce corruption, plagiarism and other types of academic dishonesty. Methodology. The methodology of problem to solve is based on the development of the information system of education process control with the integral elements of quality control. The information subsystem of academic integrity support is its basic part. Findings. The proposed information system allows us to fulfill the following levels: educational process monitoring; audit of internal processes, which is necessary for developing the effective quality control system; assessment of achievements of educational process participants; formalization of the interaction of educational process participants. The system is aimed at the development of new academic society based on the following principles: open access to the information, at which the access of wide audience to the information provides participation, forming the sense of responsibility and social control; transparency of the information, by which its relevance, quality, reliability are meant; responsibility of all members of educational process; measurability, at which any action in educational process should be measured; detail of describing the actions, results and processes; support, which is meant by automatic tools of the realization of the principles of open access to the information, transparency of the information, responsibility of all participants of educational process, measurability, detail, support. The practical realization of information system is based on the development of a common repository of university information. The

Assessment of Service Desk Quality at an Academic Health Sciences Library.

Science.gov (United States)

Blevins, Amy E; DeBerg, Jennifer; Kiscaden, Elizabeth

2016-01-01

Due to an identified need for formal assessment, a small team of librarians designed and administered a survey to gauge the quality of customer service at their academic health sciences library. Though results did not drive major changes to services, several important improvements were implemented and a process was established to serve as a foundation for future use. This article details the assessment process used and lessons learned during the project.

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.

Special aspects of the reporting of capital in the budgetary entities

Directory of Open Access Journals (Sweden)

Nadezhda Popova-Yosifova

2018-05-01

Full Text Available The national and international accounting standards state that the equity of an entity is the residual interest in the assets of the entity that remains after deducting all of its liabilities. For that reason in the accounting theory could also be found the terms “net worth” and “net assets” which are used as synonyms. The term “equity” is not used adequately in this wording in respect of the budgetary entities because of some specific characteristics these entities possess. The purpose of this paper is, based on the legislative framework now in force in Bulgaria and the characteristic features of the public sector entities, to present the specific features of the capital reporting in these organizations.

Formal and Informal Learning and First-Year Psychology Students’ Development of Scientific Thinking: A Two-Wave Panel Study

Science.gov (United States)

Soyyılmaz, Demet; Griffin, Laura M.; Martín, Miguel H.; Kucharský, Šimon; Peycheva, Ekaterina D.; Vaupotič, Nina; Edelsbrunner, Peter A.

2017-01-01

Scientific thinking is a predicate for scientific inquiry, and thus important to develop early in psychology students as potential future researchers. The present research is aimed at fathoming the contributions of formal and informal learning experiences to psychology students’ development of scientific thinking during their 1st-year of study. We hypothesize that informal experiences are relevant beyond formal experiences. First-year psychology student cohorts from various European countries will be assessed at the beginning and again at the end of the second semester. Assessments of scientific thinking will include scientific reasoning skills, the understanding of basic statistics concepts, and epistemic cognition. Formal learning experiences will include engagement in academic activities which are guided by university authorities. Informal learning experiences will include non-compulsory, self-guided learning experiences. Formal and informal experiences will be assessed with a newly developed survey. As dispositional predictors, students’ need for cognition and self-efficacy in psychological science will be assessed. In a structural equation model, students’ learning experiences and personal dispositions will be examined as predictors of their development of scientific thinking. Commonalities and differences in predictive weights across universities will be tested. The project is aimed at contributing information for designing university environments to optimize the development of students’ scientific thinking. PMID:28239363

Formal and Informal Learning and First-Year Psychology Students' Development of Scientific Thinking: A Two-Wave Panel Study.

Science.gov (United States)

Soyyılmaz, Demet; Griffin, Laura M; Martín, Miguel H; Kucharský, Šimon; Peycheva, Ekaterina D; Vaupotič, Nina; Edelsbrunner, Peter A

2017-01-01

Scientific thinking is a predicate for scientific inquiry, and thus important to develop early in psychology students as potential future researchers. The present research is aimed at fathoming the contributions of formal and informal learning experiences to psychology students' development of scientific thinking during their 1st-year of study. We hypothesize that informal experiences are relevant beyond formal experiences. First-year psychology student cohorts from various European countries will be assessed at the beginning and again at the end of the second semester. Assessments of scientific thinking will include scientific reasoning skills, the understanding of basic statistics concepts, and epistemic cognition. Formal learning experiences will include engagement in academic activities which are guided by university authorities. Informal learning experiences will include non-compulsory, self-guided learning experiences. Formal and informal experiences will be assessed with a newly developed survey. As dispositional predictors, students' need for cognition and self-efficacy in psychological science will be assessed. In a structural equation model, students' learning experiences and personal dispositions will be examined as predictors of their development of scientific thinking. Commonalities and differences in predictive weights across universities will be tested. The project is aimed at contributing information for designing university environments to optimize the development of students' scientific thinking.

The need for academic electronic health record systems in nurse education.

Science.gov (United States)

Chung, Joohyun; Cho, Insook

2017-07-01

The nursing profession has been slow to incorporate information technology into formal nurse education and practice. The aim of this study was to identify the use of academic electronic health record systems in nurse education and to determine student and faculty perceptions of academic electronic health record systems in nurse education. A quantitative research design with supportive qualitative research was used to gather information on nursing students' perceptions and nursing faculty's perceptions of academic electronic health record systems in nurse education. Eighty-three participants (21 nursing faculty and 62 students), from 5 nursing schools, participated in the study. A purposive sample of 9 nursing faculty was recruited from one university in the Midwestern United States to provide qualitative data for the study. The researcher-designed surveys (completed by faculty and students) were used for quantitative data collection. Qualitative data was taken from interviews, which were transcribed verbatim for analysis. Students and faculty agreed that academic electronic health record systems could be useful for teaching students to think critically about nursing documentation. Quantitative and qualitative findings revealed that academic electronic health record systems regarding nursing documentation could help prepare students for the future of health information technology. Meaningful adoption of academic electronic health record systems will help in building the undergraduate nursing students' competence in nursing documentation with electronic health record systems. Copyright © 2017. Published by Elsevier Ltd.

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...

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.

THE EFFICIENCY OF FOREIGN INVESTMENTS IN THE FINANCING OF AUDITED ENTITIES

Directory of Open Access Journals (Sweden)

Berinde Sorin

2013-07-01

Full Text Available The auditing of the financial statements is a certification service intended to offer the users more credibility regarding the quality of accounting information. This is the reason why the present study selected all the Cluj county entities that, according to the public information, between 2005-2012 were subject to financial audit in order to estimate, at this level, the influence of foreign investments in the financing structure. The information provided by the financial statements of these audited entities (with or without foreign participation in share capital was analyzed for the calculation of the relevant indicators to determine the evolution of the equity financing, the recourse to external financing funds, the ratio of external funds and equity funds used for financing and the assessment of the efficiency of foreign capital invested at the level of these entities. In order to meet this objective, we considered the information from the financial statements of the concerned entities, published between 2008-2011. For the relevance of the study, we eliminated the audited entities that did not have financial statements published in all of the four financial years for various reasons (dissolution, liquidation, merger, or temporary suspension of activity or had negative working capital. The financial statement information was analyzed in view of the calculation for each audited entity of the rate of financial autonomy, the debt ratio, the debt to equity ratio and of the rotation speed of equity. The audited entities were classified into 2 major categories: audited entities with a foreign participation in share capital and audited entities with the whole share capital financed by equity funds. We applied the simple average method at the level of the both audited entities categories for each of the four analyzed indicators. Furthermore, we performed an analysis from the static and dynamic point of view of the results. The conclusions that we

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.

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.

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...

Striving for Gender Equity in Academic Medicine Careers: A Call to Action.

Science.gov (United States)

Bates, Carol; Gordon, Lynn; Travis, Elizabeth; Chatterjee, Archana; Chaudron, Linda; Fivush, Barbara; Gulati, Martha; Jagsi, Reshma; Sharma, Poonam; Gillis, Marin; Ganetzky, Rebecca; Grover, Amelia; Lautenberger, Diana; Moses, Ashleigh

2016-08-01

Women represent approximately half of students entering medical schools and more than half of those entering PhD programs. When advancing through the academic and professional fields, however, women continually face barriers that men do not. In this Commentary, the authors offer ideas for coordinating the efforts of organizations, academic institutions, and leaders throughout the scientific and medical professions to reduce barriers that result in inequities and, instead, strive for gender parity. Specific areas of focus outlined by the authors include facilitating women's access to formal and informal professional networks, acknowledging and addressing the gender pay gap as well as the lack of research funding awarded to women in the field, and updating workplace policies that have not evolved to accommodate women's lifestyles. As academic institutions seek access to top talent and the means to develop those individuals capable of generating the change medicine and science needs, the authors urge leaders and change agents within academic medicine to address the systemic barriers to gender equity that impede us from achieving the mission to improve the health of all.

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

A Logic Model for Evaluating the Academic Health Department.

Science.gov (United States)

Erwin, Paul Campbell; McNeely, Clea S; Grubaugh, Julie H; Valentine, Jennifer; Miller, Mark D; Buchanan, Martha

2016-01-01

Academic Health Departments (AHDs) are collaborative partnerships between academic programs and practice settings. While case studies have informed our understanding of the development and activities of AHDs, there has been no formal published evaluation of AHDs, either singularly or collectively. Developing a framework for evaluating AHDs has potential to further aid our understanding of how these relationships may matter. In this article, we present a general theory of change, in the form of a logic model, for how AHDs impact public health at the community level. We then present a specific example of how the logic model has been customized for a specific AHD. Finally, we end with potential research questions on the AHD based on these concepts. We conclude that logic models are valuable tools, which can be used to assess the value and ultimate impact of the AHD.

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...

Return to learn: Transitioning to school and through ascending levels of academic support for students following a concussion.

Science.gov (United States)

McAvoy, Karen; Eagan-Johnson, Brenda; Halstead, Mark

2018-01-01

The purpose of this article is to familiarize healthcare providers and parents with educational language, laws, and processes as they relate to a comprehensive ascending level of academic supports as it pertains to promoting a smooth and supported transition to school following a concussion. Returning to learn (RTL) following a concussion is of parallel importance to returning to sport (RTS). A successful RTL is a critical part of concussion management. Many RTL articles advise healthcare providers and parents to request formalized educational supports, also known as Tier 2 or Tier 3 services, for children with concussion as they return to school. Premature requests for formal (Tier 2 or 3) educational services, rather than allowing for immediate informal educational supports (known as Tier 1), can actually delay academic supports and have the potential to cause adversarial relationships between parents and schools. Additionally, this practice contradicts current research demonstrating the need for fast, flexible, temporary academic supports within the first month post-injury. Allowing school districts to direct the application of existing ascending levels of educational support for students with concussion as they return to school can promote robust and positive outcomes.

Academic medical libraries' policies and procedures for notifying library users of retracted scientific publications.

Science.gov (United States)

Hughes, C

1998-01-01

Academic medical libraries have a responsibility to inform library users regarding retracted publications. Many have created policies and procedures that identify flawed journal articles. A questionnaire was sent to the 129 academic medical libraries in the United States and Canada to find out how many had policies and procedures for identifying retracted publications. Of the returned questionnaires, 59% had no policy and no practice for calling the attention of the library user to retracted publications. Forty-one percent of the libraries called attention to retractions with or without a formal policy for doing so. Several responding libraries included their policy statement with the survey. The increasing number of academic medical libraries that realize the importance of having policies and practices in place highlights the necessity for this procedure.

LeadMine: a grammar and dictionary driven approach to entity recognition

Science.gov (United States)

2015-01-01

Background Chemical entity recognition has traditionally been performed by machine learning approaches. Here we describe an approach using grammars and dictionaries. This approach has the advantage that the entities found can be directly related to a given grammar or dictionary, which allows the type of an entity to be known and, if an entity is misannotated, indicates which resource should be corrected. As recognition is driven by what is expected, if spelling errors occur, they can be corrected. Correcting such errors is highly useful when attempting to lookup an entity in a database or, in the case of chemical names, converting them to structures. Results Our system uses a mixture of expertly curated grammars and dictionaries, as well as dictionaries automatically derived from public resources. We show that the heuristics developed to filter our dictionary of trivial chemical names (from PubChem) yields a better performing dictionary than the previously published Jochem dictionary. Our final system performs post-processing steps to modify the boundaries of entities and to detect abbreviations. These steps are shown to significantly improve performance (2.6% and 4.0% F1-score respectively). Our complete system, with incremental post-BioCreative workshop improvements, achieves 89.9% precision and 85.4% recall (87.6% F1-score) on the CHEMDNER test set. Conclusions Grammar and dictionary approaches can produce results at least as good as the current state of the art in machine learning approaches. While machine learning approaches are commonly thought of as "black box" systems, our approach directly links the output entities to the input dictionaries and grammars. Our approach also allows correction of errors in detected entities, which can assist with entity resolution. PMID:25810776

IMPROVING PERFORMANCES BY USING COST CONTROLLING IN THE MINING INDUSTRY ENTITIES

Directory of Open Access Journals (Sweden)

SORINEL CĂPUŞNEANU

2016-06-01

Full Text Available The aim of this article is to highlight the improving performances of entities from mining industry entities by using cost controlling as an important tool of management accounting, applying the target costing method. The survey is based on questions that led investigation made in the Romanian entities from mining industry and based on data a thorough analysis was done for fulfillment of authors’ purpose. The results obtained by applying the target costing method has allowed a very strict cost control, which ultimately led to increased performances of economic entities from mining industry in Romania. The secondary purpose of this article is to try adjusting the target costing method to the specific of entities in the mining industry. According to studies of specialists this method based on target costing calculation is rather unusual in this sector of mining industry and it relies heavily on the activity-based costing method. The article ends with the authors' conclusions on improving the performances of entities from mining industry based on cost controlling and use of mix information obtained through the applied methods

Indigenous Knowledge and Education from the Quechua Community to School: Beyond the Formal/Non-Formal Dichotomy

Science.gov (United States)

Sumida Huaman, Elizabeth; Valdiviezo, Laura Alicia

2014-01-01

In this article, we propose to approach Indigenous education beyond the formal/non-formal dichotomy. We argue that there is a critical need to conscientiously include Indigenous knowledge in education processes from the school to the community; particularly, when formal systems exclude Indigenous cultures and languages. Based on ethnographic…

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...

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.

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.

Insights on leadership from early career nurse academics: findings from a mixed methods study.

Science.gov (United States)

Halcomb, Elizabeth; Jackson, Debra; Daly, John; Gray, Joanne; Salamonson, Yenna; Andrew, Sharon; Peters, Kath

2016-03-01

To explore the perceptions of early career nursing academics on leadership in academia. There is growing emphasis on leadership capacity building across all domains of nursing. However, there is limited evidence on leadership capacity in early career academics. This study tested an intervention to develop leadership capacity amongst early career nursing academics in two Australian universities. A sequential mixed methods design, using online surveys and semi-structured interviews, was used to collect data. Twenty-three early career nursing academics participated. Most had experience of formal leadership roles and were aware of its importance to them as they developed their academic careers. Participants were able to discuss their own views of themselves as leaders; their perceptions of their own needs for leadership development, and ways in which they could seek to develop further as leaders. There is a need to provide initial and ongoing opportunities for leadership development amongst nurse academics. These opportunities should be contextualised and recognise factors such as gender, and the effects of structural oppression. Nurse academics are involved in the preparation of the next generation of clinical leaders and it is imperative that they are able to articulate a clear view of leadership. © 2015 John Wiley & Sons Ltd.

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.

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...

Entropy and Graph Based Modelling of Document Coherence using Discourse Entities

DEFF Research Database (Denmark)

Petersen, Casper; Lioma, Christina; Simonsen, Jakob Grue

2015-01-01

We present two novel models of document coherence and their application to information retrieval (IR). Both models approximate document coherence using discourse entities, e.g. the subject or object of a sentence. Our first model views text as a Markov process generating sequences of discourse...... entities (entity n-grams); we use the entropy of these entity n-grams to approximate the rate at which new information appears in text, reasoning that as more new words appear, the topic increasingly drifts and text coherence decreases. Our second model extends the work of Guinaudeau & Strube [28......] that represents text as a graph of discourse entities, linked by different relations, such as their distance or adjacency in text. We use several graph topology metrics to approximate different aspects of the discourse flow that can indicate coherence, such as the average clustering or betweenness of discourse...

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

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…

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.

Searching for "A Third Space": A Creative Pathway towards International PhD Students' Academic Acculturation

Science.gov (United States)

Elliot, Dely Lazarte; Baumfield, Vivienne; Reid, Kate

2016-01-01

Undertaking a PhD is a challenging endeavour. Pursuing a doctoral education in a "foreign" context tends to increase the demands of this intellectual venture. The nature of research-based PhD programmes, often characterised by a lack of formal curricula where academic supervision lasts several years, may add another layer of complexity.…

Service quality measurement for non-executive directors in public entities

OpenAIRE

2012-01-01

D.Comm. In commercial corporations shareholders, at least in theory, evaluate the performance of the boards they have appointed. Such evaluation is mainly based on the financial performance of the entity. Public (state funded) entities have only the state as shareholder and the performance of their boards is not evaluated by the taxpayers who ultimately pay the directors' fees. The term "public entity" refers to 20 corporations with an annual turnover in excess of R 55 billion which are su...

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...

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

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...

Evaluation of an academic service partnership using a strategic alliance framework.

Science.gov (United States)

Murray, Teri A; James, Dorothy C

2012-01-01

Strategic alliances involve the sharing of resources to achieve mutually relevant benefits and they are flexible ways to access resources outside of one's own institution. The recent landmark report from the Institute of Medicine, The Future of Nursing: Leading Change, Advancing Health, called for academic and health care organizations to strategically align around the future registered nurse workforce to improve the quality and safety of patient care. The dedicated education unit (DEU) is one practical way for 2 entities to align so that students can learn to administer safe, quality care. Because DEUs have great potential, it is critical to evaluate the alignment between the academic and service partner for appropriate fit, mutual benefit, and long-term success. In this article, we analyze the effectiveness of the Saint Louis University School of Nursing (SLUSON) and Mercy Hospital, St. Louis (MHSL) DEU project, an alliance between a medical center and school of nursing, using the Single Alliance Key Success Model. Copyright © 2012 Elsevier Inc. All rights reserved.

Regular Formal Evaluation Sessions are Effective as Frame-of-Reference Training for Faculty Evaluators of Clerkship Medical Students.

Science.gov (United States)

Hemmer, Paul A; Dadekian, Gregory A; Terndrup, Christopher; Pangaro, Louis N; Weisbrod, Allison B; Corriere, Mark D; Rodriguez, Rechell; Short, Patricia; Kelly, William F

2015-09-01

Face-to-face formal evaluation sessions between clerkship directors and faculty can facilitate the collection of trainee performance data and provide frame-of-reference training for faculty. We hypothesized that ambulatory faculty who attended evaluation sessions at least once in an academic year (attendees) would use the Reporter-Interpreter-Manager/Educator (RIME) terminology more appropriately than faculty who did not attend evaluation sessions (non-attendees). Investigators conducted a retrospective cohort study using the narrative assessments of ambulatory internal medicine clerkship students during the 2008-2009 academic year. The study included assessments of 49 clerkship medical students, which comprised 293 individual teacher narratives. Single-teacher written and transcribed verbal comments about student performance were masked and reviewed by a panel of experts who, by consensus, (1) determined whether RIME was used, (2) counted the number of RIME utterances, and (3) assigned a grade based on the comments. Analysis included descriptive statistics and Pearson correlation coefficients. The authors reviewed 293 individual teacher narratives regarding the performance of 49 students. Attendees explicitly used RIME more frequently than non-attendees (69.8 vs. 40.4 %; p sessions used RIME terminology more frequently and provided more accurate grade recommendations than teachers who did not attend. Formal evaluation sessions may provide frame-of-reference training for the RIME framework, a method that improves the validity and reliability of workplace assessment.

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.

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.

ClusType: Effective Entity Recognition and Typing by Relation Phrase-Based Clustering

Science.gov (United States)

Ren, Xiang; El-Kishky, Ahmed; Wang, Chi; Tao, Fangbo; Voss, Clare R.; Ji, Heng; Han, Jiawei

2015-01-01

Entity recognition is an important but challenging research problem. In reality, many text collections are from specific, dynamic, or emerging domains, which poses significant new challenges for entity recognition with increase in name ambiguity and context sparsity, requiring entity detection without domain restriction. In this paper, we investigate entity recognition (ER) with distant-supervision and propose a novel relation phrase-based ER framework, called ClusType, that runs data-driven phrase mining to generate entity mention candidates and relation phrases, and enforces the principle that relation phrases should be softly clustered when propagating type information between their argument entities. Then we predict the type of each entity mention based on the type signatures of its co-occurring relation phrases and the type indicators of its surface name, as computed over the corpus. Specifically, we formulate a joint optimization problem for two tasks, type propagation with relation phrases and multi-view relation phrase clustering. Our experiments on multiple genres—news, Yelp reviews and tweets—demonstrate the effectiveness and robustness of ClusType, with an average of 37% improvement in F1 score over the best compared method. PMID:26705503

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

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

Effectiveness of Tutoring to Improve Academic Performance in Nursing Students at the University of Seville

Directory of Open Access Journals (Sweden)

María Dolores Guerra-Martín

2017-07-01

Full Text Available In response to the increase of Higher Education support provided to tutoring programs, this paper presents the design, implementation and evaluation of a tutoring program to improve the academic performance of at-risk students enrolled in the last year of a nursing degree characterized by academic failure (failed courses. A controlled experimental study was carried out to evaluate a tutoring program that included a minimum of nine meetings performed by an expert professor as tutor. A questionnaire for assessing the academic needs was designed and interventions were performed when responses were: nothing, a little or something. Medium to large effects were found in the progress of failed course to passed course (p =.000, rφ = .30, improving the information about courses (p < .001, d = 2.01, the information comprehension (p < .001, d = 0.85 and the strategies to improve academic performance (p < .001, d = 1.37. The intervention group students’ response highlighted program satisfaction and effectiveness. The significance of the study lies in reinforcing the formal tutoring as a tool to improve academic performance in at-risk students.

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. ...

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.

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.

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...

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.

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.

48 CFR 252.204-7001 - Commercial and Government Entity (CAGE) code reporting.

Science.gov (United States)

2010-10-01

... Entity (CAGE) code reporting. 252.204-7001 Section 252.204-7001 Federal Acquisition Regulations System... Entity (CAGE) Code Reporting (AUG 1999) (a) The offeror is requested to enter its CAGE code on its offer... AND CONTRACT CLAUSES Text of Provisions And Clauses 252.204-7001 Commercial and Government Entity...

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.

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.

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.

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.

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

Developing new copyright services in academic libraries

Directory of Open Access Journals (Sweden)

Inga-Lill Nilsson

2016-03-01

Full Text Available This article discusses the role of academic librarians in handling copyright-related issues, including their required skills and knowledge about copyright. IP (intellectual property issues have become more important in publishing and in accessing and reusing scientific research, and new technology and delivery mechanisms have increased copyright issues. Due to the complications and general confusion about copyright, there is a growing need for official support. Academic librarians often have only an informal mandate to work in this area and therefore lack confidence, sufficient knowledge and training. They seldom have the authority to work with copyright education in a formalized way. Legitimacy can be achieved by collaborating with other university units with an interest in copyright. Co-operation with other libraries and library organizations is also an important way to share experiences and increase knowledge about copyright. Libraries can contribute to improved IP services once they have established that copyright is a library matter, found tools for copyright education and embedded these activities into library routines.

ECO: A Framework for Entity Co-Occurrence Exploration with Faceted Navigation

Energy Technology Data Exchange (ETDEWEB)

Halliday, K. D. [Lawrence Livermore National Lab. (LLNL), Livermore, CA (United States)

2010-08-20

Even as highly structured databases and semantic knowledge bases become more prevalent, a substantial amount of human knowledge is reported as written prose. Typical textual reports, such as news articles, contain information about entities (people, organizations, and locations) and their relationships. Automatically extracting such relationships from large text corpora is a key component of corporate and government knowledge bases. The primary goal of the ECO project is to develop a scalable framework for extracting and presenting these relationships for exploration using an easily navigable faceted user interface. ECO uses entity co-occurrence relationships to identify related entities. The system aggregates and indexes information on each entity pair, allowing the user to rapidly discover and mine relational information.

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....

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.

English Through the Filter of the Mother Tongue in Economics Students’ Formal Writing

Directory of Open Access Journals (Sweden)

Leonte Alina

2017-01-01

Full Text Available This study presents an analysis of a series of errors made in English by Romanian economics students, which are due to associations with the mother tongue. The study specifically dwells on formal misselection, misformations and distortions. 125 papers were used in the study, which were collected in the academic year 2016/2017 from 59 first year finances and banking students, 26 third year marketing students and 40 first year management students. Finances and banking students wrote a report starting from a chart, marketing students wrote a cover letter, while management students wrote a business email. Different topics were provided in order not to limit the students’ vocabulary to one topic only.

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.

The Integration of Formal and Non-formal Education: The Dutch “brede school”

Directory of Open Access Journals (Sweden)

du Bois-Reymond, Manuela

2009-12-01

Full Text Available The Dutch “brede school” (BS development originates in the 1990s and has spread unevenly since: quicker in the primary than secondary educational sector. In 2007, there were about 1000 primary and 350 secondary BS schools and it is the intention of the government as well as the individual municipalities to extend that number and make the BS the dominant school form of the near future. In the primary sector, a BS cooperates with crèche and preschool facilities, besides possible other neighborhood partners. The main targets are, first, to enhance educational opportunities, particularly for children with little (western- cultural capital, and secondly to increase women’s labor market participation by providing extra familial care for babies and small children. All primary schools are now obliged to provide such care. In the secondary sector, a BS is less neighborhood-orientated than a primary BS because those schools are bigger and more often located in different buildings. As in the primary sector, there are broad and more narrow BS, the first profile cooperating with many non-formal and other partners and facilities and the second with few. On the whole, there is a wide variety of BS schools, with different profiles and objectives, dependent on the needs and wishes of the initiators and the neighborhood. A BS is always the result of initiatives of the respective school and its partners: parents, other neighborhood associations, municipality etc. BS schools are not enforced by the government although the general trend will be that existing school organizations transform into BS. The integration of formal and non-formal education and learning is more advanced in primary than secondary schools. In secondary education, vocational as well as general, there is a clear dominance of formal education; the non-formal curriculum serves mainly two lines and objectives: first, provide attractive leisure activities and second provide compensatory

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...

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...

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...

What my parents make me believe in learning: the role of filial piety in Hong Kong students' motivation and academic achievement.

Science.gov (United States)

Chen, Wei-Wen; Wong, Yi-Lee

2014-08-01

Chinese students are well-known for their academic excellence. However, studies that explore the underlying mechanism of how cultural factors relate to the motivational process and academic achievement of Chinese students have been limited. This study aimed to examine the role of filial piety in shaping Chinese students' theories of intelligence so as to obtain a clearer understanding of the process by which parent-child connectedness is linked to Chinese students' academic achievement. A sample of 312 university students in Hong Kong were assessed concerning their filial piety beliefs, theories of intelligence and academic achievement. Data were analysed using structural equation modelling. The results indicated that different filial piety beliefs relate to students' academic achievement by shaping different theories of intelligence. Reciprocal filial piety beliefs were found to facilitate an incremental view of intelligence, which in turn contributes to students' academic achievement. Authoritarian filial piety beliefs were shown to be associated with an entity view of intelligence, which consequently deteriorates students' academic achievement. Cultural views of motivational processes can shed light on how motivational beliefs are developed as a product of cultural or socialization processes, which, in turn, contribute to students' academic success. © 2013 International Union of Psychological Science.

47 CFR 27.209 - Designated entities; bidding credits; unjust enrichment.

Science.gov (United States)

2010-10-01

... 47 Telecommunication 2 2010-10-01 2010-10-01 false Designated entities; bidding credits; unjust enrichment. 27.209 Section 27.209 Telecommunication FEDERAL COMMUNICATIONS COMMISSION (CONTINUED) COMMON... 2305-2320 MHz and 2345-2360 MHz Bands § 27.209 Designated entities; bidding credits; unjust enrichment...

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.

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...

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…

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...

Insights into the IASB due process: the influence of country characteristics on constituents’ formal participation

Directory of Open Access Journals (Sweden)

Karsten Eisenschmidt

2017-12-01

Full Text Available The paper explores the impact of country characteristics on constituents’ formal participation in the IASB’s due process. We hypothesize that there is an association between the level of constituents’ partic- ipation and (1 the level of economic development, and (2 the cultural characteristics of the country of origin. We use a number of comment letters (CLs and their length as proxies for constituents’ formal participation in the IASB’s due process. The results indicate that economic development (equity market capitalization is the most important explanatory factor for the different levels of participation. In con- trast, the cultural characteristics measured by Hofstede’s cultural framework can only partially explain that differences. Only individualism is a significant positive influence factor for the level of constituents’ participation. The results of our descriptive analysis for the CLs and the information input provided show that there is still a lack of participation in the IASB’s due process. Despite the huge impact of accounting norms on societies, only a limited number of constituents participate, and some constituent groups, like users or academics, participate less.

45 CFR 2550.80 - What are the duties of the State entities?

Science.gov (United States)

2010-10-01

... 45 Public Welfare 4 2010-10-01 2010-10-01 false What are the duties of the State entities? 2550.80... ADMINISTRATIVE ENTITIES § 2550.80 What are the duties of the State entities? Both State commissions and AAEs have..., respite services for adults age 55 or older and caregivers, and transitions for older adults age 55 or...

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; ...

26 CFR 301.7701-2T - Business entities; definitions (temporary).

Science.gov (United States)

2010-04-01

... 26 Internal Revenue 18 2010-04-01 2010-04-01 false Business entities; definitions (temporary). 301... (CONTINUED) PROCEDURE AND ADMINISTRATION PROCEDURE AND ADMINISTRATION Definitions § 301.7701-2T Business entities; definitions (temporary). (a) through (c)(2)(ii) [Reserved] For further guidance, see § 301.7701-2...

Formal public health education and career outcomes of medical school graduates.

Directory of Open Access Journals (Sweden)

Marie Krousel-Wood

Full Text Available BACKGROUND: Few data are available evaluating the associations of formal public health education with long-term career choice and professional outcomes among medical school graduates. The objective of this study was to determine if formal public health education via completion of a masters of public health (MPH degree among US medical school graduates was associated with early and long-term career choice, professional satisfaction, or research productivity. METHODS: We conducted a retrospective cohort study in 1108 physicians (17.1% completed a MPH degree who had 10-20 years of follow-up post medical school graduation. Multivariable logistic regression analyses were conducted. RESULTS: Compared to their counterparts with no MPH, medical school graduates with a MPH were more likely to have completed a generalist primary care residency only [relative risk (RR 1.79, 95% confidence interval (CI 1.35-2.29], obtain employment in an academic institution (RR 1.81; 95% CI 1.33-2.37 or government agency (RR 3.26; 95% CI 1.89-5.38, and practice public health (RR 39.84; 95% CI 12.13-107.38 or primary care (RR 1.59; 95% CI 1.18-2.05. Furthermore, medical school graduates with a MPH were more likely to conduct public health research (RR 8.79; 95% CI: 5.20-13.82, receive NIH or other federal funding (RR 3.11, 95% CI 1.74-5.33, have four or more peer-reviewed publications (RR 2.07; 95% CI 1.56-2.60, and have five or more scientific presentations (RR 2.31, 95% CI 1.70-2.98. CONCLUSION: Formal public health education via a MPH was associated with career choice and professional outcomes among physicians.

Systems Biology Graphical Notation: Entity Relationship language Level 1 Version 2.

Science.gov (United States)

Sorokin, Anatoly; Le Novère, Nicolas; Luna, Augustin; Czauderna, Tobias; Demir, Emek; Haw, Robin; Mi, Huaiyu; Moodie, Stuart; Schreiber, Falk; Villéger, Alice

2015-09-04

The Systems Biological Graphical Notation (SBGN) is an international community effort for standardized graphical representations of biological pathways and networks. The goal of SBGN is to provide unambiguous pathway and network maps for readers with different scientific backgrounds as well as to support efficient and accurate exchange of biological knowledge between different research communities, industry, and other players in systems biology. Three SBGN languages, Process Description (PD), Entity Relationship (ER) and Activity Flow (AF), allow for the representation of different aspects of biological and biochemical systems at different levels of detail. The SBGN Entity Relationship language (ER) represents biological entities and their interactions and relationships within a network. SBGN ER focuses on all potential relationships between entities without considering temporal aspects. The nodes (elements) describe biological entities, such as proteins and complexes. The edges (connections) provide descriptions of interactions and relationships (or influences), e.g., complex formation, stimulation and inhibition. Among all three languages of SBGN, ER is the closest to protein interaction networks in biological literature and textbooks, but its well-defined semantics offer a superior precision in expressing biological knowledge.

Agreeements between entities within the public sector and public procurement rules

Directory of Open Access Journals (Sweden)

Alejandro Huergo Lora

2017-11-01

Full Text Available This paper examines how European and Spanish public procurement rules tackle agreements between entities within the public sector. In Spain these agreemets were initially above those rules, but now they cannot have the same object as a contract. Spanish law is not in line with European law, since under European law agreements are valid even if their object could be attained with a contract, provided that they meet some requirements. On the other hand, attention is paid to these requisites, laid down by Eurepean law, in order to ascertain if agreements are asked to comply with harder rules than «in house providing», and if it has to be so. Public entities are not obliged to «buy» if they can fulfill their needs with their own resources. And «their own resources» include the resources of entities or bodies closely related, or even any entity within the public sector. Otherwise decentralized States, in which there are many autonomous entities whose cooperation involves agreements between independent bodies, would be impaired.

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.

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…

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.

Combining the Generic Entity-Attribute-Value Model and Terminological Models into a Common Ontology to Enable Data Integration and Decision Support.

Science.gov (United States)

Bouaud, Jacques; Guézennec, Gilles; Séroussi, Brigitte

2018-01-01

The integration of clinical information models and termino-ontological models into a unique ontological framework is highly desirable for it facilitates data integration and management using the same formal mechanisms for both data concepts and information model components. This is particularly true for knowledge-based decision support tools that aim to take advantage of all facets of semantic web technologies in merging ontological reasoning, concept classification, and rule-based inferences. We present an ontology template that combines generic data model components with (parts of) existing termino-ontological resources. The approach is developed for the guideline-based decision support module on breast cancer management within the DESIREE European project. The approach is based on the entity attribute value model and could be extended to other domains.

Using Direct Sub-Level Entity Access to Improve Nuclear Stockpile Simulation Modeling

Energy Technology Data Exchange (ETDEWEB)

Parker, Robert Y. [Brigham Young Univ., Provo, UT (United States)

1999-08-01

Direct sub-level entity access is a seldom-used technique in discrete-event simulation modeling that addresses the accessibility of sub-level entity information. The technique has significant advantages over more common, alternative modeling methods--especially where hierarchical entity structures are modeled. As such, direct sub-level entity access is often preferable in modeling nuclear stockpile, life-extension issues, an area to which it has not been previously applied. Current nuclear stockpile, life-extension models were demonstrated to benefit greatly from the advantages of direct sub-level entity access. In specific cases, the application of the technique resulted in models that were up to 10 times faster than functionally equivalent models where alternative techniques were applied. Furthermore, specific implementations of direct sub-level entity access were observed to be more flexible, efficient, functional, and scalable than corresponding implementations using common modeling techniques. Common modeling techniques (''unbatch/batch'' and ''attribute-copying'') proved inefficient and cumbersome in handling many nuclear stockpile modeling complexities, including multiple weapon sites, true defect analysis, and large numbers of weapon and subsystem types. While significant effort was required to enable direct sub-level entity access in the nuclear stockpile simulation models, the enhancements were worth the effort--resulting in more efficient, more capable, and more informative models that effectively addressed the complexities of the nuclear stockpile.

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...

Supporting the development of postgraduate academic writing skills in South African universities

Directory of Open Access Journals (Sweden)

Schulze, Salome

2017-06-01

Full Text Available The ability to write according to the conventions and forms of disciplinary academic writing is essential to success at university. Meeting the demands of quality academic writing is a challenge to the increasing number of English Second Language (ESL students worldwide, from undergraduate to postgraduate level, who choose to study and publish in English. In particular, postgraduate students in South African universities struggle with the rigours of dissertation writing. Drawing on Lave and Wenger’s (1991 theory of collaborative learning in a community of practice (CoP, an exploratory, qualitative inquiry was undertaken to examine the support given by six selected South African higher education institutions (HEIs to promote the development of academic writing skills among master’s and doctoral students. Data were gathered from a purposeful sample of 10 expert informants through interviews, email communication, and scrutiny of institutional websites. Findings deal with academic writing skills as the core competence necessary for full participation in the academic CoP; the nature of postgraduate student engagement with core members of the CoP, such as supervisors and language experts; and the availability and efficacy of a range of intra-organisational resources, including informal and formal peer interaction with those who have more expertise in writing, books, manuals, visual representations, and technological tools, to develop academic writing among postgraduate students. Based on the findings, recommendations are made for ways in which institutions can strengthen, enrich, and extend the CoP to support academic writing skills of ESL postgraduate students.

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...

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 ...

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.

26 CFR 301.7701-5 - Domestic and foreign business entities.

Science.gov (United States)

2010-04-01

... the laws of Country A as a public limited company. It is also an entity that is organized as a limited... or organized as any type of entity (including, but not limited to, a corporation, unincorporated association, general partnership, limited partnership, and limited liability company) in the United States, or...

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

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

Indigenous Research and Academic Freedom: A View from Political Scientists

Directory of Open Access Journals (Sweden)

Christopher Alcantara

2017-04-01

Full Text Available Over the last several decades, scholars working on Indigenous topics have faced increasing pressure to engage in research that promotes social justice and results in formal partnerships with Indigenous communities. In this article, we argue that non-community-based research, in which the researcher exercises academic autonomy over the project, still has a role to play in Indigenous-focused research, depending on the research question, topic, and situation at hand. We explore this argument from the perspective of political scientists who study Indigenous–settler political relations in Canada.

Nursing students' understanding of critical thinking and appraisal and academic writing: a descriptive, qualitative study.

Science.gov (United States)

Borglin, Gunilla; Fagerström, Cecilia

2012-11-01

In Sweden, regulations from the National Agency for Higher Education advocate an education that equips students with independence as well as critical, problem-based thinking, i.e. academic literacy skills. However, some research findings indicate that students may leave higher education without mastering these skills effectively. As part of quality-assuring a nursing programme at a university college in south-east Sweden we explored the nursing student's view of crucial academic literacy skills, such as critical thinking and appraisal and academic writing, by conducting a descriptive, qualitative study. Informants were recruited through an advertisement posted on the university's e-learning tool. Eight focused interviews were conducted during autumn 2010. The transcribed interviews were analysed - inspired by content analysis - and two categories became apparent: constantly questioning and formality before substance. The latter revealed a gap between the student's perception of academic writing and that of the educators, thus implying that nursing students might not be equipped with the tools they need to develop within academia. We suggest that students could benefit in their academic endeavours from theoretical educational models that integrate several academic skills simultaneously and which could be incorporated into the development of syllabuses and curriculums. Copyright © 2012 Elsevier Ltd. All rights reserved.

THE RELEVANCE OF LEARNING APPLIED ENGLISH FOR ACADEMICS TO FOSTER PROFESSIONALISM

Directory of Open Access Journals (Sweden)

Lubna Algadrie

2005-01-01

Full Text Available Academics who are not competent in communication skills, particularly language skills, will develop less compared to those who are. Communication skills in general and language skills in particular will foster professionalism since professionals will spend less time doing and more time managing as experience grows. Professionalism grows from qualities that can be learned and developed as well as information learned and acquired. Negotiating skills will enable them to win deals more readily. Moreover, internet based realms of communications are mostly English speaking creations, which vary in terms of level of formality and choice of words. In this paper the writer shares her experience in materials preparations and a classroom-centered research done on a group of academics of non-English majors who came to ITS Language Centre to improve their English language competence for career development and further studies.

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.

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...

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

Preparation of the accounting entity for verification of the final accounts

OpenAIRE

Kučerová, Monika

2009-01-01

Bachelor's thesis deals with preparation of the accounting entity for verification of the final accounts. The work includes the definition of the accounting entity, also includes information about preparation of final accounts and deals with report of auditor.

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 ...

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....

UMass at TREC WEB 2014: Entity Query Feature Expansion using Knowledge Base Links

Science.gov (United States)

2014-11-01

task on the category A subset and demonstrate the benefit of entity-centric approaches even for non-entity queries like “dark chocolate health benefits ...category A subset and demonstrate the benefit of entity-centric approaches even for non-entity queries like ???dark chocolate health benefits ???. 15...rogers 289 benefits of yoga Model MAP ERR@20 NDCG@20 SDM 4.18 9.15 12.61 WikiRM1 4.00 9.31 12.80 SDM-RM3 3.53 7.61 11.00 EQFE 4.67 10.00 14.61 (a) Results

Entity information life cycle for big data master data management and information integration

CERN Document Server

Talburt, John R

2015-01-01

Entity Information Life Cycle for Big Data walks you through the ins and outs of managing entity information so you can successfully achieve master data management (MDM) in the era of big data. This book explains big data's impact on MDM and the critical role of entity information management system (EIMS) in successful MDM. Expert authors Dr. John R. Talburt and Dr. Yinle Zhou provide a thorough background in the principles of managing the entity information life cycle and provide practical tips and techniques for implementing an EIMS, strategies for exploiting distributed processing to hand

Determining the privacy policy deficiencies of health ICT applications through semi-formal modelling.

Science.gov (United States)

Croll, Peter R

2011-02-01

To ensure that patient confidentiality is securely maintained, health ICT applications that contain sensitive personal information demand comprehensive privacy policies. Determining the adequacy of these policies to meet legal conformity together with clinical users and patient expectation is demanding in practice. Organisations and agencies looking to analyse their Privacy and Security policies can benefit from guidance provided by outside entities such as the Privacy Office of their State or Government together with law firms and ICT specialists. The advice given is not uniform and often open to different interpretations. Of greater concern is the possibility of overlooking any important aspects that later result in a data breach. Based on three case studies, this paper considers whether a more formal approach to privacy analysis could be taken that would help identify the full coverage of a Privacy Impact Analysis and determine the deficiencies with an organisation's current policies and approach. A diagrammatic model showing the relationships between Confidentiality, Privacy, Trust, Security and Safety is introduced. First the validity of this model is determined by mapping it against the real-world case studies taken from three healthcare services that depend on ICT. Then, by using software engineering methods, a formal mapping of the relationships is undertaken to identify a full set of policies needed to satisfy the model. How effective this approach may prove as a generic method for deriving a comprehensive set of policies in health ICT applications is finally discussed. Copyright © 2010 Elsevier Ireland Ltd. All rights reserved.

HIV-related knowledge and perceptions by academic major: Implications for university interventions

Directory of Open Access Journals (Sweden)

Matthew Lee Smith

2014-03-01

Full Text Available Most universities offer human sexuality courses, although they are not required for graduation. While students in health-related majors may receive sexuality education in formal settings, majority of college students never receive formal sexual health or HIV/AIDS-related education, which may lead to elevated engagement in high-risk sexual behaviors. This study examines perceived knowledge about HIV/AIDS, perceived risk, and perceived consequences among college students by two distinct classifications of academic majors. Data were collected from 510 college students. Binary and multinomial logistic regressions were performed to compare HIV-related covariates by academic major category. Limited differences were observed by Science, Technology, Engineering, and Mathematics (STEM categorization. Relative to health and kinesiology (HK majors, those who self-reported being completely knowledgeable about HIV were less likely to be physical sciences, math, engineering, business (PMEB [OR=0.41, P=0.047] or education, humanities, and social sciences (EHS majors [OR=0.25, P=0.004]. PMEB majors were less likely to report behavioral factors as a risk for contracting HIV [OR=0.86, P=0.004] and perceived acquiring HIV would be more detrimental to their quality of life [OR=2.14, P=0.012], but less detrimental to their mental wellbeing [OR=0.58, P=0.042]. Findings can inform college-wide campaigns and interventions to raise HIV/AIDS awareness and improve college health.

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...

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…

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…

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...

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.

A Conceptual Schema Language for the Management of Multiple Representations of Geographic Entities

DEFF Research Database (Denmark)

Friis-Christensen, A.; Jensen, Christian Søndergaard; Nytun, J.P.

2005-01-01

Multiple representation of geographic information occurs when a real-world entity is represented more than once in the same or different databases. This occurs frequently in practice, and it invariably results in the occurrence of inconsistencies among the different representations of the same...... entity. In this paper, we propose an approach to the modeling of multiply represented entities, which is based on the relationships among the entities and their representations. Central to our approach is the Multiple Representation Schema Language that, by intuitive and declarative means, is used...... to specify rules that match objects representing the same entity, maintain consistency among these representations, and restore consistency if necessary. The rules configure a Multiple Representation Management System, the aim of which is to manage multiple representations over a number of autonomous...

Results of a Formal Mentorship Program for Internal Medicine Residents: Can We Facilitate Genuine Mentorship?

Science.gov (United States)

Cohee, Brian M; Koplin, Stephen A; Shimeall, William T; Quast, Timothy M; Hartzell, Joshua D

2015-03-01

Mentorship programs are perceived as valuable, yet little is known about the effect of program design on mentoring effectiveness. We developed a program focused on mentoring relationship quality and evaluated how subsequent relationships compared to preexisting informal pairings. Faculty members were invited by e-mail to participate in a new mentoring program. Participants were asked to complete a biography, subsequently provided to second- and third-year internal medicine residents. Residents were instructed to contact available mentors, and ultimately designate a formal mentor. All faculty and residents were provided a half-day workshop training, written guidelines, and e-mails. Reminders were e-mailed and announced in conferences approximately monthly. Residents were surveyed at the end of the academic year. Thirty-seven faculty members completed the biography, and 70% (26 of 37) of residents responded to the survey. Of the resident respondents, 77% (20 of 26) chose a formal mentor. Of the remainder, most had a previous informal mentor. Overall, 96% (25 of 26) of the residents had identified a mentor of some kind compared to 50% (13 of 26) before the intervention (P mentors identified them as actual mentors. Similar numbers of residents described their mentors as invested in the mentorship, and there was no statistical difference in the number of times mentors and mentees met. Facilitated selection of formal mentors produced relationships similar to preexisting informal ones. This model may increase the prevalence of mentorship without decreasing quality.

Leadership Primer for Current and Aspiring Pulmonary, Critical Care, and Sleep Medicine Academic Division Chiefs.

Science.gov (United States)

Nguyen, H Bryant; Thomson, Carey C; Kaminski, Naftali; Schnapp, Lynn M; Madison, J Mark; Glenny, Robb W; Dixon, Anne E

2018-02-27

An academic medical career traditionally revolves around patient care, teaching, and scholarly projects. Thus, when an opportunity for a leadership role arises, such as Division Chief, the new leader is often unprepared with little or no formal leadership training. In this article, academic leaders of the Association of Pulmonary, Critical Care and Sleep Division Directors reviewed several leadership concepts adapted from the business sector and applied years of their experience to aid new division chiefs with their first day on the job. The first 90 days are highlighted to include accomplishing the early wins, performing a division Strengths, Weaknesses, Opportunities, and Threats (SWOT) analysis, establishing division rapport, redefining the division infrastructure, avoiding conflicts, and managing their relationship with the department chair. The five levels of leadership applicable to academic medicine are discussed: position, permission, production, people, and pinnacle. Finally, emotional intelligence and behavior styles crucial to leadership success are reviewed.

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

40 CFR 35.938-4 - Formal advertising.

Science.gov (United States)

2010-07-01

... 40 Protection of Environment 1 2010-07-01 2010-07-01 false Formal advertising. 35.938-4 Section 35... advertising. Each contract shall be awarded after formal advertising, unless negotiation is permitted in accordance with § 35.936-18. Formal advertising shall be in accordance with the following: (a) Adequate...

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...

Career Self-Management and Career Capital of Mid-Level Administrators in Higher Education Who Previously Served as Professional Academic Advisors

Science.gov (United States)

Smith, Elecia Cole

2014-01-01

Understanding the prerequisites for career advancement helps to keep employees motivated and engaged. However, in the higher education (H.E.) workplace, where formalized career ladders are sparse and ambiguous for staff personnel--especially those in professional academic advising--employees who are interested in career advancement into mid-level…

Mental sets in conduct problem youth with psychopathic features: entity versus incremental theories of intelligence.

Science.gov (United States)

Salekin, Randall T; Lester, Whitney S; Sellers, Mary-Kate

2012-08-01

The purpose of the current study was to examine the effect of a motivational intervention on conduct problem youth with psychopathic features. Specifically, the current study examined conduct problem youths' mental set (or theory) regarding intelligence (entity vs. incremental) upon task performance. We assessed 36 juvenile offenders with psychopathic features and tested whether providing them with two different messages regarding intelligence would affect their functioning on a task related to academic performance. The study employed a MANOVA design with two motivational conditions and three outcomes including fluency, flexibility, and originality. Results showed that youth with psychopathic features who were given a message that intelligence grows over time, were more fluent and flexible than youth who were informed that intelligence is static. There were no significant differences between the groups in terms of originality. The implications of these findings are discussed including the possible benefits of interventions for adolescent offenders with conduct problems and psychopathic features. (PsycINFO Database Record (c) 2012 APA, all rights reserved).

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

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.

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...

If You Build It, They Will Come: How to Establish an Academic Innovation Enterprise.

Science.gov (United States)

Srimathveeravalli, Govindarajan; Balesh, Elie; Cheng, Christopher P; Chen, David

2017-06-01

The rapid growth of minimally invasive, image-guided intervention has redefined the procedural management of multiple disease entities. The process of innovation which has characterized the growth of interventional radiology can be best described as "needs-based," whereby practicing interventionalists identify unmet clinical needs and subsequently invent solutions to achieve desired technical and clinical outcomes. Historically, catheters and other percutaneous devices were developed with rudimentary manufacturing techniques and subsequently translated to patients with relatively little regulatory oversight. Since then, the resources required and financial costs of interventional technology development have grown exponentially. Fortunately, advances in software development, new methods of rapid prototyping, and commoditization of hardware components have made in-house engineering feasible once again. This has created an opportunity for academic medical centers to translate their research into testable prototypes in humans sooner and at reduced costs, and academic interventional radiology divisions are now leveraging these developments to create collaborative centers of innovation. This article describes five such organizational formats for collaboration and innovation in the academic setting, describing the structure, opportunities, requirements, and caveats of each model. Copyright © 2017 Elsevier Inc. All rights reserved.

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...

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…

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%.

Hidden in plain sight: the formal, informal, and hidden curricula of a psychiatry clerkship.

Science.gov (United States)

Wear, Delese; Skillicorn, Jodie

2009-04-01

To examine perceptions of the formal, informal, and hidden curricula in psychiatry as they are observed and experienced by (1) attending physicians who have teaching responsibilities for residents and medical students, (2) residents who are taught by those same physicians and who have teaching responsibilities for medical students, and (3) medical students who are taught by attendings and residents during their psychiatry rotation. From June to November 2007, the authors conducted focus groups with attendings, residents, and students in one midwestern academic setting. The sessions were audiotaped, transcribed, and analyzed for themes surrounding the formal, informal, and hidden curricula. All three groups offered a similar belief that the knowledge, skills, and values of the formal curriculum focused on building relationships. Similarly, all three suggested that elements of the informal and hidden curricula were expressed primarily as the values arising from attendings' role modeling, as the nature and amount of time attendings spend with patients, and as attendings' advice arising from experience and intuition versus "textbook learning." Whereas students and residents offered negative values arising from the informal and hidden curricula, attendings did not, offering instead the more positive values they intended to encourage through the informal and hidden curricula. The process described here has great potential in local settings across all disciplines. Asking teachers and learners in any setting to think about how they experience the educational environment and what sense they make of all curricular efforts can provide a reality check for educators and a values check for learners as they critically reflect on the meanings of what they are learning.

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.

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.

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.

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.

Academic disintegrity among medical students: a randomised response technique study.

Science.gov (United States)

Mortaz Hejri, Sameh; Zendehdel, Kazem; Asghari, Fariba; Fotouhi, Akbar; Rashidian, Arash

2013-02-01

Medical students, as tomorrow's doctors, are responsible for their patients' health; cheating may affect their academic knowledge and clinical skills. The main purpose of this study was to investigate the frequency of and attitudes towards academic disintegrity among medical students at Tehran University of Medical Sciences (TUMS). Anonymous questionnaires including questions about various types of academic disintegrity were distributed among medical students during the clerkship and internship phases of the curriculum. Randomised response technique (RRT) was used to maintain the responders' privacy. Because the study design guaranteed the confidentiality of respondents, the TUMS Institutional Review Board declared that formal ethical approval was not required. A total of 124 students were enrolled in this study, of whom 63 were in the clerkship phase and 61 were in the internship phase. Of these respondents, 29% (n = 36) were male. The most frequently reported type of academic disintegrity was found to be 'impersonating an absent student in a class' (93%) and the least frequent to be 'legitimising absences by using bribes' (5%). Only a small number of interns considered 'buying hospital shifts', 'selling hospital shifts', 'impersonating an absent student' and 'helping others to cheat in examinations' as representing academic disintegrity. Approximately one third of participants stated that the RRT increased their confidence in anonymity and 90% of students found the use of RRT not difficult. Academic integrity is widely disrespected in different ways among medical students. Effective policies and interventions are required to control these misbehaviours in future doctors in order to optimise medical practice. Almost all respondents found it not difficult to use the RRT; the technique proved to be an effective and easily applied method of eliciting truthful responses to sensitive questions and represents an alternative to conventional anonymising techniques. �

multiPDEVS: A Parallel Multicomponent System Specification Formalism

Directory of Open Access Journals (Sweden)

Damien Foures

2018-01-01

Full Text Available Based on multiDEVS formalism, we introduce multiPDEVS, a parallel and nonmodular formalism for discrete event system specification. This formalism provides combined advantages of PDEVS and multiDEVS approaches, such as excellent simulation capabilities for simultaneously scheduled events and components able to influence each other using exclusively their state transitions. We next show the soundness of the formalism by giving a construction showing that any multiPDEVS model is equivalent to a PDEVS atomic model. We then present the simulation procedure associated, usually called abstract simulator. As a well-adapted formalism to express cellular automata, we finally propose to compare an implementation of multiPDEVS formalism with a more classical Cell-DEVS implementation through a fire spread application.

27 CFR 479.104 - Registration of firearms by certain governmental entities.

Science.gov (United States)

2010-04-01

... § 479.104 Registration of firearms by certain governmental entities. Any State, any political subdivision thereof, or any official police organization of such a government entity engaged in criminal.... This section shall not apply to a firearm merely being held for use as evidence in a criminal...

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

Human-machine interaction to disambiguate entities in unstructured text and structured datasets

Science.gov (United States)

Ward, Kevin; Davenport, Jack

2017-05-01

Creating entity network graphs is a manual, time consuming process for an intelligence analyst. Beyond the traditional big data problems of information overload, individuals are often referred to by multiple names and shifting titles as they advance in their organizations over time which quickly makes simple string or phonetic alignment methods for entities insufficient. Conversely, automated methods for relationship extraction and entity disambiguation typically produce questionable results with no way for users to vet results, correct mistakes or influence the algorithm's future results. We present an entity disambiguation tool, DRADIS, which aims to bridge the gap between human-centric and machinecentric methods. DRADIS automatically extracts entities from multi-source datasets and models them as a complex set of attributes and relationships. Entities are disambiguated across the corpus using a hierarchical model executed in Spark allowing it to scale to operational sized data. Resolution results are presented to the analyst complete with sourcing information for each mention and relationship allowing analysts to quickly vet the correctness of results as well as correct mistakes. Corrected results are used by the system to refine the underlying model allowing analysts to optimize the general model to better deal with their operational data. Providing analysts with the ability to validate and correct the model to produce a system they can trust enables them to better focus their time on producing higher quality analysis products.

Karl Jaspers on the disease entity: Kantian ideas and Weberian ideal types.

Science.gov (United States)

Walker, Chris

2014-09-01

Jaspers' nosology is indebted to Immanuel Kant's theory of knowledge. He drew the distinction of form and content from the Transcendental Analytic of Kant's Critique of Pure Reason. The distinction is universal to all knowledge, including psychopathology. Individual experience is constituted by a form or category of the Understanding to give a determinate or knowable object classified into the generic type of a real disease entity. The application of form and content is limited by the boundaries of experience. Beyond this boundary are wholes whose conception requires Ideas of reason drawn from the Transcendental Dialectic. Wholes are regulated by Ideas of reason to give an object or schema of the Idea collected into ideal types of an ideal typical disease entity. Jaspers drew ideal types from Max Weber's social theory. He anticipated that, as knowledge advanced, ideal typical disease entities would become real disease entities. By 1920, this had been the destiny of general paralysis as knowledge of its neuropathology, serology and microbiology emerged. As he presented the final edition of General Psychopathology in 1946, Jaspers was anticipating the transition of schizophrenia from ideal typical to real disease entity. Almost 70 years later, with knowledge of its aetiology still unclear, schizophrenia remains marooned as an ideal typical disease entity - still awaiting that crucial advance! © The Author(s) 2014.

Development of a longitudinal integrated clerkship at an academic medical center.

Science.gov (United States)

Poncelet, Ann; Bokser, Seth; Calton, Brook; Hauer, Karen E; Kirsch, Heidi; Jones, Tracey; Lai, Cindy J; Mazotti, Lindsay; Shore, William; Teherani, Arianne; Tong, Lowell; Wamsley, Maria; Robertson, Patricia

2011-04-04

In 2005, medical educators at the University of California, San Francisco (UCSF), began developing the Parnassus Integrated Student Clinical Experiences (PISCES) program, a year-long longitudinal integrated clerkship at its academic medical center. The principles guiding this new clerkship were continuity with faculty preceptors, patients, and peers; a developmentally progressive curriculum with an emphasis on interdisciplinary teaching; and exposure to undiagnosed illness in acute and chronic care settings. Innovative elements included quarterly student evaluation sessions with all preceptors together, peer-to-peer evaluation, and oversight advising with an assigned faculty member. PISCES launched with eight medical students for the 2007/2008 academic year and expanded to 15 students for 2008/2009. Compared to UCSF's traditional core clerkships, evaluations from PISCES indicated significantly higher student satisfaction with faculty teaching, formal didactics, direct observation of clinical skills, and feedback. Student performance on discipline-specific examinations and United States Medical Licensing Examination step 2 CK was equivalent to and on standardized patient examinations was slightly superior to that of traditional peers. Participants' career interests ranged from primary care to surgical subspecialties. These results demonstrate that a longitudinal integrated clerkship can be implemented successfully at a tertiary care academic medical center.

Bridging In-school and Out-of-school Learning: Formal, Non-Formal, and Informal Education

Science.gov (United States)

Eshach, Haim

2007-04-01

The present paper thoroughly examines how one can effectively bridge in-school and out-of-school learning. The first part discusses the difficulty in defining out-of-school learning. It proposes to distinguish three types of learning: formal, informal, and non-formal. The second part raises the question of whether out-of-school learning should be dealt with in the in-school system, in view of the fact that we experience informal learning anyway as well as considering the disadvantages and difficulties teachers are confronted with when planning and carrying out scientific fieldtrips. The voices of the teachers, the students, and the non-formal institution staff are heard to provide insights into the problem. The third part discusses the cognitive and affective aspects of non-formal learning. The fourth part presents some models explaining scientific fieldtrip learning and based on those models, suggests a novel explanation. The fifth part offers some recommendations of how to bridge in and out-of-school learning. The paper closes with some practical ideas as to how one can bring the theory described in the paper into practice. It is hoped that this paper will provide educators with an insight so that they will be able to fully exploit the great potential that scientific field trips may offer.

An Effective Community?Academic Partnership to Extend the Reach of Screenings for Fall Risk

OpenAIRE

Schrodt, Lori A.; Garbe, Kathie C.; Chaplin, Rebecca; Busby-Whitehead, Jan; Shubert, Tiffany E.

2013-01-01

Older adults should be screened for fall risk annually. Community providers (people without formal medical training who work with older adults in senior centers or aging services) may be a viable group to expand the reach of screenings. Our community–academic partnership developed a program to increase and assess fall risk screenings by community providers. Community sites hosted training workshops and screening events. Community screenings were well attended and received by providers and old...

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.

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...

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 ...

49 CFR 37.43 - Alteration of transportation facilities by public entities.

Science.gov (United States)

2010-10-01

... 49 Transportation 1 2010-10-01 2010-10-01 false Alteration of transportation facilities by public... transportation facilities by public entities. (a)(1) When a public entity alters an existing facility or a part of an existing facility used in providing designated public transportation services in a way that...

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.

The Relation of Maternal Emotional and Cognitive Support During Problem Solving to Pre-Academic Skills in Preschoolers

Science.gov (United States)

Leerkes, Esther M.; Blankson, A. Nayena; O’Brien, Marion; Calkins, Susan D.; Marcovitch, Stuart

2011-01-01

Using a sample of 263 mother-child dyads, we examined the extent to which maternal emotional and cognitive support during a joint problem solving task when children were 3-years-old predicted children’s academic skills one year later independent of each other, the quality of the home learning environment, and maternal emotional responsiveness. When all parenting measures were examined simultaneously, only maternal emotional support during problem solving and the quality of the home learning environment predicted unique variation in gains in pre-academic skills from age 3 to age 4. The positive effect of emotional support during problem solving was especially apparent for children whose pre-academic skills were low at age 3. These findings are discussed in light of the changing demands placed on young children and their parents as they prepare for entry to the formal school system. PMID:22121336

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...

"Having the right chemistry": a qualitative study of mentoring in academic medicine.

Science.gov (United States)

Jackson, Vicki A; Palepu, Anita; Szalacha, Laura; Caswell, Cheryl; Carr, Phyllis L; Inui, Thomas

2003-03-01

To develop a deeper understanding of mentoring by exploring lived experiences of academic medicine faculty members. Mentoring relationships are key to developing productive careers in academic medicine, but such alliances hold a certain "mystery." Using qualitative techniques, between November 1999 and March 2000, the authors conducted individual telephone interviews of 16 faculty members about their experiences with mentoring. Interviews were taped and transcribed and authors identified major themes through multiple readings. A consensus taxonomy for classifying content evolved from comparisons of coding by four reviewers. Themes expressed by participants were studied for patterns of connection and grouped into broader categories. Almost 98% of participants identified lack of mentoring as the first (42%) or second (56%) most important factor hindering career progress in academic medicine. Finding a suitable mentor requires effort and persistence. Effective mentoring necessitates a certain chemistry for an appropriate interpersonal match. Prized mentors have "clout," knowledge, and interest in the mentees, and provide both professional and personal support. In cross-gender mentoring, maintaining clear boundaries is essential for an effective relationship. Same-gender or same-race matches between mentor and mentee were not felt to be essential. Having a mentor is critical to having a successful career in academic medicine. Mentees need to be diligent in seeking out these relationships and institutions need to encourage and value the work of mentors. Participants without formalized mentoring relationships should look to peers and colleagues for assistance in navigating the academic system.

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...

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...

Hierarchical Model for the Similarity Measurement of a Complex Holed-Region Entity Scene

Directory of Open Access Journals (Sweden)

Zhanlong Chen

2017-11-01

Full Text Available Complex multi-holed-region entity scenes (i.e., sets of random region with holes are common in spatial database systems, spatial query languages, and the Geographic Information System (GIS. A multi-holed-region (region with an arbitrary number of holes is an abstraction of the real world that primarily represents geographic objects that have more than one interior boundary, such as areas that contain several lakes or lakes that contain islands. When the similarity of the two complex holed-region entity scenes is measured, the number of regions in the scenes and the number of holes in the regions are usually different between the two scenes, which complicates the matching relationships of holed-regions and holes. The aim of this research is to develop several holed-region similarity metrics and propose a hierarchical model to measure comprehensively the similarity between two complex holed-region entity scenes. The procedure first divides a complex entity scene into three layers: a complex scene, a micro-spatial-scene, and a simple entity (hole. The relationships between the adjacent layers are considered to be sets of relationships, and each level of similarity measurements is nested with the adjacent one. Next, entity matching is performed from top to bottom, while the similarity results are calculated from local to global. In addition, we utilize position graphs to describe the distribution of the holed-regions and subsequently describe the directions between the holes using a feature matrix. A case study that uses the Great Lakes in North America in 1986 and 2015 as experimental data illustrates the entire similarity measurement process between two complex holed-region entity scenes. The experimental results show that the hierarchical model accounts for the relationships of the different layers in the entire complex holed-region entity scene. The model can effectively calculate the similarity of complex holed-region entity scenes, even if the

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

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.

Social security of a business entity: place and role of accounting

OpenAIRE

Жиглей, Ірина Вікторівна

2017-01-01

Concepts and levels of security on the whole as well as social security' of a business entity in particular have been considered. Factors of social insecurity have been enumerated. Disadvantages of social activity of business entities in Ukraine have been compared with the reflection of this activity in the accounting system.

Effective development of the entities on the basis of forecasting of financial and economic activities

Directory of Open Access Journals (Sweden)

I. I. Shanin

2017-01-01

Full Text Available In article, the questions connected with approach on effective development of industrial enterprises on the example of the furniture entities are considered. Effective development of the entities is directed to cost reduction in case of production and implementation of products, for improvement of indicators of financial and economic activities. The research is conducted on the example of the furniture entities of the Voronezh region and Krasnodar Krai. Any entity constantly uses these or those resources connected with material, labor and finance costs. All resources, which are consumed during a certain production cycle, create a cost budget or the expense plan of the entity, which are the most important economic indicators of activities of any entity. Not always at the entities the attention is properly paid to forecasting of production expenses for a further stage of functioning. Most the entities will organize the activities in such a way that current plans pass from year to year, and at the same time the alternative ways directed to cost reduction in case of production and further sales of products aren't considered. Any entity needs forecasting and planning of costs for the following production stages, for the purposes of innovative development and effective functioning of productive activity of the entity. First, it is necessary for assessment of opportunities when financing productive activity and for further scheduling of expenses, directed to cost reduction and cost reallocation. Having analysed activities of the entities and having studied accounting (financial records, it is revealed that at the entities in 2015 in comparison with 2014, there was a decrease in outputs, but at the same time, the loss is observed. Based on the carried-out analysis, on the example of financial and economic activities of JSC GRAFSKOYE and JSC GKMF, conclusions are drawn, cost reduction allowances in case of production are revealed, and recommendations in

Academic aspects of management accounting and controlling in Poland since the 1990s

Directory of Open Access Journals (Sweden)

Anna Szychta

2017-09-01

Full Text Available Academic aspects of management accounting and controlling in Poland since the 1990s Management accounting (MA systems in enterprises in Poland are shaped by numerous economic and institutional factors. Normative drivers such as teaching at the university level, academic research and publications of Polish academics (which are, in turn, influenced by the development of MA and con-trolling in Western countries are of major importance. The aim of the paper is to recognize and present the scope of the impact that the Anglo-American concept of management accounting, and the controlling concept according to the approach in German-speaking countries, have had on the academic aspects of MA in Poland since 1990. The authors answer in the paper six explorative research questions. The basis for the answers to these questions is a literature study, a review and thematic classification of articles concerning MA and controlling, published in the two main Polish journals in this area, and a survey conducted by the authors among heads of accounting departments at universities and other entities of further education in Poland. The paper provides arguments confirming that there is no uni-form perception of the relationship between MA and controlling among Polish accounting researchers, that research topics in Poland are dominated by the Anglo-American concept of MA, and that educa-tional programs on accounting at university level have a preference for the term management account-ing, although they also offer courses on controlling.

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...

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...

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...

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...

ROLUL INCUBATORULUI UNIVERSITAR, IN DEZVOLTAREA INOVĂRII, TRANSFERULUI DE TEHNOLOGII ŞI ANTREPRENORIATULUI ACADEMIC. CAZUL ITA GOLDTECH ARAD

Directory of Open Access Journals (Sweden)

Cornel Someşan

2011-01-01

Full Text Available University incubators have a mission to foster the creation of innovative companies thatemphasize research findings representing products, services and innovative technologiesand innovative solutions to organizational and business management. University incubatorsstated that the major entities of the national infrastructure for innovation and technologytransfer, which facilitates university research to contribute directly to national economicgrowth and job creation. The main objectives of this paper are promoting forms ofinnovation and strategic business solutions, and orientation of university management toimplement academic entrepreneurship.

EMPIRICAL RESEARCH ON THE STRUCTURE OF A SYSTEM FOR ASSESSMENT OF THE GLOBAL PERFORMANCE OF ECONOMIC ENTITIES

Directory of Open Access Journals (Sweden)

Pintea Mirela-Oana

2012-07-01

Full Text Available Sustainable development and, therefore, globalization require new standards of performance that exceeds the economic field, both for domestic companies as well as international ones. So, these standards should be integrated into corporate strategy development to ensure sustainability of activities undertaken by harmonizing the economic, social and environmental objectives. For sustainable development of an entity, value creation can not be seen in strictly financial terms, therefore any strategies that are defined by entities concerns not only the quantitative aspects (economic-financial but also qualitative aspects (social and environmental. This study attempts to address the issue of building a set of indicators to assess overall performance and it stops at each of the three dimensions of performance, namely economic performance, social performance and environmental performance. In this scientific approach we try to stop on one of the priorities of economic research that is finding indicators that better reflect the three dimensions of performance. What indicators would best represent the overall performance?, What indicators would best represent the financial performance?, What indicators would best represent social performance?, What would be the best indicators of environmental performance? During this scientific approach will try to answer each of these questions through the empirical research conducted. To do this research we focused on statistical population consisting of the following categories of analysts: analysts from academic environment (Cluj-Napoca, Bucharest, Timisoara, Iasi, Craiova, Sibiu, Pitesti, Galati and financial analysts from the specific departments of the Financial Investment Services Company (Broker SA, BT Securities, Target Capital, Tradeville, Estinvest, Intercapital, KBC Securities, etc.. This distinction was made because we believe that in determining the optimal structure of such a model we need the views of

DOING BUSINESS IN ROMANIA - PART I: PERSPECTIVES ON THE TYPES OF DOING BUSINESS. TYPES OF INDIVIDUAL AND COMPANY ENTITIES WITHOUT LEGAL PERSONALITY. TYPES OF ENTITIES WITH LEGAL PERSONALITY

Directory of Open Access Journals (Sweden)

Rodica Diana APAN

2014-12-01

Full Text Available The analysis in the present study integrates the types of trading entities in order to clearly determine them. A first reference theme when setting-up a business is that of the legal personality it would take. The new Civil Code, acting as common law in the field of trading entities, determines the realignment and balancing of the regulations on types of business. Company Law 31 of 1990 preserves the types of trading entities with legal personality regulated here: general partnership, limited partnership, limited partnership by shares, limited liability company, joint-stock company. The simple partnership which can gain legal personality is widely regulated, and for the partnership are mainly preserved the landmarks drawn by the Commercial Code of 1886 that is presently repealed. In conclusion, the present study analyses and answers the question – who are the legal trading entities and what are the regulated types of business.

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...

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...

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...

Joint Extraction of Entities and Relations Using Reinforcement Learning and Deep Learning

Directory of Open Access Journals (Sweden)

Yuntian Feng

2017-01-01

Full Text Available We use both reinforcement learning and deep learning to simultaneously extract entities and relations from unstructured texts. For reinforcement learning, we model the task as a two-step decision process. Deep learning is used to automatically capture the most important information from unstructured texts, which represent the state in the decision process. By designing the reward function per step, our proposed method can pass the information of entity extraction to relation extraction and obtain feedback in order to extract entities and relations simultaneously. Firstly, we use bidirectional LSTM to model the context information, which realizes preliminary entity extraction. On the basis of the extraction results, attention based method can represent the sentences that include target entity pair to generate the initial state in the decision process. Then we use Tree-LSTM to represent relation mentions to generate the transition state in the decision process. Finally, we employ Q-Learning algorithm to get control policy π in the two-step decision process. Experiments on ACE2005 demonstrate that our method attains better performance than the state-of-the-art method and gets a 2.4% increase in recall-score.

Joint Extraction of Entities and Relations Using Reinforcement Learning and Deep Learning.

Science.gov (United States)

Feng, Yuntian; Zhang, Hongjun; Hao, Wenning; Chen, Gang

2017-01-01

We use both reinforcement learning and deep learning to simultaneously extract entities and relations from unstructured texts. For reinforcement learning, we model the task as a two-step decision process. Deep learning is used to automatically capture the most important information from unstructured texts, which represent the state in the decision process. By designing the reward function per step, our proposed method can pass the information of entity extraction to relation extraction and obtain feedback in order to extract entities and relations simultaneously. Firstly, we use bidirectional LSTM to model the context information, which realizes preliminary entity extraction. On the basis of the extraction results, attention based method can represent the sentences that include target entity pair to generate the initial state in the decision process. Then we use Tree-LSTM to represent relation mentions to generate the transition state in the decision process. Finally, we employ Q -Learning algorithm to get control policy π in the two-step decision process. Experiments on ACE2005 demonstrate that our method attains better performance than the state-of-the-art method and gets a 2.4% increase in recall-score.

LEASING ARRANGEMENTS AS A FORM OF FINANCING BUSINESS ENTITIES IN REPUBLIC OF MACEDONIA

Directory of Open Access Journals (Sweden)

DRAGICA ODZAKLIESKA

2015-03-01

Full Text Available In the modern conditions for working, the problems with providing appropriate sources for financing business entities are more emphasized. In fact, the access to the financing sources is one of the limiting factors for the business entities development. If the business entity is able to satisfy completely or on a higher degree its financing needs from its own sources, then it gains significant competitive advantage and possibility for growth, by decreasing the costs for financing and minimizing the risk. But, these sources most often are not sufficient for business financing. In R. Macedonia, most usually used sources for work financing are the bank loans, which is a result mainly to the nonsufficiently developed financial market, and generally, the low degree of the economic development. However, the bank loans are expensive source of financing, which is negatively reflected into the financial result of the business entities. Because of that, the business entities get down to use alternative financing sources, such as: portfolio investments, foreign direct investments, issue of shares and bonds and specific sources of financing ( factoring financing, forfeiting financing, leasing and financing by franchise. In this paper, the accent will be put on the leasing as a specific form for financing the business entities in R. Macedonia. A research for that how much the business entities are acquainted with the advantages of using this financing source, how much the leasing is present as a financing form and if there are limiting factors in its use, will be conducted. At the end, on the basis of the obtained results from the research, some measures and recommendations for higher leasing implementation in the business entities in Republic of Macedonia will be given

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...

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

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.

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.

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 ...

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...

A Deep Similarity Metric Learning Model for Matching Text Chunks to Spatial Entities

Science.gov (United States)

Ma, K.; Wu, L.; Tao, L.; Li, W.; Xie, Z.

2017-12-01

The matching of spatial entities with related text is a long-standing research topic that has received considerable attention over the years. This task aims at enrich the contents of spatial entity, and attach the spatial location information to the text chunk. In the data fusion field, matching spatial entities with the corresponding describing text chunks has a big range of significance. However, the most traditional matching methods often rely fully on manually designed, task-specific linguistic features. This work proposes a Deep Similarity Metric Learning Model (DSMLM) based on Siamese Neural Network to learn similarity metric directly from the textural attributes of spatial entity and text chunk. The low-dimensional feature representation of the space entity and the text chunk can be learned separately. By employing the Cosine distance to measure the matching degree between the vectors, the model can make the matching pair vectors as close as possible. Mearnwhile, it makes the mismatching as far apart as possible through supervised learning. In addition, extensive experiments and analysis on geological survey data sets show that our DSMLM model can effectively capture the matching characteristics between the text chunk and the spatial entity, and achieve state-of-the-art performance.

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

Network and Ensemble Enabled Entity Extraction in Informal Text (NEEEEIT) final report

Energy Technology Data Exchange (ETDEWEB)

Kegelmeyer, Philip W. [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Shead, Timothy M. [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States); Dunlavy, Daniel M. [Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)

2013-09-01

This SAND report summarizes the activities and outcomes of the Network and Ensemble Enabled Entity Extraction in Information Text (NEEEEIT) LDRD project, which addressed improving the accuracy of conditional random fields for named entity recognition through the use of ensemble methods.

Formal methods in software development: A road less travelled

Directory of Open Access Journals (Sweden)

John A van der Poll

2010-08-01

Full Text Available An integration of traditional verification techniques and formal specifications in software engineering is presented. Advocates of such techniques claim that mathematical formalisms allow them to produce quality, verifiably correct, or at least highly dependable software and that the testing and maintenance phases are shortened. Critics on the other hand maintain that software formalisms are hard to master, tedious to use and not well suited for the fast turnaround times demanded by industry. In this paper some popular formalisms and the advantages of using these during the early phases of the software development life cycle are presented. Employing the Floyd-Hoare verification principles during the formal specification phase facilitates reasoning about the properties of a specification. Some observations that may help to alleviate the formal-methods controversy are established and a number of formal methods successes is presented. Possible conditions for an increased acceptance of formalisms in oftware development are discussed.

PKDE4J: Entity and relation extraction for public knowledge discovery.

Science.gov (United States)

Song, Min; Kim, Won Chul; Lee, Dahee; Heo, Go Eun; Kang, Keun Young

2015-10-01

Due to an enormous number of scientific publications that cannot be handled manually, there is a rising interest in text-mining techniques for automated information extraction, especially in the biomedical field. Such techniques provide effective means of information search, knowledge discovery, and hypothesis generation. Most previous studies have primarily focused on the design and performance improvement of either named entity recognition or relation extraction. In this paper, we present PKDE4J, a comprehensive text-mining system that integrates dictionary-based entity extraction and rule-based relation extraction in a highly flexible and extensible framework. Starting with the Stanford CoreNLP, we developed the system to cope with multiple types of entities and relations. The system also has fairly good performance in terms of accuracy as well as the ability to configure text-processing components. We demonstrate its competitive performance by evaluating it on many corpora and found that it surpasses existing systems with average F-measures of 85% for entity extraction and 81% for relation extraction. Copyright © 2015 Elsevier Inc. All rights reserved.

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.

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...

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.

JOINING OF ECONOMIC ENTITIES AS A POSSIBILITY OF SURVIVAL ON THE MODERN MARKET

Directory of Open Access Journals (Sweden)

Nikolina Pavičić Rešetar

2016-12-01

Full Text Available In today's global market, a major challenge for every economic entity is to be competitive and achieve its objectives. The method of survival shows that those companies with the lowest costs will survive and remain on the market. G. J. Stigler explained this technique on the market share of different sized companies in the steel industry in the United States. In his method he groups enterprises by size (small, medium and large. Historically, it is known that economic entities have been joining together since the Middle Ages. At that time, traders who formed associations were not engaged only in trade, but also in transportation and monetary activity. Economic entities are still joining together today, mostly in the form of a cooperative, cluster, cooperation, public private partnership or holding. The reason for that lies in the reduction of costs, risks and competition and the possibility of increasing the capacity of economic entities. Also, it should be noted that there is a synergy effect when economic entities join together. We are witnesses of many failed businesses, which did not respond to the economic crisis and the needs of the market. The aim of this paper is to try to connect the technique of survival and joining of economic entities and show how a merger is one of the survival models that in conditions of economic crisis provides options to business entities. Only companies with the lowest costs and high-quality technology can survive and compete in today's market.

Mentor Networks in Academic Medicine: Moving Beyond a Dyadic Conception of Mentoring for Junior Faculty Researchers

Science.gov (United States)

DeCastro, Rochelle; Sambuco, Dana; Ubel, Peter A.; Stewart, Abigail; Jagsi, Reshma

2013-01-01

Purpose Career development award programs often require formal establishment of mentoring relationships. The authors sought to gain a nuanced understanding of mentoring from the perspective of a diverse national sample of faculty clinician-researchers who were all members of formal mentoring relationships. Method Between February 2010 and August 2011, the authors conducted semi-structured, in-depth telephone interviews with 100 former recipients of National Institutes of Health mentored career development awards and 28 of their mentors. Purposive sampling ensured a diverse range of viewpoints. Multiple analysts thematically coded verbatim transcripts using qualitative data analysis software. Results Three relevant themes emerged: (1) the numerous roles and behaviors associated with mentoring in academic medicine, (2) the improbability of finding a single person who can fulfill the diverse mentoring needs of another individual, and (3) the importance and composition of mentor networks. Many respondents described the need to cultivate more than one mentor. Several participants discussed the utilization of peer mentors, citing benefits such as pooled resources and mutual learning. Female participants generally acknowledged the importance of having at least one female mentor. Some observed that their portfolio of mentors needed to evolve in order to remain effective. Conclusions Those who seek to promote the careers of faculty in academic medicine should focus upon developing mentoring networks, rather than hierarchical mentoring dyads. The members of each faculty member's mentoring team or network should reflect the protégé's individual needs and preferences, with special attention towards ensuring diversity in terms of area of expertise, academic rank, and gender. PMID:23425990

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....

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)

Academic Manager or Managed Academic? Academic Identity Schisms in Higher Education

Science.gov (United States)

Winter, Richard

2009-01-01

The relationship between values and academic identity has received scant attention in the higher education literature with some notable exceptions (Churchman, 2006; Harley, 2002; Henkel, 2005). This paper contends that the perceived need to align all academics around corporate values and goals has given rise to academic identity schisms in higher…

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...

78 FR 38782 - Lifting of Chemical and Biological Weapons (CBW) Proliferation Sanctions Against Chinese Entities

Science.gov (United States)

2013-06-27

...) Proliferation Sanctions Against Chinese Entities AGENCY: Department of State. ACTION: Notice. SUMMARY: A... Export Administration Act of 1979, as amended, to lift nonproliferation measures on Chinese entities... the following Chinese entities, their sub-units and successors is important to the national security...

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.

Character-level neural network for biomedical named entity recognition.

Science.gov (United States)

Gridach, Mourad

2017-06-01

Biomedical named entity recognition (BNER), which extracts important named entities such as genes and proteins, is a challenging task in automated systems that mine knowledge in biomedical texts. The previous state-of-the-art systems required large amounts of task-specific knowledge in the form of feature engineering, lexicons and data pre-processing to achieve high performance. In this paper, we introduce a novel neural network architecture that benefits from both word- and character-level representations automatically, by using a combination of bidirectional long short-term memory (LSTM) and conditional random field (CRF) eliminating the need for most feature engineering tasks. We evaluate our system on two datasets: JNLPBA corpus and the BioCreAtIvE II Gene Mention (GM) corpus. We obtained state-of-the-art performance by outperforming the previous systems. To the best of our knowledge, we are the first to investigate the combination of deep neural networks, CRF, word embeddings and character-level representation in recognizing biomedical named entities. Copyright © 2017 Elsevier Inc. All rights reserved.

How do educational attainment and gender relate to fluid intelligence, crystallized intelligence, and academic skills at ages 22-90 years?

Science.gov (United States)

Kaufman, Alan S; Kaufman, James C; Liu, Xin; Johnson, Cheryl K

2009-03-01

Educational attainment and gender differences on fluid intelligence (Gf), crystallized intelligence (Gc), and academic skills in reading, math, and writing were analyzed for stratified adult samples ranging in age from 22 to 90 years. The data sources were the adult portions of the standardization samples of the second editions of Kaufman Brief Intelligence Test (N = 570) and the Kaufman Test of Educational Achievement-Brief Form (N = 555). Five univariate analysis of covariance were conducted with age as the covariate. Correlational analysis supplemented the covariate analyses to better understand the relationship of the five variables to education. All variables related significantly and substantially to years of formal schooling, an important finding in view of the key nature of this background variable for conducting neuropsychological assessments, as elaborated by Heaton and his colleagues. Surprisingly, Gf related just as strongly to education as did the school-related Gc. Among academic skill areas, math correlated higher with years of formal schooling than did either reading or writing. Women significantly outperformed men on the writing test and the reverse was true for the math test; other gender differences were not significant. These analyses fill a gap in the literature regarding the nature of gender and education differences in academic skills for heterogeneous samples of normal adults between young adulthood and old age and have practical implications for neuropsychological assessment.

CHALLENGES AND PROSPECTS FOR DEVELOPMENT OF UKRAINIAN OIL AND GAS COMPLEX ENTITIES

Directory of Open Access Journals (Sweden)

Mikhail Borodin

2016-11-01

Full Text Available The aim of the paper is to analyze the current state of the oil and gas complex of Ukraine, upon which to identify the challenges and to justify the development prospects of the effective activities of complex entities. Comprehensive introduction of the advanced mechanisms for the development of oil and gas complex entities’ development will contribute to the economic growth of other industries and the Ukrainian economy as a whole, as well as decrease in the energy dependence and security of the state interests. Methods. The following methods were used in research: systematic, economic and mathematical, balancing, judgment-based and abstract-logical. In addition, methods of statistical analysis, analytical spread sheet tabulation method, and method of scientific hypothesis modelling for studied processes. Results. The effectiveness of introduction of the proposed perspective trends of the entities of Ukrainian oil and gas complex is estimated. It is proved that their comprehensive implementation will improve the competitiveness of their operations, and energy independence of Ukraine. The necessity of introduction of the innovative technologies and new approaches to solution of the management problems at oil and gas complex entities is proved. Implementation of prospective mechanisms for the development of effective activity of oil and gas entities shall be based on economic competition between the entities with simultaneous implementation of the measures of state support for the promising modernization technologies reflecting the public interest to the energy security improvement. Practical significance. A study of the current state of oil and gas complex of Ukraine and challenges of development of the complex entities contributes to the identification of areas for balancing and substantiation of the development prospects of the oil and gas sector of economy in order to ensure its energy security, taking into account the strategic orientations

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.

Personality, Academic Self-Efficacy, Academic Locus of Control and Academic Procrastination Among University Students

OpenAIRE

Yazıcı, Hikmet; Albayrak, Elif; Reisoğlu, Serpil

2016-01-01

There are several variables to determine academic procrastination behavior among university students. The main aim of the present study was to investigate the relationships among big five personality, academic self-efficacy, academic locus of control and academic procrastination. Research group consisted of 885 university students (Female=496, Male=389) in 2012/2013 academic year in Karadeniz Technical University. Results from study indicated that responsibility and amenability subscales of b...

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.

A Plan for Academic Biobank Solvency-Leveraging Resources and Applying Business Processes to Improve Sustainability.

Science.gov (United States)

Uzarski, Diane; Burke, James; Turner, Barbara; Vroom, James; Short, Nancy

2015-10-01

Researcher-initiated biobanks based at academic institutions contribute valuable biomarker and translational research advances to medicine. With many legacy banks once supported by federal funding, reductions in fiscal support threaten the future of existing and new biobanks. When the Brain Bank at Duke University's Bryan Alzheimer's Disease Center (ADRC) faced a funding crisis, a collaborative, multidisciplinary team embarked on a 2-year biobank sustainability project utilizing a comprehensive business strategy, dedicated project management, and a systems approach involving many Duke University entities. By synthesizing and applying existing knowledge, Duke Translational Medicine Institute created and launched a business model that can be adjusted and applied to legacy and start-up academic biobanks. This model provides a path to identify new funding mechanisms, while also emphasizing improved communication, business development, and a focus on collaborating with industry to improve access to biospecimens. Benchmarks for short-term Brain Bank stabilization have been successfully attained, and the evaluation of long-term sustainability metrics is ongoing. © 2015 Wiley Periodicals, Inc.

A Plan for Academic Biobank Solvency—Leveraging Resources and Applying Business Processes to Improve Sustainability

Science.gov (United States)

Burke, James; Turner, Barbara; Vroom, James; Short, Nancy

2015-01-01

Abstract Researcher‐initiated biobanks based at academic institutions contribute valuable biomarker and translational research advances to medicine. With many legacy banks once supported by federal funding, reductions in fiscal support threaten the future of existing and new biobanks. When the Brain Bank at Duke University's Bryan Alzheimer's Disease Center (ADRC) faced a funding crisis, a collaborative, multidisciplinary team embarked on a 2‐year biobank sustainability project utilizing a comprehensive business strategy, dedicated project management, and a systems approach involving many Duke University entities. By synthesizing and applying existing knowledge, Duke Translational Medicine Institute created and launched a business model that can be adjusted and applied to legacy and start‐up academic biobanks. This model provides a path to identify new funding mechanisms, while also emphasizing improved communication, business development, and a focus on collaborating with industry to improve access to biospecimens. Benchmarks for short‐term Brain Bank stabilization have been successfully attained, and the evaluation of long‐term sustainability metrics is ongoing. PMID:25996355

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)

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…

24 CFR 58.14 - Interaction with State, Federal and non-Federal entities.

Science.gov (United States)

2010-04-01

... 24 Housing and Urban Development 1 2010-04-01 2010-04-01 false Interaction with State, Federal and non-Federal entities. 58.14 Section 58.14 Housing and Urban Development Office of the Secretary... ENVIRONMENTAL RESPONSIBILITIES General Policy: Responsibilities of Responsible Entities § 58.14 Interaction with...

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

Governmental entities accounting: domestic standards and foreign experience of preparation and presentation

Directory of Open Access Journals (Sweden)

Ambarchian V.S.

2015-12-01

Full Text Available The purpose of research refers to comparison of Ukrainian and the USA standards of preparation and presentation of governmental entities financial reports with the aim of implementation of foreign experience regarding financial data disclosure of a governmental entity activity in domestic reporting system of budgetary resources disposers. In order to achieve the aim the author applied the following general methods of cognition: induction, deduction, analogy, comparison, and historical one. Special economic methods include grouping, tabular, graphical, information and logical analysis. The research resulted in detailed analysis of the standards of the USA governmental entities financial reports presentation and comparison of their statements with domestic governmental accounting standards. As a result of performed research, the key differences in the Ukrainian and the USA rules of presentation of governmental entities financial reports are considered. The author determined the dependence of structure and a public level of the financial reports on the character of the state political and economic systems.

PREFERENCE OF THE LISTED ENTITIES REGARDING THE SELECTION OF THE EXTERNAL AUDITOR

Directory of Open Access Journals (Sweden)

Fulop Melinda Timea

2011-12-01

Full Text Available The present research aims to highlight the importance of the external auditing in supporting corporate governance and the preference of the listed entities to be audited by the big audit companies. Given the proposed objectives of the research, our scientific method is based on a deductive approach from general to particular that combines quantitative and qualitative studies. The role of the external audit was analyzed by conducting a study of literature on two levels: a theoretical-conceptual level in terms of economic theories and an empirical-practical level based on literature from which we extracted through a content analysis the defining elements of the audit work quality. Falling within the scope of the study, we evaluated the preference of the listed entities to be audited by the Big Four. To this end we used the content analysis of the publicly posted audit reports for the period 2005-2009. Our research results show that although we are a country with an emerging capital market development, the entities in the I-st category on the Bucharest Stock Exchange tend to an audit conducted by one of the big audit companies. Another result arising from our study is that the entities of the I-st category on the Bucharest Stock Exchange become more transparent from a year to another. Whether for the year 2005 we find only 12 audit reports publicly posted, in 2007 we can find 21 audit reports publicly posted. The trend of the large entities audited shows that the preference of the entities to be audited by one of the Big Four is higher from a year to another. The preparation of the financial statements and their audit must be done according to regulations for the currently period. The presumption found in the literature according to which the large entities are audited by the big audit companies which provide higher audit quality is confirmed in the case of our national country as well.

The Formalization of Cultural Psychology. Reasons and Functions.

Science.gov (United States)

Salvatore, Sergio

2017-03-01

In this paper I discuss two basic theses about the formalization of cultural psychology. First, I claim that formalization is a relevant, even necessary stage of development of this domain of science. This is so because formalization allows the scientific language to achieve a much needed autonomy from the commonsensical language of the phenomena that this science deals with. Second, I envisage the two main functions that formalization has to perform in the field of cultural psychology: on the one hand, it has to provide formal rules grounding and constraining the deductive construction of the general theory; on the other hand, it has to provide the devices for supporting the interpretation of local phenomena, in terms of the abductive reconstruction of the network of linkages among empirical occurrences comprising the local phenomena.

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

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

Formalizing Implementation Strategies for First-Class Continuations

DEFF Research Database (Denmark)

Danvy, Olivier

1999-01-01

We present the first formalization of implementation strategies for first-class continuations. The formalization hinges on abstract machines for continuation-passing style (CPS) programs with a special treatment for the current continuation, accounting for the essence of first-class continuations......-class continuations and that second-class continuations are stackable. A large body of work exists on implementing continuations, but it is predominantly empirical and implementation-oriented. In contrast, our formalization abstracts the essence of first-class continuations and provides a uniform setting...

Formalizing Implementation Strategies for First-Class Continuations

DEFF Research Database (Denmark)

Danvy, Olivier

2000-01-01

We present the first formalization of implementation strategies for first-class continuations. The formalization hinges on abstract machines for continuation-passing style (CPS) programs with a special treatment for the current continuation, accounting for the essence of first-class continuations......-class continuations and that second-class continuations are stackable. A large body of work exists on implementing continuations, but it is predominantly empirical and implementation-oriented. In contrast, our formalization abstracts the essence of first-class continuations and provides a uniform setting...

75 FR 74146 - Office of Financial Research; Statement on Legal Entity Identification for Financial Contracts

Science.gov (United States)

2010-11-30

... information regarding this Statement contact the Office of Domestic Finance, Treasury, at (202) 622-1766. All... relationship to other entities. Identification of the legal entity is a fundamental ingredient in creating a... reassigned; (3) Persist over the life of an entity regardless of corporate actions or other business or...

New Technologies and Learning Environments: A Perspective from Formal and Non-Formal Education in Baja California, Mexico

Science.gov (United States)

Zamora, Julieta Lopez; Reynaga, Francisco Javier Arriaga

2010-01-01

This paper presents results of two research works, the first approaches non-formal education and the second addresses formal education. In both studies in-depth interview techniques were used. There were some points of convergence between them on aspects such as the implementation of learning environments and the integration of ICT. The interview…

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

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...

Development of a longitudinal integrated clerkship at an academic medical center

Directory of Open Access Journals (Sweden)

Ann Poncelet

2011-04-01

Full Text Available In 2005, medical educators at the University of California, San Francisco (UCSF, began developing the Parnassus Integrated Student Clinical Experiences (PISCES program, a year-long longitudinal integrated clerkship at its academic medical center. The principles guiding this new clerkship were continuity with faculty preceptors, patients, and peers; a developmentally progressive curriculum with an emphasis on interdisciplinary teaching; and exposure to undiagnosed illness in acute and chronic care settings. Innovative elements included quarterly student evaluation sessions with all preceptors together, peer-to-peer evaluation, and oversight advising with an assigned faculty member. PISCES launched with eight medical students for the 2007/2008 academic year and expanded to 15 students for 2008/2009. Compared to UCSF's traditional core clerkships, evaluations from PISCES indicated significantly higher student satisfaction with faculty teaching, formal didactics, direct observation of clinical skills, and feedback. Student performance on discipline-specific examinations and United States Medical Licensing Examination step 2 CK was equivalent to and on standardized patient examinations was slightly superior to that of traditional peers. Participants’ career interests ranged from primary care to surgical subspecialties. These results demonstrate that a longitudinal integrated clerkship can be implemented successfully at a tertiary care academic medical center.

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...

"Passing It On": Beyond Formal or Informal Pedagogies

Science.gov (United States)

Cain, Tim

2013-01-01

Informal pedagogies are a subject of debate in music education, and there is some evidence of teachers abandoning formal pedagogies in favour of informal ones. This article presents a case of one teacher's formal pedagogy and theorises it by comparing it with a case of informal pedagogy. The comparison reveals affordances of formal pedagogies…

An approach of requirements tracing in formal refinement

DEFF Research Database (Denmark)

Jastram, Michael; Hallerstede, Stefan; Leuschel, Michael

2010-01-01

Formal modeling of computing systems yields models that are intended to be correct with respect to the requirements that have been formalized. The complexity of typical computing systems can be addressed by formal refinement introducing all the necessary details piecemeal. We report on preliminar...... changes, making use of corresponding techniques already built into the Event-B method....

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...

Data Entities and Information System Matrix for Integrated Agriculture Information System (IAIS)

Science.gov (United States)

Budi Santoso, Halim; Delima, Rosa

2018-03-01

Integrated Agriculture Information System is a system that is developed to process data, information, and knowledge in Agriculture sector. Integrated Agriculture Information System brings valuable information for farmers: (1) Fertilizer price; (2) Agriculture technique and practise; (3) Pest management; (4) Cultivation; (5) Irrigation; (6) Post harvest processing; (7) Innovation in agriculture processing. Integrated Agriculture Information System contains 9 subsystems. To bring an integrated information to the user and stakeholder, it needs an integrated database approach. Thus, researchers describes data entity and its matrix relate to subsystem in Integrated Agriculture Information System (IAIS). As a result, there are 47 data entities as entities in single and integrated database.

THE IMPORTANCE OF OTHER COMPREHENSIVE INCOME FOR MANAGERS IN A PRODUCTION ENTITY

Directory of Open Access Journals (Sweden)

Marzena STROJEK‐FILUS

2013-01-01

Full Text Available One of the main parameters of the evaluation of financial position of entity is the level of total comprehensive income reported in financial reports. The study contains an overview of the other comprehensive income as the part of total comprehensive income. The research problem related to the significance of dates about the other comprehensive income ingredients for production entity management. The essence, arise reasons and main principles of the other comprehensive income in relating to the changes in own capital of entity was explained within the scope of law‐regulated accounting. The paper concentrated on the producing tangible fixed assets problems.

Moving beyond the Name: Defining Corporate Entities to Support Provenance-Based Access

Science.gov (United States)

Light, Michelle

2007-01-01

The second edition of the "International Standard Archival Authority Records for Corporate Bodies, Persons, and Families (ISAAR(CPF)2)" focuses on describing entities as they exist in reality, rather than on establishing authorized terms. This change allows authority records to include multiple authorized terms representing an entity as it changed…

22 CFR 96.6 - Performance criteria for designation as an accrediting entity.

Science.gov (United States)

2010-04-01

... other similar functions; (f) Except in the case of a public entity, that it operates independently of... 22 Foreign Relations 1 2010-04-01 2010-04-01 false Performance criteria for designation as an accrediting entity. 96.6 Section 96.6 Foreign Relations DEPARTMENT OF STATE LEGAL AND RELATED SERVICES...

Academic Capitalism and Academic Culture: A Case Study

Science.gov (United States)

Mendoza, Pilar; Berger, Joseph B.

2008-01-01

This case study investigated the impact of academic capitalism on academic culture by examining the perspectives of faculty members in an American academic department with significant industrial funding. The results of this study indicate that faculty members believe that the broad integrity of the academic culture remains unaffected in this…

Y-formalism and curved {beta}-{gamma} systems

Energy Technology Data Exchange (ETDEWEB)

Grassi, Pietro Antonio [DISTA, Universita del Piemonte Orientale, via Bellini 25/g, 15100 Alessandria (Italy); INFN - Sezione di Torino (Italy)], E-mail: antonio.pietro.grassi@cern.ch; Oda, Ichiro [Department of Physics, Faculty of Science, University of the Ryukyus, Nishihara, Okinawa 903-0213 (Japan); Tonin, Mario [Dipartimento di Fisica, Universita degli Studi di Padova, INFN, Sezionedi Padova, Via F. Marzolo 8, 35131 Padova (Italy)

2009-01-01

We adopt the Y-formalism to study {beta}-{gamma} systems on hypersurfaces. We compute the operator product expansions of gauge-invariant currents and we discuss some applications of the Y-formalism to model on Calabi-Yau spaces.

Y-formalism and curved β-γ systems

International Nuclear Information System (INIS)

Grassi, Pietro Antonio; Oda, Ichiro; Tonin, Mario

2009-01-01

We adopt the Y-formalism to study β-γ systems on hypersurfaces. We compute the operator product expansions of gauge-invariant currents and we discuss some applications of the Y-formalism to model on Calabi-Yau spaces

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...

The formal operations: Piaget’s concept, researches and main critics

Directory of Open Access Journals (Sweden)

Stepanović Ivana Ž.

2004-01-01

Full Text Available This paper deals with Piaget's concept of formal operations, formal operations researches and critics related to the concept. The first part of the work is dedicated to the formal operations concept. The main characteristics of formal operational thought and formal operations structure, as well as structure logical model are presented in that part of the work. The second part is a review of formal operational researches and it is divided in three parts: (1 problems of researches (2 characteristics of applied methodology and (3 author approaches as a specific research context. In the last part of the work the main critics of formal operations concept are presented and discussed.

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.

TRENDS REGARDING THE ROLE OF STATE ENTITIES IN SUPPORTING GROWTH AND ECONOMIC DEVELOPMENT

Directory of Open Access Journals (Sweden)

Florin Bonciu

2018-04-01

Full Text Available The paper focuses on the analysis of the consequences of several phenomena that have occurred in the past two decades in respect of the role played by state entities in supporting growth and economic development. Demographic and technical-scientific developments related to the Fourth Industrial Revolution were among the phenomena leading to an increasing trend in the role of state entities in supporting economic growth and development. In the meantime, other phenomena, including new technologies, economic integration and socio-cultural and historical processes, had a diminishing effect on the role played by state entities in supporting growth and economic development. By comparing the two categories of phenomena, the paper concludes that the phenomena supporting an increase in the role of state entities are more numerous and substantial, a fact that may assist decision-makers in developing appropriate approaches and strategies.

Modeling discrete and continuous entities with fractions and decimals.

Science.gov (United States)

Rapp, Monica; Bassok, Miriam; DeWolf, Melissa; Holyoak, Keith J

2015-03-01

When people use mathematics to model real-life situations, their use of mathematical expressions is often mediated by semantic alignment (Bassok, Chase, & Martin, 1998): The entities in a problem situation evoke semantic relations (e.g., tulips and vases evoke the functionally asymmetric "contain" relation), which people align with analogous mathematical relations (e.g., the noncommutative division operation, tulips/vases). Here we investigate the possibility that semantic alignment is also involved in the comprehension and use of rational numbers (fractions and decimals). A textbook analysis and results from two experiments revealed that both mathematic educators and college students tend to align the discreteness versus continuity of the entities in word problems (e.g., marbles vs. distance) with distinct symbolic representations of rational numbers--fractions versus decimals, respectively. In addition, fractions and decimals tend to be used with nonmetric units and metric units, respectively. We discuss the importance of the ontological distinction between continuous and discrete entities to mathematical cognition, the role of symbolic notations, and possible implications of our findings for the teaching of rational numbers. PsycINFO Database Record (c) 2015 APA, all rights reserved.

15 CFR 19.7 - When will Commerce entities compromise a Commerce debt?

Science.gov (United States)

2010-01-01

... 15 Commerce and Foreign Trade 1 2010-01-01 2010-01-01 false When will Commerce entities compromise a Commerce debt? 19.7 Section 19.7 Commerce and Foreign Trade Office of the Secretary of Commerce COMMERCE DEBT COLLECTION Procedures To Collect Commerce Debts § 19.7 When will Commerce entities compromise...

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...

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.

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.

Supporting academic publication: evaluation of a writing course combined with writers' support group.

Science.gov (United States)

Rickard, Claire M; McGrail, Matthew R; Jones, Rebecca; O'Meara, Peter; Robinson, Anske; Burley, Mollie; Ray-Barruel, Gillian

2009-07-01

Publication rates are a vital measure of individual and institutional performance, yet many nurse academics publish rarely or not at all. Despite widespread acceptance of the need to increase academic publication rates and the pressure university faculty may experience to fulfil this obligation, little is known about the effectiveness of practical strategies to support academic writing. In this small cohort study (n=8) comprising nurses and other professionals involved in university education, a questionnaire survey was used to evaluate the effectiveness of a one-week "Writing for Publication" course combined with a monthly writers support group to increase publication rates. Two year pre and post submissions increased from 9 to 33 articles in peer-reviewed journals. Publications (in print) per person increased from a baseline of 0.5-1.2 per year. Participants reported increased writing confidence and greater satisfaction with the publishing process. Peer support and receiving recognition and encouragement from line managers were also cited as incentives to publish. Writing for publication is a skill that can be learned. The evaluated model of a formal writing course, followed by informal monthly group support meetings, can effectively increase publication rates.

Formal verification of Simulink/Stateflow diagrams a deductive approach

CERN Document Server

Zhan, Naijun; Zhao, Hengjun

2017-01-01

This book presents a state-of-the-art technique for formal verification of continuous-time Simulink/Stateflow diagrams, featuring an expressive hybrid system modelling language, a powerful specification logic and deduction-based verification approach, and some impressive, realistic case studies. Readers will learn the HCSP/HHL-based deductive method and the use of corresponding tools for formal verification of Simulink/Stateflow diagrams. They will also gain some basic ideas about fundamental elements of formal methods such as formal syntax and semantics, and especially the common techniques applied in formal modelling and verification of hybrid systems. By investigating the successful case studies, readers will realize how to apply the pure theory and techniques to real applications, and hopefully will be inspired to start to use the proposed approach, or even develop their own formal methods in their future work.

Adolescent thinking ála Piaget: The formal stage.

Science.gov (United States)

Dulit, E

1972-12-01

Two of the formal-stage experiments of Piaget and Inhelder, selected largely for their closeness to the concepts defining the stage, were replicated with groups of average and gifted adolescents. This report describes the relevant Piagetian concepts (formal stage, concrete stage) in context, gives the methods and findings of this study, and concludes with a section discussing implications and making some reformulations which generally support but significantly qualify some of the central themes of the Piaget-Inhelder work. Fully developed formal-stage thinking emerges as far from commonplace among normal or average adolescents (by marked contrast with the impression created by the Piaget-Inhelder text, which chooses to report no middle or older adolescents who function at less than fully formal levels). In this respect, the formal stage differs appreciably from the earlier Piagetian stages, and early adolescence emerges as the age for which a "single path" model of cognitive development becomes seriously inadequate and a more complex model becomes essential. Formal-stage thinking seems best conceptualized, like most other aspects of psychological maturity, as a potentiality only partially attained by most and fully attained only by some.

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...

Assessing Knowledge Sharing Among Academics: A Validation of the Knowledge Sharing Behavior Scale (KSBS).

Science.gov (United States)

Ramayah, T; Yeap, Jasmine A L; Ignatius, Joshua

2014-04-01

There is a belief that academics tend to hold on tightly to their knowledge and intellectual resources. However, not much effort has been put into the creation of a valid and reliable instrument to measure knowledge sharing behavior among the academics. To apply and validate the Knowledge Sharing Behavior Scale (KSBS) as a measure of knowledge sharing behavior within the academic community. Respondents (N = 447) were academics from arts and science streams in 10 local, public universities in Malaysia. Data were collected using the 28-item KSBS that assessed four dimensions of knowledge sharing behavior namely written contributions, organizational communications, personal interactions, and communities of practice. The exploratory factor analysis showed that the items loaded on the dimension constructs that they were supposed to represent, thus proving construct validity. A within-factor analysis revealed that each set of items representing their intended dimension loaded on only one construct, therefore establishing convergent validity. All four dimensions were not perfectly correlated with each other or organizational citizenship behavior, thereby proving discriminant validity. However, all four dimensions correlated with organizational commitment, thus confirming predictive validity. Furthermore, all four factors correlated with both tacit and explicit sharing, which confirmed their concurrent validity. All measures also possessed sufficient reliability (α > .70). The KSBS is a valid and reliable instrument that can be used to formally assess the types of knowledge artifacts residing among academics and the degree of knowledge sharing in relation to those artifacts. © The Author(s) 2014.

Students' Academic Performance: Academic Effort Is an Intervening ...

African Journals Online (AJOL)

PROMOTING ACCESS TO AFRICAN RESEARCH ... Students' Academic Performance: Academic Effort Is an Intervening Variable ... This study was designed to seek explanations for differences in academic performance among junior ...

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

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...

THE STOCKS ACCOUNTING EVALUATION AND ESTIMATION INFLUENCE ON THE ENTITY PERFORMANCE

Directory of Open Access Journals (Sweden)

TULVINSCHI MIHAELA

2015-12-01

Full Text Available Improving the performance of a company involves an operative and accurate measurement of the efforts and effects, the efficient use of the company resources and also identifying ways to reduce consumption, a category in which stocks occupy a significant position. The purpose of this article is to demonstrate that the accounting information on stocks can not rely only on the accuracy assessment of past and current events, but must take into account estimations of future events, even if these involve uncertainty and risk taking. Different methods for evaluating stocks at the exit of the entity lead to different results but does not affect the entity performance. Opposed to the evaluation, when we speak about the accounting estimation, there is a significant freedom of action when choosing methods. The economic entity is always in the present, and for this reason it must take into consideration both the evaluation accuracy and the accounting estimations uncertainty. Estimating the net achievable value is influenced by the purpose for which the inventory is held. Accounting estimations are influenced by the judgment which is sometimes subjected to inherent bias, but this bias should not turn into a form of manipulating the entity's performance.

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.

An exact formalism for Doppler-broadened neutron cross-sections

International Nuclear Information System (INIS)

Catsaros, Nicolas.

1985-07-01

An exact formalism (Ψ, Φ) is proposed for the calculation of Breit-Wigner or Adler-Adler Doppler-broadened neutron cross-sections. The well-known (Ψ, Φ) formalism is shown to be a zero-order approximation of the generalized (Ψ, Φ) formalism. (author)

The Claim Tool Kit for ad hoc recognition of peer entities

DEFF Research Database (Denmark)

Seigneur, Jean-Marc; Jensen, Christian D.

2005-01-01

In ubiquitous/pervasive computing environments, it is envisaged that computing elements—entities—will start interacting in an ad hoc fashion. The peer-to-peer (p2p) paradigm is appealing for such types of interaction especially with JXTA, which supports the development of reusable p2p building...... blocks, which facilitate implementation on any smart device. However, the inability to rely on a centralised authentication infrastructure, the openness of the environment and the absence of an administrator (it is assumed to be too expensive to have a skilled administrator at hand due to the large...... number of peers) challenge the use of legacy authentication mechanisms. Supporting spontaneous interactions among previously unknown entities requires dynamic enrolment of strangers and unknown entities. Entity recognition (ER) is a process that is carried out each time an interaction happens between...

Financial Management of Economic Entity from the Perspective of Alternative Approach

Directory of Open Access Journals (Sweden)

Victor Munteanu

2016-12-01

Full Text Available Throughout the study the financial management presented is divided into three directions, namely financial analysis, financial planning and financial strategy, focusing on increasing the quality of financial management conducted at the economic entity by identifying an easier possible use for a system of alternative decisions in order to increase the profitability. The study also aims to identify new meanings of financial accounting information system in performing the managerial act through alternative decisions, trying to highlight the need to create a management tool generator of variants possible to be adopted with an impact on their application in the economic entity as a whole. Based on qualitative research on the financial management act, it is revealed the importance of the financial management act manifested in the economic entity and also its quality improvement through simulations targeting the management through budget system.

Accessing Data Bases Through Interface Views Using a Unified Graph-Oriented Entity-Relationship Model

DEFF Research Database (Denmark)

Kraft, Peter; Sørensen, Jens Otto

Interface Abstract: The paper describes an Entity Relationship (ER) model with a diagrammed schema and extensions modeled into a graph. The semantics of schema symbols are fundamentally simple implying a unified model where given conceptualizations of environments are diagrammed uniquely. By the ......Interface Abstract: The paper describes an Entity Relationship (ER) model with a diagrammed schema and extensions modeled into a graph. The semantics of schema symbols are fundamentally simple implying a unified model where given conceptualizations of environments are diagrammed uniquely...... with a unified graphic model is more efficient and less error-prone than working with more complex ER models and models based on lexical description. Key terms: Entity-relationship model, path expressions, entity-relationship language, derived interface view, view updates, graphical models....

THE IMPACT OF CORPORATE GOVERNANCE ON THE RESTRUCTURING OPERATIONS OF AUDITED ENTITIES

Directory of Open Access Journals (Sweden)

Berinde Sorin

2013-07-01

Full Text Available The study is based on public information provided by the National Trade Register Office regarding all audited entities within the county of Cluj. In accordance with the legal provisions, the audited entities must notify, in case they meet the legal requirements, if they contract financial audit jobs. The processed information refers to the connection of the management’s nature and the source of the capital for these entities with the frequency of the changes occurred in the structure of the entity and/or of the social capital. Operations of such nature, considered for the period 2005-2012, refer on one side to absorption mergers, dissolutions without liquidation followed by merger, partial divisions and transfer of the audited entity’s headquarters in other counties (positive operations and on the other side to operations of liquidation, insolvency, dissolution followed by liquidation, temporary suspension of activity for a maximum period of 3 years (negative operations. Positive operations are considered by authors to have as an impact the optimization of the indicators of financial position and/or performance, and the negative operations as those unlikely to meet the principle of activity continuity. The study aims to determine whether there is a correlation between a certain type of corporate governance on one side and the frequency of the two categories of changes in the structure of the activity and/or of the social capital. Conclusions are relevant for at least two reasons: the study is exhaustive, there have been taken into consideration all the audited entities in the county of Cluj and, moreover, the analyzed period is very expansive (the last seven financial years. On the other hand, from the previous studies it appears that within audited entities there is a higher preponderance of foreign management in comparison with a more moderate foreign investment. Relevant in this respect are the findings regarding the nature of the changes

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.

NON-FORMAL EDUCATION WITHIN THE FUNCTION OF RESPONSIBLE PARENTING

Directory of Open Access Journals (Sweden)

Dragana Bogavac

2017-06-01

Full Text Available The aim of this survey was to discover to what degree parental non-formal education is present within the function of responsible parenting. The questionnaire research method was used in the survey. For the purpose of this research a questionnaire of 13 questions was constructed relating to the forms of non-formal education, and another questionnaire of 10 questions relating to the parents’ expectations of non-formal education. The sample included 198 parents. Examination of the scores concerning the presence of certain forms of parental non-formal education realized in cooperation with the school leads to the conclusion that the parents possess a positive attitude towards non-formal education. The analysis showed that the parents’ expectations were not on a satisfactory level. According to the results, the fathers displayed a greater interest towards non-formal education (7.72±1.35 than the mothers (6.93±1.85, (p<0.05. Unemployed parents had a greater score (7.85±1.30 than the employed parents (7.22±1.71, (p<0.05. A difference in the acceptance of non-formal education in accordance with the level of formal education was also noticeable (p<0.001. Respondents with a high school degree displayed the highest level of acceptance (7.97±0.78, while the lowest interest was seen in respondents with an associate degree (6.41±2.29. Univariate linear regression analysis showed that statistically important predictors were: gender (OR: -0.23 (-1.24 – -0.33, p< 0.001, work status (OR: -0.14 (-1.24 – -0.01, < 0.05 and the level of formal education (OR: -0.33 (-0.81 – -0.34, p< 0.001. The final results lead to the conclusion that parental non-formal education supports the concept of lifelong education.

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

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

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.

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

Accounting standards for small and medium-sized entities. Evidence from Spain

OpenAIRE

Milanés Montero Patricia; Albarrán Lozano Irene; Texeira Quirós Joaquín; Esteban Pérez Calderón

2011-01-01

By approving Regulation 1606/2002, the European Commission entrusts the local European Union regulators with the difficult decision as to whether making the International Accounting Standards (IAS/IFRS) extensive for their Small and Medium sized Entities or not. International Financial Reporting Standard for Small and Medium-sizzed Entities (hereinafter IFRS for SMEs) was published in 2009, and the European Commission had also decided to seek the opinion of EU stakeholders on this Standard. W...

Formal methods for dependable real-time systems

Science.gov (United States)

Rushby, John

1993-01-01

The motivation for using formal methods to specify and reason about real time properties is outlined and approaches that were proposed and used are sketched. The formal verifications of clock synchronization algorithms are concluded as showing that mechanically supported reasoning about complex real time behavior is feasible. However, there was significant increase in the effectiveness of verification systems since those verifications were performed, at it is to be expected that verifications of comparable difficulty will become fairly routine. The current challenge lies in developing perspicuous and economical approaches to the formalization and specification of real time properties.

General many-body formalism for composite quantum particles.

Science.gov (United States)

Combescot, M; Betbeder-Matibet, O

2010-05-21

This Letter provides a formalism capable of exactly treating Pauli blocking between n-fermion particles. This formalism is based on an operator algebra made of commutators and anticommutators which contrasts with the usual scalar formalism of Green functions developed half a century ago for elementary quantum particles. We also provide the diagrams which visualize the very specific many-body physics induced by fermion exchanges between composite quantum particles.

78 FR 45464 - Broadband Data Improvement Act; Eligible Entities Aggregate Form 477 Data

Science.gov (United States)

2013-07-29

...) containing an express commitment to protect the data in this fashion. 33. Procedures for Obtaining Access to... employees of the eligible entity; (2) outside contractors, subcontractors, consultants or experts retained for the purpose of assisting eligible entities, provided that such outside consultants are not...

TwitterNEED: a hybrid approach for named entity extraction and disambiguation for tweets

NARCIS (Netherlands)

Habib, Mena Badieh; van Keulen, Maurice

Twitter is a rich source of continuously and instantly updated information. Shortness and informality of tweets are challenges for Natural Language Processing tasks. In this paper, we present TwitterNEED, a hybrid approach for Named Entity Extraction and Named Entity Disambiguation for tweets. We

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

Academic capitalism and academic culture: A case study.

Directory of Open Access Journals (Sweden)

Pilar Mendoza

2008-12-01

Full Text Available This case study investigated the impact of academic capitalism on academic culture by examining the perspectives of faculty members in an American academic department with significant industrial funding. The results of this study indicate that faculty members believe that the broad integrity of the academic culture remains unaffected in this department and they consider industrial sponsorship as a highly effective vehicle for enhancing the quality of education of students and pursuing their scientific interests. This study provides valuable insights to federal and institutional policiescreated to foster industry-academia partnerships and commercialization of academic research.

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...

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 ...

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

Land grabbing and formalization in Africa : a critical inquiry

NARCIS (Netherlands)

Stein, H.; Cunningham, S.

2015-01-01

Two developments in Africa have generated an extensive literature. The first focuses on investment and land grabbing and the second on the formalization of rural property rights. Less has been written on the impact of formalization on land grabbing and of land grabbing on formalization. Recently,

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....

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)}.

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.

Academic Motivations and Academic Self-Efficacy of Nursing Students

OpenAIRE

Gamze Sarikoc

2017-01-01

Aim: Academic motivation and academic self-efficacy play important roles in the learning process. They increase academic achievement and the attainment of educational goals, thus providing opportunities in the training of qualified nurses. This study was conducted to determine nursing students%u2019 academic motivation and academic self-efficacy levels. Material and Method: This is a descriptive study. A total of 346 students who are attending a nursing school as either a first, second, third...

Non-Formal Educational Empowerment of Nigeria Youths for ...

African Journals Online (AJOL)

Religion Dept

discussed the concept of non-formal education, entrepreneurship and development, non-formal ... introducing some developmental programmes such as poverty alleviation .... aesthetic, cultural and civic education for public enlightenment.

Sound Computational Interpretation of Formal Encryption with Composed Keys

NARCIS (Netherlands)

Laud, P.; Corin, R.J.; In Lim, J.; Hoon Lee, D.

2003-01-01

The formal and computational views of cryptography have been related by the seminal work of Abadi and Rogaway. In their work, a formal treatment of encryption that uses atomic keys is justified in the computational world. However, many proposed formal approaches allow the use of composed keys, where

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.

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

A Comparitive Study of Subject Knowledge of B.Ed Graduates of Formal and Non-Formal Teacher Education Systems

Science.gov (United States)

Saif, Perveen; Reba, Amjad; ud Din, Jalal

2017-01-01

This study was designed to compare the subject knowledge of B.Ed graduates of formal and non-formal teacher education systems. The population of the study included all teachers from Girls High and Higher Secondary Schools both from private and public sectors from the district of Peshawar. Out of the total population, twenty schools were randomly…

Semantic modeling of the structural and process entities during plastic deformation of crystals and rocks

Science.gov (United States)

Babaie, Hassan; Davarpanah, Armita

2016-04-01

We are semantically modeling the structural and dynamic process components of the plastic deformation of minerals and rocks in the Plastic Deformation Ontology (PDO). Applying the Ontology of Physics in Biology, the PDO classifies the spatial entities that participate in the diverse processes of plastic deformation into the Physical_Plastic_Deformation_Entity and Nonphysical_Plastic_Deformation_Entity classes. The Material_Physical_Plastic_Deformation_Entity class includes things such as microstructures, lattice defects, atoms, liquid, and grain boundaries, and the Immaterial_Physical_Plastic_Deformation_Entity class includes vacancies in crystals and voids along mineral grain boundaries. The objects under the many subclasses of these classes (e.g., crystal, lattice defect, layering) have spatial parts that are related to each other through taxonomic (e.g., Line_Defect isA Lattice_Defect), structural (mereological, e.g., Twin_Plane partOf Twin), spatial-topological (e.g., Vacancy adjacentTo Atom, Fluid locatedAlong Grain_Boundary), and domain specific (e.g., displaces, Fluid crystallizes Dissolved_Ion, Void existsAlong Grain_Boundary) relationships. The dynamic aspect of the plastic deformation is modeled under the dynamical Process_Entity class that subsumes classes such as Recrystallization and Pressure_Solution that define the flow of energy amongst the physical entities. The values of the dynamical state properties of the physical entities (e.g., Chemical_Potential, Temperature, Particle_Velocity) change while they take part in the deformational processes such as Diffusion and Dislocation_Glide. The process entities have temporal parts (phases) that are related to each other through temporal relations such as precedes, isSubprocessOf, and overlaps. The properties of the physical entities, defined under the Physical_Property class, change as they participate in the plastic deformational processes. The properties are categorized into dynamical, constitutive

Using formal specification in the Guidance and Control Software (GCS) experiment. Formal design and verification technology for life critical systems

Science.gov (United States)

Weber, Doug; Jamsek, Damir

1994-01-01

The goal of this task was to investigate how formal methods could be incorporated into a software engineering process for flight-control systems under DO-178B and to demonstrate that process by developing a formal specification for NASA's Guidance and Controls Software (GCS) Experiment. GCS is software to control the descent of a spacecraft onto a planet's surface. The GCS example is simplified from a real example spacecraft, but exhibits the characteristics of realistic spacecraft control software. The formal specification is written in Larch.

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

Formalization of the Resolution Calculus for First-Order Logic

DEFF Research Database (Denmark)

Schlichtkrull, Anders

2018-01-01

between unsatisfiable sets of clauses and finite semantic trees is formalized in Herbrand’s theorem. I discuss the difficulties that I had formalizing proofs of the lifting lemma found in the literature, and I formalize a correct proof. The completeness proof is by induction on the size of a finite...

Productive procrastination: academic procrastination style predicts academic and alcohol outcomes

Science.gov (United States)

Westgate, Erin C.; Wormington, Stephanie V.; Oleson, Kathryn C.; Lindgren, Kristen P.

2017-01-01

Productive procrastination replaces one adaptive behavior with another adaptive—albeit less important—behavior (e.g., organizing notes instead of studying for an exam). We identified adaptive and maladaptive procrastination styles associated with academic and alcohol outcomes in 1106 college undergraduates. Cluster analysis identified five academic procrastination styles—non-procrastinators, academic productive procrastinators, non-academic productive procrastinators, non-academic procrastinators, and classic procrastinators. Procrastination style differentially predicted alcohol-related problems, cravings, risk of alcohol use disorders, and GPA (all ps procrastination and academic productive procrastination were most adaptive overall; non-academic productive procrastination, non-academic procrastination, and classic procrastination were least adaptive. Productive procrastination differed from other procrastination strategies, and maladaptive procrastination styles may be a useful risk indicator for preventative and intervention efforts. PMID:28804158

Productive procrastination: academic procrastination style predicts academic and alcohol outcomes.

Science.gov (United States)

Westgate, Erin C; Wormington, Stephanie V; Oleson, Kathryn C; Lindgren, Kristen P

2017-03-01

Productive procrastination replaces one adaptive behavior with another adaptive-albeit less important-behavior (e.g., organizing notes instead of studying for an exam). We identified adaptive and maladaptive procrastination styles associated with academic and alcohol outcomes in 1106 college undergraduates. Cluster analysis identified five academic procrastination styles- non-procrastinators , academic productive procrastinators , non-academic productive procrastinators, non-academic procrastinators , and classic procrastinators . Procrastination style differentially predicted alcohol-related problems, cravings, risk of alcohol use disorders, and GPA (all ps procrastination and academic productive procrastination were most adaptive overall; non-academic productive procrastination, non-academic procrastination, and classic procrastination were least adaptive. Productive procrastination differed from other procrastination strategies, and maladaptive procrastination styles may be a useful risk indicator for preventative and intervention efforts.

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

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.

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…

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.