950 resultados para regular languages


Relevância:

20.00% 20.00%

Publicador:

Resumo:

In 1969, Lovasz asked whether every connected, vertex-transitive graph has a Hamilton path. This question has generated a considerable amount of interest, yet remains vastly open. To date, there exist no known connected, vertex-transitive graph that does not possess a Hamilton path. For the Cayley graphs, a subclass of vertex-transitive graphs, the following conjecture was made: Weak Lovász Conjecture: Every nontrivial, finite, connected Cayley graph is hamiltonian. The Chen-Quimpo Theorem proves that Cayley graphs on abelian groups flourish with Hamilton cycles, thus prompting Alspach to make the following conjecture: Alspach Conjecture: Every 2k-regular, connected Cayley graph on a finite abelian group has a Hamilton decomposition. Alspach’s conjecture is true for k = 1 and 2, but even the case k = 3 is still open. It is this case that this thesis addresses. Chapters 1–3 give introductory material and past work on the conjecture. Chapter 3 investigates the relationship between 6-regular Cayley graphs and associated quotient graphs. A proof of Alspach’s conjecture is given for the odd order case when k = 3. Chapter 4 provides a proof of the conjecture for even order graphs with 3-element connection sets that have an element generating a subgroup of index 2, and having a linear dependency among the other generators. Chapter 5 shows that if Γ = Cay(A, {s1, s2, s3}) is a connected, 6-regular, abelian Cayley graph of even order, and for some1 ≤ i ≤ 3, Δi = Cay(A/(si), {sj1 , sj2}) is 4-regular, and Δi ≄ Cay(ℤ3, {1, 1}), then Γ has a Hamilton decomposition. Alternatively stated, if Γ = Cay(A, S) is a connected, 6-regular, abelian Cayley graph of even order, then Γ has a Hamilton decomposition if S has no involutions, and for some s ∈ S, Cay(A/(s), S) is 4-regular, and of order at least 4. Finally, the Appendices give computational data resulting from C and MAGMA programs used to generate Hamilton decompositions of certain non-isomorphic Cayley graphs on low order abelian groups.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The dissipation of high heat flux from integrated circuit chips and the maintenance of acceptable junction temperatures in high powered electronics require advanced cooling technologies. One such technology is two-phase cooling in microchannels under confined flow boiling conditions. In macroscale flow boiling bubbles will nucleate on the channel walls, grow, and depart from the surface. In microscale flow boiling bubbles can fill the channel diameter before the liquid drag force has a chance to sweep them off the channel wall. As a confined bubble elongates in a microchannel, it traps thin liquid films between the heated wall and the vapor core that are subject to large temperature gradients. The thin films evaporate rapidly, sometimes faster than the incoming mass flux can replenish bulk fluid in the microchannel. When the local vapor pressure spike exceeds the inlet pressure, it forces the upstream interface to travel back into the inlet plenum and create flow boiling instabilities. Flow boiling instabilities reduce the temperature at which critical heat flux occurs and create channel dryout. Dryout causes high surface temperatures that can destroy the electronic circuits that use two-phase micro heat exchangers for cooling. Flow boiling instability is characterized by periodic oscillation of flow regimes which induce oscillations in fluid temperature, wall temperatures, pressure drop, and mass flux. When nanofluids are used in flow boiling, the nanoparticles become deposited on the heated surface and change its thermal conductivity, roughness, capillarity, wettability, and nucleation site density. It also affects heat transfer by changing bubble departure diameter, bubble departure frequency, and the evaporation of the micro and macrolayer beneath the growing bubbles. Flow boiling was investigated in this study using degassed, deionized water, and 0.001 vol% aluminum oxide nanofluids in a single rectangular brass microchannel with a hydraulic diameter of 229 µm for one inlet fluid temperature of 63°C and two constant flow rates of 0.41 ml/min and 0.82 ml/min. The power input was adjusted for two average surface temperatures of 103°C and 119°C at each flow rate. High speed images were taken periodically for water and nanofluid flow boiling after durations of 25, 75, and 125 minutes from the start of flow. The change in regime timing revealed the effect of nanoparticle suspension and deposition on the Onset of Nucelate Boiling (ONB) and the Onset of Bubble Elongation (OBE). Cycle duration and bubble frequencies are reported for different nanofluid flow boiling durations. The addition of nanoparticles was found to stabilize bubble nucleation and growth and limit the recession rate of the upstream and downstream interfaces, mitigating the spreading of dry spots and elongating the thin film regions to increase thin film evaporation.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Object-oriented modelling languages such as EMOF are often used to specify domain specific meta-models. However, these modelling languages lack the ability to describe behavior or operational semantics. Several approaches have used a subset of Java mixed with OCL as executable meta-languages. In this experience report we show how we use Smalltalk as an executable meta-language in the context of the Moose reengineering environment. We present how we implemented EMOF and its behavioral aspects. Over the last decade we validated this approach through incrementally building a meta-described reengineering environment. Such an approach bridges the gap between a code-oriented view and a meta-model driven one. It avoids the creation of yet another language and reuses the infrastructure and run-time of the underlying implementation language. It offers an uniform way of letting developers focus on their tasks while at the same time allowing them to meta-describe their domain model. The advantage of our approach is that developers use the same tools and environment they use for their regular tasks. Still the approach is not Smalltalk specific but can be applied to language offering an introspective API such as Ruby, Python, CLOS, Java and C#.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Even though complete resection is regarded as the only curative treatment for nonsmall cell lung cancer (NSCLC), >50% of resected patients die from a recurrence or a second primary tumour of the lung within 5 yrs. It remains unclear, whether follow-up in these patients is cost-effective and whether it can improve the outcome due to early detection of recurrent tumour. The benefit of regular follow-up in a consecutive series of 563 patients, who had undergone potentially curative resection for NSCLC at the University Hospital, was analysed. The follow-up consisted of clinical visits and chest radiography according to a standard protocol for up to 10 yrs. Survival rates were estimated using the Kaplan-Meier analysis method and the cost-effectiveness of the follow-up programme was assessed. A total of 23 patients (6.4% of the group with lobectomy) underwent further operation with curative intent for a second pulmonary malignancy. The regular follow-up over a 10-yr period provided the chance for a second curative treatment to 3.8% of all patients. The calculated costs per life-yr gained were 90,000 Swiss Francs. The cost-effectiveness of the follow-up protocol was far above those of comparable large-scale surveillance programmes. Based on these data, the intensity and duration of the follow-up was reduced.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Integration of multiple languages into each other and into an existing development environment is a difficult task. As a consequence, developers often end up using only internal DSLs that strictly rely on the constraints imposed by the host language. Infrastructures do exist to mix languages, but they often do it at the price of losing the development tools of the host language. Instead of inventing a completely new infrastructure, our solution is to integrate new languages deeply into the existing host environment and reuse the infrastructure offered by it. In this paper we show why Smalltalk is the best practical choice for such a host language.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Body composition changes with increasing age in men, in that lean body mass decreases whereas fat mass increases. Whether this altered body composition is related to decreasing physical activity or to the known age-associated decrease in growth hormone secretion is uncertain. To address this question, three groups of healthy men (n = 14 in each group), matched for weight, height and body mass index, were investigated using dual-energy X-ray absorptiometry, indirect calorimetry and estimate of daily growth hormone secretion [i.e. plasma insulin-like growth factor I (IGF-I-) levels]. Group 1 comprised young untrained subjects aged 31.0 +/- 2.1 years (mean +/- SEM) taking no regular physical exercise; group 2 consisted of old untrained men aged 68.6 +/- 1.2 years; and group 3 consisted of healthy old men aged 67.4 +/- 1.2 years undergoing regular physical training for more than 10 years with a training distance of at least 30 km per week. Subjects in group 3 had for the past three years taken part in the 'Grand Prix of Berne', a 16.5-km race run at a speed of 4.7 +/- 0.6 min km-1 (most recent race). Fat mass was more than 4 kg higher in old untrained men (P < 0.01, ANOVA) than in the other groups (young untrained men, 12.0 +/- 0.9 kg; old untrained men, 16.1 +/- 1.0 kg; old trained men, 11.0 +/- 0.8 kg), whereas body fat distribution (i.e. the ratio of upper to lower body fat mass) was similar between the three groups. The lean mass of old untrained men was more than 3.5 kg lower (P < 0.02, ANOVA) than in the other two groups (young untrained men, 56.4 +/- 1.0 kg; old untrained men, 52.4 +/- 1.0 kg; old trained men, 56.0 +/- 1.0 kg), mostly because of a loss of skeletal muscle mass in the arms and legs (young untrained men, 24.0 +/- 0.5 kg; old untrained men 20.8 +/- 0.5 kg; old trained men, 23.6 +/- 0.7 kg; P < 0.01, ANOVA). Resting metabolic rate per kilogram lean mass decreased with increasing age independently of physical activity (r = -0.42, P < 0.005). Fuel metabolism was determined by indirect calorimetry at rest. Protein oxidation was similar in the three groups. Old untrained men had higher (P < 0.001) carbohydrate oxidation (young untrained men, 13.2 +/- 1.0 kcal kg-1 lean mass; old untrained men, 15.2 +/- 1.3 kcal Kg-1; old trained men, 7.8 +/- 0.8 kcal kg-1), but lower (P < 0.05, ANOVA) fat oxidation (young untrained men, 10.1 +/- 1.2 kcal kg-1 lean mass; old untrained men, 6.5 +/- 1.0 kcal kg-1; old trained men, 13.7 +/- 1.0 kcal kg-1) than the other two groups. Mean plasma IGF-I level in old trained men was higher than in old untrained men (P < 0.05), but was still lower than that observed in young untrained men (P < 0.005) (young untrained men, 236 +/- 24 ng mL-1; old untrained men, 119 +/- 13 ng mL-1; old trained men, 166 +/- 14 ng mL-1). In summary, regular physical training in older men seems to prevent the changes in body composition and fuel metabolism normally associated with ageing. Whether regular physical training in formerly untrained old subjects would result in similar changes awaits further study.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

