4 resultados para Cook-Levin SAT SAT-solver

em Helda - Digital Repository of University of Helsinki


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Professor Knud Lyne Rahbek was a novelist, playwright, poet, magazine editor, journalist, socialite person, host of the Bakkehus , historian, theatre manager, translator, publisher etc., but his versatility either side of 1800 is better known than read and more despised than understood. In terms of methodology, the thesis is based on biographical, historical and philological research, while at the same time making use of formalistic and close reading methods. This study begins and ends with 7th of February 1800, when Kamma and Knud Lyne Rahbek join the exiled P.A. Heiberg at the inn near Frederiksberg Castle. What falls between is an interpretation of Rahbek s works in the service of democracy, human rights and freedom of the press as a pragmatic navigation between activities - both subversive and legitimate. Posterity mistook this range as mere spinelessness, and Rahbek was relegated to the literary and historical margins as an anachronism and as a jack of all trades, who did not know what he really wanted and therefore flitted about in so many fields just to be present. But Rahbek s problem was not one of standpoint, but rather how to find a balance between totalizing attitudes and confrontations between rebellious idealism and deep-rooted absolutism, without foregoing his belief in enlightenment, humanism and tolerance. In this way, and also through his personal conduct, which at that time was seen as jovial bonhommie, he made his contribution to the development of modern democratic Denmark in the full awareness of a popular, peaceful and down-to-earth community. Rahbek s principal work about the event of the French Revolution, which provides the focus for the above, is Camill og Constance. Et Revolutions Skilderie (1799). For today s reader, the novel about the revolution is an obvious example of a historical novel, as it does not only provide fictionalized information about past events placing them in a generally accepted perspective of historical development, but also gives the characters qualities, which, in Rahbek s words, allows the real events to influence the fictional characters. From this point of view, the novel of the revolution has shifted the benchmark for the first real historical novel on the European literary scene back by fifteen years. Lacking the aura so easily foisted on fearless iconoclasts or tragic losers, Rahbek s contribution may seem modest in spite of its enormous volume; but only when it is not evaluated in its full context, which is the development of Denmark towards an international democratic society.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A detailed study is presented of the expected performance of the ATLAS detector. The reconstruction of tracks, leptons, photons, missing energy and jets is investigated, together with the performance of b-tagging and the trigger. The physics potential for a variety of interesting physics processes, within the Standard Model and beyond, is examined. The study comprises a series of notes based on simulations of the detector and physics processes, with particular emphasis given to the data expected from the first years of operation of the LHC at CERN.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A distributed system is a collection of networked autonomous processing units which must work in a cooperative manner. Currently, large-scale distributed systems, such as various telecommunication and computer networks, are abundant and used in a multitude of tasks. The field of distributed computing studies what can be computed efficiently in such systems. Distributed systems are usually modelled as graphs where nodes represent the processors and edges denote communication links between processors. This thesis concentrates on the computational complexity of the distributed graph colouring problem. The objective of the graph colouring problem is to assign a colour to each node in such a way that no two nodes connected by an edge share the same colour. In particular, it is often desirable to use only a small number of colours. This task is a fundamental symmetry-breaking primitive in various distributed algorithms. A graph that has been coloured in this manner using at most k different colours is said to be k-coloured. This work examines the synchronous message-passing model of distributed computation: every node runs the same algorithm, and the system operates in discrete synchronous communication rounds. During each round, a node can communicate with its neighbours and perform local computation. In this model, the time complexity of a problem is the number of synchronous communication rounds required to solve the problem. It is known that 3-colouring any k-coloured directed cycle requires at least ½(log* k - 3) communication rounds and is possible in ½(log* k + 7) communication rounds for all k ≥ 3. This work shows that for any k ≥ 3, colouring a k-coloured directed cycle with at most three colours is possible in ½(log* k + 3) rounds. In contrast, it is also shown that for some values of k, colouring a directed cycle with at most three colours requires at least ½(log* k + 1) communication rounds. Furthermore, in the case of directed rooted trees, reducing a k-colouring into a 3-colouring requires at least log* k + 1 rounds for some k and possible in log* k + 3 rounds for all k ≥ 3. The new positive and negative results are derived using computational methods, as the existence of distributed colouring algorithms corresponds to the colourability of so-called neighbourhood graphs. The colourability of these graphs is analysed using Boolean satisfiability (SAT) solvers. Finally, this thesis shows that similar methods are applicable in capturing the existence of distributed algorithms for other graph problems, such as the maximal matching problem.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Introduction: Combination antiretroviral therapy (cART) has decreased morbidity and mortality of individuals infected with human immunodeficiency virus type 1 (HIV-1). Its use, however, is associated with adverse effects which increase the patients risk of conditions such as diabetes and coronary heart disease. Perhaps the most stigmatizing side effect is lipodystrophy, i.e., the loss of subcutaneous adipose tissue (SAT) in the face, limbs and trunk while fat accumulates intra-abdominally and dorsocervically. The pathogenesis of cART-associated lipodystrophy is obscure. Nucleoside reverse transcriptase inhibitors (NRTI) have been implicated to cause lipoatrophy via mitochondrial toxicity. There is no known effective treatment for cART-associated lipodystrophy during unchanged antiretroviral regimen in humans, but in vitro data have shown uridine to abrogate NRTI-induced toxicity in adipocytes. Aims: To investigate whether i) cART or lipodystrophy associated with its use affect arterial stiffness; ii) lipoatrophic SAT is inflamed compared to non-lipoatrophic SAT; iii) abdominal SAT from patients with compared to those without cART-associated lipoatrophy differs with respect to mitochondrial DNA (mtDNA) content, adipose tissue inflammation and gene expression, and if NRTIs stavudine and zidovudine are associated with different degree of changes; iv) lipoatrophic abdominal SAT differs from preserved dorsocervical SAT with respect to mtDNA content, adipose tissue inflammation and gene expression in patients with cART-associated lipodystrophy and v) whether uridine can revert lipoatrophy and the associated metabolic disturbances in patients on stavudine or zidovudine based cART. Subjects and methods: 64 cART-treated patients with (n=45) and without lipodystrophy/-atrophy (n=19) were compared cross-sectionally. A marker of arterial stiffness, heart rate corrected augmentation index (AgIHR), was measured by pulse wave analysis. Body composition was measured by magnetic resonance imaging and dual-energy X-ray absorptiometry, and liver fat content by proton magnetic resonance spectroscopy. Gene expression and mtDNA content in SAT were assessed by real-time polymerase chain reaction and microarray. Adipose tissue composition and inflammation were assessed by histology and immunohistochemistry. Dorsocervical and abdominal SAT were studied. The efficacy and safety of uridine for the treatment of cART-associated lipoatrophy were evaluated in a randomized, double-blind, placebo-controlled 3-month trial in 20 lipoatrophic cART-treated patients. Results: Duration of antiretroviral treatment and cumulative exposure to NRTIs and protease inhibitors, but not the presence of cART-associated lipodystrophy, predicted AgIHR independent of age and blood pressure. Gene expression of inflammatory markers was increased in SAT of lipodystrophic as compared to non-lipodystrophic patients. Expression of genes involved in adipogenesis, triglyceride synthesis and glucose disposal was lower and of those involved in mitochondrial biogenesis, apoptosis and oxidative stress higher in SAT of patients with than without cART-associated lipoatrophy. Most changes were more pronounced in stavudine-treated than in zidovudine-treated individuals. Lipoatrophic SAT had lower mtDNA than SAT of non-lipoatrophic patients. Expression of inflammatory genes was lower in dorsocervical than in abdominal SAT. Neither depot had characteristics of brown adipose tissue. Despite being spared from lipoatrophy, dorsocervical SAT of lipodystrophic patients had lower mtDNA than the phenotypically similar corresponding depot of non-lipodystrophic patients. The greatest difference in gene expression between dorsocervical and abdominal SAT, irrespective of lipodystrophy status, was in expression of homeobox genes that regulate transcription and regionalization of organs during embryonal development. Uridine increased limb fat and its proportion of total fat, but had no effect on liver fat content and markers of insulin resistance. Conclusions: Long-term cART is associated with increased arterial stiffness and, thus, with higher cardiovascular risk. Lipoatrophic abdominal SAT is characterized by inflammation, apoptosis and mtDNA depletion. As mtDNA is depleted even in non-lipoatrophic dorsocervical SAT, lipoatrophy is unlikely to be caused directly by mtDNA depletion. Preserved dorsocervical SAT of patients with cART-associated lipodystrophy is less inflamed than their lipoatrophic abdominal SAT, and does not resemble brown adipose tissue. The greatest difference in gene expression between dorsocervical and abdominal SAT is in expression of transcriptional regulators, homeobox genes, which might explain the differential susceptibility of these adipose tissue depots to cART-induced toxicity. Uridine is able to increase peripheral SAT in lipoatrophic patients during unchanged cART.