906 resultados para IT order list


Relevância:

30.00% 30.00%

Publicador:

Resumo:

The paper describes a method to determine the integral fringe order associated with a fractional fringe value that is measured using Tardy or other similar compensators. The method makes use of two different wavelengths of light to determine the fractional fringe values. Further, it does not assume the independence of the material fringe constant on the wavelength of light used. From these measured fractional fringe values, the associated integral fringe order is determined. A method to construct a ready-reckoner table is also described which helps to identify the integral fringe order from any two measured fractional fringe values.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

This thesis is a study of a rather new logic called dependence logic and its closure under classical negation, team logic. In this thesis, dependence logic is investigated from several aspects. Some rules are presented for quantifier swapping in dependence logic and team logic. Such rules are among the basic tools one must be familiar with in order to gain the required intuition for using the logic for practical purposes. The thesis compares Ehrenfeucht-Fraïssé (EF) games of first order logic and dependence logic and defines a third EF game that characterises a mixed case where first order formulas are measured in the formula rank of dependence logic. The thesis contains detailed proofs of several translations between dependence logic, team logic, second order logic and its existential fragment. Translations are useful for showing relationships between the expressive powers of logics. Also, by inspecting the form of the translated formulas, one can see how an aspect of one logic can be expressed in the other logic. The thesis makes preliminary investigations into proof theory of dependence logic. Attempts focus on finding a complete proof system for a modest yet nontrivial fragment of dependence logic. A key problem is identified and addressed in adapting a known proof system of classical propositional logic to become a proof system for the fragment, namely that the rule of contraction is needed but is unsound in its unrestricted form. A proof system is suggested for the fragment and its completeness conjectured. Finally, the thesis investigates the very foundation of dependence logic. An alternative semantics called 1-semantics is suggested for the syntax of dependence logic. There are several key differences between 1-semantics and other semantics of dependence logic. 1-semantics is derived from first order semantics by a natural type shift. Therefore 1-semantics reflects an established semantics in a coherent manner. Negation in 1-semantics is a semantic operation and satisfies the law of excluded middle. A translation is provided from unrestricted formulas of existential second order logic into 1-semantics. Also game theoretic semantics are considerd in the light of 1-semantics.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

We solve the Dynamic Ehrenfeucht-Fra\"iss\'e Game on linear orders for both players, yielding a normal form for quantifier-rank equivalence classes of linear orders in first-order logic, infinitary logic, and generalized-infinitary logics with linearly ordered clocks. We show that Scott Sentences can be manipulated quickly, classified into local information, and consistency can be decided effectively in the length of the Scott Sentence. We describe a finite set of linked automata moving continuously on a linear order. Running them on ordinals, we compute the ordinal truth predicate and compute truth in the constructible universe of set-theory. Among the corollaries are a study of semi-models as efficient database of both model-theoretic and formulaic information, and a new proof of the atomicity of the Boolean algebra of sentences consistent with the theory of linear order -- i.e., that the finitely axiomatized theories of linear order are dense.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Malli on logiikassa käytetty abstraktio monille matemaattisille objekteille. Esimerkiksi verkot, ryhmät ja metriset avaruudet ovat malleja. Äärellisten mallien teoria on logiikan osa-alue, jossa tarkastellaan logiikkojen, formaalien kielten, ilmaisuvoimaa malleissa, joiden alkioiden lukumäärä on äärellinen. Rajoittuminen äärellisiin malleihin mahdollistaa tulosten soveltamisen teoreettisessa tietojenkäsittelytieteessä, jonka näkökulmasta logiikan kaavoja voidaan ajatella ohjelmina ja äärellisiä malleja niiden syötteinä. Lokaalisuus tarkoittaa logiikan kyvyttömyyttä erottaa toisistaan malleja, joiden paikalliset piirteet vastaavat toisiaan. Väitöskirjassa tarkastellaan useita lokaalisuuden muotoja ja niiden säilymistä logiikkoja yhdistellessä. Kehitettyjä työkaluja apuna käyttäen osoitetaan, että Gaifman- ja Hanf-lokaalisuudeksi kutsuttujen varianttien välissä on lokaalisuuskäsitteiden hierarkia, jonka eri tasot voidaan erottaa toisistaan kasvavaa dimensiota olevissa hiloissa. Toisaalta osoitetaan, että lokaalisuuskäsitteet eivät eroa toisistaan, kun rajoitutaan tarkastelemaan äärellisiä puita. Järjestysinvariantit logiikat ovat kieliä, joissa on käytössä sisäänrakennettu järjestysrelaatio, mutta sitä on käytettävä siten, etteivät kaavojen ilmaisemat asiat riipu valitusta järjestyksestä. Määritelmää voi motivoida tietojenkäsittelyn näkökulmasta: vaikka ohjelman syötteen tietojen järjestyksellä ei olisi odotetun tuloksen kannalta merkitystä, on syöte tietokoneen muistissa aina jossakin järjestyksessä, jota ohjelma voi laskennassaan hyödyntää. Väitöskirjassa tutkitaan minkälaisia lokaalisuuden muotoja järjestysinvariantit ensimmäisen kertaluvun predikaattilogiikan laajennukset yksipaikkaisilla kvanttoreilla voivat toteuttaa. Tuloksia sovelletaan tarkastelemalla, milloin sisäänrakennettu järjestys lisää logiikan ilmaisuvoimaa äärellisissä puissa.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

