L’intralogistique (ou logistique interne) s’intéresse au traitement et à l’optimisation des flux physiques au sein des entrepôts, centres de distribution et usines. Les systèmes de manutention automatisés sont au cœur de la logistique interne de plusieurs industries comme le commerce en ligne, la messagerie postale, la grande distribution, l’industrie manufacturière, le transport aéroportuaire, etc. Ces équipements composés de lignes de convoyage haute cadence permettent un transport sûr et fiable d’un volume considérable de biens et de marchandises tout en réduisant les coûts.L’automatisation de l’acheminement des flux physiques par les systèmes de manutention repose sur l’identification et le suivi en temps réel des charges transportées. Dans cette thèse, nous explorons une solution de suivi qui emploie un réseau de caméras intelligentes à champs recouvrants. L’objectif final étant de fournir l’information de suivi sur les charges transportées pour le pilotage d’un système de manutention.Le suivi d’objets est un problème fondamental de la vision par ordinateur qui a de nombreuses applications comme la vidéosurveillance, la robotique, les voitures autonomes, etc. Nous avons intégré plusieurs briques de base issues de la vidéosurveillance et traditionnellement appliquées aux scènes de surveillance automobile ou de surveillance des activités humaines pour constituer une chaine de suivi de référence. Cette chaine d’analyse vidéo étalon nous a permis de caractériser des hypothèses propres au convoyage d’objet. Nous proposons dans cette thèse d’incorporer cette connaissance métier dans la chaine de suivi pour en améliorer les performances. Nous avons, notamment pris en compte, dans l’étape de segmentation des images, le fait que les objets doivent pouvoir s’arrêter sans pour autant être intégrés aux modèles d’arrière-plan. Nous avons également exploité la régularité des trajectoires des objets convoyés dans les installations, permettant d’améliorer les modèles prédictifs de la position et de la vitesse des objets, dans les étapes de suivi. Enfin, nous avons intégré des contraintes de stricte monotonie dans l’ordre des colis sur le convoyeur, contraintes qui n’existent pas dans les scènes généralistes, pour ré-identifier les objets dans les situations où ils sont proches des eux les autres.Nous nous sommes par ailleurs attelés à un problème pratique d’optimisation des performances sur l’architecture multi-cœurs couplée aux caméras intelligentes. Dans ce cadre, nous avons a mis en place un apprentissage dynamique de la zone de l’image contenant le convoyeur. Cette zone d’intérêt nous a permis de limiter la mise à jour du modèle de fond à cette seule zone. Nous avons, par la suite, proposé une stratégie de parallélisation qui partitionne de manière adaptative cette région d’intérêt de l’image, afin d’équilibrer au mieux la charge de travail entre les différents cœurs de l’architecture des caméras intelligentes.Nous avons également traité la problématique du suivi sur plusieurs caméras. Nous avons proposé une approche basée sur un système de composition d’évènements. Cette approche nous a permis de fusionner les données de suivi local pour former les trajectoires globales des colis, tout en intégrant des informations issues du processus métier, par exemple la saisie de l’information de destination par des opérateurs sur un terminal avant la dépose des colis. Nous avons validé cette approche sur un système de manutention mis en place dans un centre de tri postal de grande envergure. Le réseau de caméras déployé est composé de 32 caméras qui assurent le suivi de plus de 400.000 colis/jour sur des lignes de dépose. Le taux d’erreur du suivi obtenu est inférieur à 1 colis sur 1000 (0,1%). / Intralogistics (or internal logistics) focuses on the management and optimization of internal production and distribution processes within warehouses, distribution centers, and factories. Automated handling systems play a crucial role in the internal logistics of several industries such as e-commerce, postal messaging, retail, manufacturing, airport transport, etc. These systems are composed by multiple high-speed conveyor lines that provide safe and reliable transportation of a large volume of goods and merchandise while reducing costs.The automation of the conveying process relies on the identification and the real-time tracking of the transported loads. In this thesis, we designed a tracking solution that employs a network of smart cameras with an overlapping field of view. The goal is to provide tracking information to control an automated handling system.Multiple object tracking is a fundamental problem of computer vision that has many applications such as video surveillance, robotics, autonomous cars, etc. We integrated several building blocks traditionally applied to traffic surveillance or human activities monitoring to constitute a tracking pipeline. We used this baseline tracking pipeline to characterize contextual scene information proper to the conveying scenario. We integrated this contextual information to the tracking pipeline to enhance the performance. In particular, we took into account the state of moving objects that become stationary in the background subtraction step to prevent their absorption to the background model. We have also exploited the regularity of objects trajectory to enhance the motion model associated with the tracked objects. Finally, we integrated the precedence ordering constraint among the conveyed object to reidentify them when they are close to each other.We have also tackled practical problems related to the optimization the execution of the proposed tracking problem in the multi-core architectures of smart cameras. In particular, we proposed a dynamic learning process that extracts the region of the image that corresponds to the conveyor lines. We reduced the number of the processed pixel by restricting the processing to this region of interest. We also proposed a parallelization strategy that adaptively partitions this region of interest of the image, in order to balance the workload between the different cores of the smart cameras.Finally, we proposed a multiple cameras tracking algorithms based on event composition. This approach fuses the local tracking generated by the smart cameras to form global object trajectories and information from third party systems such as the destination of the object entered by operators on a terminal. We validated the proposed approach for the control of a sorting system deployed in a postal distribution warehouse. A network of cameras composed of 32 cameras tracks more than 400.000 parcel/day in injections lines. The tracking error rate is less than 1 parcel in a 1000 (0.1%).