ABSTRACT: BACKGROUND: In the frame of an eradication program for bovine viral diarrhea (BVD) in Swiss livestock, the question was raised whether free-ranging wildlife could threaten the success of this sanitary measure. Therefore, we conducted serological and virological investigations on BVD virus (BVDV) infections in the four indigenous wild ruminant species (roe deer, red deer, Alpine chamois and Alpine ibex) from 2009 to 2011, and gathered information on interactions between wild and domestic ruminants in an alpine environment by questionnaire survey. RESULTS: Thirty-two sera out of 1'877 (1.7%, 95% confidence interval [CI] 1.2-2.4) were seropositive for BVDV, and a BVDV1 sub genotype h virus was found in a seropositive chamois (0.05%, 95% CI 0.001-0.3). The seropositive animals originated from sub-alpine or alpine regions and significantly more seropositive red deer, chamois and ibex than roe deer were found. There were no statistically significant differences between sampling units, age classes, genders, and sampling years. The obtained prevalences were significantly lower than those documented in livestock, and most positive wild ruminants were found in proximity of domestic outbreaks. Additionally, BVDV seroprevalence in ibex was significantly lower than previously reported from Switzerland. The survey on interspecific interactions revealed that interactions expected to allow BVDV transmission, from physical contacts to non-simultaneous use of the same areas, regularly occur on pastures among all investigated ruminant species. Interactions involving cervids were more often observed with cattle than with small ruminants, chamois were observed with all three domestic species, and ibex interacted mostly with small ruminants. Interactions related to the use of anthropogenic food sources were frequently observed, especially between red deer and cattle in wintertime. CONCLUSIONS: To our knowledge, this is the first report of BVDV RNA isolated from an Alpine chamois. Nevertheless, our results suggest that BVDV infections are only sporadic in Swiss wild ruminants, despite regular occurrence of interactions with potentially infected livestock. Overall, serological, virological and ethological data indicate that wildlife is currently an incidental spill-over host and not a reservoir for BVDV in Switzerland.

Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This project was comparing the accuracy of capturing the oral pathology diagnoses among different coding systems. 55 diagnoses were selected for comparison among 5 coding systems. The results of accuracy in capturing oral diagnoses are: AFIP (96.4%), followed by Read 99 (85.5%), SNOMED 98 (74.5%), ICD-9 (43.6%), and CDT-3 (14.5%). It shows that the currently used coding systems, ICD-9 and CDT-3, were inadequate, whereas the AFIP coding system captured the majority of oral diagnoses. In conclusion, the most commonly used medical and dental coding systems lack terms for the diagnosis of oral and dental conditions.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

