Letteratura scientifica selezionata sul tema "Objet combinatoire"

Les startups interviennent sur des marchés où l’incertitude est forte. Elles doivent par conséquence adapter en permanence leur Business Model (BM) aux besoins et exigences de leurs parties prenantes induisant l’adoption de méthodes de management plus réactif et flexible. Ce papier a pour objet de citer une revue de littérature concernant les différentes méthodes de management de l’innovation dans les entreprises en mode start-up dans l’objectif de développer un modèle combinatoire liant les trois approches : Lean Startup, Effectuation et Design Thinking. Ce modèle combinatoire représente le processus qui fait appel aux différentes approches de management d’innovation permettant de réussir la création, le développement et la croissance de projets innovants.

L’article présente des réflexions épistémologiques sur le programme de recherche qui a pour objet l’étude de l’activité de langage exprimée par les langues, activité qui ne se ramène pas à la simple communication et à l’expression de la pensée. Il présente certains concepts importants de la théorie de l’énonciation en les articulant avec des schèmes sémantico-cognitifs, qui représentent les significations d’unités grammaticales et lexicales, et qui sont engendrés, dans le formalisme de la Logique Combinatoire de Curry, par des compositions et des transformations d’opérateurs primitifs ancrés sur les activités cognitives de perception et d’action mais non réduits à ces activités.

Cet article se propose de réfléchir à certaines limites que l'on assigne en général à la grammaire et partant à son enseignement. En particulier, on va s'attacher à mettre en évidence ce que pourrait apporter à la didactique du français langue étrangère une conception de la grammaire comme couvrant un champ large, incluant certaines zones limites entre la liberté combinatoire et le figement. Pour ce faire, on partira des objectifs assignés à un enseignement de grammaire dans une classe de langue et on montrera qu'ils posent le problème de l'adéquation du modèle grammatical enseigné aux observables. La réflexion proposée ici s'appuie sur celle de Chevallard (1991 : 39) autour de la notion de transposition didactique définie comme le « travail qui, d'un objet de savoir à enseigner, fait un objet d'enseignement ». D'une certaine manière, c'est une réduction de l'écart entre l'objet d'enseignement (la grammaire du français langue étrangère) et l'objet de savoir (la linguistique descriptive du français) qui est préconisée ici.

El objetivo de este trabajo es mostrar las diferentes concepciones existentes en la lexicografía española de lo que se entiende por diccionario combinatorio. Dado que no hay consenso sobre cuál debe ser el objeto de un diccionario combinatorio, nos centraremos en la concepción teórica de las colocaciones, tal y como se entiende en la Lexicología explicativa y combinatoria (Mel’čuk 2012). A continuación nos detendremos en la descripción de los tres diccionarios combinatorios del español actuales (Redes, Práctico y DiCE), para pasar a mostrar el diseño de una nueva herramienta en línea que sirve para ayudar a escoger colocaciones en el proceso de escritura.

Object-oriented combinator chemistry (OOCC) is an artificial chemistry with composition devices borrowed from object-oriented and functional programming languages. Actors in OOCC are embedded in space and subject to diffusion; since they are neither created nor destroyed, their mass is conserved. Actors use programs constructed from combinators to asynchronously update their own states and the states of other actors in their neighborhoods. The fact that programs and combinators are themselves reified as actors makes it possible to build programs that build programs from combinators of a few primitive types using asynchronous spatial processes that resemble chemistry as much as computation. To demonstrate this, OOCC is used to define a parallel, asynchronous, spatially distributed self-replicating system modeled in part on the living cell. Since interactions among its parts result in the construction of more of these same parts, the system is strongly constructive. The system's high normalized complexity is contrasted with that of a simple composome.

Abstract An interest in producing sounds during play behaviour might be a forerunner for music. Thus, we explored object play behaviour involving sounds in cockatiels (Nymphicus hollandicus). We provided them with several objects producing sounds and recorded sound production, spontaneous warbles and drumming during breeding, pre- and post-breeding. Birds manipulated the objects in a playful way. They manipulated them less during breeding than during pre- and post-breeding, but the proportion of manipulations producing sounds were higher during post-breeding and breeding than during pre-breeding. Males manipulated the objects more frequently and produced more sounds than females. Youngsters manipulated the objects more than adults. One bird repeatedly put a bell on a xylophone; we discuss several possible explanations for the behaviour, including tool use. Only males warbled and drummed, and during breeding only. Our results suggest an enriching effect of the objects on the birds. Many aspects of musicality remain to be studied.

