WorldWideScience

Sample records for line-formula notations 1861-1968

  1. Graphic notation

    DEFF Research Database (Denmark)

    Bergstrøm-Nielsen, Carl

    2010-01-01

    Graphic notation is taught to music therapy students at Aalborg University in both simple and elaborate forms. This is a method of depicting music visually, and notations may serve as memory aids, as aids for analysis and reflection, and for communication purposes such as supervision or within...

  2. Graphic notation

    DEFF Research Database (Denmark)

    Bergstrøm-Nielsen, Carl

    1992-01-01

    Texbook to be used along with training the practise of graphic notation. Describes method; exercises; bibliography; collection of examples. If you can read Danish, please refer to that edition which is by far much more updated.......Texbook to be used along with training the practise of graphic notation. Describes method; exercises; bibliography; collection of examples. If you can read Danish, please refer to that edition which is by far much more updated....

  3. Alternatives to Traditional Notation.

    Science.gov (United States)

    Gaare, Mark

    1997-01-01

    Provides a introduction and overview to alternative music notation systems. Describes guitar tablature, accordion tablature, klavarskribo (a keyboard notational system developed by Cornelius Pot, a Dutch engineer), and the digital piano roll. Briefly discusses the history of notation reform and current efforts. Includes examples from scores. (MJP)

  4. Tree Notation: an antifragile program notation

    OpenAIRE

    Yunits, Breck

    2017-01-01

    This paper presents Tree Notation, a new simple, universal syntax. Language designers can invent new programming languages, called Tree Languages, on top of Tree Notation. Tree Languages have a number of advantages over traditional programming languages. We include a Visual Abstract to succinctly display the problem and discovery. Then we describe the problem--the BNF to abstract syntax tree (AST) parse step--and introduce the novel solution we discovered: a new family of 2D programming langu...

  5. Monograph On Tensor Notations

    Science.gov (United States)

    Sirlin, Samuel W.

    1993-01-01

    Eight-page report describes systems of notation used most commonly to represent tensors of various ranks, with emphasis on tensors in Cartesian coordinate systems. Serves as introductory or refresher text for scientists, engineers, and others familiar with basic concepts of coordinate systems, vectors, and partial derivatives. Indicial tensor, vector, dyadic, and matrix notations, and relationships among them described.

  6. Scientific Notation Watercolor

    Science.gov (United States)

    Linford, Kyle; Oltman, Kathleen; Daisey, Peggy

    2016-01-01

    (Purpose) The purpose of this paper is to describe visual literacy, an adapted version of Visual Thinking Strategy (VTS), and an art-integrated middle school mathematics lesson about scientific notation. The intent of this lesson was to provide students with a real life use of scientific notation and exponents, and to motivate them to apply their…

  7. NOTATIONAL ANALYSIS OF SPORT

    OpenAIRE

    Ian M. Franks; Mike Hughes

    2004-01-01

    This book addresses and appropriately explains the notational analysis of technique, tactics, individual athlete/team exercise and work-rate in sport. The book offers guidance in: developing a system, analyzes of data, effective coaching using notational performance analysis and modeling sport behaviors. It updates and improves the 1997 edition

  8. NOTATIONAL ANALYSIS OF SPORT

    Directory of Open Access Journals (Sweden)

    Ian M. Franks

    2004-06-01

    Full Text Available This book addresses and appropriately explains the notational analysis of technique, tactics, individual athlete/team exercise and work-rate in sport. The book offers guidance in: developing a system, analyzes of data, effective coaching using notational performance analysis and modeling sport behaviors. It updates and improves the 1997 edition

  9. Groups – Additive Notation

    Directory of Open Access Journals (Sweden)

    Coghetto Roland

    2015-06-01

    Full Text Available We translate the articles covering group theory already available in the Mizar Mathematical Library from multiplicative into additive notation. We adapt the works of Wojciech A. Trybulec [41, 42, 43] and Artur Korniłowicz [25].

  10. Groups – Additive Notation

    OpenAIRE

    Coghetto Roland

    2015-01-01

    We translate the articles covering group theory already available in the Mizar Mathematical Library from multiplicative into additive notation. We adapt the works of Wojciech A. Trybulec [41, 42, 43] and Artur Korniłowicz [25].

  11. Sprog som musikalsk notation

    DEFF Research Database (Denmark)

    Bergstrøm-Nielsen, Carl

    Artiklen behandler sprogbrug som supplement til noderne fra barokken og frem; Fluxus og Scratch Orchestra; den engelske Verbal Anthology; Stockhausens brug af verbal notation før tekst-samlingerne; detaljerede analyser af de to samlinger. Der konkluderes bla. om forskellige grader af fastlæggelse...

  12. NOTAT - Projekt Cykeljakken

    DEFF Research Database (Denmark)

    Lahrmann, Harry; Madsen, Jens Christian Overgaard

    Dette notat er en del af afrapporteringen af Projekt Cykeljakken, hvor hypotesen var, at cyklisters sikkerhed kan forbedres ved at øge deres synlighed i trafikbilledet. I projektet undersøgte vi denne hypotese ved at teste, om en cykeljakke med høj synlighed (farve og reflekser) øger cyklisters...... sikkerhed. Projektet blev gennemført som et randomiseret forsøg, hvor vi gav en cykeljakke til 6.800 frivillige cyklister. Efter tilfældig udvælgelse fik halvdelen – testgruppen – cykeljakken med det samme, og lovede at køre med jakken, hver gang de cyklede i det år, projektet varede. Den anden halvdel...

  13. NOTAT - Projekt Cykeljakken

    DEFF Research Database (Denmark)

    Thedchannamoorthy, Shaline; Madsen, Tanja Kidholm Osmann; Araghi, Bahar Namaki

    Dette notat er en del af afrapporteringen af Projekt Cykeljakken, hvor hypotesen var, at cyklisters sikkerhed kan forbedres ved at øge deres synlighed i trafikbilledet. I projektet undersøgte vi denne hypotese ved at teste, om en cykeljakke med høj synlighed (farve og reflekser) øger cyklisters...... sikkerhed. Projektet blev gennemført som et randomiseret forsøg, hvor vi gav en cykeljakke til 6.800 frivillige cyklister. Efter tilfældig udvælgelse fik halvdelen – testgruppen – cykeljakken med det samme, og lovede at køre med jakken, hver gang de cyklede i det år, projektet varede. Den anden halvdel...... udgjorde en såkaldt kontrolgruppe, som først fik cykeljakken, da projektperioden var omme. Hver måned indrapporterede deltagerne uheld, som de havde været involverede i som cyklist i den forgangne måned, ligesom testgruppen en tilfældig dag i måneden blev spurgt, om de havde benyttet cykeljakken på deres...

  14. Graphic Notation in Music Therapy: A Discussion of What to Notate in Graphic Notation and How

    DEFF Research Database (Denmark)

    Bergstrøm-Nielsen, Carl

    2009-01-01

    This article presents graphic notations of music and related forms of communication in music therapy contexts, created by different authors and practitioners. Their purposes, objects of description, and the elements of graphic language are reflected upon in a comparative discussion. From...... that it becomes clear that the aspect of overview is a fundamental one, facilitating perception of complex data. This also makes possible to memorise complex data, extending the natural limits of human memory. Discovering hidden aspects in the clinical data, as well as sharing and communicating these aspects...... are also important concerns. Among the authors discussed, there is a large variety both in goals and methods. Keywords are proposed to circumscribe moments of possible interest connected to graphic notations. I suggest that the discipline of graphic notation can be useful for the grounding of music therapy...

  15. Experimental improvisation practise and notation. Addenda 2000-

    DEFF Research Database (Denmark)

    Bergstrøm-Nielsen, Carl

    Addenda to Experimental improvisation practise and notation (please see this title for more information!) Stichwörter: experimentelle Musik, offenes Werk, grafische Notation, musikalische Notation, musikalische Aufführungspraxis, freie Improvisation, Musikpädagogik, Geschichte der Musik, Musikäst...

  16. Intuitive Music and Graphic Notation

    DEFF Research Database (Denmark)

    Bergstrøm-Nielsen, Carl

    Describes subjects existing at Aalborg University since the middle eighties. "Intuitive Music" trains free improvisation through exercises including group-dynamic exercises, awareness exercises and parameter exercises. Students also create open compositions. "Graphic notation"concerns aural scores....... Students' works are quoted. The writer discusses the theoretical context and advocates for giving more attention to music as the medium in which music therapy takes place, referring to language theory and Jakobson. NB: the description of the two subjects are, at the present moment (2011) no longer up...... to date. Intuitive music stresses less making compositions and more using the main instrument intuitively. Graphic notation has been integrated into a larger subject (also taught by the present author) which also comprises other methods of description and interpretation of music....

  17. How to improve skin notation

    DEFF Research Database (Denmark)

    Sartorelli, Pietro; Ahlers, Heinz W.; Alanko, Kristiina

    2007-01-01

    The ICOH Scientific Committee on Occupational and Environmental Dermatoses organized an International Workshop on "Dermal risk assessment at workplace" with the aim of focussing on the different ways of approaching the concept of skin notation (S) for chemicals. The Workshop participants presented...... their ideas on several aspects of S such as the problems related to the absorption through the compromised skin, the different approaches to S and models that can be used as alternatives to S. Participants agreed to produce a position paper with the goal of exploring the actions needed to improve the S system...

  18. On the Art of Notation

    DEFF Research Database (Denmark)

    Bertram, Peter

    2014-01-01

    The book is concerned with the double nature of architectural drawing as both an artefact in itself and an instruction. The ­creation of measurements for an architectural construction to be takes place as a negotiation of this productive doubleness. The negotiation is termed art of notation. The ....... The book focuses on the singularity of drawing. It discusses the nature of the motif, the role of technique and the ­development of an analogue drawing language. It is well illustrated with ­architectural sketches....

  19. Intuitiv musik og grafisk notation

    DEFF Research Database (Denmark)

    Bergstrøm-Nielsen, Carl

    Beskrivelser af fagene, som har eksisteret på Aalborg Universitet siden midten af firserne. I intuitiv musik trænes fri improvisation gennem bla. gruppedynamiske øvelser, opmærksomhedsøvelser og parameterøvelser. Desuden skaber de studerende selv åbne kompositioner. Faget grafisk notation træner...... det at skabe lyttepartiturer over en given musik. Studerendes arbejder citeres. Forfatteren diskuterer fagenes teoretiske kontekst og argumentererfor mere teoretisk opmærksomhed på musikken som det medium, musikterapien foregår i og peger bla. på sprogteori og Jakobson. NB: beskrivelsen af fagene er i...... skrivende stund, 2011, ikke længere aktuel. Intuitiv musik lægger mindre vægt på komposition og mere vægt på brug af hovedinstrument i intuitiv sammenhæng. Grafisk notation er integreret ind i et større fag (også varetaget af undertegnede) der tillige omfatter andre metoder til beskrivelse og tolkning....

  20. The duality of XML Markup and Programming notation

    DEFF Research Database (Denmark)

    Nørmark, Kurt

    2003-01-01

    In web projects it is often necessary to mix XML notation and program notation in a single document or program. In mono-lingual situations, the XML notation is either subsumed in the program or the program notation is subsumed in the XML document. As an introduction we analyze XML notation and pr...

  1. Dance notations and robot motion

    CERN Document Server

    Abe, Naoko

    2016-01-01

    How and why to write a movement? Who is the writer? Who is the reader? They may be choreographers working with dancers. They may be roboticists programming robots. They may be artists designing cartoons in computer animation. In all such fields the purpose is to express an intention about a dance, a specific motion or an action to perform, in terms of intelligible sequences of elementary movements, as a music score that would be devoted to motion representation. Unfortunately there is no universal language to write a motion. Motion languages live together in a Babel tower populated by biomechanists, dance notators, neuroscientists, computer scientists, choreographers, roboticists. Each community handles its own concepts and speaks its own language. The book accounts for this diversity. Its origin is a unique workshop held at LAAS-CNRS in Toulouse in 2014. Worldwide representatives of various communities met there. Their challenge was to reach a mutual understanding allowing a choreographer to access robotics ...

  2. Business Process Modeling Notation - An Overview

    Directory of Open Access Journals (Sweden)

    Alexandra Fortiş

    2006-01-01

    Full Text Available BPMN represents an industrial standard created to offer a common and user friendly notation to all the participants to a business process. The present paper aims to briefly present the main features of this notation as well as an interpretation of some of the main patterns characterizing a business process modeled by the working fluxes.

  3. Abuse notation of improper integrals

    Science.gov (United States)

    Arfi, E.; Wiryanto, L. H.

    2018-01-01

    In the definition of \\int_ab {f(x)dx} , it was assumed that the interval [a, b] was finite. However, in many application in physics, engineering, economics, and probability we wish to allow a or b (or both) to be infinite or for the other case when f has an infinite discontinuity in [a, b]. In either case the integral is called improper integral. Definition of improper integral is the limit of a definite integral as an endpoint of the interval of integration approaches either a specified real number or ∞ or -∞ or, in some cases, as both endpoints approach limits. Many of the first-year students in ITERA learning about improper integrals make an abuse notation like written improper integral just like standard definite integral. Based on this situation, we tried to change the habits of the students in the writing of improper integrals by providing sufficient understanding and considerable exercises. It turns out this way gives good result, based on the percentage of the value of the midterms to the problem of improper integrals give a fairly good percentage value.

  4. The 2008 ICOH Workshop on Skin Notation

    NARCIS (Netherlands)

    Sartorelli, P.; Ahlers, H. W.; Cherrie, J. W.; Kezic, Sanja; Johanson, G.; Filon, Francesca Larese; Nielsen, J. B.; Shepherd, A.; Stull, J.; Williams, Faith

    2010-01-01

    Background: On 29 March 2008 the International Commission on Occupational Health (ICOH) Scientific Committee on Occupational and Environmental Dermatoses organized a Skin Notation Workshop hosted by the 11(th) International Percutaneous Penetration Perspectives Conference (La Grande Motte, France).

  5. Notational usage modulates attention networks in binumerates

    Directory of Open Access Journals (Sweden)

    Atesh eKoul

    2014-05-01

    Full Text Available Multicultural environments require learning multiple number notations wherein some are encountered more frequently than others. This leads to differences in exposure and consequently differences in usage between notations. We find that differential notational usage imposes a significant neurocognitive load on number processing. Despite simultaneous acquisition, forty-two adult binumerate populations, familiar with two positional writing systems namely Hindu Nagari digits and Hindu Arabic digits, reported significantly lower preference and usage for Nagari as compared to Arabic. Twenty-four participants showed significantly increased reaction times and reduced accuracy while performing magnitude comparison tasks in Nagari with respect to Arabic. Functional magnetic resonance imaging revealed that processing Nagari elicited significantly greater activity in number processing and attention networks. A direct subtraction of networks for Nagari and Arabic notations revealed a neural circuit comprising of bilateral intra-parietal sulcus, inferior and mid frontal gyri, fusiform gyrus and the anterior cingulate cortex (FDR p<0.005. Additionally, whole brain correlation analysis showed that activity in the left inferior parietal region was modulated by task performance in Nagari. We attribute the increased activation in Ng to increased task difficulty due to infrequent exposure and usage. Our results reiterate the role of the left intra-parietal sulcus in modulating performance in numeric tasks and highlight that of the attention network for monitoring symbolic notation mode in binumerates.

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

  7. Musical notation reading in pure alexia

    DEFF Research Database (Denmark)

    Starrfelt, Randi; Wong, Yetta K.

    2017-01-01

    Pure alexia (PA) is an acquired reading disorder following lesions to left ventral temporo-occipital cortex. Patients with PA read slowly but correctly, and show an abnormal effect of word length on RTs. However, it is unclear how pure alexia may affect musical notation reading. We report a pure...

  8. Japanese Children's Understanding of Notational Systems

    Science.gov (United States)

    Takahashi, Noboru

    2012-01-01

    This study examined Japanese children's understanding of two Japanese notational systems: "hiragana" and "kanji". In three experiments, 126 3- to 6-year-olds were asked to name words written in hiragana or kanji as they appeared with different pictures. Consistent with Bialystok ("Journal of Experimental Child…

  9. Notation for integrals of transport theory

    International Nuclear Information System (INIS)

    Lewins, J.D.

    1993-01-01

    Like many authors in nuclear reactor physics, I have been careless in my notation but now I regret my deficiences! This letter attempts redress in calling upon my colleagues to take more care in writing integrals as they occur in our trade. I draw attention to what are common errors, with examples drawn from standard tests and well-established journals. I mean no disrespect to their authors and editors; we have, nearly all of us, not written what we meant. I propose that we should undertake to follow a more rigorous notation. It is convenient to divide the examination into a section studying integrals over the unit directional vector Ω and subsequently apply the principles appropriate to that class of integrals to integrals over a vector phase-space. (Author)

  10. Automatic Analysis of Dewey Decimal Classification Notations

    OpenAIRE

    Reiner, Ulrike

    2007-01-01

    Ulrike Reiner, Verbundzentrale des Gemeinsamen Bibliotheksverbundes (VZG) Göttingen, stellte ihr Projekt der automatischen Analyse von Notationen der Dewey-Dezimalklassifikation (DDC) vor. DDC-Notationen zeichnen sich dadurch aus, dass sie in aller Regel lang und komplex sind und in ihrer Herstellung zahlreiche Regeln zu durchlaufen haben. Ihr Computerprogramm analysiert DDC-Notationen und gibt alle in einer DDC-Notation enthaltenen DDC-Notationen samt DDC-Klassenbenennungen aus. Die gewonnen...

  11. A Modular SOS for Action Notation - Revisited

    DEFF Research Database (Denmark)

    Mosses, Peter David

    A draft modular SOS for the new version of AN, referred to as AN-2, has been available since 2000. It is written in CASL and has been checked for well-formedness using CATS (CASL Tool Set). It appears to be significantly more accessible than the original SOS of AN-1. However, it now appears......-notation for the modular SOS rules. After discussing the issues, we look at some illustrative examples taken from an improved modular SOS of AN-2 (in preparation). We also look at the possibility of empirical testing of the modular SOS by a straightforward translation to Prolog....

  12. Words as Music Notation (1998/2012)

    DEFF Research Database (Denmark)

    Bergstrøm-Nielsen, Carl

    2012-01-01

    The use of verbal notation elements in Western music from the baroque period and onwards is outlined, with examples. Some important examples of Fluxus, Scratch Orchestra and subsequent works are characterised. Two Stockhausen works before the text collections are examined for their different uses...... of verbal elements. From this as well as from the analysis of Stockhausen's text collections (see the articles mentioned at the top of the article) it is concluded that verbal language since 1945 may describe both musical material (parameters) and processes – including game rules and if-then relations...

  13. ArcForm - A multimodal notation

    DEFF Research Database (Denmark)

    Allsopp, Benjamin Brink

    ArcForm (AF) is a visual notation based on a new graph-like network structure. It supports a unique approach to labeling arcs and nodes to allow diverse and grammatically normal English (or other natural language) sentences to be embedded in the network (Allsopp, 2013). In doing this AF combines...... the familiarity and expressiveness of written natural language with the visuospatial intuition of navigating geographical maps. Thus AF simultaneously exploits visual, textual, linguistic and spatial modalities. In static representations AF seems to have various benefits. We believe that AF’s multiple modalities...... support better overview, aid memory and facilitate forming new insights. At the same time, AF’s closeness to natural language allows it to remain cross-domain and multipurpose. However AF is not limited to static representations and is designed to be supported digitally. Here we expect additional benefits...

  14. The 2008 ICOH Workshop on Skin Notation

    DEFF Research Database (Denmark)

    Sartorelli, P; Ahlers, H W; Cherrie, J W

    2010-01-01

    BACKGROUND: On 29 March 2008 the International Commission on Occupational Health (ICOH) Scientific Committee on Occupational and Environmental Dermatoses organized a Skin Notation Workshop hosted by the 11th International Percutaneous Penetration Perspectives Conference (La Grande Motte, France...... assignment criteria and the attempts to improve the S system made by various international and governmental agencies. A position paper was subsequently published. OBJECTIVES: The workshop in France was a continuation of this activity with the aim of evaluating how the different strategies can improve S....... METHODS AND DISCUSSION: The Workshop was divided into two sessions. The first was dedicated to lectures focused on different aspects of S. In the second session participants discussed key issues with the aim of exploring the actions needed to improve international S. systems....

  15. Coordinating Interactions: The Event Coordination Notation

    DEFF Research Database (Denmark)

    Kindler, Ekkart

    models fully automatically with today’s technologies. The focus of today’s code generation technologies, however, is mostly on the structural aspects of the domain; the domain’s behaviour is often not modelled at all, or implemented manually based on some informal models, or the behaviour is modelled...... for the local and the global behaviour define the overall behaviour of the domain. In this technical report, we discuss the main idea and philosophy of ECNO and its notation as well as all the subtle details and concepts - and we motivate the decisions made for its design. Moreover, we discuss the prototypical...... implementation of ECNO, which consists of a modelling environment based on Eclipse and the Eclipse Modeling Framework (EMF) and an execution engine, which fully supports all the concepts and features of ECNO discussed in this technical report. All the examples are based on EMF, but the ECNO Engine can be used...

  16. Speechant: A Vowel Notation System to Teach English Pronunciation

    Science.gov (United States)

    dos Reis, Jorge; Hazan, Valerie

    2012-01-01

    This paper introduces a new vowel notation system aimed at aiding the teaching of English pronunciation. This notation system, designed as an enhancement to orthographic text, was designed to use concepts borrowed from the representation of musical notes and is also linked to the acoustic characteristics of vowel sounds. Vowel timbre is…

  17. Pedagogy of Notation: Learning Styles Using a Constructivist, Second-Language Acquisition Approach to Dance Notation Pedagogy

    Science.gov (United States)

    Heiland, Teresa L.

    2015-01-01

    Four undergraduate dance majors learned Motif Notation and Labanotation using a second-language acquisition, playful, constructivist approach to learning notation literacy in order to learn and dance the "Parsons Etude." Qualitative outcomes were gathered from student journals and pre- and post-tests that assessed for levels of improved…

  18. Gap-minimal systems of notations and the constructible hierarchy

    Science.gov (United States)

    Lucian, M. L.

    1972-01-01

    If a constructibly countable ordinal alpha is a gap ordinal, then the order type of the set of index ordinals smaller than alpha is exactly alpha. The gap ordinals are the only points of discontinuity of a certain ordinal-valued function. The notion of gap minimality for well ordered systems of notations is defined, and the existence of gap-minimal systems of notations of arbitrarily large constructibly countable length is established.

  19. Comparison of the learning of two notations: A pilot study.

    Science.gov (United States)

    Akram, Ashfaq; Fuadfuad, Maher D; Malik, Arshad Mahmood; Nasir Alzurfi, Balsam Mahdi; Changmai, Manah Chandra; Madlena, Melinda

    2017-04-01

    MICAP is a new notation in which the teeth are indicated by letters (I-incisor, C-canine, P-premolar, M-molar) and numbers [1,2,3] which are written superscript and subscript on the relevant letters. FDI tooth notation is a two digit system where one digit shows quadrant and the second one shows the tooth of the quadrant. This study aimed to compare the short term retention of knowledge of two notation systems (FDI two digit system and MICAP notation) by lecture method. Undergraduate students [N=80] of three schools participated in a cross-over study. Two theory-driven classroom based lectures on MICAP notation and FDI notation were delivered separately. Data were collected using eight randomly selected permanent teeth to be written in MICAP format and FDI format at pretest (before the lecture), post-test I (immediately after lecture) and post-test II (one week after the lecture). Analysis was done by SPSS version 20.0 using repeated measures ANCOVA and independent t-test. The results of pre-test and post-test I were similar for FDI education. Similar results were found between post-test I and post-test II for MICAP and FDI notations. The study findings indicated that the two notations (FDI and MICAP) were equally mind cognitive. However, the sample size used in this study may not reflect the global scenario. Therefore, we suggest more studies to be performed for prospective adaptation of MICAP in dental curriculum.

  20. Comparison of the learning of two notations: A pilot study

    Directory of Open Access Journals (Sweden)

    ASHFAQ AKRAM

    2017-05-01

    Full Text Available Introduction: MICAP is a new notation in which the teeth are indicated by letters (I-incisor, C-canine, P-premolar, M-molar and numbers [1,2,3] which are written superscript and subscript on the relevant letters. FDI tooth notation is a two digit system where one digit shows quadrant and the second one shows the tooth of the quadrant. This study aimed to compare the short term retention of knowledge of two notation systems (FDI two digit system and MICAP notation by lecture method. Methods: Undergraduate students [N=80] of three schools participated in a cross-over study. Two theory-driven classroom based lectures on MICAP notation and FDI notation were delivered separately. Data were collected using eight randomly selected permanent teeth to be written in MICAP format and FDI format at pretest (before the lecture, post-test I (immediately after lecture and post-test II (one week after the lecture. Analysis was done by SPSS version 20.0 using repeated measures ANCOVA and independent t-test. Results: The results of pre-test and post-test I were similar for FDI education. Similar results were found between post-test I and post-test II for MICAP and FDI notations. Conclusion: The study findings indicated that the two notations (FDI and MICAP were equally mind cognitive. However, the sample size used in this study may not reflect the global scenario. Therefore, we suggest more studies to be performed for prospective adaptation of MICAP in dental curriculum.

  1. Challenging assumptions of notational transparency: the case of vectors in engineering mathematics

    Science.gov (United States)

    Craig, Tracy S.

    2017-11-01

    The notation for vector analysis has a contentious nineteenth century history, with many different notations describing the same or similar concepts competing for use. While the twentieth century has seen a great deal of unification in vector analysis notation, variation still remains. In this paper, the two primary notations used for expressing the components of a vector are discussed in historical and current context. Popular mathematical texts use the two notations as if they are transparent and interchangeable. In this research project, engineering students' proficiency at vector analysis was assessed and the data were analyzed using the Rasch measurement method. Results indicate that the students found items expressed in unit vector notation more difficult than those expressed in parenthesis notation. The expert experience of notation as transparent and unproblematically symbolic of underlying processes independent of notation is shown to contrast with the student experience where the less familiar notation is experienced as harder to work with.

  2. Flexible Process Notations for Cross-organizational Case Management Systems

    DEFF Research Database (Denmark)

    Slaats, Tijs

    : the notations in which the processes are defined. Traditional process notations are flow-based: control of the process flows from one activity to the next. This paradigm inherently encourages modellers to think in terms of strict orderings instead of supporting flexibility. Flow-based models that do try...... of the process and techniques for runtime adaptation. This dissertation reports on the results of the Technologies for Flexible Cross-organizational Case Management Systems (FLExCMS) research project which was started in cooperation between ITU and the company Exformatics A/S. The goals of the project were...... to strengthen the industrial adoption of constraintbased notations and techniques by further developing DCR Graphs to be industrially applicable, with a particular focus on guaranteeing safety for cross-organizational processes. We will show how DCR Graphs have been extended with new dimensions such as time...

  3. A multiple-perspective approach to graphic notation

    DEFF Research Database (Denmark)

    Cohen, Susanna; Gilboa, Avi; Bergstrøm-Nielsen, Carl

    2011-01-01

    The need to describe and analyze the contents of music therapy sessions, together with the need to find methods of raising therapist awareness, are areas of great interest for the music therapist. In this study an expansion of Bergstrøm-Nielsen’s (1993) method of graphic notation for representing...... music therapy improvisations is presented: multipleperspective graphic notation (MGN). A description of the method is provided, followed by a demonstration using a clinical improvisation taken from an individual music therapy session. The use of the MGN as a tool for raising therapist awareness...

  4. A Multimodal Neural Network Recruited by Expertise with Musical Notation

    Science.gov (United States)

    Wong, Yetta Kwailing; Gauthier, Isabel

    2010-01-01

    Prior neuroimaging work on visual perceptual expertise has focused on changes in the visual system, ignoring possible effects of acquiring expert visual skills in nonvisual areas. We investigated expertise for reading musical notation, a skill likely to be associated with multimodal abilities. We compared brain activity in music-reading experts…

  5. Preserving Musicality through Pictures: A Linguistic Pathway to Conventional Notation

    Science.gov (United States)

    Nordquist, Alice L.

    2016-01-01

    The natural musicality so often present in children's singing can begin to fade as the focus of a lesson shifts to the process of reading and writing conventional notation symbols. Approaching the study of music from a linguistic perspective preserves the pace and flow that is inherent in spoken language and song. SongWorks teaching practices…

  6. Notational analysis on tactical passing skills used by collegiate ...

    African Journals Online (AJOL)

    Notational analysis on tactical passing skills used by collegiate players in an indoor hockey masum tournament. K.N. Hasnor, H Hizan, M.I. Shahril, N.A. Kosni, M.R. Abdullah, A.B.H.M. Maliki, S.M. Mat-Rasid ...

  7. Integrating Behaviour in Software Models: An Event Coordination Notation

    DEFF Research Database (Denmark)

    Kindler, Ekkart

    2011-01-01

    One of the main problems in model-based software engineering is modelling behaviour in such a way that the behaviour models can be easily integrated with each other, with the structural software models and with pre-existing software. In this paper, we propose an event coordination notation (ECNO)...

  8. Articulated Multimedia Physics, Lesson 3, The Arithmetic of Scientific Notation.

    Science.gov (United States)

    New York Inst. of Tech., Old Westbury.

    As the third lesson of the Articulated Multimedia Physics Course, instructional materials are presented in this study guide. An introductory description is given for scientific notation methods. The subject content is provided in scrambled form, and the use of matrix transparencies is required for students to control their learning process.…

  9. Introductie Decision Model and Notation (DMN) : Deel 1

    NARCIS (Netherlands)

    dr. Martijn Zoet; Koen Smit

    2017-01-01

    Sinds september 2015 is de ‘business rule management wereld’ / ‘decision management wereld’ weer een standaard rijker: The Decision Model and Notation (DMN). De Object Management Group (OMG) heeft deze nieuwe standaard uitgebracht met als doel een standaard taal te creëren om 1) requirements voor

  10. Introductie Decision Model and Notation (DMN) : Deel 2

    NARCIS (Netherlands)

    dr. Martijn Zoet; Koen Smit

    2017-01-01

    Sinds september 2015 is de ‘business rule management wereld’ / ‘decision management wereld’ weer een standaard rijker: The Decision Model and Notation (DMN). De Object Management Group (OMG) heeft deze nieuwe standaard uitgebracht met als doel een standaard taal te creëren om 1) requirements voor

  11. Introductie Decision Model and Notation (DMN) : Deel 3

    NARCIS (Netherlands)

    dr. Martijn Zoet; Koen Smit

    2017-01-01

    Sinds september 2015 is de ‘business rule management wereld’ / ‘decision management wereld’ weer een standaard rijker: The Decision Model and Notation (DMN). De Object Management Group (OMG) heeft deze nieuwe standaard uitgebracht met als doel een standaardtaal te creëren om 1) requirements voor

  12. Effects of Music Notation Reinforcement on Aural Memory for Melodies

    Science.gov (United States)

    Buonviri, Nathan

    2015-01-01

    The purpose of this study was to investigate effects of music notation reinforcement on aural memory for melodies. Participants were 41 undergraduate and graduate music majors in a within-subjects design. Experimental trials tested melodic memory through a sequence of target melodies, distraction melodies, and matched and unmatched answer choices.…

  13. System for notational analysis in small-sided soccer games

    NARCIS (Netherlands)

    Van Maarseveen, Mariette J.J.; Oudejans, Raoul R.D.; Savelsbergh, Geert J.P.

    2017-01-01

    The objective of this study was to compose an objective and detailed notational analysis system for 3 vs. 2GK smallsided soccer games, in which three roles are examined: attacker with ball, attacker without ball and defender. The actions and the outcome of the actions were registered for each player

  14. 75 FR 22148 - Request for the Technical Review of 22 Draft Skin Notation Assignments and Skin Notation Profiles

    Science.gov (United States)

    2010-04-27

    ... toxicity through dermal absorption. Chemicals assigned the notation SK: SYS (FATAL) have been identified as... systemic toxicity, it will be labeled as SK: SYS- DIR (COR). When scientific data for a chemical indicate...-Dichloropropene (CAS 542-75- 6). A-02 Phenol (CAS 108-95-2). A-03 Hydrogen fluoride/hydrofluoric acid (CAS 7664-39...

  15. Effect of Color-Coded Notation on Music Achievement of Elementary Instrumental Students.

    Science.gov (United States)

    Rogers, George L.

    1991-01-01

    Presents results of a study of color-coded notation to teach music reading to instrumental students. Finds no clear evidence that color-coded notation enhances achievement on performing by memory, sight-reading, or note naming. Suggests that some students depended on the color-coding and were unable to read uncolored notation well. (DK)

  16. Greater subject access to Dewey Decimal Classification’s notation, with special reference to Indonesia’s geography, period and language notations

    OpenAIRE

    Sulistyo-Basuki, L.

    2007-01-01

    Although Indonesian libraries have been using Dewey Decimal Classification for more than half century, since 1952 until present times, from 15th through 22nd editions still many Indonesian librarians and users complained on certain DDC notation which they thought didn’t reflect the true condition of Indonesia as well as the real needs of the users. This paper proposed some modification and corrections for DDC notations especially those notations on languages in Indonesia including Bahasa Indo...

  17. The Event Coordination Notation: Execution Engine and Programming Framework

    DEFF Research Database (Denmark)

    Kindler, Ekkart

    2012-01-01

    that was written manually. In this paper, we rephrase the main concepts of ECNO. The focus of this paper, however, is on the architecture of the ECNO execution engine and its programming framework. We will show how this framework allows us to integrate ECNO with object-oriented models, how it works without any......ECNO (Event Coordination Notation) is a notation for modelling the behaviour of a software system on top of some object-oriented data model. ECNO has two main objectives: On the one hand, ECNO should allow modelling the behaviour of a system on the domain level; on the other hand, it should...... be possible to completely generate code from ECNO and the underlying object-oriented domain models. Today, there are several approaches that would allow to do this. But, most of them would require that the data models and the behaviour models are using the same technology and the code is generated together...

  18. New framework for standardized notation in wastewater treatment modelling

    DEFF Research Database (Denmark)

    Corominas, L.; Rieger, L.; Takacs, I.

    2010-01-01

    Many unit process models are available in the field of wastewater treatment. All of these models use their own notation, causing problems for documentation, implementation and connection of different models (using different sets of state variables). The main goal of this paper is to propose a new...... is a framework that can be used in whole plant modelling, which consists of different fields such as activated sludge, anaerobic digestion, sidestream treatment, membrane bioreactors, metabolic approaches, fate of micropollutants and biofilm processes. The main objective of this consensus building paper...... notational framework which allows unique and systematic naming of state variables and parameters of biokinetic models in the wastewater treatment field. The symbols are based on one main letter that gives a general description of the state variable or parameter and several subscript levels that provide...

  19. A Formal Messaging Notation for Alaskan Aviation Data

    Science.gov (United States)

    Rios, Joseph L.

    2015-01-01

    Data exchange is an increasingly important aspect of the National Airspace System. While many data communication channels have become more capable of sending and receiving data at higher throughput rates, there is still a need to use communication channels efficiently with limited throughput. The limitation can be based on technological issues, financial considerations, or both. This paper provides a complete description of several important aviation weather data in Abstract Syntax Notation format. By doing so, data providers can take advantage of Abstract Syntax Notation's ability to encode data in a highly compressed format. When data such as pilot weather reports, surface weather observations, and various weather predictions are compressed in such a manner, it allows for the efficient use of throughput-limited communication channels. This paper provides details on the Abstract Syntax Notation One (ASN.1) implementation for Alaskan aviation data, and demonstrates its use on real-world aviation weather data samples as Alaska has sparse terrestrial data infrastructure and data are often sent via relatively costly satellite channels.

  20. Optical Music Recognition for Scores Written in White Mensural Notation

    Directory of Open Access Journals (Sweden)

    Tardón LorenzoJ

    2009-01-01

    Full Text Available An Optical Music Recognition (OMR system especially adapted for handwritten musical scores of the XVII-th and the early XVIII-th centuries written in white mensural notation is presented. The system performs a complete sequence of analysis stages: the input is the RGB image of the score to be analyzed and, after a preprocessing that returns a black and white image with corrected rotation, the staves are processed to return a score without staff lines; then, a music symbol processing stage isolates the music symbols contained in the score and, finally, the classification process starts to obtain the transcription in a suitable electronic format so that it can be stored or played. This work will help to preserve our cultural heritage keeping the musical information of the scores in a digital format that also gives the possibility to perform and distribute the original music contained in those scores.

  1. Notat om arbejdet med innovation i Randers Kommune

    DEFF Research Database (Denmark)

    Hansen, Morten Balle; Agger Nielsen, Jeppe

    2012-01-01

    for innovation i Randers Kommune, herunder hvordan politikerne inddrages i innovationsprocessen, 5) Hvor tæt skal økonomi og innovationsdagsorden knyttes? 6) Hvordan er innovationsdagsordenen relateret til en overordnet strategi for Randers Kommune? og 7) selve organiseringen af innovationsprocessen. Notatet...... hovedpunkter er; 1) udarbejdelse af de gode innovationsspørgsmål, 2) dobbeltudfordringen med på den ene side at sikre daglig drift og på den anden side at arbejde innovativt, 3) top-down versus bottom-up processer, dvs. hvor meget skal innovationsprocesserne designes og styres? 4) den særlige kontekst......Dette notat udgør en erfaringsopsamling fra innovationsdag i Randers Kommune, d. 13. november 2012. Notatet fremhæver hovedpointerne fra interne og eksterne oplægsholdere og udpeger en række fokuspunkter/problemstillinger for arbejdet med innovation i Randers Kommune. De syv identificerede...

  2. The Event Coordination Notation: Behaviour Modelling Beyond Mickey Mouse

    DEFF Research Database (Denmark)

    Jepsen, Jesper; Kindler, Ekkart

    2015-01-01

    The Event Coordination Notation (ECNO) allows modelling the desired behaviour of a software system on top of any object-oriented software. Together with existing technologies from Model-based Software Engineering (MBSE) for automatically generating the software for the structural parts, ECNO allows...... special aspect of ECNO or another; and it would be fair to call them “Mickey Mouse examples”. In this paper, we give a concise overview of the motivation, ideas, and concepts of ECNO. More importantly, we discuss a larger system, which was completely generated from the underlying models: a workflow...... management system. This way, we demonstrate that ECNO can be used for modelling software beyond the typical Mickey Mouse examples. This example demonstrates that the essence of workflow management – including its behaviour – can be captured in ECNO: in a sense, it is a domain model of workflow management...

  3. 19 CFR 125.34 - Countersigning of documents and notation of bad order or discrepancy.

    Science.gov (United States)

    2010-04-01

    ... 19 Customs Duties 1 2010-04-01 2010-04-01 false Countersigning of documents and notation of bad... and Receipt § 125.34 Countersigning of documents and notation of bad order or discrepancy. When a... and shall note thereon any bad order or discrepancy. When available, the importing carrier's tally...

  4. A Proposal of a Color Music Notation System on a Single Melody for Music Beginners

    Science.gov (United States)

    Kuo, Yi-Ting; Chuang, Ming-Chuen

    2013-01-01

    Music teachers often encounter obstructions in teaching beginners in music reading. Conventional notational symbols require beginners to spend significant amount of time in memorizing, which discourages learning at early stage. This article proposes a newly-developed color music notation system that may improve the recognition of the staff and the…

  5. Writing about Music: The Selection and Arrangement of Notation in Jazz Students' Written Texts

    Science.gov (United States)

    Martin, Jodie L.

    2018-01-01

    Music notation is intrinsic in the composition and performance of Western art music and also in its analysis and research. The process of writing about music remains underexplored, in particular how excerpts of music notation are selected and arranged in a written text, and how that text describes and contextualises the excerpts. This article…

  6. GSN - The Goal Structuring Notation A Structured Approach to Presenting Arguments

    CERN Document Server

    Spriggs, John

    2012-01-01

    Goal Structuring Notation (GSN)  is becoming increasing popular; practitioners use it in the railway, air traffic management and nuclear industries, amongst others.  Originally developed to present safety assurance arguments, GSN need not be restricted to safety assurances only; in principle, you can use it to present (and test) any argument.  Anyone wishing to support, or refute, a claim can use GSN. Written by an experienced practitioner, The Goal Structuring Notation is both for those who wish to prepare and present compelling arguments using the notation, and for those who wish to review such arguments critically and effectively. To emphasise the versatility of this approach The Goal Structuring Notation presents examples and questions based on diverse subject areas including Business Management, Drama, Engineering, Politics and Astrobiology. Simple examples introduce each symbol of the notation before introducing more complex structures which illustrate how the symbols work together in practical scena...

  7. Statistical Analysis of the Association Between Subject Headings and Their Corresponding Class Notations in Science and Technology Monographs.

    Science.gov (United States)

    Khosh-khui, Abolghasem

    This study investigates the degree of relationship between scientific and technical subject headings and their corresponding class notations in the Dewey Decimal (DDC) and Library of Congress Classification (LCC) systems. The degree of association between a subject heading and its corresponding class of notation or notations is measured by…

  8. Investigating and improving student understanding of quantum mechanical observables and their corresponding operators in Dirac notation

    Science.gov (United States)

    Marshman, Emily; Singh, Chandralekha

    2018-01-01

    In quantum mechanics, for every physical observable, there is a corresponding Hermitian operator. According to the most common interpretation of quantum mechanics, measurement of an observable collapses the quantum state into one of the possible eigenstates of the operator and the corresponding eigenvalue is measured. Since Dirac notation is an elegant notation that is commonly used in upper-level quantum mechanics, it is important that students learn to express quantum operators corresponding to observables in Dirac notation in order to apply the quantum formalism effectively in diverse situations. Here we focus on an investigation that suggests that, even though Dirac notation is used extensively, many advanced undergraduate and PhD students in physics have difficulty expressing the identity operator and other Hermitian operators corresponding to physical observables in Dirac notation. We first describe the difficulties students have with expressing the identity operator and a generic Hermitian operator corresponding to an observable in Dirac notation. We then discuss how the difficulties found via written surveys and individual interviews were used as a guide in the development of a quantum interactive learning tutorial (QuILT) to help students develop a good grasp of these concepts. The QuILT strives to help students become proficient in expressing the identity operator and a generic Hermitian operator corresponding to an observable in Dirac notation. We also discuss the effectiveness of the QuILT based on in-class evaluations.

  9. Graphic Notation as a Tool in Describing and Analyzing Music Therapy Improvisations

    DEFF Research Database (Denmark)

    Bergstrøm-Nielsen, Carl

    1993-01-01

    , involving graphic brainstorms,using coordinative systems and other frameworks, interpretative method including working on specifically musical counter-transference and special graphic exercises are outlined. Work by students at Aalborg University, Denmark, is quoted. General perspectives including relations......Presents graphic notation as the making of aural scores to memorise or analyse improvised music therapy processes, capturing also those aspectsthe usual music notation would not cover. An example in some detail is shown, the music taken from a well known Nordoff/Robbins recording. Training method...... to music analysis in musicology and to the history,epistemology and cultural status of musical notation is discussed....

  10. The Conversion of Wiswesser Line Notations to Ring Codes. I. The Conversion of Ring Systems

    Science.gov (United States)

    Granito, Charles E.; And Others

    1972-01-01

    The computerized conversion of Wiswesser Line Notations to Ring Codes, using a two-part approach, and the set of computer programs generated for the conversion of ring systems are described. (9 references) (Author)

  11. Semiotics Of Shape Of Block Notation As Icon Of Planetary Orbit

    Directory of Open Access Journals (Sweden)

    Ketut Sumerjana

    2017-05-01

    Full Text Available Block notation has a specific shape; however, its existence and the function of its shape are not recognized and are made to be intangible by its function as a symbol of tapping sound. In general, the basic shape of the block notation looks like an ellipse and is similar to the planetary orbit. Therefore, this present study focuses on the ellipse-shaped block notation as the icon of the planetary orbit. The phenomenological qualitative method was employed to interpret the meaning of the basic shape of the block notation as the icon of planetary orbit. The data were collected through guided interview and library research. The data were analyzed using the semiotic process, meaning that in the first phase the text was analyzed based on the shape structure and in the second phase the text was heuristically analyzed. The result of the study shows that the ellipse-shaped block notation is the planetary orbit whose function changes from the manifest function into the latent one, resulting from the function as the tapping sound value. Keywords: form, notation, icon, orbit, planet

  12. Application fields for the new Object Management Group (OMG) Standards Case Management Model and Notation (CMMN) and Decision Management Notation (DMN) in the perioperative field.

    Science.gov (United States)

    Wiemuth, M; Junger, D; Leitritz, M A; Neumann, J; Neumuth, T; Burgert, O

    2017-08-01

    Medical processes can be modeled using different methods and notations. Currently used modeling systems like Business Process Model and Notation (BPMN) are not capable of describing the highly flexible and variable medical processes in sufficient detail. We combined two modeling systems, Business Process Management (BPM) and Adaptive Case Management (ACM), to be able to model non-deterministic medical processes. We used the new Standards Case Management Model and Notation (CMMN) and Decision Management Notation (DMN). First, we explain how CMMN, DMN and BPMN could be used to model non-deterministic medical processes. We applied this methodology to model 79 cataract operations provided by University Hospital Leipzig, Germany, and four cataract operations provided by University Eye Hospital Tuebingen, Germany. Our model consists of 85 tasks and about 20 decisions in BPMN. We were able to expand the system with more complex situations that might appear during an intervention. An effective modeling of the cataract intervention is possible using the combination of BPM and ACM. The combination gives the possibility to depict complex processes with complex decisions. This combination allows a significant advantage for modeling perioperative processes.

  13. Comparison of Japanese notation and meanings among three terminologies in radiological technology domain

    International Nuclear Information System (INIS)

    Yagahara, Ayako; Tsuji, Shintaro; Fukuda, Akihisa; Nishimoto, Naoki; Ogasawara, Katsuhiko

    2016-01-01

    The purpose of this study is to investigate the differences in the notation of technical terms and their meanings among three terminologies in Japanese radiology-related societies. The three terminologies compared in this study were 'radiological technology terminology' and its supplement published by the Japan Society of Radiological Technology, 'medical physics terminology' published by the Japan Society of Medical Physics, and 'electric radiation terminology' published by the Japan Radiological Society. Terms were entered into spreadsheets and classified into the following three categories: Japanese notation, English notation, and meanings. In the English notation, terms were matched to character strings in the three terminologies and were extracted and compared. The Japanese notations were compared among three terminologies, and the difference between the meanings of the two terminologies radiological technology terminology and electric radiation terminology were compared. There were a total of 14,982 terms in the three terminologies. In English character strings, 2,735 terms were matched to more than two terminologies, with 801 of these terms matched to all the three terminologies. Of those terms in English character strings matched to three terminologies, 752 matched to Japanese character strings. Of the terms in English character strings matched to two terminologies, 1,240 matched to Japanese character strings. With regard to the meanings category, eight terms had mismatched meanings between the two terminologies. For these terms, there were common concepts between two different meaning terms, and it was considered that the derived concepts were described based on domain. (author)

  14. Rational-number comparison across notation: Fractions, decimals, and whole numbers.

    Science.gov (United States)

    Hurst, Michelle; Cordes, Sara

    2016-02-01

    Although fractions, decimals, and whole numbers can be used to represent the same rational-number values, it is unclear whether adults conceive of these rational-number magnitudes as lying along the same ordered mental continuum. In the current study, we investigated whether adults' processing of rational-number magnitudes in fraction, decimal, and whole-number notation show systematic ratio-dependent responding characteristic of an integrated mental continuum. Both reaction time (RT) and eye-tracking data from a number-magnitude comparison task revealed ratio-dependent performance when adults compared the relative magnitudes of rational numbers, both within the same notation (e.g., fractions vs. fractions) and across different notations (e.g., fractions vs. decimals), pointing to an integrated mental continuum for rational numbers across notation types. In addition, eye-tracking analyses provided evidence of an implicit whole-number bias when we compared values in fraction notation, and individual differences in this whole-number bias were related to the individual's performance on a fraction arithmetic task. Implications of our results for both cognitive development research and math education are discussed. (PsycINFO Database Record (c) 2016 APA, all rights reserved).

  15. An Eye-tracking Study of Notational, Informational, and Emotional Aspects of Learning Analytics Representations

    DEFF Research Database (Denmark)

    Vatrapu, Ravi; Reimann, Peter; Bull, Susan

    2013-01-01

    This paper presents an eye-tracking study of notational, informational, and emotional aspects of nine different notational systems (Skill Meters, Smilies, Traffic Lights, Topic Boxes, Collective Histograms, Word Clouds, Textual Descriptors, Table, and Matrix) and three different information states...... (Weak, Average, & Strong) used to represent student's learning. Findings from the eye-tracking study show that higher emotional activation was observed for the metaphorical notations of traffic lights and smilies and collective representations. Mean view time was higher for representations...... of the "average" informational learning state. Qualitative data analysis of the think-aloud comments and post-study interview show that student participants reflected on the meaning-making opportunities and action-taking possibilities afforded by the representations. Implications for the design and evaluation...

  16. A comparison of BPMN 2.0 with other notations for manufacturing processes

    Science.gov (United States)

    García-Domínguez, A.; Marcos, Mariano; Medina, I.

    2012-04-01

    In order to study their current practices and improve on them, manufacturing firms need to view their processes from several viewpoints at various abstraction levels. Several notations have been developed for this purpose, such as Value Stream Mappings or IDEF models. More recently, the BPMN 2.0 standard from the Object Management Group has been proposed for modeling business processes. A process organizes several activities (manual or automatic) into a single higher-level entity, which can be reused elsewhere in the organization. Its potential for standardizing business interactions is well-known, but there is little work on using BPMN 2.0 to model manufacturing processes. In this work some of the previous notations are outlined and BPMN 2.0 is positioned among them after discussing it in more depth. Some guidelines on using BPMN 2.0 for manufacturing are offered, and its advantages and disadvantages in comparison with the other notations are presented.

  17. Children's understanding of fraction and decimal symbols and the notation-specific relation to pre-algebra ability.

    Science.gov (United States)

    Hurst, Michelle A; Cordes, Sara

    2018-04-01

    Fraction and decimal concepts are notoriously difficult for children to learn yet are a major component of elementary and middle school math curriculum and an important prerequisite for higher order mathematics (i.e., algebra). Thus, recently there has been a push to understand how children think about rational number magnitudes in order to understand how to promote rational number understanding. However, prior work investigating these questions has focused almost exclusively on fraction notation, overlooking the open questions of how children integrate rational number magnitudes presented in distinct notations (i.e., fractions, decimals, and whole numbers) and whether understanding of these distinct notations may independently contribute to pre-algebra ability. In the current study, we investigated rational number magnitude and arithmetic performance in both fraction and decimal notation in fourth- to seventh-grade children. We then explored how these measures of rational number ability predicted pre-algebra ability. Results reveal that children do represent the magnitudes of fractions and decimals as falling within a single numerical continuum and that, despite greater experience with fraction notation, children are more accurate when processing decimal notation than when processing fraction notation. Regression analyses revealed that both magnitude and arithmetic performance predicted pre-algebra ability, but magnitude understanding may be particularly unique and depend on notation. The educational implications of differences between children in the current study and previous work with adults are discussed. Copyright © 2017 Elsevier Inc. All rights reserved.

  18. Children's Invented Notations and Verbal Responses to a Piano Work by Claude Debussy

    Science.gov (United States)

    Elkoshi, Rivka

    2015-01-01

    This study considers the way children listen to classical music composed for them and the effect of age on their spontaneous invented notations and verbal responses. The musical selection is a piano piece for children by Claude Debussy:"'Jimbo's Lullaby" from "Children's Corner". Two hundred and nine children 4-9.5-years-old…

  19. The Use of Force Notation to Detect Students' Misconceptions: Mutual Interactions Case

    Science.gov (United States)

    Serhane, Ahcene; Zeghdaoui, Abdelhamid; Debiache, Mehdi

    2017-01-01

    Using a conventional notation for representing forces on diagrams, students were presented with questions on the interaction between two objects. The results show that complete understanding of Newton's Third Law of Motion is quite rare, and that some problems relate to misunderstanding which force acts on each body. The use of the terms…

  20. Beacon Editor: Capturing Signal Transduction Pathways Using the Systems Biology Graphical Notation Activity Flow Language.

    Science.gov (United States)

    Elmarakeby, Haitham; Arefiyan, Mostafa; Myers, Elijah; Li, Song; Grene, Ruth; Heath, Lenwood S

    2017-12-01

    The Beacon Editor is a cross-platform desktop application for the creation and modification of signal transduction pathways using the Systems Biology Graphical Notation Activity Flow (SBGN-AF) language. Prompted by biologists' requests for enhancements, the Beacon Editor includes numerous powerful features for the benefit of creation and presentation.

  1. Visual syntax does matter: Improving the cognitive effectiveness of the i* visual notation

    NARCIS (Netherlands)

    Moody, D.L.; Heymans, Patrick; Matulevicius, Raimundas

    2010-01-01

    Goal-oriented modelling is one of the most important research developments in the requirements engineering (RE) field. This paper conducts a systematic analysis of the visual syntax of i*, one of the leading goal-oriented languages. Like most RE notations, i* is highly visual. Yet surprisingly,

  2. Perceptions of Schooling, Pedagogy and Notation in the Lives of Visually-Impaired Musicians

    Science.gov (United States)

    Baker, David; Green, Lucy

    2016-01-01

    This article discusses findings on schooling, pedagogy and notation in the life-experiences of amateur and professional visually-impaired musicians/music teachers, and the professional experiences of sighted music teachers who work with visually-impaired learners. The study formed part of a broader UK Arts and Humanities Research Council funded…

  3. A Morphology of Medieval Notations in the Optical Neume Recognition Project

    Directory of Open Access Journals (Sweden)

    Kate Helsen

    2017-01-01

    Full Text Available The study of medieval notations depends on effective categorization of individual signs in order to facilitate a comprehensive understanding of their musical meaning. Over the past century, chant scholars have developed several kinds of neume tables which arrange and contextualize neumes either according to graphical type, chronology, or scribal tradition. Some neume tables contain longer strings of neumes that link certain notation conventions with performance traditions. The course of neume table development reads like a history of the study of early notations, itself, and reveals the evolving interests and pursuits of the scholars who created them. It also sets the stage for the latest use of the neume table as a reference for document analysis software applied to digital images of medieval manuscripts. Now, instead of presenting a static list of discrete signs, the neume table can be understood as a reflection of the notational variety and nuance of the hundreds of thousands of neumes contained in every book of liturgical chant. On this scale, neume tables help scholars to understand the use of medieval neumes in the same way a linguist understands the morphology of words. This article presents the principles on which this new kind of neume table has been developed and suggests the ways in which this new way of thinking might inform the discipline in the future.

  4. An Introduction to Equilibrium Thermodynamics: A Rational Approach to Its Teaching. Part 1: Notation and Mathematics.

    Science.gov (United States)

    Williams, Donald F.; Glasser, David

    1991-01-01

    Introduces and develops mathematical notation to assist undergraduate students in overcoming conceptual difficulties involving the underlying mathematics of state functions, which tend to be different from functions encountered by students in previous mathematical courses, because of the need to manipulate special types of partial derivatives and…

  5. Notat vedr. muligheder for at styrke det faglige niveau i matematik og naturfag

    DEFF Research Database (Denmark)

    Busch, Henrik; Horst, Sebastian

    Dette notat er i foråret 2005 udarbejdet af Henrik Busch og Sebastian Horst for Undervisnings-ministeriet i forbindelse med forberedelsen til Globaliseringsrådets arbejde i efteråret 2005. Notatet er i november 2005 gjort offentligt tilgængeligt efter aftale med Undervisningsministeriet. I den fo...

  6. SIGMA-NOTATION AND THE EQUIVALENCE OF P AND NP CLASSES

    Directory of Open Access Journals (Sweden)

    Miron I.Telpiz

    2012-07-01

    Full Text Available The aim of this paper is to show that –notation, based on the positionalityprinciple, doesn’t just answer the question of equivalence of P and NP problemclasses, but also represents the key to the solution of (some more general problemsfrom the domain of multivalued logics. However, the achievement of such an aim inits full scope is hardly possible within the limits of this paper. Therefore, the followingplan shall be realized:Firstly, the logic algebra fragment necessary for the solution of the P and NPclasses equivalence problem shall be expounded.Secondly, the necessary symbols and definitions shall be introduced to show thatthe calculations in the domain of the multivalued logic can be directly executed withinthe framework of –notation.

  7. References and arrow notation instead of join operation in query languages

    Directory of Open Access Journals (Sweden)

    Alexandr Savinov

    2012-10-01

    Full Text Available We study properties of the join operation in query languages and describe some of its major drawbacks. We provide strong arguments against using joins as a main construct for retrieving related data elements in general purpose query languages and argue for using references instead. Since conventional references are quite restrictive when applied to data modeling and query languages, we propose to use generalized references as they are defined in the concept-oriented model (COM. These references are used by two new operations, called projection and de-projection, which are denoted by right and left arrows and therefore this access method is referred to as arrow notation. We demonstrate advantages of the arrow notation in comparison to joins and argue that it makes queries simpler, more natural, easier to understand, and the whole query writing process more productive and less error-prone.

  8. Precise Quantitative Analysis of Probabilistic Business Process Model and Notation Workflows

    DEFF Research Database (Denmark)

    Herbert, Luke Thomas; Sharp, Robin

    2013-01-01

    We present a framework for modeling and analysis of real-world business workflows. We present a formalized core subset of the business process modeling and notation (BPMN) and then proceed to extend this language with probabilistic nondeterministic branching and general-purpose reward annotations...... the entire BPMN language, allow for more complex annotations and ultimately to automatically synthesize workflows by composing predefined subprocesses, in order to achieve a configuration that is optimal for parameters of interest....

  9. Implementation of the Business Process Modelling Notation (BPMN) in the modelling of anatomic pathology processes.

    Science.gov (United States)

    Rojo, Marcial García; Rolón, Elvira; Calahorra, Luis; García, Felix Oscar; Sánchez, Rosario Paloma; Ruiz, Francisco; Ballester, Nieves; Armenteros, María; Rodríguez, Teresa; Espartero, Rafael Martín

    2008-07-15

    Process orientation is one of the essential elements of quality management systems, including those in use in healthcare. Business processes in hospitals are very complex and variable. BPMN (Business Process Modelling Notation) is a user-oriented language specifically designed for the modelling of business (organizational) processes. Previous experiences of the use of this notation in the processes modelling within the Pathology in Spain or another country are not known. We present our experience in the elaboration of the conceptual models of Pathology processes, as part of a global programmed surgical patient process, using BPMN. With the objective of analyzing the use of BPMN notation in real cases, a multidisciplinary work group was created, including software engineers from the Dep. of Technologies and Information Systems from the University of Castilla-La Mancha and health professionals and administrative staff from the Hospital General de Ciudad Real. The work in collaboration was carried out in six phases: informative meetings, intensive training, process selection, definition of the work method, process describing by hospital experts, and process modelling. The modelling of the processes of Anatomic Pathology is presented using BPMN. The presented subprocesses are those corresponding to the surgical pathology examination of the samples coming from operating theatre, including the planning and realization of frozen studies. The modelling of Anatomic Pathology subprocesses has allowed the creation of an understandable graphical model, where management and improvements are more easily implemented by health professionals.

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

    Directory of Open Access Journals (Sweden)

    Sorokin Anatoly

    2015-06-01

    Full Text Available 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.

  11. Systems Biology Graphical Notation: Activity Flow language Level 1 Version 1.2

    Directory of Open Access Journals (Sweden)

    Mi Huaiyu

    2015-06-01

    Full Text Available 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.

  12. ASN.1 notation for exchange of data in computer-based railway control systems

    Directory of Open Access Journals (Sweden)

    Zbigniew ŁUKASIK

    2009-01-01

    Full Text Available Development of railway control systems aims at computerization. In most cases these systems are Distributed Real Time Systems. However, a huge problem in their putting into practice is the lack of interface standardization in the range of data structures and information exchange methods. It results in a variety of solutions, and thus in problems concerning cooperation of systems that come from different software vendors. Specification of protocols for data exchanging applications should therefore be created with the use of generally accepted standards. One of them is ASN.1 (Abstract Syntax Notation One language, which shall be presented in this article.

  13. Business Process Management Notation (BPMN) as Lingua Franca in Virtual Communities

    DEFF Research Database (Denmark)

    Tambo, Torben

    2017-01-01

    processes are carried out through informal as well as formal VCs. In formal organizations, VCs are regarded as dynamic; people or work processes move back and forth between formal business processes and VCs. It is interesting to see how VCs in enterprise landscapes can execute using a common understanding......, a single language or an expression, a lingua franca to transform ideas into knowledge, sustain representation of knowledge, and exchange knowledge with the formal, non-virtual organization. Business Process Management Notation (BPMN) has become commonplace for describing and formalizing regular enterprise...

  14. The reliability and validity of subjective notational analysis in comparison to global positioning system tracking to assess athlete movement patterns.

    Science.gov (United States)

    Doğramac, Sera N; Watsford, Mark L; Murphy, Aron J

    2011-03-01

    Subjective notational analysis can be used to track players and analyse movement patterns during match-play of team sports such as futsal. The purpose of this study was to establish the validity and reliability of the Event Recorder for subjective notational analysis. A course was designed, replicating ten minutes of futsal match-play movement patterns, where ten participants undertook the course. The course allowed a comparison of data derived from subjective notational analysis, to the known distances of the course, and to GPS data. The study analysed six locomotor activity categories, focusing on total distance covered, total duration of activities and total frequency of activities. The values between the known measurements and the Event Recorder were similar, whereas the majority of significant differences were found between the Event Recorder and GPS values. The reliability of subjective notational analysis was established with all ten participants being analysed on two occasions, as well as analysing five random futsal players twice during match-play. Subjective notational analysis is a valid and reliable method of tracking player movements, and may be a preferred and more effective method than GPS, particularly for indoor sports such as futsal, and field sports where short distances and changes in direction are observed.

  15. Enlightening symbols a short history of mathematical notation and its hidden powers

    CERN Document Server

    Mazur, Joseph

    2014-01-01

    While all of us regularly use basic math symbols such as those for plus, minus, and equals, few of us know that many of these symbols weren't available before the sixteenth century. What did mathematicians rely on for their work before then? And how did mathematical notations evolve into what we know today? In Enlightening Symbols, popular math writer Joseph Mazur explains the fascinating history behind the development of our mathematical notation system. He shows how symbols were used initially, how one symbol replaced another over time, and how written math was conveyed before and after symbols became widely adopted. Traversing mathematical history and the foundations of numerals in different cultures, Mazur looks at how historians have disagreed over the origins of the numerical system for the past two centuries. He follows the transfigurations of algebra from a rhetorical style to a symbolic one, demonstrating that most algebra before the sixteenth century was written in prose or in verse employing the wr...

  16. Causal Mechanism Graph - A new notation for capturing cause-effect knowledge in software dependability

    International Nuclear Information System (INIS)

    Huang, Fuqun; Smidts, Carol

    2017-01-01

    Understanding cause-effect relations between concepts in software dependability engineering is fundamental to various research or industrial activities. Cognitive maps are traditionally used to elicit and represent such knowledge; however they seem incapable of accurately representing complex causal mechanisms in dependability engineering. This paper proposes a new notation called Causal Mechanism Graph (CMG) to elicit and represent the cause-effect domain knowledge embedded in experts’ minds or described in the literature. CMG contains a new set of symbols elicited from domain experts to capture the recurring interaction mechanisms between multiple concepts in software dependability engineering. Furthermore, compared to major existing graphic methods, CMG is particularly robust and suitable for mental knowledge elicitation: it allows one to represent the full range of cause-effect knowledge, accurately or fuzzily as one sees fit depending on the depth of knowledge he/she has. This feature combined with excellent reliability and validity poses CMG as a promising method that has the potential to be used in various areas, such as software dependability requirement elicitation, software dependability assessment and dependability risk control. - Highlights: • A new notation CMG for capturing cause-effect conceptual knowledge in software dependability. • CMG is particularly robust and suitable for mental knowledge representation. • CMG is a visual representation that bridges mental knowledge, natural and mathematical language. • CMG possesses excellent representation capability, validity and inter-coder reliability. • CMG is a fundamental method for various areas in dependability engineering.

  17. Methodological disputes about interpretation of neum notation in the 20th century

    Directory of Open Access Journals (Sweden)

    Peno Vesna

    2015-01-01

    Full Text Available Until the end of the twentieth century in Byzantine musicological science there were two diametrically opposite approaches to the interpretation of the Byzantine neum notation systems and post-Byzantine music heritage after the Fall of Constantinople. Western European scholars, ignoring the post-Byzantine Chant tradition and the last semeography reform from the early nineteenth century, looked at the problems of the musical past only from the perspective of the Middle Ages. Greek researchers have shared the belief that the condition of an adequate understanding of the mid-Byzantine notation, or the so-called old method, is the knowledge of analytical neum system and theory, the basics of which were set up by musicians from the end of the seventeenth and during the eighteenth century, and were finally shaped by Chrisantos, Gregory and Chourmouzios and officially accepted in the Greek church in 1814. The path to overcoming the issues relating to the development of neum notation, and finding an adequate manner of decoding it, led through the understanding of the phenomenon of "interpretation" and other tendencies that marked the post-Byzantine music practice. Two scientists -the Danish Jørgen Raasted, a follower of the Western European musicological methods established by founders of Monumenta Musicae Byzantinae, and Greek theologist and musicologist Gregory Stathes - are specifically responsible for the reconciliation of the different methodological approaches. After numerous and often heated debates, the Danish scientist eventually largely accepted the views of his Greek counterpart. Moreover, he himself insisted, at the musicological conferences organized during the 1980s, on reviewing the controversial issues: the existence of chromatic intervals in the psalmody of the Middle-Ages, the problem of syllabic and melismatic interpretations of stenographic neum records, and so on. Concerning the above mentioned issues, the contemporary trends in

  18. A Case Study of Some Issues in the Optimization of Fortran 90 Array Notation

    Directory of Open Access Journals (Sweden)

    John D. McCalpin

    1996-01-01

    Full Text Available Some issues in the relationship of coding style and compiler optimization are discussed with regard to Fortran 90 array notation. A review of several important Fortran 90 array constructs and their performance on vector and scalar hardware sets the stage for a more detailed example based on the kernel of a finite difference computational fluid dynamics model, specifically the nonlinear shallow water equations. Special attention is paid to the optimization of memory use and memory traffic. It is shown that the style of coding interacts with the rules of Fortran 90 and the current state of the art of Fortran 90 compilers to produce a fairly wide range of performance levels. Although performance degradations are typically small, a few cases of more serious loss of effciency are identified and discussed.

  19. Modelling operations and security of cloud systems using Z-notation and Chinese Wall security policy

    Science.gov (United States)

    Basu, Srijita; Sengupta, Anirban; Mazumdar, Chandan

    2016-11-01

    Enterprises are increasingly using cloud computing for hosting their applications. Availability of fast Internet and cheap bandwidth are causing greater number of people to use cloud-based services. This has the advantage of lower cost and minimum maintenance. However, ensuring security of user data and proper management of cloud infrastructure remain major areas of concern. Existing techniques are either too complex, or fail to properly represent the actual cloud scenario. This article presents a formal cloud model using the constructs of Z-notation. Principles of the Chinese Wall security policy have been applied to design secure cloud-specific operations. The proposed methodology will enable users to safely host their services, as well as process sensitive data, on cloud.

  20. Exploring the association between visual perception abilities and reading of musical notation.

    Science.gov (United States)

    Lee, Horng-Yih

    2012-06-01

    In the reading of music, the acquisition of pitch information depends primarily upon the spatial position of notes as well as upon an individual's spatial processing ability. This study investigated the relationship between the ability to read single notes and visual-spatial ability. Participants with high and low single-note reading abilities were differentiated based upon differences in musical notation-reading abilities and their spatial processing; object recognition abilities were then assessed. It was found that the group with lower note-reading abilities made more errors than did the group with a higher note-reading abilities in the mental rotation task. In contrast, there was no apparent significant difference between the two groups in the object recognition task. These results suggest that note-reading may be related to visual spatial processing abilities, and not to an individual's ability with object recognition.

  1. He led them forth like Sheep Når teksten substituerer den rytmiske notation - en studie i Händels oratorium Israel in Egypt

    DEFF Research Database (Denmark)

    Topp, Morten

    1999-01-01

    Handel, Händel, opførelsespraksis, performance practice, rytmisk notation, Israel i Ægypten, Israel in Egypt,......Handel, Händel, opførelsespraksis, performance practice, rytmisk notation, Israel i Ægypten, Israel in Egypt,...

  2. The Effects of Aural versus Notated Instructional Materials on Achievement and Self-Efficacy in Jazz Improvisation

    Science.gov (United States)

    Watson, Kevin E.

    2010-01-01

    The purpose of the present study was to investigate the effects of aural versus notated pedagogical materials on achievement and self-efficacy in instrumental jazz improvisation performance. A secondary purpose of this study was to investigate how achievement and self-efficacy may be related to selected experience variables. The sample for the…

  3. "The Spiral Model for the Development of Coordination": A Learning Model Based on Eshkol-Wachman Movement Notation (EWMN)

    Science.gov (United States)

    Al-Dor, Nira

    2006-01-01

    The objective of this study is to present "The Spiral Model for the Development of Coordination" (SMDC), a learning model that reflects the complexity and possibilities embodied in the learning of movement notation Eshkol-Wachman (EWMN), an Israeli invention. This model constituted the infrastructure for a comprehensive study that examined the…

  4. Complexity VIII. Ontology of closure in complex systems: The C* hypothesis and the O° notation

    Science.gov (United States)

    Chandler, Jerry LR

    1999-03-01

    Closure is a common characteristic of mathematical, natural and socio-cultural systems. Whether one is describing a graph, a molecule, a cell, a human, or a nation state, closure is implicitly understood. An objective of this paper is to continue a construction of a systematic framework for closure which is sufficient for future quantitative transdisciplinary investigations. A further objective is to extend the Birkhoff-von Neumann criterion for quantum systems to complex natural objects. The C* hypothesis is being constructed to be consistent with algebraic category theory (Ehresmann and Vanbremeersch, 1987, 1997, Chandler, 1990, 1991, Chandler, Ehresmann and Vanbremeersch, 1996). Five aspects of closure will be used to construct a framework for categories of complex systems: 1. Truth functions in mathematics and the natural sciences 2. Systematic descriptions in the mks and O° notations 3. Organizational structures in hierarchical scientific languages 4. Transitive organizational pathways in the causal structures of complex behaviors 5. Composing additive, multiplicative and exponential operations in complex systems Truth functions can be formal or objective or subjective, depending on the complexity of the system and on our capability to represent the fine structure of the system symbolically, observationally or descriptively. "Complete" material representations of the fine structure of a system may allow truth functions to be created over sets of one to one correspondences. Less complete descriptions can support less stringent truth functions based on coherence or subjective judgments. The role of human values in creating and perpetuating truth functions can be placed in context of the degree of fine structure in the system's description. The organization of complex systems are hypothesized to be categorizable into degrees relative to one another, thereby creating an ordering relationship. This ordering relationship is denoted by the symbols: O°1, O°2,O°3

  5. Calculating the dermal flux of chemicals with OELs based on their molecular structure: An attempt to assign the skin notation.

    Science.gov (United States)

    Kupczewska-Dobecka, Małgorzata; Jakubowski, Marek; Czerczak, Sławomir

    2010-09-01

    Our objectives included calculating the permeability coefficient and dermal penetration rates (flux value) for 112 chemicals with occupational exposure limits (OELs) according to the LFER (linear free-energy relationship) model developed using published methods. We also attempted to assign skin notations based on each chemical's molecular structure. There are many studies available where formulae for coefficients of permeability from saturated aqueous solutions (K(p)) have been related to physicochemical characteristics of chemicals. The LFER model is based on the solvation equation, which contains five main descriptors predicted from chemical structure: solute excess molar refractivity, dipolarity/polarisability, summation hydrogen bond acidity and basicity, and the McGowan characteristic volume. Descriptor values, available for about 5000 compounds in the Pharma Algorithms Database were used to calculate permeability coefficients. Dermal penetration rate was estimated as a ratio of permeability coefficient and concentration of chemical in saturated aqueous solution. Finally, estimated dermal penetration rates were used to assign the skin notation to chemicals. Defined critical fluxes defined from the literature were recommended as reference values for skin notation. The application of Abraham descriptors predicted from chemical structure and LFER analysis in calculation of permeability coefficients and flux values for chemicals with OELs was successful. Comparison of calculated K(p) values with data obtained earlier from other models showed that LFER predictions were comparable to those obtained by some previously published models, but the differences were much more significant for others. It seems reasonable to conclude that skin should not be characterised as a simple lipophilic barrier alone. Both lipophilic and polar pathways of permeation exist across the stratum corneum. It is feasible to predict skin notation on the basis of the LFER and other published

  6. Holistic processing of musical notation: Dissociating failures of selective attention in experts and novices.

    Science.gov (United States)

    Wong, Yetta Kwailing; Gauthier, Isabel

    2010-12-01

    Holistic processing (i.e., the tendency to process objects as wholes) is associated with face perception and also with expertise individuating novel objects. Surprisingly, recent work also reveals holistic effects in novice observers. It is unclear whether the same mechanisms support holistic effects in experts and in novices. In the present study, we measured holistic processing of music sequences using a selective attention task in participants who vary in music-reading expertise. We found that holistic effects were strategic in novices but were relatively automatic in experts. Correlational analyses revealed that individual holistic effects were predicted by both individual music-reading ability and neural responses for musical notation in the right fusiform face area (rFFA), but in opposite directions for experts and novices, suggesting that holistic effects in the two groups may be of different natures. To characterize expert perception, it is important not only to measure the tendency to process objects as wholes, but also to test whether this effect is dependent on task constraints.

  7. Systems Biology Graphical Notation: Process Description language Level 1 Version 1.3.

    Science.gov (United States)

    Moodie, Stuart; Le Novère, Nicolas; Demir, Emek; Mi, Huaiyu; 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 Process Description language represents biological entities and processes between these entities within a network. SBGN PD focuses on the mechanistic description and temporal dependencies of biological interactions and transformations. The nodes (elements) are split into entity nodes describing, e.g., metabolites, proteins, genes and complexes, and process nodes describing, e.g., reactions and associations. The edges (connections) provide descriptions of relationships (or influences) between the nodes, such as consumption, production, stimulation and inhibition. Among all three languages of SBGN, PD is the closest to metabolic and regulatory pathways in biological literature and textbooks, but its well-defined semantics offer a superior precision in expressing biological knowledge.

  8. Systems Biology Graphical Notation: Activity Flow language Level 1 Version 1.2.

    Science.gov (United States)

    Mi, Huaiyu; Schreiber, Falk; Moodie, Stuart; Czauderna, Tobias; Demir, Emek; Haw, Robin; Luna, Augustin; Le Novère, Nicolas; Sorokin, Anatoly; 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 Activity Flow language represents the influences of activities among various entities within a network. Unlike SBGN PD and ER that focus on the entities and their relationships with others, SBGN AF puts the emphasis on the functions (or activities) performed by the entities, and their effects to the functions of the same or other entities. The nodes (elements) describe the biological activities of the entities, such as protein kinase activity, binding activity or receptor activity, which can be easily mapped to Gene Ontology molecular function terms. The edges (connections) provide descriptions of relationships (or influences) between the activities, e.g., positive influence and negative influence. Among all three languages of SBGN, AF is the closest to signaling pathways in biological literature and textbooks, but its well-defined semantics offer a superior precision in expressing biological knowledge.

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

  10. Requirements Modeling with the Aspect-oriented User Requirements Notation (AoURN): A Case Study

    Science.gov (United States)

    Mussbacher, Gunter; Amyot, Daniel; Araújo, João; Moreira, Ana

    The User Requirements Notation (URN) is a recent ITU-T standard that supports requirements engineering activities. The Aspect-oriented URN (AoURN) adds aspect-oriented concepts to URN, creating a unified framework that allows for scenario-based, goal-oriented, and aspect-oriented modeling. AoURN is applied to the car crash crisis management system (CCCMS), modeling its functional and non-functional requirements (NFRs). AoURN generally models all use cases, NFRs, and stakeholders as individual concerns and provides general guidelines for concern identification. AoURN handles interactions between concerns, capturing their dependencies and conflicts as well as the resolutions. We present a qualitative comparison of aspect-oriented techniques for scenario-based and goal-oriented requirements engineering. An evaluation carried out based on the metrics adapted from literature and a task-based evaluation suggest that AoURN models are more scalable than URN models and exhibit better modularity, reusability, and maintainability.

  11. Kidney transplantation process in Brazil represented in business process modeling notation.

    Science.gov (United States)

    Peres Penteado, A; Molina Cohrs, F; Diniz Hummel, A; Erbs, J; Maciel, R F; Feijó Ortolani, C L; de Aguiar Roza, B; Torres Pisa, I

    2015-05-01

    Kidney transplantation is considered to be the best treatment for people with chronic kidney failure, because it improves the patients' quality of life and increases their length of survival compared with patients undergoing dialysis. The kidney transplantation process in Brazil is defined through laws, decrees, ordinances, and resolutions, but there is no visual representation of this process. The aim of this study was to analyze official documents to construct a representation of the kidney transplantation process in Brazil with the use of business process modeling notation (BPMN). The methodology for this study was based on an exploratory observational study, document analysis, and construction of process diagrams with the use of BPMN. Two rounds of validations by specialists were conducted. The result includes the kidney transplantation process in Brazil representation with the use of BPMN. We analyzed 2 digital documents that resulted in 2 processes with 45 total of activities and events, 6 organizations involved, and 6 different stages of the process. The constructed representation makes it easier to understand the rules for the business of kidney transplantation and can be used by the health care professionals involved in the various activities within this process. Construction of a representation with language appropriate for the Brazilian lay public is underway. Copyright © 2015 Elsevier Inc. All rights reserved.

  12. Position coding effects in a 2D scenario: the case of musical notation.

    Science.gov (United States)

    Perea, Manuel; García-Chamorro, Cristina; Centelles, Arnau; Jiménez, María

    2013-07-01

    How does the cognitive system encode the location of objects in a visual scene? In the past decade, this question has attracted much attention in the field of visual-word recognition (e.g., "jugde" is perceptually very close to "judge"). Letter transposition effects have been explained in terms of perceptual uncertainty or shared "open bigrams". In the present study, we focus on note position coding in music reading (i.e., a 2D scenario). The usual way to display music is the staff (i.e., a set of 5 horizontal lines and their resultant 4 spaces). When reading musical notation, it is critical to identify not only each note (temporal duration), but also its pitch (y-axis) and its temporal sequence (x-axis). To examine note position coding, we employed a same-different task in which two briefly and consecutively presented staves contained four notes. The experiment was conducted with experts (musicians) and non-experts (non-musicians). For the "different" trials, the critical conditions involved staves in which two internal notes that were switched vertically, horizontally, or fully transposed--as well as the appropriate control conditions. Results revealed that note position coding was only approximate at the early stages of processing and that this encoding process was modulated by expertise. We examine the implications of these findings for models of object position encoding. Copyright © 2013 Elsevier B.V. All rights reserved.

  13. SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java

    Directory of Open Access Journals (Sweden)

    Alvaro Miyazawa

    2016-06-01

    Full Text Available Safety-Critical Java (SCJ is a version of Java whose goal is to support the development of real-time, embedded, safety-critical software. In particular, SCJ supports certification of such software by introducing abstractions that enforce a simpler architecture, and simpler concurrency and memory models. In this paper, we present SCJ-Circus, a refinement-oriented formal notation that supports the specification and verification of low-level programming models that include the new abstractions introduced by SCJ. SCJ-Circus is part of the family of state-rich process algebra Circus, as such, SCJ-Circus includes the Circus constructs for modelling sequential and concurrent behaviour, real-time and object orientation. We present here the syntax and semantics of SCJ-Circus, which is defined by mapping SCJ-Circus constructs to those of standard Circus. This is based on an existing approach for modelling SCJ programs. We also extend an existing Circus-based refinement strategy that targets SCJ programs to account for the generation of SCJ-Circus models close to implementations in SCJ.

  14. A notational analysis of elite tennis serve and serve-return strategies on slow surface.

    Science.gov (United States)

    Gillet, Eric; Leroy, David; Thouvarecq, Régis; Stein, Jean-François

    2009-03-01

    A notational analysis of singles events at the French Open Grand Slam tournament was undertaken in 2005 and 2006 to characterize the game patterns and strategies of serve and serve-return and to determine their influence on the point issue on a clay court surface. One hundred sixteen men's singles matches were video analyzed. The flat serve (57.6%), particularly down the "T" location (50.3%), allowed servers to win significantly more points than the topspin (24.1%) and slice serves (18.3%). When the topspin was the first serve strategy, servers kept a high percentage of points won from the serve (52.4%). This strategy was essentially used on the second serve (91.6%) by playing the "T" location in the deuce court and the wide zone in the advantage court. Returns to the central zone allowed receivers to win more points (73.3% on first serve and 65.9% on second serve) than plays to external locations. The results highlight the high impact of the first shots of all opponents on the rally. Even on clay, the slowest court surface, serves and serve-returns remain the strokes that most influence the match results in modern tennis games.

  15. Intuitive Music and Graphic Notation:Two Musical Training Disciplines within Music Therapy Education and their theoretical Backgrounds

    OpenAIRE

    Bergstrøm-Nielsen, Carl

    1999-01-01

    Describes subjects existing at Aalborg University since the middle eighties. "Intuitive Music" trains free improvisation through exercises including group-dynamic exercises, awareness exercises and parameter exercises. Students also create open compositions. "Graphic notation"concerns aural scores. Students' works are quoted. The writer discusses the theoretical context and advocates for giving more attention to music as the medium in which music therapy takes place, referring to language the...

  16. Mathematical aspects that extend the notion of scientific notation in the area of Physics of General Middle Education

    Directory of Open Access Journals (Sweden)

    Yohan Godoy

    2018-01-01

    Full Text Available For this work, a constructivist didactic proposal was designed in which the students of the third year of General Media Education can acquire a significant learning in the use of Scientific Notation. The type of research used is among feasible projects with a non-experimental field design. For data collection, the survey technique was used, which was applied to 43 students of the Physics subject of the third year of the Liceo Rosario Almarza Trujillo-Venezuela. The analysis of the results indicated that they present deficiencies in terms of significant numbers and order magnitude, which are essential mathematical aspects for the understanding and use of Scientific Notation in the area of Physics, as well as highlighting the need for Implement other teaching and learning strategies, such as a series of complementary activities for the teacher in the classroom or the student. In view of these results, a didactic guide was carried out using the known mathematical aspects and various ludic activities to extend the notion and use of scientific notation.

  17. Acuidade visual: Medidas e notações Visual acuity: Measurements and notations

    Directory of Open Access Journals (Sweden)

    Harley E. A. Bicas

    2002-06-01

    Full Text Available Avaliações da função visual são muito complexas por dependerem de mecanismos aferentes, eferentes e cognitivos, além de fatores externos à pessoa examinada, como o tipo de estímulo e o de sua apresentação. O exame da acuidade visual é discutido em seus aspectos formais de definições, quantificações (critérios de medição de um ângulo e tamanho dos optotipos, notações (decimal ou fracionárias, escalas (representando relações angulares, lineares, logarítmicas e unidades em que os valores são expressos (recíproca do minuto de arco, número puro, freqüência espacial, decibéis e oitavas. Como conseqüência, referências numéricas sobre a acuidade visual e operações que as envolvem (p.ex., cálculo de valores médios, determinação de variações, relações entre elas podem levar a interpretações muito diferentes e até opostas num mesmo estudo, dependendo dos critérios nele empregados.Evaluations of the visual function are very intricate since they depend on afferent, efferent and cognitive mechanisms, besides external factors of the examined subject, such as the type of the stimulus and of its presentation. Testing the visual acuity is discussed in its formal aspects related to definitions, quantifications (criteria for the measurements of an angle, size of optotypes, notations (decimal or fractionary, scales (representing angular, linear or logarithmic relationships and units in which the values are expressed (reciprocal of minutes of arc, pure number, spacial frequency, decibels, octaves. As a consequence, numerical references about visual acuity and respective operations (e.g., calculations of average values, determinations of variations, relationships between them may lead to very different interpretations of a study, sometimes even opposite, according to the criteria which are used.

  18. QUEUING ANALYSIS OF CAR SERVICING CUSTOMERS USED SINGLE CHANNEL MODEL AND KENDALL'S NOTATION IN PT. ARMADA MOBIL PURWOKERTO

    Directory of Open Access Journals (Sweden)

    Tugiyono

    2013-04-01

    Full Text Available This study aims to identify the customer’s problem queue, specify the model queue, the arrival and customer service frequency distributions at PT. Armada Mobil Purwokerto. Methods of the research conducted by observing and measuring directly the research object, the data from the study was calculated according to the theory of queues. The result appropriate to single channel queuing model Poisson distribution of the arrivals, exponential distribution of the time service. The characteristized of Kendall’s notation is M/M/3/3/571.

  19. Computerized crystal-chemical classification of silicates and related materials with CRYSTANA and formula notation for classified structures

    International Nuclear Information System (INIS)

    Klein, Hans-Joachim; Liebau, Friedrich

    2008-01-01

    The computer program CRYSTANA is described which implements a method for the crystal-chemical classification of silicates and related materials. This method is mainly based upon the topological structure of the connected units of a compound and can be applied when the units are built from tetrahedra as coordination polyhedra. The classification parameters and the rules which have to be applied for their determination are summarized and a formalization of the method is provided based upon a finite graph representation of the units. A description of how CRYSTANA can be used and which kind of output it produces is included. From this output crystal-chemical formulas can be derived, which differ slightly from an existing notation in order to meet recommendations of the International Union of Crystallography. - The computer program CRYSTANA is described which implements a method for the crystal-chemical classification of silicates and related materials. The implementation is based upon a graph-theoretical formalization of the classification method. An extended notation of crystal-chemical formulas is introduced. The formulas can be derived from the output of the program

  20. Read the poem in “ese mar único, infinitesimal, llamado oído”. Notation of a triumph

    Directory of Open Access Journals (Sweden)

    María Eugenia Rasic

    2016-09-01

    Full Text Available Drawing form musical theory, this paper aims to offer a musical reading of two works by Argentine poet Arturo Carrera: Children's Corners (1989 and Las cuatro estaciones [The Four Seasons] (2008. Beyond the intertextuality, and we could also say, the “intersonority”, with the pieces composed by Debussy, in the first case, and Vivaldi, in the second, this reading allow us to critically reflect on two complex theoretical notions that intersect both artistic experiences: time –which appears as a remain and as rhythm–  and space –which appears both in the idea of musical notation and in the simultaneous construction of the poem. Moreover, since this intersection is also methodological, another compelling issue is to show that what was read and heard with the musical notation of the early twentieth century was precisely the fantasy of beating the directionality of progressive time, the time of the century. How to write then the triumph of the progressive directionality of time? Which senses does this writing touch in Arturo Carrera’s work?

  1. QUANTUM: A Wolfram Mathematica add-on for Dirac Bra-Ket Notation, Non-Commutative Algebra, and Simulation of Quantum Computing Circuits

    International Nuclear Information System (INIS)

    Muñoz, J L Gómez; Delgado, F

    2016-01-01

    This paper introduces QUANTUM, a free library of commands of Wolfram Mathematica that can be used to perform calculations directly in Dirac braket and operator notation. Its development started several years ago, in order to study quantum random walks. Later, many other features were included, like operator and commutator algebra, simulation and graphing of quantum computing circuits, generation and solution of Heisenberg equations of motion, among others. To the best of our knowledge, QUANTUM remains a unique tool in its use of Dirac notation, because it is used both in the input and output of the calculations. This work depicts its usage and features in Quantum Computing and Quantum Hamilton Dynamics. (paper)

  2. HRT-UML: a design method for hard real-time systems based on the UML notation

    Science.gov (United States)

    D'Alessandro, Massimo; Mazzini, Silvia; di Natale, Marco; Lipari, Giuseppe

    2002-07-01

    The Hard Real-Time-Unified Modelling Language (HRT-UML) method aims at providing a comprehensive solution to the modeling of Hard Real Time systems. The experience shows that the design of Hard Real-Time systems needs methodologies suitable for the modeling and analysis of aspects related to time, schedulability and performance. In the context of the European Aerospace community a reference method for design is Hierarchical Object Oriented Design (HOOD) and in particular its extension for the modeling of hard real time systems, Hard Real-Time-Hierarchical Object Oriented Design (HRT-HOOD), recommended by the European Space Agency (ESA) for the development of on-board systems. On the other hand in recent years the Unified Modelling Language (UML) has been gaining a very large acceptance in a wide range of domains, all over the world, becoming a de-facto international standard. Tool vendors are very active in this potentially big market. In the Aerospace domain the common opinion is that UML, as a general notation, is not suitable for Hard Real Time systems, even if its importance is recognized as a standard and as a technological trend in the near future. These considerations suggest the possibility of replacing the HRT-HOOD method with a customized version of UML, that incorporates the advantages of both standards and complements the weak points. This approach has the clear advantage of making HRT-HOOD converge on a more powerful and expressive modeling notation. The paper identifies a mapping of the HRT-HOOD semantics into the UML one, and proposes a UML extension profile, that we call HRT-UML, based on the UML standard extension mechanisms, to fully represent HRT-HOOD design concepts. Finally it discusses the relationships between our profile and the UML profile for schedulability, performance and time, adopted by OMG in November 2001.

  3. Separating Business Logic from Medical Knowledge in Digital Clinical Workflows Using Business Process Model and Notation and Arden Syntax.

    Science.gov (United States)

    de Bruin, Jeroen S; Adlassnig, Klaus-Peter; Leitich, Harald; Rappelsberger, Andrea

    2018-01-01

    Evidence-based clinical guidelines have a major positive effect on the physician's decision-making process. Computer-executable clinical guidelines allow for automated guideline marshalling during a clinical diagnostic process, thus improving the decision-making process. Implementation of a digital clinical guideline for the prevention of mother-to-child transmission of hepatitis B as a computerized workflow, thereby separating business logic from medical knowledge and decision-making. We used the Business Process Model and Notation language system Activiti for business logic and workflow modeling. Medical decision-making was performed by an Arden-Syntax-based medical rule engine, which is part of the ARDENSUITE software. We succeeded in creating an electronic clinical workflow for the prevention of mother-to-child transmission of hepatitis B, where institution-specific medical decision-making processes could be adapted without modifying the workflow business logic. Separation of business logic and medical decision-making results in more easily reusable electronic clinical workflows.

  4. New methods for clinical pathways-Business Process Modeling Notation (BPMN) and Tangible Business Process Modeling (t.BPM).

    Science.gov (United States)

    Scheuerlein, Hubert; Rauchfuss, Falk; Dittmar, Yves; Molle, Rüdiger; Lehmann, Torsten; Pienkos, Nicole; Settmacher, Utz

    2012-06-01

    Clinical pathways (CP) are nowadays used in numerous institutions, but their real impact is still a matter of debate. The optimal design of a clinical pathway remains unclear and is mainly determined by the expectations of the individual institution. The purpose of the here described pilot project was the development of two CP (colon and rectum carcinoma) according to Business Process Modeling Notation (BPMN) and Tangible Business Process Modeling (t.BPM). BPMN is an established standard for business process modelling in industry and economy. It is, in the broadest sense, a computer programme which enables the description and a relatively easy graphical imaging of complex processes. t.BPM is a modular construction system of the BPMN symbols which enables the creation of an outline or raw model, e.g. by placing the symbols on a spread-out paper sheet. The thus created outline can then be transferred to the computer and further modified as required. CP for the treatment of colon and rectal cancer have been developed with support of an external IT coach. The pathway was developed in an interdisciplinary and interprofessional manner (55 man-days over 15 working days). During this time, necessary interviews with medical, nursing and administrative staffs were conducted as well. Both pathways were developed parallel. Subsequent analysis was focussed on feasibility, expenditure, clarity and suitability for daily clinical practice. The familiarization with BPMN was relatively quick and intuitive. The use of t.BPM enabled the pragmatic, effective and results-directed creation of outlines for the CP. The development of both CP was finished from the diagnostic evaluation to the adjuvant/neoadjuvant therapy and rehabilitation phase. The integration of checklists, guidelines and important medical or other documents is easily accomplished. A direct integration into the hospital computer system is currently not possible for technical reasons. BPMN and t.BPM are sufficiently

  5. “And Thou, all-Shaking Thunder…”A Theological Notation to Lines 1–38 of King Lear, Act III, Scene II

    Directory of Open Access Journals (Sweden)

    William C. Hackett

    2017-05-01

    Full Text Available In the dramas of Shakespeare, the madman and the fool speak in prose; wisdom and sanity are properly poeticised. King Lear is no exception: I go some way in providing a theological notation to a crucial moment of Lear’s descent into madness, the fracturing of his blank verse into prose. Is the storm on the heath a representation of the turmoil of his mind? Or is it a theophany, the manifestation of divine displeasure at human foolishness? Finding between the verse and the prose the theological tradition of Christianity will allow us to negotiate this question and to understand a little more clearly the peculiar wisdom of poetry for Christianity.

  6. Computer aided analysis of additional chromosome aberrations in Philadelphia chromosome positive acute lymphoblastic leukaemia using a simplified computer readable cytogenetic notation

    Directory of Open Access Journals (Sweden)

    Mohr Brigitte

    2003-01-01

    Full Text Available Abstract Background The analysis of complex cytogenetic databases of distinct leukaemia entities may help to detect rare recurring chromosome aberrations, minimal common regions of gains and losses, and also hot spots of genomic rearrangements. The patterns of the karyotype alterations may provide insights into the genetic pathways of disease progression. Results We developed a simplified computer readable cytogenetic notation (SCCN by which chromosome findings are normalised at a resolution of 400 bands. Lost or gained chromosomes or chromosome segments are specified in detail, and ranges of chromosome breakpoint assignments are recorded. Software modules were written to summarise the recorded chromosome changes with regard to the respective chromosome involvement. To assess the degree of karyotype alterations the ploidy levels and numbers of numerical and structural changes were recorded separately, and summarised in a complex karyotype aberration score (CKAS. The SCCN and CKAS were used to analyse the extend and the spectrum of additional chromosome aberrations in 94 patients with Philadelphia chromosome positive (Ph-positive acute lymphoblastic leukemia (ALL and secondary chromosome anomalies. Dosage changes of chromosomal material represented 92.1% of all additional events. Recurring regions of chromosome losses were identified. Structural rearrangements affecting (pericentromeric chromosome regions were recorded in 24.6% of the cases. Conclusions SCCN and CKAS provide unifying elements between karyotypes and computer processable data formats. They proved to be useful in the investigation of additional chromosome aberrations in Ph-positive ALL, and may represent a step towards full automation of the analysis of large and complex karyotype databases.

  7. Visual Meta-Programming Notation

    National Research Council Canada - National Science Library

    Auguston, Mikhail

    2001-01-01

    ...), encapsulation means for hierarchical rules design, two-dimensional data-flow diagrams for rules, visual control constructs for conditionals and iteration, default mapping results to reduce real...

  8. التجاوزات على الأراضي الوقفية في لواء الديوانية: مقبرة شعبان بك أنموذجا 1861-1968

    Directory of Open Access Journals (Sweden)

    عاصم حاكم عباس الجبوري

    2018-01-01

    Full Text Available اتخذت مشكلة الأراضي في العراق منحىً تنظيمياً غير مخطط، أثرت على سياسة الدولة بصورة عامة، وأفشلت معظم محاولات الحل، منذ أن شرّع العثمانيون قانون الأراضي لسنة 1858 وتم تطبيقه متأخراً في العراق أبان عهد الوالي مدحت باشا (1869-1872، الذي أمر بتنفيذه في كانون الثاني عام 1871، بوصفه جزءاً من إصلاحاته، بعد اعتماده بالأساس على القانون الصادر، المرتكز على مبدأين في ملكية الأرض (الفتح والأحياء، اللذَين تشكّل منهما تشخيص الأراضي الأميرية، وجعلها تحت تصرف الأمير كيفما يشاء بحسب مبدأ الفتح.     وعند دراسة محتوى البحث توفرت الفرصة للحديث عن التشابه البنائي في مفهوم الأرض، اذ اندرجت أجزاء كبيرة من الأراضي في العراق ضمن الأراضي الأميرية، والتي تعود رقبتها الى بيت المال، وتجري إحالتها وتفويضها بموافقة الدولة، ويعطى المتصرفون فيها سندات خاقانية -أي سند طابو- وأراضي وقفية بمستوى ضيق جدا. وهذا شكل منطلقا للنفاذ الى موضوع البحث الذي يتمحور حول اراضٍ أميرية تحولت الى وقفية،  تلبية لمتطلبات دفن وبناء قبور لشخصيات عثمانية فيها.

  9. Graphological Elegance of English Punctuation Notations E ...

    African Journals Online (AJOL)

    Religion Dept

    The general principles governing the use of punctuation are (1) that if it does ... as this is a modern form of slang, and subject to the same disadvantage also”. 3. ...... Tracy, R.D. Dictionary of Correct English, Times Educational Company Ltd. 7A.

  10. Providing Music Notation Services over Internet

    OpenAIRE

    Solomon , Mike; Fober , Dominique; Orlarey , Yann; Letz , Stéphane

    2014-01-01

    International audience; The GUIDO project gathers a textual format for music representation, a rendering engine operating on this format, and a library providing a high level support for all the services related to the GUIDO format and it's graphic rendering. The project includes now an HTTP server that allows users to access the musical-score-related functions in the API of the GUIDOEngine library via uniform resource identifiers (URIs). This article resumes the core tenants of the REST arch...

  11. Theories of Notation and Polar Motion I,

    Science.gov (United States)

    1980-12-01

    relative motions such as ocean currents and winds, as we shall do. For the consideration of such effects see (Munk and Macdonald, 1960, p. 123; Lambeck...n)e ,uite general and niot irestricted to a solid body. In Fact, we na~it also in toe Poi ncar model . The equation K 12-1:: no;s the exponencial

  12. Rudolf von Laban’s Labanotation: the origin of notational analysis methods in sport sciences. [La Labanotación de Rudolf von Laban: el origen de los métodos de análisis notacional en las ciencias del deporte].

    Directory of Open Access Journals (Sweden)

    Miguel Ángel Gómez

    2015-01-01

    Full Text Available Rudolf von Laban (born in 1879, Poszony, Hungary; and died in 1958, Addlestone, England was one of the most significant figures in the movement analysis and dance in Europe during the 20th century (Lepczyk, 2009. He was considered a pioneer of modern dance and a theorist of the dance movements. Particularly, his work was considered a breakthrough in the history of dance notation systems (Barbacci, 2002; Lepczyk, 2009, 2011. According to Barbacci (2002 Laban had a live marked by idealism and deep disillusions, on the one hand, he lived in the most important cultural cities in Europe (Paris, Vienna, Munich, Berlin, Zurich, and London where he met and kept contact with intellectuals and artists, this experience allowed him to be influenced by some theories such as “Naturphilosophie”, which developed a biological and romantic vision of movements. In fact, Laban considered the movement as a “Dance of Nature” (Barbacci, 2002. On the other hand, he also was influenced by negative disillusions because he lived through two World Wars, the Weimar Republic and also the origins of Nazism. Laban tried to study the movement from a natural perspective where man has a place in the universe, thus the movement is related to the mind and body, as well as to individuals and groups (Barbacci, 2002. (Full text/texto completo.

  13. Notat til Sundheds- og Ældreudvalget, Christiansborg

    DEFF Research Database (Denmark)

    Ridder, Hanne Mette Ochsner; Holck, Ulla; Jacobsen, Stine Lindahl

    2015-01-01

    indsatser, for eksempel national anbefaling af musikterapi til mennesker med autisme, psykose og demens i Norge, Sverige, England og Tyskland. Trods manglende implementering i Danmark ser vi dog spirende lokale initiativer, bl.a. støttet af Ældrepuljen. Den har gjort det muligt at ansætte flere...

  14. Generating concept representations from examples, using set-based notation

    DEFF Research Database (Denmark)

    Galle, Per

    2000-01-01

    A database or knowledge-based system must draw on a conceptual schema that defines the domain concepts with which its user works. In the case of a system for architectural design support, for example, this might be concepts of walls, windows etc. However, making concepts explicit and expressing t...

  15. From Binary Notation to Gravitational Waves: Rocket Science Made Easy

    Science.gov (United States)

    Fisher, Diane K.; Leon, Nancy J.; Cooper, Larry

    2001-01-01

    The Space Place is a NASA educational outreach program open to all NASA missions, studies, and instruments. It uses diverse media (web, print, displays, hands-on activities) to deliver high-quality products through a highly leveraged infrastructure. Additional information is contained in the original extended abstract.

  16. Hybrid orbitals notation: Some misconceptions in an undergraduate ...

    African Journals Online (AJOL)

    This work reports a study performed involving 26 students of an undergraduate basic chemistry course class at Federal University of Rio Grande do Norte, Brazil. The study was performed in order to evaluate the misconceptions about hybridization that students bring from high school courses and how to overcame such ...

  17. hybrid orbitals notation: some misconceptions in an undergraduate

    African Journals Online (AJOL)

    Temechegn

    chemistry course class at Federal University of Rio Grande do Norte, Brazil. The study was ... high school courses and how to overcame such misconceptions. Methane ... [African Journal of Chemical Education—AJCE 7(1), January 2017] ... [2], in both research and teaching. In high .... feature of the freshman student profile.

  18. 40 CFR 60.431 - Definitions and notations.

    Science.gov (United States)

    2010-07-01

    ..., Miscellaneous advertisements, including brochures, pamphlets, catalogue sheets, circular folders, announcements... premium, Direct mail advertisements, including circulars, letters, pamphlets, cards, and printed envelopes...

  19. NOTATIONAL ANALYSIS OF EUROPEAN, WORLD, AND OLYMPIC BMX CYCLING RACES

    Directory of Open Access Journals (Sweden)

    Manuel Mateo-March

    2012-09-01

    Full Text Available The objectives of this study were 1 to describe the technical requirements of different tracks where classifying points are disputed for the Olympics as the European continent tracks (E, world championship competitions tracks (W, and Olympic Games track - Beijing, 2008- (O; and 2 to compare and establish differences or similarities between the three previous contexts. The sample used for this study was made of the 8 best qualifying male athletes from each competition (n = 48 during the 2007 and 2008 seasons (pre-Olympic and Olympic years. A descriptive design was used, based on systematic structured observation of the competitions filmed on video, paying attention to the different techniques used (overtaking skills, complete pedalling cycles and registered effort times. The results show that aerial techniques predominate over non aerial techniques on O and W type tracks more than on E tracks by ~20% (p < 0.001, pedaling cycles predominate in E vs. W and O by 11.85 and 24.23% respectively (p < 0.05, and effort times predominate in O vs. W and E by 6.50 and 12.94% respectively (p < 0.01. In conclusion, O and W tracks stand out because of the aerial component and greater technical complexity in comparison to E tracks, which has a decisive effect on the way the riders train in relation to the type of championship they aim to compete in

  20. Modern Notation of business models: а visual Trend

    OpenAIRE

    Tatiana, Gavrilova; Artem, Alsufyev; Anna-sophia, Yanson

    2014-01-01

    Information overf low and dynamic market changes encourage managers to search for a relevant and eloquent model to describe their business. This paper provides a new framework for visualizing business models, guided by wellshaped visualization based on a mind mapping technique. Due to the simplicity of perception, this approach has a positive impact on managers and employees’ understanding of companies’ business models and promotes a productive exchange of ideas and knowledge. The mindmapping...

  1. notation et connotation dans la langue des scholies

    Directory of Open Access Journals (Sweden)

    Pascale Hummel

    2005-06-01

    Full Text Available The scholia add a second or secondary (grammatical; philological text to the main (literary text. They sometimes also add a meaning which might be considered (by modern philologists as superfluous, irrelevant, or even unnecessary. The ancient commentators actually choose what they want to comment upon and how they want to do so. They mostly see the anterior texts from the point of view of their own synchrony and understanding. Scholia certainly don't reflect any denotative objectivity, which would just unfold the true and unique (if possible meaning. The grammarians comment what their minds or their languages lead them to comment upon. Therefore the philological result looks like a mixture of objectivity and subjectivity. When a Greek grammarian of the Alexandrian era comments upon a Greek text of a previous time, in which ways is the Greek language put into a changing perspective? Does the technical language of the scholiasts provide the commented texts with more connotation or more denotation? How do the synchrony (of the commentary and the diachrony (of the texts commented upon meet, and what kind of meaning is then expressed or made available?

  2. Basic notations and survey of the investigations, ch. 1

    International Nuclear Information System (INIS)

    Gunsteren, W.F. van

    1976-01-01

    An introduction and historical survey to spherical quasiparticle calculation is given in relation to the low-seniority approximation of the nuclear shell model. Various methods for the solution of the so-called gap equations are indicated. The effect of particle number projection for the wave functions is discussed. A description of the generator coordinate method, as applied in quasiparticle calculations is given

  3. 7 CFR 27.69 - Classification review; notations on certificate.

    Science.gov (United States)

    2010-01-01

    ... Section 27.69 Agriculture Regulations of the Department of Agriculture AGRICULTURAL MARKETING SERVICE (Standards, Inspections, Marketing Practices), DEPARTMENT OF AGRICULTURE COMMODITY STANDARDS AND STANDARD... review of classification is made after the issuance of a cotton class certificate, the results of the...

  4. The processing of music notation: some implications for piano sight ...

    African Journals Online (AJOL)

    Most piano pupils and many professional pianists find it difficult to sight-read music fluently. A major reason for this phenomenon is the complexity of the piano sight-reading process. Cognitive research reveals an intricate system of neural networks spread over all four cortical lobes of the brain, which are involved in ...

  5. 18 CFR 3a.31 - Classification markings and special notations.

    Science.gov (United States)

    2010-04-01

    ... Confidential will be stamped in red ink, printed, or written in letters considerably larger than those used in... disclosure subject to criminal sanctions. (4) Sensitive intelligence information. For classified information or material relating to sensitive intelligence sources and methods, the following warning notice...

  6. Kelvin Notation for Stabilizing Elastic-Constant Inversion Notation Kelvin pour stabiliser l'inversion de constantes élastiques

    Directory of Open Access Journals (Sweden)

    Dellinger J.

    2006-12-01

    Full Text Available Inverting a set of core-sample traveltime measurements for a complete set of 21 elastic constants is a difficult problem. If the 21 elastic constants are directly used as the inversion parameters, a few bad measurements or an unfortunate starting guess may result in the inversion converging to a physically impossible solution . Even given perfect data, multiple solutions may exist that predict the observed traveltimes equally well. We desire the inversion algorithm to converge not just to a physically possible solution, but to the best(i. e. most physically likely solution of all those allowed. We present a new parameterization that attempts to solve these difficulties. The search space is limited to physically realizable media by making use of the Kelvin eigenstiffness-eigentensor representation of the 6 x 6 elastic stiffness matrix. Instead of 21 stiffnesses, there are 6 eigenstiffness parametersand 15 rotational parameters . The rotational parameters are defined using a Lie-algebra representation that avoids the artificial degeneracies and coordinate-system bias that can occur with standard polar representations. For any choice of these 21 real parameters, the corresponding stiffness matrix is guaranteed to be physically realizable. Furthermore, all physically realizable matrices can be represented in this way. This new parameterization still leaves considerable latitude as to which linear combinations of the Kelvin parameters to use, and how they should be ordered. We demonstrate that by careful choice and ordering of the parameters, the inversion can be relaxedfrom higher to lower symmetry simply by adding a few more parameters at a time. By starting from isotropy and relaxing to the general result in stages (isotropy, transverse isotropy, orthorhombic, general, we expect that the method should find the solution that is closest to isotropy of all those that fit the data. L'inversion d'un ensemble de mesures du temps de parcours d'une carotte-échantillon pour la détermination d'un groupe complet de 21 constantes élastiques est un problème difficile. Si nous utilisons directement les 21 constantes élastiques comme paramètres d'inversion, quelques mesures incorrectes ou une malheureuse hypothèse de départ, peuvent faire que l'inversion aboutit à une solution physiquement impossible. Même en disposant de données parfaites, de multiples solutions peuvent expliquer les temps de parcours observés. Notre objectif est de faire en sorte que l'algorithme d'inversion donne non seulement une solution physiquement possible, mais la meilleuresolution (autrement dit la plus physiquement vraisemblable de toutes celles possibles. Nous présentons une nouvelle paramétrisation qui tente d'éliminer ces difficultés. Nous limitons l'espace de recherche à des solutions physiquement réalisables en utilisant la représentation de Kelvin rigidité propre-tenseur propre de la matrice 6 x 6 de rigidité élastique. On a 6 paramètres de rigidité propre et 15 paramètres de rotation au lieu de 21 paramètres de rigidité. Les paramètres de rotations sont définis à l'aide de la représentation des algèbres de Lie qui évite les dégénérescences artificielles et le biais induit par une représentation classique à l'aide d'un système de coordonnées. On a la certitude de pouvoir réaliser physiquement la matrice de rigidité correspondante pour n'importe quel choix de ces 21 paramètres réels. Il est par ailleurs possible de représenter de cette façon toutes les matrices physiquement réalisables. Cette nouvelle paramétrisation laisse toujours une latitude considérable quant aux choix des combinaisons linéaires des paramètres de Kelvin à utiliser et à la façon dont ils doivent être ordonnés. Nous démontrons que, grâce à un choix et à un arrangement précis des paramètres, le résultat de l'inversion peut évoluer de la symétrie la plus forte à la symétrie la plus faible par une introduction progressive des paramètres. En permettant l'évolution par étapes (isotropie, isotropie transversale, orthorhombique, anisotropie générale, la méthode doit déboucher sur la solution la plus isotrope de toutes celles qui expliquent les données.

  7. Modeling and notation of DEA with strong and weak disposable outputs.

    Science.gov (United States)

    Kuntz, Ludwig; Sülz, Sandra

    2011-12-01

    Recent articles published in Health Care Management Science have described DEA applications under the assumption of strong and weak disposable outputs. As we confidently assume that these papers include some methodical deficiencies, we aim to illustrate a revised approach.

  8. Interaction and notation of tone, stress and intonation in Ika Igbo ...

    African Journals Online (AJOL)

    This prominence has been proved by both acoustic and perceptual analyses. Hence in Ika, every intonation group (or tonal intonation group) has a nucleus (a stressed syllable) and it is this nucleus that bears the intonation. This is how stress interacts with intonation in Ika. Tone, on its part, is also affected by this interaction ...

  9. Delay Variation Model with RTP Flows Behavior in Accordance with M/D/1 Kendall's Notation

    Directory of Open Access Journals (Sweden)

    Miroslav Voznak

    2010-01-01

    Full Text Available This paper focuses on the design of a mathematical model of end-to-end delay of a VoIP connection, in particular on a delay variation. It describes all partial delay components and mechanisms, its generation, facilities and its mathematical formulations. A new approach to the delay variation model is presented; its validation has been done by an experiment.

  10. Terminology representation guidelines for biomedical ontologies in the semantic web notations.

    Science.gov (United States)

    Tao, Cui; Pathak, Jyotishman; Solbrig, Harold R; Wei, Wei-Qi; Chute, Christopher G

    2013-02-01

    Terminologies and ontologies are increasingly prevalent in healthcare and biomedicine. However they suffer from inconsistent renderings, distribution formats, and syntax that make applications through common terminologies services challenging. To address the problem, one could posit a shared representation syntax, associated schema, and tags. We identified a set of commonly-used elements in biomedical ontologies and terminologies based on our experience with the Common Terminology Services 2 (CTS2) Specification as well as the Lexical Grid (LexGrid) project. We propose guidelines for precisely such a shared terminology model, and recommend tags assembled from SKOS, OWL, Dublin Core, RDF Schema, and DCMI meta-terms. We divide these guidelines into lexical information (e.g. synonyms, and definitions) and semantic information (e.g. hierarchies). The latter we distinguish for use by informal terminologies vs. formal ontologies. We then evaluate the guidelines with a spectrum of widely used terminologies and ontologies to examine how the lexical guidelines are implemented, and whether our proposed guidelines would enhance interoperability. Copyright © 2012 Elsevier Inc. All rights reserved.

  11. Generic process model structures: towards a standard notation for abstract representations

    CSIR Research Space (South Africa)

    Van Der Merwe, A

    2007-10-01

    Full Text Available in the case of objects, or repositories in the case of process models. The creation of the MIT Process Handbook was a step in this direction. However, although the authors used object-oriented concepts in the abstract representations, they did not rigorously...

  12. Experimental improvisation practise and notation 1945-1999. An annotated bibliography (2002f). Pdf edition

    DEFF Research Database (Denmark)

    Bergstrøm-Nielsen, Carl

    that deal with this subject only more occasionally. Separate from the more general sub-category mentioned above, there is another one going more into details with "Documentation, reports and discussion concerning specific improvisors, groups, works, events, tendencies". Turning to open composition, sections...

  13. The challenge of the abstract mind: symbols, signs and notational systems in European prehistory

    Directory of Open Access Journals (Sweden)

    Harald Haarmann

    2005-12-01

    Full Text Available Since the earliest manifestations of symbolic activity in modern humans (Homo sapiens sapiens in the Upper Palaeolithic, there is evidence for two independent cognitive procedures, for the production of representational images (naturalistic pictures or sculptures and of abstract signs. The use of signs and symbols is attested for archaic humans (Homo neanderthalensis and for Homo erectus while art in naturalistic style is an innovation among modern humans. The symbiotic interaction of the two symbolic capacities is illustrated for the visual heritage of Palaeolithic cave paintings in Southwestern Europe, for rock engravings in the Italian Alps (Val Camonica and for the vivid use of signs and symbols in Southeastern Europe during the Neolithic. Around 5500 BC, sign use in Southeastern Europe reached a sophisticated stage of organization as to produce the earliest writing system of mankind. Since abstractness is the main theme in the visual heritage of the region, this script, not surprisingly, is composed of predominantly abstract signs.

  14. STATISTICAL ANALYSIS OF NOTATIONAL AFL DATA USING CONTINUOUS TIME MARKOV CHAINS

    Directory of Open Access Journals (Sweden)

    Denny Meyer

    2006-12-01

    Full Text Available Animal biologists commonly use continuous time Markov chain models to describe patterns of animal behaviour. In this paper we consider the use of these models for describing AFL football. In particular we test the assumptions for continuous time Markov chain models (CTMCs, with time, distance and speed values associated with each transition. Using a simple event categorisation it is found that a semi-Markov chain model is appropriate for this data. This validates the use of Markov Chains for future studies in which the outcomes of AFL matches are simulated

  15. Notation of Depression in Case Records of Older Adults in Community Long-Term Care

    Science.gov (United States)

    Proctor, Enola K.

    2008-01-01

    Although significant numbers of social service clients experience mental health problems, virtually no research has examined the responsiveness of social service agencies to mental disorder. This article examines the extent to which client depression is reflected in records of a public social service agency, community long-term care (CLTC).…

  16. Design Choices in a Compiler Course or How to Make Undergraduates Love Formal Notation

    DEFF Research Database (Denmark)

    Schwartzbach, Michael Ignatieff

    2008-01-01

    The undergraduate compiler course offers a unique opportunity to combine many aspects of the Computer Science curriculum. We discuss the many design choices that are available for the instructor and present the current compiler course at the University of Aarhus, the design of which displays at l...

  17. Visual processing of music notation: a study of event-related potentials.

    Science.gov (United States)

    Lee, Horng-Yih; Wang, Yu-Sin

    2011-04-01

    In reading music, the acquisition of pitch information depends mostly on the spatial position of notes, hence more spatial processing, whereas the acquisition of temporal information depends mostly on the visual features of notes and object recognition. This study used both electrophysiological and behavioral methods to compare the processing of pitch and duration in reading single musical notes. It was observed that in the early stage of note reading, identification of pitch could elicit greater N1 and N2 amplitude than identification of duration at the parietal lobe electrodes. In the later stages of note reading, identifying pitch elicited a greater negative slow wave at parietal electrodes than did identifying note duration. The sustained contribution of parietal processes for pitch suggests that the dorsal pathway is essential for pitch processing. However, the duration task did not elicit greater amplitude of any early ERP components than the pitch task at temporal electrodes. Accordingly, a double dissociation, suggesting involvement of the dorsal visual stream, was not observed in spatial pitch processing and ventral visual stream in processing of note durations.

  18. ArcForm as a Notational Foundation for e-Learning Systems

    DEFF Research Database (Denmark)

    Allsopp, Benjamin Brink

    2015-01-01

    , and to configure views that present content that they find relevant. One possibility is that it will allow students to develop and demonstrate reflective thinking independently of traditional essay writing skills. This is explored through an imagined scenario where a student interacts with one of these systems...

  19. Emerging Musical Literacy: Investigating Young Children's Music Cognition and Musical Problem-Solving through Invented Notations.

    Science.gov (United States)

    McCusker, Joan

    A qualitative study was conducted in the winter of 2000 with children enrolled in a Clef Club, the fourth level of an early childhood music program sponsored by the Eastman School's Community Education Division (Rochester, NY). Eleven participants, ages 4.7 to 6.6, enrolled in 3 sections of the 10-week program taught by the researcher. Classroom…

  20. The Instant Composers Pool: Music Notation and the Mediation of Improvising Agency

    NARCIS (Netherlands)

    Schuiling, F.J.

    2016-01-01

    This article relates the recent development of a “relational musicology” to debates about participatory art and relational aesthetics. I present results from an ethnographic study of the Dutch improvising music collective the Instant Composers Pool, founded in 1967 and still performing. With a

  1. Development and validation of a notational system to study the offensive process in football.

    Science.gov (United States)

    Sarmento, Hugo; Anguera, Teresa; Campaniço, Jorge; Leitão, José

    2010-01-01

    The most striking change within football development is the application of science to its problems and in particular the use of increasingly sophisticated technology that, supported by scientific data, allows us to establish a "code of reading" the reality of the game. Therefore, this study describes the process of the development and validation of an ad hoc system of categorization, which allows the different methods of offensive game in football and the interaction to be analyzed. Therefore, through an exploratory phase of the study, we identified 10 vertebrate criteria and the respective behaviors observed for each of these criteria. We heard a panel of five experts with the purpose of a content validation. The resulting instrument is characterized by a combination of field formats and systems of categories. The reliability of the instrument was calculated by the intraobserver agreement, and values above 0.95 for all criteria were achieved. Two FC Barcelona games were coded and analyzed, which allowed the detection of various T-patterns. The results show that the instrument serves the purpose for which it was developed and can provide important information for the understanding of game interaction in football.

  2. Vurdering af bevaringsstatus for arter og naturtyper omfattet af EF-Habitatdirektivet (2001-2007) (Notat til By- og Landskabsstyrelsen)

    DEFF Research Database (Denmark)

    Søgaard, Bjarne; Ejrnæs, Rasmus; Nygaard, Bettina

    2008-01-01

    naturtype er angivet om bevaringsstatus er gunstig, moderat ugunstig eller stærkt ugunstig. Rapporten giver det første samlede billede af tilstanden af den internationalt beskyttede natur i Danmark. Afrapporteringen er foretaget til EIONET-database i form af fact sheets for hver art og naturtyper........ Afrapportering for arter kan findes på denne link:     http://cdr.eionet.europa.eu/resultsxml?xml_schema_location=http%3A%2F%2Fbiodiversity.eionet.europa.eu%2Fschemas%2Fdir9243eec%2Fspecies.xsd&years%3Aint%3Aignore_empty=&partofyear=&country=http%3A%2F%2Frod.eionet.eu.int%2Fspatial%2F11&sort......_on=reportingdate&sort_order=reverse Afrapportering for naturtyper kan findes på denne link:   http://cdr.eionet.europa.eu/resultsxml?xml_schema_location=http%3A%2F%2Fbiodiversity.eionet.europa.eu%2Fschemas%2Fdir9243eec%2Fhabitats.xsd&years%3Aint%3Aignore_empty=&partofyear=&country=http%3A%2F%2Frod.eionet.eu.int%2...

  3. O controle interno do poder executivo do Estado de Santa Catarina sob a perspectiva do Business Process Model and Notation

    OpenAIRE

    Fendrich, Lisandro José

    2014-01-01

    Este trabalho consiste em um estudo de caso que buscou identificar um ponto de alavancagem que pudesse contribuir com os servidores responsáveis pelas unidades de controle interno do Poder Executivo do Estado de Santa Catarina, num curto espaço de tempo, de forma inovadora, respeitando as limitações tanto do escopo da pesquisa como da estrutura disponível em cada órgão/entidade, e que pudesse proporcionar maior segurança na realização de suas atividades. Assim, optou-se pelo caminho da gestão...

  4. Using Constant Time Delay to Teach Braille and the Nemeth Code for Mathematics and Science Notation to Students Making the Transition from Print to Braille

    Science.gov (United States)

    Ivy, Sarah E.; Hooper, Jonathan D.

    2015-01-01

    Introduction: Many students with adventitious vision loss or progressive vision loss need to transition from print to braille as a primary literacy medium. It is important that this transition is handled efficiently so that the student can have continued access to a literacy medium and make progress in the core curriculum. For this study, we used…

  5. Brief notations on the electronic commerce Breves anotações sobre o comércio eletrônico

    Directory of Open Access Journals (Sweden)

    Sandra Barbon Lewis

    2005-12-01

    Full Text Available This study verifies the aspects of the business concentration in the electronic commerce. For that, primarily, an analysis of these companies’ role in the global context is made, starting from technological advances as well as from the new world situation that both presented to them. The instantaneous flow of information made possible by the Internet as well as the high level of competitiveness introduced by the world-wide order, both led the economy agents to seek inside the online business for a new perspective of both expanding to a new market and international business. After this first step, we move to identifying the formation, sprouting, development, and legal definition of the online business in order to understand its characteristics e modalities; to observe the structure of the online market and discuss the transition of a conventional economy model to a new electronic or digital model; to question the existence of an online or virtual company starting from the development of the Teoria da Empresa as well as its way the way of work of the company in the web. After this initial contingencies are covered, the aim of the present work was to focus on the business concentration which foments the corporation development, but also represents a problem of great economic repercussions. Being so, search was made throughout the legal literature, for the existent types of corporation concentration, and throughout Brazilian Antitrust Law, for the regulation on this concentration, especially, in the Article 54 of the 8,884/94 act which predicts the regulation on acts and contracts that may lead to a corporation concentration. After the presentation of the online transaction models made by the corporations, it was observed, in pratical cases, the potential business concentration as well as the difficulties of relating and applying the Brazilian Antitrust Law in these cases. Thus, before the endless resources made possible by the Internet and the new corporation ways of acting born with the online business, merges the necessity of identifying the aspects of the business concentration in this innovative online market.O estudo verifica aspectos da concentração empresarial no comércio eletrônico. Para tanto, primeiramente, é realizada uma análise do papel das empresas no contexto global a partir do avanço tecnológico que é posto à disposição e da nova ordem mundial que lhe é apresentada. O fluxo instantâneo de informações, possibilitado pelo avanço da Internet e o alto grau de competitividade introduzido pela Globalização, levaram os agentes econômicos a buscar no comércio pela Internet uma nova perspectiva de expansão a novos mercados e de comércio internacional. Em seguida passa-se a identificar a formação, surgimento, desenvolvimento e a definição jurídica do comércio eletrônico para trazer à tona suas características e modalidades; observar a estrutura do mercado eletrônico e discutir a passagem da economia convencional a uma nova economia, a economia eletrônica ou digital; questionar a existência de uma empresa eletrônica ou virtual a partir do desenvolvimento da Teoria da Empresa bem como seu modo de atuação na Grande rede. Suplantadas essas contingências iniciais o objetivo foi adentrar no âmbito da concentração empresarial que fomenta o desenvolvimento empresarial, mas também, representa um problema de grandes repercussões econômicas. Sendo assim, buscaram-se, na doutrina, as formas de concentração empresarial e, na Lei antitruste brasileira, a sua disciplina, especificamente o Art. 54 da Lei 8.884/94 que prevê o controle de atos e contratos que podem levar a concentração empresarial. Após a apresentação dos modelos de negócios realizados pelas empresas na Internet, casuisticamente, observou-se a potencialidade de concentração empresarial e as dificuldades de sua caracterização na aplicação da Lei antitruste. Assim, ante os infindáveis recursos possibilitados pela Internet e as novas práticas empresariais advindas da utilização do Comércio Eletrônico, surge a necessidade de identificar os aspectos da concentração comercial neste inovador mercado eletrônico.

  6. New Sources for Janáček´s Essay Brezovská píseň and His Notation of Long-Drawn-Out Folksongs

    Czech Academy of Sciences Publication Activity Database

    Procházková, Jarmila

    2018-01-01

    Roč. 55, č. 1 (2018), s. 41-55 ISSN 0018-7003 Institutional support: RVO:68378076 Keywords : Leoš Janáček (1854-1928) * folklore studies * Janáček´s literary work * Janáček´s collection of folk music Subject RIV: AL - Art, Architecture, Cultural Heritage OBOR OECD: Folklore studies

  7. Introduction of Hypermatrix and Operator Notation into a Discrete Mathematics Simulation Model of Malignant Tumour Response to Therapeutic Schemes In Vivo. Some Operator Properties

    Directory of Open Access Journals (Sweden)

    Georgios S. Stamatakos

    2009-10-01

    Full Text Available The tremendous rate of accumulation of experimental and clinical knowledge pertaining to cancer dictates the development of a theoretical framework for the meaningful integration of such knowledge at all levels of biocomplexity. In this context our research group has developed and partly validated a number of spatiotemporal simulation models of in vivo tumour growth and in particular tumour response to several therapeutic schemes. Most of the modeling modules have been based on discrete mathematics and therefore have been formulated in terms of rather complex algorithms (e.g. in pseudocode and actual computer code. However, such lengthy algorithmic descriptions, although sufficient from the mathematical point of view, may render it difficult for an interested reader to readily identify the sequence of the very basic simulation operations that lie at the heart of the entire model. In order to both alleviate this problem and at the same time provide a bridge to symbolic mathematics, we propose the introduction of the notion of hypermatrix in conjunction with that of a discrete operator into the already developed models. Using a radiotherapy response simulation example we demonstrate how the entire model can be considered as the sequential application of a number of discrete operators to a hypermatrix corresponding to the dynamics of the anatomic area of interest. Subsequently, we investigate the operators’ commutativity and outline the “summarize and jump” strategy aiming at efficiently and realistically address multilevel biological problems such as cancer. In order to clarify the actual effect of the composite discrete operator we present further simulation results which are in agreement with the outcome of the clinical study RTOG 83–02, thus strengthening the reliability of the model developed.

  8. Introduction of hypermatrix and operator notation into a discrete mathematics simulation model of malignant tumour response to therapeutic schemes in vivo. Some operator properties.

    Science.gov (United States)

    Stamatakos, Georgios S; Dionysiou, Dimitra D

    2009-10-21

    The tremendous rate of accumulation of experimental and clinical knowledge pertaining to cancer dictates the development of a theoretical framework for the meaningful integration of such knowledge at all levels of biocomplexity. In this context our research group has developed and partly validated a number of spatiotemporal simulation models of in vivo tumour growth and in particular tumour response to several therapeutic schemes. Most of the modeling modules have been based on discrete mathematics and therefore have been formulated in terms of rather complex algorithms (e.g. in pseudocode and actual computer code). However, such lengthy algorithmic descriptions, although sufficient from the mathematical point of view, may render it difficult for an interested reader to readily identify the sequence of the very basic simulation operations that lie at the heart of the entire model. In order to both alleviate this problem and at the same time provide a bridge to symbolic mathematics, we propose the introduction of the notion of hypermatrix in conjunction with that of a discrete operator into the already developed models. Using a radiotherapy response simulation example we demonstrate how the entire model can be considered as the sequential application of a number of discrete operators to a hypermatrix corresponding to the dynamics of the anatomic area of interest. Subsequently, we investigate the operators' commutativity and outline the "summarize and jump" strategy aiming at efficiently and realistically address multilevel biological problems such as cancer. In order to clarify the actual effect of the composite discrete operator we present further simulation results which are in agreement with the outcome of the clinical study RTOG 83-02, thus strengthening the reliability of the model developed.

  9. Challenges of Multilingual Notation in Comparative Food Culture Research ―The case of translating ‘soy sauce’ across Japanese, English, Korean, Thai and Vietnamese―

    OpenAIRE

    福留, 奈美; 高頭, ルーシー; 大塚, みさ

    2017-01-01

    著者は先行研究において日本、韓国、タイ、ベトナム、フィリピンを含むアジアのソイソースおよび塩味系発酵調味料に関する報告を行った。原語で収集された製品名等の一般名詞は、まずローマ字で表記し、読者への便宜を図って原語の発音に近いカタカナ表記を添えた。本報告では、一連の翻訳プロセスにおける課題として原語のローマ字表記規準の有無、原語の発音表記に正確に対応できないカタカナ表記の限界、そして食品の原料と完成した製品の微妙な相違に言語表記が対応できないことなどに言及し、IPA の使用を含めた解決策を提案するととも、比較食文化研究においては言語学者の参画が効果的かつ必要要件であると結論づけた。...

  10. Brief notations on the electronic commerce
    Breves anotações sobre o comércio eletrônico

    OpenAIRE

    Sandra Barbon Lewis; Sérgio Eduardo Canella

    2005-01-01

    This study verifies the aspects of the business concentration in the electronic commerce. For that, primarily, an analysis of these companies’ role in the global context is made, starting from technological advances as well as from the new world situation that both presented to them. The instantaneous flow of information made possible by the Internet as well as the high level of competitiveness introduced by the world-wide order, both led the economy agents to seek inside the online business ...

  11. Notat vedr. By- og Landskabsstyrelsens anmodning om en foreløbig vurdering af mulige konsekvenser på udpegningsgrundlaget for Natura 2000 område nr. 162 ved etablering af sommerhuse på Agersø og Orø (Notat til Skov- og Naturstyrelsen)

    DEFF Research Database (Denmark)

    Wind, Peter

    2008-01-01

      By- og Landskabsstyrelsen har med brev af den 30. maj 2008 anmodet Danmarks Miljøundersøgelser om at foretage en screening af mulige konsekvenser på udpegningsgrundlaget som anført ovenfor på baggrund af eksisterende data og viden.   I notatet gør DMU rede for mulige konsekvenser for udpegnings......  By- og Landskabsstyrelsen har med brev af den 30. maj 2008 anmodet Danmarks Miljøundersøgelser om at foretage en screening af mulige konsekvenser på udpegningsgrundlaget som anført ovenfor på baggrund af eksisterende data og viden.   I notatet gør DMU rede for mulige konsekvenser...

  12. Development and Test of a Single-Aperture 11 T Notation="TeX">$ \\hbox{Nb}_{3}\\hbox{Sn}$ Demonstrator Dipole for LHC Upgrades

    Energy Technology Data Exchange (ETDEWEB)

    Zlobin, A. V.; Andreev, N.; Apollinari, G.; Auchmann, B.; Barzi, E.; Bossert, R.; Chlachidze, G.; Karppinen, M.; Nobrega, F.; Novitski, I.; Rossi, L.; Smekens, D.; Turrioni, D.; Yamada, R.

    2013-06-01

    The upgrade of the LHC collimation system foresees installation of additional collimators around the LHC ring. The longitudinal space for the collimators could be provided by replacing some 8.33 T NbTi LHC main dipoles with shorter 11 T Nb3Sn dipoles compatible with the LHC lattice and main systems. To demonstrate this possibility, FNAL and CERN have started a joint program with the goal of building a 5.5 m long twin-aperture dipole prototype suitable for installation in the LHC. The first step of this program is the development of a 2 m long single-aperture demonstrator dipole with a nominal field of 11 T at the LHC nominal current of 11.85 kA and ~ 20% margin. This paper describes the design, construction, and test results of the first single-aperture Nb3Sn demonstrator dipole model.

  13. De la notation musicale à la transcription de la prosodie : Description de la prosodie du français du XVIe au début du XXe siècle

    Directory of Open Access Journals (Sweden)

    Schweitzer Claudia

    2016-01-01

    Full Text Available L’existence de liens étroits entre musique et prosodie a poussé certains grammairiens à parler d’éléments musicaux pour désigner le rythme, l’accentuation et l’intonation de l’oral, ou encore, à avoir recours à la transcription musicale pour mieux représenter et décrire ces phénomènes. Dans la production de la parole, leur manifestation concrète est associée à l’évolution temporelle de la fréquence fondamentale, la durée et l’intensité. Ces variations sont perçues comme des changements de hauteur, de longueur et de sonie, que l’on retrouve également dans la musique. Il n’est donc guère étonnant que le vocabulaire utilisé pour décrire la langue parlée ou la musique se ressemble autant. L’Encyclopédie explique clairement que du rythme « naissent le nombre & l’harmonie dans l’éloquence, la mesure & la cadence dans la poésie », tandis qu’en musique, « le rythme s’applique à la valeur des notes, & s’appelle aujourd’hui mesure ». Si nous étudions de plus près l’évolution de la transcription de la prosodie française entre le XVIe et le début du XXe, il est possible de dégager quatre grandes tendances. Au XVIe, les grammairiens se focalisent sur le fonctionnement des mots en contexte, au sein des différentes unités syntaxiques (Meigret, XVIe. Au XVIIe, des auteurs comme le grammairien Vairasse d’Allais ou le musicien Bacilly vont plutôt se focaliser sur un seul élément, la quantité, qu’ils utilisent pour parler du rythme, en travaillant notamment au niveau de la syllabe. Au XVIIIe, les Lumières cherchent à décrire et à expliquer avec précision le fonctionnement de la langue et de la musique, mais ils se heurtant au manque d’instrumentation. Ce manque sera comblé au début du XXe par les phonéticiens expérimentalistes (Rousselot, Roudet. Ces auteurs ont recours à la transcription musicale pour décrire avec une extrême précision l’évolution de la hauteur, de la durée et de l’intensité en utilisant une véritable partition, mais en négligeant toutefois les variations réellement pertinentes pour l’oreille. Dans l’ensemble, nous pouvons dégager un mouvement partant d’une description plutôt globale pour aboutir à une transcription extrêmement précise de la prosodie. En outre, chaque auteur, en fonction de son domaine, apporte des connaissances et un regard spécifiques. Dans cette communication, nous nous proposons donc d’analyser les apports de cette approche dans l’évolution de la description de la prosodie de la langue française.

  14. Language Evolution, Metasyntactically

    NARCIS (Netherlands)

    V. Zaytsev (Vadim); F. Hermann; J. Voigtländer

    2012-01-01

    htmlabstractCurrently existing syntactic definitions employ many different notations (usually dialects of EBNF) with slight deviations among them, which prevent efficient automated processing. When changes in such notation are required either due to maintenance activities such as correction or

  15. Modelling Constructs

    DEFF Research Database (Denmark)

    Kindler, Ekkart

    2009-01-01

    , these notations have been extended in order to increase expressiveness and to be more competitive. This resulted in an increasing number of notations and formalisms for modelling business processes and in an increase of the different modelling constructs provided by modelling notations, which makes it difficult......There are many different notations and formalisms for modelling business processes and workflows. These notations and formalisms have been introduced with different purposes and objectives. Later, influenced by other notations, comparisons with other tools, or by standardization efforts...... to compare modelling notations and to make transformations between them. One of the reasons is that, in each notation, the new concepts are introduced in a different way by extending the already existing constructs. In this chapter, we go the opposite direction: We show that it is possible to add most...

  16. What makes a good process model? Lessons learned from process mining

    NARCIS (Netherlands)

    Aalst, van der W.M.P.

    2012-01-01

    There seems to be a never ending stream of new process modeling notations. Some of these notations are foundational and have been around for decades (e.g., Petri nets). Other notations are vendor specific, incremental, or are only popular for a short while. Discussions on the various competing

  17. ¿Qué aprendo, cómo aprendo? concepciones sobre el aprendizaje y uso de la notación musical en estudiantes de instrumentos de viento-madera: = What do I learn, how do I learn? woodwind student's conceptions about learning and use of the musical notation

    OpenAIRE

    Marín Oller, Cristina

    2013-01-01

    Tesis doctoral inédita leida en la Universidad Autónoma de Madrid, Facultad de Psicología. Departamento de Psicología Básica. Programa de doctorado: Desarrollo, Aprendizaje y Educación. Fecha de lectura: 25 de noviembre de 2013

  18. Application of System and Integration Readiness Levels to Department of Defense Research and Development

    Science.gov (United States)

    2016-07-01

    prompting folding foot-pegs. The human-motorcycle interface maturity followed the technical maturity at the expense of safety. Early airplanes were...this paper shows matrix notation in both reduced tensor notation and matrix notation as a convenience for a multidisciplinary audience. SRLj, [SRL...index for managing the acquisition of defense systems. Paper presented at National Defense Industrial Association 13th Annual Systems Engineering

  19. BPMN, Toolsets, and Methodology: A Case Study of Business Process Management in Higher Education

    Science.gov (United States)

    Barn, Balbir S.; Oussena, Samia

    This chapter describes ongoing action research which is exploring the use of BPMN and a specific toolset - Intalio Designer to capture the “as is” essential process model of part of an overarching large business process within higher education. The chapter contends that understanding the efficacy of the BPMN notation and the notational elements to use is not enough. Instead, the effectiveness of a notation is determined by the notation, the toolset that is being used, and methodological consideration. The chapter presents some of the challenges that are faced in attempting to develop computation independent models in BPMN using toolsets such as Intalio Designer™.

  20. Byzantinsk musik og europæisk musikhistorie

    DEFF Research Database (Denmark)

    Troelsgård, Christian

    2010-01-01

    En kort fremstilling af den byzantinske musiks betydning for Europas musikhistorie: overførslen af den antikke musikteori til Vesteuropa, udviklingen af musikalsk notation, instrumentarium og repertoirer.......En kort fremstilling af den byzantinske musiks betydning for Europas musikhistorie: overførslen af den antikke musikteori til Vesteuropa, udviklingen af musikalsk notation, instrumentarium og repertoirer....

  1. 77 FR 17333 - Bylaws of the Board of Governors

    Science.gov (United States)

    2012-03-26

    ... Vice Chairman at any meeting of the Board during the year or years following the immediate past... amendments also formalized the process for notation voting (voting by paper ballot) on routine or... notation voting by paper ballot on routine, non-controversial, and administrative matters. List of Subjects...

  2. Multidimension Treatment Foster Care

    DEFF Research Database (Denmark)

    Pontoppidan, Maiken; Hansen, Helle; Deding, Mette

    2014-01-01

    Dette notat er en kort opsamling af den nyeste forskning af effekterne af Multidimension Treatment Foster Care (herefter MTFC). SFI lavede i 2010 en oversigt over forskningen om effekterne af MTFC i forbindelse med udarbejdelsen af en projektbeskrivelse. Dette notat sammenfatter den nyeste...

  3. Electronic Warfare M-on-N Digital Simulation Logging Requirements and HDF5: A Preliminary Analysis

    Science.gov (United States)

    2017-04-12

    similar to them, appear in C++, Java , Python, and MATLAB. (Structurally this notation is very similar to “path” notation where a sequence of member... MySQL Tutorial. Sams Publishing, 2004. [Silberschatz] Avi Silberschatz, Henry F. Korth, and S. Sudarshan. Database System Concepts, Sixth

  4. Test d'efficacité d'un herbicide en culture d'ananas, à la station d ...

    African Journals Online (AJOL)

    SARAH

    31 août 2014 ... this study, which has good effectiveness in the fight against weeds in pineapple crops. This related to the .... Tableau 2 : Échelle de notation d'efficacité des traitements herbicides selon l'European Weeds Research Council. (EWRC). Notation .... nouvellement parues tandis que Chloris pilosa et. Euphorbia ...

  5. Quantization of musical time: A connectionist approach

    NARCIS (Netherlands)

    Desain, P.; Honing, H.

    1989-01-01

    Musical time can be considered to be the product of two time scales: the discrete time intervals of a metrical structure and the continuous time scales of tempo changes and expressive timing (Clarke 1987a). In musical notation both kinds are present, although the notation of continuous time is less

  6. How it's done

    DEFF Research Database (Denmark)

    Bergstrøm-Nielsen, Carl

    2012-01-01

    A comment to the Text & Graphix series (improvisation/variable/graphic notation) of which I am an editor, dealing with how to realise such scores.......A comment to the Text & Graphix series (improvisation/variable/graphic notation) of which I am an editor, dealing with how to realise such scores....

  7. FIXING/CIRCUMSCRIBING/SUGGESTING/EVOKING

    DEFF Research Database (Denmark)

    Bergstrøm-Nielsen, Carl

    2006-01-01

    Shortened and translated version of the Danish article Sprog som musikalsk notation (to be found at vbn) ISBN 8791425077 (pdf online) ISBN 8791425042 (HTML online)   Gekürzte und ins Englische übersetzte Version des dänischen Artikels "Sprog som musikalsk notation". Stichwörter: Karlheinz Stockha...

  8. African Oral Tradition Literacy.

    Science.gov (United States)

    Green, Doris

    1985-01-01

    Presents the basic principles of two systems for notating African music and dance: Labanotation (created to record and analyze movements) and Greenotation (created to notate musical instruments of Africa and to parallel Labanotation whereby both music and dance are incorporated into one integrated score). (KH)

  9. Ichi, Ni, 3, 4: Neural Representation of Kana, Kanji, and Arabic Numbers in Native Japanese Speakers

    Science.gov (United States)

    Coderre, Emily L.; Filippi, Christopher G.; Newhouse, Paul A.; Dumas, Julie A.

    2009-01-01

    The Japanese language represents numbers in kana digit words (a syllabic notation), kanji numbers and Arabic numbers (logographic notations). Kanji and Arabic numbers have previously shown similar patterns of numerical processing, and because of their shared logographic properties may exhibit similar brain areas of numerical representation. Kana…

  10. Transportvaneundersøgelsen - Variabeldeklaration : TU 2006-11, version 1

    DEFF Research Database (Denmark)

    Christiansen, Hjalmar

    Dette notat dokumenterer de leverede data i datasættet TU 2006-11 version 1, som omfatter data fra perioden maj 2006 til 31. december 2011. For den mest opdaterede dokumentation af nyeste TU-data henvises til vores hjemmeside. Nærværende notat følger såvidt muligt datasættet og opdateres ikke...

  11. Transportvaneundersøgelsen - Variabeldeklaration : TU 2006-12, version 1

    DEFF Research Database (Denmark)

    Christiansen, Hjalmar; Skougaard, Britt Zoëga

    Dette notat dokumenterer de leverede data i datasættet TU 2006-12 version 1, som omfatter data fra perioden maj 2006 til 31. december 2012. For den mest opdaterede dokumentation af nyeste TU-data henvises til vores hjemmeside. Nærværende notat følger så vidt muligt datasættet og opdateres ikke...

  12. Transportvaneundersøgelsen - Variabeldeklaration: TU 2006-13 version 2

    DEFF Research Database (Denmark)

    Christiansen, Hjalmar; Skougaard, Britt Zoëga

    Dette notat dokumenterer de leverede data i datasættet TU 2006-13 version 2, som omfatter data fra perioden maj 2006 til 30. april 2014. For den mest opdaterede dokumentation af nyeste TU-data henvises til vores hjemmeside. Nærværende notat følger så vidt muligt datasættet og opdateres ikke...

  13. Transportvaneundersøgelsen - Variabeldeklaration: TU 2006-14 version 1

    DEFF Research Database (Denmark)

    Christiansen, Hjalmar; Skougaard, Britt Zoëga

    Dette notat dokumenterer de leverede data i datasættet TU 2006-14 version 1, som omfatter data fra perioden maj 2006 til 31. december 2014. For den mest opdaterede dokumentation af nyeste TU-data henvises til vores hjemmeside. Nærværende notat følger så vidt muligt datasættet og opdateres ikke...

  14. Transportvaneundersøgelsen - Variabeldeklaration : TU 2006-10, version 1

    DEFF Research Database (Denmark)

    Christiansen, Hjalmar

    Dette notat dokumenterer de leverede data i datasættet TU 2006-10 version 1, som omfatter data fra perioden maj 2006 til 31. december 2010. For den mest opdaterede dokumentation af nyeste TU-data henvises til vores hjemmeside. Nærværende notat følger såvidt muligt datasættet og opdateres ikke...

  15. On Optimum Power Allocation for Multi-Antenna Wideband Helicopter-to-Ground Communications

    Science.gov (United States)

    2014-03-01

    won’t complicate the notation to make this explicit. 2In the traditional TR-STBC system, ρ = 1/2 is not included in the development nor the notation...and a2(n) are statistically equivalent (the usual case). Any equalizer can be applied here (linear or non-linear, with or without noise whitening ) with

  16. Modular specification of real-time systems

    DEFF Research Database (Denmark)

    Inal, Recep

    1994-01-01

    Duration Calculus, a real-time interval logic, has been embedded in the Z specification language to provide a notation for real-time systems that combines the modularisation and abstraction facilities of Z with a logic suitable for reasoning about real-time properties. In this article the notation...

  17. The semantics of hybrid process models

    NARCIS (Netherlands)

    Slaats, T.; Schunselaar, D.M.M.; Maggi, F.M.; Reijers, H.A.; Debruyne, C.; Panetto, H.; Meersman, R.; Dillon, T.; Kuhn, E.; O'Sullivan, D.; Agostino Ardagna, C.

    2016-01-01

    In the area of business process modelling, declarative notations have been proposed as alternatives to notations that follow the dominant, imperative paradigm. Yet, the choice between an imperative or declarative style of modelling is not always easy to make. Instead, a mixture of these styles is

  18. Discrete symmetries for spinor field in de Sitter space

    International Nuclear Information System (INIS)

    Moradi, S.; Rouhani, S.; Takook, M.V.

    2005-01-01

    Discrete symmetries, parity, time reversal, antipodal, and charge conjugation transformations for spinor field in de Sitter space, are presented in the ambient space notation, i.e., in a coordinate independent way. The PT and PCT transformations are also discussed in this notation. The five-current density is studied and their transformation under the discrete symmetries is discussed

  19. Untitled

    Indian Academy of Sciences (India)

    order. -. The derivative operator D: (a arbitrary) is the condensed form of the notation op;, which corresponds to the widely used notation, D. (see Ross [6] for its full definition). Under the various restrictions stated above, the operator D:""" occurring in (1) is meaningful and consequently the function S;(n; 2) is well defined. 59.

  20. Toolkit for Conceptual Modeling (TCM): User's Guide and Reference

    NARCIS (Netherlands)

    Dehne, F.; Wieringa, Roelf J.

    1997-01-01

    The Toolkit for Conceptual Modeling (TCM) is a suite of graphical editors for a number of graphical notation systems that are used in software specification methods. The notations can be used to represent the conceptual structure of the software - hence the name of the suite. This manual describes

  1. On counting twists of a character appearing in its associated Weil ...

    Indian Academy of Sciences (India)

    2. Notations. Our notations are consistent with those used in [3] more or less because we depend heavily on not only the results in [3], but also the computations performed there. Throughout this paper F will be a nonarchimedian local field of characteristic = 2 and K a quadratic extension of F. The image of x ∈ K under the ...

  2. Troll, a Language for specifying Dice-rolls

    DEFF Research Database (Denmark)

    Mogensen, Torben Ægidius

    2009-01-01

    Dice are used in many games, and often in fairly complex ways that make it difficult to unambiguously describe the dice-roll mechanism in plain language. Many role-playing games, such as Dungeons & Dragons, use a formalised notation for some instances of dice-rolls. This notation, once explained...... natural language to describe rolls. Even Dungeons & Dragons use formal notation only for some of the dice-roll methods used in the game. Hence, a more complete notation is in this paper proposed, and a tool for pseudo-random rolls and (nearly) exact probability calculations is described. The notation...... is called "Troll", combining the initial of the Danish word for dice ("terninger") with the English word "roll". It is a development of the language Roll described in an earlier paper. The present paper describes the most important features of Troll and its implementation....

  3. Using spatial manipulation to examine interactions between visual and auditory encoding of pitch and time

    Directory of Open Access Journals (Sweden)

    Neil M McLachlan

    2010-12-01

    Full Text Available Music notations use both symbolic and spatial representation systems. Novice musicians do not have the training to associate symbolic information with musical identities, such as chords or rhythmic and melodic patterns. They provide an opportunity to explore the mechanisms underpinning multimodal learning when spatial encoding strategies of feature dimensions might be expected to dominate. In this study, we applied a range of transformations (such as time reversal to short melodies and rhythms and asked novice musicians to identify them with or without the aid of notation. Performance using a purely spatial (graphic notation was contrasted with the more symbolic, traditional western notation over a series of weekly sessions. The results showed learning effects for both notation types, but performance improved more for graphic notation. This points to greater compatibility of auditory and visual neural codes for novice musicians when using spatial notation, suggesting that pitch and time may be spatially encoded in multimodal associative memory. The findings also point to new strategies for training novice musicians.

  4. Beneficios de la notación de Peirce para los conectivos proposicionales binarios

    Directory of Open Access Journals (Sweden)

    Oscar Abel Cardona-Hurtado

    2016-01-01

    Full Text Available Background: In traditional binary notation for propositional connectives only some of these ones are taken into account. Throughout the twentieth century several notations were proposed which overcome this flaw, leading to the proposal of interesting mathematical problems. Objective: This paper presents the notation created by the American Charles Peirce, showing some of the properties of this symbols, and evidencing the advantages of these compared to the traditional. Method: the notation proposed by Peirce is described, and some properties of the geometric and algebraic logical character among its connective are verified; also, the possible role of these properties in the traditional notation is analyzed. Results: In addition to several individual properties and multiple relations between the connectives, the symmetries of the full set of binary propositional connective is visually evident in the signs proposed by Peirce. Conclusion: Different benefits of the notation proposed by Peirce, support the conclusion that the usual notation is clearly surpassed by the symbolism designed by the American scientist.

  5. A formal MIM specification and tools for the common exchange of MIM diagrams: an XML-Based format, an API, and a validation method.

    Science.gov (United States)

    Luna, Augustin; Karac, Evrim I; Sunshine, Margot; Chang, Lucas; Nussinov, Ruth; Aladjem, Mirit I; Kohn, Kurt W

    2011-05-17

    The Molecular Interaction Map (MIM) notation offers a standard set of symbols and rules on their usage for the depiction of cellular signaling network diagrams. Such diagrams are essential for disseminating biological information in a concise manner. A lack of software tools for the notation restricts wider usage of the notation. Development of software is facilitated by a more detailed specification regarding software requirements than has previously existed for the MIM notation. A formal implementation of the MIM notation was developed based on a core set of previously defined glyphs. This implementation provides a detailed specification of the properties of the elements of the MIM notation. Building upon this specification, a machine-readable format is provided as a standardized mechanism for the storage and exchange of MIM diagrams. This new format is accompanied by a Java-based application programming interface to help software developers to integrate MIM support into software projects. A validation mechanism is also provided to determine whether MIM datasets are in accordance with syntax rules provided by the new specification. The work presented here provides key foundational components to promote software development for the MIM notation. These components will speed up the development of interoperable tools supporting the MIM notation and will aid in the translation of data stored in MIM diagrams to other standardized formats. Several projects utilizing this implementation of the notation are outlined herein. The MIM specification is available as an additional file to this publication. Source code, libraries, documentation, and examples are available at http://discover.nci.nih.gov/mim.

  6. Process modeling style

    CERN Document Server

    Long, John

    2014-01-01

    Process Modeling Style focuses on other aspects of process modeling beyond notation that are very important to practitioners. Many people who model processes focus on the specific notation used to create their drawings. While that is important, there are many other aspects to modeling, such as naming, creating identifiers, descriptions, interfaces, patterns, and creating useful process documentation. Experience author John Long focuses on those non-notational aspects of modeling, which practitioners will find invaluable. Gives solid advice for creating roles, work produ

  7. LMPS como propuesta alterna a BPMN para el modelado de procesos de software

    Directory of Open Access Journals (Sweden)

    Sandro Javier Bolaños Castro

    2012-12-01

    Full Text Available This paper presents an overview of the recently-released LMPS (Lenguaje de Modelado de Procesos de Software language, intended for modeling software processes. LMPS is compared with the BPMN (Business Process Management Notation standard, establishing differences and similarities in their notation, perspective, tools and proposal. The idea is to highlight the advantages and disadvantages of using each of the notations and encourage the reader’s reflections about an alternative approach that allows modeling software processes in an easy and customized way.

  8. Benefit of modelling regarding the quality and efficiency of PLC-programming in process automation; Nutzen von Modellierung fuer die Qualitaet und Effizienz der Steuerungsprogrammierung in der Automatisierungstechnik

    Energy Technology Data Exchange (ETDEWEB)

    Friedrich, D; Vogel-Heuser, B [Bergische Univ. Wuppertal (Germany). Lehrstuhl fuer Automatisierungstechnik/Prozessinformatik

    2006-03-15

    Software development in process automation has many deficiencies in procedures, notations and tool support. As a result, modern software engineering concepts and notations, like object oriented approaches or UML, are not wide spread in this field. Hence, drawbacks regarding start-up times, additional costs and low software quality are immense. This paper will evaluate the benefit of modelling as a design step prior to coding, regarding cognitive paradigms. Two modelling notations (UML and ICL) will be compared analyzing their impact on the quality of automation software written in IEC 61131. (orig.)

  9. Advanced mechanics of continua

    CERN Document Server

    Surana, Karan S

    2014-01-01

    IntroductionConcepts and Mathematical PreliminariesIntroductionSummation ConventionDummy Index and Dummy VariablesFree IndicesVector and Matrix NotationIndex Notation and Kronecker DeltaPermutation TensorOperations Using Vector, Matrix, and Einstein's NotationChange of Reference Frame, Transformations, TensorsSome Useful RelationsSummary Kinematics of Motion, Deformation and Their MeasuresDescription of MotionLagrangian and Eulerian DescriptionsMaterial Particle Displacements Continuous Deformation and Restrictions on the MotionMaterial Derivative Acceleration of a Material ParticlesCoordinate

  10. Sadhana | Indian Academy of Sciences

    Indian Academy of Sciences (India)

    ... viscous fluid/ orthotropic micropolar solid interfaces to moving point loads have been studied. ... The use of matrix notation is straightforward and avoids unwieldy ... using a homemade “serial in parallel out” (SIPO) device at the remote end.

  11. Entries for "International Dictionary of Music Therapy"

    DEFF Research Database (Denmark)

    Bonde, Lars Ole

    2013-01-01

    Lars Ole Bondehar skrevet eller bidraget til følgende opslag: analogy, graphic notation, health musicking, intensity profile, metaphor, musical pragmatics, musical semantics, musical syntax, narrative, Even Ruud, self-inquiry, vitality affects (dynamics), Tony Wigram...

  12. 76 FR 2113 - Sunshine Act; Notice of Meeting

    Science.gov (United States)

    2011-01-12

    ... public. MATTERS TO BE CONSIDERED: Open Session 1. Announcement of Notation Votes, and 2. Human Trafficking and Forced Labor--Invited Panelists Note: In accordance with the Sunshine Act, the meeting will be...

  13. 10 CFR 2.711 - Evidence.

    Science.gov (United States)

    2010-01-01

    ... preserved without notation on-the-record. (g) Offer of proof. An offer of proof, made in connection with an... of any technical or scientific fact within the knowledge of the Commission as an expert body. Each...

  14. ACHIEVING HIGH INTEGRITY OF PROCESS-CONTROL SOFTWARE BY GRAPHICAL DESIGN AND FORMAL VERIFICATION

    NARCIS (Netherlands)

    HALANG, WA; Kramer, B.J.

    The International Electrotechnical Commission is currently standardising four compatible languages for designing and implementing programmable logic controllers (PLCs). The language family includes a diagrammatic notation that supports the idea of software ICs to encourage graphical design

  15. 37 CFR 102.30 - Disclosure of record to person other than the individual to whom it pertains.

    Science.gov (United States)

    2010-07-01

    ... and employees of the agency which maintains the record who have a need for the record in the... dissemination of a corrected or amended record or notation of a disagreement statement by USPTO in certain...

  16. 15 CFR 4.30 - Disclosure of record to person other than the individual to whom it pertains.

    Science.gov (United States)

    2010-01-01

    ... within the Department. (i) To those officers and employees of the agency that maintains the record who... dissemination of a corrected or amended record or notation of a disagreement statement by the Department in...

  17. 10 CFR 1008.17 - Conditions of disclosure.

    Science.gov (United States)

    2010-01-01

    ... disclosure is: (1) To officers and employees of the DOE who have a need for the record in the performance of... disseminating a corrected or amended record or notation of a disagreement statement as required by subsection (c...

  18. 24 CFR 16.11 - Disclosure of record to person other than the individual to whom it pertains.

    Science.gov (United States)

    2010-04-01

    ... follows: (1) To those officers and employees of the agency which maintains the record who have a need for... or amended record or notation of a disagreement statement by the Department in certain circumstances...

  19. Environmental factors influencing milk urea nitrogen in South African ...

    African Journals Online (AJOL)

    p2492989

    following fixed effects model, in matrix notation, was used for the ANOVA: .... Estimation of genetic parameters for milk urea nitrogen and its ... urea nitrogen concentration: Heritability and genetic correlations with reproductive performance and.

  20. Technology of quantum devices

    CERN Document Server

    Razeghi, Manijeh

    2009-01-01

    This overview of solid state physics provides up-to-date developments in semiconductors and nanotechnology. Mathematical results are carefully described in a standardized style and notation, while ample problems illustrate principles throughout the text.

  1. Smarandachely k-Constrained Number of Paths and Cycles

    OpenAIRE

    Devadas Rao, P.; Sooryanarayana, B.; Jayalakshmi, M.

    2009-01-01

    All the graphs considered in this paper are simple, finite and undirected. For standard terminology and notations we refer [1], [3]. There are several types of graph labelings studied by various authors.

  2. Gclust Server: 128586 [Gclust Server

    Lifescience Database Archive (English)

    Full Text Available notation Putative transposase Number of Sequences 1 Homologs 1 Clustering thresho...ld 1.00e-22 Plants and algae (7species) (%) 0.0 Other Bikonts (Chromalveolata, Excavata) (9species) (%) 0.0

  3. (3, 1)*-Choosability of graphs of nonnegative characteristic without ...

    Indian Academy of Sciences (India)

    School of Mathematical Science, Huaiyin Normal University, 111 Changjiang ... For the used but undefined terminologies and notations, we refer the reader to the book ..... A (3,1)∗-choosable theorem on toroidal graphs, Discrete Appl. Math.

  4. Tensor analysis and elementary differential geometry for physicists and engineers

    CERN Document Server

    Nguyen-Schäfer, Hung

    2017-01-01

    This book comprehensively presents topics, such as Dirac notation, tensor analysis, elementary differential geometry of moving surfaces, and k-differential forms. Additionally, two new chapters of Cartan differential forms and Dirac and tensor notations in quantum mechanics are added to this second edition. The reader is provided with hands-on calculations and worked-out examples at which he will learn how to handle the bra-ket notation, tensors, differential geometry, and differential forms; and to apply them to the physical and engineering world. Many methods and applications are given in CFD, continuum mechanics, electrodynamics in special relativity, cosmology in the Minkowski four-dimensional spacetime, and relativistic and non-relativistic quantum mechanics. Tensors, differential geometry, differential forms, and Dirac notation are very useful advanced mathematical tools in many fields of modern physics and computational engineering. They are involved in special and general relativity physics, quantum m...

  5. Research Article Special Issue

    African Journals Online (AJOL)

    2017-08-08

    Aug 8, 2017 ... takraw; performance indicators; notational analysis; reliability. .... The performance indicators were Servicing, Passing, Break-ball, Blocking, .... Even though all the information gathered by the analyst projected a reliable result, ...

  6. Mission Assurance in a Distributed Environment

    Science.gov (United States)

    2009-06-01

    Notation ( BPMN ) – Graphical representation of business processes in a workflow • Unified Modeling Language (UML) – Use standard UML diagrams to model the system – Component, sequence, activity diagrams

  7. UML in business process modeling

    Directory of Open Access Journals (Sweden)

    Bartosz Marcinkowski

    2013-03-01

    Full Text Available Selection and proper application of business process modeling methods and techniques have a significant impact on organizational improvement capabilities as well as proper understanding of functionality of information systems that shall support activity of the organization. A number of business process modeling notations were popularized in practice in recent decades. Most significant of the notations include Business Process Modeling Notation (OMG BPMN and several Unified Modeling Language (OMG UML extensions. In this paper, the assessment whether one of the most flexible and strictly standardized contemporary business process modeling notations, i.e. Rational UML Profile for Business Modeling, enable business analysts to prepare business models that are all-embracing and understandable by all the stakeholders. After the introduction, methodology of research is discussed. Section 2 presents selected case study results. The paper is concluded with a summary.

  8. Temperature and angular momentum dependence of the ...

    Indian Academy of Sciences (India)

    particle coupled state. The above notation is the same as that used in [14]. In the present work, the statistical averages have been calculated using the canon- ical ensemble approach since the exact solutions have well-defined particle number.

  9. Supporting BPMN choreography with system integration artefacts for enterprise process collaboration

    NARCIS (Netherlands)

    Nie, H.; Lu, X.; Duan, H.

    2014-01-01

    Business Process Model and Notation (BPMN) choreography modelling depicts externally visible message exchanges between collaborating processes of enterprise information systems. Implementation of choreography relies on designing system integration solutions to realise message exchanges between

  10. Sound Basics: A Primer in Psychoacoustics

    National Research Council Canada - National Science Library

    Elias, Bartholomew

    1998-01-01

    .... Users of the materials are expected to have a basic understanding of algebraic notation and problem solving and logarithms, but need not have any formal background in psychoacoustics or hearing...

  11. Transfer function of analog fiber-optic systems driven by Fabry-Perot lasers: comment

    Science.gov (United States)

    Gyula, Veszely

    2006-10-01

    A bad notation makes difficult the understanding of the paper of Capmany et al. [J. Opt. Soc. Am. B22, 2099 (2005)]. The reason is that the real time function and the complex time function run into one another.

  12. Variational formulae for Fuchsian groups over families of algebraic ...

    Indian Academy of Sciences (India)

    We start with a compact Riemann surface X0, corresponding to the plane algebraic ..... Let us, for notational convenience, denote as xأ the meromorphic .... main business of showing the exact nature of how these transformations come about in.

  13. Research Article Special Issue

    African Journals Online (AJOL)

    pc

    2017-11-10

    Nov 10, 2017 ... system architecture design would be more important role at that .... specification into a structured hierarchy of system goal. b. The second phase is ... notations from the object-oriented analysis and design. Gaia supports micro ...

  14. SCR: A Toolset for Specifying and Analyzing Requirements

    National Research Council Canada - National Science Library

    Heitmeyer, Constance; Bull, Alan; Gasarch, Carolyn; Labaw, Bruce

    1995-01-01

    ... (Software Cost Reduction) tabular notation. The tools include an editor for building the specifications, a consistency checker for testing the specifications for consistency with a formal requirements model, a simulator for symbolically...

  15. CE--Isep-fe-mber

    Indian Academy of Sciences (India)

    lated Monte Carlo approach to hypothesis testing; and. Simon [7J proposed ... The notation 'P('IX)' denotes probability conditional ... of theoretical effort, surveyed for example, by Hall [12], has been ... empirical estImate of the probability model.

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

  17. A generalization of tensor calculus and its application to physics

    International Nuclear Information System (INIS)

    Ashtekar, A.

    1982-01-01

    Penrose's abstract index notation and axiomatic introduction of covariant derivatives in tensor calculus is generalized to fields with internal degrees of freedom. The result provides, in particular, an intrinsic formulation of gauge theories without the use of bundles. (author)

  18. Science Academies' Refresher Course on Applications of Quantum ...

    Indian Academy of Sciences (India)

    IAS Admin

    2015-11-10

    Nov 10, 2015 ... at clarifying basic concepts and improving the pedagogical skills of participants. Module 1: Basics of quantum mechanics: Historical remarks, Mathematical background, Schrodinger equation,. Abstract formulation, Dirac notation, Representations and Pictures, Linear Oscillator, Perturbation Theory.

  19. Indexing Laboratory Notebooks in a Chemical R&D Environment

    Science.gov (United States)

    Mendenhall, Donna M.

    1978-01-01

    A method of preparing computerized subject and author indexes for research and development laboratory notebooks is described. Wiswesser Line Notation is used as the subject entry capable of listing specifically and unambiguously the compounds described in the notebooks. (Author)

  20. Analyzing sensory data with R

    CERN Document Server

    Le, Sebastien

    2014-01-01

    Quantitative Descriptive Approaches When panelists rate products according to one single list of attributes Data, sensory issues, notations In practice For experienced users: Measuring the impact of the experimental design on the perception of the products? When products are rated according to one single list of attributesData, sensory issues, notations In practice For experienced users: Adding supplementary information to the product space When products are rated according to several lists

  1. The Formalization of the Business Process Modeling Goals

    OpenAIRE

    Bušinska, Ligita; Kirikova, Mārīte

    2016-01-01

    In business process modeling the de facto standard BPMN has emerged. However, the applications of this notation have many subsets of elements and various extensions. Also, BPMN still coincides with many other modeling languages, forming a large set of available options for business process modeling languages and dialects. While, in general, the goal of modelers is a central notion in the choice of modeling languages and notations, in most researches that propose guidelines, techniques, and me...

  2. Learning Hierarchical Feature Extractors for Image Recognition

    Science.gov (United States)

    2012-09-01

    feature space . . . . . . . . . . . . . . . 85 5.3.1 Preserving neighborhood relationships during coding . . . . . . 86 5.3.2 Letting only neighbors vote ...Letting only neighbors vote during pooling Pooling involves extracting an ensemble statistic from a potentially large group of in- puts. However...element. For slicing the 4D tensor S we adopt the MATLAB notation for simplicity of notation. function ConvCoD(x,D, α) Set: S = DT ∗ D Initialize: z = 0; β

  3. Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets

    DEFF Research Database (Denmark)

    Bertolini, Cristiano; Liu, Zhiming; Srba, Jiri

    2013-01-01

    Workflows in modern healthcare systems are becoming increasingly complex and their execution involves concurrency and sharing of resources. The definition, analysis and management of collaborative healthcare workflows requires abstract model notations with a precisely defined semantics and a supp......Workflows in modern healthcare systems are becoming increasingly complex and their execution involves concurrency and sharing of resources. The definition, analysis and management of collaborative healthcare workflows requires abstract model notations with a precisely defined semantics...

  4. Distributed computer systems theory and practice

    CERN Document Server

    Zedan, H S M

    2014-01-01

    Distributed Computer Systems: Theory and Practice is a collection of papers dealing with the design and implementation of operating systems, including distributed systems, such as the amoeba system, argus, Andrew, and grapevine. One paper discusses the concepts and notations for concurrent programming, particularly language notation used in computer programming, synchronization methods, and also compares three classes of languages. Another paper explains load balancing or load redistribution to improve system performance, namely, static balancing and adaptive load balancing. For program effici

  5. Differential Geometry

    CERN Document Server

    Stoker, J J

    2011-01-01

    This classic work is now available in an unabridged paperback edition. Stoker makes this fertile branch of mathematics accessible to the nonspecialist by the use of three different notations: vector algebra and calculus, tensor calculus, and the notation devised by Cartan, which employs invariant differential forms as elements in an algebra due to Grassman, combined with an operation called exterior differentiation. Assumed are a passing acquaintance with linear algebra and the basic elements of analysis.

  6. Transportvaneundersøgelsen - Variabeldeklaration : TU 2006-11, version 2

    DEFF Research Database (Denmark)

    Christiansen, Hjalmar

    Dette notat dokumenterer de leverede data i datasættet TU 2006-11 version 2, som omfatter data fra perioden maj 2006 til 30. April 2012. For den mest opdaterede dokumentation af nyeste TU-data henvises til vores hjemmeside. Nærværende notat følger såvidt muligt datasættet og opdateres ikke herefter....

  7. Transportvaneundersøgelsen - Variabeldeklaration : TU 2006-12, version 2

    DEFF Research Database (Denmark)

    Christiansen, Hjalmar; Skougaard, Britt Zoëga

    Dette notat dokumenterer de leverede data i datasættet TU 2006-12 version 2, som omfatter data fra perioden maj 2006 til 30. april 2012. For den mest opdaterede dokumentation af nyeste TU-data henvises til vores hjemmeside. Nærværende notat følger såvidt muligt datasættet og opdateres ikke herefter....

  8. Scaffold: Quantum Programming Language

    Science.gov (United States)

    2012-07-24

    following notation: datatype variablename; where “ datatype ” is the type of the variable and “variablename” is the name of the variable. Valid primitive... datatypes include the same datatypes commonly used in C, such as int, char, float, etc. A classical variable is referenced using its name. Users may also...casts between datatypes can be done using the C casting notation (parentheses around a datatype preceding a variable). For example, the following code

  9. Industrial case study on the integration of SysML and AUTOSAR with triple graph grammars

    OpenAIRE

    Giese, Holger (Prof. Dr.); Hildebrandt, Stephan; Neumann, Stefan; Wätzoldt, Sebastian

    2012-01-01

    During the overall development of complex engineering systems different modeling notations are employed. For example, in the domain of automotive systems system engineering models are employed quite early to capture the requirements and basic structuring of the entire system, while software engineering models are used later on to describe the concrete software architecture. Each model helps in addressing the specific design issue with appropriate notations and at a suitable level of abstracti...

  10. SBOAT: A Stochastic BPMN Analysis and Optimisation Tool

    DEFF Research Database (Denmark)

    Herbert, Luke Thomas; Hansen, Zaza Nadja Lee; Jacobsen, Peter

    2014-01-01

    In this paper we present a description of a tool development framework, called SBOAT, for the quantitative analysis of graph based process modelling languages based upon the Business Process Modelling and Notation (BPMN) language, extended with intention preserving stochastic branching and parame......In this paper we present a description of a tool development framework, called SBOAT, for the quantitative analysis of graph based process modelling languages based upon the Business Process Modelling and Notation (BPMN) language, extended with intention preserving stochastic branching...

  11. Analýza a návrh aplikace s využitím UML

    OpenAIRE

    Hajník, Julius

    2009-01-01

    The goal of this work is to create an example of analysis and design of computer application utilizing the notation of UML usable for purposes of education in elementary informatics classes. Analysis and design are demonstrated on application Distributor SW. This application serves for recording purchase orders in software retail business. astah* is the CASE tool used in this work for modeling with UML notation.

  12. Reviews of Selected System and Software Tools for Strategic Defense Applications

    Science.gov (United States)

    1990-02-01

    Lvel r I TRADEMARK ACKNOWLEDGEMENTS I All terms mentioned in this paper that are known to be trademarks or service marks are listed below. Use of a term...A process can be specified in enough mathematical and parametric detail to automatically generate compilable code representing its operation. Code...information (i.e., requirements or other infor- I mation stated in mathematics or logic notation), non-formal notation (e.g., free text), or 3 35 I I

  13. A systematic investigation of the link between rational number processing and algebra ability.

    Science.gov (United States)

    Hurst, Michelle; Cordes, Sara

    2018-02-01

    Recent research suggests that fraction understanding is predictive of algebra ability; however, the relative contributions of various aspects of rational number knowledge are unclear. Furthermore, whether this relationship is notation-dependent or rather relies upon a general understanding of rational numbers (independent of notation) is an open question. In this study, college students completed a rational number magnitude task, procedural arithmetic tasks in fraction and decimal notation, and an algebra assessment. Using these tasks, we measured three different aspects of rational number ability in both fraction and decimal notation: (1) acuity of underlying magnitude representations, (2) fluency with which symbols are mapped to the underlying magnitudes, and (3) fluency with arithmetic procedures. Analyses reveal that when looking at the measures of magnitude understanding, the relationship between adults' rational number magnitude performance and algebra ability is dependent upon notation. However, once performance on arithmetic measures is included in the relationship, individual measures of magnitude understanding are no longer unique predictors of algebra performance. Furthermore, when including all measures simultaneously, results revealed that arithmetic fluency in both fraction and decimal notation each uniquely predicted algebra ability. Findings are the first to demonstrate a relationship between rational number understanding and algebra ability in adults while providing a clearer picture of the nature of this relationship. © 2017 The British Psychological Society.

  14. Comparison of athlete-coach perceptions of internal and external load markers for elite junior tennis training.

    Science.gov (United States)

    Murphy, Alistair P; Duffield, Rob; Kellett, Aaron; Reid, Machar

    2014-09-01

    To investigate the discrepancy between coach and athlete perceptions of internal load and notational analysis of external load in elite junior tennis. Fourteen elite junior tennis players and 6 international coaches were recruited. Ratings of perceived exertion (RPEs) were recorded for individual drills and whole sessions, along with a rating of mental exertion, coach rating of intended session exertion, and athlete heart rate (HR). Furthermore, total stroke count and unforced-error count were notated using video coding after each session, alongside coach and athlete estimations of shots and errors made. Finally, regression analyses explained the variance in the criterion variables of athlete and coach RPE. Repeated-measures analyses of variance and interclass correlation coefficients revealed that coaches significantly (P coach and athlete. However, athlete drill RPE (P = .14; r = .71) and mental exertion (P = .44; r = .68) were comparable and substantially correlated. No significant differences in estimated stroke count were evident between athlete and coach (P = .21), athlete notational analysis (P = .06), or coach notational analysis (P = .49). Coaches estimated significantly greater unforced errors than either athletes or notational analysis (P coach RPE was explained by intended session exertion and coach drill RPE, while drill RPE and peak HR explained 45.3% of the variance in athlete session RPE. Coaches misinterpreted session RPE but not drill RPE, while inaccurately monitoring error counts. Improved understanding of external- and internal-load monitoring may help coach-athlete relationships in individual sports like tennis avoid maladaptive training.

  15. Children's note taking as a mnemonic tool.

    Science.gov (United States)

    Eskritt, Michelle; McLeod, Kellie

    2008-09-01

    When given the opportunity to take notes in memory tasks, children sometimes make notes that are not useful. The current study examined the role that task constraints might play in the production of nonmnemonic notes. In Experiment 1, children played one easy and one difficult memory game twice, once with the opportunity to make notes and once without that opportunity. More children produced functional notations for the easier task than for the more difficult task, and their notations were beneficial to memory performance. Experiment 2 found that the majority of children who at first made nonmnemonic notations were able to produce functional notations with minimal training, and there was no significant difference in notation quality or memory performance between spontaneous and trained note takers. Experiment 3 revealed that the majority of children could transfer their training to a novel task. The results suggest that children's production of nonmnemonic notes may be due in part to a lack of knowledge regarding what task information is important to represent or how to represent it in their notes rather than to an inability to make functional notes in general.

  16. Process notebook for aquatic ecosystem simulation

    International Nuclear Information System (INIS)

    Swartzman, G.; Smith, E.; McKenzie, D.; Haar, B.; Fickeisen, D.

    1980-01-01

    This notebook contains a detailed comparison of 14 models of fish growth, energetics, population dynamics, and feeding. It is a basic document for the evaluation of thes models' usefulness for impact assessment. Model equations are categorized into 18 subprocesses comprising the major processes of consumption, predation, metabolic processes, growth, fecundity, and mortality. The model equations are compared in a standard notation and the equation rationales are considered and put into a historical framework with historical precedence charts. Model parameters are computed in standard units and data sources and techniques used for parameter estimation are identified. A translator compares standard notation with the notation used in the models. The major contribution of this work is that, for the first time, fish models are arrayed with their assumptions laid bare and their parameter values compared, allowing elucidation of model differeances and evaluaton of model behavior and data needs by using the process notebook as a base for further simulation comparison

  17. Mise en Scene: Conversion of Scenarios to CSP Traces for the Requirements-to-Design-to-Code Project

    Science.gov (United States)

    Carter. John D.; Gardner, William B.; Rash, James L.; Hinchey, Michael G.

    2007-01-01

    The "Requirements-to-Design-to-Code" (R2D2C) project at NASA's Goddard Space Flight Center is based on deriving a formal specification expressed in Communicating Sequential Processes (CSP) notation from system requirements supplied in the form of CSP traces. The traces, in turn, are to be extracted from scenarios, a user-friendly medium often used to describe the required behavior of computer systems under development. This work, called Mise en Scene, defines a new scenario medium (Scenario Notation Language, SNL) suitable for control-dominated systems, coupled with a two-stage process for automatic translation of scenarios to a new trace medium (Trace Notation Language, TNL) that encompasses CSP traces. Mise en Scene is offered as an initial solution to the problem of the scenarios-to-traces "D2" phase of R2D2C. A survey of the "scenario" concept and some case studies are also provided.

  18. Algebraic formulas for some nontrivial U/sub n/ 6j symbols and U/sub m/n contains U/sub m/ x U/sub n/ 3jm symbols

    International Nuclear Information System (INIS)

    Haase, R.W.; Butler, P.H.

    1985-01-01

    We give tables of algebraic formulas for some nontrivial 6j symbols and 3jm symbols of the unitary groups. The tables demonstrate that the building-up method can be used successfully to obtain the rank dependence of unitary group j and jm symbols. To emphasize the rank-dependent nature of this calculation, we have employed the composite Young tableaux notation (or back-to-back notation) to label the unitary group irreps. In using this notation, the transpose conjugate symmetry of the corresponding composite Young diagram leads to a new symmetry of the unitary group 6j and 3jm symbols. The transposition of the groups U/sub m/ and U/sub n/ gives rise to a further symmetry of the 3jm symbols of U/sub m/n contains U/sub m/ x U/sub n/

  19. Design of Embedded Real-time Systems: Developing a Method for Practical Software Engineering

    DEFF Research Database (Denmark)

    Løvengreen, Hans Henrik; Ravn, Anders P.; Rischel, Hans

    1990-01-01

    The methodological issues and practical problems in development and industrial use of a theory-based design method for embedded, real-time systems are discussed. The method has been used for several years in a number of smaller industries that develop both electronics and software for a professio......The methodological issues and practical problems in development and industrial use of a theory-based design method for embedded, real-time systems are discussed. The method has been used for several years in a number of smaller industries that develop both electronics and software...... for a professional market. The design is expressed in a notation for communicating sequential processes, while data types and operations are expressed in a notation built on mathematical set theory. The authors present an order in which to use the notations, a technique for deriving states and operations...

  20. BPLOM: BPM Level-Oriented Methodology for Incremental Business Process Modeling and Code Generation on Mobile Platforms

    Directory of Open Access Journals (Sweden)

    Jaime Solis Martines

    2013-06-01

    Full Text Available The requirements engineering phase is the departure point for the development process of any kind of computer application, it determines the functionality needed in the working scenario of the program. Although this is a crucial point in application development, as incorrect requirement definition leads to costly error appearance in later stages of the development process, application domain experts’ implication remains minor. In order to correct this scenario, business process modeling notations were introduced to favor business expert implication in this phase, but notation complexity prevents this participation to reach its ideal state. Hence, we promote the definition of a level oriented business process methodology, which encourages the adaptation of the modeling notation to the modeling and technical knowledge shown by the expert. This approach reduces the complexity found by domain experts and enables them to model their processes completely with a level of technical detail directly proportional to their knowledge.

  1. How does Complex Mathematical Theory Arise? Phylogenetic and Cultural Origins of Algebra

    Science.gov (United States)

    Cruz, Helen De

    Algebra has emergent properties that are neither found in the cultural context in which mathematicians work, nor in the evolved cognitive abilities for mathematical thought that enable it. In this paper, I argue that an externalization of mathematical operations in a consistent symbolic notation system is a prerequisite for these emergent properties. In particular, externalism allows mathematicians to perform operations that would be impossible in the mind alone. By comparing the development of algebra in three distinct historical cultural settings - China, the medieval Islamic world and early modern Europe - I demonstrate that such an active externalism requires specific cultural conditions, including a metaphysical view of the world compatible with science, a notation system that enables the symbolic notation of operations, and the ontological viewpoint that mathematics is a human endeavour. I discuss how extending mathematical operations from the brain into the world gives algebra a degree of autonomy that is impossible to achieve were it performed in the mind alone.

  2. Continuum mechanics for engineers

    CERN Document Server

    Mase, G Thomas; Mase, George E

    2009-01-01

    Continuum TheoryContinuum MechanicsStarting OverNotationEssential MathematicsScalars, Vectors and Cartesian TensorsTensor Algebra in Symbolic Notation - Summation ConventionIndicial NotationMatrices and DeterminantsTransformations of Cartesian TensorsPrincipal Values and Principal DirectionsTensor Fields, Tensor CalculusIntegral Theorems of Gauss and StokesStress PrinciplesBody and Surface Forces, Mass DensityCauchy Stress PrincipleThe Stress TensorForce and Moment Equilibrium; Stress Tensor SymmetryStress Transformation LawsPrincipal Stresses; Principal Stress DirectionsMaximum and Minimum Stress ValuesMohr's Circles For Stress Plane StressDeviator and Spherical Stress StatesOctahedral Shear StressKinematics of Deformation and MotionParticles, Configurations, Deformations and MotionMaterial and Spatial CoordinatesLangrangian and Eulerian DescriptionsThe Displacement FieldThe Material DerivativeDeformation Gradients, Finite Strain TensorsInfinitesimal Deformation TheoryCompatibility EquationsStretch RatiosRot...

  3. Abstract numeric relations and the visual structure of algebra.

    Science.gov (United States)

    Landy, David; Brookes, David; Smout, Ryan

    2014-09-01

    Formal algebras are among the most powerful and general mechanisms for expressing quantitative relational statements; yet, even university engineering students, who are relatively proficient with algebraic manipulation, struggle with and often fail to correctly deploy basic aspects of algebraic notation (Clement, 1982). In the cognitive tradition, it has often been assumed that skilled users of these formalisms treat situations in terms of semantic properties encoded in an abstract syntax that governs the use of notation without particular regard to the details of the physical structure of the equation itself (Anderson, 2005; Hegarty, Mayer, & Monk, 1995). We explore how the notational structure of verbal descriptions or algebraic equations (e.g., the spatial proximity of certain words or the visual alignment of numbers and symbols in an equation) plays a role in the process of interpreting or constructing symbolic equations. We propose in particular that construction processes involve an alignment of notational structures across representation systems, biasing reasoners toward the selection of formal notations that maintain the visuospatial structure of source representations. For example, in the statement "There are 5 elephants for every 3 rhinoceroses," the spatial proximity of 5 and elephants and 3 and rhinoceroses will bias reasoners to write the incorrect expression 5E = 3R, because that expression maintains the spatial relationships encoded in the source representation. In 3 experiments, participants constructed equations with given structure, based on story problems with a variety of phrasings. We demonstrate how the notational alignment approach accounts naturally for a variety of previously reported phenomena in equation construction and successfully predicts error patterns that are not accounted for by prior explanations, such as the left to right transcription heuristic.

  4. Motion and relativity

    CERN Document Server

    Infeld, Leopold

    1960-01-01

    Motion and Relativity focuses on the methodologies, solutions, and approaches involved in the study of motion and relativity, including the general relativity theory, gravitation, and approximation.The publication first offers information on notation and gravitational interaction and the general theory of motion. Discussions focus on the notation of the general relativity theory, field values on the world-lines, general statement of the physical problem, Newton's theory of gravitation, and forms for the equation of motion of the second kind. The text then takes a look at the approximation meth

  5. Instant MuseScore

    CERN Document Server

    Shinn, Maxwell

    2013-01-01

    Get to grips with a new technology, understand what it is and what it can do for you, and then get to work with the most important features and tasks. Instant MuseScore is written in an easy-to follow format, packed with illustrations that will help you get started with this music composition software.This book is for musicians who would like to learn how to notate music digitally with MuseScore. Readers should already have some knowledge about musical terminology; however, no prior experience with music notation software is necessary.

  6. Introduction to continuum mechanics

    CERN Document Server

    Lai, W Michael; Rubin, David

    1996-01-01

    Introduction to Continuum Mechanics is a recently updated and revised text which is perfect for either introductory courses in an undergraduate engineering curriculum or for a beginning graduate course.Continuum Mechanics studies the response of materials to different loading conditions. The concept of tensors is introduced through the idea of linear transformation in a self-contained chapter, and the interrelation of direct notation, indicial notation, and matrix operations is clearly presented. A wide range of idealized materials are considered through simple static and dynamic problems, a

  7. Introduction to continuum mechanics

    CERN Document Server

    Rubin, David; Lai, W Michael

    1994-01-01

    Continuum mechanics studies the response of materials to different loading conditions. The concept of tensors is introduced through the idea of linear transformation in a self-contained chapter, and the interrelation of direct notation, indicial notation and matrix operations is clearly presented. A wide range of idealized materials are considered through simple static and dynamic problems, and the book contains an abundance of illustrative examples and problems, many with solutions. Through the addition of more advanced material (solution of classical elasticity problems, constitutive e

  8. Particle confinement in penning traps an introduction

    CERN Document Server

    Vogel, Manuel

    2018-01-01

    This book provides an introduction to the field of Penning traps and related experimental techniques. It serves both as a primer for those entering the field, and as a quick reference for those working in it. The book is motivated by the observation that often a vast number of different resources have to be explored to gain a good overview of Penning trap principles. This is especially true for students who experience additional difficulty due to the different styles of presentation and notation. This volume provides a broad introductory overview in unified notation.

  9. Compact Solid State Terahertz Detectors

    Science.gov (United States)

    2007-07-09

    by the optical features mnH (L) that could be associated with excitonic transitions in the MQW region of the samples. The notation mnH (L) signifies...originating due to internal electric fields in the samples [1, 2]. In addition to the FKOs, at higher energies, a number of mnH (L) features...associated with the excitonic transitions in the MQW region of the samples are observed. The notation mnH (L) signifies here the transitions between the m

  10. Education on Demand

    DEFF Research Database (Denmark)

    Boysen, Lis; Hende, Merete

    2015-01-01

    Dette notat beskriver nogle af resultaterne fra programmet "Education on Demand' i projektet Det erhvervsrettede Uddannelseslaboratorium. Programmet har haft fokus på udfordringer og forandringsbehov i uddannelsesinstitutioner og -systemet. Herunder har det beskæftiget sig særligt med de to temat......Dette notat beskriver nogle af resultaterne fra programmet "Education on Demand' i projektet Det erhvervsrettede Uddannelseslaboratorium. Programmet har haft fokus på udfordringer og forandringsbehov i uddannelsesinstitutioner og -systemet. Herunder har det beskæftiget sig særligt med de...

  11. Notes on continuum mechanics

    CERN Document Server

    Chaves, Eduardo W V

    2013-01-01

    This publication is aimed at students, teachers, and researchers of Continuum Mechanics and focused extensively on stating and developing Initial Boundary Value equations used to solve physical problems. With respect to notation, the tensorial, indicial and Voigt notations have been used indiscriminately.   The book is divided into twelve chapters with the following topics: Tensors, Continuum Kinematics, Stress, The Objectivity of Tensors, The Fundamental Equations of Continuum Mechanics, An Introduction to Constitutive Equations, Linear Elasticity, Hyperelasticity, Plasticity (small and large deformations), Thermoelasticity (small and large deformations), Damage Mechanics (small and large deformations), and An Introduction to Fluids. Moreover, the text is supplemented with over 280 figures, over 100 solved problems, and 130 references.

  12. Quantum-Chemical Calculation and Visualization of the Vibrational Modes of Graphene in Different Points of the Brillouin Zone.

    Science.gov (United States)

    Lebedieva, Tetiana; Gubanov, Victor; Dovbeshko, Galyna; Pidhirnyi, Denys

    2015-12-01

    Different notations of graphene irreducible representations and optical modes could be found in the literature. The goals of this paper are to identify the correspondence between available notations, to calculate the optical modes of graphene in different points of the Brillouin zone, and to compare them with experimental data obtained by Raman and coherent anti-Stokes Raman scattering (CARS) spectroscopy. The mechanism of the resonance enhancement of vibration modes of the molecules adsorbed on graphene in CARS experiments is proposed. The possibility of appearance of the discrete breathing modes is discussed.

  13. SCORE DIGITAL TECHNOLOGY: THE CONVERGENCE

    Directory of Open Access Journals (Sweden)

    Chernyshov Alexander V.

    2013-12-01

    Full Text Available Explores the role of digital scorewriters in today's culture, education, and music industry and media environment. The main principle of the development of software is not only publishing innovation (relating to the sheet music, and integration into the area of composition, arrangement, education, creative process for works based on digital technology (films, television and radio broadcasting, Internet, audio and video art. Therefore the own convergence of musically-computer technology is a total phenomenon: notation program combined with means MIDI-sequencer, audio and video editor. The article contains the unique interview with the creator of music notation processors.

  14. Respiratory protective device design using control system techniques

    Science.gov (United States)

    Burgess, W. A.; Yankovich, D.

    1972-01-01

    The feasibility of a control system analysis approach to provide a design base for respiratory protective devices is considered. A system design approach requires that all functions and components of the system be mathematically identified in a model of the RPD. The mathematical notations describe the operation of the components as closely as possible. The individual component mathematical descriptions are then combined to describe the complete RPD. Finally, analysis of the mathematical notation by control system theory is used to derive compensating component values that force the system to operate in a stable and predictable manner.

  15. Clutches and brakes design and selection

    CERN Document Server

    Orthwein, William C

    2004-01-01

    FRICTION MATERIALSFriction CodeWearBrake FadeFriction MaterialsNotationReferencesBAND BRAKESDerivation of EquationsApplicationLever-Actuated Band Brake: Backstop DesignExample: Design of a BackstopNotationFormula CollectionReferencesEXTERNALLY AND INTERNALLY PIVOTED SHOE BRAKESPivoted External Drum BrakesPivoted Internal Drum BrakesDesign of Dual-Anchor Twin-Shoe Drum BrakesDual-Anchor Twin-Shoe Drum Brake Design ExamplesDesign of Single-Anchor Twin-Shoe Drum BrakesSingle-Anchor Twin-Shoe Drum Brake Design Exam

  16. Diderot: a Domain-Specific Language for Portable Parallel Scientific Visualization and Image Analysis.

    Science.gov (United States)

    Kindlmann, Gordon; Chiw, Charisee; Seltzer, Nicholas; Samuels, Lamont; Reppy, John

    2016-01-01

    Many algorithms for scientific visualization and image analysis are rooted in the world of continuous scalar, vector, and tensor fields, but are programmed in low-level languages and libraries that obscure their mathematical foundations. Diderot is a parallel domain-specific language that is designed to bridge this semantic gap by providing the programmer with a high-level, mathematical programming notation that allows direct expression of mathematical concepts in code. Furthermore, Diderot provides parallel performance that takes advantage of modern multicore processors and GPUs. The high-level notation allows a concise and natural expression of the algorithms and the parallelism allows efficient execution on real-world datasets.

  17. Factor Analysis for Spectral Reconnaissance and Situational Understanding

    Science.gov (United States)

    2016-07-11

    Number: Xiao Fu 0.40 0.40 1 Sub Contractors (DD882) Names of Faculty Supported Names of Under Graduate students supported Names of Personnel receiving...stationary point of Problem (10). The proof is as follows. For notational convenience, let X = [C, HT , (D′)T ], w = [w1, . . . , wK ] T , and denote g(X,w...10). The proof is as follows. For notational convenience, let X = [C, HT , (D′)T ], w = [w1, . . . , wK ] T , and denote g(X,w) = h(X) + λ K ∑ k=1

  18. A new formal graphic language for the representation of complex energy distribution systems

    Science.gov (United States)

    Benes, E.; Viehboeck, F. P.

    A schematic notation system for the representation in design and analysis of multi-component heating systems is presented. This graphic language is clear and rigorous and allows quick changes between two basic levels of abstraction, as shown by two examples: a swimming pool with combined solar/electric heating system and the low temperature heating system of the Institute of Molecular Biology in Salzburg, Austria. The notation's 'energy path graphs' are more adequate for judging the relative merits of alternative system configurations than commonly used simplified installation schemes.

  19. Performers, Composers, Scores and Editions: Commentary on Huisman, Gingras, Dhondt, and Leman (2017

    Directory of Open Access Journals (Sweden)

    Dorottya Fabian

    2017-09-01

    Full Text Available Reflecting on a study that examines the impact of various editions on the speed of learning and performance errors, this short paper notes the crudeness of western music notation and how musicians cope with deciphering the composer's musical intentions. Drawing on parallels with practitioners who specialize in historically informed performance and tend to favor playing from manuscripts and facsimiles, I argue that although performing editions are useful, proper education regarding the meaning of notation practices and compositional styles might better serve musicians. This enables each generation to construct its own understanding of the music, and of the contradictory and insufficiently specified demands of the score.

  20. Safety critical software design approach developed for Canadian nuclear power plants

    International Nuclear Information System (INIS)

    Ichiyen, M.M.; Joannou, P.K.

    1995-01-01

    Recently two methodologies were developed that comply with a high safety critical standard: the Rational Design Process, which can be characterized as a methodology based on state machines where the required behaviour of the software is defined using mathematical functions written in a notation which has a well defined syntax and semantics, and the Integrated Approach, which uses a graphical functional notation to specify the functional software requirements. The first implementations based on the two methodologies are discussed. Results from all phases of testing show a remarkably low number of errors, demonstrating that the new methodologies have indeed led to a higher demonstrable level of software reliability. (orig./HP) [de

  1. Connecting UML and VDM++ with Open Tool Support

    DEFF Research Database (Denmark)

    Lausdahl, Kenneth; Listrup, Hans Kristian; Larsen, Peter Gorm

    2009-01-01

    Most formal method notations are text based, while tools used in industry often use graphical notations, such as UML. This paper demonstrates how the power of both approaches can be combined by providing the automatic translation of VDM++ models to and from UML. The translation is implemented as ...... as a plugin for the popular Eclipse development environment by the open-source Overture initiative. Both UML class diagrams and sequence diagrams can be translated, the latter enabling the novel ability to link with the combinatorial test facility of Overture....

  2. nijotech vol. 8. no. 1 september 1984 achi 41 the design of a manual

    African Journals Online (AJOL)

    Dr Obe

    1984-09-01

    Sep 1, 1984 ... drives. This design enables the manual selection of the axis to be driven and the axis displacement after which motion on the axis is automatically halted. Using this design a machine resolution. (accuracy) of 0.00254mm (0.0001 in) was achieved on the machine tool used in this investigation. NOTATION.

  3. Energy-Aware Scheduling of FIR Filter Structures

    DEFF Research Database (Denmark)

    Koch, Peter; Wognsen, Erik Ramsgaard

    2015-01-01

    In this report we initially introduce four different implementation structures which are suitable for the Finite Impulse Response filters applied in the SDR front-end. We derive data flow graphs and precedence graphs for all four structures using the Synchronous Data Flow (SDF) notation. Using po...

  4. Safety case development with SBVR-based controlled language

    NARCIS (Netherlands)

    Luo, Y.; van den Brand, M.G.J.; Kiburse, A.; Desfray, P.; Philipe, J.; Hammoudi, S.; Pires, L.F.

    2015-01-01

    Safety case development is highly recommended by some safety standards to justify the safety of a system. The Goal Structuring Notation (GSN) is a popular approach to construct a safety case. However, the content of the safety case elements, such as safety claims, is in natural language. Therefore,

  5. Entanglement and discord for qubits and higher spin systems

    Indian Academy of Sciences (India)

    In this paper, after §2 that sets out definitions and notation, §3 will consider an entangled pair of ... Section 4 presents a correlation called discord between two subsystems [7] .... Its 'triplet' counterpart, with a plus sign in place of the minus,.

  6. Parallel handling of integrity constraints on fragmented relations

    NARCIS (Netherlands)

    Grefen, P.W.P.J.; Apers, Peter M.G.

    A short introduction to the important aspects of the PRISMA DBMS (database management system) and to the notation and terminology used is presented. It is shown how integrity constraints formulated in terms of global relations can be translated into a fragmented form. The strategy for constraint

  7. 75 FR 48712 - Proposed Vaccine Information Materials for Influenza Vaccine

    Science.gov (United States)

    2010-08-11

    ... palsy) that can lead to breathing or swallowing problems. Anyone with a weakened immune system. Anyone in close contact with someone whose immune system is so weak they require care in a protected.... In such cases, the only revision to the influenza VIS is the notation of the flu season for which the...

  8. Space and Place: Recognizing Ties that Bind.

    Science.gov (United States)

    Whiteford, Gary T.

    1980-01-01

    Suggests methods to test whether students have acquired a sense of place or spatial understanding. Knowledge of the concepts of map representation, the region, man/land notations, spatial relations, location, and scale are vital to geographic understanding. Concludes that geographic ideas should relate to particular maps. (Author/KC)

  9. Architectural Design Support for Composition & Superimposition

    NARCIS (Netherlands)

    Gurp, Jilles van; Smedinga, Rein; Bosch, Jan

    2002-01-01

    The ever growing size and complexity of software systems is making it increasingly harder to build systems that both meet current and future requirements. During architecture design, a lot of important design decisions are taken. In this paper, we present an architecture design notation based on

  10. Some fundamental properties of the ground state of atoms and molecules

    International Nuclear Information System (INIS)

    Lieb, E.H.

    1986-01-01

    This paper studies the ground states of atoms and molecules in quantum mechanics and reports on some mathematically rigourous results pertaining to the matter. The non-relativistic Hamiltonian for a molecule in the static nucleus approximation is presented along with notations

  11. 32 CFR 322.2 - Definitions.

    Science.gov (United States)

    2010-07-01

    ... express promise that the person's or the organization's identity will be held in confidence or under an... date of birth, Social Security Number. Personal notes. Notations created in paper or electronic form..., whatever the storage media (paper, electronic, etc.) about an individual or his or her education, financial...

  12. Splitting GSM schemas : a framework for outsourcing of declarative artifact systems

    NARCIS (Netherlands)

    Eshuis, H.; Hull, R.; Sun, Y.; Vaculin, R.

    2014-01-01

    Case Management is emerging as an important paradigm for Business Process Management. The Guard-Stage-Milestone (GSM) model is a recent case management approach that substantially influences OMG¿s emerging Case Management Modeling Notation standard. We study the problem of outsourcing part of a GSM

  13. Mellem lovregulering og frivillighed

    DEFF Research Database (Denmark)

    Mailand, Mikkel

    Dette notat analyserer Corporate Social Responsibility (CSR) og Virksomhedernes Sociale Engagement i tre lande. Herunder diskuteres rammebetingelsernes betydning herfor.  Diskussionen om frivillighed eller tvang er central i CSR-debatten. Analysen i notatet viser, at aktørerne i ingen af de tre...

  14. Danmarks rolle i de globale værdikæder for konventionel og certificeret soja og palmeolie

    DEFF Research Database (Denmark)

    Bosselmann, Aske Skovmand; Gylling, Morten

    2012-01-01

    Dette notat kortlægger Danmarks rolle i de globale handelsveje for soja og palmeolie ved brug af import- og eksportstatistikker, fremlægger de økonomiske aspekter ved import og brug af certificeret soja og palmeolie, og diskuterer, hvorvidt certificeringsordningerne kan beskrives som legitime og ...

  15. Elementary particle theory

    CERN Document Server

    Stefanovich, Eugene

    2018-01-01

    This book introduces notation, terminology, and basic ideas of relativistic quantum theories. The discussion proceeds systematically from the principle of relativity and postulates of quantum logics to the construction of Poincaré invariant few-particle models of interaction and scattering. It is the first of three volumes formulating a consistent relativistic quantum theory of interacting charged particles.

  16. Fulltext PDF

    Indian Academy of Sciences (India)

    exponents is introduced. The motivation behind the exponential notation is also given. Geometric series and recurring decimals follow naturally in Chapter 3. The reader is now ready for the concept oflogari thms which ... As a teacher this reviewer found this book extremely pleasant to read. She hopes that it will be seen on ...

  17. An Example of Inquiry in Linear Algebra: The Roles of Symbolizing and Brokering

    Science.gov (United States)

    Zandieh, Michelle; Wawro, Megan; Rasmussen, Chris

    2017-01-01

    In this paper we address practical questions such as: How do symbols appear and evolve in an inquiry-oriented classroom? How can an instructor connect students with traditional notation and vocabulary without undermining their sense of ownership of the material? We tender an example from linear algebra that highlights the roles of the instructor…

  18. Effective Lagrangian density in gauge supersymmetry

    International Nuclear Information System (INIS)

    Chang, S.S.

    1976-01-01

    In the framework of gauge supersymmetry proposed by Arnowitt and Nath, an effective Lagrangian density is formally rewritten in terms of a spontaneously broken vacuum metric and the remaining perturbative part in the gauge metric tensor. Tensor notations in the superspace are revised so that all sign factors of Grassmann parities appear more systematically

  19. Pitch Systems and Curwen Hand Signs: A Review of Literature

    Science.gov (United States)

    Frey-Clark, Marta

    2017-01-01

    Learning to sing from notation is a complex task, and accurately performing pitches without an external reference can be particularly challenging. As such, the use of mnemonic devices to reinforce tonal relationships is a long-standing practice among musicians. Chief among these mnemonic devices are pitch syllable systems and Curwen hand signs.…

  20. Arbejdsmarkedsreguleringen frem mod år 2018

    DEFF Research Database (Denmark)

    Andersen, Søren Kaj

    Dette notat er udarbejdet som et baggrundsnotat til et udviklingsseminar afholdt af Dansk Arbejdsgiverforening den 15.-16. september 2008. Målsætningen med notatet er at komme med bud på væsentlige forandringer i rammebetingelser og udfordringer til arbejdsmarkedsreguleringen over de kommende ti ...

  1. Fulltext PDF

    Indian Academy of Sciences (India)

    As in many other things, mathematics in. China has had a very long history and it developed mostly in isolation. The Chinese had a system of notation for using nine numerals as early as the 14th century B.C. and the theorem of Pythagoras was well known to them from ancient times. They studied. The first credit for written.

  2. Optimized Breech Location in the Harry Diamond Laboratories 4-Inch Gas Gun

    Science.gov (United States)

    1982-04-01

    equation can be deduced from the program, it is camouflaged by changes in notation and is repeated here. PAY/ Ma2 = [u-N/(N +1)](1 —u/N)1 + N/(N + 1...AERO-ASTRONAUTICAL ENGINEERING ATTN PROF TING YI LI 2036 NEIL AVENUE COLUMBUS, OH 43210 OCEANICS, INC ATTN DR. PAUL KAPLAN PLAINVIEW LONG ISLAND

  3. Simplifying the Mathematical Treatment of Radioactive Decay

    Science.gov (United States)

    Auty, Geoff

    2011-01-01

    Derivation of the law of radioactive decay is considered without prior knowledge of calculus or the exponential series. Calculus notation and exponential functions are used because ultimately they cannot be avoided, but they are introduced in a simple way and explained as needed. (Contains 10 figures, 1 box, and 1 table.)

  4. Servicing the Arctic. Report 3 : Design of an Arctic Offshore Supply Vessel (AMTSV)

    NARCIS (Netherlands)

    Bos, R.W.; Huisman, T.J.; Obers, M.P.W.; Schaap, T.; Van der Zalm, M.

    2013-01-01

    Background To design a ship its specific design requirements are to be known. These are, together with class notations, specified in previous reports and extended in this report. Since the requirements are formed iteratively, design freedom is possible. This is used to implement several innovations

  5. Mathematical Contributions of the Mayas, Aztecs & Incas: A Native American Curriculum Unit for Middle and High School. NATAM XIX.

    Science.gov (United States)

    Stodola, Janet

    Written to fulfill the requirements for a University of Minnesota College of Education off-campus Indian education course for public school teachers, this Native American curriculum unit for middle and high school reflects the mathematical achievements of the Maya, Aztec, and Inca Indians. The number systems, notation, and calendar techniques of…

  6. ProForma

    DEFF Research Database (Denmark)

    LeDuc, Richard D; Schwämmle, Veit; Shortreed, Michael R

    2018-01-01

    modifications or unidentified mass shifts within brackets following certain amino acids. The notation is unambiguous, human-readable, and can easily be parsed and written by bioinformatic tools. This system uses seven rules and supports a wide range of possible use cases, ensuring compatibility...

  7. A Relational Algebra Query Language for Programming Relational Databases

    Science.gov (United States)

    McMaster, Kirby; Sambasivam, Samuel; Anderson, Nicole

    2011-01-01

    In this paper, we describe a Relational Algebra Query Language (RAQL) and Relational Algebra Query (RAQ) software product we have developed that allows database instructors to teach relational algebra through programming. Instead of defining query operations using mathematical notation (the approach commonly taken in database textbooks), students…

  8. Getting the Client Into the Loop in Information Systems Modelling Courses

    NARCIS (Netherlands)

    Sikkel, Nicolaas; Daneva, Maia

    2011-01-01

    Information system modelling is more than a translation of requirements from one notation into another, it is part of the requirements analysis process. Adding explicitness and making design choices should provide critical feedback to the requirements document being modelled. We want our students to

  9. Rhythmic Instruction from Square One: A Constructivist Teacher and Her Metronome

    Science.gov (United States)

    Miller, Beth Ann

    2012-01-01

    Adhering to a constructivist approach, this teacher focused on problem solving and group discussion as she initiated a study of traditional notation. She began with the metronome to make the steady beat less abstract for those students who still learn best through concrete operations. The students were challenged to match magnets of various…

  10. A Critical But Missing Piece: Educating Our Professional Military on the History of Islam

    Science.gov (United States)

    2011-04-01

    language and culture as well. Therefore, Egypt and the Levant, which were Greek (or etymologically Greek) speaking areas of principally Christian...invented the algorithm and algebra, and created the science of chemistry , musical notation, and the funda- mentals of astronomy.76 Through their work as

  11. Conditional Independence in Applied Probability.

    Science.gov (United States)

    Pfeiffer, Paul E.

    This material assumes the user has the background provided by a good undergraduate course in applied probability. It is felt that introductory courses in calculus, linear algebra, and perhaps some differential equations should provide the requisite experience and proficiency with mathematical concepts, notation, and argument. The document is…

  12. A standardised graphic method for describing data privacy frameworks in primary care research using a flexible zone model.

    NARCIS (Netherlands)

    Kuchinke, W.; Ohmann, C.; Verheij, R.A.; Veen, E.B. van; Arvanitis, T.N.; Taweel, A.; Delaney, B.C.

    2014-01-01

    Purpose: To develop a model describing core concepts and principles of data flow, data privacy and confidentiality, in a simple and flexible way, using concise process descriptions and a diagrammatic notation applied to research workflow processes. The model should help to generate robust data

  13. A modal perspective on the computational complexity of attribute value grammar

    NARCIS (Netherlands)

    Blackburn, P.; Spaan, E.

    Many of the formalisms used in Attribute Value grammar are notational variants of languages of propositional modal logic and testing whether two Attribute Value descriptions unify amounts to testing for modal satisfiablity. In this paper we put this observation to work. We study the complexity of

  14. New Frontiers in Networking with Emphasis on Defense Applications

    Science.gov (United States)

    2016-06-01

    SUBJECT TERMS Network Architecture Techniques, Broadband Fiber Networks, Framework for Enabling High Data Rate Transmissions, Channel Access in Dense...JSON - Java Script Object Notation LVM - Logical Volume Management MAC - Media Access Control MGEN - a packet generator MIMO - multiple-input

  15. 49 CFR 383.73 - State procedures.

    Science.gov (United States)

    2010-10-01

    ... paragraph (a)(3) for drivers renewing a CDL for the first time after September 30, 2002, provided a notation... record prior to issuing a CDL, or at any time after the CDL is issued, that the applicant falsified... Medical Programs is designated as the keeper of the list of State contacts for receiving medical variance...

  16. A Unified Toolset for Business Process Model Formalization

    NARCIS (Netherlands)

    B. Changizi (Behnaz); N. Kokash (Natallia); F. Arbab (Farhad)

    2010-01-01

    htmlabstractIn this paper, we present a toolset to automate the transformation of Business Process Modeling Notation (BPMN), UML Sequence Diagrams, and Business Process Execution Language (BPEL), into their proposed formal semantics expressed in the channel-based coordination language Reo. Such

  17. Malkning i båsestalde

    DEFF Research Database (Denmark)

    Krabbe, H.

    Ved nybygning eller udvidelse af eksisterende båsestalde kan en separat malkestald være aktuel i stedet for et traditionelt rørmalkeanlæg. Nærværende notat omhandler sammenlignende beregninger over arbejdsforbrug, investering og årlige driftsomkostninger ved malkning i båsestalde med rørmalkeanlæg...

  18. Steerable filtering using novel circular harmonic functions with application to edge detection

    NARCIS (Netherlands)

    Papari, Giuseppe; Campisi, Patrizio; Petkov, Nicolai

    2010-01-01

    In this paper, we perform approximate steering of the elongated 2D Hermite-Gauss functions with respect to rotations and provide a compact analytical expressions for the related basis functions. A special notation introduced here considerably simplifies the derivation and unifies the cases of even

  19. On totally reducible binary forms: I

    Indian Academy of Sciences (India)

    Springer Verlag Heidelberg #4 2048 1996 Dec 15 10:16:45

    in s, σ, in which event for some pair B,C the left side of the corresponding equation (30) ... where the constants implied by the O-notation are independent of the ... for some specified integer m of a size between M inclusive and 2M exclusive.

  20. 22 CFR 1101.8 - Disclosure of records to third-parties.

    Science.gov (United States)

    2010-04-01

    ... under 5 U.S.C. 552a(b) (1) through (11) which provides as follows: (i) To those officers and employees... of a corrected or amended record or notation of a disagreement statement (5 U.S.C. 552a(c)(4)); (ii...

  1. Using domain specific languages to improve the development of a power control unit

    NARCIS (Netherlands)

    Schuts, M.; Hooman, J.

    2015-01-01

    To improve the design of a power control unit at Philips, two Domain Specific Languages (DSLs) have been used. The first DSL provides a concise and readable notation for the essential state transitions. It is used to generate both configuration files and analysis models. In addition, we also

  2. Elements of Calculus Quaternionic Matrices And Some Applications In Vector Algebra And Kinematics

    Directory of Open Access Journals (Sweden)

    Pivnyak G.G.

    2016-04-01

    Full Text Available Quaternionic matrices are proposed to develop mathematical models and perform computational experiments. New formulae for complex vector and scalar products matrix notation, formulae of first curvature, second curvature and orientation of true trihedron tracing are demonstrated in this paper. Application of quaternionic matrices for a problem of airspace transport system trajectory selection is shown.

  3. 7 CFR 46.21 - Returns, rejections, or credit memorandums on sales.

    Science.gov (United States)

    2010-01-01

    ..., a credit memorandum showing the buyer's name, sales ticket number, lot number, date of the granting... notation shall be made on the original sales ticket referring to the adjustment and showing where the... sales ticket or invoice properly completed to show the facts and shall be approved by a duly authorized...

  4. A Visualisation-Based Semiotic Analysis of Learners' Conceptual Understanding of Graphical Functional Relationships

    Science.gov (United States)

    Mudaly, Vimolan

    2014-01-01

    Within the South African school curriculum, the section on graphical functional relationships consists of signs which include symbols, notation and imagery. In a previous article we explored the role visualisation played in the way learners understood mathematical concepts. That paper reported on the learners' fixation with the physical features…

  5. Electromagnetic Field Theory in (N+1)-Space-Time : AModern Time-Domain Tensor/Array Introduction

    NARCIS (Netherlands)

    De Hoop, A.T.

    2012-01-01

    In this paper, a modern time-domain introduction is presented for electromagnetic field theory in (N+1)-spacetime. It uses a consistent tensor/array notation that accommodates the description of electromagnetic phenomena in N-dimensional space (plus time), a requirement that turns up in present-day

  6. Model driven development of user interface prototypes

    DEFF Research Database (Denmark)

    Störrle, Harald

    2010-01-01

    the whole UI development life cycle, connect all stakeholders involved, and support a wide range of levels of granularity and abstraction. This is achieved by using Window/Event-Diagrams (WEDs), a UI specification notation based on UML 2 state machines. It affords closer collaboration between different user...

  7. Relational Priming Based on a Multiplicative Schema for Whole Numbers and Fractions

    Science.gov (United States)

    DeWolf, Melissa; Son, Ji Y.; Bassok, Miriam; Holyoak, Keith J.

    2017-01-01

    Why might it be (at least sometimes) beneficial for adults to process fractions componentially? Recent research has shown that college-educated adults can capitalize on the bipartite structure of the fraction notation, performing more successfully with fractions than with decimals in relational tasks, notably analogical reasoning. This study…

  8. Unwrapping Students' Ideas about Fractions

    Science.gov (United States)

    Lewis, Rebecca M.; Gibbons, Lynsey K.; Kazemi, Elham; Lind, Teresa

    2015-01-01

    Supporting students to develop an understanding of the meaning of fractions is an important goal of elementary school mathematics. This involves developing partitioning strategies, creating representations, naming fractional quantities, and using symbolic notation. This article describes how teachers can use a formative assessment problem to…

  9. ANGULAR SPACE – TIME RELATIONS IN SOLAR RADIATION

    African Journals Online (AJOL)

    ES Obe

    1979-03-01

    Mar 1, 1979 ... The analyses are educational adaptations of engineering mechanics to this growing field of heliotechnoloy. NOTATION [1] α = solar altitude angle β = surface tilt angle, towards Equator +β, away from Equator -β γ = solar azimuth angle, clockwise from. North δ. = solar declination angle θ, i = incidence angle ...

  10. Transcribing for Greater Musicality.

    Science.gov (United States)

    Hinz, Bob

    1995-01-01

    States that transcribing is notating the performance of a musical composition or improvisation as the music is grasped aurally. Maintains that transcribing is effective for high school and college students who want to understand jazz techniques. Includes eight suggestions for teaching transcribing. (CFR)

  11. Matematicas Para El Primer Ciclo Secundario, Volumen II (Parte 1). Traduccion Preliminar de la Edicion en Ingles Revisada. (Mathematics for Junior High School, Volume II, Part 1. Preliminary Translation of the Revised English Edition).

    Science.gov (United States)

    Anderson, R. D.; And Others

    This is part one of a two-part SMSG mathematics text for junior high school students. Key ideas emphasized are structure of arithmetic from an algebraic viewpoint, the real number system as a progressing development, and metric and non-metric relations in geometry. Chapter topics include number line and coordinates, equations, scientific notation,…

  12. The Varian MAT-250 mass spectrometer. Steady isotopes laboratory

    International Nuclear Information System (INIS)

    Hernandez M, V.; Tavera D, M.L.

    1997-01-01

    This work treats over the performance and applications of the Varian Mat-250 mass spectrometer which is in the environmental isotope laboratory. It can be applied over topics such as: ions formation, acceleration and collimation, ions separation, ions detection, data transformation, sampling, δ notation. (Author)

  13. Reasoning about Grover's Quantum Search Algorithm using Probabilistic wp

    NARCIS (Netherlands)

    Butler, M.J.; Hartel, Pieter H.

    Grover's search algorithm is designed to be executed on a quantum mechanical computer. In this paper, the probabilistic wp-calculus is used to model and reason about Grover's algorithm. It is demonstrated that the calculus provides a rigorous programming notation for modelling this and other quantum

  14. Regions of variability for a class of analytic and locally univalent ...

    Indian Academy of Sciences (India)

    f ′′(0) whenever f varies over the class C(A,B). Keywords. Janowski class; univalent functions; variability regions. 2000 Mathematics Subject Classification. 30C45. 1. Introduction and preliminary results. Let C be the complex plane. We use the following notations for open and closed discs with center c and radius r in the ...

  15. 77 FR 4063 - Submission for OMB Review; Comment Request

    Science.gov (United States)

    2012-01-26

    ... notation to another officer or director designated by the directors. Independent public accountants must... the fund's accounting personnel at a total cost of $1,155 to assist the independent public accountants...) x $165 (fund senior accountant's hourly rate) = $82.50. \\3\\ Respondents estimated that each fund...

  16. Stochastic Pseudo-Boolean Optimization

    Science.gov (United States)

    2011-07-31

    16 polyominoes. Given this notation, we provide the following nonlinear mixed integer programming (MIP) formulation of the exact tiling problem: PNL ...ri, cj ≥ 0 ∀ i, j, p, q, k. 8.3.3 Linear Set Partitioning Formulation We use value disjunctions to reformulate PNL as a linear MIP that can be

  17. The Varian MAT-250 mass spectrometer. Steady isotopes laboratory; Espectrometro de masas Varian MAT-250. Laboratorio de isotopos estables

    Energy Technology Data Exchange (ETDEWEB)

    Hernandez M, V.; Tavera D, M.L. [Instituto Nacional de Investigaciones Nucleares, A.P. 18-1027, 11801 Mexico D.F. (Mexico)

    1997-07-01

    This work treats over the performance and applications of the Varian Mat-250 mass spectrometer which is in the environmental isotope laboratory. It can be applied over topics such as: ions formation, acceleration and collimation, ions separation, ions detection, data transformation, sampling, {delta} notation. (Author)

  18. Modeling and nonlinear heading control for sailing yachts

    DEFF Research Database (Denmark)

    Xiao, Lin; Jouffroy, Jerome

    2014-01-01

    This paper presents a study on the development and testing of a model-based heading controller for a sailing yacht. Using Fossen’s compact notation for marine vehicles, we first describe a nonlinear four-degree-of-freedom (DOF) dynamic model for a sailing yacht, including roll. Our model also...

  19. Modeling and nonlinear heading control for sailing yachts

    DEFF Research Database (Denmark)

    Xiao, Lin; Jouffroy, Jerome

    2011-01-01

    This paper presents a study on the development and testing of a model-based heading controller for a sailing yacht. Using Fossen's compact notation for marine vehicles, we first describe a nonlinear 4-DOF dynamic model for a sailing yacht, including roll. Starting from this model, we then design...

  20. Introduction to radiation and human health

    International Nuclear Information System (INIS)

    Anon.

    1981-01-01

    This introductory chapter presents an overview of topics that are examined throughout the book. There are brief discussions on basic scientific notation, epidemiology, risk assessment, and the use of assumptions and approximations in scientific research. The book presents evidence that ionizing radiation causes a variety of human health hazards. The health hazards evaluated in detail are cancer and chromosomal damage

  1. Using Baroque Techniques to Teach Improvisation in Your Classroom

    Science.gov (United States)

    Yoo, Hyesoo

    2015-01-01

    Before our current notation system was widely adopted by musicians, improvisation was a key component of music throughout the Western world. One of the fundamental elements of the baroque style, namely, using improvised embellishment, offered musicians great artist liberty. During the baroque period, improvisation spread across Europe and beyond.…

  2. Descriptions of Improvisational Thinking by Artist-Level Jazz Musicians

    Science.gov (United States)

    Norgaard, Martin

    2011-01-01

    Thought processes of seven artist-level jazz musicians, each of whom recorded an improvised solo, were investigated. Immediately after completing their improvisations, participants listened to recordings of their playing and looked at the notation of their solos as they described in a directed interview the thinking processes that led to the…

  3. 15 CFR 754.2 - Crude oil.

    Science.gov (United States)

    2010-01-01

    ... processed through a crude oil distillation tower. Included are reconstituted crude petroleum, and lease... 15 Commerce and Foreign Trade 2 2010-01-01 2010-01-01 false Crude oil. 754.2 Section 754.2....2 Crude oil. (a) License requirement. As indicated by the SS notation in the “License Requirements...

  4. 75 FR 19400 - Notice of Public Information Collection(s) Being Reviewed by the Federal Communications...

    Science.gov (United States)

    2010-04-14

    ..., Compulsory Ship Inspections. Form No.: N/A. Type of Review: Extension of a currently approved collection... notation in the ship's station log that certifies that the ship has/has not passed inspection, that..., upon a finding that the public interest would be served, grant a waiver of the annual inspection...

  5. Melodic cues for metre

    NARCIS (Netherlands)

    Vos, P G; van Dijk, A; Schomaker, Lambertus

    1994-01-01

    A method of time-series analysis and a time-beating experiment were used to test the structural and perceptual validity of notated metre. Autocorrelation applied to the flow of melodic intervals between notes from thirty fragments of compositions for solo instruments by J S Bach strongly supported

  6. Two-Dimensional Signal Processing and Storage and Theory and Applications of Electromagnetic Measurements. Supplement.

    Science.gov (United States)

    1984-06-01

    notation. Attention is directed toward the Performance Of signal processing I~~’ I 2. ~v ~- operations using these transformed signials, in the renal ...4".- , . . 94 Exclusive Or operation can have. Reasonably then, four probability density funcions will be

  7. The Role of the Syllable in Foreign Language Learning: Improving Oral Production through Dual-Coded, Sound-Synchronised, Typographic Annotations

    Science.gov (United States)

    Stenton, Anthony

    2013-01-01

    The CNRS-financed authoring system SWANS (Synchronised Web Authoring Notation System), now used in several CercleS centres, was developed by teams from four laboratories as a personalised learning tool for the purpose of making available knowledge about lexical stress patterns and mother-tongue interference in L2 speech production--helping…

  8. A certificateless public key encryption based return routability ...

    Indian Academy of Sciences (India)

    SENTHILKUMAR MATHI

    2017-11-16

    Nov 16, 2017 ... environment of IPv6 mobility, the MN obtains a Home-of address (HoA) from its ... attacks such as replay, man-in-the-middle, reflection and amplification attacks. .... Proposed protocol architecture. Table 1. Notations used in ...

  9. On the Presentation of Pre-Calculus and Calculus Topics: An Alternate View

    Science.gov (United States)

    Davydov, Aleksandr; Sturm-Beiss, Rachel

    2008-01-01

    The orders of presentation of pre-calculus and calculus topics, and the notation used, deserve careful study as they affect clarity and ultimately students' level of understanding. We introduce an alternate approach to some of the topics included in this sequence. The suggested alternative is based on years of teaching in colleges within and…

  10. A Multi-objective Model for Transmission Planning Under Uncertainties

    DEFF Research Database (Denmark)

    Zhang, Chunyu; Wang, Qi; Ding, Yi

    2014-01-01

    The significant growth of distributed energy resources (DERs) associated with smart grid technologies has prompted excessive uncertainties in the transmission system. The most representative is the novel notation of commercial aggregator who has lighted a bright way for DERs to participate power...

  11. Threatre 1

    African Journals Online (AJOL)

    USER

    historical-analytic, iconic cultural, musical notation and participant observation methods to engage the issues ... and settlement history as descendants of a major block of Ewes that th migrated in the 17 century from Ŋ? ..... as a dance gesture to depict scarcity of food experienced at times in the forest. They, therefore, rely on ...

  12. Network Visualization Project (NVP)

    Science.gov (United States)

    2016-07-01

    Application data flow .............................................................................2 Fig. 2 Sample JSON data...interface supporting improved network analysis and network communication visualization. 2. Application Design NVP consists of 2 parts: back-end data...notation ( JSON ) format. This JSON is provided as input to the front-end application of the project. This interaction of the user with the back-end

  13. Designing Syntax Embeddings and Assimilations for Language Libraries

    NARCIS (Netherlands)

    Bravenboer, M.; Visser, E.

    2009-01-01

    Preprint of paper published in: Models in Software Engineering, Lecture Notes in Computer Science 5002, 2008; doi:10.1007/978-3-540-69073-3_5 Language libraries extend regular libraries with domain-specific notation. More precisely, a language library is a combination of a domain-specific language

  14. Errors in the SAP reference model

    NARCIS (Netherlands)

    Mendling, J.; Aalst, van der W.M.P.; Dongen, van B.F.; Verbeek, H.M.W.

    2006-01-01

    The SAP Reference Model is a set of information models that is utilized to guide the configuration of SAP systems. A big part of these models are business process models represented in the Eventdriven Process Chains (EPC) notation. These EPC models provide a easy to comprehend overview of SAP

  15. BProVe: A formal verification framework for business process models

    DEFF Research Database (Denmark)

    Corradini, Flavio; Fornari, Fabrizio; Polini, Andrea

    2017-01-01

    Business Process Modelling has acquired increasing relevance in software development. Available notations, such as BPMN, permit to describe activities of complex organisations. On the one hand, this shortens the communication gap between domain experts and IT specialists. On the other hand...

  16. Theories of conduct disorder: a causal modelling analysis

    NARCIS (Netherlands)

    Krol, N.P.C.M.; Morton, J.; Bruyn, E.E.J. De

    2004-01-01

    Background: If a clinician has to make decisions on diagnosis and treatment, he or she is confronted with a variety of causal theories. In order to compare these theories a neutral terminology and notational system is needed. The Causal Modelling framework involving three levels of description –

  17. A Correlation of Thin Lens Approximation to Thick Lens Design by Using Coddington Factors in Lens Design and Manufacturing

    OpenAIRE

    FARSAKOĞLU, Ö. Faruk

    2014-01-01

    The effect of Coddington factors on aberration functions has been analysed using thin lens approximation. Minimizing spherical aberrations of singlet lenses using Coddington factors in lens design depending on lens manufacturing is discussed. Notation of lens test plate pairs used in lens manufacturing is also presented in terms of Coddington shape factors.

  18. Ledelse af forandringer i folkeskolen

    DEFF Research Database (Denmark)

    Kjer, Mikkel; Rosdahl, Anders

    2016-01-01

    Dette notat bygger på kvalitative interview på seks folkeskoler i efteråret 2015. Skolerne ligger i forskellige egne af landet og i landområder, mindre og store byer. Skolerne er af forskellig størrelse, og deres elevgrundlag, dvs. forældrenes sociale baggrund, varierer også. Notatet bygger primæ...

  19. Repræsentativitet i spørgeskemaundersøgelser blandt etniske minoriteter - medborgerskabsundersøgelse

    DEFF Research Database (Denmark)

    Gorinas, Cedric; Christensen, Christiane Præstgaard

    2017-01-01

    Med udgangspunkt i medborgerskabsundersøgelsen fra 2016 har dette notat til formål at undersøge, hvad der karakteriserer de etniske grupper, som er underrepræsenterede i undersøgelsen, samt at belyse svarenes informationsgrad og foreslå metoder, som tilsigter en forbedret dataindsamling blandt et...

  20. Introduction to gauge theories and unification

    International Nuclear Information System (INIS)

    Das, A.

    1990-01-01

    This paper contains the following lectures on gauge theories: basic notations; dimensional regularization; complex scalar field theory; scalar field theory; self-interacting scalar field theory; Noether's theorem; spontaneous symmetry breaking; dirac field theories; local symmetry; quantum electrodynamics; Higgs mechanism; non-Abelian symmetries; and Weinberg-Salam-Glashow theory

  1. Composition: Berceuse with Tango & Fan Shapes

    DEFF Research Database (Denmark)

    Bergstrøm-Nielsen, Carl

    2017-01-01

    For piano solo. Musical contents deal with pluralism in the form of quotations and stylistic clashes, improvisation and graphic notation - related to musical and visual works by the Danish composer Gunnar Berg (1909-1989). Through the video one can gain an impression of the score in glimpses....

  2. Extending Profiles with Stereotypes for Composite Concepts

    NARCIS (Netherlands)

    Quartel, Dick; Dijkman, R.M.; van Sinderen, Marten J.; Briand, L.; Williams, C.

    2005-01-01

    This paper proposes an extension of the UML 2.0 profiling mechanism. This extension facilitates a language designer to introduce composite concepts as separate conceptual and notational elements in a modelling language. Composite concepts are compositions of existing concepts. To facilitate the

  3. 8 CFR 251.1 - Arrival manifests and lists.

    Science.gov (United States)

    2010-01-01

    ... List, in accordance with the instructions contained thereon. (2) Longshore work notations. The master... master, captain, or agent shall prepare as a part of the manifest, when one is required for presentation... 8 Aliens and Nationality 1 2010-01-01 2010-01-01 false Arrival manifests and lists. 251.1 Section...

  4. Rotor and wind turbine formalism

    DEFF Research Database (Denmark)

    Branlard, Emmanuel Simon Pierre

    2017-01-01

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

  5. Music Retrieval based on Melodic Similarity

    NARCIS (Netherlands)

    Typke, R.

    2007-01-01

    This thesis introduces a method for measuring melodic similarity for notated music such as MIDI files. This music search algorithm views music as sets of notes that are represented as weighted points in the two-dimensional space of time and pitch. Two point sets can be compared by calculating how

  6. Reviews Books | Hofmeyr | Journal of the Musical Arts in Africa

    African Journals Online (AJOL)

    Lucia, Christine (2011). Music Notation: A South African Guide. Pretoria: UNISA Press. ISBN: 978-1-86888-568-8. xvii, 318 pp. Figures, index, CD. $32.00. Full Text: EMAIL FULL TEXT EMAIL FULL TEXT · DOWNLOAD FULL TEXT DOWNLOAD FULL TEXT · AJOL African Journals Online. HOW TO USE ...

  7. Algebra in Dutch education, 1600-2000

    NARCIS (Netherlands)

    Krüger, Jenneke

    2015-01-01

    Algebra became part of mathematics education in the Netherlands in course of the seventeenth century. At first in the form of cossic algebra, but by the end of the century, the influence of the notation of Descartes was noticeable. In the eighteenth century, algebra was part of the basic curriculum

  8. Contemplating Symbolic Literacy of First Year Mathematics Students

    Science.gov (United States)

    Bardini, Caroline; Pierce, Robyn; Vincent, Jill

    2015-01-01

    Analysis of mathematical notations must consider both syntactical aspects of symbols and the underpinning mathematical concept(s) conveyed. We argue that the construct of "syntax template" provides a theoretical framework to analyse undergraduate mathematics students' written solutions, where we have identified several types of…

  9. Configurable multi-perspective business process models

    NARCIS (Netherlands)

    La Rosa, M.; Dumas, M.; Hofstede, ter A.H.M.; Mendling, J.

    2011-01-01

    A configurable process model provides a consolidated view of a family of business processes. It promotes the reuse of proven practices by providing analysts with a generic modeling artifact from which to derive individual process models. Unfortunately, the scope of existing notations for

  10. Type-Directed Elaboration of Quasiquotations

    DEFF Research Database (Denmark)

    Christiansen, David Raymond

    2014-01-01

    Idris's reflection features allow Idris metaprograms to manipulate a representation of Idris's core language as a datatype, but these reflected terms were designed for ease of type checking and are therefore exceedingly verbose and tedious to work with. A simpler notation would make these programs...

  11. Digitalising the General Data Protection Regulation with Dynamic Condition Response Graphs

    DEFF Research Database (Denmark)

    Heuck, Emil; Hildebrandt, Thomas; Kiærulff Lerche, Rasmus

    2017-01-01

    We describe how the declarative Dynamic Condition Response (DCR) Graphs proces notation can be used to digitalise the General Data Protection Regulation (GDPR) and make a first evaluation to what extend the formalisation and associated tool for end-user modelling and simulation can be used to cla...

  12. The IMACLIM model; Le modele IMACLIM

    Energy Technology Data Exchange (ETDEWEB)

    NONE

    2003-07-01

    This document provides annexes to the IMACLIM model which propose an actualized description of IMACLIM, model allowing the design of an evaluation tool of the greenhouse gases reduction policies. The model is described in a version coupled with the POLES, technical and economical model of the energy industry. Notations, equations, sources, processing and specifications are proposed and detailed. (A.L.B.)

  13. 22 CFR 201.52 - Required documents.

    Science.gov (United States)

    2010-04-01

    ... by an endorsement on or attachment to the invoice that payment has been made in the amount shown on... by USAID, the supplier has airmailed to the USAID Mission in the capital city of the cooperating... attachment to a copy of the invoice, a copy of the bill of lading (bearing a notation of the freight cost...

  14. Applying Modeling Tools to Ground System Procedures

    Science.gov (United States)

    Di Pasquale, Peter

    2012-01-01

    As part of a long-term effort to revitalize the Ground Systems (GS) Engineering Section practices, Systems Modeling Language (SysML) and Business Process Model and Notation (BPMN) have been used to model existing GS products and the procedures GS engineers use to produce them.

  15. Pattern-based translation of BPMN process models to BPEL web services

    NARCIS (Netherlands)

    Ouyang, C.; Dumas, M.; Hofstede, ter A.H.M.; Aalst, van der W.M.P.

    2008-01-01

    The business process modeling notation (BPMN) is a graph-oriented language primarily targeted at domain analysts and supported by many modeling tools. The business process execution language for Web services (BPEL) on the other hand is a mainly block-structured language targeted at software

  16. UML Statechart Fault Tree Generation By Model Checking

    DEFF Research Database (Denmark)

    Herbert, Luke Thomas; Herbert-Hansen, Zaza Nadja Lee

    of the popular Business Process Modelling and Nota-tion (BPMN) language. To capture uncertainty and unreliability in workflows, we extend this formalism with probabilistic non-deterministic branching.We present an algorithm that allows for exhaustive gen-eration of possible error states that could arise in ex...

  17. Workflow Fault Tree Generation Through Model Checking

    DEFF Research Database (Denmark)

    Herbert, Luke Thomas; Sharp, Robin

    2014-01-01

    We present a framework for the automated generation of fault trees from models of realworld process workflows, expressed in a formalised subset of the popular Business Process Modelling and Notation (BPMN) language. To capture uncertainty and unreliability in workflows, we extend this formalism...

  18. BPMNDiffViz : a tool for BPMN models comparison

    NARCIS (Netherlands)

    Ivanov, S.Y.; Kalenkova, A.A.; Aalst, van der W.M.P.; Daniel, F.; Zugal, S.

    2015-01-01

    Automatic comparison of business processes plays an important role in their analysis and optimization. In this paper we present the web-based tool BPMNDiffViz, that finds business processes discrepancies and visualizes them. BPMN (Business Process Model and Notation) 2.0 - one of the most commonly

  19. Automated evolutionary restructuring of workflows to minimise errors via stochastic model checking

    DEFF Research Database (Denmark)

    Herbert, Luke Thomas; Hansen, Zaza Nadja Lee; Jacobsen, Peter

    2014-01-01

    This paper presents a framework for the automated restructuring of workflows that allows one to minimise the impact of errors on a production workflow. The framework allows for the modelling of workflows by means of a formalised subset of the Business Process Modelling and Notation (BPMN) language...

  20. Introducing the Collaborative Learning Modeling Language (ColeML)

    DEFF Research Database (Denmark)

    Bundsgaard, Jeppe

    2014-01-01

    in this area, represented by, for example, the Workflow Management Coalition (Hollingsworth, 1995) and the very widespread standard Business Process Modeling and Notation (BPMN), has been criticized on the basis of research in knowledge work processes. Inspiration for ColeML is found in this research area...

  1. The Emerging Importance of Business Process Standards in the Federal Government

    Science.gov (United States)

    2006-02-23

    delivers enough value for its commercialization into the general industry. Today, we are seeing standards such as SOA, BPMN and BPEL hit that...Process Modeling Notation ( BPMN ) and the Business Process Execution Language (BPEL). BPMN provides a standard representation for capturing and...execution. The combination of BPMN and BPEL offers organizations the potential to standardize processes in a distributed environment, enabling

  2. From BPMN process models to BPEL web services

    NARCIS (Netherlands)

    Ouyang, C.; Aalst, van der W.M.P.; Dumas, M.; Hofstede, ter A.H.M.; Feig, E.; Kumar, A.

    2006-01-01

    The Business Process Modelling Notation (BPMN) is a graph-oriented language in which control and action nodes can be connected almost arbitrarily. It is supported by various modelling tools but so far no systems can directly execute BPMN models. The Business Process Execution Language for Web

  3. On the suitability of BPMN for business process modelling

    NARCIS (Netherlands)

    Wohed, P.; Aalst, van der W.M.P.; Dumas, M.; Hofstede, ter A.H.M.; Russell, N.C.; Dustdar, S.; Fiadeiro, J.L.; Sheth, A.

    2006-01-01

    In this paper we examine the suitability of the Business Process Modelling Notation (BPMN) for business process modelling, using the Workflow Patterns as an evaluation framework. The Workflow Patterns are a collection of patterns developed for assessing control-flow, data and resource capabilities

  4. An Analysis of SE and MBSE Concepts to Support Defence Capability Acquisition

    Science.gov (United States)

    2014-09-01

    Architecture Review Meeting ATM Automatic Teller Machine AUSDAF Australian Defence Architecture Framework (also known as DAF) BOK Body of Knowledge BPMN ...behaviour trees, • business process modelling notation ( BPMN ™), • flowcharts, • IDEFx™ family of diagrams, and • Architecture Description...model diagraming of the ilk of BPMN , UML and SysML33 is heavily rules- 32 Architecture

  5. Semantics and analysis of business process models in BPMN

    NARCIS (Netherlands)

    Dijkman, R.M.; Dumas, M.; Ouyang, C.

    2008-01-01

    The Business Process Modelling Notation (BPMN) is a standard for capturing business processes in the early phases of systems development. The mix of constructs found in BPMN makes it possible to create models with semantic errors. Such errors are especially serious, because errors in the early

  6. Ternary Weighted Function and Beurling Ternary Banach Algebra l1ω(S

    Directory of Open Access Journals (Sweden)

    Mehdi Dehghanian

    2011-01-01

    Full Text Available Let S be a ternary semigroup. In this paper, we introduce our notation and prove some elementary properties of a ternary weight function ω on S. Also, we make ternary weighted algebra l1ω(S and show that l1ω(S is a ternary Banach algebra.

  7. Research Article Special Issue

    African Journals Online (AJOL)

    pc

    2017-11-10

    Nov 10, 2017 ... results in this case. To address this, a nonparametric test based on integrated weighted different between the mean cumulative functions which ... FORMULATION. 2.1. Basic Notation. Consider k+1 different treatment groups of independent subjects in a recurrent event study with total sample size n.

  8. Equalization in Aeronautical Telemetry Using Multiple Antennas

    Science.gov (United States)

    2014-04-01

    such an interval is assumed, although we won’t complicate the notation to make this explicit. 3In the traditional TR-STBC system, ρ = 1/2 is included...linear, with or without noise whitening ) with the usual performance-complexity tradeoffs. Here, we apply the approximate MMSE equalizer introduced in

  9. On the Application of Time-Reversed Space-Time Block Code to Aeronautical Telemetry

    Science.gov (United States)

    2014-06-01

    longest channel impulse response must be inserted between the two intervals. Here, such an interval is assumed, although we won’t complicate the notation...linear or non-linear, with or without noise whitening ) with the usual performance- complexity tradeoffs. Here, we apply the approximate MMSE

  10. THE STRUCTURE OF COCHABAMBA QUECHUA.

    Science.gov (United States)

    LASTRA, YOLANDA; SOLA, DONALD F.

    THE PURPOSE OF THIS STUDY IS TO DESCRIBE THE MAIN STRUCTURAL ASPECTS OF COCHABAMBA QUECHUA. IT IS INTENDED TO SERVE AS A REFERENCE BOOK FOR LINGUISTS AND THOSE LEARNING THIS DIALECT. THE INTRODUCTION DISCUSSES THE STUDY'S PURPOSE, INFORMANTS, METHODS, TERMINOLOGY, AND NOTATION. THE AUTHORS THEN EXAMINE IN SEPARATE CHAPTERS PHONOLOGY,…

  11. Transforming BPMN diagrams into YAWL nets

    NARCIS (Netherlands)

    Decker, G.; Dijkman, R.M.; Dumas, M.; García-Bañuelos, L.; Dumas, M.; Reichert, M.; Shan, M.-C.

    2008-01-01

    While the Business Process Modeling Notation (BPMN) is the de facto standard for modeling business processes on a conceptual level, YAWL allows the specification of executable workflow models. A transformation between these two languages enables the integration of different levels of abstraction in

  12. Formal Verification of UML Profil

    DEFF Research Database (Denmark)

    Bhutto, Arifa; Hussain, Dil Muhammad Akbar

    2011-01-01

    The Unified Modeling Language (UML) is based on the Model Driven Development (MDD) approach which capturing the system functionality using the platform-independent model (PMI) and appropriate domain-specific languages. In UML base system notations, structural view is model by the class, components...

  13. Professional Notes: Creativity in the Jazz Ensemble--Let's Get away from the Written Jazz Solo

    Science.gov (United States)

    Larson, Robert

    2015-01-01

    Performing jazz offers students the opportunity to participate in a unique group activity where notated passages are blended with exciting moments of improvisation. Expectations have risen over the years as middle and high school jazz ensembles have proved that they can perform at a very high level. This expectation however, has led to the…

  14. Stopping Power for Degenerate Electrons

    Energy Technology Data Exchange (ETDEWEB)

    Singleton, Jr., Robert [Los Alamos National Lab. (LANL), Los Alamos, NM (United States)

    2016-05-16

    This is a first attempt at calculating the BPS stopping power with electron degeneracy corrections. Section I establishes some notation and basic facts. Section II outlines the basics of the calculation, and in Section III contains some brief notes on how to proceed with the details of the calculation. The remaining work for the calculation starts with Section III.

  15. Arithmetic soft-core accelerators

    NARCIS (Netherlands)

    Calderon Rocabado, D.R.H.

    2007-01-01

    In this dissertation, we address the design of multi-functional arithmetic units working with the most common fixed-point number representations, namely: unsigned, sign-magnitude, fractional, ten's and two's complement notations. The main design goal is to collapse multiple complex arithmetic

  16. Science Library of Test Items. Volume Eleven. Mastery Testing Programme. [Mastery Tests Series 3.] Tests M27-M38.

    Science.gov (United States)

    New South Wales Dept. of Education, Sydney (Australia).

    As part of a series of tests to measure mastery of specific skills in the natural sciences, copies of tests 27 through 38 include: (27) reading a grid plan; (28) identifying common invertebrates; (29) characteristics of invertebrates; (30) identifying elements; (31) using scientific notation part I; (32) classifying minerals; (33) predicting the…

  17. A Semantics of Object-Oriented Sets

    NARCIS (Netherlands)

    Balsters, H.; de Vreeze, C.C.; de Vreeze, C.C.

    An account is given of extending the well-known object-oriented type system of Luca Cardelli with set constructs and logical formalism. The system is based on typed &lgr;-notation, employing a subtyping relation and a powertype construct. Sets in this system are value expressions and are typed as

  18. The Hamlet Application Design Language: introductory definition report

    NARCIS (Netherlands)

    M.R. van Steen

    1993-01-01

    textabstractThis report provides an introduction to the definition of the Hamlet Application Design Language (ADL). ADL is a graphical-based language and notation supporting the design of parallel real-time applications. Designs expressed in ADL are based on a model of processes that communicate by

  19. Compensation methods to support generic graph editing: A case study in automated verification of schema requirements for an advanced transaction model

    NARCIS (Netherlands)

    Even, S.J.; Spelt, D.

    Compensation plays an important role in advanced transaction models, cooperative work, and workflow systems. However, compensation operations are often simply written as a^−1 in transaction model literature. This notation ignores any operation parameters, results, and side effects. A schema designer

  20. Refinement from a control problem to program

    DEFF Research Database (Denmark)

    Schenke, Michael; Ravn, Anders P.

    1996-01-01

    The distinguishing feature of the presented refinement approach is that it links formalisms from a top level requirements notation down to programs together in a mathematically coherent development trajectory. The approach uses Duration Calculus, a real-time interval logic, to specifyrequirements...

  1. Final Environmental Impact Statement for the Nevada Test Site and off- site locations in the state of Nevada: Reader's guide

    International Nuclear Information System (INIS)

    1996-08-01

    This Reader's Guide is designed to help you find information in the US Departments of Energy's Nevada Test Site Environmental Impact Statement (NTS EIS). This Guide is divided into four sections: an introduction to the NTS EIS, specific topics, number conversions and scientific notations and public reading room locations

  2. Kort brugervejledning til simuleringsprogrammet MantlSim

    DEFF Research Database (Denmark)

    Shah, Louise Jivan

    1999-01-01

    I dette notat beskrives brugen af, simuleringsprogrammet MANTLSIM. Programmet kan beregne de termiske forhold, i low flow solvarmeanlæg med kappebeholdere, med de danske reference vejrdata TRY.MANLTSIM er baseret på det tidligere program KAPPESOL, der er udbygget så forskellige realistiske varmtv...

  3. Kodaly, Literacy, and the Brain: Preparing Young Music Students to Read Pitch on the Staff

    Science.gov (United States)

    Jacobi, Bonnie S.

    2012-01-01

    The principles of Hungarian music educator Zoltan Kodaly can be particularly useful not only in teaching children how to read music notation but also in creating curiosity and enjoyment for reading music. Many of Kodaly's ideas pertaining to music literacy have been echoed by educators such as Jerome Bruner and Edwin Gordon, as well as current…

  4. Impact of Advanced Avionics Technology on Ground Attack Weapon Systems.

    Science.gov (United States)

    1982-02-01

    notation, small letters will be used to denote electro-magnetic wave complex amplitudes in the input and output planes whilst capital letters will...de lordre de 20 mn 4 eat possible sans intervention humaine particuliare. Une redondance tras utile peut atre ajoutge sans addition notable de

  5. Some BMO estimates for vector-valued multilinear singular integral ...

    Indian Academy of Sciences (India)

    R. Narasimhan (Krishtel eMaging) 1461 1996 Oct 15 13:05:22

    the multilinear operator related to some singular integral operators is obtained. The main purpose of this paper is to establish the BMO end-point estimates for some vector-valued multilinear operators related to certain singular integral operators. First, let us introduce some notations [10,16]. Throughout this paper, Q = Q(x,r).

  6. The concept of illness and music therapy among members of Iyayi ...

    African Journals Online (AJOL)

    ... therapeutic medium as well as accompaniment to healing rites. The study concludes that Iyayi songs hold much promise for the development of pan African music therapy and as such should be notated. Iyayi songs are of immense benefits in the treatment and management of labour pains, insomnia and general debilities ...

  7. Automatic Melody Segmentation

    NARCIS (Netherlands)

    Rodríguez López, Marcelo

    2016-01-01

    The work presented in this dissertation investigates music segmentation. In the field of Musicology, segmentation refers to a score analysis technique, whereby notated pieces or passages of these pieces are divided into “units” referred to as sections, periods, phrases, and so on. Segmentation

  8. Understanding Ocean Acidification

    Science.gov (United States)

    National Oceanic and Atmospheric Administration, 2011

    2011-01-01

    This curriculum module is designed for students who are taking high school chemistry. Students should already have some experience with the following: (1) Understanding and reading the pH scale; (2) Knowledge of the carbon cycle; (3) Using scientific notation to express large and small values; and (4) Reading chemical equations. This curriculum…

  9. Lecture Note on Discrete Mathematics: Predicates and Quantifiers

    DEFF Research Database (Denmark)

    Nordbjerg, Finn Ebertsen

    2016-01-01

    This lecture note supplements the treatment of predicates and quantifiers given in standard textbooks on Discrete Mathematics (e.g.: [1]) and introduces the notation used in this course. We will present central concepts that are important, when predicate logic is used for specification...

  10. 78 FR 67144 - Sunshine Act Notice

    Science.gov (United States)

    2013-11-08

    ... EQUAL EMPLOYMENT OPPORTUNITY COMMISSION Sunshine Act Notice AGENCY HOLDING THE MEETING: Equal Employment Opportunity Commission. DATE AND TIME: Wednesday, November 13, 2013, 9:30 a.m. Eastern Time. PLACE.... Announcement of Notation Votes, and 2. National Origin Discrimination in Today's Workplace. Note: In accordance...

  11. Study of the environment-friendly cultivation techniques optimizing the energy balance

    International Nuclear Information System (INIS)

    1993-01-01

    This study aims at discovering how to handle wheat so has to have the best energetic result. This analysis consists of three main parts. It first deals with the research of the nitrogen fertilization optimum level, then with the effect of a leguminosae on wheat nitrogen fertilization. It finally includes a synthesis of these results in growth notations. (TEC). 10 graphs., 17 tabs

  12. Towards a Script-Based Representation Language for Educational Films.

    Science.gov (United States)

    Parkes, Alan P.

    1987-01-01

    Discusses aspects of the syntax and semantics of film, and presents a scenario for the use of film by intelligent computer assisted instruction (ICAI) systems. An outline of a representation language for educational films on videodisc is presented, and an appendix provides conceptual graphs that explain notations used in examples. (Author/LRW)

  13. Grade 8 Spanish Math Skills Sharpeners and La Calculadora. Hojas de ejercicios (Calculator Unit. Exercise Sheets.)

    Science.gov (United States)

    Milwaukee Public Schools, WI.

    This workbook contains "skill sharpening" math problems presented in Spanish. These problems have been designed as supplementary work for students at the eighth grade level. Functions and topics such as addition, subtraction, division, multiplication, decimals, scientific notation (exponents), fractions, symmetry, angles, the metric…

  14. AN EFFICIENT, BOX SHAPE INDEPENDENT NONBONDED FORCE AND VIRIAL ALGORITHM FOR MOLECULAR-DYNAMICS

    NARCIS (Netherlands)

    Bekker, H.; Dijkstra, E.J; Renardus, M.K.R.; Berendsen, H.J.C.

    1995-01-01

    A notation is introduced and used to transform a conventional specification of the non-bonded force and virial algorithm in the case of periodic boundary conditions into an alternative specification. The implementation of the transformed specification is simpler and typically a factor of 1.5 faster

  15. Chemical Principles Revisited. Redox Reactions and the Electropotential Axis.

    Science.gov (United States)

    Vella, Alfred J.

    1990-01-01

    This paper suggests a nontraditional pedagogic approach to the subject of redox reactions and electrode potentials suitable for freshman chemistry. Presented is a method for the representation of galvanic cells without the introduction of the symbology and notation of conventional cell diagrams. (CW)

  16. avoiding general chemistry textbooks' misrepresentations

    African Journals Online (AJOL)

    IICBA01

    As it has been stated before, it was found [25, 26] that 40% of first-year university ... Table 1. Glossary of equilibrium constant terms for a given chemical equilibrium ..... Notation for States and Processes, Significance of the Word Standard in.

  17. A matricial approach for the Dirac-Kahler formalism

    International Nuclear Information System (INIS)

    Goto, M.

    1987-01-01

    A matricial approach for the Dirac-Kahler formalism is considered. It is shown that the matrical approach i) brings a great computational simplification compared to the common use of differential forms and that ii) by an appropriate choice of notation, it can be extended to the lattice, including a matrix Dirac-Kahler equation. (author) [pt

  18. Method to control and correct telemtry well information in the basis of ...

    African Journals Online (AJOL)

    The paper considers the issue of increasing the reliability of the borehole telemetry information. The issue is suggested to be solved by applying the code of nonpositional residue number system instead of a traditionally used positional number notation to code the information. The residue number system is shown to have ...

  19. Generalized modular multilevel converter and modulation

    DEFF Research Database (Denmark)

    Liu, Hui; Loh, Poh Chiang; Blaabjerg, Frede

    2014-01-01

    converters regulating a power grid. The generalized topology derived and notated as GMMC can then be altered to create various types of MMC, including the traditional topology that is presently well-known. This effort has not been previously discussed, and may smoothen the understanding of MMC operation...

  20. Notes on basic materials (1)

    International Nuclear Information System (INIS)

    Donald, R.

    1976-01-01

    This lecture was a revision of basic material, intended for students who were mainly postgraduate at the end of their first year in experimental high energy physics. The subject headings include the following: notation and generalities; classification of particles; symmetry arguments; higher symmetries; SU 3 isoscalar factors; predictions from SU 3; charm; relativistic wave equations; Feynman graphical techniques. (U.K.)

  1. Visualizing multi-channel networks

    DEFF Research Database (Denmark)

    Antemijczuk, Paweł; Magiera, Marta; Jørgensen, Sune Lehmann

    2014-01-01

    In this paper, we propose a visualization to illustrate social interactions, built from multiple distinct channels of communication. The visualization displays a summary of dense personal information in a compact graphical notation. The starting point is an abstract drawing of a spider’s web. Below...

  2. How Prosody Marks Shifts in Footing in Classroom Discourse

    Science.gov (United States)

    Skidmore, David; Murakami, Kyoko

    2010-01-01

    Prosody refers to features of speech such as intonation, volume and pace. In this paper, we examine teacher-student dialogue in an English lesson at a secondary school in England, using Conversation Analysis notation to mark features of prosody. We also make connections with Goffman's theoretical concept of footing. We show that, within an episode…

  3. Diagnosing differences between business process models

    NARCIS (Netherlands)

    Dijkman, R.M.; Dumas, M.; Reichert, M.; Shan, M.-C.

    2008-01-01

    This paper presents a technique to diagnose differences between business process models in the EPC notation. The diagnosis returns the exact position of a difference in the business process models and diagnoses the type of a difference, using a typology of differences developed in previous work.

  4. Canonical embedding

    Indian Academy of Sciences (India)

    (x*)=x*(x). This turns out to be a continuous linear functional on X* and its norm is exactly ||x||. Thus without complicating the notation, x can be thought of as an element of X** and the norm is the same in either space.

  5. Eigenvalue estimates of positive integral operators with analytic ...

    Indian Academy of Sciences (India)

    Eigenvalue estimates of positive integral operators. 337 will be used to denote, respectively, the complex line integral of f along γ and the integral of f with respect to arc-length measure. In the first case we assume γ has an orientation. The notation Lp(γ ) will denote the Lp space of normalized arc length measure on γ with.

  6. Gauge field governing parallel transport along mixed states

    International Nuclear Information System (INIS)

    Uhlmann, A.

    1990-01-01

    At first a short account is given of some basic notations and results on parallel transport along mixed states. A new connection form (gauge field) is introduced to give a geometric meaning to the concept of parallelity in the theory of density operators. (Author) 11 refs

  7. Nonlinear theory of elastic shells

    International Nuclear Information System (INIS)

    Costa Junior, J.A.

    1979-08-01

    Nonlinear theory of elastic shells is developed which incorporates both geometric and physical nonlinearities and which does not make use of the well known Love-Kirchhoff hypothesis. The resulting equations are formulated in tensorial notation and are reduced to the ones of common use when simplifying assumptions encountered in the especific litterature are taken. (Author) [pt

  8. Splitting GSM schemas : a framework for outsourcing of declarative artifact systems

    NARCIS (Netherlands)

    Eshuis, H.; Hull, R.; Sun, Y.; Vaculin, R.; Daniel, F.; Wang, J.; Weber, B.

    2013-01-01

    Case Management is emerging as an important paradigm for Business Process Management. The Guard-Stage-Milestone (GSM) model is a recent case management approach that substantially influences OMG’s emerging Case Management Modeling Notation standard. We study the problem of outsourcing part of a GSM

  9. Lectures on Quantum Mechanics

    Science.gov (United States)

    Weinberg, Steven

    2015-09-01

    Preface; Notation; 1. Historical introduction; 2. Particle states in a central potential; 3. General principles of quantum mechanics; 4. Spin; 5. Approximations for energy eigenstates; 6. Approximations for time-dependent problems; 7. Potential scattering; 8. General scattering theory; 9. The canonical formalism; 10. Charged particles in electromagnetic fields; 11. The quantum theory of radiation; 12. Entanglement; Author index; Subject index.

  10. The Effects of Textisms on Learning, Study Time, and Instructional Perceptions in an Online Artificial Intelligence Instructional Module

    Science.gov (United States)

    Beasley, Robert; Bryant, Nathan L.; Dodson, Phillip T.; Entwistle, Kevin C.

    2013-01-01

    The purpose of this study was to investigate the effects of textisms (i.e., abbreviated spellings, acronyms, and other shorthand notations) on learning, study time, and instructional perceptions in an online artificial intelligence instructional module. The independent variable in this investigation was experimental condition. For the control…

  11. A physical model to predict climate dynamics in ventilated bulk-storage of agricultural produce

    NARCIS (Netherlands)

    Lukasse, L.J.S.; Kramer-Cuppen, de J.E.; Voort, van der A.J.

    2007-01-01

    This paper presents a physical model for predicting climate dynamics in ventilated bulk-storage of agricultural produce. A well-ordered model presentation was obtained by combining an object-oriented zonal decomposition with a process-oriented decomposition through matrix¿vector notation. The

  12. Advances in Music-Reading Research

    Science.gov (United States)

    Gudmundsdottir, Helga Rut

    2010-01-01

    The purpose of this paper is to construct a comprehensive review of the research literature in the reading of western staff notation. Studies in music perception, music cognition, music education and music neurology are cited. The aim is to establish current knowledge in music-reading acquisition and what is needed for further progress in this…

  13. Theoretical hydrodynamics

    CERN Document Server

    Milne-Thomson, L M

    2011-01-01

    This classic exposition of the mathematical theory of fluid motion is applicable to both hydrodynamics and aerodynamics. Based on vector methods and notation with their natural consequence in two dimensions - the complex variable - it offers more than 600 exercises and nearly 400 diagrams. Prerequisites include a knowledge of elementary calculus. 1968 edition.

  14. A User's Guide to CGNS. 1.0

    Science.gov (United States)

    Rumsey, Christopher L.; Poirier, Diane M. A.; Bush, Robert H.; Towne, Charles E.

    2001-01-01

    The CFD General Notation System (CGNS) was developed to be a self-descriptive, machine-independent standard for storing CFD aerodynamic data. This guide aids users in the implementation of CGNS. It is intended as a tutorial on the usage of the CGNS mid-level library routines for reading and writing grid and flow solution datasets for both structured and unstructured methodologies.

  15. Byzantine Neumes

    DEFF Research Database (Denmark)

    Troelsgård, Christian

    musikeksempler med transskription til moderne linjenotation og en detaljeret bibliografi. Bogen er tænkt som en opdatering og uddybning af H.J.W. Tillyards Handbook of the Middle Byzantine Musical Notation (København 1935), en af de første udgivelser i serien Monumenta Musicae Byzantinae. Udgivelsen opsummerer...

  16. 26 CFR 1.274-5A - Substantiation requirements.

    Science.gov (United States)

    2010-04-01

    ... implement the provisions of section 274 and the regulations thereunder by personal interview or otherwise... its equivalent. A notation such as “personal use” or “family use” would, in the case of such use, be... concerning a facility which is likely to serve the personal purposes of the taxpayer, it shall be presumed...

  17. Italian musicians in Greece during the nineteenth century

    Directory of Open Access Journals (Sweden)

    Romanou Ekaterini

    2003-01-01

    Full Text Available In Greece, the monophonic chant of the Orthodox church and its neumatic notation have been transmitted as a popular tradition up to the first decades of the 20th century. The transformation of Greek musical tradition to a Western type of urban culture and the introduction of harmony, staff notation and western instruments and performance practices in the country began in the 19th century. Italian musicians played a central role in that process. A large number of them lived and worked on the Ionian Islands. Those Italian musicians have left a considerable number of transcriptions and original compositions. Quite a different cultural background existed in Athens. Education was in most cases connected to the church - the institution that during the four centuries of Turkish occupation kept Greeks united and nationally conscious. The neumatic notation was used for all music sung by the people, music of both western and eastern origin. The assimilation of staff notation and harmony was accelerated in the last quarter of the 19th century. At the beginning of the 20th century in Athens a violent cultural clash was provoked by the reformers of music education all of them belonging to German culture. The clash ended with the displacement of the Italian and Greek musicians from the Ionian Islands working at the time in Athens, and the defamation of their fundamental work in music education.

  18. ACE - an algebraic compiler and encoder for the Chalk River datatron computer

    International Nuclear Information System (INIS)

    Kennedy, J.M.; Okazaki, E.A.; Millican, M.

    1960-03-01

    ACE is a program written for the Chalk River Datatron (Burroughs 205) Computer to enable the machine to compile a program for solving a problem from instructions supplied by the user in a notation related much more closely to algebra than to the machine's own code. (author)

  19. Programserie RADIATOR

    DEFF Research Database (Denmark)

    Steen-Thøde, Mogens

    Dette notat indeholder kildetekst til en række programmer til dimensionering og analyse af driftsforholdene for radiatorer. Programmerne er skrevet som m-filer, der kan afvikles under MATLAB®. Udviklingen af programmerne udgør en del af forskningsprojektet: Varme- og kølefladers dimensionering og...

  20. Organic Chemistry Students' Fragmented Ideas about the Structure and Function of Nucleophiles and Electrophiles: A Concept Map Analysis

    Science.gov (United States)

    Anzovino, Mary E.; Bretz, Stacey Lowery

    2016-01-01

    Organic chemistry students struggle with multiple aspects of reaction mechanisms and the curved arrow notation used by organic chemists. Many faculty believe that an understanding of nucleophiles and electrophiles, among other concepts, is required before students can develop fluency with the electronpushing formalism (EPF). An expert concept map…

  1. Does Mechanistic Thinking Improve Student Success in Organic Chemistry?

    Science.gov (United States)

    Grove, Nathaniel P.; Cooper, Melanie M.; Cox, Elizabeth L.

    2012-01-01

    The use of the curved-arrow notation to depict electron flow during mechanistic processes is one of the most important representational conventions in the organic chemistry curriculum. Our previous research documented a disturbing trend: when asked to predict the products of a series of reactions, many students do not spontaneously engage in…

  2. Energy-Aware Scheduling of FIR Filter Structures using a Timed Automata Model

    DEFF Research Database (Denmark)

    Wognsen, Erik Ramsgaard; Hansen, Rene Rydhof; Larsen, Kim Guldstrand

    2016-01-01

    structures where we initially derive data flow graphs and precedence graphs using the Synchronous Data Flow (SDF) notation. Based on actual measurements on the Altera Cyclone IV FPGA, we derive power and timing estimates for addition and multiplication, including idling power consumption. We next model...

  3. 10 CFR 1704.2 - Definitions.

    Science.gov (United States)

    2010-01-01

    ... the joint conduct or disposition of official Board business. A meeting does not include: (1) Notation voting or similar consideration of business for the purpose of recording of votes, whether by circulation... Counsel means the Board's principal legal officer, or an attorney serving as Acting General Counsel. (d...

  4. 45 CFR 2505.2 - Definitions.

    Science.gov (United States)

    2010-10-01

    ... not include: (1) Notation voting or similar consideration of business, whether by circulation of... Chairperson. (c) General Counsel means the Corporation's principal legal officer or other attorney acting at the designation of the Corporation's principal legal officer. (d) Corporation means the Corporation...

  5. 40 CFR 1603.3 - Definitions.

    Science.gov (United States)

    2010-07-01

    ... business, and includes conference telephone calls or other exchanges otherwise coming within the definition. A meeting does not include: (1) Notation voting or similar consideration of business, whether by... where noted otherwise. (b) General Counsel means the Board's principal legal officer, or a CSB attorney...

  6. Communicating Mathematics on the Internet: Synchronous and Asynchronous Tools

    Science.gov (United States)

    Hodges, Charles B.; Hunger, Gail M.

    2011-01-01

    Communicating and collaborating online are becoming common requirements in education. The specialized notations and symbols necessary for some content areas where mathematical expressions are part of the conversation require that users select appropriate communication tools. The purpose of this article is to describe tools that can be used for…

  7. x β x β

    African Journals Online (AJOL)

    pc

    proposed modified ratio estimator, the notation in this research work are described below. 128 http://dx.doi.org/10.4314/bajopas.v10i1. TION MEAN USING ...... sampling strategies for population mean using information on mean and variance of an auxiliary character. Proceedings of Italian. Statistical. Institute,. Golden.

  8. Incommensurate magnetic fluctuations in La2xSrxCuO4

    DEFF Research Database (Denmark)

    Cheong, S.W.; Aeppli, G.; Mason, T.E.

    1991-01-01

    We use inelastic neutron scattering to establish the modulation vectors-delta and correlation lengths for the incommensurate magnetic fluctuations in metallic samples of La2-xSrxCuO4 with x = 0.075 and 0.14. In notation appropriate for a square lattice where the magnetic instability in the undoped...

  9. Establishing reliability of performance indicator of sepak takraw ...

    African Journals Online (AJOL)

    The aim of this study is to establish the necessary reliability in the notational analysis of sepak takraw. Two performance analysts were recruited to help in the collection of the data. The performances were analyzed based on the main performance indicators relevant to the demand of the game. Cronbach's alpha and ...

  10. Musik mitteilen

    DEFF Research Database (Denmark)

    Bergstrøm-Nielsen, Carl

    2016-01-01

    Analyses a number of open works by Swiss composer Max E. Keller from the beginning of the seventies and provides a glmpse of later similar works. Notation and how it contributes to define the form is one of the themes for discussion....

  11. Kerneelementer og fælleselementer i gruppebostøttemetoder

    DEFF Research Database (Denmark)

    Jensen, Didde Cramer; Viinholt Nielsen, Bjørn Christian

    2018-01-01

    Dette notat præsenterer resultaterne fra en forskningskortlægning, der giver systematisk overblik over den aktuelt bedste viden om gruppebaserede indsatser til mennesker med sindslidelse, handicap eller alvorlige sociale problemer. I en dansk kontekst er der tale om gruppebostøttemetoder eller gr...

  12. Student Understanding of Chemical Equation Balancing.

    Science.gov (United States)

    Yarroch, W. L.

    1985-01-01

    Results of interviews with high school chemistry students (N=14) during equation-solving sessions indicate that those who were able to construct diagrams consistent with notation of their balanced equation possessed good concepts of subscript and the balancing rule. Implications for chemistry teaching are discussed. (DH)

  13. French Society Abroad: The Popularization of French Dance throughout Europe, 1600-1750

    Directory of Open Access Journals (Sweden)

    Adam Paul Rinehart

    2017-09-01

    Full Text Available This paper explores the dissemination of French dance, dance notation, and dance music throughout Europe, and it explains the reasons why French culture had such an influence on other European societies from 1600-1750. First, the paper seeks to prove that King Louis XIV played a significant role in the outpour of French dance and the arts. Next, the paper discusses prominent French writers of dance notation who influenced the spread of French dance literature and training throughout Europe. Finally, the paper delineates European composers and their involvement in the development and production of French dance music. Using academic, peer-reviewed journal articles, books, and other scholarly sources, this paper seeks to accurately present the information in an orderly fashion. The paper contains visual evidence of dance and music notation to assist the reader in understanding the subject matter. Additionally, theories of contemporary authors as well as authors from the time period are discussed to present concrete evidence. The two main types of dance discussed in the paper are ballroom and court dances, which were prominent within the French royal court. One major finding of the research is the fact that French court and ballroom dances were specifically designed to communicate the power and prestige of King Louis XIV; consequently, other European countries were influenced to strive for similar prestige. Another finding is that many forms of French dance notation were translated and published in other countries, which increased the use of French dance throughout Europe. Musically, European composers such as Handel and Mozart included elements of French dance music in their compositions, and thus played a significant role in prevalence of French dance music throughout Europe. Overall, this paper proves that French dance received wide recognition due to political influence, availability of dance notation, and the involvement of prominent composers.

  14. Semantically-Rigorous Systems Engineering Modeling Using Sysml and OWL

    Science.gov (United States)

    Jenkins, J. Steven; Rouquette, Nicolas F.

    2012-01-01

    The Systems Modeling Language (SysML) has found wide acceptance as a standard graphical notation for the domain of systems engineering. SysML subsets and extends the Unified Modeling Language (UML) to define conventions for expressing structural, behavioral, and analytical elements, and relationships among them. SysML-enabled modeling tools are available from multiple providers, and have been used for diverse projects in military aerospace, scientific exploration, and civil engineering. The Web Ontology Language (OWL) has found wide acceptance as a standard notation for knowledge representation. OWL-enabled modeling tools are available from multiple providers, as well as auxiliary assets such as reasoners and application programming interface libraries, etc. OWL has been applied to diverse projects in a wide array of fields. While the emphasis in SysML is on notation, SysML inherits (from UML) a semantic foundation that provides for limited reasoning and analysis. UML's partial formalization (FUML), however, does not cover the full semantics of SysML, which is a substantial impediment to developing high confidence in the soundness of any conclusions drawn therefrom. OWL, by contrast, was developed from the beginning on formal logical principles, and consequently provides strong support for verification of consistency and satisfiability, extraction of entailments, conjunctive query answering, etc. This emphasis on formal logic is counterbalanced by the absence of any graphical notation conventions in the OWL standards. Consequently, OWL has had only limited adoption in systems engineering. The complementary strengths and weaknesses of SysML and OWL motivate an interest in combining them in such a way that we can benefit from the attractive graphical notation of SysML and the formal reasoning of OWL. This paper describes an approach to achieving that combination.

  15. Introduction to generalized linear models

    CERN Document Server

    Dobson, Annette J

    2008-01-01

    Introduction Background Scope Notation Distributions Related to the Normal Distribution Quadratic Forms Estimation Model Fitting Introduction Examples Some Principles of Statistical Modeling Notation and Coding for Explanatory Variables Exponential Family and Generalized Linear Models Introduction Exponential Family of Distributions Properties of Distributions in the Exponential Family Generalized Linear Models Examples Estimation Introduction Example: Failure Times for Pressure Vessels Maximum Likelihood Estimation Poisson Regression Example Inference Introduction Sampling Distribution for Score Statistics Taylor Series Approximations Sampling Distribution for MLEs Log-Likelihood Ratio Statistic Sampling Distribution for the Deviance Hypothesis Testing Normal Linear Models Introduction Basic Results Multiple Linear Regression Analysis of Variance Analysis of Covariance General Linear Models Binary Variables and Logistic Regression Probability Distributions ...

  16. The DSD Schema Language

    DEFF Research Database (Denmark)

    Klarlund, Nils; Møller, Anders; Schwartzbach, Michael Ignatieff

    2002-01-01

    be specified as a set of trees. For example, XHTML is a user domain corresponding to a set of XML documents that make sense as hypertext. A notation for defining such a set of XML trees is called a schema language. We believe that a useful schema notation must identify most of the syntactic requirements......XML (Extensible Markup Language), a linear syntax for trees, has gathered a remarkable amount of interest in industry. The acceptance of XML opens new venues for the application of formal methods such as specification of abstract syntax tree sets and tree transformations. A user domain may...... on tree nodes depend on their context. We also support a general, declarative mechanism for inserting default elements and attributes. Also, we include a simple technique for reusing and evolving DSDs through selective redefinitions. The expressiveness of DSD is comparable to that of the schema language...

  17. Expressing Intervals in Automated Service Negotiation

    Science.gov (United States)

    Clark, Kassidy P.; Warnier, Martijn; van Splunter, Sander; Brazier, Frances M. T.

    During automated negotiation of services between autonomous agents, utility functions are used to evaluate the terms of negotiation. These terms often include intervals of values which are prone to misinterpretation. It is often unclear if an interval embodies a continuum of real numbers or a subset of natural numbers. Furthermore, it is often unclear if an agent is expected to choose only one value, multiple values, a sub-interval or even multiple sub-intervals. Additional semantics are needed to clarify these issues. Normally, these semantics are stored in a domain ontology. However, ontologies are typically domain specific and static in nature. For dynamic environments, in which autonomous agents negotiate resources whose attributes and relationships change rapidly, semantics should be made explicit in the service negotiation. This paper identifies issues that are prone to misinterpretation and proposes a notation for expressing intervals. This notation is illustrated using an example in WS-Agreement.

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

  19. Music, Mechanism, and the "Sonic Turn" in Physical Diagnosis.

    Science.gov (United States)

    Pesic, Peter

    2016-04-01

    The sonic diagnostic techniques of percussion and mediate auscultation advocated by Leopold von Auenbrugger and R. T. H. Laennec developed within larger musical contexts of practice, notation, and epistemology. Earlier, François-Nicolas Marquet proposed a musical notation of pulse that connected felt pulsation with heard music. Though contemporary vitalists rejected Marquet's work, mechanists such as Albrecht von Haller included it into the larger discourse about the physiological manifestations of bodily fluids and fibers. Educated in that mechanistic physiology, Auenbrugger used musical vocabulary to present his work on thoracic percussion; Laennec's musical experience shaped his exploration of the new timbres involved in mediate auscultation. © The Author 2015. Published by Oxford University Press. All rights reserved. For permissions, please e-mail: journals.permissions@oup.com.

  20. Ricercar

    DEFF Research Database (Denmark)

    Thomsen, Michael Kirkedal; Kaarsgaard, Robin; Soeken, Mathias

    2015-01-01

    Previously, Soeken and Thomsen presented six basic semantics-preserving rules for rewriting reversible logic circuits, defined using the well-known diagrammatic notation of Feynman. While this notation is both useful and intuitive for describing reversible circuits, its shortcomings in generality...... complicates the specification of more sophisticated and abstract rewriting rules. In this paper, we introduce Ricercar, a general textual description language for reversible logic circuits designed explicitly to support rewriting. Taking the not gate and the identity gate as primitives, this language allows...... circuits to be constructed using control gates, sequential composition, and ancillae, through a notion of ancilla scope. We show how the above-mentioned rewriting rules are defined in this language, and extend the rewriting system with five additional rules to introduce and modify ancilla scope...

  1. Differential form representation of stochastic electromagnetic fields

    Directory of Open Access Journals (Sweden)

    M. Haider

    2017-09-01

    Full Text Available In this work, we revisit the theory of stochastic electromagnetic fields using exterior differential forms. We present a short overview as well as a brief introduction to the application of differential forms in electromagnetic theory. Within the framework of exterior calculus we derive equations for the second order moments, describing stochastic electromagnetic fields. Since the resulting objects are continuous quantities in space, a discretization scheme based on the Method of Moments (MoM is introduced for numerical treatment. The MoM is applied in such a way, that the notation of exterior calculus is maintained while we still arrive at the same set of algebraic equations as obtained for the case of formulating the theory using the traditional notation of vector calculus. We conclude with an analytic calculation of the radiated electric field of two Hertzian dipole, excited by uncorrelated random currents.

  2. A structured representation for parallel algorithm design on multicomputers

    International Nuclear Information System (INIS)

    Sun, Xian-He; Ni, L.M.

    1991-01-01

    Traditionally, parallel algorithms have been designed by brute force methods and fine-tuned on each architecture to achieve high performance. Rather than studying the design case by case, a systematic approach is proposed. A notation is first developed. Using this notation, most of the frequently used scientific and engineering applications can be presented by simple formulas. The formulas constitute the structured representation of the corresponding applications. The structured representation is simple, adequate and easy to understand. They also contain sufficient information about uneven allocation and communication latency degradations. With the structured representation, applications can be compared, classified and partitioned. Some of the basic building blocks, called computation models, of frequently used applications are identified and studied. Most applications are combinations of some computation models. The structured representation relates general applications to computation models. Studying computation models leads to a guideline for efficient parallel algorithm design for general applications. 6 refs., 7 figs

  3. Towards a Formal Basis for Modular Safety Cases

    Science.gov (United States)

    Denney, Ewen; Pai, Ganesh

    2015-01-01

    Safety assurance using argument-based safety cases is an accepted best-practice in many safety-critical sectors. Goal Structuring Notation (GSN), which is widely used for presenting safety arguments graphically, provides a notion of modular arguments to support the goal of incremental certification. Despite the efforts at standardization, GSN remains an informal notation whereas the GSN standard contains appreciable ambiguity especially concerning modular extensions. This, in turn, presents challenges when developing tools and methods to intelligently manipulate modular GSN arguments. This paper develops the elements of a theory of modular safety cases, leveraging our previous work on formalizing GSN arguments. Using example argument structures we highlight some ambiguities arising through the existing guidance, present the intuition underlying the theory, clarify syntax, and address modular arguments, contracts, well-formedness and well-scopedness of modules. Based on this theory, we have a preliminary implementation of modular arguments in our toolset, AdvoCATE.

  4. An acoustic eikonal equation for attenuating VTI media

    KAUST Repository

    Hao, Qi

    2016-09-06

    We present an acoustic eikonal equation governing the complex-valued travel time of P-waves in attenuating, transversely isotropic media with a vertical symmetry axis (VTI). This equation is based on the assumption that the Pwave complex-valued travel time is independent of the Swave velocity parameter v in Thomsen\\'s notation and the attenuation coefficient A in the Thomsen-type notation for attenuating VTI media. We combine perturbation theory and Shanks transform to develop practical approximations to the attenuating acoustic eikonal equation, capable of admitting analytical description of the attenuation in homogeneous media. For a horizontal, attenuating VTI layer, we also derive non-hyperbolic approximations for the real and imaginary parts of the complex-valued reflection travel time.

  5. Mechanical systems a unified approach to vibrations and controls

    CERN Document Server

    Gans, Roger F

    2015-01-01

    This essential textbook covers analysis and control of engineering mechanisms, which include almost any apparatus with moving parts used in daily life, from musical instruments to robots. The text  presents both vibrations and controls with considerable breadth and depth using a unified notation. It strikes a nice balance between the analytical and the practical.  This text contains enough material for a two semester sequence, but it can also be used in a single semester course combining the two topics. Mechanical Systems: A Unified Approach to Vibrations and Controls presents a common notation and approach to these closely related areas. Examples from the both vibrations and controls components are integrated throughout this text. This book also: ·         Presents a unified approach to vibrations and controls, including an excellent diagram that simultaneously discusses embedding classical vibrations (mechanical systems) in a discussion of models, inverse models, and open and closed loop control ...

  6. MS AutoCad

    DEFF Research Database (Denmark)

    Andersen, Michael Rye; Heinicke, Hugo

    1996-01-01

    Formålet med dette notat er at give en introduktion til tegning af et generalarrangement ved anvendelse af CAD-programmet AutoCAD. Generalarrangementets formål er at skabe en overskuelig præsentation af et skibsprojekt. Det skal gøres indenfor de rammer, som ligger til grund for praktiskprojekter......Formålet med dette notat er at give en introduktion til tegning af et generalarrangement ved anvendelse af CAD-programmet AutoCAD. Generalarrangementets formål er at skabe en overskuelig præsentation af et skibsprojekt. Det skal gøres indenfor de rammer, som ligger til grund...

  7. Web-Based Modelling and Collaborative Simulation of Declarative Processes

    DEFF Research Database (Denmark)

    Slaats, Tijs; Marquard, Morten; Shahzad, Muhammad

    2015-01-01

    -user discussions on how knowledge workers really work, by enabling collaborative simulation of processes. In earlier work we reported on the integration of DCR Graphs as a workflow execution formalism in the existing Exformatics ECM products. In this paper we report on the advances we have made over the last two......As a provider of Electronic Case Management solutions to knowledge-intensive businesses and organizations, the Danish company Exformatics has in recent years identified a need for flexible process support in the tools that we provide to our customers. We have addressed this need by adapting DCR...... Graphs, a formal declarative workflow notation developed at the IT University of Copenhagen. Through close collaboration with academia we first integrated execution support for the notation into our existing tools, by leveraging a cloud-based process engine implementing the DCR formalism. Over the last...

  8. Safety, Liveness and Run-time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes

    DEFF Research Database (Denmark)

    Debois, Søren; Hildebrandt, Thomas; Slaats, Tijs

    2015-01-01

    and verification of flexible, run-time adaptable process-aware information systems, moved into practice via the Dynamic Condition Response (DCR) Graphs notation co-developed with our industrial partner. Our key contributions are: (1) A formal theory of dynamic sub-process instantiation for declarative, event......We study modularity, run-time adaptation and refinement under safety and liveness constraints in event-based process models with dynamic sub-process instantiation. The study is part of a larger programme to provide semantically well-founded technologies for modelling, implementation......-based processes under safety and liveness constraints, given as the DCR* process language, equipped with a compositional operational semantics and conservatively extending the DCR Graphs notation; (2) an expressiveness analysis revealing that the DCR* process language is Turing-complete, while the fragment cor...

  9. Differential form representation of stochastic electromagnetic fields

    Science.gov (United States)

    Haider, Michael; Russer, Johannes A.

    2017-09-01

    In this work, we revisit the theory of stochastic electromagnetic fields using exterior differential forms. We present a short overview as well as a brief introduction to the application of differential forms in electromagnetic theory. Within the framework of exterior calculus we derive equations for the second order moments, describing stochastic electromagnetic fields. Since the resulting objects are continuous quantities in space, a discretization scheme based on the Method of Moments (MoM) is introduced for numerical treatment. The MoM is applied in such a way, that the notation of exterior calculus is maintained while we still arrive at the same set of algebraic equations as obtained for the case of formulating the theory using the traditional notation of vector calculus. We conclude with an analytic calculation of the radiated electric field of two Hertzian dipole, excited by uncorrelated random currents.

  10. Developing a Business Application with BPM and MDE

    Directory of Open Access Journals (Sweden)

    Óscar Sanjuán Martínez

    2009-12-01

    Full Text Available In this paper we have designed an architecture for the generation of a business application, that allows to business users to adapt their processes to the constant change. At the moment all the architectures based to a great extent on SOA allow to modify the processes in a short period of time, but we go beyond and give the possibility to the business user of modifying their processes. To design this architecture, we rely on the fundamental use of two technologies: BPM (Business Process Modeling and MDE (Model Driven Engineering. Inside these technologies we focus on the creation of a business process notation extended from BPMN that is agile, easy to learn and design, and capable to provide semantic information about the process. Therefore this notation allows business process to modify their processes to achieve the proposed goal.

  11. The Formalization of the Business Process Modeling Goals

    Directory of Open Access Journals (Sweden)

    Ligita Bušinska

    2016-10-01

    Full Text Available In business process modeling the de facto standard BPMN has emerged. However, the applications of this notation have many subsets of elements and various extensions. Also, BPMN still coincides with many other modeling languages, forming a large set of available options for business process modeling languages and dialects. While, in general, the goal of modelers is a central notion in the choice of modeling languages and notations, in most researches that propose guidelines, techniques, and methods for business process modeling language evaluation and/or selection, the business process modeling goal is not formalized and not transparently taken into account. To overcome this gap, and to explicate and help to handle business process modeling complexity, the approach to formalize the business process modeling goal, and the supporting three dimensional business process modeling framework, are proposed.

  12. Spécification des besoins de performabilité dans les modèles BPMN Une revue de la littérature

    Directory of Open Access Journals (Sweden)

    Fatima-Zahra Belouadha

    2015-11-01

    Full Text Available The information system performance depends on the operational efficiency of the implemented business processes, but also on their ability to meet the non-functional requirements, especially those of performability (performance and reliability. Indeed, the modelling phase of business processes is a critical phase within the BPM (Business Process Management lifecycle. Nevertheless, the notation BPMN (Business Process Model and Notation which is the de facto standard for business process modelling, is limited to the contemplative modelling of their behavior enabling developers to capture their functional requirements. As part of a productive modelling approach, integrating performability requirements of business processes at design-time is essential to enable their automatic analysis and to predict their quality of service. This article classifies and compares contributions among the most recent or referenced in this field. The aim is to highlight their limitations and to identify the criteria of an efficient approach

  13. Superposition as a logical glue

    Directory of Open Access Journals (Sweden)

    Andrea Asperti

    2011-03-01

    Full Text Available The typical mathematical language systematically exploits notational and logical abuses whose resolution requires not just the knowledge of domain specific notation and conventions, but not trivial skills in the given mathematical discipline. A large part of this background knowledge is expressed in form of equalities and isomorphisms, allowing mathematicians to freely move between different incarnations of the same entity without even mentioning the transformation. Providing ITP-systems with similar capabilities seems to be a major way to improve their intelligence, and to ease the communication between the user and the machine. The present paper discusses our experience of integration of a superposition calculus within the Matita interactive prover, providing in particular a very flexible, "smart" application tactic, and a simple, innovative approach to automation.

  14. Tensor analysis and elementary differential geometry for physicists and engineers

    CERN Document Server

    Nguyen-Schäfer, Hung

    2014-01-01

    Tensors and methods of differential geometry are very useful mathematical tools in many fields of modern physics and computational engineering including relativity physics, electrodynamics, computational fluid dynamics (CFD), continuum mechanics, aero and vibroacoustics, and cybernetics. This book comprehensively presents topics, such as bra-ket notation, tensor analysis, and elementary differential geometry of a moving surface. Moreover, authors intentionally abstain from giving mathematically rigorous definitions and derivations that are however dealt with as precisely as possible. The reader is provided with hands-on calculations and worked-out examples at which he will learn how to handle the bra-ket notation, tensors and differential geometry and to use them in the physical and engineering world. The target audience primarily comprises graduate students in physics and engineering, research scientists, and practicing engineers.

  15. Input modeling with phase-type distributions and Markov models theory and applications

    CERN Document Server

    Buchholz, Peter; Felko, Iryna

    2014-01-01

    Containing a summary of several recent results on Markov-based input modeling in a coherent notation, this book introduces and compares algorithms for parameter fitting and gives an overview of available software tools in the area. Due to progress made in recent years with respect to new algorithms to generate PH distributions and Markovian arrival processes from measured data, the models outlined are useful alternatives to other distributions or stochastic processes used for input modeling. Graduate students and researchers in applied probability, operations research and computer science along with practitioners using simulation or analytical models for performance analysis and capacity planning will find the unified notation and up-to-date results presented useful. Input modeling is the key step in model based system analysis to adequately describe the load of a system using stochastic models. The goal of input modeling is to find a stochastic model to describe a sequence of measurements from a real system...

  16. Refinement and verification in component-based model-driven design

    DEFF Research Database (Denmark)

    Chen, Zhenbang; Liu, Zhiming; Ravn, Anders Peter

    2009-01-01

    Modern software development is complex as it has to deal with many different and yet related aspects of applications. In practical software engineering this is now handled by a UML-like modelling approach in which different aspects are modelled by different notations. Component-based and object-o...... be integrated in computer-aided software engineering (CASE) tools for adding formally supported checking, transformation and generation facilities.......Modern software development is complex as it has to deal with many different and yet related aspects of applications. In practical software engineering this is now handled by a UML-like modelling approach in which different aspects are modelled by different notations. Component-based and object...

  17. A method of formal requirements analysis for NPP I and C systems based on object-oriented visual modeling with SCR

    International Nuclear Information System (INIS)

    Koo, S. R.; Seong, P. H.

    1999-01-01

    In this work, a formal requirements analysis method for Nuclear Power Plant (NPP) I and C systems is suggested. This method uses Unified Modeling Language (UML) for modeling systems visually and Software Cost Reduction (SCR) formalism for checking the system models. Since object-oriented method can analyze a document by the objects in a real system, UML models that use object-oriented method are useful for understanding problems and communicating with everyone involved in the project. In order to analyze the requirement more formally, SCR tabular notations is converted from UML models. To help flow-through from UML models to SCR specifications, additional syntactic extensions for UML notation and a converting procedure are defined. The combined method has been applied to Dynamic Safety System (DSS). From this application, three kinds of errors were detected in the existing DSS requirements

  18. Algorithm for advanced canonical coding of planar chemical structures that considers stereochemical and symmetric information.

    Science.gov (United States)

    Koichi, Shungo; Iwata, Satoru; Uno, Takeaki; Koshino, Hiroyuki; Satoh, Hiroko

    2007-01-01

    We describe a rigorous and fast algorithm for advanced canonical coding of planar chemical structures based on the algorithm of Faulon et al. (J. Chem. Inf. Comput. Sci. 2004, 44, 427-436). Our algorithm works well even for highly symmetric structures; moreover, an advantage of our algorithm includes providing a rigorous canonical numbering of atoms with a consideration of stereochemistry and recognizing symmetric moieties. The planar structural line notation with the canonical numbering is also fit for use with stereochemical line notation. These capabilities are usable for general purposes in chemical structural coding and are particularly essential for detecting equivalent atoms in NMR studies. This algorithm was implemented on a 13C NMR chemical shift prediction system CAST/CNMR. Applications of the algorithm to several organic compounds demonstrate the practical efficiency of the rigorous coding.

  19. Inequalities, assessment and computer algebra

    Science.gov (United States)

    Sangwin, Christopher J.

    2015-01-01

    The goal of this paper is to examine single variable real inequalities that arise as tutorial problems and to examine the extent to which current computer algebra systems (CAS) can (1) automatically solve such problems and (2) determine whether students' own answers to such problems are correct. We review how inequalities arise in contemporary curricula. We consider the formal mathematical processes by which such inequalities are solved, and we consider the notation and syntax through which solutions are expressed. We review the extent to which current CAS can accurately solve these inequalities, and the form given to the solutions by the designers of this software. Finally, we discuss the functionality needed to deal with students' answers, i.e. to establish equivalence (or otherwise) of expressions representing unions of intervals. We find that while contemporary CAS accurately solve inequalities there is a wide variety of notation used.

  20. BPMN 2.0 introduction to the standard for business process modeling

    CERN Document Server

    Allweyer, Thomas

    2016-01-01

    BPMN (Business Process Model and Notation) is the established standard for business process modeling. Only a few years after its first publication, it has gained widespread adoption in practice. All important modeling tools support BPMN diagramming. It is possible to create business-oriented diagrams, but also technical models for process execution in business process management systems (BPMS). This book provides a stepwise introduction to BPMN, using many examples close to practice. Starting with the basic elements for modeling sequence flow, all BPMN 2.0 diagrams are presented and discussed in detail. You will gain a profound understanding of the complete notation, and you will be able to make correct use of the different language elements. In the second edition, a collection of useful modeling patterns has been added. These patterns provide best-practice solutions for typical problems arising in the practice of process modeling.

  1. Finance

    OpenAIRE

    2013-01-01

    Régulièrement au cœur de l'actualité, les trois agences de notation (Standard & Poor's, Moody's et Fitch) règnent sur le monde de la finance internationale. Mais quelles sont-elles et à qui appartiennent-elles véritablement ? Détenues par de puissants fonds d'investissements, elles ont progressivement renforcé leurs rôles et pouvoirs. L'auteur interpelle le citoyen sur un système dans lequel les fonds d'investissements profitent des agences de notation (et de leur rôle de « gardien des marché...

  2. Control system specification for a cyclotron and neutron therapy facility

    International Nuclear Information System (INIS)

    Jacky, J.; Risler, R.; Kalet, I.; Wootton, P.; Barke, A.; Brossard, S.; Jackson, R.

    1991-01-01

    It is usually considered an essential element of good practice in engineering to produce a specification for a system before building it. However, it has been found to be quite difficult to produce useful specifications of large software systems. The authors have nearly completed a comprehensive specification for the computer control system of a cyclotron and treatment facility that provides particle beams for cancer treatments with fast neutrons, production of medical isotopes, and physics experiments. They describe the control system as thoroughly as is practical using standard technical English, supplemented by tables, diagrams, and some algebraic equations. This specification comprises over 300 single-spaced pages. A more precise and compact specification might be achieved by making greater use of formal mathematical notations instead of English. They have begun work on a formal specification of the system, using the Z and Petri net notations

  3. A development environment for the SSC control system

    International Nuclear Information System (INIS)

    Murray, Doug; Martinsen, Garth; Wang, Judy

    1994-01-01

    The SSC is developing a design environment for control system development within the context of EPICS. The environment is aimed at developers of applications using the EPICS Input/Output Controller (IOC). The unique aspect of this effort is our emphasis on providing a simple and intuitive development environment compared with tools currently available. Our most important goal in this effort has been to hide the complexity of EPICS IOC development from the developers. This paper describes two tools which are under development; The Function Block Editor (FBE) and the State Machine Editor (SME). The FBE provides a visual editing environment for graphically describing control processes as a set of related functional blocks. The configuration of functional blocks is then translated into IOC records and executed. SME allows the user to visually construct a sequence using a notation we are modeling after Grafcet [1]. State machines are translated into EPICS State Notation Language programs and executed. Future extensions will be described. ((orig.))

  4. Football officials activities during matches: a comparison of activity of referees and linesmen in European, Premiership and Championship matches

    OpenAIRE

    Di Salvo, Valter; Carmont, Michael R; Maffulli, Nicola

    2012-01-01

    We compared the notational activity of 68 referees and 170 referee’s assistants or linesmen officiating European matches from UEFA and the Champions League together with matches from the English Premiership and the English Championship competitions during the 2005/2006 football season using a computerised video system. We studied 328 games (14 European matches, UEFA and Champions league, 202 matches from the English Premiership and 112 from the English Championship).

  5. On Riemann boundary value problems for null solutions of the two dimensional Helmholtz equation

    Science.gov (United States)

    Bory Reyes, Juan; Abreu Blaya, Ricardo; Rodríguez Dagnino, Ramón Martin; Kats, Boris Aleksandrovich

    2018-01-01

    The Riemann boundary value problem (RBVP to shorten notation) in the complex plane, for different classes of functions and curves, is still widely used in mathematical physics and engineering. For instance, in elasticity theory, hydro and aerodynamics, shell theory, quantum mechanics, theory of orthogonal polynomials, and so on. In this paper, we present an appropriate hyperholomorphic approach to the RBVP associated to the two dimensional Helmholtz equation in R^2 . Our analysis is based on a suitable operator calculus.

  6. Untitled

    Indian Academy of Sciences (India)

    We denote by W A V the composition of V. V with the bundle map. T*M (3 T M & A. T. M. - A2 T M (3 AP T4 M arising from alternating of the first two factors. By Ricci identities VA Voss. Ko is an algebraic operator depending linearly on curvature tensor of M. More precisely, in terms of classical tensor notation (cf. (4), p. 130),.

  7. Post-Correlation Semi-Coherent Integration for High-Dynamic and Weak GPS Signal Acquisition (Preprint)

    Science.gov (United States)

    2008-06-01

    average signal model in (8) is repeated below with simplified notations as: )2( 0φπγδ += kjkk Bez (14) where δk = bkbk+1, B = MA2 , γ = 2αTs2M2, φ0...1995. [2] E.D. Kaplan and C.J. Hegarty (eds.), Understanding GPS: Principles and Applications (2nd Ed.) Artech House Publishers, Norwood, MA, 2006

  8. Extended finite operator calculus as an example of algebraization of analysis

    OpenAIRE

    Kwasniewski, A. K.; Borak, E.

    2004-01-01

    A wardian calculus of sequences started almost seventy years ago constitutes the general scheme for extensions of the classical umbral operator calculus considered by many afterwards . At the same time this calculus is an example of the algebraization of the analysis here restricted to the algebra of formal series. This is a review article based on the recent first author contributions. As the survey article it is supplemented by the short indicatory glossaries of notation and terms used by p...

  9. Differential forms of supermanifolds

    International Nuclear Information System (INIS)

    Beresin, P.A.

    1979-01-01

    The theory of differential and pseUdo-differential forms on supermanifolds is constructed. The definition and notations of superanalogy of the Pontryagin and Chern characteristic classes are given. The theory considered is purely local. The scheme suggested here generalizes the so-called Weil homomorphism for superspace which lays on the basis of the Chern and Potryagin characteristic class theory. The theory can be extended to the global supermanifolds

  10. Mathematics revealed

    CERN Document Server

    Berman, Elizabeth

    1979-01-01

    Mathematics Revealed focuses on the principles, processes, operations, and exercises in mathematics.The book first offers information on whole numbers, fractions, and decimals and percents. Discussions focus on measuring length, percent, decimals, numbers as products, addition and subtraction of fractions, mixed numbers and ratios, division of fractions, addition, subtraction, multiplication, and division. The text then examines positive and negative numbers and powers and computation. Topics include division and averages, multiplication, ratios, and measurements, scientific notation and estim

  11. Bio-Based Polyurethane Containing Isosorbide for Use in Composites and Coatings

    Science.gov (United States)

    2015-04-01

    ARL-TR-7259 ● APR 2015 US Army Research Laboratory Bio-Based Polyurethane Containing Isosorbide for Use in Composites and...copyright notation hereon. ARL-TR-7259 ● APR 2015 US Army Research Laboratory Bio-Based Polyurethane Containing Isosorbide for Use...4. TITLE AND SUBTITLE Bio-Based Polyurethane Containing Isosorbide for Use in Composites and Coatings 5a. CONTRACT NUMBER 5b. GRANT NUMBER 5c

  12. Using BPMN to model Internet of Things behavior within business process

    OpenAIRE

    Dulce Domingos; Francisco Martins

    2017-01-01

    Whereas, traditionally, business processes use the Internet of Things (IoTs) as a distributed source of information, the increase of computational capabilities of IoT devices provides them with the means to also execute parts of the business logic, reducing the amount of exchanged data and central processing. Current approaches based on Business Process Model and Notation (BPMN) already support modelers to define both business processes and IoT devices behavior at the same level of abstractio...

  13. A Rigorous Methodology for Analyzing and Designing Plug-Ins

    DEFF Research Database (Denmark)

    Fasie, Marieta V.; Haxthausen, Anne Elisabeth; Kiniry, Joseph

    2013-01-01

    . This paper addresses these problems by describing a rigorous methodology for analyzing and designing plug-ins. The methodology is grounded in the Extended Business Object Notation (EBON) and covers informal analysis and design of features, GUI, actions, and scenarios, formal architecture design, including...... behavioral semantics, and validation. The methodology is illustrated via a case study whose focus is an Eclipse environment for the RAISE formal method's tool suite....

  14. Inverse kinematic control of LDUA and TWRMS

    International Nuclear Information System (INIS)

    Yih, T.C.; Burks, B.L.; Kwon, Dong-Soo

    1995-01-01

    A general inverse kinematic analysis is formulated particularly for the redundant Light Duty Utility Arm (LDUA) and Tank Waste Retrieval Manipulator System (TWRMS). The developed approach is applicable to the inverse kinematic simulation and control of LDUA, TWRMS, and other general robot manipulators. The 4 x 4 homogeneous Cylindrical coordinates-Bryant angles (C-B) notation is adopted to model LDUA, TWRMS, and any robot composed of R (revolute), P (prismatic), and/or S (spherical) joints

  15. Music and Culture Areas of Native California

    OpenAIRE

    Keeling, Richard

    1992-01-01

    This paper sketches the principal music and culture areas of native California and identifies general characteristics that distinguish the region in the overall sphere of Native American music. Rather than provide notations or detailed analyses I describe the music according to a set of general parameters that I have found useful in previous comparative research. The following elements are considered: (1) vocal quality or timbre; (2) presence of words or vocables, text-setting, and repetition...

  16. Electric circuits essentials

    CERN Document Server

    REA, Editors of

    2012-01-01

    REA's Essentials provide quick and easy access to critical information in a variety of different fields, ranging from the most basic to the most advanced. As its name implies, these concise, comprehensive study guides summarize the essentials of the field covered. Essentials are helpful when preparing for exams, doing homework and will remain a lasting reference source for students, teachers, and professionals. Electric Circuits I includes units, notation, resistive circuits, experimental laws, transient circuits, network theorems, techniques of circuit analysis, sinusoidal analysis, polyph

  17. Codecharts roadmaps and blueprints for object-oriented programs

    CERN Document Server

    Eden, Amnon H

    2011-01-01

    NEW LANGUAGE VISUALIZES PROGRAM ABSTRACTIONS CLEARLY AND PRECISELY Popular software modelling notations visualize implementation minutiae but fail to scale, to capture design abstractions, and to deliver effective tool support. Tailored to overcome these limitations, Codecharts can elegantly model roadmaps and blueprints for Java, C++, and C# programs of any size clearly, precisely, and at any level of abstraction. More practically, significant productivity gains for programmers using tools supporting Codecharts have been demonstrated in controlled experiments. Hundreds of figures a

  18. A modal perspective on the computational complexity of attribute value grammar

    OpenAIRE

    Blackburn, P.; Spaan, E.

    1992-01-01

    Many of the formalisms used in Attribute Value grammar are notational variants of languages of propositional modal logic and testing whether two Attribute Value descriptions unify amounts to testing for modal satisfiablity. In this paper we put this observation to work. We study the complexity of the satisfiability problem for nine modal languages which mirror different aspects of AVS description formalisms, including the ability to express re-eintrancy, the ability to express generalisations...

  19. Information Security Considerations for Applications Using Apache Accumulo

    Science.gov (United States)

    2014-09-01

    Distributed File System INSCOM United States Army Intelligence and Security Command JPA Java Persistence API JSON JavaScript Object Notation MAC Mandatory... MySQL [13]. BigTable can process 20 petabytes per day [14]. High degree of scalability on commodity hardware. NoSQL databases do not rely on highly...manipulation in relational databases. NoSQL databases each have a unique programming interface that uses a lower level procedural language (e.g., Java

  20. Notes on basic materials A (1)

    International Nuclear Information System (INIS)

    Donald, R.

    1977-01-01

    The lecture is in sections entitled: notation and generalities, symmetries (introduction, time development of a system, symmetry principles and conservation laws, parity, charge conjugation, continuous transformations, SU2, the quark model, extensions to SU3 (charm)); relativistic wave equations (general transformations, spin in a relativistic system, spin 1/2 particles, the Dirac equation, projection operators, spin 1 particles, the Proca equation). (U.K.)