L’imagerie moléculaire optique joue maintenant un rôle essentiel dans le diagnostic pré-clinique et le développement de médicaments. En effet, c’est un outil précieux dans la détection et le suivi de cellules vivantes que ce soit en utilisant de simples agents de marquage ou des sondes plus développées, dites « intelligentes » et activées uniquement par une interaction spécifique avec le bio-analyte ciblé. Ce travail de thèse a consisté à développer des outils synthétiques innovants afin d’optimiser les paramètres physico-chimiques et les propriétés optiques des sondes luminescentes. Ceci dans le but de répondre à la problématique complexe de l’imagerie dans le contexte in vivo. Nous avons notamment travaillé sur des aspects de pro-fluorescence et de chémiluminescence. De nouveaux pro-fluorophores à phénol basés sur une architecture originale de type bis-coumarinique ont été développés. De plus, nous avons mis en place une méthode d’hydrosolubilisation généralisable aux fluorophores à phénol de type coumarine et xanthène. Nos recherches en chémiluminescence ont permis la synthèse de nouveaux chémiluminophores couplés à des fluorophores organiques afin d‘augmenter l’efficacité d’émission de chémiluminescence dans le rouge. Enfin, nos travaux ont permis de mettre en place les premières « cassettes » chémiluminescentes basées sur une architecture de type 1,2-dioxétane. / Optical molecular imaging is now playing a pivotal role both in pre-clinical diagnosis and drug development. Indeed, this is a valuable tool for the real time detection and monitoring of living cells either through the use of structurally simple labels or more recently by means of sophisticated fluorescent probes, called “smart” probes and only activatable upon specific interaction with the targeted bio-analyte. The aim of this PhD work was the design of new synthetic tools aimed at optimizing physico-chemical and optical properties of fluorescent probes intended for challenging in vivo imaging applications. We have focused on the pro-fluorescence and chemiluminescence approaches. New phenol-based pro-fluorophores have been developed by using an original bis-coumarinic scaffold. In the context of the chemistry of fluorophores, we have also investigated a general method for the water-solubilisation of phenol-based fluorophore belonging to the coumarin and xanthene families. Our research in chemiluminescence has led the synthesis of new chemiluminophores covalently linked to fluorescent organic dyes aimed at increasing the emission efficiency in the red region of such chemiluminophores. Thus, the first chemiluminescent “energy transfer cassettes” based on a 1,2-dioxetane scaffold have been obtained.

