yusuke1997/dblp-id-title huggingface dataset:
The Internet of Everything - Introducing Privacy
Ethics and Adaptive Touch Interfaces
Brain-Computer Interfacing with Interactive Systems - Case Study 2
Probabilistic Text Entry - Case Study 3
Ethics and Secure Gestures
Preface to Special Issue on Software Verification
Ethics and Smart Cities
The 1980 ACM Turing Award Lecture
Theory of Mind and Joint Attention
Rapport Between Humans and Socially Interactive Agents
Ethical Issues in Digital Signal Processing and Machine Learning
Communities of Computing: Computer Science and Society in the ACM
From Handmaiden to "Proper Intellectual Discipline": Creating a Scientific Identity for Computer Science in 1960s America
The Development of Computer Professionalization in Canada
Framing Computer Security and Privacy, 1967-1992
"Deeply Political and Social Issues": Debates within ACM 1965-1985
ACM and the Computing Revolution
Hypertext, Digital Libraries, and Beyond: A History of ACM SIGWEB
Other Places of Invention: Computer Graphics at the University of Utah
The History and Purpose of Computing Curricula (1960s-2000s)
The Anatomy of an Encounter: Transnational Mediation and Discipline Building in Cold War Computer Science
Concern for the 'Disadvantaged': ACM's Role in Training and Education for Communities of Color (1958-1975)
Organized Advocacy for Professional Women in Computing: Comparing Histories of the AWC and ACM-W
George Forsythe and the Creation of Computer Science As We Know It
Solving a Career Equation: The First Doctoral Women in Computer Science
Contributions to program analysis: expressivity and scalability. ( Contributions aux analyses de programmes, expressivité, passage à l'échelle)
Hémodynamique cardiaque : modèles biomécaniques et modalités échocardiographiques pour l'application clinique
Vers une méthodologie globale de conception et de génération semi-automatique des IHM pour les systèmes industriels
Multi modal images analysis and processing in oncology. (Analyse et traitement d'images multi modales en oncologie)
Pilotage des urgences par analyse et exploitation géométrique et topologique des flux de patients. (Emergency management by geometric and topological analysis and exploitation of the patient flow)
Blood and air flow multi-scale simulations based on real data
Randomisation, sphères et déplacements de robots
From Model Complexity Reduction to Feature Selection in Deep Learning: a Regularization Story. (De la réduction de la complexité des modèles à la sélection des caractéristiques dans l'apprentissage profond : une histoire de régularisation)
Utilisation de la modélisation à l'exécution : objectif, challenges et bénéfices
Garantir les temps de réponse des réseaux embarqués à l'aide du calcul réseau. (Guaranteeing the response time of embedded networks with network calculus)
Contributions to code optimization and high performance library generation
Contributions in Audio Modeling for Solving Inverse Problems: Source Separation, Compression and Inpainting
Visual attention modelling and applications. Towards perceptual-based editing methods
Micro-architectural side channels: Studying the attack surface from hardware to browsers
Contributions aux systèmes de localisation et de navigation par satellite
Représentation et construction des systèmes d'information par l'image. (Representation and construction of information system with images)
Methodology, models and paradigms for a next generation transport layer design. (Méthodologie, modèles et paradigmes pour la conception d'une couche transport de nouvelle génération)
Some applications of asymptotic analysis in communication networks
Fouille de données, Contributions Méthodologiques et Applicatives. (Data Mining, Contributions in Methods and Applications)
Contributions au calcul géométrique effectif avec des objets courbes de faible degré. (Contributions to effective geometric computing with low-degree curved objects)
Static Analysis for Data-Centric Web Programming
Modèles statistiques pour l'analyse d'images, algorithmes et applications en imagerie bio-cellulaire et moléculaire. (Statistical models for image analysis, algorithms and application to bio-cellular and molecular imaging)
Modelling, Reverse Engineering, and Learning Software Variability
Contributions au traitement des incertitudes en modélisation numérique : propagation d'ondes en milieu aléatoire et analyse statistique d'expériences simulées. (Contributions to the uncertainty management in numerical modelisation: wave propagation in random media and analysis of computer experiments)
Quelques problèmes combinatoires sur l'hypercube et les graphes de Hamming
Structured Learning of Geospatial Data. (Apprentissage Structuré de Données Géosaptiales)
Patch-based MRI Analysis: From voxel to knowledge. (Analyse par patchs des IRM : du voxel à la connaissance)
Enhancing sequential pattern mining with time and reasoning
Combinatoire énumérative et analytique en Logique Propositionnelle et en Théorie de la Concurrence : Vers une quantification de l'expressivité des modèles. (Enumerative and Analytic Combinatorics for Propositional Logic and Concurrency Theory : Towards a quantification of the model expressiveness)
Modèles et services logiciels pour le travail collaboratif
Structuration topologique pour le rendu et la visualisation 3D
Quelques algorithmes entre le monde des graphes et les nuages de points
Apprentissage de procédures en environnements virtuels
Technologies logicielles de la modélisation, de la simulation et de l'interaction multisensorielles instrumentales pour la création. (Software Technologies of Multisensory and Instrumental Modelling, Simulation and Interaction for Creation)
Contraintes et Apprentissage
Nuage de Points et Modélisation 3D
Méthodes variationnelles pour l'estimation, l'inférence et la décision dans les modèles graphiques
Quelques contributions en recalage et segmentation d'images médicales. (Some contributions in medical image registration and segmentation)
La mutation des Systèmes d'Information Géographique 2000-2020: Raisonner, représenter et partager les données géographiques au service de l'environnement
Robotique évolutionniste: conception orientée vers le comportement. (Evolutionary robotics: behavior oriented design)
Imagerie multimodale 2D/3D ultrarapide. Application à l'imagerie microstructurale cardiovasculaire
Graph colorings, flows and perfect matchings. (Coloration de graphes, flots, et couplages parfaits)
Contributions en segmentation statistique d'images et reconnaissance de formes 2D. (Contributions to statistical image segmentation and 2D pattern Recognition)
AI-driven methods for pattern segmentation, detection, and recognition. (Méthodes basées sur l'IA pour la segmentation, la détection et la reconnaissance de formes)
Compter les globules blancs, analyser les partitions
Infrastructures support aux activités et scénarios d'apprentissage - du LMS aux environnements ouverts et pervasifs. (Support infrastructure for pedagogical activities and scenarios - from LMS to open and pervasive environments)
Statistical Computing on Manifolds for Computational Anatomy
Random Walks in Number-theoretic Cryptology
Modeling and high performance numerical simulation ofcomplex fluid flows
Calculer géométriquement sur le plan - machines à signaux
Vérification, validation, certification : approches formelles et informelles pour établir la correction des artefacts et des logiciels. (Verification, validation, certification: formal and informal approaches to establish the correction of artefacts and software)
Sémantique et discours - de la modélisation à l'interprétation. (Semantics and Discourse: from modelling to interpretation)
Contribution de la modélisation et du calcul numérique au développement de sources et détecteurs térahertz. (Contribution of modeling and numerical calculation for the development of terahertz sources and detectors)
Modélisation et analyse des données pour l'aide à la décision. (Modelisation and data analysis for decision support)
Mapping parallel applications on parallel architectures: Granularity of parallelism and synchronisation
Sur quelques problèmes de couverture et de couplage en combinatoire
Knowledge Representation meets DataBases for the sake of ontology-based data management
Dynamics and evolution of infectious diseases. (Dynamique et évolution des maladies infectieuses)
From Static Analysis to Runtime Verification with Frama-C and E-ACSL
Specification, Model Generation, and Verification of Distributed Applications
Systèmes optiques interférentiels et incertitudes
Contributions à la résolution de problèmes d'optimisation combinatoire difficiles. (Contributions to solving hard combinatorial optimization problems)
Acquisition et évaluation des connaissances de sécurité des systèmes industriels. Application au domaine de la certification des systèmes de transport ferroviaires guidés. (Acquisition and evaluation of safety knowledge of industrial systems. Application to the field of certification of guided rail transport systems)
Problèmes de Tournées de Véhicules avec Synchronisation et Optimisation Multicritère avec l'Intégrale de Choquet
Structural and probabilistic methods for group analysis in functional neuroimaging. (Méthodes structurales et probabilistes pour l'analyse de groupe en neuroimagerie fonctionnelle)
Principled methods for mixtures processing
Systèmes de localisation en milieu contraint et de leurre GNSS
Contributions à la génération de tests à base de contraintes. (Contributions to Constraint-Based Testing)
Contributions à la négociation multi-agents
Modélisation numérique pour l'étude de la variabilité et des interactions d'échelles dans l'océan. (Numerical modeling for studying ocean variability and scale interactions)
Contribution à la conception et à l'évaluation des architectures de pilotage des systèmes de production adaptables : vers une approche anthropocentrée pour la simulation et le pilotage. (Contribution to the design and evaluation of control architectures of adaptable production systems: towards an anthropocentric approach for simulation and control)
Design, optimization and control in systems and synthetic biology
Contribution à la conception de systèmes en virgule fixe. (Contribution to fixed-point system design)
Sécurité de l'Internet des Objets : vers une approche cognitive et systémique. (Internet of Things Security: towards cognitive and systemic approach)
Interactions et communications contextuelles dans les environnements informatiques pour l'apprentissage humain. (Contextual Interactions and Communications in Computer-Based Learning Environments)
Algorithmes pour le traitement interactif des langues naturelles
From Wireless Networks to Green IT -A Journey Through Stochastic Models and Tools. (Des réseaux sans fil à l'informatique verte - -Un voyage à travers des modèles et des outils stochastiques)
Contribution à la modélisation statistique multi-physique multi-échelle: Application à l'ingénierie des systèmes énergétiques
Traitement automatique du style dans le langage naturel : quelques contributions et perspectives. (Natural language style processing: some contributions and perspectives)
Ingénierie des Processus Intentionnels. (Intentional Process Engineering)
Architectures Orientées Services: Haute Disponibilité,Confiance, et Sociabilité. (Service Oriented Architectures: High Availability, Trust, and Sociability)
Quelques fonctionnalités de bases de données avancées. (A few functionalities for advanced databases)
Tools and methods for Human-Autonomy Teaming: contribution to cognitive state monitoring and system adaptation. (Méthodes et outils pour le développement des Équipes Humains - Systèmes Autonomes : contribution à l'évaluation des états cognitifs de l'opérateur et à l'adaptation des systèmes sociotechniques)
De l'exécution distribuée des chaînes de traitements d'images à l'acquisition distribuée de connaissance par les traitements
Fast Algebraic Algorithms for Arithmetic Geometry and Polynomial Systems
Formal Model-Based Approaches for the Development of Composite Systems. (Approches formelles à base de modèles pour le développement de systèmes composites)
Des réseaux de capteurs sans fil à l'intelligence ambiante dans le suivi environnemental.Synthèse de travaux
Call by need computations in orthogonal term rewriting systems
Traitement distribué d'informations réparties dans les réseaux d'ordinateurs
Les attaques cryptographiques sont-elles toujours meilleures que la force brute ?
A contribution to formal methods : games, logic and automata. (Contribution aux fondements des méthodes formelles : jeux, logique et automates)
Evolving, Adapting and Optimizing Configurable Software Systems. (Faire évoluer, adapter et optimiser des logiciels configurables)
La synthèse sonore : outils, méthodes, utilisations. (Sound synthesis: tools, methods, uses)
Simulation efficace des échanges radiatifs dans des environnements complexes. (Efficient Simulation of Radiant Exchanges in Complex Environments)
Bridging the Gap Between Machine Learning and Networked Systems
La Praxeologie comme modele didactique pour la Problematique EIAH. Etude de cas : la Modelisation des connaissances des Eleves. (Praxeology as didactical model for Technology Enhanced-Learning. Case Study : student models)
Leveraging query logs for user-centric OLAP
Inférence bayésienne dans des problèmes inverses, myopes et aveugles en traitement du signal et des images
Contributions à une aide à la décision de confiance
Multiword expressions in computational linguistics: Down the rabbit hole and through the looking glass. (Expressions polylexicales en traitement automatique des langues / Expressions polylexicales en traitement automatique des langues: Sauter dans l'inconnu et faire la mise au point)
Weakly Supervised and On-line Machine Learning for Object Tracking and Recognition in Images and Videos
Compositions et hybridations pour l'optimisation combinatoire appliquée. (Compositions and hybridizations for applied combinatorial optimization)
Comprendre les interactions entre la pisciculture et l'environnement
Formal Model Driven Engineering. (Ingénierie Formelle Dirigée par les Modèles)
Transducteurs et arborescences : études et réalisations de systèmes appliquées aux grammaires transformationnelles. (Transducteurs)
De l'Internet des objets aux réseaux véhiculaires : techniques d'accès, dissémination et délestage de données
Applications of Structure-Preserving Cryptography and Pairing-Based NIZK Proofs
Les machines à calculer arithmétiques
Multiresolution pour la Visualisation Scientifique. (Multiresolution for Scientific Visualization)
Composition non modulaire modulaire. (Modular non-modular composition)
Modelling the regulation of biological systems at multiple scales: phenotypic variability and response to environmental changes
Expertise mathématique et informatique : CAMELIA, un logiciel pour raisonner et calculer
Contributions a la simulation numerique en mecanique des fluides et a la Reduction de modele
Contributions au développement des méthodes formelles de preuves et applications à la géométrie
Trusting robots : Contributions to dependable autonomous collaborative robotic systems. (Vers des robots collaboratifs autonomes sûrs de fonctionnement)
Des Systèmes Interactifs d'Aide à la Décision aux Systèmes Coopératifs d'Aide à la Décision : Contributions conceptuelles et fonctionnelles. (From Decision Support Systems to Cooperative Decision Support Systems : Conceptual and Funtional contributions)
Recherches en vision par ordinateur. (Research in computer vision)
Ingénierie de l'observation basée sur la prescription en EIAH. (Observation engineering based on prescription in TEL Environments)
Optimisation et Science des Données : entre théorie et applications. (Optimization and Data Science: from theorie to applications)
Modèles stochastiques et méthodes statistiques pour la fiabilité des systèmes
Algorithms and efficiency of Network calculus
Contributions à la RéSilience et au respect de la vie PrivéE des SystèMES mobiquitaires. (Towards Resilient and Private MobiQuitous Systems)
Multifrontal Methods: Parallelism, Memory Usage and Numerical Aspects
Invariants et Approches Neuronales pour le Traitement du Signal. (Invariants and Neural Approaches for Signal Processing)
Synchronisation et Autonomie énergétique des Systèmes temps réel embarqués. (Synchronization and energy autonomy of embedded real-time systems)
Dialog Between Logic, Trees and Circuits. (Dialogue entre Logique, Arbres et Circuits)
Efficacité et vie privée : de BitTorrent à Skype
Elements from the technical works of Jean-Louis Giavitto
Modeling and simulation of diffusion. (Modélisation et simulation de la diffusion)
Magnetic Resonance for Brain and Spinal Cord imaging and multimodal functional imaging
Observers for data assimilation - Applications to cardiac modeling. (Observateurs pour l'assimilation de données - Applications en cardiologie)
Méthodes lagrangiennes pour le calcul et le contrôle des écoulements tridimensionnels. (Lagrangian methods for computation and control of three-dimensional flows)
Fast and reliable solutions for numerical linear algebra solvers in high-performance computing. (Résolutions rapides et fiables pour les solveurs d'algèbre linéaire numérique en calcul haute performance)
Propagation de la sensibilité dans les modèles hydrodynamiques. : Analyse d'incertitude et estimation des paramètres
Reliable and Available Low-Power Wireless Mesh Networks
Optimisation des infrastructures réseaux: Un peu de vert dans les réseaux et autres problèmes de placement et de gestion de ressources. (Optimization of Network Infrastructures)
L'Ingénierie des Exigences appliquée aux Systèmes d'Information. (Requirements Engineering for Information Systems)
Gestion de données personnelles respectueuse de la vie privée
Contributions à l'inférence statistique de modèles complexes
A la conquête des ondes guidées : un pas de plus vers des structures multifonctionnelles intelligentes
Habilitation á diriger des recherches Mathematical Modeling and Optimization in Liner Shipping. (Habilitationsschrift zur mathematischen Modellierung und Optimierung in der Linienschifffahrt / Modélisation mathématiques et optimisation dans le transport maritime)
On some thermally coupled systems in solid mechanics across various time scales. (Sur quelques systèmes couplés thermiquement en mécanique des solides à différentes échelles de temps)
CONTRIBUTIONS AUX BIG DATA Traitement, Gestion, Sécurisation et Exploitation de données dans des environnements distribués et dynamiques. (: CONTRIBUTIONS TO BIG DATAProcessing, Management, Security, and Exploitation of Data in Distributed and Dynamic Environments)
Annoter et prédire des représentations linguistiques de phrases
IP-Disruptive Wireless Networking: Integration in the Internet
Modélisation, classification et fusion de données biomédicales
Contributions to Topological Data Analysis for Scientific Visualization
Apprentissage machine pour l'intégration et l'interaction de données structurées. (: The adventures of struct ured {int* a_ctions} in Dataland)
Approximations of Points: Combinatorics and Algorithms
Accès, routage et sécurisation pour les réseaux sans fil : une nouvelle approche
Summary of main contributions to the field and some general perspectives on future research
Partitioning, matching, and ordering: Combinatorial scientific computing with matrices and tensors. (Partitionnement, couplage et permutation: Calcul scientifique combinatoire sur des matrices et des tenseurs)
Pour une ingénierie des connaissances pour le développement d'applications de traitement d'images
Equation de transport, Level Set et mécanique eulérienne. Application au couplage fluide-structure. (Transport equations, Level Set and Eulerian mechanics. Application to fluid-structure coupling)
Approches environnement-centrées pour la simulation de systèmes multi-agents : Pour un déplacement de la complexité des agents vers l'environnement. (Environment-centric approaches for Multi-Agent Based Simulation : Moving complexity from agents to environment)
Intégration de données hétérogènes, imprécises et incomplètes: Application dans le domaine du risque alimentaire
Analyse de scènes dynamiques par des systèmes de perception multimodale embarqués. (Embedded multi-modal perception systems for dynamic scene understanding)
Tatouage des bases de données (Databases Watermarking)
Sur la théorie et l'approximation numérique de problèmes hyperboliques non linéaires
Security, Cryptography: Theory and Practice. (Sécurité, Cryptographie : Théorie et Pratique)
Methoden zur automatischen Szenencharakterisierung basierend auf aktiven optischen Sensoren für die Photogrammetrie und Fernerkundung
Simulation Physique Interactive pour la Synthèse d'Images. (Interactive Physical Simulation for Image Synthesis)
Élements de conception de systèmes embarqués fortement contraints. (Methods and tools for the design of embedded software for highly constrained device)
Cutaneous haptic feedback for robotics and Virtual Reality
Hybridation de métaheuristiques pour la résolution distribuée de problèmes d'optimisation spatialisés. (Hybrid métaheuristics for distributed solving of euclidean optimization problems)
Contributions à la perception multimodale sémantique et applications
From Systems Biology to Systems Ecology: A Computational Journey Through Biological Scales. (De la biologie systémique à l'écologie systémique : un voyage informatique à travers les échelles biologiques)
Contributions à la sécurité des Java Card
Interaction technique et individuation
Security Protocols and Resource Allocation for Fifth Generation Networks
Analyse et conception de chiffrements à clef secrète. (Analysis and design of secret-key ciphers)
Contribution à la conception des architectures logicielles et des protocoles de coordination pour les systèmes distribués coopératifs
Contributions à l'apprentissage de représentations pour l'indexation basée sur le contenu visuel
Abstractions to Build Permissionless Systems
Théorie du contrôle optimal et calcul des variations
Contributions aux méthodes variationnelles pour le calcul du flot optique: prise en compte des informations spatiales et temporelles. (Contributions to determination of optical flow using the calculus of variations techniques: modeling the spatial and the temporal information)
Apport du suivi de flux d'information pour la sécurité des systèmes
Bornes dans un ensemble ordonné fini‎ : produit contracté, applications
Contributions to system-level modelling and simulation of hardware-software architectures of embedded systems. (Contributions à la modélisation et la simulation de niveau système des architectures matérielles-logicielles des systèmes embarqués)
Contributions aux environnements de programmation pour le calcul intensif. (Contributions to intensive computing programming environment)
Construction, visualisation et analyse de réseaux modélisant des systèmes réels
Contributions à l'amélioration des communications dans les réseaux sans fil multi-sauts
Au delà du rayon de décodage unique dans les codes correcteurs avec des outils de calcul formel
Bioimage Informatics for Phenomics
Contribution à la modélisation et l'optimisation des systèmes radio ambiants en réseau. (Contribution to the modeling and optimization of ambiant wireless systems in networks)
Programming and analysis of critical real-time systems. (Programmation et analyse de systèmes temps réel critiques)
Contributions to Model-Based Testing of Dynamic and Distributed Real-Time Systems. (Contributions au Test à Base-de-Modèles de Systèmes Temps-Réels Dynamiques et Distribués)
Informatique et communication ou le nombre lumière. (Computer science and communication or the light number)
Security at the Hardware/Software Interface
Schemas for safe and efficient XML processing. (Les schémas de traitement XML sûre et efficace)
Development of numerical methods for seismic imaging using the full waveform
Apprentissage de Fonctions de Classification et d'Ordonnacement avec des Données Partiellement Etiquetées
Contribution aux problèmes de réalisation des langages et séries rationnels
Software Quality Assurance by means of Methodologies, Measurements and Knowledge Management Issues
Programmation et indécidabilités dans les systèmes complexes. (Programming and undecidability in complex systems)