Dynamic Facility Location with Modular Capacities : Models, Algorithms and Applications in Forestry

Les décisions de localisation sont souvent soumises à des aspects dynamiques comme des changements dans la demande des clients. Pour y répondre, la solution consiste à considérer une flexibilité accrue concernant l’emplacement et la capacité des installations. Même lorsque la demande est prévisible, trouver le planning optimal pour le déploiement et l'ajustement dynamique des capacités reste un défi. Dans cette thèse, nous nous concentrons sur des problèmes de localisation avec périodes multiples, et permettant l'ajustement dynamique des capacités, en particulier ceux avec des structures de coûts complexes. Nous étudions ces problèmes sous différents points de vue de recherche opérationnelle, en présentant et en comparant plusieurs modèles de programmation linéaire en nombres entiers (PLNE), l'évaluation de leur utilisation dans la pratique et en développant des algorithmes de résolution efficaces. Cette thèse est divisée en quatre parties. Tout d’abord, nous présentons le contexte industriel à l’origine de nos travaux: une compagnie forestière qui a besoin de localiser des campements pour accueillir les travailleurs forestiers. Nous présentons un modèle PLNE permettant la construction de nouveaux campements, l’extension, le déplacement et la fermeture temporaire partielle des campements existants. Ce modèle utilise des contraintes de capacité particulières, ainsi qu’une structure de coût à économie d’échelle sur plusieurs niveaux. L'utilité du modèle est évaluée par deux études de cas. La deuxième partie introduit le problème dynamique de localisation avec des capacités modulaires généralisées. Le modèle généralise plusieurs problèmes dynamiques de localisation et fournit de meilleures bornes de la relaxation linéaire que leurs formulations spécialisées. Le modèle peut résoudre des problèmes de localisation où les coûts pour les changements de capacité sont définis pour toutes les paires de niveaux de capacité, comme c'est le cas dans le problème industriel mentionnée ci-dessus. Il est appliqué à trois cas particuliers: l'expansion et la réduction des capacités, la fermeture temporaire des installations, et la combinaison des deux. Nous démontrons des relations de dominance entre notre formulation et les modèles existants pour les cas particuliers. Des expériences de calcul sur un grand nombre d’instances générées aléatoirement jusqu’à 100 installations et 1000 clients, montrent que notre modèle peut obtenir des solutions optimales plus rapidement que les formulations spécialisées existantes. Compte tenu de la complexité des modèles précédents pour les grandes instances, la troisième partie de la thèse propose des heuristiques lagrangiennes. Basées sur les méthodes du sous-gradient et des faisceaux, elles trouvent des solutions de bonne qualité même pour les instances de grande taille comportant jusqu’à 250 installations et 1000 clients. Nous améliorons ensuite la qualité de la solution obtenue en résolvent un modèle PLNE restreint qui tire parti des informations recueillies lors de la résolution du dual lagrangien. Les résultats des calculs montrent que les heuristiques donnent rapidement des solutions de bonne qualité, même pour les instances où les solveurs génériques ne trouvent pas de solutions réalisables. Finalement, nous adaptons les heuristiques précédentes pour résoudre le problème industriel. Deux relaxations différentes sont proposées et comparées. Des extensions des concepts précédents sont présentées afin d'assurer une résolution fiable en un temps raisonnable.

Problème inverse de Galois : critère de rigidité

Dans ce mémoire, on étudie les extensions galoisiennes finies de C(x). On y démontre le théorème d'existence de Riemann. Les notions de rigidité faible, rigidité et rationalité y sont développées. On y obtient le critère de rigidité qui permet de réaliser certains groupes comme groupes de Galois sur Q. Plusieurs exemples de types de ramification sont construis.

Sur les prolongements de sous-copules

