Non-normal modal logics, quantification, and deontic dilemmas. A study in multi-relational semantics

This dissertation is devoted to the study of non-normal (modal) systems for deontic logics, both on the propositional level, and on the first order one. In particular we developed our study the Multi-relational setting that generalises standard Kripke Semantics. We present new completeness results concerning the semantic setting of several systems which are able to handle normative dilemmas and conflicts. Although primarily driven by issues related to the legal and moral field, these results are also relevant for the more theoretical field of Modal Logic itself, as we propose a syntactical, and semantic study of intermediate systems between the classical propositional calculus CPC and the minimal normal modal logic K.

Proof theory of quantified modal logics

We introduce labelled sequent calculi for indexed modal logics. We prove that the structural rules of weakening and contraction are height-preserving admissible, that all rules are invertible, and that cut is admissible. Then we prove that each calculus introduced is sound and complete with respect to the appropriate class of transition frames.

Rupture forces of split aptamers

Rupture forces of ligand-receptor interactions, such as proteins-proteins, proteins-cells, and cells-tissues, have been successfully measured by atomic force spectroscopy (AFS). For these measurements, the ligands and receptors were chemically modified so that they can be immobilized on the tip and on a substrate, respectively. The ligand interact the receptor when the tip approaches the substrate. This interaction can be studied by measuring rupture force upon retraction. However, this technique is not feasible for measurements involving small molecules, since they form only few H-bonds with their corresponding receptors. Modifying small molecules for immobilization on surfaces may block or change binding sites. Thus, recorded rupture forces might not reflect the full scope of the involved small ligand-receptor interactions.rnIn my thesis, a novel concept that allows measuring the rupture force of small involved ligand-receptor interactions and does not require molecular modification for immobilization was introduced. The rupture force of small ligand-receptor interaction is not directly measured but it can be determined from measurements in the presence and in the absence of the ligand. As a model system, the adenosine mono phosphate (AMP) and the aptamer that binds AMP were selected. The aptamer (receptor) is a single stranded DNA that can partially self-hybridize and form binding pockets for AMP molecules (ligands). The bonds between AMP and aptamer are provided by several H-bonds and pair stacking.rnIn the novel concept, the aptamer was split into two parts (oligo a and oligo b). One part was immobilized on the tip and the other one on the substrate. Approaching the tip to the substrate, oligo a and oligo b partially hybridized and the binding pockets were formed. After adding AMP into the buffer solution, the AMP bound in the pockets and additional H-bonds were formed. Upon retraction of the tip, the rupture force of the AMP-split aptamer complex was measured. In the presence of excess AMP, the rupture force increased by about 10 pN. rnThe dissociation constant of the AMP-split aptamer complex was measured on a single molecular level (~ 4 µM) by varying the AMP concentrations and measuring the rupture force at each concentration. Furthermore, the rupture force was amplified when more pockets were added to the split aptamer. rnIn the absence of AMP, the thermal off-rate was slightly reduced compared to that in the presence of AMP, indicating that the AMP stabilized the aptamer. The rupture forces at different loading rates did not follow the logarithmic fit which was usually used to describe the dependence of rupture forces at different loading rates of oligonucleotides. Two distinguished regimes at low and high loading rates were obtained. The two regimes were explained by a model in which the oligos located at the pockets were stretched at high loading rates. rnThe contribution of a single H-bond formed between the AMP molecule and the split aptamer was measured by reducing the binding groups of the AMP. The rupture forces reduce corresponding to the reduction of the binding groups. The phosphate group played the most important role in the formation of H-bond network between the AMP molecule and the split aptamer. rn

Die Einheit des Bewusstseins und das Phänomen der Synästhesie

