27 resultados para Systems of Linear Diophantine Constraints
Resumo:
INTRODUCTION The aim of this study was to determine the reproducibility and accuracy of linear measurements on 2 types of dental models derived from cone-beam computed tomography (CBCT) scans: CBCT images, and Anatomodels (InVivoDental, San Jose, Calif); these were compared with digital models generated from dental impressions (Digimodels; Orthoproof, Nieuwegein, The Netherlands). The Digimodels were used as the reference standard. METHODS The 3 types of digital models were made from 10 subjects. Four examiners repeated 37 linear tooth and arch measurements 10 times. Paired t tests and the intraclass correlation coefficient were performed to determine the reproducibility and accuracy of the measurements. RESULTS The CBCT images showed significantly smaller intraclass correlation coefficient values and larger duplicate measurement errors compared with the corresponding values for Digimodels and Anatomodels. The average difference between measurements on CBCT images and Digimodels ranged from -0.4 to 1.65 mm, with limits of agreement values up to 1.3 mm for crown-width measurements. The average difference between Anatomodels and Digimodels ranged from -0.42 to 0.84 mm with limits of agreement values up to 1.65 mm. CONCLUSIONS Statistically significant differences between measurements on Digimodels and Anatomodels, and between Digimodels and CBCT images, were found. Although the mean differences might be clinically acceptable, the random errors were relatively large compared with corresponding measurements reported in the literature for both Anatomodels and CBCT images, and might be clinically important. Therefore, with the CBCT settings used in this study, measurements made directly on CBCT images and Anatomodels are not as accurate as measurements on Digimodels.
Resumo:
In a world characterized by increasing pressure from financial and product markets, the question of how exogenous constraints affect internal coordination and control processes has become increasingly important. This experiment investigates how two exogenous constraints that superiors can face in budget negotiation settings, increased opportunity costs and financial pressure to meet unit targets, affect budget negotiations and subordinate effort. The results show that both constraints induce more cooperation, but in different ways. Financial pressure on the superior leads to more cooperative negotiation behavior by superiors and subordinates than increased opportunity costs. Specifically, subordinates do not take advantage of the superior's increased financial pressure to enforce lower budgets. After negotiation, both constraints strongly mitigate the negative effects of superior budget imposition on subordinate effort because exogenous constraints eliminate the effect of procedural fairness considerations on subordinate effort.
Resumo:
BACKGROUND The aim of this study was to evaluate the accuracy of linear measurements on three imaging modalities: lateral cephalograms from a cephalometric machine with a 3 m source-to-mid-sagittal-plane distance (SMD), from a machine with 1.5 m SMD and 3D models from cone-beam computed tomography (CBCT) data. METHODS Twenty-one dry human skulls were used. Lateral cephalograms were taken, using two cephalometric devices: one with a 3 m SMD and one with a 1.5 m SMD. CBCT scans were taken by 3D Accuitomo® 170, and 3D surface models were created in Maxilim® software. Thirteen linear measurements were completed twice by two observers with a 4 week interval. Direct physical measurements by a digital calliper were defined as the gold standard. Statistical analysis was performed. RESULTS Nasion-Point A was significantly different from the gold standard in all methods. More statistically significant differences were found on the measurements of the 3 m SMD cephalograms in comparison to the other methods. Intra- and inter-observer agreement based on 3D measurements was slightly better than others. LIMITATIONS Dry human skulls without soft tissues were used. Therefore, the results have to be interpreted with caution, as they do not fully represent clinical conditions. CONCLUSIONS 3D measurements resulted in a better observer agreement. The accuracy of the measurements based on CBCT and 1.5 m SMD cephalogram was better than a 3 m SMD cephalogram. These findings demonstrated the linear measurements accuracy and reliability of 3D measurements based on CBCT data when compared to 2D techniques. Future studies should focus on the implementation of 3D cephalometry in clinical practice.
Resumo:
We hypothesized that network analysis is useful to expose coordination between whole body and myocellular levels of energy metabolism and can identify entities that underlie skeletal muscle's contribution to growth hormone-stimulated lipid handling and metabolic fitness. We assessed 112 metabolic parameters characterizing metabolic rate and substrate handling in tibialis anterior muscle and vascular compartment at rest, after a meal and exercise with growth hormone replacement therapy (GH-RT) of hypopituitary patients (n = 11). The topology of linear relationships (| r | ≥ 0.7, P ≤ 0.01) and mutual dependencies exposed the organization of metabolic relationships in three entities reflecting basal and exercise-induced metabolic rate, triglyceride handling, and substrate utilization in the pre- and postprandial state, respectively. GH-RT improved aerobic performance (+5%), lean-to-fat mass (+19%), and muscle area of tibialis anterior (+2%) but did not alter its mitochondrial and capillary content. Concomitantly, connectivity was established between myocellular parameters of mitochondrial lipid metabolism and meal-induced triglyceride handling in serum. This was mediated via the recruitment of transcripts of muscle lipid mobilization (LIPE, FABP3, and FABP4) and fatty acid-sensitive transcription factors (PPARA, PPARG) to the metabolic network. The interdependence of gene regulatory elements of muscle lipid metabolism reflected the norm in healthy subjects (n = 12) and distinguished the regulation of the mitochondrial respiration factor COX1 by GH and endurance exercise. Our observations validate the use of network analysis for systems medicine and highlight the notion that an improved stochiometry between muscle and whole body lipid metabolism, rather than alterations of single bottlenecks, contributes to GH-driven elevations in metabolic fitness.
Resumo:
Optical coherence tomography (OCT) is a well-established image modality in ophthalmology and used daily in the clinic. Automatic evaluation of such datasets requires an accurate segmentation of the retinal cell layers. However, due to the naturally low signal to noise ratio and the resulting bad image quality, this task remains challenging. We propose an automatic graph-based multi-surface segmentation algorithm that internally uses soft constraints to add prior information from a learned model. This improves the accuracy of the segmentation and increase the robustness to noise. Furthermore, we show that the graph size can be greatly reduced by applying a smart segmentation scheme. This allows the segmentation to be computed in seconds instead of minutes, without deteriorating the segmentation accuracy, making it ideal for a clinical setup. An extensive evaluation on 20 OCT datasets of healthy eyes was performed and showed a mean unsigned segmentation error of 3.05 ±0.54 μm over all datasets when compared to the average observer, which is lower than the inter-observer variability. Similar performance was measured for the task of drusen segmentation, demonstrating the usefulness of using soft constraints as a tool to deal with pathologies.
Resumo:
BEAMnrc, a code for simulating medical linear accelerators based on EGSnrc, has been bench-marked and used extensively in the scientific literature and is therefore often considered to be the gold standard for Monte Carlo simulations for radiotherapy applications. However, its long computation times make it too slow for the clinical routine and often even for research purposes without a large investment in computing resources. VMC++ is a much faster code thanks to the intensive use of variance reduction techniques and a much faster implementation of the condensed history technique for charged particle transport. A research version of this code is also capable of simulating the full head of linear accelerators operated in photon mode (excluding multileaf collimators, hard and dynamic wedges). In this work, a validation of the full head simulation at 6 and 18 MV is performed, simulating with VMC++ and BEAMnrc the addition of one head component at a time and comparing the resulting phase space files. For the comparison, photon and electron fluence, photon energy fluence, mean energy, and photon spectra are considered. The largest absolute differences are found in the energy fluences. For all the simulations of the different head components, a very good agreement (differences in energy fluences between VMC++ and BEAMnrc <1%) is obtained. Only a particular case at 6 MV shows a somewhat larger energy fluence difference of 1.4%. Dosimetrically, these phase space differences imply an agreement between both codes at the <1% level, making VMC++ head module suitable for full head simulations with considerable gain in efficiency and without loss of accuracy.
Resumo:
In process industries, make-and-pack production is used to produce food and beverages, chemicals, and metal products, among others. This type of production process allows the fabrication of a wide range of products in relatively small amounts using the same equipment. In this article, we consider a real-world production process (cf. Honkomp et al. 2000. The curse of reality – why process scheduling optimization problems are diffcult in practice. Computers & Chemical Engineering, 24, 323–328.) comprising sequence-dependent changeover times, multipurpose storage units with limited capacities, quarantine times, batch splitting, partial equipment connectivity, and transfer times. The planning problem consists of computing a production schedule such that a given demand of packed products is fulfilled, all technological constraints are satisfied, and the production makespan is minimised. None of the models in the literature covers all of the technological constraints that occur in such make-and-pack production processes. To close this gap, we develop an efficient mixed-integer linear programming model that is based on a continuous time domain and general-precedence variables. We propose novel types of symmetry-breaking constraints and a preprocessing procedure to improve the model performance. In an experimental analysis, we show that small- and moderate-sized instances can be solved to optimality within short CPU times.
Resumo:
The relative importance of ecological selection and geographical isolation in promoting and constraining genetic and phenotypic differentiation among populations is not always obvious. Interacting with divergent selection, restricted opportunity for gene flow may in some cases be as much a cause as a consequence of adaptation, with the latter being a hallmark of ecologi- cal speciation. Ecological speciation is well studied in parts of the native range of the three-spined stickleback. Here, we study this process in a recently invaded part of its range. Switzerland was colonized within the past 140 years from at least three different colonization events involving differ- ent stickleback lineages. They now occupy diverse habitats, ranging from small streams to the pelagic zone of large lakes. We use replicated systems of parapatric lake and stream populations, some of which trace their origins to different invasive lineages, to ask (i) whether phenotypic divergence occurred among populations inhabiting distinct habitats, (ii) whether trajec- tories of phenotypic divergence follow predictable parallel patterns and (iii) whether gene flow constrains divergent adaptation or vice versa. We find consistent phenotypic divergence between populations occupying distinct habitats. This involves parallel evolution in several traits with known eco- logical relevance in independent evolutionary lineages. Adaptive divergence supersedes homogenizing gene flow even at a small spatial scale. We find evidence that adaptive phenotypic divergence places constraints on gene flow over and above that imposed by geographical distance, signalling the early onset of ecological speciation.
Resumo:
To determine the potential inhalatory risk posed by carbon nanotubes (CNTs), a tier-based approach beginning with an in vitro assessment must be adopted. The purpose of this study therefore was to compare 4 commonly used in vitro systems of the human lung (human blood monocyte-derived macrophages [MDM] and monocyte-derived dendritic cells [MDDC], 16HBE14o- epithelial cells, and a sophisticated triple cell co-culture model [TCC-C]) via assessment of the biological impact of different CNTs (single-walled CNTs [SWCNTs] and multiwalled CNTs [MWCNTs]) over 24h. No significant cytotoxicity was observed with any of the cell types tested, although a significant (p < .05), dose-dependent increase in tumor necrosis factor (TNF)-α following SWCNT and MWCNT exposure at concentrations up to 0.02mg/ml to MDM, MDDC, and the TCC-C was found. The concentration of TNF-α released by the MDM and MDDC was significantly higher (p < .05) than the TCC-C. Significant increases (p < .05) in interleukin (IL)-8 were also found for both 16HBE14o- epithelial cells and the TCC-C after SWCNTs and MWCNTs exposure up to 0.02mg/ml. The TCC-C, however, elicited a significantly (p < .05) higher IL-8 release than the epithelial cells. The oxidative potential of both SWCNTs and MWCNTs (0.005-0.02mg/ml) measured by reduced glutathione (GSH) content showed a significant difference (p < .05) between each monoculture and the TCC-C. It was concluded that because only the co-culture system could assess each endpoint adequately, that, in comparison with monoculture systems, multicellular systems that take into consideration important cell type-to-cell type interactions could be used as predictive in vitro screening tools for determining the potential deleterious effects associated with CNTs.
Resumo:
Due to the ongoing trend towards increased product variety, fast-moving consumer goods such as food and beverages, pharmaceuticals, and chemicals are typically manufactured through so-called make-and-pack processes. These processes consist of a make stage, a pack stage, and intermediate storage facilities that decouple these two stages. In operations scheduling, complex technological constraints must be considered, e.g., non-identical parallel processing units, sequence-dependent changeovers, batch splitting, no-wait restrictions, material transfer times, minimum storage times, and finite storage capacity. The short-term scheduling problem is to compute a production schedule such that a given demand for products is fulfilled, all technological constraints are met, and the production makespan is minimised. A production schedule typically comprises 500–1500 operations. Due to the problem size and complexity of the technological constraints, the performance of known mixed-integer linear programming (MILP) formulations and heuristic approaches is often insufficient. We present a hybrid method consisting of three phases. First, the set of operations is divided into several subsets. Second, these subsets are iteratively scheduled using a generic and flexible MILP formulation. Third, a novel critical path-based improvement procedure is applied to the resulting schedule. We develop several strategies for the integration of the MILP model into this heuristic framework. Using these strategies, high-quality feasible solutions to large-scale instances can be obtained within reasonable CPU times using standard optimisation software. We have applied the proposed hybrid method to a set of industrial problem instances and found that the method outperforms state-of-the-art methods.
Resumo:
We define an applicative theory of truth TPT which proves totality exactly for the polynomial time computable functions. TPT has natural and simple axioms since nearly all its truth axioms are standard for truth theories over an applicative framework. The only exception is the axiom dealing with the word predicate. The truth predicate can only reflect elementhood in the words for terms that have smaller length than a given word. This makes it possible to achieve the very low proof-theoretic strength. Truth induction can be allowed without any constraints. For these reasons the system TPT has the high expressive power one expects from truth theories. It allows embeddings of feasible systems of explicit mathematics and bounded arithmetic. The proof that the theory TPT is feasible is not easy. It is not possible to apply a standard realisation approach. For this reason we develop a new realisation approach whose realisation functions work on directed acyclic graphs. In this way, we can express and manipulate realisation information more efficiently.
Resumo:
The geologic history of the multi-ringed Argyre impact basin and surroundings has been reconstructed on the basis of geologic mapping and relative-age dating of rock materials and structures. The impact formed a primary basin, rim materials, and a complex basement structural fabric including faults and valleys that are radial and concentric about the primary basin, as well as structurally-controlled local basins. Since its formation, the basin has been a regional catchment for volatiles and sedimentary materials as well as a dominant influence on the flow of surface ice, debris flows, and groundwater through and over its basement structures. The basin is interpreted to have been occupied by lakes, including a possible Mediterranean-sized sea that formed in the aftermath of the Argyre impact event The hypothesized lakes froze and diminished through time, though liquid water may have remained beneath the ice cover and sedimentation may have continued for some time. At its deepest, the main Argyre lake may have taken more than a hundred thousand years to freeze to the bottom even absent any heat source besides the Sun, but with impact-induced hydrothermal heat, geothermal heat flow due to long-lived radioactivities in early martian history, and concentration of solutes in sub-ice brine, liquid water may have persisted beneath thick ice for many millions of years. Existence of an ice-covered sea perhaps was long enough for life to originate and evolve with gradually colder and more hypersaline conditions. The Argyre rock materials, diverse in origin and emplacement mechanisms, have been modified by impact, magmatic, eolian, fluvial, lacustrine, glacial, periglacial, alluvial, colluvial, and tectonic processes. Post-impact adjustment of part of the impact-generated basement structural fabric such as concentric faults is apparent. Distinct basin-stratigraphic units are interpreted to be linked to large-scale geologic activity far from the basin, including growth of the Tharsis magmatic-tectonic complex and the growth into southern middle latitudes of south polar ice sheets. Along with the migration of surface and sub-surface volatiles towards the central part of the primaiy basin, the substantial difference in elevation with respect to the surrounding highlands and Tharsis and the Thaumasia highlands result in the trapping of atmospheric volatiles within the basin in the form of fog and regional or local precipitation, even today. In addition, the impact event caused long-term (millions of years) hydrothermal activity, as well as deep-seated basement structures that have tapped the internal heat of Mars, as conduits, for far greater time, possibly even today. This possibility is raised by the observation of putative open-system pingos and nearby gullies that occur in linear depressions with accompanying systems of faults and fractures. Long-term water and heat energy enrichment, complemented by the interaction of the nutrient-enriched primordial crustal and mantle materials favorable to life excavated to the surface and near-surface environs through the Argyre impact event, has not only resulted in distinct geomorphology, but also makes the Argyre basin a potential site of exceptional astrobiological significance. (C) 2015 Elsevier Inc. All rights reserved.