yusuke1997/dblp-id-title huggingface dataset:
Rowing Simulator Modulates Water Density to Foster Motor Learning
Evolution of Complex Niche-Constructing Behaviors and Ecological Inheritance of Adaptive Structures in a Physically Grounded Environment
Real-time active constraint generation and enforcement for surgical tools using 3D detection and localisation network
Meaningful human control and variable autonomy in human-robot teams for firefighting
Virtual Energy Management for Physical Energy Savings in a Legged Robot Hopping on Granular Media
Compositional RL Agents That Follow Language Commands in Temporal Logic
Efficiency and Power Limits of Electrical and Tendon-Sheath Transmissions for Surgical Robotics
Incremental Embodied Chaotic Exploration of Self-Organized Motor Behaviors with Proprioceptor Adaptation
Embodied Intelligence in Soft Robotics Through Hardware Multifunctionality
Sensitivity Improvement of Highly Stretchable Capacitive Strain Sensors by Hierarchical Auxetic Structures
Parallel Helix Actuators for Soft Robotic Applications
Rigid-Soft Interactive Design of a Lobster-Inspired Finger Surface for Enhanced Grasping Underwater
Comparing the Exteroceptive Feedback of Normal Stress, Skin Stretch, and Vibrotactile Stimulation for Restitution of Static Events
Augmented Reality Meets Artificial Intelligence in Robotics: A Systematic Review
Collective Computation in Animal Fission-Fusion Dynamics
On the feasibility of a robotic probe manipulator for echocardiography in the prone position
Toward Long-Term Sailing Robots: State of the Art From Energy Perspectives
A hybrid tendon-driven continuum robot that avoids torsion under external load
Information Distribution in Multi-Robot Systems: Generic, Utility-Aware Optimization Middleware
Grand challenges for burrowing soft robots
Robot-Guided Evacuation as a Paradigm for Human-Robot Interaction Research
Effects of repetitive low-acceleration impacts on attitude estimation with micro-electromechanical inertial measurement units
Corrigendum: [A Comparative Study of Adaptive Interlimb Coordination Mechanisms for Self-Organized Robot Locomotion]
Social robot navigation: a review and benchmarking of learning-based methods
Robot Care Ethics Between Autonomy and Vulnerability: Coupling Principles and Practices in Autonomous Systems for Care
A Modular Software Framework for Eye-Hand Coordination in Humanoid Robots
Design and realization of a novel haptic graspable interface for augmenting touch sensations
Dielectric Elastomer Actuator Driven Soft Robotic Structures With Bioinspired Skeletal and Muscular Reinforcement
Self-Healing and Damage Resilience for Soft Robotics: A Review
Robot Collection and Transport of Objects: A Biomimetic Process
Using Multiple Decomposition Methods and Cluster Analysis to Find and Categorize Typical Patterns of EEG Activity in Motor Imagery Brain-Computer Interface Experiments
External communication of automated shuttles: Results, experiences, and lessons learned from three European long-term research projects
Joint elasticity produces energy efficiency in underwater locomotion: Verification with deep reinforcement learning
From Continuous Observations to Symbolic Concepts: A Discrimination-Based Strategy for Grounded Concept Learning
Personogenesis Through Imitating Human Behavior in a Humanoid Robot "Alter3"
Integrating Soft Robotics with the Robot Operating System: A Hybrid Pick and Place Arm
A Survey on Probabilistic Models in Human Perception and Machines
AEROS: AdaptivE RObust Least-Squares for Graph-Based SLAM
Treatise on Analytic Nonlinear Optimal Guidance and Control Amplification of Strictly Analytic (Non-Numerical) Methods
The Robot is Present: Creative Approaches for Artistic Expression With Robots
Analysis of Pairwise Interactions in a Maximum Likelihood Sense to Identify Leaders in a Group
Perception is Only Real When Shared: A Mathematical Model for Collaborative Shared Perception in Human-Robot Interaction
Occurrence and Type of Adverse Events During the Use of Stationary Gait Robots - A Systematic Literature Review
Editorial: Smart endorobots for endoluminal procedures: design, ethics and future trends
Playing the pipes: acoustic sensing and machine learning for performance feedback during endotracheal intubation simulation
Vitrimeric shape memory polymer-based fingertips for adaptive grasping
Exploring Co-creative Drawing Workflows
RUBIC: An Untethered Soft Robot With Discrete Path Following
Application of convolutional neural networks for surface discontinuities detection in shielded metal arc welding process
Freedom comes at a cost?: An exploratory study on affordances' impact on users' perception of a social robot
Configuring ADAS Platforms for Automotive Applications Using Metaheuristics
Adaptive Cognitive Mechanisms to Maintain Calibrated Trust and Reliance in Automation
Tactile Signatures and Hand Motion Intent Recognition for Wearable Assistive Devices
A Novel Robot-Aided Upper Limb Rehabilitation Training System Based on Multimodal Feedback
Editorial: Lighter and more efficient robotic joints in prostheses and exoskeletons: Design, actuation and control
Inform: Efficient Information-Theoretic Analysis of Collective Behaviors
A General 3D Model for Growth Dynamics of Sensory-Growth Systems: From Plants to Robotics
Effects of Upper-Limb Exoskeletons Designed for Use in the Working Environment - A Literature Review
Lean back or lean in? Exploring social loafing in human-robot teams
Human-Co-Bot Interaction and Neuroergonomics: Co-Botic vs. Robotic Systems
Exploring companion robots for children with autism spectrum disorder: a reflexive thematic analysis in specialist dental care
Toward Self-Aware Robots
Evaluating tactile feedback in addition to kinesthetic feedback for haptic shape rendering: a pilot study
Compliant robotic behaviors for satellite servicing
Using skeletal position to estimate human error rates in telemanipulator operators
Corrigendum: Optical See-Through Head-Mounted Displays With Short Focal Distance: Conditions for Mitigating Parallax-Related Registration Error
Underwater Crawling Robot With Hydraulic Soft Actuators
Drivers of Automation and Consequences for Jobs in Engineering Services: An Agent-Based Modelling Approach
Toward an Automated Measure of Social Engagement for Children With Autism Spectrum Disorder - A Personalized Computational Modeling Approach
Human-Human Hand Interactions Aid Balance During Walking by Haptic Communication
A novel socially assistive robotic platform for cognitive-motor exercises for individuals with Parkinson's Disease: a participatory-design study from conception to feasibility testing with end users
A Bio-inspired Grasp Stiffness Control for Robotic Hands
Effect of presenting robot hand stiffness to human arm on human-robot collaborative assembly tasks
Autonomous robotic exploration with simultaneous environment and traversability models learning
Risk-Aware Model-Based Control
Editorial: Variable autonomy for human-robot teaming
Huggable integrated socially assistive robots: exploring the potential and challenges for sustainable use in long-term care contexts
Root Systems Research for Bioinspired Resilient Design: A Concept Framework for Foundation and Coastal Engineering
Upper Limb Home-Based Robotic Rehabilitation During COVID-19 Outbreak
Embodiment and Its Influence on Informational Costs of Decision Density - Atomic Actions vs. Scripted Sequences
From real-time adaptation to social learning in robot ecosystems
Task-specific robot base pose optimization for robot-assisted surgeries
Controller design and experimental validation of walking for a musculoskeletal bipedal lower limb robot based on the spring-loaded inverted pendulum model
Entwicklung von Komponenten eines Lehr-Lern-Konzeptes zum objektorientierten Modellieren
Modelle der Informatik für einen Informatikunterricht
Unterricht - bald nur noch mit Computer?
Vom Modellieren zum Gestalten - Objektorientierung als Impuls für einen neuen Informatikunterricht?
Video in Vorlesungsaufzeichnungen mit informatikfernen Inhalten am Beispiel Archäologie
Teaching Nondeterminism as a Special Case of Randomization
Experimente zur Verwendung von Operatoren in Aufgabenstellungen im Fach Informatik
Umsetzung von Grundkonzepten der Informatik zur fachlichen Orientierung im Informatikunterricht
Informatische Literalität nach dem PISA-Muster und ihre Operationalisierung durch Test-Items
To CNF or not to CNF? An Efficient Yet Presentable Version of the CYK Algorithm
Zur Ordnungswirkung fundamentaler Ideen der Informatik am Beispiel der theoretischen Schulinformatik
Gesellschaftliche Dimensionen der Informatik im Schulunterricht
Visualisierung und Animation der semantischen Analyse von Programmen
Hardware for Basic Arithmetic Operations as a Subject of Computer Science Courses in High Schools
Information as a Basic Constituent of Human Existence
Zu Möglichkeiten der externen Unterstützung von Informatiklehrerinnen und -lehrern in der gymnasialen Oberstufe
Systematisches Programmieren in der Anfängerausbildung
Das Modulkonzept - ein zeitgemäßer Ansatz zur informatischen Bildung für alle Schülerinnen
Das Virtuelle Informatiklabor - Konzeption, Design und Realisierung einer E-Learning-Umgebung zum Erlernen von Algorithmen
Theoretischer und empirischer Vergleich zum Bild der Wissenschaft Informatik in der Schule
Étendre le test basé sur des modèles d'usage pour prendre en compte la variabilité
Outils pour la rétro-conception de protocoles. Analyse et classification
Analyse des critères d'évaluation des systèmes de recherche d'information
B dans le tranport ferroviaire. L'expérience de Siemens Transportation Systems
Une architecture de propagation de l'incertitude pour le problème de la localisation
SISRO, conception de bases de données à partir d'ontologies de domaine
L'action concertée incitative Sécurité et informatique
Une approche générique de la réécriture
Partitionnement de spécifications flots de données conditionnels pour la conception de systèmes embarqués
Mécanismes de traces efficaces pour programmes multithreadés
De quoi est faite une trace d'exécution ?
Improvisation musicale homme-machine guidée par un scénario temporel
Politiques de gestion de protections pour l'implémentation de sections critiques
Programmation unifiée multi-accélérateur avec OpenCL
Reconnaissance crédibiliste de séquences temporelles
Compositions de relations d'ordre sur des quantités graduelles et expression de requêtes flexibles
Gestion efficace de la sécurité des communications de groupe pour le service SSM
Chronique - Défis 2015
Index des auteurs. Volume 23/2004
Conception multi-agent d'un système d'aide à la décision collective Justification automatique pour la confrontation des opinions
Créatures virtuelle
Spécification et mécanisme de détection de flots d'information illégaux
Extraction de palettes de couleurs pour l'aide à la conception cartographique
Compte rendu d'habilitation - Représentation de connaissances et raisonnement dans les bases de données
Une approche orientée patterns de la coopération de systèmes d'information
Algorithme autostabilisant construisant un petit ensemble k-dominant
Les agents mobiles réactifs Mooréa. Une approche réactive pour la transparence à la mobilité et le passage à l'échelle
BubbleSched, plate-forme de conception d'ordonnanceurs de threads sur machines hiérarchiques
Assemblons les pièces inexistantes d un immense puzzle
Alignement approximatif d'arbres pour la recherche d'information en contexte dans les données XML hétérogènes
Déploiement adaptatif d'applications parallèles. Algorithme de vol de travail appliqué au déploiement d'applications parallèles sur des grappes de grande taille
Passage à l'échelle : déploiement industriel des SMA
Accélération de la simulation modulaire
Standards de qualité et préférences utilisateurs pour la modélisation des propriétés non fonctionnelles dans OWL-S
Migration de cellules virtuelles déformables
Elaboration de fonctions de croyance à partir de données GPS et SIG. Etude de stratégies de fusion pour la localisation
SimAquaLife : un cadriciel pour la modélisation de la dynamique spatiale d'organismes aquatiques
Dploiement adaptatif dapplications orientes services sur environnements contraints
Outils de structuration des documents vidéo en vue d'indexation basée sur une approche du signal 1D
Autonomie dans les systèmes multi-agents. essai de classification
Approche UML/SysML pour la spécification logicielle de systèmes embarqués aéronautiques. Travaux et retours d'expérience
Mechanical Synthesis Solver
Fouille de workflow
Optimisation de la consommation mémoire multibanc pour un système multitâche
Augmenter la validité des évaluations des applications graphiques interactives. Combiner les approches prédictives et empiriques
Comportements perceptifs d'acteurs virtuels autonomes : une application des cartes cognitives
Un système de RàPC pour l'aménagement routier
Routage QoS et réseaux ad hoc. De l'état de lien à l'état de noeud
Correction de conjectures fausses par synthèse de programmes
Towards a Methodology for the Understanding of Object-Oriented Systems (Vers une méthodologie pour la compréhension d'applications objets)
Utilisation de la théorie des croyances pour l'association dans le suivi de cibles
Modèles de distribution des simulations multi-agents de mobilité des voyageurs
Algorithmes pour l'analyse de la musique tonale
Structure communautaire multi-chelle de grands graphes de terrain
Une approche markovienne pour l'étude de systèmes temps-réel à contraintes strictes
Calcul de propriétés temps réel de bout-en-bout dans un programme synchrone multi-périodique
SYNTHESE. Réseaux complexes et épidémies
Protocole universel auto-stabilisant de synchronisation d'horloges de phases
Maintenance de vues XML matérialisées à partir de sources web
Réalité augmentée en extérieur. État de l'art
Utiliser et construire des ontologies en médecine. Le primat de la terminologie
Propriétés dynamiques avec hypothèses d'équité en B événementiel
Vérification formelle d'un algorithme générique et hiérarchique d'exclusion mutuelle
Synthèse d'images expressive. Vers un outil de stylisation BD
Vérification de propriétés quantitatives sur des automates à contraintes
Exploration de l'espace de conception des architectures reconfigurables
Une architecture réactive pour la localisation en robotique mobile
Métamodélisation de service composite
Architectures pour l'ubiquité numérique
Annotation des propriétés des ontologies. Une approche d'optimisation des requêtes sur un médiateur de sources de données à base ontologique
Asservissement visuel 2D direct. Un asservissement visuel basé sur l'homographie
Compilation et optimisation statique des communications hôte-accélérateur
Du traçage de l'activité informatique à sa redocumentation en texte. Une approche narrative et un outil auteur
La plasticité des documents numériques
Apprentissage issu de la communication pour des agents cognitifs
Test de conformité : une approche algébrique
Vers une distribution optimale des modèles DEVS dans un contexte pessimiste. De l'apprentissage à la distribution
Un Beowulf par des physiciens
Synthèse architecturale d'applications temps réel pour technologies submicroniques
CLAIM Un langage de programmation pour des agents autonomes, intelligents et mobiles
Vers l'apprentissage de mécanismes d'adaptation multimédia
Système de perception et d'interprétation de formes structurées (S P I)
Un simulateur haute performance des matériaux par couplage de la dynamique moléculaire avec les éléments finis. LibMultiScale, structures de données et techniques de parallélisation
Un modèle efficace de normes pour les systèmes multi-agents organisationnels
Circuits parallèles à l'Irisa dans les années 1980
Modélisation des systèmes biologiques par la théorie des réseaux de jeux
Linguistique évolutionnaire et vie artificielle
Technique de réduction adaptative de l'espace de recherche pour les méthodes d'optimisation par recherche locale
Optimisation par colonies de fourmis pour le problème du sac à dos multidimensionnel
Approche interactive de la recherche d'images par le contenu
Analyse du nombre de perturbations lors du maintien d'un arbre de connexion de faible diamètre
Évolution artificielle
Processeur vidéo programmable pour la téléphonie mobile eISP, une architecture de calcul très basse consommation à faible empreinte silicium pour le traitement vidéo HD
Les web services sémantiques, automate et intégration II. Composition de services web, technologies et plateformes, applications industrielles
Entretien avec Roberto di Cosmo
Un système de détection d'intrusions distribué pour réseaux ad hoc
Évolution d'une ontologie hybride. Application au domaine de la géotechnique
Indexation multiple et automatisée de composants logiciels
Discrimination perceptive d'expressions émotionnelles actées vs. spontanées. Variabilité interindividuelle et influence de l'intensité de l'émotion
Contribution à la représentation multi-échelle des écosystèmes aquatiques
Analyse des systèmes de visualisation et d'interaction 3D pour la biologie moléculaire
Modélisation formelle d'IHM multimodales en sortie avec B Événementiel. Approche par généralisation et instanciation
Modèle de communications concurrentes sur des grappes SMP
Détection d'intrusions : corrélation d'alertes
Édito
Histoire de l'informatique - Entretien avec Jacques STERN
Index des titres. Volume 23/2004
Contraintes d'intégrité pour XML. Visite guidée par une syntaxe homogène
Conception et évaluation ergonomique d'une aide en ligne multimodale incarnée par une tête parlante 3D. Conception et évaluation d'un ACA d'aide en ligne
Extraction de modèles paramétrés au cours du test de composants logiciels
Apport des agents mobiles à l 'exécution répartie
Un cadre sémantique pour le contrôle d'accès
Mastering Model Driven Engineering complexity by interactive visualization
Méthodologie dédiée aux applications parallèles sur plateforme reconfigurable dynamiquement
Interopérabilité avec Objective Caml
Vers un modèle de diagnostic de compétence
Coordination dans la décision pour les architectures autonomiques à grande échelle
Métaheuristiques pour l'optimisation et auto-organisation dans les systèmes biologiques
Stabilité des arbres des plus courts chemins en présence de concurrence
Communication "basée contenus" dans les réseaux mobiles ad hoc discontinus
Stabilit globale et diversit locale dans la dynamique des commentaires de Flickr
Approche philologique des langages de programmation
Synthèse de diagrammes d'états par classe à partir de diagrammes de séquence
L'erreur est humaine
Étudier l'usage pour économiser l'énergie dans les systèmes distribués à grande échelle. L'approche EARI
Formalisation en Coq et visualisation d'un cours de géométrie pour le lycée
Un framework pour la génération semi-automatique d'ontologies floues. Text2FuzzyOnto
Apport des approches agent pour l'analyse syntaxique de l'arabe
Groupe de recherches musicales (GRM). Musique et informatique
Cassures de symétries à base de stabilisateurs. Applications aux CSP matriciels
Évaluation de la précision en virgule fixe dans le cas des structures conditionnelles
De l'intelligence collective pour le transport à la demande
Évaluation de mécanismes de contrôle d'erreur pour des transmissions multipoints sur des réseaux de mobiles
Composants et agents : évolution de la programmation et analyse comparative
Exercices et propriétés implicites
État de l'intégration de la virgule flottante dans les processeurs graphiques
Méthodes et outils d'estimation de la consommation de code embarqué sur processeur
Modélisation anticipative des systèmes musicaux. Reconnaissance, génération, synchronisation et programmation synchrone temps réel en informatique musicale
Gestion de la surcharge dans les systèmes de gestion de base de données temps réel
Un partitionnement basé sur la densité de graphe pour approcher la fouille distribuée de sous-graphes fréquents
Chronique. Défis pour le génie de la programmation et du logiciel
Langages formels dans la machine abstraite biochimique BIOCHAM
Interactions médiatisées sur scène
Fusion de paramètres pour une classification automatique parole/musique robuste. Séparation parole/musique dans les fichiers a
Compilation pour cibles hétérogènes. Le cas Terapix
La préhistoire de l'IA. Visite guidée des automates et proto-robots conçus depuis l'Antiquité jusqu'au milieu du XXe siècle
Le problème de couverture pour les réseaux de Petri. Résultats classiques et développements récents
Tolérance aux fautes adaptable pour les systèmes à composants
Équipe Arts : Pratiques et Poétiques.Des bonnes pratiques en esthétique et sciences de l'art
Traitement continu des requêtes dépendantes de la localisation dans les environnements intérieurs
Modèles de programmation non conventionnels
Évaluation de la différenciation de services dans l'internet
Fiabilité de mission d'un avion. Évaluation stochastique en opération
Compte rendu d'une recherche interdisciplinaire entre sociologues et informaticiens. De la sociologie de l'action organisée au logiciel SocLab
Modéliser et construire des indicateurs d'activité éducative à base de traces modélisées. Mise à l'épreuve sur Moodle
Jade, un environnement d'administration autonome
Adaptabilité et validation de la traduction de B vers C. Points de vue et résultats du projet BOM
Entre recherche et industrie, langages et intersection des sciences Entretien avec Gérard Berry
Équilibrage de charge statique pour noyaux d'algèbre linéaire sur plateforme hétérogène
Un moniteur de référence sr d'une base de données
Mesures de similarité pour l'indexation de mouvements paramétriques
Vers un environnement d'interaction symbolique avec les modèles. Des cartographies sémantiques à la prise de décision
Chronique : Introduction aux représentations des nombres et opérateurs arithmétiques à basse consommation d'énergie
Méthode de placement et d'affectation des priorités pour les systèmes temps réel distribués
La sécurité de l'accès distant
Copier/coller, ou recopier ? La transmission entre artistes des œuvres musicales avec dispositif numérique
Eléments de caractérisation des environnements des systèmes pair à pair
Pavage pour une séquence de nids de boucles
Réseaux de capteurs sans fil à multiples piles protocolaires
Formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués
La méthode B et l'ingénierie système
Une procédure de médiation équitable Pareto optimale
Adaptations dynamiques et orthogonales de composants logiciels distribués
Estimation et optimisation de la consommation des mémoires
Extraction de sous-ontologies autonomes par fermeture des opérateurs hyponymie et hyperonymie
Optimisation génétique et interactive de sites web
Greta, une plateforme d'agent conversationnel expressif et interactif
Un modèle de système multi-agent pour l'émergence multi-niveau
La validation dynamiquement adaptable des transactions mobiles. Une approche sensible au contexte utilisant des politiques d'adaptation
Mobilité dans les caches vidéo. Une stratégie adaptative
Entretien avec GILLES DOWEK. De l'engagement dans la recherche à la recherche de l'engagement
Une approche pour la simulation de comportements émotionnels fondée sur la théorie de la conservation des ressources
JaceP2P, une infrastructure pair-à-pair basée sur le calcul itératif asynchrone
Génération de systèmes multi-agents à partir de modèles
De l'estimation locale par imagerie q-ball à la tractographie des croisements de fibres
Techniques d'estimation d'entropie efficaces pour l'attaque par analyse d'information mutuelle
Pilotage autonomique de la charge dans les réseaux IEEE 802.11
PASCAL : un algorithme d extraction des motifs fréquents
Approche centrée architecture pour l'évolution dynamique de systèmes d'information
Analyse de techniques de coopération en environnements virtuels 3D
Optimisation de performance pour des systèmes temps réel stricts à priorité fixe
Etude des systèmes d'horodatage
Une nouvelle génération d'algorithmes génétiques guidés distribués pour la résolution des Max_CSPs
Approche formelle pour la dérivation de vues structurelles UML à partir de développements B. Formalisation, preuve et extension pour la prise en compte des raffinements B
Le support des réseaux mobiles dans IPv6
WebStand, une plateforme de gestion de données web pour applications sociologiques