Search results for "Computer-aided"
showing 10 items of 416 documents
Cost-Efficient On-Chip Routing Implementations for CMP and MPSoC Systems
2011
[EN] The high-performance computing domain is enriching with the inclusion of networks-on-chip (NoCs) as a key component of many-core (CMPs or MPSoCs) architectures. NoCs face the communication scalability challenge while meeting tight power, area, and latency constraints. Designers must address new challenges that were not present before. Defective components, the enhancement of application-level parallelism, or power-aware techniques may break topology regularity, thus, efficient routing becomes a challenge. This paper presents universal logic-based distributed routing (uLBDR), an efficient logic-based mechanism that adapts to any irregular topology derived from 2-D meshes, instead of usi…
Comparative in vitro study of the accuracy of impression techniques for dental implants: Direct technique with an elastomeric impression material ver…
2019
Background The aim of this study was to compare a conventional technique (elastomeric impression material - EIM) and a digital technique (scanner digital model – SDM) on a six-analog master model (MM) to determine which was the most exact. Material and Methods Twenty impressions were taken of a master model (EIM) and twenty scanned impressions (SDM) (True Definition). A coordinate measuring machine (CMM) was used to measure the distances between adjacent analogues (1-2, 2-3, 3-4, 4-5, 5-6), intermittently positioned analogues (1-4, 3-6) and the most distal (1-6). Reference values were established from the master model, which were compared with the two impression techniques. The significance…
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…
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…
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…
Properties of blended mortars produced with recycled by-products from different waste streams
2023
The construction industry encounters significant challenges in effectively managing solid waste produced during the extraction and production of building materials. In different countries, slurry waste generated from granite and marble processing industries, such as glass industry waste, constitutes a considerable portion of the total solid waste. Its undesirable disposal is causing unprecedented environmental damage. Using these non-biodegradable wastes to produce building materials would reduce the environmental burden and contribute to sustainable construction. This study, in detail, investigates the feasibility of utilizing Granite Powder (GP), Ground Granite Powder (GGP), and Ground Gl…
A New Preclinical Decision Support System Based on PET Radiomics: A Preliminary Study on the Evaluation of an Innovative 64Cu-Labeled Chelator in Mou…
2022
The 64Cu-labeled chelator was analyzed in vivo by positron emission tomography (PET) imaging to evaluate its biodistribution in a murine model at different acquisition times. For this purpose, nine 6-week-old female Balb/C nude strain mice underwent micro-PET imaging at three different time points after 64Cu-labeled chelator injection. Specifically, the mice were divided into group 1 (acquisition 1 h after [64Cu] chelator administration, n = 3 mice), group 2 (acquisition 4 h after [64Cu]chelator administration, n = 3 mice), and group 3 (acquisition 24 h after [64Cu] chelator administration, n = 3 mice). Successively, all PET studies were segmented by means of registration with a standard te…
Iterative Multiple Bounding-Box Refinements for Visual Tracking.
2022
Single-object visual tracking aims at locating a target in each video frame by predicting the bounding box of the object. Recent approaches have adopted iterative procedures to gradually refine the bounding box and locate the target in the image. In such approaches, the deep model takes as input the image patch corresponding to the currently estimated target bounding box, and provides as output the probability associated with each of the possible bounding box refinements, generally defined as a discrete set of linear transformations of the bounding box center and size. At each iteration, only one transformation is applied, and supervised training of the model may introduce an inherent ambig…