Search results for "computer.software_genre"

Effects of minute misregistrations of prefabricated markers for image-guided dental implant surgery: an analytical evaluation

2012

Objectives The goal of the present study was to develop a theoretical analysis of errors in implant position, which can occur owing to minute registration errors of a reference marker in a cone beam computed tomography volume when inserting an implant with a surgical stent. Material and methods A virtual dental-arch model was created using anatomic data derived from the literature. Basic trigonometry was used to compute effects of defined minute registration errors of only voxel size. The errors occurring at the implant's neck and apex both in horizontal as in vertical direction were computed for mean ±95%-confidence intervals of jaw width and length and typical implant lengths (8, 10 and 1…

Extracting Formal Models from Normative Texts

2016

Normative texts are documents based on the deontic notions of obligation, permission, and prohibition. Our goal is model such texts using the C-O Diagram formalism, making them amenable to formal analysis, in particular verifying that a text satisfies properties concerning causality of actions and timing constraints. We present an experimental, semi-automatic aid to bridge the gap between a normative text and its formal representation. Our approach uses dependency trees combined with our own rules and heuristics for extracting the relevant components. The resulting tabular data can then be converted into a C-O Diagram.

Audiovisual constructs of Paralympic Games : scalarity and camera angle

2014

This research will analyze the variables differentiating between the audiovisual television of the XIII edition of the Paralympic Games and the Games of the XXIX Olympiad, held in Beijing from the 7th of September to the 17th, 2008. This study will serve as a methodological basis for similar future research. By means of a qualitative and quantitative methodology, this study also focuses on determining if TV representations of Paralympic sportspersons favour their social integration or if, on the contrary, lead to higher stigmatization.

Putting Bits and Pieces Together: Awareness of Text Structure in Jigsaw Reading

2013

Issues concerning Language Awareness have been debated for about 40 years (Hawkins 1999) and have brought about many interesting developments in the area of language teaching and learning. In the following text, the official definition and scope of language awareness studies are briefly presented. Then, language awareness within the framework of foreign text comprehension—a crossroad where different types of knowledge, linguistic and non-linguistic, and a variety of cognitive processes meet and interact—is discussed. Since text comprehension is such a complex process, it requires the readers to use various forms of language awareness. The study reported in the second part of the paper was d…

Modeling, evaluation, and scale on artificial pedestrians: a literature review

2017

Modeling pedestrian dynamics and their implementation in a computer are challenging and important issues in the knowledge areas of transportation and computer simulation. The aim of this article is to provide a bibliographic outlook so that the reader may have quick access to the most relevant works related to this problem. We have used three main axes to organize the article's contents: pedestrian models, validation techniques, and multiscale approaches. The backbone of this work is the classification of existing pedestrian models; we have organized the works in the literature under five categories, according to the techniques used for implementing the operational level in each pedestrian …

Models Versus Model Descriptions

2021

In the development of computer-based systems, modelling is often advocated in addition to programming, in that it helps in reflecting the application domain and that it makes the design and experiment activities of development more efficient. However, there is disagreement about what models are and how they can be used in software systems development. In this paper, we present the Scandinavian approach to modelling, which makes a clear distinction between models and model descriptions. This paper explains the connections between models, descriptions, systems, and executions. Combining the Scandinavian approach with the Kiel notion of model, we establish that both descriptions and executions…

2020

Development of Methods for the Classification of EVOOs According to Their Genetic Variety

2012

The aim of this work was to construct an LDA model able to classify EVOOs according to their genetic variety by using FTIR data.

The Development of a Computer Science Dictionary, or How to Help Translate the Untranslatable

2006

An Analysis of Earthquakes Clustering Based on a Second-Order Diagnostic Approach

2009

A diagnostic method for space–time point process is here introduced and applied to seismic data of a fixed area of Japan. Nonparametric methods are used to estimate the intensity function of a particular space–time point process and on the basis of the proposed diagnostic method, second-order features of data are analyzed: this approach seems to be useful to interpret space–time variations of the observed seismic activity and to focus on its clustering features.