Search results for "Programming"
showing 10 items of 3090 documents
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.
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…
INVESTIGATION INTO THE MECHANISMS UNDERLYING THE TRANSGENERATIONAL EFFECTS OF MATERNAL HIGH-FAT DIET-INDUCED DYSBIOSIS ON OFFSPRING BRAIN AND METABOL…
2021
Genetic and environmental factors, and their interactions, contribute to the etiology and pathophysiology of neurodevelopmental disorders (NDDs), such as autism spectrum disorder (ASD). The clinical heterogeneity and phenotypic variability in patients with NDDs have made identification of causal mechanisms contributing to their onset difficult. Yet, unraveling the underlying causes of NDDs is essential to the development of appropriate preventive/therapeutic strategies. Maternal obesity is considered one of the main nongenetic risk factors for NDDs in progeny. We and others have found that high-fat (HF) obesogenic diets in both humans and animal models induce significant modifications in ma…
Application of an innovative alignment optimisation method to a cross-cultural mean comparison of teacher self-efficacy: A cross-country study
2021
Teacher self-efficacy is a crucial personal characteristic that is important not only for teachers’ well-being but also for the overall teaching and learning. However, the difficulty to ascertain scalar invariance in the measurement of the construct has beset previous attempts of cross-cultural comparisons. This study implements an alignment optimisation method to compare and rank mean teacher self-efficacy of over 150,000 teachers across 48 countries and economies that participated in the Teaching and Learning International Survey (TALIS) that was conducted 2018. The findings show that Columbia, Portugal, United Arab Emirates, Hungary, and South Africa have teachers with the highest mean s…
Risk assessment of component failure modes and human errors using a new FMECA approach: application in the safety analysis of HDR brachytherapy
2014
Failure mode, effects and criticality analysis (FMECA) is a safety technique extensively used in many different industrial fields to identify and prevent potential failures. In the application of traditional FMECA, the risk priority number (RPN) is determined to rank the failure modes; however, the method has been criticised for having several weaknesses. Moreover, it is unable to adequately deal with human errors or negligence. In this paper, a new versatile fuzzy rule-based assessment model is proposed to evaluate the RPN index to rank both component failure and human error. The proposed methodology is applied to potential radiological over-exposure of patients during high-dose-rate brach…
Reference density trends in the major disciplines
2018
Abstract The aim of this study was to determine whether different areas of knowledge presented different behaviour with regard to the number of references cited per journal document or if, conversely, they shared the same reference density practices. Bibliometric and bibliographic data were collected from 27,141 journals (indexed between 2001 and 2015 in the SCImago Journal & Country Rank (SJR)) and the growth rates in reference density and number of documents and journals in each category were calculated at different levels of aggregation. Our analysis identified that (a) mean reference density values in some Social Sciences and Arts and Humanities categories were equal to or higher than t…
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 …