Der Ausbau dezentraler Energieanlagen wie fotovoltaischen Anlagen beeinflusst die Netzzustände signifikant. Dabei ist unsicher, wo und in welchem Maße deren Ausbau zukünftig erfolgt. Es ist nun an den Netzbetreibern gleichzeitig die aktuellen Herausforderungen zu meistern und die Netzplanung und -regelung für die Zukunft zu aktualisieren. Eine statistische Methode wird entwickelt, die Verteilnetzplanung unter Einsatz von quasi-stationär modellierten ”Smart Grid”-Lösungen wie Blindleistungsreglern und regelbaren Ortsnetztransformatoren ermöglicht. Durch Stichprobenverfahren werden Unsicherheiten wie Ort, Größe und Leistungsprofile der Energieanlagen in das Netzmodell eingebunden. Diese als probabilistischer Lastfluss bekannte Methode wird durch Gütemaße im Bereich geringer Kombination evaluiert. Beispiele probabilistischer Netzplanung werden an Netztopologien präsentiert.:Abbildungsverzeichnis iv Tabellenverzeichnis viii Abkürzungsverzeichnis viii Formelzeichen x 1. Einleitung 1 1.1. Definition der Herausforderung 1 1.2. Netzplanung 2 1.3. Ziel der Arbeit3 1.4. Struktur der Arbeit 5 2. Normen und technische Rahmenbedingungen 6 2.1. DIN EN 50160 6 2.2. VDE-AR-N 41057 2.3. Technische Anschlussbedingungen 9 2.4. Erneuerbare-Energien-Gesetz 11 2.5. Zusammenfassung 12 3. Gliederung probabilistischer Lastflussverfahren 13 3.1. Punktschätzende und iterative Verfahren 14 3.2. Gliederung nach Stichprobenverfahren 15 3.3. Reduzierung des Grundraumes 16 3.3.1. Cluster-Analyse17 3.3.2. Ausreißerbehandlung 21 3.3.3. Wahrscheinlichkeits- und Verteilungsfunktion 21 3.4. Methode der Stichprobenziehung 22 3.4.1. Einfache Zufallsstichprobe 23 3.4.2. Systematische Stichprobe24 3.4.3. Geschichtete Zufallsstichprobe 25 3.5. Reduzierung des Stichprobenraumes 26 3.6. Invertierung von Stichproben 26 3.7. Zusammenfassung 27 4. Vergleich probabilistischer Verfahren 28 4.1. Nicht-Gaußsche Eingangsdaten 28 4.2. Bestimmung notwendiger Clusterzentren 29 4.3. Erstellung des Stichprobenraumes pro Kombination 31 4.4. Gütemaße und Effizienz von Stichprobenverfahren 33 4.4.1. Median 34 4.4.2. Median der absoluten Abweichung vom Median 37 4.4.3. Maximale normierte Perzentilsdifferenz 40 4.4.4. Zusammenfassung 43 4.5. Streuung der Stichprobenverfahren bei wiederholter Ausführung 44 4.5.1. Median 44 4.5.2. Median der absoluten Abweichung vom Median 45 4.5.3. Maximale normierte Perzentilsdifferenz 47 4.5.4. Zusammenfassung 49 4.6. Sensitivität bei unterschiedlicher Anzahl statistischer Netzknoten 52 4.6.1. Median 52 4.6.2. Median der absoluten Abweichung vom Median 54 4.6.3. Maximale normierte Perzentilsdifferenz 56 4.6.4. Zusammenfassung58 4.7. Notwendige Kombinationen für Ziel-Gütemaße 59 5. Software-basierte probabilistische Verteilnetzplanung 61 5.1. Struktur der entwickeltenSoftware 61 5.2. Last- und Erzeugungsprofile 63 5.2.1. Synthetische Haushaltslast 63 5.2.2. Elektrofahrzeug 64 5.2.3. Wärmepumpe 65 5.2.4. Photovoltaische Anlagen 66 5.2.5. Windenergieanlagen 66 5.3. Optimale Auswahl nach Regeleffizienz 67 5.4. DezentraleWirkleistungsregler 68 5.4.1. P(U)-Regler für Schnellladeinfrastruktur 68 5.4.2. P(U)-Regelung von Wärmepumpen gemäß thermischer Grenzen 69 5.5. Blindleistungsregler 72 5.5.1. Zentrale Steuerung 73 5.5.2. Dezentrale Regelung 75 5.5.3. Verteilte Regelung 79 5.6. Regelbarer Ortsnetztransformator 83 5.7. Automatisierte Netzausbauplanung 86 5.7.1. Transformatortausch 87 5.7.2. Vergrößerung des Leiterquerschnitts 89 5.7.3. Zusätzliche Stichleitung 89 5.7.4. Kostenberechnung 90 5.8. Zusammenfassung 91 6. Anwendungsfälle probabilistischer Planung 92 6.1. Verwendete Verteilnetzmodelle 94 6.2. Abschätzung der Auswirkung von PV-Anlagenausbau 95 6.2.1. Unterschiede der Planungsverfahren zur Schätzung der PVA-Nennleistung 95 6.2.2. Einfluss der Blindleistungsregelung auf mögliche Anlagenleistung 100 6.3. Abschätzung von Netzauslastungen in Wohngebieten 106 6.3.1. Annahmen und Szenarien 107 6.3.2. Auswertung der Knotenspannungen 110 6.3.3. Auswertung der Betriebsmittelauslastungen 116 6.4. Zusammenfassung 118 7. Zusammenfassung und Ausblick 119 Literaturverzeichnis 121 Anhang 135 A. Statistische Merkmale 135 A.1. Empirische Wahrscheinlichkeitsfunktion 135 A.2. Kumulative empirische Verteilungsfunktion 136 A.3. Quantile 136 A.4. Interquartilsabstand 137 B. PLF-Methoden 138 B.1. Veröffentlichte PLF-Methoden 138 B.2. Test Gaußsche Verteilung 138 C. Definitionen 140 C.1. Symbole für Flussdiagramme 140 C.2. Zählpfeilsystem 140 D. Ergänzende Ergebnisse 142 E. Danksagung 143 / Development of distributed energy units such as photovoltaic systems affects grid states significantly. It is uncertain, where and to what extent the development of these units is carried out in the future. It is now up to the distribution system operator to cope with todays grid challenges and to update grid planning and control for the future. A statistical method is developed, which incorporates quasi-stationary modeled ”smart grid” solutions such as reactive power controllers and on-load tap-changers. Uncertainties such as location, size and power profiles of energy systems are integrated into the grid model by sampling. This method is known as probabilistic load flow and is evaluated by quality measures at low combinations. Examples on probabilistic grid planning of different grid topologies are presented.:Abbildungsverzeichnis iv Tabellenverzeichnis viii Abkürzungsverzeichnis viii Formelzeichen x 1. Einleitung 1 1.1. Definition der Herausforderung 1 1.2. Netzplanung 2 1.3. Ziel der Arbeit3 1.4. Struktur der Arbeit 5 2. Normen und technische Rahmenbedingungen 6 2.1. DIN EN 50160 6 2.2. VDE-AR-N 41057 2.3. Technische Anschlussbedingungen 9 2.4. Erneuerbare-Energien-Gesetz 11 2.5. Zusammenfassung 12 3. Gliederung probabilistischer Lastflussverfahren 13 3.1. Punktschätzende und iterative Verfahren 14 3.2. Gliederung nach Stichprobenverfahren 15 3.3. Reduzierung des Grundraumes 16 3.3.1. Cluster-Analyse17 3.3.2. Ausreißerbehandlung 21 3.3.3. Wahrscheinlichkeits- und Verteilungsfunktion 21 3.4. Methode der Stichprobenziehung 22 3.4.1. Einfache Zufallsstichprobe 23 3.4.2. Systematische Stichprobe24 3.4.3. Geschichtete Zufallsstichprobe 25 3.5. Reduzierung des Stichprobenraumes 26 3.6. Invertierung von Stichproben 26 3.7. Zusammenfassung 27 4. Vergleich probabilistischer Verfahren 28 4.1. Nicht-Gaußsche Eingangsdaten 28 4.2. Bestimmung notwendiger Clusterzentren 29 4.3. Erstellung des Stichprobenraumes pro Kombination 31 4.4. Gütemaße und Effizienz von Stichprobenverfahren 33 4.4.1. Median 34 4.4.2. Median der absoluten Abweichung vom Median 37 4.4.3. Maximale normierte Perzentilsdifferenz 40 4.4.4. Zusammenfassung 43 4.5. Streuung der Stichprobenverfahren bei wiederholter Ausführung 44 4.5.1. Median 44 4.5.2. Median der absoluten Abweichung vom Median 45 4.5.3. Maximale normierte Perzentilsdifferenz 47 4.5.4. Zusammenfassung 49 4.6. Sensitivität bei unterschiedlicher Anzahl statistischer Netzknoten 52 4.6.1. Median 52 4.6.2. Median der absoluten Abweichung vom Median 54 4.6.3. Maximale normierte Perzentilsdifferenz 56 4.6.4. Zusammenfassung58 4.7. Notwendige Kombinationen für Ziel-Gütemaße 59 5. Software-basierte probabilistische Verteilnetzplanung 61 5.1. Struktur der entwickeltenSoftware 61 5.2. Last- und Erzeugungsprofile 63 5.2.1. Synthetische Haushaltslast 63 5.2.2. Elektrofahrzeug 64 5.2.3. Wärmepumpe 65 5.2.4. Photovoltaische Anlagen 66 5.2.5. Windenergieanlagen 66 5.3. Optimale Auswahl nach Regeleffizienz 67 5.4. DezentraleWirkleistungsregler 68 5.4.1. P(U)-Regler für Schnellladeinfrastruktur 68 5.4.2. P(U)-Regelung von Wärmepumpen gemäß thermischer Grenzen 69 5.5. Blindleistungsregler 72 5.5.1. Zentrale Steuerung 73 5.5.2. Dezentrale Regelung 75 5.5.3. Verteilte Regelung 79 5.6. Regelbarer Ortsnetztransformator 83 5.7. Automatisierte Netzausbauplanung 86 5.7.1. Transformatortausch 87 5.7.2. Vergrößerung des Leiterquerschnitts 89 5.7.3. Zusätzliche Stichleitung 89 5.7.4. Kostenberechnung 90 5.8. Zusammenfassung 91 6. Anwendungsfälle probabilistischer Planung 92 6.1. Verwendete Verteilnetzmodelle 94 6.2. Abschätzung der Auswirkung von PV-Anlagenausbau 95 6.2.1. Unterschiede der Planungsverfahren zur Schätzung der PVA-Nennleistung 95 6.2.2. Einfluss der Blindleistungsregelung auf mögliche Anlagenleistung 100 6.3. Abschätzung von Netzauslastungen in Wohngebieten 106 6.3.1. Annahmen und Szenarien 107 6.3.2. Auswertung der Knotenspannungen 110 6.3.3. Auswertung der Betriebsmittelauslastungen 116 6.4. Zusammenfassung 118 7. Zusammenfassung und Ausblick 119 Literaturverzeichnis 121 Anhang 135 A. Statistische Merkmale 135 A.1. Empirische Wahrscheinlichkeitsfunktion 135 A.2. Kumulative empirische Verteilungsfunktion 136 A.3. Quantile 136 A.4. Interquartilsabstand 137 B. PLF-Methoden 138 B.1. Veröffentlichte PLF-Methoden 138 B.2. Test Gaußsche Verteilung 138 C. Definitionen 140 C.1. Symbole für Flussdiagramme 140 C.2. Zählpfeilsystem 140 D. Ergänzende Ergebnisse 142 E. Danksagung 143

