Search results for "programming."
showing 10 items of 3035 documents
Implementation of early childhood physical curriculum (SPARK) in the Central Valley of California (USA)
2017
Abstract The aim of this paper is to describe the methodology applied to develop and launch the implementation of physical activity curriculum (SPARK) at several schools in the Central Valley of California. The SPARK Early Childhood Program is one of eight within the SPARK Coordinated School Health (CSH) model. This research try to create environments that promote healthful behaviors at school and in the community for both children and adults. Overweight and obese children are likely to develop serious health problems. Among children in the U.S., Latino children are affected disproportionally by the obesity epidemic. Ninos Sanos, Familia Sana (Healthy Children, Healthy Family) is a five-yea…
SYSTEMS DECOMPOSITION AND COUPLING
1993
In order to handle efficiently complex models of real systems, it is a convenient practice to decompose them into subsystems that are validated independently. The next step would be joining the subsystems into a global system and performing a new global validation. A formalization of this process is performed as a consequence of practical experience with a model generator expert system based on general systems theory.
Globalization and Political Legitimacy in Western Europe
2018
Is there a legitimacy crisis in contemporary democracies? This question, asked since the beginning of the 1970s, has been currently undergoing a revival (Kriesi in Politische Vierteljahresschrift 54:609–638, 2013; Fuchs and Escher in The Legitimacy of Regional Integration in Europe and the Americas. Palgrave Macmillan: Houndsmill/Basingstoke, pp. 75–97, 2015; Merkel in Krise der Demokratie. Zum schwierigen Verhaltnis von Theorie und Empirie. Springer VS: Wiesbaden, 2015; Wessels in How Europeans View and Evaluate Democracy. Oxford University Press: Oxford, pp. 235–256, 2016; Van Ham et al. in Myth and Reality of the Legitimacy Crisis. Explaining Trends and Cross-National Differences in Esta…
Native-state pea albumin and globulin behavior upon transglutaminase treatment
2015
International audience; The behavior of pea albumin (Alb) and globulin (Glob) in their native state upon microbial transglutaminase (MTGase) treatment was studied. Only Glob was able to form a gel, at up to a 10% (w/w) concentration, with a minimum gelling concentration of 6% (w/w), and with a cross-linking degree of 25%. The most affected Glob subunits were convicilin (71 kDa), vicilins (55, 50, and 35 kDa), and legumin acidic subunit (40 kDa). In contrast, the legumin basic subunit (20 kDa) and vicilins of molecular weight less than 20 kDa remained mostly intact in all studied conditions. The cross-linking degree of Alb was 12%, which was not sufficient to form MTGase-induced gel. Major a…
Potencialidades de Google Maps en la investigación social aplicada
2019
In recent years, Google has devoted resources to build a complete map of the world. They constantly scan the territory, collecting a large amount of data that provides updated and complete geographic information. This allows us to have an interoperable map that provides the end user with a search tool, not only of routes but also of shops, equipment and any type of geo-referenced information. In addition, Google Maps provides a series of Application Programming Interface (API), which provides a library of set of subroutines, functions and procedures (in object-oriented programming) that can be used by other software to automate the extraction of information of the Google platform. These fre…
Grammar based content completion method using Lua LPeg.re module
2014
A grammar based content completion method for Lua programming language and its LPeg.re module environment is described in this paper. The use of our method is not demanding in computing resources, as well as it is easy to add the content completion functionality to any target language grammar. We report on the application of our method for OWL Manchester syntax expression grammar, as well as custom database-to-ontology mapping language.
Fusion of visual tools in virtual spaces
1996
Virtual space environment may be improved by combining it with graphical and visual tools. This paper analyses an integrated system able to merge fusion techniques, icons tools and a virtual space environment. A virtual space is characterised by a set of dynamic visual icons and by a heterogeneous virtual reality environment. Their integration is supported by virtual icon grammar (VIG) working on dynamic icons and virtual world. VIG allows to test the actions made by dynamic icons on the activated Virtual World metaphors at a time “t”, and a range of different transactions that place between user and VW(visual query, view and browse of under-world,...), moreover, user can define, modify and…
Teaching computer language handling - From compiler theory to meta-modelling
2011
Published version of a chapter in the book: Generative and Transformational Techniques in Software Engineering III. Also available from the publisher at: http://dx.doi.org/10.1007/978-3-642-18023-1_14 Most universities teach computer language handling by mainly focussing on compiler theory, although MDA (model-driven architecture) and meta-modelling are increasingly important in the software industry as well as in computer science. In this article, we investigate how traditional compiler theory compares to meta-modelling with regard to formally defining the different aspects of a language, and how we can expand the focus in computer language handling courses to also include meta-model-based…
Graph-grammar semantics of a higher-order programming language for distributed systems
1994
We will consider a new tiny, yet powerful, programming language for distributed systems, called DHOP, which has its operational semantics given as algebraic graph rewrite rules in a certain category of labeled graphs. Our approach allows to separate actions which affect several processes from local changes such as variable bindings. We also sketch how to derive an implementation from this specification.
Transformation of UML models to CSP : a case study for graph transformation tools
2008
Graph transformation provides an intuitive mechanism for capturing model transformations. In the current paper, we investigate and compare various graph transformation tools using a compact practical model transformation case study carried out as part of the AGTIVE 2007 Tool Contest [22]. The aim of this case study is to generate formal CSP processes from high-level UML activity diagrams, which enables to carry out mathematical analysis of the system under design.