L’objet du travail est d’étudier les prolongements de sous-copules. Un cas important de l’utilisation de tels prolongements est l’estimation non paramétrique d’une copule par le lissage d’une sous-copule (la copule empirique). Lorsque l’estimateur obtenu est une copule, cet estimateur est un prolongement de la souscopule. La thèse présente au chapitre 2 la construction et la convergence uniforme d’un estimateur bona fide d’une copule ou d’une densité de copule. Cet estimateur est un prolongement de type copule empirique basé sur le lissage par le produit tensoriel de fonctions de répartition splines. Le chapitre 3 donne la caractérisation de l’ensemble des prolongements possibles d’une sous-copule. Ce sujet a été traité par le passé; mais les constructions proposées ne s’appliquent pas à la dépendance dans des espaces très généraux. Le chapitre 4 s’attèle à résoudre le problème suivant posé par [Carley, 2002]. Il s’agit de trouver la borne supérieure des prolongements en dimension 3 d’une sous-copule de domaine fini.

Interactive quantum information theory

La théorie de l'information quantique s'est développée à une vitesse fulgurante au cours des vingt dernières années, avec des analogues et extensions des théorèmes de codage de source et de codage sur canal bruité pour la communication unidirectionnelle. Pour la communication interactive, un analogue quantique de la complexité de la communication a été développé, pour lequel les protocoles quantiques peuvent performer exponentiellement mieux que les meilleurs protocoles classiques pour certaines tâches classiques. Cependant, l'information quantique est beaucoup plus sensible au bruit que l'information classique. Il est donc impératif d'utiliser les ressources quantiques à leur plein potentiel. Dans cette thèse, nous étudions les protocoles quantiques interactifs du point de vue de la théorie de l'information et étudions les analogues du codage de source et du codage sur canal bruité. Le cadre considéré est celui de la complexité de la communication: Alice et Bob veulent faire un calcul quantique biparti tout en minimisant la quantité de communication échangée, sans égard au coût des calculs locaux. Nos résultats sont séparés en trois chapitres distincts, qui sont organisés de sorte à ce que chacun puisse être lu indépendamment. Étant donné le rôle central qu'elle occupe dans le contexte de la compression interactive, un chapitre est dédié à l'étude de la tâche de la redistribution d'état quantique. Nous prouvons des bornes inférieures sur les coûts de communication nécessaires dans un contexte interactif. Nous prouvons également des bornes atteignables avec un seul message, dans un contexte d'usage unique. Dans un chapitre subséquent, nous définissons une nouvelle notion de complexité de l'information quantique. Celle-ci caractérise la quantité d'information, plutôt que de communication, qu'Alice et Bob doivent échanger pour calculer une tâche bipartie. Nous prouvons beaucoup de propriétés structurelles pour cette quantité, et nous lui donnons une interprétation opérationnelle en tant que complexité de la communication quantique amortie. Dans le cas particulier d'entrées classiques, nous donnons une autre caractérisation permettant de quantifier le coût encouru par un protocole quantique qui oublie de l'information classique. Deux applications sont présentées: le premier résultat général de somme directe pour la complexité de la communication quantique à plus d'une ronde, ainsi qu'une borne optimale, à un terme polylogarithmique près, pour la complexité de la communication quantique avec un nombre de rondes limité pour la fonction « ensembles disjoints ». Dans un chapitre final, nous initions l'étude de la capacité interactive quantique pour les canaux bruités. Étant donné que les techniques pour distribuer de l'intrication sont bien étudiées, nous nous concentrons sur un modèle avec intrication préalable parfaite et communication classique bruitée. Nous démontrons que dans le cadre plus ardu des erreurs adversarielles, nous pouvons tolérer un taux d'erreur maximal de une demie moins epsilon, avec epsilon plus grand que zéro arbitrairement petit, et ce avec un taux de communication positif. Il s'ensuit que les canaux avec bruit aléatoire ayant une capacité positive pour la transmission unidirectionnelle ont une capacité positive pour la communication interactive quantique. Nous concluons avec une discussion de nos résultats et des directions futures pour ce programme de recherche sur une théorie de l'information quantique interactive.

Theory and numerical integration of subsurface light transport