We propose a new type of high-order elements that incorporates the mesh-free Galerkin formulations into the framework of finite element method. Traditional polynomial interpolation is replaced by mesh-free interpolations in the present high-order elements, and the strain smoothing technique is used for integration of the governing equations based on smoothing cells. The properties of high-order elements, which are influenced by the basis function of mesh-free interpolations and boundary nodes, are discussed through numerical examples. It can be found that the basis function has significant influence on the computational accuracy and upper-lower bounds of energy norm, when the strain smoothing technique retains the softening phenomenon. This new type of high-order elements shows good performance when quadratic basis functions are used in the mesh-free interpolations and present elements prove advantageous in adaptive mesh and nodes refinement schemes. Furthermore, it shows less sensitive to the quality of element because it uses the mesh-free interpolations and obeys the Weakened Weak (W2) formulation as introduced in [3, 5].

Relevância:

30.00% 30.00%

Publicador:

Resumo:

National identity signifies and makes state s defence- and foreign policy behaviour meaningful. National consciousness is narrated into existence by narratives upon one s own exceptionalism and Otherness of the other nations. While national identity may be understood merely as a self-image of a nation, defence identity refers to the borders of Otherness and issues that have been considered as worth defending for. As national identities and all the world order models are human constructions, they may be changed by the human efforts as well; states and nations may deliberately promote communitarian or even cosmopolitan equality and tolerance without borders of Otherness. The main research question of the thesis is: How does Poland constitute herself as a nation and a state agent in the current world order and to what extent have contextual foreign and defence policy interactions changed the Polish defence identity during the post-Cold War era? The main empirical argument of the thesis is: Poland is a narrated idea of a Christian Catholic nation-state, which the Polish State, the Catholic Church of Poland, the Armed Forces of Poland as well as a majority of the Polish nation share. Polish defence identity has been almost impenetrable to contextual foreign and defence policy interactions during the post-Cold War era. While Christian religious ontology binds corporate Poland together, allowing her to survive any number of military and political catastrophes, it simultaneously brings her closer to the USA, raises tensions in the infidel EU-context, and restrains corporate Poland s pursuit of communitarian, or even cosmopolitan, global equality and tolerance. It is not the case that corporate Poland s foreign and defence policy orientation is instinctively Atlanticist by nature, as has been argued. Rather, it has been the State s rational project to overcome a habituated and reified fear of becoming geopolitically sandwiched between Russian and German Others by leaning on the USA; among the Polish nation, support for the USA has been declining since 2004. It is not corporate Poland either that has turned into a constructive European , as has been argued, but rather the Polish nation that has, at least partly, managed to emancipate itself from its habituation to a betrayal by Europe narrative, since it favours the EU as much as it favours NATO. It seems that in the Polish case a truly common European CFSP vis-à-vis Russia may offer a solution that will emancipate the Polish State from its habituated EU-sceptic role identity and corporate Poland from its narrated borders of Otherness towards Russia and Germany, but even then one cannot be sure whether any other perspective than the Polish one on a common stand towards Russia would satisfy the Poles themselves.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