In this thesis, we use evolutionary robotics techniques to automatically design and synthesise<p>behaviour for groups of simulated and real robots. Our contribution will be on<p>the design of non-trivial individual and collective behaviour; decisions about solitary or<p>social behaviour will be temporal and they will be interdependent with communicative<p>acts. In particular, we study time-based decision-making in a social context: how the<p>experiences of robots unfold in time and how these experiences influence their interaction<p>with the rest of the group. We propose three experiments based on non-trivial real-world<p>cooperative scenarios. First, we study social cooperative categorisation; signalling and<p>communication evolve in a task where the cooperation among robots is not a priori required.<p>The communication and categorisation skills of the robots are co-evolved from<p>scratch, and the emerging time-dependent individual and social behaviour are successfully<p>tested on real robots. Second, we show on real hardware evidence of the success of evolved<p>neuro-controllers when controlling two autonomous robots that have to grip each other<p>(autonomously self-assemble). Our experiment constitutes the first fully evolved approach<p>on such a task that requires sophisticated and fine sensory-motor coordination, and it<p>highlights the minimal conditions to achieve assembly in autonomous robots by reducing<p>the assumptions a priori made by the experimenter to a functional minimum. Third, we<p>present the first work in the literature to deal with the design of homogeneous control<p>mechanisms for morphologically heterogeneous robots, that is, robots that do not share<p>the same hardware characteristics. We show how artificial evolution designs individual<p>behaviours and communication protocols that allow the cooperation between robots of<p>different types, by using dynamical neural networks that specialise on-line, depending on<p>the nature of the morphology of each robot. The experiments briefly described above<p>contribute to the advancement of the state of the art in evolving neuro-controllers for<p>collective robotics both from an application-oriented, engineering point of view, as well as<p>from a more theoretical point of view. / Doctorat en Sciences de l'ingénieur / info:eu-repo/semantics/nonPublished