Synästhetiker schmecken Berührungen, sehen Farben und Formen, wenn sie Musik hören oder einen Duft riechen. Es wurden auch so außergewöhnliche Formen wie Wochentage-Farben-, Berührung-Geruch- oder Schmerz-Farben-Synästhesien gefunden. Die von Neuro- wissenschaftlern und Philosophen als „Bindung“ genannte Fähigkeit mehrere Reize, die in verschiedenen Hirnarealen verarbeitet werden, miteinander zu koppeln und zu einer einheitlichen Repräsentation bzw. erfahrenen Einheit des Bewusstseins zusammenzufassen, betrifft jeden gesunden Mensch. Synästhetiker sind aber Menschen, deren Gehirne zur „Hyperbindung“ oder zum hyperkohärentem Erleben befähigt sind, da bei ihnen wesentlich mehr solcher Kopplungen entstehen. Das Phänomen der Synästhesie ist schon seit mehreren Jahrhunderten bekannt, aber immer noch ein Rätsel. Bisher glaubten Forscher, solche Phänomene beruhten bloß auf überdurchschnittlich dichten neuronalen Verdrahtungen zwischen sensorischen Hirnregionen. Aus der aktuellen Forschung kann man jedoch schließen, dass die Ursache der Synästhesie nicht allein eine verstärkte Verbindung zwischen zwei Sinneskanälen ist. Laut eigener Studien ist der Sinnesreiz selbst sowie seine fest verdrahteten sensorischen Pfade nicht notwendig für die Auslösung des synästhetischen Erlebens. Eine grundlegende Rolle spielt dabei dessen Bedeutung für einen Synästhetiker. Für die Annahme, dass die Semantik für die synästhetische Wahrnehmung das Entscheidende ist, müssten synästhetische Assoziationen ziemlich flexibel sein. Und genau das wurde herausgefunden, nämlich, dass normalerweise sehr stabile synästhetische Assoziationen unter bestimmten Bedingungen sich auf neue Auslöser übertragen lassen. Weitere Untersuchung betraf die neu entdeckte Schwimmstil-Farbe-Synästhesie, die tritt hervor nicht nur wenn Synästhetiker schwimmen, aber auch wenn sie über das Schwimmen denken. Sogar die Namen dieser charakteristischen Bewegungen können ihre Farbempfindungen auslösen, sobald sie im stimmigen Kontext auftauchen. Wie man von anderen Beispielen in der Hirnforschung weiß, werden häufig benutzte neuronale Pfade im Laufe der Zeit immer stärker ausgebaut. Wenn also ein Synästhetiker auf bestimmte Stimuli häufig stoßt und dabei eine entsprechende Mitempfindung bekommt, kann das mit der Zeit auch seine Hirnanatomie verändern, so dass die angemessenen strukturellen Verknüpfungen entstehen. Die angebotene Erklärung steht also im Einklang mit den bisherigen Ergebnissen. Die vorliegende Dissertation veranschaulicht, wie einheitlich und kohärent Wahrnehmung, Motorik, Emotionen und Denken (sensorische und kognitive Prozesse) im Phänomen der Synästhesie miteinander zusammenhängen. Das synästhetische nicht-konzeptuelle Begleiterlebnis geht mit dem konzeptuellen Inhalt des Auslösers einher. Ähnlich schreiben wir übliche, nicht-synästhetische phänomenale Eigenschaften den bestimmten Begriffen zu. Die Synästhesie bringt solche Verschaltungen einfach auf beeindruckende Weise zum Ausdruck und lässt das mannigfaltige Erleben stärker integrieren.

Boundary condition identification of a bridge pier using experimental data and FEM modal updating

Over the past twenty years, new technologies have required an increasing use of mathematical models in order to understand better the structural behavior: finite element method is the one mostly used. However, the reliability of this method applied to different situations has to be tried each time. Since it is not possible to completely model the reality, different hypothesis must be done: these are the main problems of FE modeling. The following work deals with this problem and tries to figure out a way to identify some of the unknown main parameters of a structure. This main research focuses on a particular path of study and development, but the same concepts can be applied to other objects of research. The main purpose of this work is the identification of unknown boundary conditions of a bridge pier using the data acquired experimentally with field tests and a FEM modal updating process. This work doesn’t want to be new, neither innovative. A lot of work has been done during the past years on this main problem and many solutions have been shown and published. This thesis just want to rework some of the main aspects of the structural optimization process, using a real structure as fitting model.

Risk factors contributing to symptomatic miniplate removal: a retrospective study of 153 bilateral sagittal split osteotomy patients