From the autocorrelation function of geomagnetic polarity intervals, it is shown that the field reversal intervals are not independent but form a process akin to the Markov process, where the random input to the model is itself a moving average process. The input to the moving average model is, however, an independent Gaussian random sequence. All the parameters in this model of the geomagnetic field reversal have been estimated. In physical terms this model implies that the mechanism of reversal possesses a memory.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The prognosis of patients with glioblastoma, the most malignant adult glial brain tumor, remains poor in spite of advances in treatment procedures, including surgical resection, irradiation and chemotherapy.Genetic heterogeneity of glioblastoma warrants extensive studies in order to gain a thorough understanding of the biology of this tumor. While there have been several studies of global transcript profiling of glioma with the identification of gene signatures for diagnosis and disease management, translation into clinics is yet to happen. Serum biomarkers have the potential to revolutionize the process of cancer diagnosis, grading, prognostication and treatment response monitoring. Besides having the advantage that serum can be obtained through a less invasive procedure, it contains molecules at an extraordinary dynamic range of ten orders of magnitude in terms of their concentrations. While the conventional methods, such as 2DE, have been in use for many years, the ability to identify the proteins through mass spectrometry techniques such as MALDI-TOF led to an explosion of interest in proteomics. Relatively new high-throughput proteomics methods such as SELDI-TOF and protein microarrays are expected to hasten the process of serum biomarker discovery. This review will highlight the recent advances in the proteomics platform in discovering serum biomarkers and the current status of glioma serum markers. We aim to provide the principles and potential of the latest proteomic approaches and their applications in the biomarker discovery process. Besides providing a comprehensive list of available serum biomarkers of glioma, we will also propose how these markers will revolutionize the clinical management of glioma patients.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Background Wavefront-guided Laser-assisted in situ keratomileusis (LASIK) is a widespread and effective surgical treatment for myopia and astigmatic correction but whether it induces higher-order aberrations remains controversial. The study was designed to evaluate the changes in higher-order aberrations after wavefront-guided ablation with IntraLase femtosecond laser in moderate to high astigmatism. Methods Twenty-three eyes of 15 patients with moderate to high astigmatism (mean cylinder, −3.22 ± 0.59 dioptres) aged between 19 and 35 years (mean age, 25.6 ± 4.9 years) were included in this prospective study. Subjects with cylinder ≥ 1.5 and ≤2.75 D were classified as moderate astigmatism while high astigmatism was ≥3.00 D. All patients underwent a femtosecond laser–enabled (150-kHz IntraLase iFS; Abbott Medical Optics Inc) wavefront-guided ablation. Uncorrected (UDVA), corrected (CDVA) distance visual acuity in logMAR, keratometry, central corneal thickness (CCT) and higher-order aberrations (HOAs) over a 6 mm pupil, were assessed before and 6 months, postoperatively. The relationship between postoperative change in HOA and preoperative mean spherical equivalent refraction, mean astigmatism, and postoperative CCT were tested. Results At the last follow-up, the mean UDVA was increased (P < 0.0001) but CDVA remained unchanged (P = 0.48) and no eyes lost ≥2 lines of CDVA. Mean spherical equivalent refraction was reduced (P < 0.0001) and was within ±0.50 D range in 61 % of eyes. The average corneal curvature was flatter by 4 D and CCT was reduced by 83 μm (P < 0.0001, for all), postoperatively. Coma aberrations remained unchanged (P = 0.07) while the change in trefoil (P = 0.047) postoperatively, was not clinically significant. The 4th order HOAs (spherical aberration and secondary astigmatism) and the HOA root mean square (RMS) increased from −0.18 ± 0.07 μm, 0.04 ± 0.03 μm and 0.47 ± 0.11 μm, preoperatively, to 0.33 ± 0.19 μm (P = 0.004), 0.21 ± 0.09 μm (P < 0.0001) and 0.77 ± 0.27 μm (P < 0.0001), six months postoperatively. The change in spherical aberration after the procedure increased with an increase in the degree of preoperative myopia. Conclusions Wavefront-guided IntraLASIK offers a safe and effective option for vision and visual function improvement in astigmatism. Although, reduction of HOA is possible in a few eyes, spherical-like aberrations are increased in majority of the treated eyes.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Useiden lääkkeiden yhtäaikainen käyttö on nykyään hyvin yleistä, mikä lisää lääkeaineiden haitallisten yhteisvaikutusten riskiä. Lääkeaineiden poistumisessa elimistöstä ovat tärkeässä osassa niitä hajottavat (metaboloivat) maksan sytokromi P450 (CYP) entsyymit. Vasta aivan viime vuosina on havaittu, että CYP2C8-entsyymillä voi olla tärkeä merkitys mm. lääkeaineyhteisvaikutuksissa. Eräät lääkeaineet voivat estää (inhiboida) CYP2C8-entsyymin kautta tapahtuvaa metaboliaa. Tässä työssä selvitettiin CYP2C8-entsyymiä estävien lääkkeiden vaikutusta sellaisten lääkeaineiden pitoisuuksiin, joiden aikaisemman tiedon perusteella arveltiin metaboloituvan CYP2C8-välitteisesti. Näiden lääkeaineiden metaboliaa tutkittiin myös koeputkiolosuhteissa (in vitro -menetelmillä). Lisäksi CYP2C8-entsyymiä estävän lipidilääke gemfibrotsiilin yhteisvaikutusmekanismia tutkittiin selvittämällä interaktion säilymistä koehenkilöillä gemfibrotsiilin annostelun lopettamisen jälkeen. Yhteisvaikutuksia tutkittiin terveillä vapaaehtoisilla koehenkilöillä käyttäen vaihtovuoroista koeasetelmaa. Koehenkilöille annettiin CYP2C8-entsyymiä estävää lääkitystä muutaman päivän ajan ja tämän jälkeen kerta-annos tutkimuslääkettä. Koehenkilöiltä otettiin useita verinäytteitä, joista määritettiin lääkepitoisuudet nestekromatografisilla tai massaspektrometrisillä menetelmillä. Gemfibrotsiili nosti ripulilääke loperamidin pitoisuudet keskimäärin kaksinkertaiseksi. Gemfibrotsiili lisäsi, mutta vain hieman, kipulääke ibuprofeenin pitoisuuksia, eikä sillä ollut mitään vaikutusta unilääke tsopiklonin pitoisuuksiin toisin kuin aiemman kirjallisuuden perusteella oli odotettavissa. Toinen CYP2C8-estäjä, mikrobilääke trimetopriimi, nosti diabeteslääke pioglitatsonin pitoisuuksia keskimäärin noin 40 %. Gemfibrotsiili nosti diabeteslääke repaglinidin pitoisuudet 7-kertaiseksi ja tämä yhteisvaikutus säilyi lähes yhtä voimakkaana vielä 12 tunnin päähän viimeisestä gemfibrotsiiliannoksesta. Tehdyt havainnot ovat käytännön lääkehoidon kannalta merkittäviä ja ne selvittävät CYP2C8-entsyymin merkitystä useiden lääkkeiden metaboliassa. Gemfibrotsiilin tai muiden CYP2C8-entsyymiä estävien lääkkeiden yhteiskäyttö loperamidin kanssa voi lisätä loperamidin tehoa tai haittavaikutuksia. Toisaalta CYP2C8-entsyymin osuus tsopiklonin ja ibuprofeenin metaboliassa näyttää olevan pieni. Trimetopriimi nosti kohtalaisesti pioglitatsonin pitoisuuksia, ja kyseisten lääkkeiden yhteiskäyttö voi lisätä pioglitatsonin annosriippuvaisia haittavaikutuksia. Gemfibrotsiili-repaglinidi-yhteisvaikutuksen päämekanismi in vivo näyttää olevan CYP2C8-entsyymin palautumaton esto. Tämän vuoksi gemfibrotsiilin estovaikutus ja yhteisvaikutusriski säilyvät pitkään gemfibrotsiilin annostelun lopettamisen jälkeen, mikä tulee ottaa huomioon käytettäessä sitä CYP2C8-välitteisesti metaboloituvien lääkkeiden kanssa.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Gadolinium strontium manganite single crystals of the composition Gd0.5Sr0.5MnO3 were grown using the optical float zone method. We report here the magnetic and magnetotransport properties of these crystals. A large magnetoresistance similar to 10(9)% was observed at 45 K under the application of a 110 kOe field. We have observed notable thermomagnetic anomalies such as open hysteresis loops across the broadened first-order transition between the charge order insulator and the ferromagnetic metallic phase while traversing the magnetic field-temperature (H-T) plane isothermally or isomagnetically. In order to discern the cause of these observed anomalies, the H-T phase diagram for Gd0.5Sr0.5MnO3 is formulated using the magnetization-field (M-H), magnetization-temperature (M-T) and resistance-temperature (R-T) measurements. The temperature dependence of the critical field (i.e. H-up, the field required for transformation to the ferromagnetic metallic phase) is non-monotonic. We note that the non-monotonic variation of the supercooling limit is anomalous according to the classical concepts of the first-order phase transition. Accordingly, H-up values below similar to 20 K are unsuitable to represent the supercooling limit. It is possible that the nature of the metastable states responsible for the observed open hysteresis loops is different from that of the supercooled ones.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Pioglitazone is a thiazolidinedione compound used in the treatment of type 2 diabetes. It has been reported to be metabolised by multiple cytochrome P450 (CYP) enzymes, including CYP2C8, CYP2C9 and CYP3A4 in vitro. The aims of this work were to identify the CYP enzymes mainly responsible for the elimination of pioglitazone in order to evaluate its potential for in vivo drug interactions, and to investigate the effects of CYP2C8- and CYP3A4-inhibiting drugs (gemfibrozil, montelukast, zafirlukast and itraconazole) on the pharmacokinetics of pioglitazone in healthy volunteers. In addition, the effect of induction of CYP enzymes on the pharmacokinetics of pioglitazone in healthy volunteers was investigated, with rifampicin as a model inducer. Finally, the effect of pioglitazone on CYP2C8 and CYP3A enzyme activity was examined in healthy volunteers using repaglinide as a model substrate. Study I was conducted in vitro using pooled human liver microsomes (HLM) and human recombinant CYP isoforms. Studies II to V were randomised, placebo-controlled cross-over studies with 2-4 phases each. A total of 10-12 healthy volunteers participated in each study. Pretreatment with clinically relevant doses with the inhibitor or inducer was followed by a single dose of pioglitazone or repaglinide, whereafter blood and urine samples were collected for the determination of drug concentrations. In vitro, the elimination of pioglitazone (1 µM) by HLM was markedly inhibited, in particular by CYP2C8 inhibitors, but also by CYP3A4 inhibitors. Of the recombinant CYP isoforms, CYP2C8 metabolised pioglitazone markedly, and CYP3A4 also had a significant effect. All of the tested CYP2C8 inhibitors (montelukast, zafirlukast, trimethoprim and gemfibrozil) concentration-dependently inhibited pioglitazone metabolism in HLM. In humans, gemfibrozil raised the area under the plasma concentration-time curve (AUC) of pioglitazone 3.2-fold (P < 0.001) and prolonged its elimination half-life (t½) from 8.3 to 22.7 hours (P < 0.001), but had no significant effect on its peak concentration (Cmax) compared with placebo. Gemfibrozil also increased the excretion of pioglitazone into urine and reduced the ratios of the active metabolites M-IV and M-III to pioglitazone in plasma and urine. Itraconazole had no significant effect on the pharmacokinetics of pioglitazone and did not alter the effect of gemfibrozil on pioglitazone pharmacokinetics. Rifampicin decreased the AUC of pioglitazone by 54% (P < 0.001) and shortened its dominant t½ from 4.9 to 2.3 hours (P < 0.001). No significant effect on Cmax was observed. Rifampicin also decreased the AUC of the metabolites M-IV and M-III, shortened their t½ and increased the ratios of the metabolite to pioglitazone in plasma and urine. Montelukast and zafirlukast did not affect the pharmacokinetics of pioglitazone. The pharmacokinetics of repaglinide remained unaffected by pioglitazone. These studies demonstrate the principal role of CYP2C8 in the metabolism of pioglitazone in humans. Gemfibrozil, an inhibitor of CYP2C8, increases and rifampicin, an inducer of CYP2C8 and other CYP enzymes, decreases the plasma concentrations of pioglitazone, which can necessitate blood glucose monitoring and adjustment of pioglitazone dosage. Montelukast and zafirlukast had no effects on the pharmacokinetics of pioglitazone, indicating that their inhibitory effect on CYP2C8 is negligible in vivo. Pioglitazone did not increase the plasma concentrations of repaglinide, indicating that its inhibitory effect on CYP2C8 and CYP3A4 is very weak in vivo.