The problem of content management of multimedia data types (e.g., image, video, graphics) is becoming increasingly important with the development of advanced multimedia applications. Traditional database management systems are inadequate for the handling of such data types. They require new techniques for query formulation, retrieval, evaluation, and navigation. In this paper we develop a knowledge-based framework for modeling and retrieving image data by content. To represent the various aspects of an image object's characteristics, we propose a model which consists of three layers: (1) Feature and Content Layer, intended to contain image visual features such as contours, shapes,etc.; (2) Object Layer, which provides the (conceptual) content dimension of images; and (3) Schema Layer, which contains the structured abstractions of images, i.e., a general schema about the classes of objects represented in the object layer. We propose two abstract languages on the basis of description logics: one for describing knowledge of the object and schema layers, and the other, more expressive, for making queries. Queries can refer to the form dimension (i.e., information of the Feature and Content Layer) or to the content dimension (i.e., information of the Object Layer). These languages employ a variable free notation, and they are well suited for the design, verification and complexity analysis of algorithms. As the amount of information contained in the previous layers may be huge and operations performed at the Feature and Content Layer are time-consuming, resorting to the use of materialized views to process and optimize queries may be extremely useful. For that, we propose a formal framework for testing containment of a query in a view expressed in our query language. The algorithm we propose is sound and complete and relatively efficient. / This is an extended version of the article in: Eleventh International Symposium on Methodologies for Intelligent Systems, Warsaw, Poland, 1999.

