Search results for "aid"
showing 10 items of 3031 documents
Fast narrowing-driven partial evaluation for inductively sequential programs
2005
Narrowing-driven partial evaluation is a powerful technique for the specialization of (first-order) functional and functional logic programs. However, although it gives good results on small programs, it does not scale up well to realistic problems (e.g., interpreter specialization). In this work, we introduce a faster partial evaluation scheme by ensuring the termination of the process offline . For this purpose, we first characterize a class of programs which are quasi-terminating , i.e., the computations performed with needed narrowing—the symbolic computation mechanism of narrowing-driven partial evaluation—only contain finitely many different terms (and, thus, partial evaluation termi…
Reflektio aikuisen puheviestintätaitojen oppimisessa ja opetuksessa : Jack Mezirowin ja Donald Schönin reflektio-käsitteiden analyysi
2001
Segmentation Integrating Texture and Shape A Priori Applied to Cardiac MR Images
2017
International audience; Cardiovascular diseases are the first cause of death worldwide. Early and accurate diagnosisof cardiovascular diseases plays an important role in improving life of population afflicted heartdiseases. Delayed Enhencement Magnetic Resonance Imaging (DE-MRI) is a highly valuablebut non-specific imaging technique that is ancillary in the diagnosis of a variety of myocardialdiseases. This papper presents a novel segmentation technique of DE-MRI based on watershedand region growing algorithm with application of myocardium shape.
The BioDICE Taverna plugin for clustering and visualization of biological data: a workflow for molecular compounds exploration
2014
Background: In many experimental pipelines, clustering of multidimensional biological datasets is used to detect hidden structures in unlabelled input data. Taverna is a popular workflow management system that is used to design and execute scientific workflows and aid in silico experimentation. The availability of fast unsupervised methods for clustering and visualization in the Taverna platform is important to support a data-driven scientific discovery in complex and explorative bioinformatics applications. Results: This work presents a Taverna plugin, the Biological Data Interactive Clustering Explorer (BioDICE), that performs clustering of high-dimensional biological data and provides a …
Knowledge-Based Systems and F.E. Simulations in Metal-Forming Processes Design An integrated Approach
1991
Summary The automatic computer aided planning and design of cold forming processes includes several phases, among which the most important are the optimal choice of the forming operations sequence and, for each operation, the determination of the more suitable operating parameters. With this aim the Authors propose an integrated approach based on the preliminary choice of some feasible forming sequences, carried out by means of a knowledge-based system, and on the subsequent determination of the optimal one employing a finite element simulation of the process.
Fully Dynamic Evaluation of Sequence Pair
2013
In the electronic design automation field, as well as in other areas, problem instances and solutions are often subject to discrete changes. The foundational significance of efficient updates of the criterion value after dynamic updates, instead of recomputing it from scratch each time, has attracted a lot of research. In this paper, motivated by the significance of the sequence pair (SP) representation for floorplanning, we develop a fully dynamic algorithm of SP evaluation, that efficiently updates a criterion value after insertions and deletions of SP elements and after modifications of element weights. Our result is based on a new data structure for the predecessor problem, which mainta…
Les services d’appui à la pédagogie : des environnements capacitants ?
2022
Una radiografia dels serveis socials valencians
2010
Desde una perspectiva histórica se analiza la dimensión substantiva de los Servicios Sociales Valencianos. Se toman como referencia investigaciones y datos elaborados por los autores sobre los ejes constitutivos del sistema, de tal manera que al globalizarlos se obtiene una radiografía de su situación. A partir del análisis se proyectan los rasgos constitutivos del sistema público de servicios sociales valenciano, así como los escenarios presentes y futuros del mismo. Se concluye que en perspectiva comparada es un sistema plenamente asistencial, de doble red y mercantilizado An analysis of the substantive dimension of Valencian Social Services is done by means of a combination between histo…
Introducing pattern reuse in the design of multi-agent systems
2002
This paper focuses on design issues to be faced when developing knowledge management (KM) applications based on the integration of peer-to-peer and multi-agent technologies. The reasons for using these technologies rest on the requirements posed by the specific KM paradigm that has been adopted, which emphasizes aspects such as autonomy and distribution of knowledge sources. We adopt an agent-oriented approach that extends Tropos, a software engineering methodology introduced in earlier papers. We present a characterization of peer-to-peer in terms of a general architectural pattern, a set of design guidelines for peer-to-peer applications, and a framework that integrates multi-agent and pe…