La population des villes devrait doubler d'ici le milieu du siècle, selon les estimations de l’OMS. Cette augmentation rapide de la population a un impact sur les transports et la croissance économique, et accroîtra les responsabilités des autorités de gestion locales. Nous vivons une transformation des villes en villes intelligentes offrant de nouveaux services à la population, en optimisant l’utilisation des ressources disponibles. Qu'il s'agisse de données provenant des citoyens, de données gouvernementales ouvertes ou d'autres sources en ligne, une pluralité de sources de données peut permettre la création d’outils intelligents pour gérer efficacement les activités quotidiennes. De plus, grâce au progrès d'Internet et des technologies mobiles, les plateformes de réseaux sociaux (Twitter) sont devenues des modes de communication populaires. Elles permettent aux utilisateurs de partager un large éventail d'informations, y compris des données spatio-temporelles. Ainsi, Il est aisé d'accéder, en temps réel, à des connaissances provenant de différents types de données disponibles, riches, géo-référencées et issues de sources multiples et de les intégrer sur une carte. Il s'agit d'une réelle opportunité d'enrichir les cartes traditionnelles.Dans cette thèse, nous proposons d'abord un système de recommandation d'itinéraires, tenant compte des contraintes temps réel, en l'absence d'infrastructure physique ; en exploitant les données géolocalisées issues de réseaux sociaux (twitter) pour identifier les contraintes de trafic temps réel et, par conséquent, recommander un chemin optimisé. Nous avons mis en œuvre un système d'indexation à base de grille spatiale pour notre modèle de prédiction en quasi-temps réel. Ensuite, nous avons introduit le concept de "cartes intelligentes " intégrant la représentation visuelle de couches de « connaissances pertinentes » par le biais de la collecte, la gestion et l'intégration de sources de données hétérogènes. Contrairement aux cartes conventionnelles, les cartes intelligentes extraient des informations à partir des événements annoncés et découverts en temps réel (concerts, incidents, ...), les offres en ligne et les analyses statistiques (zones dangereuses, …) en encapsulant les données entrantes semi-structurées et non structurées dans des paquets génériques structurés.Cette méthodologie ouvre la voie à la fourniture de services et applications intelligents. De plus, le développement de ‘’cartes intelligentes’’ nécessite un traitement efficace et évolutif et la visualisation de couches basées sur les connaissances à plusieurs échelles cartographiques, permettant ainsi une navigation fluide et sans encombre. Enfin, nous présentons Hadath, un système évolutif et efficace qui extrait les événements sociaux d'une multitude de flux de données non structurés. Nous utilisons le traitement du langage naturel et les techniques de regroupement multidimensionnel pour extraire les ‘’événements pertinents’’ à différentes échelles cartographiques et pour déduire l'étendue spatio-temporelle des événements détectés.Le système comprend un composant de gestion et de prétraitement des différents types de sources de données et génère des paquets de données structurés à partir de flux non structurés. Notre système comprend également un schéma d'indexation spatio-temporelle hiérarchique en mémoire pour permettre un accès efficace et évolutif aux données brutes, ainsi qu'aux groupes d'événements extraits. Dans un premier temps, les paquets de données sont traités pour la découverte d’événements à l'échelle locale, puis l'étendue spatio-temporelle appropriée. Par conséquent, les événements détectés sont affichés à différentes résolutions spatio-temporelles, ce qui permet une navigation fluide. Enfin, pour valider notre approche, nous avons mené des expériences sur des flux de données réelles. Le résultat final du système proposé, nommé Hadath crée une expérience unique et dynamique de navigation cartographique. / The population in cities is slated to double by mid-century according to estimates prepared by the World Health Organization. This rapid increase in population will impact transportation and economic growth, and will increase responsibilities of local managing authorities and different stakeholders. It is a need of the hour to convert cities into smart cities in order to provide new service to the public, by using available resources in an optimum manner. From crowd-sourced data and open governmental data to other online sources, a variety of data sources can provide users with smart tools to efficiently manage their daily activities. Moreover, with the advancement in Internet and mobile technologies, social networking platforms such as Facebook and Twitter have become popular modes of communication. They allow users to share a spectrum of information, including spatio-temporal data, both publicly and within their community of interest in real-time. Scrutinizing knowledge from different types of available, rich, geo-tagged, and crowd-sourced data and incorporating it on a map has become more feasible. This presents a real opportunity to enrich traditional maps and enhance conventional spatio-temporal queries with the help of different types of data extracted from a variety of available data sources. In this thesis, we first propose a constraint-aware route recommendation system in lack of physical infrastructure environment that leverages geo-tagged data in social media and user-generated content to identify upcoming traffic constraints and, thus, recommend an optimized path. We have designed and developed a system using a spatial grid index to inform users about upcoming constraints and calculate a new, optimized path in minimal response time. Later, the concept of “smart maps” will be introduced by collecting, managing, and integrating heterogeneous data sources in order to infer relevant knowledge-based layers. Unlike conventional maps, smart maps extract information about live events (e.g., concert, competition, incidents, etc.), online offers, and statistical analysis (e.g., dangerous areas) by encapsulating incoming semi- and un-structured data into structured generic packets. This methodology sets the ground for providing different intelligent services and applications. Moreover, developing smart maps requires an efficient and scalable processing and the visualization of knowledge-based layers at multiple map scales, thus allowing a smooth and clutter-free browsing experience. Finally, we introduce Hadath, a scalable and efficient system that extracts social events from a variety of unstructured data streams. Hadath applies natural language processing and multi-dimensional clustering techniques to extract relevant events of interest at different map scales, and to infer the spatio-temporal extent of detected events. The system comprises a data wrapping component which digests different types of data sources, and prepossesses data to generate structured data packets out of unstructured streams. Hadath also implements a hierarchical in-memory spatio-temporal indexing scheme to allow efficient and scalable access to raw data, as well as to extracted clusters of events. Initially, data packets are processed to discover events at a local scale, then, the proper spatio-temporal extent and the significance of detected events at a global scale is determined. As a result, live events can be displayed at different spatio-temporal resolutions, thus allowing a smooth and unique browsing experience. Finally, to validate our proposed system, we conducted experiments on real-world data streams. The final output of our system named Hadath creates a unique and dynamic map browsing experience

