Search results for " Soft"
showing 10 items of 1710 documents
A facially driven complete-mouth rehabilitation with ultrathin CAD-CAM composite resin veneers for a patient with severe tooth wear: A minimally inva…
2020
Abstract The development of technologies that include face scanning and dental software has improved workflows in dentistry. Digital files make it possible to create a 3-dimensional virtual image of the patient that helps the clinician plan treatment and make decisions, reducing uncertainty and improving communication. This report describes the complete-mouth rehabilitation of a patient with severe tooth wear. The treatment adopted a minimal intervention approach, applying adhesive veneers in areas where the tooth structure was affected and used a computer-aided design and computer-aided manufacturing (CAD-CAM) workflow to prepare nanoceramic composite resin materials with a high filler loa…
Extracting Formal Models from Normative Texts
2016
Normative texts are documents based on the deontic notions of obligation, permission, and prohibition. Our goal is model such texts using the C-O Diagram formalism, making them amenable to formal analysis, in particular verifying that a text satisfies properties concerning causality of actions and timing constraints. We present an experimental, semi-automatic aid to bridge the gap between a normative text and its formal representation. Our approach uses dependency trees combined with our own rules and heuristics for extracting the relevant components. The resulting tabular data can then be converted into a C-O Diagram.
Hard-sphere fluids in annular wedges: density distributions and depletion potentials.
2009
We analyze the density distribution and the adsorption of solvent hard spheres in an annular slit formed by two large solute spheres or a large solute and a wall at close distances by means of fundamental measure density functional theory, anisotropic integral equations and simulations. We find that the main features of the density distribution in the slit are described by an effective, two--dimensional system of disks in the vicinity of a central obstacle. For large solute--solvent size ratios, the resulting depletion force has a straightforward geometrical interpretation which gives a precise "colloidal" limit for the depletion interaction. For intermediate size ratios 5...10 and high sol…
Modeling, evaluation, and scale on artificial pedestrians: a literature review
2017
Modeling pedestrian dynamics and their implementation in a computer are challenging and important issues in the knowledge areas of transportation and computer simulation. The aim of this article is to provide a bibliographic outlook so that the reader may have quick access to the most relevant works related to this problem. We have used three main axes to organize the article's contents: pedestrian models, validation techniques, and multiscale approaches. The backbone of this work is the classification of existing pedestrian models; we have organized the works in the literature under five categories, according to the techniques used for implementing the operational level in each pedestrian …
Cargo-Cult Containerization : A Critical View of Containers in Modern Software Development
2022
Software is increasingly developed and deployed using containers. While the concept of a container is conceptually straightforward, there are various issues to be considered while using them, ranging from technical details inside containers to the orchestration of containers that jointly form a meaningful application. In recent years, the use of containers has become so prevalent that developers have a tendency to resort to cargo-cult containerization - ritual adherence to the use of containers just because so many others are doing the same thing. In this paper, we study advantages and downsides of containers in modern-day software development. We foresee the use of containers to spread int…
Examining the Quality of Evolution Frameworks and Metamodeling Paradigms of Information Systems Development Methodologies
2011
Information systems development methodologies and associated CASE tools have been considered cornerstones for building quality into an information system. The construction and evaluation of methodologies are usually carried out by evaluation frameworks and metamodels, both considered as meta-methodologies. This chapter investigates and reviews representative metamodels and evaluation frameworks for assessing the capability of methodologies to contribute to high-quality outcomes. It presents a summary of their quality features, strengths, and weaknesses. The chapter ultimately leads to a comparison and discussion of the functional and formal quality properties that traditional meta-methodolo…
Combining Haar Wavelet and Karhunen Loeve Transforms for Medical Images Watermarking
2014
This paper presents a novel watermarking method, applied to the medical imaging domain, used to embed the patient’s data into the corresponding image or set of images used for the diagnosis. The main objective behind the proposed technique is to perform the watermarking of the medical images in such a way that the three main attributes of the hidden information (i.e., imperceptibility, robustness, and integration rate) can be jointly ameliorated as much as possible. These attributes determine the effectiveness of the watermark, resistance to external attacks, and increase the integration rate. In order to improve the robustness, a combination of the characteristics of Discrete Wavelet and K…
Objective, Noninvasive Evaluation of Velopharyngeal Function in Cleft and Noncleft Patients
1998
Objective The purpose of this study was to investigate a new diagnostic method that provides an approach to noninvasive, objective measurement of velopharyngeal movement by acoustic determination of epipharyngeal volume changes with velopharyngeal muscle function. Design This was a case control study, using consecutive samples. Setting This study took place at the Cleft Palate Rehabilitation Center of the University of Mainz, Germany. Patients Subjects were 29 consecutive cleft lip and palate (CLP) patients and 31 controls (21 patients with dysgnathia and 10 healthy volunteers). Intervention A series of transnasal acoustic measurements (pressure wave: 55 dB for 2 milliseconds) of epipharyng…
Fluids of hard ellipsoids: Phase diagram including a nematic instability from Percus-Yevick theory
1999
An important aspect of molecular fluids is the relation between orientation and translation parts of the two-particle correlations. Especially the detailed knowledge of the influence of orientation correlations is needed to explain and calculate in detail the occurrence of a nematic phase. The simplest model system which shows both orientation and translation correlations is a system of hard ellipsoids. We investigate an isotropic fluid formed of hard ellipsoids with Percus-Yevick theory. Solving the Percus-Yevick equations self-consistently in the high density regime gives a clear criterion for a nematic instability. We calculate in detail the equilibrium phase diagram for a fluid of hard …
Izšķirošās IKT izvēles nākamās digitālās dekādes robežšķirtnē Latvijas skolu izglītības politikas veidošanas sistēmā : promocijas darbs Vadības dokto…
2008
Darbā aplūkotas vairākas izšķirošas izvēles, kuras ir jāveic Latvijas izglītības sistēmai tuvākajos gados sakarā ar pasaules ieiešanu nākamajā digitālajā dekādē, ko pavada ne tikai būtiskas datoru infrastruktūras un lietojumu izmaiņas, bet arī pārmaiņas visā sabiedrībā kopumā, tajā skaitā vadības metodēs, koncepcijās un, līdz ar to arī izglītības sfērā un izglītības vadībā (IV) it īpaši. Darbs veltīts šo pārmaiņu teorētiskajai un praktiskajai bāzei, īpašu uzmanību pievēršot atklātā pirmkoda programmatūras (APP) lietošanas iespējām un aspektiem mācību procesā Latvijas skolās, galveno uzmanību pievēršot operētājsistēmu, biroja programmatūras un interneta risinājumu, tajā skaitā e-mācību, izvē…