AbstractWe define a finally tagless, shallow embedding of a typed grammar language. In order to avoid the limitations of traditional parser combinator libraries (no bottom-up parsing, no full grammar analysis or transformation), we require object-language recursion to be observable in the meta-language. Since existing proposals for recursive constructs are not fully satisfactory, we propose new finally tagless primitive recursive constructs to solve the problem. To do this in a well-typed way, we require considerable infrastructure, for which we reuse techniques from the multirec generic programming library. Our infrastructure allows a precise model of the complex interaction between a grammar, a parsing algorithm and a set of semantic actions. On the flip side, our approach requires the grammar author to provide a type- and value-level encoding of the grammar's domain and we can provide only a limited form of constructs like many. We demonstrate five meta-language grammar algorithms exploiting our model, including a grammar pretty-printer, a reachability analysis, a translation of quantified recursive constructs to the standard one and an implementation of the left-corner grammar transform. The work we present forms the basis of the grammar-combinators parsing library1, which is the first to work with a precise, shallow model of abstract context-free grammars in a classical (not dependently typed) functional language and which supports a wide range of grammar manipulation primitives. From a more general point of view, our work shows a solution to the well-studied problem of observable sharing in shallowly embedded domain-specific languages and specifically in finally tagless domain-specific languages.

Seis variedades criollas de maíz, sobresalientes por sus cualidades eloteras y sus 15 cruzas directas se evaluaron en dos localidades de Chiapas con objeto de conocer la aptitud combinatoria general y la específica del contenido de azúcares medida en °Brix, así como la heterosis manifestada en las cruzas. Se encontró que sólo los efectos génicos aditivos fueron significativos (P ≤ 0.05), lo que indica que esta característica elotera puede ser mejorada en las variedades criollas de mayores efectos de aptitud combinatoria general mediante el uso de esquemas de selección recurrente para explotar la varianza aditiva presente. Las variedades progenitoras ‘Campechano’ y ‘Paloma’ tuvieron los mayores efectos de ACG (0.781 y 0.381), al producir los elotes más dulces con 13.1 y 12.9 °Brix, respectivamente. Las cruzas tuvieron valores bajos de heterosis.

Architectural innovation can be accelerated by combining different types of elements. Of the many different combinations architecture can incorporate, this article focuses solely on the interaction between geometric elements. Several important architects and theorists whose design proposals and texts have contributed to the discussion of combination strategies will be studied to clarify different methods of geometric combination: Fumihiko Maki’s strategies of aggregation through a collection of elements; Stan Allen’s elaboration of aggregation strategy, where elements can be removed or added without affecting the overall collection; Robert Venturi’s strategies of juxtaposition and superimposition; and Thom Mayne's expansion of juxtaposition and superposition by employing Boolean operations strategies in conjunction with aggregation strategies. These references provide valuable resources for teaching strategies of combination to architecture students. Combination, in this pedagogical context, is defined as two or more geometric elements or sets of elements that interact through adjacency, aggregation, superposition, or subtraction, with the new combined assembly having the potential to be distinct from the original elements. This article examines the pedagogical implications of two computational approaches of incorporating combinatory methods: image-based and object-based. Combinatorics helps guide students in designing the relationships between different elements so that the resulting system generates systems that emerge from relationships rather than element composition. A key benefit is that the system can produce results extending beyond students’ preconceptions. Students can then analyze and learn from the results of their experiments, following a learning-through-making approach. An important aspect of this approach is using computation to design the relationships of elements, with computation becoming a design partner enabling students to rapidly iterate and understand the implications of the relationships they have designed. Computation accelerates the evolution of the design process and reveals the complex interactions of combinatory behavior.

RésuméL'expression durative postverbale en chinois mandarin a été traitée dans quatre approches différentes dans la littérature, à savoir l'approche de complément, l'approche de prédicat, la cooccurrence des structures de complément et de prédicat et l'approche d'adjoint. Dans cet article, nous proposons une analyse combinatoire par adjoint et par prédicat en tenant compte des facteurs à la fois syntaxiques et sémantiques non seulement de l'expression durative postverbale, mais aussi des verbes et des objets auxquels les duratifs peuvent s'attacher. Nous avons pour objectif de montrer que ce sont ces facteurs conjoints qui permettent de déterminer la distribution en surface et la position syntaxique de l'expression durative postverbale en chinois mandarin.