The main purpose of this work is to investigate if the US ́s killing of Osama bin Laden on 2 May 2011 in Abbottabad in Pakistan was lawful. The background to the killing is what happened on 11 September 2001 when four US airplanes were hijacked and crashed into World Trade Center and Pentagon. Al Qaeda, a terrorist organisation led by Osama bin Laden, was immediately suspected for the attacks, which led to the starting point of the US ́s ‘global war on terror’. This work tries to give a short brief on ‘global war on terror’ and answer if there is a global war on terror and/or if a new category of war is needed. In order to get an answer to the main question of this work I had to investigate if US is in an international armed conflict or in a non-international armed conflict with Al Qaida. Another important question to investigate is if an armed conflict in one State can spill over to another State and still be consider as an armed conflict. Other important questions to answer are, if Osama bin Laden was a legitimate target under international humanitarian law, if he was a civilian or if he had a continuous combat function and what level of participation in hostilities he had? Not less important is also to investigate if human rights law is applicable when Osama bin Laden was killed, especially the fundamental right to life. Lastly I end my investigation with a quick review of the laws of jus ad bellum in order to get an answer if US had a right to resort to force in Pakistan. My conclusion is that the US was not involved in an armed conflict with al Qaeda in Pakistan where the killing took place. The conflict between the US and al Qaeda in Afghanistan is to be categorised as a non-international conflict. This conflict cannot be described as a conflict that has spilled over to Abbottabad where Osama bin Laden was killed. All people, including Osama bin Laden, has a right to life. Because of lack of information on what happened in Abbottabad when Osama bin Laden was killed it is impossible to give a clear legal answer if the US had the right to kill him. It could be lawful, but it could also be considered as a crime against international human rights law.

L’introduction de la question prioritaire de constitutionnalité a fait de la question de l’effectivité des décisions du Conseil constitutionnel un problème central du contentieux constitutionnel français. Les relations entre le Conseil constitutionnel et les destinataires de ses décisions (principalement le législateur, le juge ordinaire et l’Administration) n’ont en effet jamais été aussi étroites que depuis l’entrée en vigueur du mécanisme de contrôle de constitutionnalité a posteriori. Avec la QPC, les décisions du juge constitutionnel sont désormais susceptibles d’affecter plus directement l’activité du législateur, la solution des litiges devant les juridictions ordinaires ou l’issue d’une demande à l’Administration. Cette multiplication des hypothèses où des décisions du juge constitutionnel doivent être exécutées augmente corrélativement les risques d’ineffectivité. Cette recherche s’attachera tout d’abord à appréhender l’exigence d’effectivité des décisions QPC. Il s’agira de déterminer dans quelle mesure il découle de l’autorité attachée aux décisions QPC du Conseil constitutionnel une obligation générale d’exécution pesant sur les destinataires. Il faudra également définir avec précision les prescriptions et interdictions spécifiques découlant de cette obligation générale d’exécution en examinant notamment la question complexe des effets dans le temps des décisions QPC. Le cadre théorique posé, il sera possible d’évaluer l’effectivité des décisions QPC. Cela consistera à étudier l’exécution ou non par les destinataires des obligations énoncées par le Conseil dans ses décisions afin d’obtenir des taux d’effectivité et d’ineffectivité. Cette évaluation permettra enfin de s’interroger sur les causes et l’incidence de l’effectivité et de l’ineffectivité des décisions QPC. / The introduction in 2008 by the french pouvoir constituant of a new procedureallowing a constitutional review post legem by the Conseil constitutionnel deeply changed therelations between the constitutional jugde and those who are supposed to implement hisdecisions (specifically the legislator, non constitutional judges and administrative authorities). With the constitutional review post legem, the Conseil constitutionnel’s decisions can nowdirectly impact the legislative process and command the solution of a dispute before a nonconstitutional judge or the review of a request by an administrative authority. The multiplicationof cases where a decision of the Conseil constitutionnel must be implemented could potentiallylead to an increase of ineffectivity of such decisions. Firstly, this study aims to get a betterunderstanding of the obligation to enforce a constitutional decision that derives from theConseil constitutionnal’s decisions binding authority. Then, this research will precisely definethe different obligations which must be implemented that derives from the general obligationto enforce the Conseil constitutionnel’s decisions. Then, we will compare those obligations withthe actual measures taken by the different implementing authorities to evaluate whether thosesdecisions are effective. At last, the study will concentrate on the causes and implication of theeffectivity or ineffectivity of the Conseil constitutionnel’s decisions.