According to the 2000 United States Census, the Asian population in Houston, Texas, has increased more than 67% in the last ten years. To supplement an already active consumer health information program, the staff of the Houston Academy of Medicine-Texas Medical Center Library worked with community partners to bring health information to predominantly Asian neighborhoods. Brochures on health topics of concern to the Asian community were translated and placed in eight informational kiosks in Asian centers such as temples and an Asian grocery store. A press conference and a ribbon cutting ceremony were held to debut the kiosks and to introduce the Consumer Health Information for Asians (CHIA) program. Project goals for the future include digitizing the translated brochures, mounting them on the Houston HealthWays Website, and developing touch-screen kiosks. The CHIA group is investigating adding health resources in other Asian languages, as well as Spanish. Funding for this project has come from outside sources rather than from the regular library budget.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

IT has turned out to be a key factor for the purposes of gaining maturity in Business Process Management (BPM). This book presents a worldwide investigation that was conducted among companies from the ‘Forbes Global 2000’ list to explore the current usage of software throughout the BPM life cycle and to identify the companies’ requirements concerning process modelling. The responses from 130 companies indicate that, at the present time, it is mainly software for process description and analysis that is required, while process execution is supported by general software such as databases, ERP systems and office tools. The resulting complex system landscapes give rise to distinct requirements for BPM software, while the process modelling requirements can be equally satisfied by the most common languages (BPMN, UML, EPC).

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Within the scope of Festival of Languages took place in 2009 the Conference Advances in Kartvelian Morphology and Syntax. Selected presentations are presented in this publication. The authors discuss topics such as anaphora in Svan, intonation in Georgien, pragmatics of subordinating clauses in Georgian, but also research on modern developments as SMS-communication in Georgian language area etc. DEUTSCH: Im Rahmen des Festivals der Sprachen fand im Jahre 2009 an der Universität Bremen die Tagung Advances in Kartvelian Morphology and Syntax statt. Ausgewählte Vorträge werden mit dieser Publikation vorgestellt. Die Autoren behandeln unter anderem Themen wie Ana-pher im Svanischen, Intonation im Georgischen, Pragmatik von Nebensätzen des Georgi-schen, aber auch Forschungen über moderne Entwicklungen wie die SMS-Kommunikation im georgischsprachigen Sprachraum usw. CONTENTS: NINO AMIRIDZE, TAMAR RESECK & MANANA TOPADZE GÄUMANN: Preface; KEVIN TUITE: The Kartvelian suffixal intransitive; MANANA KOBAIDZE: Towards the morphological and syntactical classification of Georgian verbs; RENÉ LACROIX: Origin of Sets I–II suffixes in South Caucasian through reanalysis; STAVROS SKOPETEAS & CAROLINE FÉRY: Prosodic cues for exhaustive interpretations: a production study on Georgian intonation; WINFRIED BOEDER: Anaphora in Svan; YASUHIRO KOJIMA : The position of rom and the pragmatics of subordinate clauses in Georgian; NATIA AMAGHLOBELI : Morphological aspects of Georgian SMS language.