Search results for "computer.programming_language"
showing 10 items of 986 documents
SEQPACKER: A Biologist-Friendly User Interface to Manipulate Nucleotide Sequences in Genomic Epidemiology
2004
The aim of this paper is to present a new integrated bioinformatics tool for manipulating nucleotide sequences with a user-friendly graphical interface. This tool is named “SeqPacker” because it uses DNA/RNA sequences. In addition, SeqPacker can be seen as a kind of nucleotide chain editor using standardized technologies, nucleotide representation standards, and high platform portability in support of research in Genomic Epidemiology. SeqPacker is written in JAVA as free and stand-alone software for several computer platforms.
Le diatomee bentoniche del porto di Palermo
1979
Abstract Benthic diatoms in the harbour of Palermo (Sicily).—The first results of a systematic investigation on the benthic diatoms on the fouling settlements, at four selected sites in the harbour of Palermo, are reported. Samples of comparable areas have been examined either on the fouling of vertical walls of the wharfs or on asbestos panels vertically submerged at the same place for at least eighteen months. Seventy-seven species have been found. No marked taxonomic difference is evident between the populations on the stoneworks and those on the panels.
From the Harbour to the City. The Process of Urban Renewal in Trapani
2016
The chapter describes the study case of Trapani historical watwerfront, in particular the design solution adopted for nautical sport events and linked to regional landscape quality. The Trapani fluidity is connetted with an entrenched sea cultural and natural heritage. Actions, plans and programmes implemented for regeneration and development are based on cultural and natural heritage to be regulated, connected and transformed, in order to preserve the urban and regional identity.
Use of Geospatial Analyses for Semantic Reasoning
2010
International audience; This work focuses on the integration of the spatial analyses for semantic reasoning in order to compute new axioms of an existing OWL ontology. To make it concrete, we have defined Spatial Built-ins, an extension of existing Built-ins of the SWRL rule language. It permits to run deductive rules with the help of a translation rule engine. Thus, the Spatial SWRL rules are translated to standard SWRL rules. Once the spatial functions of the Spatial SWRL rules are computed with the help of a spatial database system, the resulting translated rules are computed with a reasoning engine such as Racer, Jess or Pellet.
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…
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…
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…
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.
A survey and comparison of transformation tools based on the transformation tool contest
2014
Model transformation is one of the key tasks in model-driven engineering and relies on the efficient matching and modification of graph-based data structures; its sibling graph rewriting has been used to successfully model problems in a variety of domains. Over the last years, a wide range of graph and model transformation tools have been developed – all of them with their own particular strengths and typical application domains. In this paper, we give a survey and a comparison of the model and graph transformation tools that participated at the Transformation Tool Contest 2011. The reader gains an overview of the field and its tools, based on the illustrative solutions submitted to a Hello…
New developments in simulation-based harbour crane training
2011
This paper presents the efforts that have been made during the development of a set of harbour training simulators to improve their quality. The paper focuses on two main research lines: the improvement of complex physical systems involved in the simulation and the analysis of hardware architecture solutions. Cable-based hoist systems and bulk materials are systems present in different harbour equipment and are usually simulated with poor quality due to their complexity. In this paper physics-based models for the interactive simulation of these systems are proposed and applied to real cases. Also, different hardware simulator architectures are analysed and different approaches are proposed …