En synthèse d’images, reproduire les effets complexes de la lumière sur des matériaux transluminescents, tels que la cire, le marbre ou la peau, contribue grandement au réalisme d’une image. Malheureusement, ce réalisme supplémentaire est couteux en temps de calcul. Les modèles basés sur la théorie de la diffusion visent à réduire ce coût en simulant le comportement physique du transport de la lumière sous surfacique tout en imposant des contraintes de variation sur la lumière incidente et sortante. Une composante importante de ces modèles est leur application à évaluer hiérarchiquement l’intégrale numérique de l’illumination sur la surface d’un objet. Cette thèse révise en premier lieu la littérature actuelle sur la simulation réaliste de la transluminescence, avant d’investiguer plus en profondeur leur application et les extensions des modèles de diffusion en synthèse d’images. Ainsi, nous proposons et évaluons une nouvelle technique d’intégration numérique hiérarchique utilisant une nouvelle analyse fréquentielle de la lumière sortante et incidente pour adapter efficacement le taux d’échantillonnage pendant l’intégration. Nous appliquons cette théorie à plusieurs modèles qui correspondent à l’état de l’art en diffusion, octroyant une amélioration possible à leur efficacité et précision.

Régulation de la division asymétrique chez C. elegans

La division asymétrique est essentielle pour générer la diversité au cours du développement et permet aussi de réguler la balance entre renouvellement et différenciation des cellules souches chez l’adulte. Dans ces deux cas de figure, elle dépend respectivement d’une polarité intrinsèque ou d’une polarité extrinsèque. C. elegans est un excellent modèle pour étudier les mécanismes cellulaires et moléculaires de la division asymétrique in vivo. Chez l’embryon, le maintien d’un axe de polarité antéro-postérieur dépend des protéines PAR conservées et localisées de façon asymétrique en deux groupes mutuellement exclusifs; le groupe antérieur avec PAR-3, PAR-6, PKC-3 et le groupe postérieur avec PAR-2 et PAR-1. L’absence d’une protéine PAR entraine une perte de polarité et une létalité embryonnaire. Lors d’un crible par ARN interférence mené par Jean-Claude Labbé pour identifier les suppresseurs de la létalité associée à la perte de PAR-2, deux cyclines de type B, CYB-2.1 et CYB-2.2 ont été trouvées. J’ai déterminé que CYB-2.1 et CYB-2.2 interviennent dans la polarité sans perturber le cycle cellulaire et agissent vraisemblablement avec leur kinase associée, CDK-1, pour stabiliser les niveaux protéiques de PAR-6. Ces travaux permettent de mieux définir les liens étroits entre polarité et cycle cellulaire. La lignée germinale de C. elegans est un excellent modèle pour étudier les divisions des cellules souches germinales in vivo. Par contre, l’absence d’orientation préférentielle de ces divisions laisse envisager que la complexité morphologique de la niche pourrait engendrer une diversité d’axe possible. J’ai étudié la régulation morphologique de cette niche, une unique cellule somatique appelée distal tip cell (DTC), qui arborise de longues extensions au stade adulte. Mes résultats préliminaires favorisent un modèle dans lequel les cellules souches et progéniteurs germinaux (CSPG) supportent la formation de ces extensions. Enfin, j’ai obtenu des conditions favorables à l’étude de la division asymétrique extrinsèque dans ce modèle, en simplifiant l’architecture de la niche dans des conditions qui préservent les divisions cellulaires des cellules souches. Mes travaux ont permis de mieux comprendre les liens unissant les différents processus biologiques impliqués dans la division asymétrique, d’une part par l’étude du rôle qu’y jouent des régulateurs clés du cycle cellulaire au cours du développement et d’autre part par la caractérisation d’une communication bidirectionnelle entre la niche et les cellules souches chez l’adulte.

Biogenesis of the C. elegans germline syncytium: from nucleation to maturation