Gegenstand der Arbeit ist zunächst eine Analyse der didaktischen Anforderungen an Sprachlernsysteme, die sich zum Teil aus dem Fremdsprachenunterricht ergeben. Daraus ergibt sich ein Übungstyp, der vom Lerner eine frei gestaltete Eingabe erfordert und damit insbesondere die kommunikative Kompetenz fördert, der aber auch mit Hilfe computerlinguistischer Methoden realisiert werden kann. Anschließend wird zur Auswahl einer geeigneten Grammatiktheorie insbesondere die Lexical Functional Grammar (LFG) näher betrachtet. Die Theorie muss sich aus computerlinguistischer Sicht für eine Implementierung im Rahmen eines Sprachlernprogramms eignen und es ist von zusätzlichem Vorteil, wenn die verwendeten Konzepte denen in Lernergrammatiken ähneln, um so die Generierung von Rückmeldungen zu vereinfachen. Im darauf folgenden Abschnitt wird kurz das eigentliche Programm PromisD (Projekt mediengestütztes interaktives Sprachenlernen - Deutsch) vorgestellt, wie es sich auch dem Nutzer präsentiert. Schließlich wird ein so genanntes antizipationsfreies Verfahren entwickelt, bei dem weder in der Grammatik noch im Lexikon Informationen zur Fehleridentifizierung enthalten sind. Die Fehlererkennung wird dabei auf die Bereiche eingeschränkt, in denen sich in einem Lernerkorpus häufig Fehler zeigen, um einerseits wesentliche Fehlertypen abzudecken und andererseits eine größere Effizienz bei der Analyse von realen Eingaben zu erreichen. Die Vorstellung des Verfahrens unterteilt sich entsprechend den grundlegenden Struktureinheiten der LFG in zwei Bereiche: die Konstituentenstruktur mit einer modifizierten Form des Earley-Algorithmus zur Integration von Fehlerhypothesen in die Chart und die Feature-Struktur mit einer veränderten Unifikationstrategie zur Behandlung und Speicherung von sich widersprechenden Werten in F-Strukturen. Zum Abschluss erfolgt die Evaluation und es werden die Möglichkeiten zur Gestaltung einer Rückmeldung an den Lerner diskutiert. / The dissertation starts with an analysis of the requirements for Intelligent Computer-Assisted Language Learning systems (ICALL), which partially depend on didactic aspects of foreign language teaching. Based on this a type of exercise can be identified, that on the one hand allows the learner to enter free formed input supporting the so called communicative competence as a major didactic goal and on the other hand may be realised with advanced computational linguistics'' methods. In the following chapter a look at grammar theories and especially Lexical Functional Grammar (LFG) is taken. The grammar theory needs to be tractable in an implementation and it is of a further advantage if the concepts of the theory are similar to the concepts in learner grammars in order to simplify the generation of feedback. Subsequently the user interface of the actual program is presented with a focus on error messages. The implementation is named PromisD, which stands for "Projekt mediengestütztes interaktives Sprachenlernen - Deutsch". Finally an anticipation-free parsing method is developed using neither information from the lexicon nor the grammar in order to identify grammar errors. The recognition is restricted to those areas where errors occur frequently in a learner corpus in order to allow for a greater efficiency parsing authentic data. Along the two structural levels in LFG the presentation of the algorithm follows: the constituent-structure with a modified Early-algorithm integrating error hypotheses into the chart and the feature-structure with a new unification-strategie storing information about clashing values in the f-structure. The dissertation closes with an evaluation and an outlook on the generation of error messages.

