Search results for " Parallel"
showing 10 items of 224 documents
Extending CSG with projections: Towards formally certified geometric modeling
2015
We extend traditional Constructive Solid Geometry (CSG) trees to support the projection operator. Existing algorithms in the literature prove various topological properties of CSG sets. Our extension readily allows these algorithms to work on a greater variety of sets, in particular parametric sets, which are extensively used in CAD/CAM systems. Constructive Solid Geometry allows for algebraic representation which makes it easy for certification tools to apply. A geometric primitive may be defined in terms of a characteristic function, which can be seen as the zero-set of a corresponding system along with inequality constraints. To handle projections, we exploit the Disjunctive Normal Form,…
NoC based virtualized FPGA as cloud Services
2016
International audience; Web-based applications are increasingly demanding many computationally intensive services. On the other hand, FPGA-based hardware accelerators(HwAcc) provide good performance in accelerating computationally intensive applications. In addition, some FPGAs support a dynamic partial reconfig-uration (DPR) techniques to virtualize and share the FPGA underlying hardware resources in time multiplexing during run-time to save resource and power consumption. Integrating FPGA in a cloud environment is an indispensable way to improve efficiency and provide acceleration services to demanding users. More importantly, in recent years it was proved that FPGA resources deployed in …
Scheduling independent stochastic tasks on heterogeneous cloud platforms
2019
International audience; This work introduces scheduling strategies to maximize the expected number of independent tasks that can be executed on a cloud platform within a given budget and under a deadline constraint. The cloud platform is composed of several types of virtual machines (VMs), where each type has a unitexecution cost that depends upon its characteristics. The amount of budget spent during the execution of a task on a given VM is the product of its execution length by the unit execution cost of that VM. The execution lengths of tasks follow a variety of standard probability distributions (exponential, uniform, halfnormal, etc.), which is known beforehand and whose mean and stand…
Scheduling independent stochastic tasks under deadline and budget constraints
2018
This article discusses scheduling strategies for the problem of maximizing the expected number of tasks that can be executed on a cloud platform within a given budget and under a deadline constraint. The execution times of tasks follow independent and identically distributed probability laws. The main questions are how many processors to enroll and whether and when to interrupt tasks that have been executing for some time. We provide complexity results and an asymptotically optimal strategy for the problem instance with discrete probability distributions and without deadline. We extend the latter strategy for the general case with continuous distributions and a deadline and we design an ef…
Automated detection of contextuality proofs with intermediate numbers of observables
2021
<div style=""><font face="arial, helvetica"><span style="font-size: 13px;">Quantum contextuality takes an important place amongst the concepts of quantum computing that bring an advantage over its classical counterpart. For a large class of contextuality </span></font><span style="font-size: 13px; font-family: arial, helvetica;">proofs, aka. observable-based proofs of the Kochen-Specker Theorem, we first formulate the</span></div><div style=""><font face="arial, helvetica"><span style="font-size: 13px;">contextuality property as the absence of solutions to a linear system. Then we explain why </span></font><span style="font-size: 13px; font-family: arial, helvetica…
A Route toward Protein Sequencing using Solid-State Nanopores Assisted by Machine Learning
2022
Solid-State Nanopores made of 2-D materials such as MoS2 have emerged as one of the most versatile sensors for single-biomolecule detection, which is essential for early disease diagnosis (biomarker detection). One of the most promising applications of SSN is DNA and protein sequencing, at a low cost and faster than the current standard methods. The detection principle relies on measuring the relatively small variations of ionic current as charged biomolecules immersed in an electrolyte traverse the nanopore, in response to an external voltage applied across the membrane. The passage of a biomolecule through the pore yields information about its structure and chemical properties, as demonst…
Computer-assisted enumeration and classification of multi-qubit doilies
2022
For N ≥ 2, an N-qubit doily is a doily living in the N-qubit symplectic polar space. These doilies are related to operator-based proofs of quantum contextuality. Following and extending the strategy of [SdBHG21] that focused exclusively on three-qubit doilies, we first bring forth several formulas giving the number of both linear and quadratic doilies for any N > 2. Then we present an effective algorithm for the generation of all N-qubit doilies. Using this algorithm for N = 4 and N = 5, we provide a classification of N-qubit doilies in terms of types of observables they feature and number of negative lines they are endowed with.
Natural soil reservoirs for human pathogenic and fecal indicator bacteria
2015
Prod ? EA UB INRA BIOME; International audience; résumé du livre : Environmental microbiology, the study of the roles that microbes play in all planetary environments, is one of the most important areas of scientific research. The The Manual of Environmental Microbiology, Fourth Edition, provides comprehensive coverage of this critical and growing field. Thoroughly updated and revised, the Manuall is the definitive reference for information on microbes in air, water, and soil and their impact on human health and welfare. Written in accessible, clear prose, the manual covers four broad areas: general methodologies, environmental public health microbiology, microbial ecology, and biodegradati…
The role of virtual work in Levi-Civita's parallel transport
2015
International audience; According to current history of science, Levi-Civita introduced parallel transport solely to give a geometrical interpretation to the covariant derivative of absolute differential calculus. Levi-Civita, however, searched a simple computation of the curvature of a Riemannian manifold, basing on notions of the Italian school of mathematical physics of his time: holonomic constraints, virtual displacements and work, which so have a remarkable, if not dominant, role in the origin of parallel transport.
Chimney and Periscope Grafts Observed Over 2 Years After Their Use to Revascularize 169 Renovisceral Branches in 77 Patients With Complex Aortic Aneu…
2013
Purpose: To evaluate the performance of periscope and/or chimney grafts (CPGs) in the endovascular treatment of pararenal or thoracoabdominal aneurysms using off-the-shelf devices. Methods: Between February 2002 and August 2012, 77 consecutive patients (62 men; mean age 7369 years) suffering from pararenal aortic (n¼55), thoracoabdominal (n¼16), or arch to visceral artery aneurysms (n¼6) were treated with aortic stent-graft implantation requiring chimney and/or periscope grafts to maintain side branch perfusion. CPGs were planned in advance and were not used as bailout. A standardized follow-up protocol including computed tomographic angiography, laboratory testing, and clinical examination…