La vie commence par la fusion des gamètes pour générer un zygote, dans lequel les constituants à la fois de l'ovocyte et des spermatozoïdes sont partagés au sein d'un syncytium. Le syncytium consiste en des cellules ou tissus dans lesquels des cellules nucléées individuelles distinctes partagent un cytoplasme commun. Alors que l’avantage du syncytium durant la fécondation est tout à fait évident, les syncytia se produisent également dans de nombreux contextes de développement différents dans les plantes, les champignons et dans le règne animal, des insectes aux humains, pour des raisons qui ne sont pas immédiatement évidentes. Par exemple, la lignée germinale de nombreuses espèces de vertébrés et d'invertébrés, des insectes aux humains, présente une structure syncytiale, suggérant que les syncytia constituent des phases conservées de développement de la lignée germinale. Malgré la prévalence commune des syncytia, ces derniers ont cependant confondu les scientifiques depuis des décennies avec des questions telles que la façon dont ils sont formés et maintenus en concurrence avec leurs homologues diploïdes, et quels sont les avantages et les inconvénients qu'ils apportent. Cette thèse va décrire l'utilisation de la lignée germinale syncytiale de C. elegans afin d'approfondir notre compréhension de l'architecture, la fonction et le mode de formation des tissus syncytiaux. Les cellules germinales (CGs) dans la lignée germinale de C. elegans sont interconnectées les unes aux autres par l'intermédiaire de structures appelées des anneaux de CG. En utilisant l'imagerie des cellules vivantes, nous avons d'abord analysé l'architecture syncytiale de la lignée germinale au long du développement et démontré que la maturation de l'anneau de CG se produit progressivement au cours de la croissance des larves et que les anneaux de CG sont composés de myosine II, de l'anilline canonique ANI-1, et de la courte isoforme d’anilline ANI-2, qui n'a pas les domaines de liaison à l’actine et à la myosine, depuis le premier stade larvaire, L1. Parmi les composants de l'anneau de CG, ANI-2 est exprimé au cours du développement et exclusivement enrichi entre les deux CGs primordiales (CGPs) au cours de l'embryogenèse de C. elegans, indiquant qu’ANI-2 est un composant bona fide des anneaux de CG. Nous avons en outre montré que les anneaux de CG sont largement absents dans les animaux mutants pour ani-2, montrant que leur maintien repose sur l'activité d'ANI-2. Contrairement à cela, nous avons trouvé que la déplétion d’ANI-1 a augmenté à la fois le diamètre des anneaux de CG et la largeur du rachis. Fait intéressant, la déplétion d’ANI-1 dans les mutants d’ani-2 a sauvé les défauts d'anneaux de CG des gonades déficientes en ani-2, ce qui suggère que l'architecture syncytiale de la lignée germinale de C. elegans repose sur un équilibre de l'activité de ces deux protéines Anilline. En outre, nous avons montré que lors de leur entrée à l'âge adulte, les mutants ani-2 présentent de sévères défauts de multinucléation des CGs qui découlent de l'effondrement des membranes de séparation des CGs individuelles. Cette multinucléation a coïncidé avec le début de la diffusion cytoplasmique, dont le blocage réduit la multinucléation des gonades mutantes pour ani-2, suggérant que les anneaux de CG résistent au stress mécanique associé au processus de diffusion cytoplasmique. En accord avec cela, nous avons trouvé aussi que la gonade peut soutenir la déformation élastique en réponse au stress mécanique et que cette propriété repose sur la malléabilité des anneaux de CGs. Dans une étude séparée afin de comprendre le mécanisme de formation du syncytium, nous avons suivi la dynamique de division de la cellule précurseur de la lignée germinale, P4 en deux CGP dans l’embryon de C. elegans. Nous avons démontré que les CGPs commencent la cytocinèse de manière similaire aux cellules somatiques, en formant un sillon de clivage, qui migre correctement et transforme ainsi l'anneau contractile en anneau de « midbody ring » (MBR), une structure qui relie de manière transitoire les cellules en division. Malgré cela, les CGPs, contrairement à leurs homologues somatiques, ne parviennent pas à accomplir la dernière étape de la cytocinèse, qui est la libération abscission-dépendante du MBR. Au lieu de cela, le MBR persiste à la frontière entre les CGPs en division et subit une réorganisation et une maturation pour se transformer finalement en structures en forme d'anneau qui relient les cellules en division. Nous montrons en outre que les composants du MB/MBR; UNC-59Septin, CYK-7, ZEN-4Mklp1, RHO-1RhoA sont localisés à des anneaux de CG au long du développement de la lignée germinale du stade L1 à l'âge adulte, ce qui suggère que les anneaux de CG sont dérivés des MBR. Bien qu'il reste encore beaucoup à faire pour comprendre pleinement le mécanisme précis de la formation du syncytium, le maintien, ainsi que la fonction du syncytium, nos résultats appuient un modèle dans lequel la stabilisation du MBR et la cytocinèse incomplète pourraient être une option conservée dans l’évolution pour la formation du syncytium. En outre, notre travail démontre que les régulateurs de la contractilité peuvent jouer un rôle dans la maturation et l’élasticité de l'anneau de CG au cours du développement de la lignée germinale, fournissant un ajout précieux pour une plus ample compréhension de la syncytiogenèse et de sa fonction.

