Search results for "Computer Science Application"
showing 10 items of 3998 documents
Finding near-perfect parameters for hardware and code optimizations with automatic multi-objective design space explorations
2012
Summary In the design process of computer systems or processor architectures, typically many different parameters are exposed to configure, tune, and optimize every component of a system. For evaluations and before production, it is desirable to know the best setting for all parameters. Processing speed is no longer the only objective that needs to be optimized; power consumption, area, and so on have become very important. Thus, the best configurations have to be found in respect to multiple objectives. In this article, we use a multi-objective design space exploration tool called Framework for Automatic Design Space Exploration (FADSE) to automatically find near-optimal configurations in …
Quantum Machine Learning: A tutorial
2021
This tutorial provides an overview of Quantum Machine Learning (QML), a relatively novel discipline that brings together concepts from Machine Learning (ML), Quantum Computing (QC) and Quantum Information (QI). The great development experienced by QC, partly due to the involvement of giant technological companies as well as the popularity and success of ML have been responsible of making QML one of the main streams for researchers working on fuzzy borders between Physics, Mathematics and Computer Science. A possible, although arguably coarse, classification of QML methods may be based on those approaches that make use of ML in a quantum experimentation environment and those others that take…
Combining split-and-merge and multi-seed region growing algorithms for uterine fibroid segmentation in MRgFUS treatments
2016
Uterine fibroids are benign tumors that can affect female patients during reproductive years. Magnetic resonance-guided focused ultrasound (MRgFUS) represents a noninvasive approach that uses thermal ablation principles to treat symptomatic fibroids. During traditional treatment planning, uterus, fibroids, and surrounding organs at risk must be manually marked on MR images by an operator. After treatment, an operator must segment, again manually, treated areas to evaluate the non-perfused volume (NPV) inside the fibroids. Both pre- and post-treatment procedures are time-consuming and operator-dependent. This paper presents a novel method, based on an advanced direct region detection model, …
Performance potential for simulating spin models on GPU
2012
Graphics processing units (GPUs) are recently being used to an increasing degree for general computational purposes. This development is motivated by their theoretical peak performance, which significantly exceeds that of broadly available CPUs. For practical purposes, however, it is far from clear how much of this theoretical performance can be realized in actual scientific applications. As is discussed here for the case of studying classical spin models of statistical mechanics by Monte Carlo simulations, only an explicit tailoring of the involved algorithms to the specific architecture under consideration allows to harvest the computational power of GPU systems. A number of examples, ran…
Investigating the Molecular Mechanism of H3B-8800: A Splicing Modulator Inducing Preferential Lethality in Spliceosome-Mutant Cancers.
2021
The SF3B1 protein, part of the SF3b complex, recognizes the intron branch point sequence of precursor messenger RNA (pre-mRNA), thus contributing to splicing fidelity. SF3B1 is frequently mutated in cancer and is the target of distinct families of splicing modulators (SMs). Among these, H3B-8800 is of particular interest, as it induces preferential lethality in cancer cells bearing the frequent and highly pathogenic K700E SF3B1 mutation. Despite the potential of H3B-8800 to treat myeloid leukemia and other cancer types hallmarked by SF3B1 mutations, the molecular mechanism underlying its preferential lethality towards spliceosome-mutant cancer cells remains elusive. Here, microsecond-long a…
Some efficient algorithms for the solution of a single nonlinear equation
1981
High order methods for the numerical solution of nonlinear scalar equations are proposed which are more efficient than known procedures, and a unified approach to various methods suggested in literature is given.
ei.Datasets: Real Data Sets for Assessing Ecological Inference Algorithms
2021
Ecological inference models aim to infer individual-level relationships using aggregate data. They are routinely used to estimate voter transitions between elections, disclose split-ticket voting behaviors, or infer racial voting patterns in U.S. elections. A large number of procedures have been proposed in the literature to solve these problems; therefore, an assessment and comparison of them are overdue. The secret ballot however makes this a difficult endeavor since real individual data are usually not accessible. The most recent work on ecological inference has assessed methods using a very small number of data sets with ground truth, combined with artificial, simulated data. This arti…
New stage-discharge relationship for inclined non-rectangular weirs
2018
Abstract In this paper, the outflow process of inclined non-rectangular weirs is studied applying the dimensional analysis and the incomplete self-similarity theory. At first, a new stage-discharge equation, applicable for the non-rectangular weirs having a different geometrical shape (parabolic, semicircular, inverted semicircular), is theoretically deduced using a characteristic width. Then, this power stage-discharge relationship (Eq. (17) ) is calibrated and tested using measurements carried out by Raiknar for parabolic, semicircular and inverted semicircular weirs having different inclination respect to the vertical (10°, 20°, 30°, 40° and 45°). For each geometrical shape, the analysis…
A comparison of simplex and simulated annealing for optimization of a new rear underrun protective device
2012
In this paper, two optimization approaches to improve the product design process have been analysed. Through the analysis of a case study, concerning the designing of a new High Energy Absorption Rear Underrun Protective Device (HEARUPD), two different optimization approaches (simplex and simulated annealing) have been compared. In the implemented optimization processes, the crash between an economy car and the rear part of a truck has been simulated by dynamic numerical (FEM) analyses. Moreover, authors have proposed the use of a suitable linear function of four variables with the purpose of reducing the multi-objective optimization processes to mono-objective ones. That has been made to s…
A Bayesian analysis of the thermal challenge problem
2008
Abstract A major question for the application of computer models is Does the computer model adequately represent reality? Viewing the computer models as a potentially biased representation of reality, Bayarri et al. [M. Bayarri, J. Berger, R. Paulo, J. Sacks, J. Cafeo, J. Cavendish, C. Lin, J. Tu, A framework for validation of computer models, Technometrics 49 (2) (2007) 138–154] develop the simulator assessment and validation engine ( SAVE ) method as a general framework for answering this question. In this paper, we apply the SAVE method to the challenge problem which involves a thermal computer model designed for certain devices. We develop a statement of confidence that the devices mode…