Portant sur le contrôle des frontières et la gestion des flux migratoires au sein de l’Union européenne, le présent travail a pour objectif de déterminer si le pouvoir discrétionnaire des États membres survient comme une prérogative de souveraineté pour des raisons de sécurité intérieure à l’Union, ou bien si cette prérogative souveraine se consolide à travers la sécurité intérieure. Ce travail permet ainsi d’illustrer l’importance du rôle joué par la Cour de justice de l’Union européenne dans l’harmonisation de l’Union sur ces questions. Concrètement, cette étude décrit en détail la façon dont « l’imprécision » du cadre juridique de l’Union autorise une marge d’appréciation aux autorités nationales dans l’interprétation des faits, conformément aux dispositions générales du cadre juridique. Ainsi, le pouvoir discrétionnaire avec lequel les autorités consulaires et frontalières des États membres appliquent cette législation, laisse un doute raisonnable sur la mise en œuvre adéquate du cadre juridique. En d’autres termes, les autorités des États membres disposent de facultés discrétionnaires, qui leur permettent d’adopter des solutions ad hoc afin de combler les vides laissés par la législation européenne. Par conséquent, l’intervention de la Cour de justice s’avère indispensable afin de garantir une mise en application uniforme du droit dérivé de l’Union. / In the field of the borders control and migration flows management, the aim of this analyse is determine whether Member States discretion arises as a prerogative of sovereignty for reasons of internal security of the Union, or whether this sovereign prerogative is consolidated through internal security. This analyse also serves to illustrate the importance of the work of the Court of Justice of the European Union to harmonize the EU legislation in this area. Specifically, this study details how the "imprecision" of the EU legal framework permits discretion to national authorities in the interpretation of facts, in accordance with the general provisions of the legal framework. So, discretionary power with which consular and border authorities of the Member States apply this legislation, leaves a reasonable doubt on the proper implementation of the legal framework. In other terms, authorities of the Member States have discretionary power, which allow them to adopt ad hoc solutions to fill the gaps left by European legislation. Consequently, intervention of the Court of Justice is essential in order to ensure a uniform application of the Union's secondary legislation. / El presente trabajo tiene por objeto de estudio determinar, en el ámbito del control de fronteras y la gestión de los flujos migratorios, por una parte, si la discrecionalidad de los Estados miembros surge por cuestiones que atañen a la seguridad interior de la Unión o por una prerrogativa soberana, o bien si la discrecionalidad se consolida a través de la seguridad interior. Y, por otra parte, destacar la importancia de la labor del Tribunal de Justicia de la Unión Europea para armonizar la normativa de la Unión en este ámbito. En concreto, este estudio describe con detalle como la “imprecisión” del ordenamiento de la Unión otorga un libre margen de apreciación a la autoridad nacional para interpretar los hechos conforme al precepto general del ordenamiento. De modo que, la discrecionalidad con la que esta legislación es aplicada por las autoridades consulares y fronterizas de los Estados miembros deja dudas razonables acerca de la correcta aplicación del ordenamiento. En otros términos, las autoridades de los Estados miembros disponen de facultades discrecionales que les permiten adoptar soluciones ad hoc para llenar los vacíos dejados por la legislación europea. Por lo tanto, la intervención del Tribunal de Justicia es indispensable para garantizar la aplicación uniforme del Derecho derivado de la Unión.

Everyware, ubiquitous computing, connexion ambiante, condition hyperconnectée, hypersphère,… Dans la dernière décennie, les chercheurs de tous domaines confondus ont convoqué une série de termes très différents pour évoquer les conséquences de l’introduction des dispositifs mobiles ont engendrés sur notre manière de vivre et habiter l’espace. En poursuivant les réflexions entamées par les chercheurs appartenant au « tournant spatial », cette thèse se propose d’interroger l’imaginaire spatial dans la littérature numérique contemporaine tel que modifié par les nouvelles technologies ainsi que les modalités dont la littérature s’est emparé de ces technologies pour les détourner ou les intégrer en tant qu’éléments poétiques à part entière. Quel est le nouveau rapport à l’espace que dessinent le téléphone intelligent, les réseaux sociaux et la géolocalisation ? Comment la littérature se modifie-t-elle en devenant géolocalisée ? Qu’il soit question de l’espace urbain ou d’autres types d’espaces, cette thèse interroge l’intégration d’outils, de pratiques et de techniques numériques à l’écriture littéraire de l’espace. Au moment où la présence d’une technologie de géolocalisation participe également au processus de redéfinition de notre position dans le monde, en redéfinissant notre rapport à la fois personnel et littéraire à l’espace, comment notre position spatiale devient-elle une donnée partageable, conversationnelle et sémiotique – signifiant et matière poétique à part entière, tout autant que le langage ? / Everyware, ubiquitous computing, ambient connection, hyperconnected condition, hypersphere... In the last decade, researchers from all fields have used a series of very different terms to evoke the consequences of the introduction of mobile devices on our way of living and inhabiting space. By continuing the reflections started by the researchers belonging to the "spatial turn", this thesis proposes to question the spatial imaginary in contemporary digital literature as modified by the new technologies as well as the modalities in which literature has seized these technologies to divert them or integrate them as poetic elements in their own right. What is the new relationship to space that the smart phone, social networks and geolocation draw? How does literature change by becoming geolocated? Whether we are talking about urban space or other types of space, this thesis questions the integration of digital tools, practices and techniques into the literary writing of space. At a time when the presence of geolocation technology also participates in the process of redefining our position in the world, redefining our personal and literary relationship to space, how does our spatial position become a shareable, conversational and semiotic datum - a signifier and poetic material in its own right, as much as language?