Altérations synaptiques à la jonction neuromusculaire dans un modèle murin de sclérose latérale amyotrophique

La sclérose latérale amyotrophique est une maladie neurodégénérative fatale caractérisée par la dégénérescence progressive des neurones moteurs centraux et périphériques. L’un des premiers signes de la maladie est la dénervation de la jonction neuromusculaire (JNM). Les diverses unités motrices (UM) ne présentent toutefois pas la même vulnérabilité à la dénervation dans la SLA: les UM rapide fatigables sont en fait les plus vulnérables et les UM lentes sont les plus résistantes. Alors que des études précédentes ont démontré dans plusieurs modèles animaux de la SLA de nombreuses variations synaptiques, les découvertes ont été contradictoires. Par ailleurs, le type d’UM n’a pas été tenu en compte dans ces divers travaux. Nous avons donc émis l’hypothèse que la présence de la mutation SOD1 pourrait affecter différemment la transmission synaptique des UM, en accord avec leur vulnérabilité sélective. En effectuant des enregistrements électrophysiologiques et de l’immunohistochimie, nous avons étudié la transmission synaptique des différents types d’UM du muscle à contraction rapide Extensor Digitorum Longus (EDL; rapide fatigable (FF) MU) et du muscle à contraction lente Soleus (SOL; lente (S) and rapide fatigue-résistante (FR) MU) de la souris SOD1G37R et leur congénères WT. Pour identifier le type d’UM, un marquage par immunohistochimie des chaînes de myosine a été effectué. Un triple marquage de la JNM a également été effectué pour vérifier son intégrité aux différents stades de la maladie. À P160, dans la période asymptomatique de la maladie, alors qu’aucune altération morphologique n’était présente, l’activité évoquée était déjà altérée différemment en fonction des UM. Les JNMs FF mutantes ont démontré une diminution de l’amplitude des potentiels de plaque motrice (PPM) et du contenu quantique, alors que les JNMs lentes démontraient pratiquement le contraire. Les JNMs FR montraient quant à elles une force synaptique semblable au WT. À P380, dans la période présymtomatique, de nombreuses altérations morphologiques ont été observées dans le muscle EDL, incluant la dénervation complète, l’innervation partielle et les extensions du nerf. La transmission synaptique évoquée des UM FF étaient toujours réduites, de même que la fréquence des potentiels de plaque motrice miniatures. À P425, à l’apparition des premiers symptômes, l’activité synaptique des JNMs S était redevenue normale alors que les JNMs FR ont montré à ce moment une diminution du contenu quantique par rapport au contrôle. De manière surprenante, aucun changement du ratio de facilitation n’a été observé malgré les changements flagrants de la force synaptique. Ces résultats révèlent que la fonction de la JNM est modifiée différemment en fonction de la susceptibilité des UM dans l’ALS. Cette étude fournit des pistes pour une meilleure compréhension de la physiologie de la JNM durant la pathologie qui est cruciale au développement d’une thérapie adéquate ciblant la JNM dans la SLA.

