Search results for "Computer-aided design"
showing 10 items of 312 documents
Spin qubits with electrically gated polyoxometalate molecules
2007
Spin qubits offer one of the most promising routes to the implementation of quantum computers. Very recent results in semiconductor quantum dots show that electrically-controlled gating schemes are particularly well-suited for the realization of a universal set of quantum logical gates. Scalability to a larger number of qubits, however, remains an issue for such semiconductor quantum dots. In contrast, a chemical bottom-up approach allows one to produce identical units in which localized spins represent the qubits. Molecular magnetism has produced a wide range of systems with tailored properties, but molecules permitting electrical gating have been lacking. Here we propose to use the polyox…
A COMPARATIVE STUDY BETWEEN ´ BIHARMONIC BEZIER SURFACES AND BIHARMONIC EXTREMAL SURFACES
2009
AbstractGiven a prescribed boundary of a Bezier surface, we compare the Bezier surfaces generated by two different methods, i.e., the Bezier surface minimising the biharmonic functional and the unique Bezier surface solution of the biharmonic equation with prescribed boundary. Although often the two types of surfaces look visually the same, we show that they are indeed different. In this paper, we provide a theoretical argument showing why the two types of surfaces are not always the same.
Two -methods to generate Bézier surfaces from the boundary
2009
Two methods to generate tensor-product Bezier surface patches from their boundary curves and with tangent conditions along them are presented. The first one is based on the tetraharmonic equation: we show the existence and uniqueness of the solution of @D^4x->=0 with prescribed boundary and adjacent to the boundary control points of a nxn Bezier surface. The second one is based on the nonhomogeneous biharmonic equation @D^2x->=p, where p could be understood as a vectorial load adapted to the C^1-boundary conditions.
Bézier surfaces of minimal area: The Dirichlet approach
2004
The Plateau-Bezier problem consists in finding the Bezier surface with minimal area from among all Bezier surfaces with prescribed border. An approximation to the solution of the Plateau-Bezier problem is obtained by replacing the area functional with the Dirichlet functional. Some comparisons between Dirichlet extremals and Bezier surfaces obtained by the use of masks related with minimal surfaces are studied.
3D segmentation of abdominal aorta from CT-scan and MR images
2012
International audience; We designed a generic method for segmenting the aneurismal sac of an abdominal aortic aneurysm (AAA) both from multi-slice MR and CT-scan examinations. It is a semi-automatic method requiring little human intervention and based on graph cut theory to segment the lumen interface and the aortic wall of AAAs. Our segmentation method works independently on MRI and CT-scan volumes and has been tested on a 44 patient dataset and 10 synthetic images. Segmentation and maximum diameter estimation were compared to manual tracing from 4 experts. An inter-observer study was performed in order to measure the variability range of a human observer. Based on three metrics (the maxim…
A Robust and Simple Measure for Quality-Guided 2D Phase Unwrapping Algorithms
2016
Quality-based 2D phase unwrapping algorithms provide one of the best tradeoffs between speed and quality of results. Their robustness depends on a quality map, which is used to build a path that visits the most reliable pixels first. Unwrapping then proceeds along this path, delaying unwrapping of noisy and inconsistent areas until the end, so that the unwrapping errors remain local. We propose a novel quality measure that is consistent, technically sound, effective, fast to compute, and immune to the presence of a carrier signal. The new measure combines the benefits of both the quality-guided and the residue-based phase unwrapping approaches. The quality map is justified from the two diff…
Resistance to bond degradation between dual-cure resin cements and pre-treated sintered CAD-CAM dental ceramics
2012
Objective: To evaluate the bond stability of resin cements when luted to glass-reinforced alumina and zirconia CAD/CAM dental ceramics. Study design: Eighteen glass-infiltrated alumina and eighteen densely sintered zirconia blocks were randomly conditioned as follows: Group 1: No treatment; Group 2: Sandblasting (125 µm Al2O3-particles); and Group 3: Silica-coating (50 µm silica-modified Al2O3-particles). Composite samples were randomly bonded to the pre-treated ceramic surfaces using different resin cements: Subgroup 1: Clearfil Esthetic Cement (CEC); Subgroup 2: RelyX Unicem (RXU); and Subgroup 3: Calibra (CAL). After 24 h, bonded specimens were cut into 1 ± 0.1 mm2 sticks. One-half of th…
Computational strategies for the design of new enzymatic functions
2015
In this contribution, recent developments in the design of biocatalysts are reviewed with particular emphasis in the de novo strategy. Studies based on three different reactions, Kemp elimination, Diels–Alder and Retro-Aldolase, are used to illustrate different success achieved during the last years. Finally, a section is devoted to the particular case of designed metalloenzymes. As a general conclusion, the interplay between new and more sophisticated engineering protocols and computational methods, based on molecular dynamics simulations with Quantum Mechanics/Molecular Mechanics potentials and fully flexible models, seems to constitute the bed rock for present and future successful desig…
The expressive power of the shuffle product
2010
International audience; There is an increasing interest in the shuffle product on formal languages, mainly because it is a standard tool for modeling process algebras. It still remains a mysterious operation on regular languages.Antonio Restivo proposed as a challenge to characterize the smallest class of languages containing the singletons and closed under Boolean operations, product and shuffle. This problem is still widely open, but we present some partial results on it. We also study some other smaller classes, including the smallest class containing the languages composed of a single word of length 2 which is closed under Boolean operations and shuffle by a letter (resp. shuffle by a l…
A Formalism Supplementing Cognitive Semantics Based on Mereology
2007
ABSTRACT This paper is motivated by and aims to supplement Cognitive Semantics. Details of this latter prominent approach within contemporary linguistic research will not be discussed here. Rather, we focus on a formalization of the concept of Gestalt and provide a formal semantics that can be used to interpret a certain formal language (LM 0) with respect to a universe of structured wholes (Gestalts). Since a great deal of the analyses of linguistic organization that has been provided by Cognitive Semantics since the mid-1970s is based on the concept of Gestalt, the semantics unfolded in the following may be viewed as an attempt to provide a starting point for supplementing the yet informa…