Pour améliorer l’efficacité des méthodes de résolution de nombreux problèmes d’optimisation combinatoires de notre vie quotidienne, nous utilisons la programmation par contraintes pour générer automatiquement des conjectures. Ces conjectures caractérisent des objets combinatoires utilisés pour modéliser ces problèmes d’optimisation. Ce sont notamment les graphes, les arbres, les forêts, les partitions et les séquences. Contrairement à l’état de l’art, le système, dénommé Bound Seeker, que nous avons élaboré ne génère pas seulement de manière indépendante les conjectures, mais il explicite aussi des liens existant entre les conjectures. Ainsi, il regroupe les conjectures sous forme de bornes précises sur une même variable associée à un même objet combinatoire. Ce regroupement est appelé carte de bornes de l’objet combinatoire considéré. Enfin, une étude consistant à établir des liens entre les cartes générées est faite. Le but de cette étude est d’approfondir les connaissances sur les objets combinatoires et de développer des prémices de preuves automatiques des conjectures. Pour montrer la cohérence des cartes générées par le Bound Seeker, nous élaborons quelques preuves manuelles des conjectures découvertes parle Bound Seeker, ce qui permet de démontrer la pertinence de quelques nouveaux théorèmes de bornes. Pour illustrer l’une des utilités pratiques de ces bornes, nous introduisons une méthode de génération semi-automatique d’algorithmes de filtrage qui réduisent l’espace de recherche des solutions d’un problème d’optimisation combinatoire. Cette réduction est faite grâce aux nouveaux théorèmes de bornes que nous avons établis après les avoir sélectionnés automatiquement parmi les conjectures générées par le Bound Seeker. Pour montrer l’efficacité de cette technique, nous l’appliquons avec succès au problème d’élaboration des cursus académiques équilibrés d’étudiants
To improve the efficiency of solution methods for many combinatorial optimisation problems in our daily lives, we use constraints programming to automatically generate conjectures. These conjectures characterise combinatorial objects used to model these optimisation problems. These include graphs, trees, forests, partitions and Boolean sequences. Unlike the state of the art, the system, called Bound Seeker, that we have developed not only generates conjectures independently, but it also points to links between conjectures. Thus, it groups the conjectures in the form of bounds of the same variable characterising the same combinatorial object. This grouping is called a bounds map of the combinatorial object considered. Then, a study consisting of establishing links between generated maps is carried out. The goal of this study is to deepen knowledge on combinatorial objects and to develop the beginnings of automatic proofs of conjectures. Then, to show the consistency of the maps and the Bound Seeker, we develop some manual proofs of the conjectures discovered by the Bound Seeker. This allows us to demonstrate the usefulness of some new bound theorems that we have established. To illustrate one of its concrete applications, we introduce a method for semi-automatic generation of filtering algorithms that reduce the search space for solutions to a combinatorial optimisation problem. This reduction is made thanks to the new bound theorems that we established after having automatically selected them from the conjectures generated by the Bound Seeker. To show the effectiveness of this technique, we successfully apply it to the problem of developing balanced academic courses for students