Richard G. Huber: An Oral History

The streaming video presentation was created using portions of an oral history taken in 1991. In it Professor Huber discusses his experiences as Dean of Boston College Law School, his opinion on Father Drinan's leadership, and his thoughts on legal education. Despite the time that has passed since it was recorded, it remains a riveting account of Huber's history and association with BC Law. The video runs approximately 50 minutes.

Fuzzy Absolutes and Related Topics

The study on the fuzzy absolutes and related topics. The different kinds of extensions especially compactification formed a major area of study in topology. Perfect continuous mappings always preserve certain topological properties. The concept of Fuzzy sets introduced by the American Cyberneticist L. A Zadeh started a revolution in every branch of knowledge and in particular in every branch of mathematics. Fuzziness is a kind of uncertainty and uncertainty of a symbol lies in the lack of well-defined boundaries of the set of objects to which this symbol belongs. Introduce an s-continuous mapping from a topological space to a fuzzy topological space and prove that the image of an H-closed space under an s-continuous mapping is f-H closed. Here also proved that the arbitrary product fi and sum of  fi of the s-continuous maps fi are also s-continuous. The original motivation behind the study of absolutes was the problem of characterizing the projective objects in the category of compact spaces and continuous functions.

On Implementing Joins, Aggregates and Universal Quantifier in Temporal Databases using SQL Standards

A feasible way of implementing a temporal database is by mapping temporal data model onto a conventional data model followed by a commercial database management system. Even though extensions were proposed to standard SQL for supporting temporal databases, such proposals have not yet come across standardization processes. This paper attempts to implement database operators such as aggregates and universal quantifier for temporal databases, implemented on top of relational database systems, using currently available SQL standards.

“Improved Feature Extraction and Classification Techniques for Multispectral Brain Magnetic Resonance Images”

Magnetic Resonance Imaging (MRI) is a multi sequence medical imaging technique in which stacks of images are acquired with different tissue contrasts. Simultaneous observation and quantitative analysis of normal brain tissues and small abnormalities from these large numbers of different sequences is a great challenge in clinical applications. Multispectral MRI analysis can simplify the job considerably by combining unlimited number of available co-registered sequences in a single suite. However, poor performance of the multispectral system with conventional image classification and segmentation methods makes it inappropriate for clinical analysis. Recent works in multispectral brain MRI analysis attempted to resolve this issue by improved feature extraction approaches, such as transform based methods, fuzzy approaches, algebraic techniques and so forth. Transform based feature extraction methods like Independent Component Analysis (ICA) and its extensions have been effectively used in recent studies to improve the performance of multispectral brain MRI analysis. However, these global transforms were found to be inefficient and inconsistent in identifying less frequently occurred features like small lesions, from large amount of MR data. The present thesis focuses on the improvement in ICA based feature extraction techniques to enhance the performance of multispectral brain MRI analysis. Methods using spectral clustering and wavelet transforms are proposed to resolve the inefficiency of ICA in identifying small abnormalities, and problems due to ICA over-completeness. Effectiveness of the new methods in brain tissue classification and segmentation is confirmed by a detailed quantitative and qualitative analysis with synthetic and clinical, normal and abnormal, data. In comparison to conventional classification techniques, proposed algorithms provide better performance in classification of normal brain tissues and significant small abnormalities.

Wechselwirkung von im NANOJET erzeugten Teilchen mit Polymeren und biologischen Objekten