Removal of miniplates is a controversial topic in oral and maxillofacial surgery. Originally, miniplates were designed to be removed on completion of bone healing. The introduction of low profile titanium miniplates has led to the routine removal of miniplates becoming comparatively rare in many parts of the world. Few studies have investigated the reasons for non-routine removal of miniplates and the factors that affect osteosynthesis after osteotomy in large numbers of patients. The aim of the present study was to investigate complications related to osteosynthesis after bilateral sagittal split osteotomy (BSSO) in a large number (n=153) of patients. In addition to the rates of removal, emphasis was placed on investigating the reasons and risk factors associated with symptomatic miniplate removal. The rate of plate removal per patient was 18.6%, the corresponding rate per plate being 18.2%. Reasons for plate removal included plate-related complications in 16 patients and subjective discomfort in 13 patients. Half of the plates were removed during the first postoperative year. Smoking was the only significant predictor for plate removal. Patients undergoing orthognathic surgery should be screened with regard to smoking and encouraged and assisted to cease smoking, at least perioperatively.

Soft tissue profile changes after bilateral sagittal split osteotomy for mandibular setback: a systematic review

PURPOSE: To evaluate the ratio of soft tissue to hard tissue in bilateral sagittal split setback osteotomy with rigid internal fixation or wire fixation. MATERIALS AND METHODS: A literature search was performed using PubMed, Medline, CINAHL, Web of Science, the Cochrane Library, and Google Scholar Beta. From the original 766 articles identified, 8 articles were included. Two articles were prospective and 6 retrospective. The follow-up period ranged from 1 year to 12.7 years for rigid internal fixation. Two articles on wire fixation were found to be appropriate for inclusion. RESULTS: The differences between short- and long-term ratios of the lower lip to lower incisors for bilateral sagittal split setback osteotomy with rigid internal fixation or wire fixation were quite small. The ratio was 1:1 in the long term and by trend slightly lower in the short term. No distinction was seen between the short- and long-term ratios for mentolabial fold. The ratio was found to be 1:1 for the mentolabial fold to point B. In the short term, the ratio of the soft tissue pogonion to the pogonion showed a 1:1 ratio, with a trend to be lower in the long term. The upper lip showed mainly protrusion, but the amount was highly variable. CONCLUSIONS: This systematic review shows that evidence-based conclusions on soft tissue changes are difficult to draw. This is mostly because of inherent problems of retrospective studies, inferior study designs, and the lack of standardized outcome measurements. Well-designed prospective studies with sufficient samples and excluding additional surgery, ie, genioplasty or maxillary surgery, are needed.

Soft tissue profile changes after bilateral sagittal split osteotomy for mandibular advancement: a systematic review

PURPOSE: The purpose of the present systematic review was to evaluate the soft tissue/hard tissue ratio in bilateral sagittal split advancement osteotomy (BSSO) with rigid internal fixation (RIF) or wire fixation (WF). MATERIALS AND METHODS: The databases PubMed, Medline, CINAHL, Web of Science, Cochrane Library, and Google Scholar Beta were searched. From the original 711 articles identified, 12 were finally included. Only 3 studies were prospective and 9 were retrospective. The postoperative follow-up ranged from 3 months to 12.7 years for RIF and 6 months to 5 years for WF. RESULTS: The short- and long-term ratios for the lower lip to lower incisor for BSSO with RIF or WF were 50%. No difference between the short- and long-term ratios for the mentolabial-fold to point B and soft tissue pogonion to pogonion could be observed. It was a 1:1 ratio. One exception was seen for the long-term results of the soft tissue pogonion to pogonion in BSSO with RIF; they tended to be greater than a 1:1 ratio. The upper lip mainly showed retrusion but with high variability. CONCLUSIONS: Despite a large number of studies on the short- and long-term effects of mandibular advancement by BSSO, the results of the present systematic review have shown that evidence-based conclusions on soft tissue changes are still unknown. This is mostly because of the inherent problems of retrospective studies, inferior study designs, and the lack of standardized outcome measures. Well-designed prospective studies with sufficient sample sizes that have excluded patients undergoing additional surgery (ie, genioplasty or maxillary surgery) are needed.

Multi-modal diffeomorphic demons registration based on point-wise mutual information

In this paper we propose a variational approach for multimodal image registration based on the diffeomorphic demons algorithm. Diffeomorphic demons has proven to be a robust and efficient way for intensity-based image registration. However, the main drawback is that it cannot deal with multiple modalities. We propose to replace the standard demons similarity metric (image intensity differences) by point-wise mutual information (PMI) in the energy function. By comparing the accuracy between our PMI based diffeomorphic demons and the B-Spline based free-form deformation approach (FFD) on simulated deformations, we show the proposed algorithm performs significantly better.

