Filtyp
This thesis will be an investigation into different proofs of Completeness in first-order logic. Particular attention will be put on analyzing the role of the Ultrafilter Lemma and its necessity in proving the Completeness Theorem. An attempt will be made to develop a proof that separates out this non-constructive aspect, but still uses the law of excluded middle. The overall aim is to understand
Algae blooms, induced by eutrophication, have been an increasingly prevalent environmental concern in the Baltic Sea since the 1970s, causing ecosystem degradation and hypoxia in bottom layers. One predominant harmful algae bloom-forming species in the Baltic Sea is the cyanobacteria Nodularia spumigena. N. spumigena produces hepatotoxin nodularin and is a diazotrophic alga; hence, it should be
To evaluate whether the calcitonin gene-related peptide (CGRP) receptor antagonist telcagepant might be effective for migraine prevention.
Abstract Resting metabolic rate is a common way of quantifying the cost of living in endothermic animals. The trait often makes up a substantial part of an animal's energy budget and can also be related to sustainable peak work rate as well as to daily energy expenditure. Studies have shown that metabolic rates are often heritable, but much of the variation seems to be caused by other factors (e.g
Based on a pharmacophore model of the benzodiazepine binding site of the GABA(A) receptors, developed with synthetic flavones and potent 3-carbonylquinolin-4-ones, 3-alkyl- and 3-amido-6-methylisothiazoloquinolin-4-ones were designed, prepared and assayed. The suggestion that the interaction between the hydrogen bond donor site H1 with the 3-carbonyl oxygen in 3-carbonylquinolin-4-ones can be repl
Several unmet needs have been identified in allergic rhinitis: identification of the time of onset of the pollen season, optimal control of rhinitis and comorbidities, patient stratification, multidisciplinary team for integrated care pathways, innovation in clinical trials and above all patient empowerment. MASK-rhinitis (MACVIA-ARIA Sentinel NetworK for allergic rhinitis) is a simple system cent
The performance of the current quantum dot (QD) solar cells is limited by several deficiencies. One of them is the existence of surface traps, especially hole traps, which are blocking the hole injection into the electrolyte. The trapping can be efficiently suppressed by growing a shell of wider band gap material around the core dot. Optimum parameters of such a shell layer for photovoltaic applic
In this research, two objectives were pursued. Firstly, to develop an experience-focused approach to design, based on a framework for perceptual product experience, and, secondly, to test and verify the proposed methodology through an interior design study of the Hulme.F1 supercar. In the process, experience design criteria were developed, which served creative and evaluative purposes. The final d
We report on an all-sky search for periodic gravitational waves in the frequency band 50-800 Hz and with the frequency time derivative in the range of 0 through -6 x 10(-9) Hz/s. Such a signal could be produced by a nearby spinning and slightly nonaxisymmetric isolated neutron star in our Galaxy. After recent improvements in the search program that yielded a 10x increase in computational efficienc
Antibiotic resistance (AR) poses an ever growing threat to global public health. Methods are urgently needed that simplify and accelerate the clinical detection and classification of AR. Here we describe a function-based antibiotic resistance assay (FARA) biosensing strategy. The scheme comprises three key components: i) FARA directly measures the thermal signal generated from the catalytic break-
A recent report by Zhao et al. [Zhao, M., Momma, S., Delfani, K., Carlen, M., Cassidy, R. M., Johansson, C. B., Brismar, H., Shupliakov, O., Frisen, J. & Janson, A. M. (2003) Proc. Natl. Acad. Sci. USA 100, 7925–7930] suggests that dopaminergic neurons, the cell type lost in Parkinson's disease, are continuously generated in the adult substantia nigra pars compacta. Using similar methodologica
Adenovirus-based (Ad) vectors are used widely for experimental gene transfer to the CNS. Ad transduce many cell types including postmitotic neurons. However, their use for, CNS gene transfer is limited due to the host immune response elicited. Furthermore, the extensive distribution of the primary cellular receptor for Ad, the coxsackievirus and adenovirus receptor (CAR), allows adenoviral vectors
Mikhlin's method for solving Laplace's equation in domains exterior to a number of closed contours is discussed with particular emphasis on the Dirichlet-Neutnann map. In the literature there already exit tyro computational modes for Mikhlin's method. Here a new mode is presented. The new mode is at least as stable as the previous modes. Furthermore, its computational complexity in the number of c
HIV-1 protease has a broad and complex substrate specificity, which hitherto has escaped a simple comprehensive definition. This, and the relatively high mutation rate of the retroviral protease, makes it challenging to design effective protease inhibitors. Several attempts have been made during the last two decades to elucidate the enigmatic cleavage specificity of HIV-1 protease and to predict c
We report new occurrences of ca. 1460 Ma magmatism in western Lithuania, where large volumes of granitoid melts were intruded into host supracrustal and charnockitoid rocks, and formed the Zemaiciu Naumiestis pluton. Numerous granitoids of that age have previously been described from southern Sweden and from the Danish island of Bornholm, but none have been reported from the eastern side of the Ba
B cell superantigens (SAgs) have been implicated in human diseases by demonstrating non-clonotypic expansion of B cells bearing certain immunoglobulin variable region genes. One possibility is that, during infection with microorganisms secreting SAgs, these potent molecules might modulate BcR expression. To test this hypothesis, we investigated the potential effects of a SAg, protein L from Peptos
BACKGROUND: From the viewpoint of the clinical neuropsychologist, it is not evident if the detection of solvent induced toxic encephalopathy (TE) could be optimized by a modification of the traditional test batteries, adding tests covering new dimensions or monitoring further functional domains. METHODS: To clarify this issue, TE patients were re-examined with (a) the tests traditionally used in s