Am Institut für Mikrostrukturtechnologie und Analytik wurde eine neue Technik entwickelt, die neue Anwendungen und Methoden der Mikro- und Nanostrukturierung auf Basis eines neuen Verfahrens erschlossen hat. NANOJET führt über die passive Rastersondenmikroskopie hinaus zu einem vielseitigen, aktiven Bearbeitungswerkzeug auf der Mikro- und Nanometerskala. NANOJET (NANOstructuring Downstream PlasmaJET) ist eine aktive Rasterkraft-Mikroskopie-Sonde. Radikale (chemisch aktive Teilchen, die ein ungepaartes Valenzelektron besitzen) strömen aus dem Ende einer ultradünnen, hohlen Rasterkraftmikroskop-Spitze. Dadurch wird es möglich, über die übliche passive Abtastung einer Probenoberfläche hinausgehend, diese simultan und in-situ durch chemische Reaktionen zu verändern. Die Abtragung von Material wird durch eine chemische Ätzreaktion erreicht. In dieser Arbeit wurde zum größten Teil Photoresist als Substrat für die Ätzexperimente verwendet. Für das Ätzen des Resists wurden die Atome des Fluors und des Sauerstoffs im Grundzustand als verantwortlich identifiziert. Durch Experimente und durch Ergänzung von Literaturdaten wurde die Annahme bestätigt, dass Sauerstoffradikale mit Unterstützung von Fluorradikalen für die hohen erzielten Ätzraten verantwortlich sind. Die Beimischung von Fluor in einem Sauerstoffplasma führt zu einer Verringerung der Aktivierungsenergie für die Ätzreaktion gegenüber Verwendung reinen Sauerstoffs. In weiterer Folge wurde ein Strukturierungsverfahren dargestellt. Hierbei wurden "geformte Kapillaren" (mikrostrukturierte Aperturen) eingesetzt. Die Herstellung der Aperturen erfolgte durch einen elektrochemischen Ätzstop-Prozess. Die typische Größe der unter Verwendung der "geformten Kapillaren" geätzten Strukturen entsprach den Kapillarenöffnungen. Es wurde ein Monte-Carlo Simulationsprogramm entwickelt, welches den Transport der reaktiven Teilchen in der langen Transportröhre simulierte. Es wurde sowohl die Transmission der Teilchen in der Transportröhre und der Kapillare als auch ihre Winkelverteilung nach dem Verlassen der Kapillare berechnet. Das Aspektverhältnis der Röhren hat dabei einen sehr starken Einfluss. Mit einem steigenden Aspektverhältnis nahm die Transmission exponentiell ab. Die geschaffene experimentelle Infrastruktur wurde genutzt, um auch biologische Objekte zu behandeln und zu untersuchen. Hierfür wurde eine neue Methodik entwickelt, die eine dreidimensionale Darstellung des Zellinneren erlaubt. Dies wurde durch die kontrollierte Abtragung von Material aus der Zellmembran durchgeführt. Die Abtragung der Zellmembran erfolgte mittels Sauerstoffradikalen, die durch eine hohle Spitze lokalisiert zum Ort der Reaktion transportiert wurden. Ein piezoresistiver Cantilever diente als Sensor in dem zur Bildgebung eingesetzten RKM. Das entwickelte Verfahren ermöglicht es nun erstmals, schonend Zellen zu öffnen und die innen liegenden Organellen weiter zu untersuchen. Als Nachweis für weitere Verwendungsmöglichkeiten des NANOJET-Verfahrens wurde auch Knochenmaterial behandelt. Die Ergebnisse dieser Experimente zeigen klar, dass das Verfahren für vielfältige biologische Materialien verwendbar ist und somit nun ein weiter Anwendungskreis in der Biologie und Medizin offen steht.

Exact algorithms for p-adic fields and epsilon constant conjectures

We develop several algorithms for computations in Galois extensions of p-adic fields. Our algorithms are based on existing algorithms for number fields and are exact in the sense that we do not need to consider approximations to p-adic numbers. As an application we describe an algorithmic approach to prove or disprove various conjectures for local and global epsilon constants.

On Alternating Non-Context-Free Grammars

We study several extensions of the notion of alternation from context-free grammars to context-sensitive and arbitrary phrase-structure grammars. Thereby new grammatical characterizations are obtained for the class of languages that are accepted by alternating pushdown automata.