Littérature scientifique sur le sujet « Système déclaratif »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Système déclaratif ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Articles de revues sur le sujet "Système déclaratif"
1
Kazadi, Eder Mbala. « Apport et stratégies de recouvrement de l’impôt sur les véhicules dans le budget de l’Etat Congolais. » KAS African Law Study Library - Librairie Africaine d’Etudes Juridiques 8, no 4 (2021) : 419–38. http://dx.doi.org/10.5771/2363-6262-2021-4-419.
Texte intégralRésumé :
Cette étude porte, telle que l’indique son intitulé, sur l’impôt sur les véhicules institué, conformément à la Constitution en vigueur, par la l’Ordonnance-loi n°13/001 du 23 février 2013 fixant la nomenclature des impôts, droits, taxes et redevances des provinces et des entités territoriales décentralisées ainsi que leurs modalités de répartition. Ensuite, il est encadré par l’Edit n°0002/08 du 22 janvier 2008 portant procédures relatives aux impôts, taxes, redevances et autres droits dus à la ville de Kinshasa et l’Edit n°0005/08 du 11 octobre 2008 relatif aux impôts, taxes et droits provinciaux dus à la Ville de Kinshasa. Dans ce sens, la réflexion développée est non seulement centrée sur l’analyse de ce cadre juridique mais elle aborde aussi quelques aspects factuels relevés dans la mise en application dudit impôt que l’on qualifie abusivement de « vignette » dans le langage courant. A la fin de quoi, elle propose la revue de stratégies que requiert actuellement le recouvrement de cet impôt auprès de ses assujettis en vue de rendre son imposition plus significative et, par delà, permettre le renforcement du système fiscal congolais qui, concrètement, devrait être plus incitatif, persuasif qu’uniquement auto déclaratif et liquidatif pour le renflouement de la caisse budgétaire de la Ville Province de Kinshasa et par ricochet celle de l’Etat.
2
Bakkali, Mohammed, Khadija Elwardi et Amin Laglaoui. « Système de déclaration des événements indésirables dans un hôpital régional marocain ». Santé Publique 36, no 4 (18 septembre 2024) : 111–21. http://dx.doi.org/10.3917/spub.244.0111.
Texte intégralRésumé :
Objectif : Cette étude visait à déterminer les connaissances, attitudes et pratiques des professionnelles du Centre Hospitalier Régional du Nord du Maroc face au dispositif de signalement des effets indésirables (EI) et à identifier les principales actions d’amélioration pour promouvoir et pérenniser la déclaration des EI. Méthodes : Il s’agit d’une étude exploratoire transversale réalisée en 2019 à partir d’un questionnaire préétabli, prétesté et auto-administré auprès du personnel médical et paramédical exerçant à l’Hôpital Régional du Nord du Maroc et des entretiens semi-directifs. Résultats : Seulement 41 % des personnes interrogées ont déclaré connaître le processus général de déclaration. Les EI les plus signalés étaient des infections nosocomiales ou du site opératoire, suivis des EI liés à une intervention chirurgicale et invasive. La majorité des personnes interrogées ont perçu l’importance de mettre en œuvre un système de déclaration des EI pour garantir la sécurité des patients et du personnel (89,7 %) et contrôler les EI (82,4 %). Cependant, de nombreux obstacles à la déclaration des EI ont été soulignés. Les principales raisons de non-déclaration des EI étaient : la non-application des mesures correctives par manque de moyens (76,6 %) et le manque d’information sur le traitement, l’analyse et le suivi des EI (74,4 %). Conclusion : Compte tenu du nombre important de non- déclarants et des motifs de non-déclaration, des séances d’information et de sensibilisation devraient être menées pour mobiliser les différents acteurs autour de cet important dispositif de prévention des EI.
3
Aimé, X. « L’intelligence artificielle au service de la santé mentale ». European Psychiatry 30, S2 (novembre 2015) : S21. http://dx.doi.org/10.1016/j.eurpsy.2015.09.065.
Texte intégralRésumé :
L’intelligence artificielle est l’objet de nombreuses recherches, mais aussi de nombreux fantasmes. Elle vise à reproduire l’intelligence humaine dans ses capacités d’apprentissage, de stockage de connaissances et de calculs. Dans le domaine de l’ingénierie des connaissances, les premières représentations se sont largement inspirées des essais de modélisation de la mémoire sémantique. Cette dernière, composante de la mémoire à long terme, est la mémoire des mots, des idées, des concepts. C’est également le seul système de mémoire déclarative qui résiste de façon remarquable aux effets de l’âge. Des modifications cognitives non spécifiques peuvent diminuer les performances des sujets‚ âgés dans différentes épreuves et signalent plutôt des difficultés d’accès à des représentations sémantiques qu’une atteinte du stock sémantique lui-même. Certaines démences, avec au premier rang d’entre elle la démence sémantique, et dans un moindre mesure la maladie d’Alzheimer, se traduisent entre autre par une atteinte de la mémoire sémantique. Nous proposons dans cet article d’utiliser le modèle des ontologies computationnelles, modélisation formelle et relativement fine, au service de la neuropsychologie : pour le praticien dans des systèmes d’aide à la décision, pour le patient à titre de prothèse cognitive externalisée, et pour le chercheur afin d’étudier la mémoire sémantique.
4
Thürer, Daniel. « Avant-propos de Daniel Thürer ». Revue Internationale de la Croix-Rouge 80, no 831 (septembre 1998) : 434–35. http://dx.doi.org/10.1017/s0035336100055982.
Texte intégralRésumé :
Il y a cinquante ans… le 10 décembre 1948, l'Assemblée générale des Nations Unies adoptait solennellement la Déclaration universelle des droits de l'homme. Cet événement a constitué un tournant dans le développement du droit international. Dès lors, il a été considéré que l'être humain, dont les droits avaient été fixés au cours de la longue évolution de l'histoire constitutionnelle, était au centre du système juridique international.
5
Abou Fadel, Gina, et Henri Awaiss. « Procès, procédure, processus ». Meta 50, no 2 (20 juillet 2005) : 620–25. http://dx.doi.org/10.7202/011005ar.
Texte intégralRésumé :
Résumé Cette contribution a deux originalités : la première c’est d’être écrite à deux mains, la deuxième c’est d’appliquer une méthodologie de recherche dite « arabe » puisqu’elle se fonde sur la dérivation. Autour de la racine d’un mot s’articule une pléiade de concepts et de termes. Dans une première partie, nous ferons le procès du système d’enseignement traditionnel par années, en vigueur avant la mise en application de la Déclaration de Bologne ; système qui, malgré tout ce qu’on pourrait lui reprocher, a réussi à former des personnes capables de le remettre en question. La deuxième partie traitera du développement à l’ÉTIB de la procédure mise en place par le Système Européen des Crédits Transférables, plus communément connu sous le sigle ECTS. Le nouveau redéploiement pédagogique fera l’objet de la troisième partie : une répartition en quatre paliers, initiation, stratégies, domaines et synthèse théorique, est venue remplacer l’ancienne partition : traduction générale, traduction spécialisée.
6
Boulad-Ayoub, Josiane. « Les idées politiques de d’Holbach et la Déclaration des Droits de 1789 ». Articles 18, no 2 (6 août 2007) : 123–37. http://dx.doi.org/10.7202/027155ar.
Texte intégralRésumé :
RÉSUMÉ À partir du Système social et de la Politique naturelle du baron d'Holbach, l'auteur dégage les éléments constitutifs du modèle éthico-politique que ces ouvrages dessinent et en déterminent la valeur novatrice par rapport à l'idéologie sociopolitique de l'époque; la seconde partie de l'article examine la Déclaration des Droits de 1789 pour retracer dans quelle mesure la pensée politique de d'Holbach aura influencé la rédaction de ses articles.
7
Py, Jean-Yves, Imad Sandid, Olivier Lemaire, Victoire Lovi, Loik Connan, Philippe Mas et Anne-Marine Lenzotti. « La possibilité d’un système expert dans la déclaration des EIR ». Transfusion Clinique et Biologique 28, no 4 (novembre 2021) : S51. http://dx.doi.org/10.1016/j.tracli.2021.08.140.
Texte intégral
8
Eisenring, Gabriela. « Éléments constitutifs du système matrimonial helvétique ». Revue générale de droit 22, no 1 (21 mars 2019) : 181–93. http://dx.doi.org/10.7202/1058173ar.
Texte intégralRésumé :
L’auteur s’efforce de déterminer les éléments constitutifs de l’actuel système matrimonial helvétique. L’analyse de l’évolution historique de la codification du droit matrimonial montre que la structure du système matrimonial helvétique est le produit d’un processus de sécularisation qui a débouché sur un mariage civil obligatoire, ce qui constitue — d’une certaine manière — une violation de la liberté religieuse et de la liberté de conscience. En examinant ces éléments, l’auteur confirme que certains d’entre eux, comme l’unité, l’égalité et l’hétérosexualité du mariage, sont réellement inhérents au mariage et ne peuvent être ignorés du législateur. D’autres, par contre, comme celui de la dissolubilité et celui du consentement réduit à une simple déclaration formelle de la volonté de contracter mariage, semblent porter atteinte à l’essence même du mariage. L’auteur conclut en relevant l’importance d’une définition appropriée du mariage, de ses propriétés et de sa finalité afin de délimiter clairement le mariage face à d’autres formes de communautés non matrimoniales telles que le concubinage. Cela permettrait une revalorisation du vrai mariage exigé par la dignité de la personne humaine.
9
Boulanger, Virginie, Étienne Poirier, Anne MacLaurin et Caroline Quach. « Divergences entre les données administratives sur les infections associées aux soins de santé et les données issues de la surveillance active au Canada ». Relevé des maladies transmissibles au Canada 48, no 1 (26 janvier 2022) : 4–18. http://dx.doi.org/10.14745/ccdr.v48i01a02f.
Texte intégralRésumé :
Contexte : Bien que le Canada dispose à la fois d’un système national de surveillance active et de données administratives pour la surveillance passive des infections associées aux soins de santé (IASS), chacun des deux systèmes présente des forces et des faiblesses au niveau de la collecte et de la communication des données. La surveillance active et la surveillance passive fonctionnent de manière indépendante, ce qui donne parfois des résultats divergents. Pour comprendre les divergences qui existent entre les données administratives sur la santé et les données issues de la surveillance active, un examen de la portée a été réalisé. Méthodes : Des recherches ont été menées dans les bases de données Medline, Embase et Cumulative Index to Nursing and Allied Health Literature, ainsi que dans la littérature grise pour trouver des études en anglais et en français évaluant l’utilisation de données administratives, seules ou en comparaison avec les données issues de la surveillance traditionnelle et réalisées au Canada entre 1995 et le 2 novembre 2020. Après avoir extrait les renseignements pertinents des articles sélectionnés, un résumé descriptif des résultats a été présenté, accompagné de suggestions pour améliorer les systèmes de surveillance, dans le but d’optimiser la qualité globale des données. Résultats : Seize articles répondaient aux critères d’inclusion, dont douze études observationnelles et quatre revues systématiques. Ces études ont démontré que l’utilisation d’une seule source de données administratives n’était pas assez précise pour la surveillance des IASS, par rapport à la surveillance active traditionnelle. Cependant, la combinaison de différentes sources de données ou la combinaison de données administratives et de données issues de la surveillance active en améliore la précision. Les systèmes de surveillance électronique peuvent également renforcer la surveillance en augmentant la capacité à détecter les IASS potentielles. Conclusion : Bien que la surveillance active des IASS ait produit les résultats les plus précis et demeure la norme d’excellence en la matière, l’intégration des données issues de la surveillance active et passive peut être optimisée. Les données administratives peuvent être utilisées pour renforcer la surveillance active traditionnelle. De futures études sont nécessaires pour évaluer la faisabilité et les avantages des solutions potentielles proposées pour l’utilisation des données administratives pour la surveillance et la déclaration des IASS au Canada.
10
Degrémont, Antoine. « Maladies transmissibles, systèmes de santé et aide humanitaire en Afrique ». Revue Internationale de la Croix-Rouge 76, no 808 (août 1994) : 397–405. http://dx.doi.org/10.1017/s0035336100090201.
Texte intégralRésumé :
Où en sommes-nous, quelles leçons tirer et quelles stratégies adopter en matière de contrôle des maladies transmissibles? Ceci, quinze ans environ après deux événements majeurs dans le développement de la santé: la Déclaration d'Alma Ata sur les soins de santé primaires et la découverte du dernier cas mondial de variole. Telles sont les questions auxquelles nous nous efforcerons de répondre dans cet article, sur la base de l'expérience de l'Institut Tropical Suisse en Afrique.
Thèses sur le sujet "Système déclaratif"
1
Nguyen, Phuong Lan. « Un système déclaratif de types pour PROLOG ». Phd thesis, Grenoble INPG, 1992. http://tel.archives-ouvertes.fr/tel-00004731.
Texte intégralRésumé :
Cette thèse présente un système de types pour le langage Prolog, intégrant la notion de mode, c'est-à-dire le degré d'instanciation des termes. Le type d'un prédicat est caractérisé par les types d'appel et de retour de ses arguments, ce qui permet d'en spécifier plus finement le comportement. Le système est déclaratif : l'utilisateur doit fournir les types de tous les prédicats. Un langage de types est défini, permettant d'exprimer la notion de polymorphisme paramétrique, ainsi que la relation d'inclusion entre types. Une condition suffisante de bon typage est présentée et validée théoriquement. Cette condition permet de vérifier qu'un programme a un comportement compatible avec les spécifications de types de ses prédicats. Un prototype du système a été réalisé, permettant une validation pratique de la condition de bon typage.
2
Plaice, John. « Sémantique et compilation de LUSTRE, un langage déclaratif synchrone ». Grenoble INPG, 1988. http://www.theses.fr/1988INPG0032.
Texte intégralRésumé :
Le langage étudie est un langage de programmation des systèmes temps réel fonde sur une interprétation synchrone des réseaux a flux de données. Son compilateur a été conçu entièrement à partir de descriptions formelles de la sémantique du langage. L'originalité principale du compilateur est qu'il tient d'une part aux vérifications statiques de cohérence temporelle et d'autre part à la génération de code séquentiel, par synthèse du contrôle sous forme d'automate fini
3
Channac, Stéphance. « Conception et mise en oeuvre d'un système déclaratif de géométrie dynamique ». Université Joseph Fourier (Grenoble), 1999. http://tel.archives-ouvertes.fr/tel-00004819.
Texte intégralRésumé :
Cette thèse a pour objet de montrer la faisabilité d'un système de "géométrie dynamique déclarative". Un tel système, GDRev (pour Géométrie Déclarative Réversible) a été conçu et réalisé, dans l'optique de l'enseignement de la géométrie. D'un point de vue conceptuel, GDRev repose sur la définition d'un langage logique, ELDL (pour Extented Logical Description Language), pour l'expression de spécifications de "figures" (l'objet mathématique sous-jacent à un dessin) : il intègre la possibilité de spécifications modulaires et récursives, via l'usage de "clauses". Au niveau dessin, GDRev est pourvu d'un langage de construction et d'animation dont la sémantique est définie à l'aide de ELDL. L'interface, qui peut être vu comme une extension déclarative de celle de Cabri-Géomètre, doit assurer, d'une façon originale, d'une part des fonctionnalités équivalentes par manipulation directe sur la figure et sur le dessin, d'autre part un invariant imposant la cohérence temporelle entre figure et dessin. D'un point de vue algorithmique, GDRev résout les contraintes géométriques par "coopération de solveurs" reposant sur un schéma de "programmation concurrente avec contraintes". Trois résolveurs généraux (linéaires, quadratiques, intervalle) coopèrent avec trois résolveurs spécifiques et originaux : complétion d'objets (créant automatiquement des objets), complétion de propriétés (ajoutant automatiquement des propriétés redondantes à la figure), règle et compas (calculant une construction optimisée de la figure pour l'animation du dessin). D'un point de vue pratique, GDRev est réalisé par interopérabilité entre les interfaces écrites en Visual C++ et le résolveur de contraintes géométriques écrit en Prolog IV. Les expérimentations réalisées ont donné des résultats encourageants en particulier en ce qui concerne le choix des heuristiques utilisées.
4
Lavergne-Boudier, Valérie. « Système dynamique d'interrogation des bases de données bibliographiques ». Paris 7, 1990. http://www.theses.fr/1990PA077243.
Texte intégralRésumé :
Les bases de données bibliographiques répondent à des protocoles d'organisation très formels qui vont de pair avec des méthodes d'interrogation rigides. Cette étude propose de nouvelles méthodes d'interrogation qui prennent en compte le point de vue de l'utilisateur et son modèle personnel d'organisation et de représentation des connaissances. La requête se fait à partir de la structuration des données disponibles de la base de données bibliographique, sous forme de cartes cognitives. Les cartes cognitives sont des représentations personnalisées de connaissances dans lesquelles sont définies des conditions d'apparition de concepts selon des modèles booléens. Une carte cognitive permet d'exploiter un fonds bibliographique de façon nouvelle, en se présentant comme une grille d'analyse définie spécifiquement pour répondre à une question donnée. Elle permet également d'exploiter des coïncidences partielles qui permettent de révéler de l'information en émergence.
5
Makris, Dimitrios. « Etude et réalisation d'un système déclaratif de modélisation et de génération de styles par algorithmes génétiques : Application à la création architecturale ». Limoges, 2005. http://www.theses.fr/2005LIMO0037.
Texte intégralRésumé :
Dans ce mémoire nous étudions la possibilité d'introduire le concept de style dans la modélisation déclarative afin de faciliter la conception architecturale pendant la phase conceptuelle. Pour étudier une telle hypothèse, une méthodologie de la phase de conception architecturale utilisant le style a été développée. La méthode est placée dans le cadre de la modélisation déclarative et des algorithmes évolutionnaires. En particulier nous développons le cadre de modélisation des connaissances architecturales. Nous proposons une modélisation du style dans le cycle de conception déclaratif et un moteur de génération de solutions basé sur un algorithme génétique multi-objectif. Le résultat est le système prototype de conception déclarative évolutionnaire-MultiCAD d'aide à la conception architecturale. La méthode résultante permet de quantifier avec succès des critères qualitatifs esthétiques d'un bâtiment. Notre système constitue un outil de conception esthétique assisté par ordinateur. In this thesis we study the possibility to introduce the concept of style in declarative modelling in order to aid architectural design during the conceptual phase. In order to study such a hypothesis we have develop a methodology of architectural conceptual design utilising style. The method is based in the frame of declarative modelling, and evolutionary algorithms. In particular, we develop a framework for the modelling of architectural knowledge. We define a model of style based on the declarative conceptual cycle. Moreover we develop a new engine for the generation of solutions. This engine is based on multiobjective genetic algorithms. The result is a system prototype for Evolutionary Declarative Design-MultiCAD for the aid of conceptual architectural design. The resulted method could successfully quantify aesthetic qualitative criteria of a building. Our system points towards a computer aided aesthetic design tool
6
Ahmad, Kassem Ahmad. « Programming Networks with Intensional Destinations ». Phd thesis, INSA de Lyon, 2013. http://tel.archives-ouvertes.fr/tel-00908354.
Texte intégralRésumé :
La programmation distribuée est une tâche difficile. Elle a énormément gagné en importance avec le développement des réseaux qui supportent un nombre croissant exponentiellement d'applications. Les systèmes distribués fournissent des fonctionnalités assurées par les noeuds qui forment un réseau et échangent des données et services, éventuellement par le biais de messages. La provenance du service n'est souvent pas pertinente, alors que sa fiabilité est essentielle. Notre objectif est de fournir un nouveau modèle de communication qui permet de spécifier intentionnellement lequel service est demandé, et non les noeuds qui le fournissent. Cette spécification intentionnelle des échanges offre un potentiel pour faciliter la programmation distribuée, garantir la persistance des données dans les messages et la résilience des systèmes, qui constituent le sujet de cette thèse. Nous proposons donc un cadre qui supporte des messages avec destinations intentionnelles, qui sont évaluées uniquement à la volée au fur et à mesure du déplacement des messages. Nous introduisons un langage, Questlog, qui gère les destinations intentionnelles. Contrairement aux langages à base de règles existants pour les réseaux, comme Datalog, qui suivent le mode push, Questlog permet d'exprimer des stratégies complexes afin de récupérer de manière récursive des données distribuées en mode pull. Le langage fonctionne sur une machine virtuelle qui s'appuie sur un SGBD. Nous démontrons l'approche avec des exemples pris dans deux domaines: (i) les architectures orientées données, où une classe restreinte d'applications client-serveur sont distribuées de manière transparente sur les systèmes pair-à-pair basés sur une DHT, (ii) les réseaux de capteurs sans fil, où un protocole de groupement des noeuds en clusters virtuels est proposé pour agréger les données. Dans ce protocole, les chefs des clusters sont élus à l'aide des destinations intentionnelles. Nos simulations sur la plate-forme QuestMonitor montrent que cette approche offre une simplicité, une modularité aux protocoles, ainsi qu'une fiabilité accrue.
7
Roncancio, Claudia Lucia. « Règles actives et règles déductives dans les bases de données à objets ». Université Joseph Fourier (Grenoble), 1994. http://www.theses.fr/1994GRE10240.
Texte intégralRésumé :
L'objectif de cette thèse est l'enrichissement d'un système de gestion de bases de données à objets (SGBDO) par l'intégration de certaines fonctions typiquement remplies par des langages de règles. Plus précisément, nous nous sommes intéressés à l'intégration de règles actives dans un système à objets, afin de lui conférer la capacité de réagir à des situations particulières. Nous avons travaillé cet aspect en profondeur et nous proposons un modèle de règles actives qui tient pleinement compte des spécificités du contexte objet. Nous avons étudié l'approche langage de programmation pour base de données (LPBD) et l'intégration des règles actives dans un tel langage. Ceci a été validé par l'application de notre modèle de règles au LPBD orienté objet Peplom, pour lequel nous proposons les éléments nécessaires à une intégration harmonieuse du point de vue du modèle de données, du langage proprement dit ainsi que de sa mise en œuvre. Ceci constitue la partie principale de notre travail. Une deuxième partie de cette thèse, plus prospective et complémentaire à la première, porte sur l'intégration de règles déductives dans ce même contexte. Nous nous intéressons ici à des règles propres aux bases de données déductives, dont le principal objectif est de fournir un langage à la fois déclaratif et puissant pour la déduction d'information. Ces caractéristiques, fortement appréciées pour la manipulation de données, sont absentes de la plupart des LPBD des systèmes à objets et ne sont pas non plus les traits essentiels des règles actives telles que nous les proposons. Face à cette constatation, nous proposons l'intégration d'un langage de règles déductives à un langage de programmation essentiellement impératif
8
Niang, Papa Maleye. « Langage déclaratif pour la détection d'intrusions ». Thesis, Université Laval, 2014. http://www.theses.ulaval.ca/2014/30523/30523.pdf.
Texte intégralRésumé :
Ce mémoire présente un langage déclaratif de description de scénarios et de modèles d’attaques, ainsi qu’un moteur de détection qui lui est associé. Le langage s’inspire fortement de l’état de l’art dans le domaine des IDS (système de détection d’intrusions) et il s’approprie les qualités de plusieurs de ses références telles que LTL, Snort, Lambda, ou Chronicle. Il représente aussi une évolution majeure de la première version introduite dans un précédent travail, dans le sens où nous avons introduit de nouveaux opérateurs, nous avons associé une sémantique formelle au langage, ainsi qu’un système de règles de réécriture permettant le calcul d’une forme normale ; nous offrons aussi la possibilité de définir des modèles d’attaques. Les modèles étant différents des scénarios, le comportement du moteur de détection a été enrichi, augmentant l’expressivité du langage par rapport à sa version initiale.
9
Dragonas, Jean. « Modélisation déclarative collaborative : systèmes collaboratifs pour la modélisation déclarative en synthèse d'image ». Limoges, 2006. http://aurore.unilim.fr/theses/nxfile/default/8981cb7b-81c5-4bfb-9e01-33b2f5f36ab7/blobholder:0/2006LIMO0027.pdf.
Texte intégralRésumé :
Ce mémoire contribue au développement de systèmes collaboratifs de modélisation déclarative par décomposition hiérarchique en synthèse d’images. Nous avons étudié dans un premier temps les systèmes actuels qui existent dans le domaine de la conception collaborative basée sur Internet et sur les technologies Web. Ensuite, nous avons développé un modèle d’utilisateur et de processus de modélisation collaborative déclarative. Puis un mécanisme de collaboration pendant la phase de description déclarative de scènes a été développé, basé sur la gestion de l’arbre de décomposition de la scène et du contenu sémantique du modèle déclaratif. Une méthode et des outils appropriés de gestion de projets en Modélisation Déclarative Collaborative ont été développés, focalisés sur le support du processus d’administration des flux de travailThis thesis is concerned with the contribution to the development of collaborative systems for declarative modelling by hierarchical decomposition in image synthesis. Initially, we have studied the existing systems in the field of collaborative design based on Internet and Web technologies. Next, we have developed user models and collaborative processes for declarative modelling. A mechanism for collaboration during the phase of declarative description of scenes has been developed, based on the management of the decomposition tree of the scene and the semantic contents of the declarative model. Finally, a method and the appropriate tools for project management in Collaborative Declarative Modelling have been developed, focused on the administration support of the process workflow
10
Michel, Olivier. « Représentations dynamiques de l'espace dans un langage déclaratif de simulation ». Phd thesis, Université Paris Sud - Paris XI, 1996. http://tel.archives-ouvertes.fr/tel-00305731.
Texte intégralRésumé :
Les travaux de recherche effectués dans cette thèse s'inscrivent dans le cadre du projet 81/2 qui développe des structures de données et de contrôle expressives et efficaces pour la simulation de systèmes dynamiques. L' objectif de ce travail est de concevoir, étudier et développer des représentations dynamiques de l'espace dans un cadre déclaratif.Nos travaux ont consisté à introduire dans 81/2 deux nouvelles structures de données, les GBF et les amalgames, en proposant une formalisation et en étudiant leur implémentation. Les GBF permettent de représenter des espaces réguliers et homogènes, tandis que les amalgames permettent de construire, par calcul, des espaces hétérogènes et ad-hoc. Ces deux nouvelles notions trouvent directement leur application dans le domaine de la simulation des systèmes hautement dynamiques (comme par exemple les processus de croissance en biologie). Elles trouvent aussi une application directe en informatique classique, en fournissant un nouveau cadre théorique pour 1) la spéciffication, l'analyse et l' implémentation de données récursives (les GBF permettent en particulier de considérer les arbres et les tableaux dans le même cadre théorique) ; 2) la conception et la formalisation des nouveaux mécanismes de programmation incrémentielle qui commencent à apparaître dans des langages tels que Java (les amalgames permettent en particulier de conjuguer à la fois un mécanisme d' instanciation par capture implicite et d'extension des programmes). GBF et amalgames sont d'abord étudiés pour eux-mêmes puis sont introduits et intégrés au langage déclaratif 81/2 pour donner lieu à la déffinition du langage 81/2D .
Nous avons montré, par de nombreux exemples signifficatifs, la pertinence des choix effectués. Ceux- ci mettent en évidence le gain en expressivité apporté par l'enrichissement de la notion d'espace, et des primitives permettant la déffinition d'objets sur ces espaces. Les notions de GBF et d'amalgame permettent la déffinition, de façon extrêmement concise, de structures de données régulières et irrégulière, dans un cadre déclaratif, et ouvrent de nouvelles voies pour la paramétrisation et la construction incrémentielle de programmes.
Chapitres de livres sur le sujet "Système déclaratif"
1
JAFFAR, Robert. « Les formes de la mémoire ». Dans L’explosion des formes de vie, 131–61. ISTE Group, 2020. http://dx.doi.org/10.51926/iste.9005.ch8.
Texte intégralRésumé :
On distingue différentes formes ou systèmes de mémoire. Ces systèmes diffèrent par la nature des informations qu’ils traitent et conservent et les circuits cérébraux qui les sous-tendent. Une première distinction est faite entre mémoires à court terme et à long terme puis, au sein de cette dernière, entre mémoire déclarative (épisodique et sémantique) et non déclarative (notamment procédurale et perceptive). Bien que distincts, ces différents systèmes interagissent.
2
MADEC, S., et E. VALADE. « Transport aérien de patients hautement contagieux ». Dans Médecine et Armées Vol. 46 No.4, 399–404. Editions des archives contemporaines, 2018. http://dx.doi.org/10.17184/eac.7331.
Texte intégralRésumé :
Le transport aérien de patients hautement contagieux est un défi humain et technique, à la croisée de problématiques médicales, aéronautiques, réglementaires internationales et parfois éthiques. Les grands principes sont bien connus en matière de confinement et de biosécurité. Dans le cadre de la maladie à virus Ebola, le point de départ a été la déclaration de la directrice générale de l’Organisation mondiale de la santé le 8 août 2014 définissant l’épidémie en Afrique de l’Ouest comme une urgence de santé publique de portée internationale et enjoignant les pays occidentaux à être capables de rapatrier leurs ressortissants. Le travail initié reste à ce jour inachevé, le système de confinement industrialisé restant au stade de prototype et le projet de remplacement du caisson de transport pour l’entrée et la sortie n’ayant pas encore abouti. Il existe par ailleurs de nombreuses autres solutions techniques développées en Europe et aux États-Unis qui illustrent les deux grandes approches possibles avec des systèmes souples ou rigides. La permanence de la menace biologique illustrée par les récentes épidémies à Corona Virus nécessite de disposer de cette capacité.
3
« Le processus et systèmes nationaux ». Dans Enquête 2008 de suivi de la mise en œuvre de la Déclaration de Paris, 31–38. OECD, 2009. http://dx.doi.org/10.1787/9789264050853-4-fr.
Texte intégral
4
« Alignement de l'aide sur les systèmes nationaux ». Dans Enquête 2008 de suivi de la mise en œuvre de la Déclaration de Paris, 39–52. OECD, 2009. http://dx.doi.org/10.1787/9789264050853-5-fr.
Texte intégralRapports d'organisations sur le sujet "Système déclaratif"
1
Marchildon, Allison, Steve Jacob et Aude Marie Marcoux. Grille de réflexivité sur les enjeux éthiques des systèmes d’intelligence artificielle (SIA). Observatoire international sur les impacts sociétaux de l’intelligence artificielle et du numérique, octobre 2021. http://dx.doi.org/10.61737/oxha5372.
Texte intégralRésumé :
Des membres de la communauté scientifique de l’Obvia ont élaboré une grille de réflexivité portant sur les enjeux éthiques des systèmes d’intelligence artificielle (SIA) et construite à partir des 10 principes qui composent la Déclaration de Montréal pour un développement responsable de l’intelligence artificielle. Se présentant sous la forme d’un questionnaire avec réponses ouvertes, cette grille a été conçue pour accompagner les membres des équipes qui font la conception, l’opérationnalisation et la gestion de SIA dans la prise en compte des enjeux éthiques découlant du développement et de l’utilisation de ces nouvelles technologies. S’inscrivant dans une perspective de recherche participative et visant le développement d’outils éthiques utiles aux praticiennes et praticiens, cette grille se veut en évolution constante à la lumière des besoins et de l’expérience des acteurs et des actrices susceptibles de l’utiliser.
2
Megersa, Kelbesa. Technologie et fiscalité : Adoption et impact des services électroniques au Rwanda. Institute of Development Studies, mai 2024. http://dx.doi.org/10.19088/ictd.2024.069.
Texte intégralRésumé :
De nombreux pays à faible revenu numérisent de plus en plus leurs services fiscaux, ce qui peut apporter toute une série d’avantages, allant de la réduction des coûts de mise en conformité et de l’amélioration de la tenue des registres à la réduction des possibilités de corruption et à l’amélioration de l’équité du système fiscal. Cependant, la concrétisation de ces avantages dépend des niveaux adéquats de sensibilisation et d’adoption des services électroniques parmi les contribuables ; lorsque ces niveaux ne sont pas optimaux, les services fiscaux électroniques peuvent ne produire que des avantages partiels. Le présent document examine le degré de sensibilisation et d’adoption des services fiscaux en ligne au Rwanda, depuis la période pré-pandémique jusqu’à deux ans après le début de la crise de COVID-19. Le pays n’a cessé d’accroître la numérisation de son administration fiscale, davantage encore pendant la pandémie. La déclaration et le paiement électroniques des impôts sont obligatoires depuis 2015 et deux services électroniques différents sont disponibles à cet effet : E-tax, une plateforme web gratuite conçue pour être utilisée sur des ordinateurs et des smartphones, et M-declaration, une application pour téléphone portable qui permet des paiements en argent mobile et propose une méthode plus simple pour remplir une déclaration. Ceci nous permet d’effectuer une analyse comparative des deux solutions. A cet effet, nous appliquons une approche méthodologique mixte, en utilisant une enquête par panel représentative au niveau national portant sur 2,000 contribuables assujettis à l’impôt sur les sociétés (IS) et sur lerevenu des personnes physiques (IRPP). Pour cette enquête, nous avons utilisé des informations de référence recueillies avant la COVID-19 et réalisé quatre séries de suivi après la pandémie, sans oublier les groupes de discussion (GD) avec 24 utilisateurs de services en ligne. Résumé du document de travail 153.
3
Tinta, Jule Kaïni, Mouhamed Zerbo, Fabrizio Santoro, Awa Diouf et Kèrabouro Palé. Services électroniques et conformité fiscale : l’expérience des petites et moyennes entreprises au Burkina Faso. Institute of Development Studies, janvier 2025. https://doi.org/10.19088/ictd.2024.115.
Texte intégralRésumé :
Les services fiscaux électroniques représentent une opportunité prometteuse de renforcer la conformité fiscale des entreprises dans les pays en développement, en particulier en Afrique, où le niveau d’informalité des entreprises reste élevé. Ces services offrent un accès plus large, plus sûr et plus rapide aux procédures fiscales afin de permettre aux entreprises de s’acquitter plus efficacement de leurs obligations à cet égard. L’utilisation de plateformes électroniques aide également les entreprises à tenir des registres financiers plus précis, ce qui améliore la qualité des déclarations fiscales et la perception de l’efficacité des contrôles effectués par le fisc. En outre, ces technologies augmentent la transparence et la prévisibilité du système fiscal en fournissant des données fiables et facilement accessibles pour le calcul de l’impôt. Elles permettent également aux gouvernements d’encourager la formalisation des entreprises informelles en introduisant des incitations fiscales ou en réduisant certaines taxes sur les transactions numériques. Les gouvernements africains privilégient de plus en plus cette approche dans le but de moderniser les systèmes fiscaux tout en relevant les défis de la mobilisation des ressources intérieures et de l’intégration des entreprises informelles dans l’économie formelle. Dans ce contexte, le gouvernement burkinabè a lancé en avril 2018 eSINTAX, une plateforme numérique dédiée à la déclaration et au paiement des impôts. Cette initiative innovante s’inscrit dans une stratégie plus large de modernisation fiscale visant à améliorer la conformité, réduire l’évasion fiscale et intégrer un plus grand nombre d’entreprises dans le cadre fiscal formel, marquant ainsi une avancée majeure dans la transformation numérique de la fiscalité au Burkina Faso.
4
Derrick, Fossong, et Ashu Mc Moi Ndi. Politique fiscale numérique et collecte des recettes fiscales au Cameroun. Institute of Development Studies, novembre 2024. http://dx.doi.org/10.19088/ictd.2024.091.
Texte intégralRésumé :
Le Cameroun a adopté une politique fiscale numérique il y a environ huit ans. Avant la mise en oeuvre complète de la politique fiscale numérique en 2016, les communes du Cameroun, en particulier les communes rurales et les communes d’arrondissement, ont signalé de nombreuses difficultés dues à des retards et à des irrégularités dans le partage des revenus du ouvernement central (impôts partagés). Les impôts directs et les redevances perçus par les communes étaient considérés comme faibles, compte tenu des efforts nécessaires pour les percevoir. Il est important de comprendre si l'adoption de la politique fiscal numérique a permis d'augmenter les recettes fiscales indispensables aux projets des collectivités locales et d'accroître les recettes fiscales générales. Les recettes fiscales générales correspondent aux transferts obligatoires vers le gouvernement central à des fins publiques et se composent de la rente des ressources, des impôts directs et indirects, et des taxes sur le commerce. Cette étude se penche sur les effets de la politique fiscale numérique sur la collecte des recettes fiscales au Cameroun en utilisant des données trimestrielles de 2010 à 2021 et une technique d'estimation par la méthode des décalages distribués autorégressifs (ARDL). Les résultats révèlent que la politique fiscal numérique mise en place en 2016 a eu un impact positif et significatif à long terme sur les recettes fiscales générales, mais un impact négatif et significatif à court terme sur les recettes fiscales générales. L'impact était positif mais non significatif sur les recettes fiscales locales prélevées par les communes, tant à long terme qu'à court terme. Les résultats indiquent que les gains positifs de la politique fiscale numérique au Cameroun n'ont pas encore été pleinement atteints en raison des contraintes locales dans les zones rurales. Sur la base de nos constatations, nous recommandons que les chefs d'entreprises soient formés à l'utilisation du système de déclaration et de paiement en ligne. Cela améliorera la facilité d'utilisation, réduira la dépendance vis à vis des agents et stimulera la collecte des recettes fiscales générales et des impôts locaux.