Dans ce travail, nous nous sommes intéressés à l'étude asymptotique d'objets combinatoires aléatoires. Deux thèmes ont particulièrement retenu notre attention : les cartes planaires aléatoires et les modèles combinatoires liés à la théorie des fragmentations. La théorie mathématique des cartes planaires aléatoires est née à l'aube de notre millénaire avec les travaux pionniers de Benjamini & Schramm, Angel & Schramm et Chassaing & Schaeffer. Elle a ensuite beaucoup progressé, mais à l'heure où ces lignes sont écrites, de nombreux problèmes fondamentaux restent ouverts. Résumons en quelques mots clés nos principales contributions dans le domaine : l'introduction et l'étude du cactus brownien (avec J.F. Le Gall et G. Miermont), l'étude de la quadrangulation infinie uniforme vue de l'infini (avec L. Ménard et G. Miermont), ainsi que des travaux plus théoriques sur les graphes aléatoires stationnaires d'une part et les graphes empilables dans $\R^d$ d'autre part (avec I. Benjamini). La théorie des fragmentations est beaucoup plus ancienne et remonte à des travaux de Kolmogorov (1941) et de Filippov (1961). Elle est maintenant bien développée (voir par exemple l'excellent livre de J. Bertoin), et nous ne nous sommes pas focalisés sur cette théorie mais plutôt sur ses applications à des modèles combinatoires. Elle s'avère en effet très utile pour étudier différents modèles de triangulations récursives du disque (travail effectué avec J.F. Le Gall) et les recherches partielles dans les quadtrees (travail effectué avec A. Joseph).

Cette thèse se présente tout d'abord comme une étude exploratoire des techniques, des méthodes et des systèmes de résolution de problèmes avec contraintes, basée sur un retour d'expérience industriel. Devant l'émergence, ces dernières années, de nouvelles techniques ou outils pour résoudre les problèmes fortement combinatoires, ce document se propose de restituer plus précisément le contexte de la résolution de ces problèmes complexes en : passant en revue les approches disponibles, collectant le maximum de techniques, les comparant ; précisant les liens entre recherche opérationnelle et programmation par contraintes. Une méthodologie répondant de manière efficace à ces problèmes complexes (dits avec contraintes) est alors suggérée. Enfin, la dernière partie étudie les perspectives de quelques techniques au travers d'une structure d'accueil en programmation logique

Dans cette thèse, nous décrivons une réalisation géométrique des carquois de type Dynkin, et certains carquois euclidiens. Nous traitons le cas D ̃n en profondeur et démontrons quelques résultats complémentaires aux travaux de Baur, Marsh et Torkildsen sur les réalisations géométriques des catégories amassées supérieures. Pour le cas D ̃n, on trouve la figure qui correspond à l'étude, on démontre la compatibilité entre le flip d'une (m+2)-angulation, et la mutation de carquois coloré. On trouve une bijection entre les objets m-rigides et chaque arc dit admissible, puis entre les objets amas-basculants et les (m+2)-angulations. De plus, on démontrela compatibilité entre la réduction d'Iyama-Yoshino, et le fait de couper le long d'un arc, qu'on définira formellement. Nous démontrons aussi qu'une catégorie exacte est une catégorie de préfibration au sens de Anderson-Brown-Cisinski, qui vérifie le théorème de Quillen, et une catégorie de Frobenius est munie d'une structure de modèle, compatible avec le passage à la catégorie stable, qui est triangulée
We show that a subcategory of the m-cluster category of type D ̃n is isomorphic to a category consisting of arcs in an (n - 2)m-gon with two central (m - 1)-gons inside of it. We show that the mutation of colored quivers and m-cluster-tilting objects is compatible with the flip of an (m + 2)-angulation. In this thesis, we study the geometric realizations of m-cluster categories of Dynkin types A, D, A ̃ and D ̃. We show, in those four cases, that there is a bijection between (m + 2)-angulations and isoclasses of basic m-cluster tilting objects. Underthese bijections, flips of (m + 2)-angulations correspond to mutations of m-cluster tilting objects. Our strategy consists in showing that certain Iyama-Yoshino reductions of the m-cluster categories under consideration can be described in terms of cutting along an arc the corresponding geometric realizations. This allows to infer results from small cases to the general ones. Let Ɛ be a weakly idempotent complete exact category with enough injective and projective objects. Assume that M ⊆ Ɛ is a rigid, contravariantly finite subcategoryof Ɛ containing all the injective and projective objects, and stable under taking direct sums and summands. In this paper, Ɛ is equipped with the structure of a prefibration category with cofibrant replacements. As a corollary, we show, using the results of Demonet and Liu in [DL13], that the category of finite presentation modules on the costable category M is a localization of Ɛ. We also deduce that Ɛ → modM admits a calculus of fractions up to homotopy. These two corollaries are analogues for exact categories of results of Buan and Marsh in [BM13], [BM12] (see also [Bel13]) that hold for triangulated categories. If Ɛ is a Frobenius exact category, we enhance its structure of prefibration category to the structure of a model category (see the article of Palu in [?] for the case of triangulated categories). This last result applies in particular when Ɛ is any of the Hom-finite Frobenius categories appearing in relation to cluster algebras

Le cube de Fibonacci est un sous-graphe isométrique de l'hyper- cube ayant un nombre de Fibonacci de sommets. Le cube de Fibonacci a été initialement introduit par W-J. Hsu comme un réseau d'interconnexion et, comme l'hypercube, il a des propriétés topologiques très attractives, mais avec une croissance plus modérée. Parmi ces propriétés, nous discutons de l'hamiltonicité dans le cube de Fibonacci et aussi dans le cube de Lucas qui est obtenu à partir du cube de Fibonacci en supprimant toutes les chaînes qui commencent et nissent avec 1. Nous trouvons également le nombre de som- mets des cubes de Fibonacci et Lucas ayant une certaine excentricité. En n, nous présentons une étude de deux cubes du point de vue de la domination et du 2-packing.

Le cube de Fibonacci est un sous-graphe isométrique de l'hyper- cube ayant un nombre de Fibonacci de sommets. Le cube de Fibonacci a été initialement introduit par W-J. Hsu comme un réseau d'interconnexion et, comme l'hypercube, il a des propriétés topologiques très attractives, mais avec une croissance plus modérée. Parmi ces propriétés, nous discutons de l'hamiltonicité dans le cube de Fibonacci et aussi dans le cube de Lucas qui est obtenu à partir du cube de Fibonacci en supprimant toutes les chaînes qui commencent et nissent avec 1. Nous trouvons également le nombre de som- mets des cubes de Fibonacci et Lucas ayant une certaine excentricité. En n, nous présentons une étude de deux cubes du point de vue de la domination et du 2-packing
The Fibonacci cube is an isometric subgraph of the hypercube having a Fibonacci number of vertices. The Fibonacci cube was originally proposed by W-J. Hsu as an interconnection network and like the hypercube it has very attractive topological properties but with a more moderated growth. Among these properties, we discuss the hamiltonicity in the Fibonacci cube and also in the Lucas cube which is obtained by removing all the strings that begin and end with 1 from the Fibonacci cube. We give also the eccentricity sequences of the Fibonacci and the Lucas cubes. Finally, we present a study of both cubes from the domination and the 2-packing points of view

Cette thèse se situe dans le domaine de la combinatoire énumérative et bijective. La thèse commence par une introduction sur les structures et les méthodes qui sont ensuite utilisées. Puis elle se divise en deux parties. La première analyse des problèmes liés à ECO. En particulier, on analyse le problème de monter des règles de succession équivalentes. Plus précisément, on introduit des classes de règles équivalentes et on démontre l’équivalence en utilisant la méthode ECO. Dans le chapitre 3, on montre comment déterminer des règles de succession associées à une grande classe de récurrences littéraires positives croissantes. Puis on montre comment il est possible de décrire des récurrences linéaires au moyen de règles de succession négatives. Dans la seconde partie on étudie les relations entre les grammaires d’objets et la méthode ECO. En particulier, dans le chapitre 4, on montre comment on peut passer d’une grammaire d’objet à un ECO système associé selon un paramètre linéaire. Dans le chapitre 5 ce résultat est étendu au cas des paramètres q-linéaire pour les grammaires unidimensionnelles. Dans le chapitre 6 on obtient, d’une façon quasi-automatique, une grammaire pour la classe des polyominos convexes à partir d’un ECO système pour cette classe
This thesis is about enumerative and bijective combinatorics. We start by giving an introduction to the basic objects and methods we use (chapter 1). Then, the thesis divides in two parts. In the first part we address various questions about the expressiveness of the ECO method. In particular, in chapter 2 we talk about the problem of the equivalence of succession rules. More precisely, we introduce some classes of equivalent succession rules, by showing their equivalence using the ECO method and the generating functions. In chapter 3 we show how to represent a large class of positive linear recurrences by means of succession rules. Then, we show how any linear recurrence could be treated by means of signed succession rules. In the second part of the thesis, the relations between object grammars and ECO method are studied. In particular, in chapter 4 we show how it is possible to pass from an object grammar to an associated ECO-system according to a linear parameter. In chapter 5 we extend this result to natural q-parameters on unidimensional object grammars. In chapter 6 we provide, in a quasi-automatic way, a grammar for the class of convex polyominoes from an ECO-system for this class

Après une longue hégémonie des langages procéduraux, la programmation orientée-objet s'impose progressivement comme la technologie d'excellence pour le génie logiciel. Le développement de telles applications reste cependant délicat, tant les problèmes traités peuvent être complexes et hétérogènes, et les langages de programmation orientée-objet parfois mal appropriés. De nouveaux outils et de nouvelles méthodes d'aide au développement sont régulièrement proposés, ainsi que des langages de plus en plus ouverts et performants. Cette thèse s'inscrit dans le cadre de la spécifification et de la compilation de CLAIRE, un langage de programmation orientée-objet de haut niveau, offrant des objets réflexifs, des types étendus, des fonctions paramétriques et polymorphes, des ensemnles concrets et abstraits, des règles de production et des primitives pour le raisonnement hypothétique. Ce langage, plus spécialement dédié à l'écriture d'algorithmes hybrides pour les problèmes d'optimisation combinatoire, vient avec un environnement de programmation complet réconciliant expresivité et efficacité. CLAIRE étant une plate-forme de développement amenée à évoluer, une nouvelle version est proposée avec des collections originales, un riche système de types permettant un typage fort, sûr et flexible, et la possibilité de générer des programmes Java lisibles et maintenables. De plus, un outil de calculs statiques de métriques permet d'établir la qualité des applications CLAIRE, d'identifier leurs faiblesses et de visualiser graphiquement les améliorations réalisées au cours des différentes versions. La combinaison entre la nouvelle plate-forme et l'outil de mesures de qualité assure une plus grande maîtrise des développements en CLAIRE.

Les réseaux « Internet des Objets » se composent de plusieurs millions d’objets qui possèdent une adresse IP et qui peuvent connecter sur Internet. En général, ces objets sont supposé d’être autonomes et peuvent résoudre des tâches; mesurer, traiter et fournir des informations pour les systèmes connectés et pour les utilisateurs. Aussi, ces réseaux sont vulnérables (c.-à-d. : les éléments peuvent être mobiles et la topologie du réseau peut changer dynamiquement), les changements peuvent influencer le (bon) fonctionnement du réseau. De plus, ils peuvent être alimentés par des batteries de durée de vie limitée, ce que nécessite la réduction de leur consommation.Ce travail de thèse aborde un sujet important dans le domaine de l’Internet des Objets, qui consiste à savoir comment assurer la robustesse et le fonctionnement tolérant aux pannes du réseau pour répondre aux exigences des missions critiques. Avec le large déploiement des services IdO, ce problème est deventé ou de détection de pannes et de sécurité industriel où l’état des objets communicants doit être constamment vérifié pour le rétablissement rapide en cas de problème particulièrement crucial pour les applications telles que le monitorage intelligent de sames de communication inattendus. On cherche alors de minimiser le coût du monitorage et l’utilisation de l’énergie, et aussi les charges additionnelles sur les réseaux.Nous avons proposé un algorithme qui vise à réaliser un placement distribué des moniteurs avec une complexité minimale pour le calcul. L’algorithme proposé fonctionne avec RPL. L’objectif principal est d’augmenter la robustesse dans les réseaux IdO ciblant les applications critiques en temps réel via le monitorage des liaisons dans les DODAGs construits par RPL. Dans notre première contribution, le problème est modélisé comme un problème de couverture minimale des sommets (VCP) sur le DODAG. Nous avons développé un algorithme à temps polynomial qui transforme le DODAG en une décomposition arborescente (Nice-Tree Decomposition) avec une largeur arborescente (treewidth) d’unité. Cette stratégie profite de la spécificité des DODAG et a abouti à une réduction significative de la complexité de la résolution du VCP sur les DODAG. Elle peut être résolue en temps polynomial.La deuxième proposition est un modèle approché pour l’optimisation de l’ordonnancement du rôle de monitorage des nœuds dans les réseaux IdO, afin de maximiser la durée de vie des dispositifs embarqués à ressources limitées, tout en minimisant le coût global du monitorage de réseau. Le monitorage de réseau est très coûteux, en particulier pour les réseaux à ressources limitées tels que l’IdO. Par conséquent, le monitorage doit être économe en énergie et avec des frais généraux minimaux sur la performance normale du réseau. Notre travail correspondant contient une proposition d’un modèle mathématique en trois phases pour assurer l’exigence d’une couverture des moniteurs tout en minimisant la consommation d’énergie de monitorage et les frais de communication.Notre modèle proposé décompose le problème abordé en trois problèmes d’optimisation bien connus, il s’agit du problème de couverture de sommets, problème d’affectation généralisé multi-objectives et problème de voyageur de commerce.Dans cette troisième partie, une approche exacte est proposée pour résoudre le problème décrit dans (Contribution 2). Comme nous avons vu, la décomposition en trois phases ne donne pas la solution exacte. Nous avons donc proposé une formulation exacte du problème qui consiste en un problème de l'affectation minimum des tâches de surveillance avec un fonctionnement de surveillance cyclique. Pour cela, nous avons formulé un programme en nombres entiers binaires. L'ordonnancement optimal garantit la couverture du graphe pour la surveillance avec une consommation d'énergie minimale
By connecting billions of things to the Internet, IoT created a plethora of applications that touch every aspect of human life. Time-sensitive, mission-critical services, require robust connectivity and strict reliability constraints. On the other hand, the IoT relies mainly on Low-power Lossy Networks, which are unreliable by nature due to their limited resources, hard duty cycles, dynamic topologies, and uncertain radio connectivity. Faults in LLNs are common rather than rare events, therefore, maintaining continuous availability of devices and reliability of communication, are critical factors to guarantee a constant, reliable flow of application data.After a comprehensive literature review, and up to our knowledge, it is clear that there is a call for a new approach to monitoring the unreliable nodes and links in an optimized, energy-efficient, proactive manner, and complete interoperability with IoT protocols. To target this research gap, our contributions address the correct assignment (placement) of the monitoring nodes. This problem is known as the minimum assignment problem, which is NP-hard. We target scalable monitoring by mapping the assignment problem into the well-studied MVC problem, also NP-hard. We proposed an algorithm to convert the DODAG into a nice-tree decomposition with its parameter (treewidth) restricted to the value one. As a result of these propositions, the monitor placement becomes only Fixed-Parameter Tractable, and can also be polynomial-time solvable.To prolong network longevity, the monitoring role should be distributed and balanced between the entire set of nodes. To that end, assuming periodical functioning, we propose in a second contribution to schedule between several subsets of nodes; each is covering the entire network. A three-phase centralized computation of the scheduling was proposed. The proposition decomposes the monitoring problem and maps it into three well-known sub-problems, for which approximation algorithms already exist in the literature. Thus, the computational complexity can be reduced.However, the one major limitation of the proposed three-phase decomposition is that it is not an exact solution. We provide the exact solution to the minimum monitor assignment problem with a duty-cycled monitoring approach, by formulating a Binary Integer Program (BIP). Experimentation is designed using network instances of different topologies and sizes. Results demonstrate the effectiveness of the proposed model in realizing full monitoring coverage with minimum energy consumption and communication overhead while balancing the monitoring role between nodes.The final contribution targeted the dynamic distributed monitoring placement and scheduling. The dynamic feature of the model ensures real-time adaptation of the monitoring schedule to the frequent instabilities of networks, and the distributed feature aims at reducing the communication overhead

Les problèmes d'optimisation combinatoire sont souvent complexes et NP-difficiles. En outre, ceux issus de l'industrie sont particulièrement caractérisés par une évolution continuelle de leur modélisation en termes de contraintes et d'objectifs, et leur résolution est souvent gourmande en ressources matérielles. L'utilisation de plate-formes (ou frameworks) pour l'optimisation à grande échelle s'avère nécessaire pour la conception rapide et flexible de méthodes parallèles hybrides réutilisables pour le traitement de problèmes réels sur grilles de calcul. Nous proposons une plate-forme logicielle libre appelée ParadisEO, dédiée à la conception de méta-heuristiques parallèles hybrides pour la résolution de problèmes mono et multi-objectifs nécessitant en particulier la mise en oeuvre conjointe de méthodes avancées d'optimisation et des systèmes parallèles et distribués. La démarche méthodologique de conception de cette plate-forme est dirigée par une séparation conceptuelle claire entre les méthodes de résolution et les problèmes à traiter. Il s'agit de l'une des rares plates-formes existantes intégrant différents modèles parallèles et mécanismes d'hybridation pouvant être exploités de manière transparente sur réseaux de stations à mémoire distribuée et machines parallèles à mémoire partagée. Dans les premières expérimentations des différents modèles et mécanismes, nous montrons que les ressources de calcul atteignent vite leurs limites avec l'augmentation de la taille du problème et/ou la mise en oeuvre de plusieurs niveaux de coopération et d'hybridation. Aussi, le parallélisme à grande échelle basé sur l'utilisation de grilles de calcul devient incontournable
Dans le cadre de l'ACI GRID DOC-G, nous nous sommes intéressés à la " gridification" de la plate-forme. Nous montrons que le déploiement sur environnements de Méta-Computing n'est pas immédiat. Différentes problématiques ont été identifiées: l'hétérogénéité matérielle et logicielle, la volatilité des ressources, de longs délais de communication, le passage à l'échelle, etc. Afin d'assurer un déploiement sûr et efficace à l'exécution, nous proposons diverses solutions en terme d'algorithmique. Divers aspects ont été considérés et relèvent de l'asynchronisme des communications, de la mise en oeuvre conjointe de plusieurs modèles parallèles hiérarchiques et enfin du checkpointing au niveau applicatif. Dans sa phase de validation, la plate-forme ParadisEO a été évaluée sur plusieurs problèmes académiques et réels. Deux applications industrielles ont été modélisées et traitées: le design de réseaux cellulaires en téléphonie mobile (contrat France Telecom R&D) et la sélection d'attributs en fouille de données spectroscopiques. Les expérimentations réalisées successivement sur grappes de SMPs dédiées et sur un réseau enseignement de stations non dédiées ont permis d'obtenir des résultats significatifs sur des instances de grande taille. Ils montrent la performance à l'exécution des différents modèles parallèles supportés par ParadisEO et ce, sur différentes architectures (parallèles et/ou distribuées)

Abstract This chapter presents two models of confusion, the belief model and the concept model. It argues that the models ought to capture both combinatory and separatory cases of confusion, that is, both cases where two objects are taken for one and one object is taken for two. Positive arguments are developed in favor of the belief model and it is shown that objections developed by Ruth Millikan and Joseph Camp are inconclusive. They have argued that mistaking two objects for one cannot consist in a mental state of believing that those two objects are identical because, roughly, the thinker will not have the two required concepts at their disposal, only the one. This chapter shows in some detail that this is not true, by arguing that the mental state in question can be an implicit belief. The notion of implicit belief is then examined in more depth in the next chapter.

This book is to be an accessible book on patterns, their representation, and inference. There are a small number of ideas and techniques that, when mastered, make the subject more accessible. This book has arisen from ten years of a research program which the authors have embarked upon, building on the more abstract developments of metric pattern theory developed by one of the authors during the 1970s and 1980s. The material has been taught over multiple semesters as part of a second year graduate-level course in pattern theory, essentially an introduction for students interested in the representation of patterns which are observed in the natural world. The course has attracted students studying biomedical engineering, computer science, electrical engineering, and applied mathematics interested in speech recognition and computational linguistics, as well as areas of image analysis, and computer vision. Now the concept of patterns pervades the history of intellectual endeavor; it is one of the eternal followers in human thought. It appears again and again in science, taking on different forms in the various disciplines, and made rigorous through mathematical formalization. But the concept also lives in a less stringent form in the humanities, in novels and plays, even in everyday language. We use it all the time without attributing a formal meaning to it and yet with little risk of misunderstanding. So, what do we really mean by a pattern? Can we define it in strictly logical terms? And if we can, what use can we make of such a definition? These questions were answered by General Pattern Theory, a discipline initiated by Ulf Grenander in the late 1960s [1–5]. It has been an ambitious effort with the only original sketchy program having few if any practical applications, growing in mathematical maturity with a multitude of applications having appeared in biology/medicine and in computer vision, in language theory and object recognition, to mention but a few. Pattern theory attempts to provide an algebraic framework for describing patterns as structures regulated by rules, essentially a finite number of both local and global combinatory operations. Pattern theory takes a compositional view of the world, building more and more complex structures starting from simple ones. The basic rules for combining and building complex patterns from simpler ones are encoded via graphs and rules on transformation of these graphs.