The link between visual exploration and neuronal activity: A multi-modal study combining eye tracking, functional magnetic resonance imaging and transcranial magnetic stimulation

In the present multi-modal study we aimed to investigate the role of visual exploration in relation to the neuronal activity and performance during visuospatial processing. To this end, event related functional magnetic resonance imaging er-fMRI was combined with simultaneous eye tracking recording and transcranial magnetic stimulation (TMS). Two groups of twenty healthy subjects each performed an angle discrimination task with different levels of difficulty during er-fMRI. The number of fixations as a measure of visual exploration effort was chosen to predict blood oxygen level-dependent (BOLD) signal changes using the general linear model (GLM). Without TMS, a positive linear relationship between the visual exploration effort and the BOLD signal was found in a bilateral fronto-parietal cortical network, indicating that these regions reflect the increased number of fixations and the higher brain activity due to higher task demands. Furthermore, the relationship found between the number of fixations and the performance demonstrates the relevance of visual exploration for visuospatial task solving. In the TMS group, offline theta bursts TMS (TBS) was applied over the right posterior parietal cortex (PPC) before the fMRI experiment started. Compared to controls, TBS led to a reduced correlation between visual exploration and BOLD signal change in regions of the fronto-parietal network of the right hemisphere, indicating a disruption of the network. In contrast, an increased correlation was found in regions of the left hemisphere, suggesting an intent to compensate functionality of the disturbed areas. TBS led to fewer fixations and faster response time while keeping accuracy at the same level, indicating that subjects explored more than actually needed.

Factor analysis of responses to thermal, electrical, and mechanical painful stimuli supports the importance of multi-modal pain assessment

During the last decade, a multi-modal approach has been established in human experimental pain research for assessing pain thresholds and responses to various experimental pain modalities. Studies have concluded that differences in responses to pain stimuli are mainly related to variation between individuals rather than variation in response to different stimulus modalities. In a factor analysis of 272 consecutive volunteers (137 men and 135 women) who underwent tests with different experimental pain modalities, it was determined whether responses to different pain modalities represent distinct individual uncorrelated dimensions of pain perception. Volunteers underwent single painful electrical stimulation, repeated painful electrical stimulation (temporal summation), test for reflex receptive field, pressure pain stimulation, heat pain stimulation, cold pain stimulation, and a cold pressor test (ice water test). Five distinct factors were found representing responses to 5 distinct experimental pain modalities: pressure, heat, cold, electrical stimulation, and reflex-receptive fields. Each of the factors explained approximately 8% to 35% of the observed variance, and the 5 factors cumulatively explained 94% of the variance. The correlation between the 5 factors was near null (median ρ=0.00, range -0.03 to 0.05), with 95% confidence intervals for pairwise correlations between 2 factors excluding any relevant correlation. Results were almost similar for analyses stratified according to gender and age. Responses to different experimental pain modalities represent different specific dimensions and should be assessed in combination in future pharmacological and clinical studies to represent the complexity of nociception and pain experience.

Planetary Gear Modal Vibration Experiments and Correlation against Lumped-Parameter and Finite Element Models

Experimental modal analysis techniques are applied to characterize the planar dynamic behavior of two spur planetary gears. Rotational and translational vibrations of the sun gear, carrier, and planet gears are measured. Experimentally obtained natural frequencies, mode shapes, and dynamic response are compared to the results from lumped-parameter and finite element models. Two qualitatively different classes of mode shapes in distinct frequency ranges are observed in the experiments and confirmed by the lumped-parameter model, which considers the accessory shafts and fixtures in the system to capture all of the natural frequencies and modes. The finite element model estimates the high-frequency modes that have significant tooth mesh deflection without considering the shafts and fixtures. The lumped-parameter and finite element models accurately predict the natural frequencies and modal properties established by experimentation. Rotational, translational, and planet mode types presented in published mathematical studies are confirmed experimentally. The number and types of modes in the low-frequency and high-frequency bands depend on the degrees of freedom in the central members and planet gears, respectively. The accuracy of natural frequency prediction is improved when the planet bearings have differing stiffnesses in the tangential and radial directions, consistent with the bearing load direction. (C) 2012 Elsevier Ltd. All rights reserved.