Cette thèse étudie la capacité de la technologie de la chaîne de blocks à transformer l'arbitrage commercial international et la capacité de l'arbitrage à s'adapter aux technologies émergentes. Alors que les marchés numériques interconnectés et les interactions sociales se développent rapidement, les litiges provenant de ces connexions augmentent corrélativement, soulignant la nécessité de méthodes de résolution des litiges plus efficaces. La recherche englobe le concept d'arbitrage, l'impact des mécanismes de résolution des litiges en ligne et l'influence de la technologie de la chaîne de blocks sur les processus d'arbitrage. L'analyse est centrée sur la compatibilité de la résolution des litiges en ligne et de l'arbitrage sur la chaîne de blocks dans le cadre législatif international, et sur la question de savoir si l'arbitrage blockchain pourrait constituer un ordre juridique distinct enraciné dans la Lex Cryptographia. L'enquête aborde les défis et les opportunités liés à l'intégration de la technologie de la chaîne de blocks dans l'arbitrage, y compris les préoccupations en matière de cybersécurité, de confidentialité et d'efficacité, ainsi que la validité et la force exécutoire des accords d'arbitrage et des sentences cryptographiques. La thèse examine les plateformes d'arbitrage sur la chaîne de blocs émergents et révèle leur potentiel pour résoudre efficacement et à moindre coût les réclamations de petite et moyenne importance, en offrant des solutions innovantes pour diverses situations de litige. L'étude préconise un modèle hybride transitoire, intégrant l'arbitrage sur la chaîne de blocs dans le cadre juridique existant sans nécessiter de réformes statutaires, favorisant ainsi une incorporation transparente et améliorant le processus global de résolution des litiges. En outre, cette enquête explore le développement potentiel de la Lex Cryptographia en tant que système juridique autonome au sein de l'écosystème de la chaîne de blocs. À mesure que l'économie mondiale s'oriente vers l'Internet des objets, la demande d'un système d'arbitrage indépendant de l'intervention de l'État devient de plus en plus cruciale. La Lex Cryptographia, avec des principes et cadres adaptés aux spécificités de la technologie de la chaîne de blocs, pourrait offrir un arbitrage autonome et efficace, permettant aux parties de régler leurs différends sans recourir aux systèmes étatiques traditionnels. Ainsi, la thèse met en avant le potentiel transformateur de la blockchain dans l'arbitrage commercial international, automatisant l'exécution des contrats et la résolution des litiges. Les résultats révèlent la nécessité d'harmoniser les normes internationales et d'améliorer les pratiques pour garantir la légalité et l'applicabilité des sentences arbitrales basées sur la blockchain, explorant des systèmes juridiques autonomes et influençant l'avenir de l'arbitrage international. / This thesis investigates the capacity of blockchain technology to transform international commercial arbitration and arbitration’s ability to adapt to emerging technologies. As interconnected digital markets and social interactions rapidly expand, disputes originating from these connections increase correlatively, highlighting the need for more effective dispute resolution methods. The research encompasses the concept of arbitration, the impact of online dispute resolution mechanisms, and the influence of blockchain technology on arbitration processes. The analysis centers on the compatibility of online dispute resolution and blockchain arbitration within the international legislative framework, and whether blockchain arbitration could constitute a distinct legal order rooted in Lex Cryptographia. The inquiry addresses the challenges and opportunities in integrating blockchain technology into arbitration, including cybersecurity, confidentiality, and efficiency concerns, as well as the validity and enforceability of cryptographic arbitration agreements and awards. The thesis examines emerging blockchain arbitration platforms and reveals their potential to resolve small to medium-sized claims efficiently and cost-effectively, offering innovative solutions for various dispute situations. It advocates for a transitionary hybrid model, integrating blockchain arbitration within the existing legal framework without necessitating statutory reforms, thus promoting seamless incorporation and enhancing the overall dispute resolution process. Furthermore, it explores the potential development of Lex Cryptographia as a self-contained legal system within the blockchain ecosystem. As the global economy shifts towards the Internet of Things, the demand for an arbitration system independent of state intervention grows increasingly crucial. By establishing tailored principles and frameworks explicitly designed for blockchain technology's unique characteristics, Lex Cryptographia could offer a more effective and autonomous arbitration system, allowing parties to resolve disputes without reliance on traditional state-based mechanisms. Consequently, this thesis underscores the transformative potential of blockchain technology in international commercial arbitration and its ability to automate contractual enforcement and dispute resolution. The findings emphasize the necessity for harmonized international standards and best practices to ensure the legal recognition and enforceability of blockchain-based arbitration awards and the exploration of self-contained legal systems anchored in the blockchain, shaping the future of international arbitration.

Der Paradigmenwechsel zur Entwicklungsmethodik innerhalb verteilter Kommunikationssysteme schlägt sich auch in der Telematik zum Anwendungspotential und Systemkomplexität nieder. Dies liefert eine neue Auffasung dessen, was den transparenten Datenkanal ausmacht.