75 resultados para Partial ordering heuristics
em Université de Lausanne, Switzerland
Resumo:
In this paper we de. ne a partial ordering of knots and links using a special property derived from their minimal diagrams. A link K' is called a predecessor of a link K if Cr(K') < Cr(K) and a diagram of K' can be obtained from a minimal diagram D of K by a single crossing change. In such a case, we say that K' < K. We investigate the sets of links that can be obtained by single crossing changes over all minimal diagrams of a given link. We show that these sets are specific for different links and permit partial ordering of all links. Some interesting results are presented and many questions are raised.
Resumo:
La hiérarchie de Wagner constitue à ce jour la plus fine classification des langages ω-réguliers. Par ailleurs, l'approche algébrique de la théorie de langages formels montre que ces ensembles ω-réguliers correspondent précisément aux langages reconnaissables par des ω-semigroupes finis pointés. Ce travail s'inscrit dans ce contexte en fournissant une description complète de la contrepartie algébrique de la hiérarchie de Wagner, et ce par le biais de la théorie descriptive des jeux de Wadge. Plus précisément, nous montrons d'abord que le degré de Wagner d'un langage ω-régulier est effectivement un invariant syntaxique. Nous définissons ensuite une relation de réduction entre ω-semigroupes pointés par le biais d'un jeu infini de type Wadge. La collection de ces structures algébriques ordonnée par cette relation apparaît alors comme étant isomorphe à la hiérarchie de Wagner, soit un quasi bon ordre décidable de largeur 2 et de hauteur ω. Nous exposons par la suite une procédure de décidabilité de cette hiérarchie algébrique : on décrit une représentation graphique des ω-semigroupes finis pointés, puis un algorithme sur ces structures graphiques qui calcule le degré de Wagner de n'importe quel élément. Ainsi le degré de Wagner de tout langage ω-régulier peut être calculé de manière effective directement sur son image syntaxique. Nous montrons ensuite comment construire directement et inductivement une structure de n''importe quel degré. Nous terminons par une description détaillée des invariants algébriques qui caractérisent tous les degrés de cette hiérarchie. Abstract The Wagner hierarchy is known so far to be the most refined topological classification of ω-rational languages. Also, the algebraic study of formal languages shows that these ω-rational sets correspond precisely to the languages recognizable by finite pointed ω-semigroups. Within this framework, we provide a construction of the algebraic counterpart of the Wagner hierarchy. We adopt a hierarchical game approach, by translating the Wadge theory from the ω-rational language to the ω-semigroup context. More precisely, we first show that the Wagner degree is indeed a syntactic invariant. We then define a reduction relation on finite pointed ω-semigroups by means of a Wadge-like infinite two-player game. The collection of these algebraic structures ordered by this reduction is then proven to be isomorphic to the Wagner hierarchy, namely a well-founded and decidable partial ordering of width 2 and height $\omega^\omega$. We also describe a decidability procedure of this hierarchy: we introduce a graph representation of finite pointed ω-semigroups allowing to compute their precise Wagner degrees. The Wagner degree of every ω-rational language can therefore be computed directly on its syntactic image. We then show how to build a finite pointed ω-semigroup of any given Wagner degree. We finally describe the algebraic invariants characterizing every Wagner degree of this hierarchy.
Resumo:
In traditional criminal investigation, uncertainties are often dealt with using a combination of common sense, practical considerations and experience, but rarely with tailored statistical models. For example, in some countries, in order to search for a given profile in the national DNA database, it must have allelic information for six or more of the ten SGM Plus loci for a simple trace. If the profile does not have this amount of information then it cannot be searched in the national DNA database (NDNAD). This requirement (of a result at six or more loci) is not based on a statistical approach, but rather on the feeling that six or more would be sufficient. A statistical approach, however, could be more rigorous and objective and would take into consideration factors such as the probability of adventitious matches relative to the actual database size and/or investigator's requirements in a sensible way. Therefore, this research was undertaken to establish scientific foundations pertaining to the use of partial SGM Plus loci profiles (or similar) for investigation.
Resumo:
Purpose: Surgery remains the treatment of choice for localized renal neoplasms. While radical nephrectomy was long considered the gold standard, partial nephrectomy has equivalent oncological results for small tumors. The role of negative surgical margins continues to be debated. Intraoperative frozen section analysis is expensive and time-consuming. We assessed the feasibility of intraoperative ex vivo ultrasound of resection margins in patients undergoing partial nephrectomy and its correlation with margin status on definitive pathological evaluation.Materials and Methods: A study was done at 2 institutions from February 2008 to March 2011. Patients undergoing partial nephrectomy for T1-T2 renal tumors were included in analysis. Partial nephrectomy was done by a standardized minimal healthy tissue margin technique. After resection the specimen was kept in saline and tumor margin status was immediately determined by ex vivo ultrasound. Sequential images were obtained to evaluate the whole tumor pseudocapsule. Results were compared with margin status on definitive pathological evaluation.Results: A total of 19 men and 14 women with a mean +/- SD age of 62 +/- 11 years were included in analysis. Intraoperative ex vivo ultrasound revealed negative surgical margins in 30 cases and positive margins in 2 while it could not be done in 1. Final pathological results revealed negative margins in all except 1 case. Ultrasound sensitivity and specificity were 100% and 97%, respectively. Median ultrasound duration was 1 minute. Mean tumor and margin size was 3.6 +/- 2.2 cm and 1.5 +/- 0.7 mm, respectively.Conclusions: Intraoperative ex vivo ultrasound of resection margins in patients undergoing partial nephrectomy is feasible and efficient. Large sample studies are needed to confirm its promising accuracy to determine margin status.
Resumo:
PURPOSE: This study investigated maximal cardiometabolic response while running in a lower body positive pressure treadmill (antigravity treadmill (AG)), which reduces body weight (BW) and impact. The AG is used in rehabilitation of injuries but could have potential for high-speed running, if workload is maximally elevated. METHODS: Fourteen trained (nine male) runners (age 27 ± 5 yr; 10-km personal best, 38.1 ± 1.1 min) completed a treadmill incremental test (CON) to measure aerobic capacity and heart rate (V˙O2max and HRmax). They completed four identical tests (48 h apart, randomized order) on the AG at BW of 100%, 95%, 90%, and 85% (AG100 to AG85). Stride length and rate were measured at peak velocities (Vpeak). RESULTS: V˙O2max (mL·kg·min) was similar across all conditions (men: CON = 66.6 (3.0), AG100 = 65.6 (3.8), AG95 = 65.0 (5.4), AG90 = 65.6 (4.5), and AG85 = 65.0 (4.8); women: CON = 63.0 (4.6), AG100 = 61.4 (4.3), AG95 = 60.7 (4.8), AG90 = 61.4 (3.3), and AG85 = 62.8 (3.9)). Similar results were found for HRmax, except for AG85 in men and AG100 and AG90 in women, which were lower than CON. Vpeak (km·h) in men was 19.7 (0.9) in CON, which was lower than every other condition: AG100 = 21.0 (1.9) (P < 0.05), AG95 = 21.4 (1.8) (P < 0.01), AG90 = 22.3 (2.1) (P < 0.01), and AG85 = 22.6 (1.6) (P < 0.001). In women, Vpeak (km·h) was similar between CON (17.8 (1.1) ) and AG100 (19.3 (1.0)) but higher at AG95 = 19.5 (0.4) (P < 0.05), AG90 = 19.5 (0.8) (P < 0.05), and AG85 = 21.2 (0.9) (P < 0.01). CONCLUSIONS: The AG can be used at maximal exercise intensities at BW of 85% to 95%, reaching faster running speeds than normally feasible. The AG could be used for overspeed running programs at the highest metabolic response levels.
Resumo:
Peroxisome proliferator-activated receptor gamma (PPAR-gamma) is a member of the nuclear hormone superfamily originally characterized as a regulator of adipocyte differentiation and lipid metabolism. In addition, PPAR-gamma has important immunomodulatory functions. If the effect of PPAR-gamma's activation in T-cell-mediated demyelination has been recently demonstrated, nothing is known about the role of PPAR-gamma in antibody-induced demyelination in the absence of T-cell interactions and monocyte/macrophage activation. Therefore, we investigated PPAR-gamma's involvement by using an in vitro model of inflammatory demyelination in three-dimensional aggregating rat brain cell cultures. We found that PPAR-gamma was not constitutively expressed in these cultures but was strongly up-regulated following demyelination mediated by antibodies directed against myelin oligodendrocyte glycoprotein (MOG) in the presence of complement. Pioglitazone, a selective PPAR-gamma agonist, partially protected aggregates from anti-MOG demyelination. Heat shock responses and the expression of the proinflammatory cytokine tumor necrosis factor-alpha were diminished by pioglitazone treatment. Therefore, pioglitazone protection seems to be linked to an inhibition of glial cell proinflammatory activities following anti-MOG induced demyelination. We show that PPAR-gamma agonists act not only on T cells but also on antibody-mediated demyelination. This may represent a significant benefit in treating multiple sclerosis patients.
Resumo:
Coronary artery calcification (CAC) is quantified based on a computed tomography (CT) scan image. A calcified region is identified. Modified expectation maximization (MEM) of a statistical model for the calcified and background material is used to estimate the partial calcium content of the voxels. The algorithm limits the region over which MEM is performed. By using MEM, the statistical properties of the model are iteratively updated based on the calculated resultant calcium distribution from the previous iteration. The estimated statistical properties are used to generate a map of the partial calcium content in the calcified region. The volume of calcium in the calcified region is determined based on the map. The experimental results on a cardiac phantom, scanned 90 times using 15 different protocols, demonstrate that the proposed method is less sensitive to partial volume effect and noise, with average error of 9.5% (standard deviation (SD) of 5-7mm(3)) compared with 67% (SD of 3-20mm(3)) for conventional techniques. The high reproducibility of the proposed method for 35 patients, scanned twice using the same protocol at a minimum interval of 10 min, shows that the method provides 2-3 times lower interscan variation than conventional techniques.
Partial cricotracheal resection for pediatric subglottic stenosis: long-term outcome in 57 patients.
Resumo:
OBJECTIVE: We sought to assess the long-term outcome of 57 pediatric patients who underwent partial cricotracheal resection for subglottic stenosis. METHODS: Eighty-one pediatric partial cricotracheal resections were performed in our tertiary care institution between 1978 and 2004. Fifty-seven patients had a minimal follow-up time of 1 year and were included in this study. Evaluation was based on the last laryngotracheal endoscopy, the responses to a questionnaire, and a retrospective review of the patient's data. The following parameters were analyzed: decannulation rates, breathing, voice quality, and deglutition. RESULTS: A single-stage partial cricotracheal resection was performed in 38 patients, and a double-stage procedure was performed in 19 patients. Sixteen patients underwent an extended partial cricotracheal resection (ie, partial cricotracheal resection combined with another open procedure). At a median follow-up time of 5.1 years, the decannulation rates after a single- or double-stage procedure were 97.4% and 95%, respectively. Two patients remained tracheotomy dependent. One patient had moderate exertional dyspnea, and all other patients had no exertional dyspnea. Voice quality was found to improve after surgical intervention for 1 +/- 1.34 grade dysphonia (P < .0001) according to the adapted GRBAS grading system (Grade, Roughness, Breathiness, Asthenia, and Strain). CONCLUSIONS: Partial cricotracheal resection provides good results for grades III and IV subglottic stenosis as primary or salvage operations. The procedure has no deleterious effects on laryngeal growth and function. The quality of voice significantly improves after surgical intervention but largely depends on the preoperative condition.
Preretinal partial pressure of oxygen gradients before and after experimental pars plana vitrectomy.
Resumo:
PURPOSE: To evaluate preretinal partial pressure of oxygen (PO2) gradients before and after experimental pars plana vitrectomy. METHODS: Arteriolar, venous, and intervascular preretinal PO2 gradients were recorded in 7 minipigs during slow withdrawal of oxygen-sensitive microelectrodes (10-μm tip diameter) from the vitreoretinal interface to 2 mm into the vitreous cavity. Recordings were repeated after pars plana vitrectomy and balanced salt solution (BSS) intraocular perfusion. RESULTS: Arteriolar, venous, and intervascular preretinal PO2 at the vitreoretinal interface were 62.3 ± 13.8, 22.5 ± 3.3, and 17.0 ± 7.5 mmHg, respectively, before vitrectomy; 97.7 ± 19.9, 40.0 ± 21.9, and 56.3 ± 28.4 mmHg, respectively, immediately after vitrectomy; and 59.0 ± 27.4, 25.2 ± 3.0, and 21.5 ± 4.5 mmHg, respectively, 2½ hours after interruption of BSS perfusion. PO2 2 mm from the vitreoretinal interface was 28.4 ± 3.6 mmHg before vitrectomy; 151.8 ± 4.5 mmHg immediately after vitrectomy; and 34.8 ± 4.1 mmHg 2½ hours after interruption of BSS perfusion. PO2 gradients were still present after vitrectomy, with the same patterns as before vitrectomy. CONCLUSION: Preretinal PO2 gradients are not eliminated after pars plana vitrectomy. During BSS perfusion, vitreous cavity PO2 is very high. Interruption of BSS perfusion evokes progressive equilibration of vitreous cavity PO2 with concomitant progressive return of preretinal PO2 gradients to their previtrectomy patterns. This indicates that preretinal diffusion of oxygen is not altered after vitrectomy. The beneficial effect of vitrectomy in ischemic retinal diseases or macular edema may be related to other mechanisms, such as increased oxygen convection currents or removal of growth factors and cytokines secreted in the vitreous.
Resumo:
Abstract : In the subject of fingerprints, the rise of computers tools made it possible to create powerful automated search algorithms. These algorithms allow, inter alia, to compare a fingermark to a fingerprint database and therefore to establish a link between the mark and a known source. With the growth of the capacities of these systems and of data storage, as well as increasing collaboration between police services on the international level, the size of these databases increases. The current challenge for the field of fingerprint identification consists of the growth of these databases, which makes it possible to find impressions that are very similar but coming from distinct fingers. However and simultaneously, this data and these systems allow a description of the variability between different impressions from a same finger and between impressions from different fingers. This statistical description of the withinand between-finger variabilities computed on the basis of minutiae and their relative positions can then be utilized in a statistical approach to interpretation. The computation of a likelihood ratio, employing simultaneously the comparison between the mark and the print of the case, the within-variability of the suspects' finger and the between-variability of the mark with respect to a database, can then be based on representative data. Thus, these data allow an evaluation which may be more detailed than that obtained by the application of rules established long before the advent of these large databases or by the specialists experience. The goal of the present thesis is to evaluate likelihood ratios, computed based on the scores of an automated fingerprint identification system when the source of the tested and compared marks is known. These ratios must support the hypothesis which it is known to be true. Moreover, they should support this hypothesis more and more strongly with the addition of information in the form of additional minutiae. For the modeling of within- and between-variability, the necessary data were defined, and acquired for one finger of a first donor, and two fingers of a second donor. The database used for between-variability includes approximately 600000 inked prints. The minimal number of observations necessary for a robust estimation was determined for the two distributions used. Factors which influence these distributions were also analyzed: the number of minutiae included in the configuration and the configuration as such for both distributions, as well as the finger number and the general pattern for between-variability, and the orientation of the minutiae for within-variability. In the present study, the only factor for which no influence has been shown is the orientation of minutiae The results show that the likelihood ratios resulting from the use of the scores of an AFIS can be used for evaluation. Relatively low rates of likelihood ratios supporting the hypothesis known to be false have been obtained. The maximum rate of likelihood ratios supporting the hypothesis that the two impressions were left by the same finger when the impressions came from different fingers obtained is of 5.2 %, for a configuration of 6 minutiae. When a 7th then an 8th minutia are added, this rate lowers to 3.2 %, then to 0.8 %. In parallel, for these same configurations, the likelihood ratios obtained are on average of the order of 100,1000, and 10000 for 6,7 and 8 minutiae when the two impressions come from the same finger. These likelihood ratios can therefore be an important aid for decision making. Both positive evolutions linked to the addition of minutiae (a drop in the rates of likelihood ratios which can lead to an erroneous decision and an increase in the value of the likelihood ratio) were observed in a systematic way within the framework of the study. Approximations based on 3 scores for within-variability and on 10 scores for between-variability were found, and showed satisfactory results. Résumé : Dans le domaine des empreintes digitales, l'essor des outils informatisés a permis de créer de puissants algorithmes de recherche automatique. Ces algorithmes permettent, entre autres, de comparer une trace à une banque de données d'empreintes digitales de source connue. Ainsi, le lien entre la trace et l'une de ces sources peut être établi. Avec la croissance des capacités de ces systèmes, des potentiels de stockage de données, ainsi qu'avec une collaboration accrue au niveau international entre les services de police, la taille des banques de données augmente. Le défi actuel pour le domaine de l'identification par empreintes digitales consiste en la croissance de ces banques de données, qui peut permettre de trouver des impressions très similaires mais provenant de doigts distincts. Toutefois et simultanément, ces données et ces systèmes permettent une description des variabilités entre différentes appositions d'un même doigt, et entre les appositions de différents doigts, basées sur des larges quantités de données. Cette description statistique de l'intra- et de l'intervariabilité calculée à partir des minuties et de leurs positions relatives va s'insérer dans une approche d'interprétation probabiliste. Le calcul d'un rapport de vraisemblance, qui fait intervenir simultanément la comparaison entre la trace et l'empreinte du cas, ainsi que l'intravariabilité du doigt du suspect et l'intervariabilité de la trace par rapport à une banque de données, peut alors se baser sur des jeux de données représentatifs. Ainsi, ces données permettent d'aboutir à une évaluation beaucoup plus fine que celle obtenue par l'application de règles établies bien avant l'avènement de ces grandes banques ou par la seule expérience du spécialiste. L'objectif de la présente thèse est d'évaluer des rapports de vraisemblance calcul és à partir des scores d'un système automatique lorsqu'on connaît la source des traces testées et comparées. Ces rapports doivent soutenir l'hypothèse dont il est connu qu'elle est vraie. De plus, ils devraient soutenir de plus en plus fortement cette hypothèse avec l'ajout d'information sous la forme de minuties additionnelles. Pour la modélisation de l'intra- et l'intervariabilité, les données nécessaires ont été définies, et acquises pour un doigt d'un premier donneur, et deux doigts d'un second donneur. La banque de données utilisée pour l'intervariabilité inclut environ 600000 empreintes encrées. Le nombre minimal d'observations nécessaire pour une estimation robuste a été déterminé pour les deux distributions utilisées. Des facteurs qui influencent ces distributions ont, par la suite, été analysés: le nombre de minuties inclus dans la configuration et la configuration en tant que telle pour les deux distributions, ainsi que le numéro du doigt et le dessin général pour l'intervariabilité, et la orientation des minuties pour l'intravariabilité. Parmi tous ces facteurs, l'orientation des minuties est le seul dont une influence n'a pas été démontrée dans la présente étude. Les résultats montrent que les rapports de vraisemblance issus de l'utilisation des scores de l'AFIS peuvent être utilisés à des fins évaluatifs. Des taux de rapports de vraisemblance relativement bas soutiennent l'hypothèse que l'on sait fausse. Le taux maximal de rapports de vraisemblance soutenant l'hypothèse que les deux impressions aient été laissées par le même doigt alors qu'en réalité les impressions viennent de doigts différents obtenu est de 5.2%, pour une configuration de 6 minuties. Lorsqu'une 7ème puis une 8ème minutie sont ajoutées, ce taux baisse d'abord à 3.2%, puis à 0.8%. Parallèlement, pour ces mêmes configurations, les rapports de vraisemblance sont en moyenne de l'ordre de 100, 1000, et 10000 pour 6, 7 et 8 minuties lorsque les deux impressions proviennent du même doigt. Ces rapports de vraisemblance peuvent donc apporter un soutien important à la prise de décision. Les deux évolutions positives liées à l'ajout de minuties (baisse des taux qui peuvent amener à une décision erronée et augmentation de la valeur du rapport de vraisemblance) ont été observées de façon systématique dans le cadre de l'étude. Des approximations basées sur 3 scores pour l'intravariabilité et sur 10 scores pour l'intervariabilité ont été trouvées, et ont montré des résultats satisfaisants.