999 resultados para Minimal hypotheses semantics
Resumo:
The benzoquinone was found as an effective co-catalyst in the ruthenium/NaOEt-catalyzed Guerbet reaction. The co-catalyst behavior has therefore been investigated through experimental and computational methods. The reaction products distribution shows that the reaction speed is improved by the benzoquinone supplement since the beginning of the process, having a minimal effect on the selectivity toward alcoholic species. DFT calculations were performed to investigate two hypotheses for the kinetic effects: i) a hydrogen storage mechanism or ii) a basic co-catalysis of 4-hydroxiphenolate. The most promising results were found for the latter hypothesis, where a new mixed mechanism for the aldol condensation step of the Guerbet process involves the hydroquinone (i.e. the reduced form of benzoquinone) as proton source instead of ethanol. This mechanism was found to be energetically more favorable than an aldol condensation in absence of additive, suggesting that the hydroquinone derived from benzoquinone could be the key species affecting the kinetics of the overall process. To verify this theoretical hypothesis, new phenol derivatives were tested as additives in the Guerbet reaction. The outcomes confirmed that an aromatic acid (stronger than ethanol) could improve the reaction kinetics. Lastly, theoretical products distributions were simulated and compared to the experimental one, using the DFT computations to build the kinetic models.
Resumo:
To evaluate patients with transverse fractures of the shaft of the humerus treated with indirect reduction and internal fixation with plate and screws through minimally invasive technique. Inclusion criteria were adult patients with transverse diaphyseal fractures of the humerus closed, isolated or not occurring within 15 days of the initial trauma. Exclusion criteria were patients with compound fractures. In two patients, proximal screw loosening occurred, however, the fractures consolidated in the same mean time as the rest of the series. Consolidation with up to 5 degrees of varus occurred in five cases and extension deficit was observed in the patient with olecranon fracture treated with tension band, which was not considered as a complication. There was no recurrence of infection or iatrogenic radial nerve injury. It can be concluded that minimally invasive osteosynthesis with bridge plate can be considered a safe and effective option for the treatment of transverse fractures of the humeral shaft. Level of Evidence III, Therapeutic Study.
Resumo:
The detection of minimal residual disease (MRD) is an important prognostic factor in childhood acute lymphoblastic leukemia (ALL) providing crucial information on the response to treatment and risk of relapse. However, the high cost of these techniques restricts their use in countries with limited resources. Thus, we prospectively studied the use of flow cytometry (FC) with a simplified 3-color assay and a limited antibody panel to detect MRD in the bone marrow (BM) and peripheral blood (PB) of children with ALL. BM and PB samples from 40 children with ALL were analyzed on days (d) 14 and 28 during induction and in weeks 24-30 of maintenance therapy. Detectable MRD was defined as > 0.01% cells expressing the aberrant immunophenotype as characterized at diagnosis among total events in the sample. A total of 87% of the patients had an aberrant immunophenotype at diagnosis. On d14, 56% of the BM and 43% of the PB samples had detectable MRD. On d28, this decreased to 45% and 31%, respectively. The percentage of cells with the aberrant phenotype was similar in both BM and PB in T-ALL but about 10 times higher in the BM of patients with B-cell-precursor ALL. Moreover, MRD was detected in the BM of patients in complete morphological remission (44% on d14 and 39% on d28). MRD was not significantly associated to gender, age, initial white blood cell count or cell lineage. This FC assay is feasible, affordable and readily applicable to detect MRD in centers with limited resources.
Resumo:
Background: The MASS IV-DM Trial is a large project from a single institution, the Heart Institute (InCor), University of Sao Paulo Medical School, Brazil to study ventricular function and coronary arteries in patients with type 2 diabetes mellitus. Methods/Design: The study will enroll 600 patients with type 2 diabetes who have angiographically normal ventricular function and coronary arteries. The goal of the MASS IV-DM Trial is to achieve a long-term evaluation of the development of coronary atherosclerosis by using angiograms and coronary-artery calcium scan by electron-beam computed tomography at baseline and after 5 years of follow-up. In addition, the incidence of major cardiovascular events, the dysfunction of various organs involved in this disease, particularly microalbuminuria and renal function, will be analyzed through clinical evaluation. In addition, an effort will be made to investigate in depth the presence of major cardiovascular risk factors, especially the biochemical profile, metabolic syndrome inflammatory activity, oxidative stress, endothelial function, prothrombotic factors, and profibrinolytic and platelet activity. An evaluation will be made of the polymorphism as a determinant of disease and its possible role in the genesis of micro- and macrovascular damage. Discussion: The MASS IV-DM trial is designed to include diabetic patients with clinically suspected myocardial ischemia in whom conventional angiography shows angiographically normal coronary arteries. The result of extensive investigation including angiographic follow-up by several methods, vascular reactivity, pro-thrombotic mechanisms, genetic and biochemical studies may facilitate the understanding of so-called micro- and macrovascular disease of DM.
Resumo:
Background Minimal residual disease is an important independent prognostic factor in childhood acute lymphoblastic leukemia. The classical detection methods such as multiparameter flow cytometry and real-time quantitative polymerase chain reaction analysis are expensive, time-consuming and complex, and require considerable technical expertise. Design and Methods We analyzed 229 consecutive children with acute lymphoblastic leukemia treated according to the GBTLI-99 protocol at three different Brazilian centers. Minimal residual disease was analyzed in bone marrow samples at diagnosis and on days 14 and 28 by conventional homo/heteroduplex polymerase chain reaction using a simplified approach with consensus primers for IG and TCR gene rearrangements. Results At least one marker was detected by polymerase chain reaction in 96.4%, of the patients. By combining the minimal residual disease results obtained on days 14 and 28, three different prognostic groups were identified: minimal residual disease negative on days 14 and 28, positive on day 14/negative on day 28, and positive on both. Five-year event-free survival rates were 85%, 75.6%,, and 27.8%, respectively (p<0.0001). The same pattern of stratification held true for the group of intensively treated children. When analyzed in other subgroups of patients such as those at standard and high risk at diagnosis, those with positive B-derived CD10, patients positive for the TEL/AML1 transcript, and patients in morphological remission on a day 28 marrow, the event-free survival rate was found to be significantly lower in patients with positive minimal residual disease on day 28. Multivariate analysis demonstrated that the detection of minimal residual disease on day 28 is the most significant prognostic factor. Conclusions This simplified strategy for detection of minimal residual disease was feasible, reproducible, cheaper and simpler when compared with other methods, and allowed powerful discrimination between children with acute lymphoblastic leukemia with a good and poor outcome.
Resumo:
Given a continuous map f : K -> M from a 2-dimensional CW complex into a closed surface, the Nielsen root number N(f) and the minimal number of roots mu(f) of f satisfy N(f) <= mu(f). But, there is a number mu(C)(f) associated to each Nielsen root class of f, and an important problem is to know when mu(f) = mu(C)(f)N(f). In addition to investigate this problem, we determine a relationship between mu(f) and mu((f) over tilde), when (f) over tilde f is a lifting of f through a covering space, and we find a connection between this problems, with which we answer several questions related to them when the range of the maps is the projective plane.
Resumo:
Gaussianity and statistical isotropy of the Universe are modern cosmology's minimal set of hypotheses. In this work we introduce a new statistical test to detect observational deviations from this minimal set. By defining the temperature correlation function over the whole celestial sphere, we are able to independently quantify both angular and planar dependence (modulations) of the CMB temperature power spectrum over different slices of this sphere. Given that planar dependence leads to further modulations of the usual angular power spectrum C(l), this test can potentially reveal richer structures in the morphology of the primordial temperature field. We have also constructed an unbiased estimator for this angular-planar power spectrum which naturally generalizes the estimator for the usual C(l)'s. With the help of a chi-square analysis, we have used this estimator to search for observational deviations of statistical isotropy in WMAP's 5 year release data set (ILC5), where we found only slight anomalies on the angular scales l = 7 and l = 8. Since this angular-planar statistic is model-independent, it is ideal to employ in searches of statistical anisotropy (e.g., contaminations from the galactic plane) and to characterize non-Gaussianities.
Resumo:
We investigate a neutrino mass model in which the neutrino data is accounted for by bilinear R-parity violating supersymmetry with anomaly mediated supersymmetry breaking. We focus on the CERN Large Hadron Collider (LHC) phenomenology, studying the reach of generic supersymmetry search channels with leptons, missing energy and jets. A special feature of this model is the existence of long-lived neutralinos and charginos which decay inside the detector leading to detached vertices. We demonstrate that the largest reach is obtained in the displaced vertices channel and that practically all of the reasonable parameter space will be covered with an integrated luminosity of 10 fb(-1). We also compare the displaced vertex reaches of the LHC and Tevatron.
Resumo:
In the MPC literature, stability is usually assured under the assumption that the state is measured. Since the closed-loop system may be nonlinear because of the constraints, it is not possible to apply the separation principle to prove global stability for the Output feedback case. It is well known that, a nonlinear closed-loop system with the state estimated via an exponentially converging observer combined with a state feedback controller can be unstable even when the controller is stable. One alternative to overcome the state estimation problem is to adopt a non-minimal state space model, in which the states are represented by measured past inputs and outputs [P.C. Young, M.A. Behzadi, C.L. Wang, A. Chotai, Direct digital and adaptative control by input-output, state variable feedback pole assignment, International journal of Control 46 (1987) 1867-1881; C. Wang, P.C. Young, Direct digital control by input-output, state variable feedback: theoretical background, International journal of Control 47 (1988) 97-109]. In this case, no observer is needed since the state variables can be directly measured. However, an important disadvantage of this approach is that the realigned model is not of minimal order, which makes the infinite horizon approach to obtain nominal stability difficult to apply. Here, we propose a method to properly formulate an infinite horizon MPC based on the output-realigned model, which avoids the use of an observer and guarantees the closed loop stability. The simulation results show that, besides providing closed-loop stability for systems with integrating and stable modes, the proposed controller may have a better performance than those MPC controllers that make use of an observer to estimate the current states. (C) 2008 Elsevier Ltd. All rights reserved.
Resumo:
Scheduling parallel and distributed applications efficiently onto grid environments is a difficult task and a great variety of scheduling heuristics has been developed aiming to address this issue. A successful grid resource allocation depends, among other things, on the quality of the available information about software artifacts and grid resources. In this article, we propose a semantic approach to integrate selection of equivalent resources and selection of equivalent software artifacts to improve the scheduling of resources suitable for a given set of application execution requirements. We also describe a prototype implementation of our approach based on the Integrade grid middleware and experimental results that illustrate its benefits. Copyright (C) 2009 John Wiley & Sons, Ltd.
Resumo:
The Brazil nut (Bertholletia excelsa) of the Amazon region is consumed worldwide. It is rich in both monounsaturated fatty acids and polyunsaturated fatty acids and is known for its high selenium content. This study tested the hypothesis whether the consumption of this nut could affect the plasma lipids and apolipoproteins and some functional properties of the antiatherogenic high-density lipoprotein (HDL). Fifteen normolipidemic subjects aged 27.3 +/- 3.9 years and with body mass index of 23.8 +/- 2.8 kg/m(2) consumed 45 g of Brazil nuts per day during a 15-day period. On days 0 and 15, blood was collected for biochemical analysis, determination of HDL particle size, paraoxonase 1 activity, and lipid transfer from a lipoprotein-like nanoparticle to the HDL fraction. Brazil nut ingestion did not alter HDL, low-density lipoprotein cholesterol, triacylglycerols, apolipoprotein A-1, or apolipoprotein B concentrations. HDL particle diameter and the activity of antioxidative paraoxonase 1, mostly found in the HDL fraction, Were also unaffected. Supplementation increased the reception of cholesteryl esters (P <.05) by the HDL yet did not alter the reception of phospholipids, free cholesterol, or triacylglycerols. As expected, plasma selenium was significantly increased. However, the consumption of Brazil nuts for short duration by normolipidemic subjects in comparable amounts to those tested for other nuts did not alter serum lipid profile. The only alteration in HDL function was the increase in cholesteryl ester transfer. This latter finding may be beneficial because it would improve the nonatherogenic reverse cholesterol transport pathway. (c) 2008 Elsevier Inc. All rights reserved.
Resumo:
The theory of Owicki and Gries has been used as a platform for safety-based verifcation and derivation of concurrent programs. It has also been integrated with the progress logic of UNITY which has allowed newer techniques of progress-based verifcation and derivation to be developed. However, a theoretical basis for the integrated theory has thus far been missing. In this paper, we provide a theoretical background for the logic of Owicki and Gries integrated with the logic of progress from UNITY. An operational semantics for the new framework is provided which is used to prove soundness of the progress logic.
Resumo:
Action systems are a construct for reasoning about concurrent, reactive systems, in which concurrent behaviour is described by interleaving atomic actions. Sere and Troubitsyna have proposed an extension to action systems in which actions may be expressed and composed using discrete probabilistic choice as well as demonic nondeterministic choice. In this paper we develop a trace-based semantics for probabilistic action systems. This semantics provides a simple theoretical base on which practical refinement rules for probabilistic action systems may be justified.
Resumo:
The received view of an ad hoc hypothesis is that it accounts for only the observation(s) it was designed to account for, and so non-adhocness is generally held to be necessary or important for an introduced hypothesis or modification to a theory. Attempts by Popper and several others to convincingly explicate this view, however, prove to be unsuccessful or of doubtful value, and familiar and firmer criteria for evaluating the hypotheses or modified theories so classified are characteristically available. These points are obscured largely because the received view fails to adequately separate psychology from methodology or to recognise ambiguities in the use of 'ad hoc'.
Resumo:
This paper describes the emergence of new functional items in the Mauritian Creole noun phrase, following the collapse of the French determiner system when superstrate and substrate came into contact. The aim of the paper is to show how the new language strived to express the universal semantic contrasts of (in)definiteness and singular vs. plural. The process of grammaticalization of new functional items in the determiner system was accompanied by changes in the syntax from French to creole. An analysis within Chomsky’s Minimalist framework (1995, 2000, 2001) suggests that these changes were driven by the need to map semantic features onto the syntax.