yusuke1997/dblp-id-title huggingface dataset:
Estimation of hemiplegia by gripping force distribution
SEM-CT observation of bone from mice using environmental-SEM
Cyborg Insects Powered by An Insect-Mountable Biofuel Cell
Biomechanical properties of red blood cell through the motion inside a micro-channel
Electrical detection of single-cell trapping for manipulation in an array-based format
Fabrication and manipulation of 3D hybrid nanorobot for single cell puncture
How anticipation for the sense of agency affects readiness potential
Interactive educational material for children with ASD
Toward a subjective synchronous communication in multimodal human-machine interaction: Intention of movement alternates simultaneous perception in auditory-tactile temporal order judgment
High-speed flexible arm to reduce the effect of spinning ball in table tennis
On-chip cellular force measurement by Direct-Outer-Drive mechanism
Locomotion mechanism and control method for a microrobot using the difference in the vibration characteristics of the legs (development of controller for experiments on frequency characteristics of running microrobot)
Inducing blood vessel formation using cubic eggshell with patterned surface
Uniform Transfection: Shock Wave Generation in Laser Ablation and Microcontact Printing
Possibilities of mammalian cell preservation using freeze-dried methods
International Symposium on Micro-NanoMechatronics and Human Science, MHS 2012, Nagoya, Aichi, Japan, November 4-7, 2012
MEMS and microsystems for navigation, sensing, and spectral processing
Deformable PCB based on connector mating method by using iHand for improving HRC performance efficiency
On-line tracking and stimulation of swimming microorganism by on-chip microrobot
Automatic fetal head approximation using Particle Swarm Optimization based Gaussian Elliptical Path
Diffusion of particles adhering to liposomes
Heat Source Approaching by Cyborg Cockroach Using a New Antennae Electrode Implantation Method
Ground contact detection of robot legs by discriminating angular velocities and motor current
Development of the medical systems using mechatronics for improvement of accuracy and quantitative reliability of medical treatments
A photovoltaic system used in energy harvesting for low power application
Molecular dynamics of orientation controlled muscle tissue on a chip
Development of 3D measurement system using digital holography
On-chip measurement of mechanical properties of a single cyanobacteria using direct-outer-drive mechanism
Fluorescence Microsensor Using Near-Infrared Light for Physiological Measurement inside Tissue
Deflection sensing via high speed vision system for robotic motion control
Motor Learning through Cooperative Motor Experience
Musculoskeletal simulations to investigate influences of muscle weakness and sensory noise to postural control with high stiffness
Effect of PPh4Cl on micro-nano vesicles structure induced by antagonistic salts
Sequential Trapping and Parallel Ejection of Droplets Through Pneumatically Controlled Micronozzle Array for 3D Single Cell Assembly
Fabrication of movable microstructure integrated with Vorticella actuator
Bipedal walking by humanoid robot with cane - Preventive usage of cane based on impulse force
Method of setting the address to apply the mutually complementary network in the school
Delta-type miniature robot using levitation mechanisms
Development of a novel wearable MRI-compatible finger assistive robot
Research on Multi-protocol Wireless Adaptation Automatic Test System
Optimization of the DC Power Supply Measurement System for Heavy Ion Accelerators
Design of First Order Cascadable Universal Filter Using FDCCII
Sequencial Event Graph Mining in Power Grid Accident Tracing Based on RED-GNN Algorithm
Proceedings of the International Conference on Computing, Machine Learning and Data Science, CMLDS 2024, Singapore, April 12-14, 2024
APCA-Net: Adaptive object detection in rainy weather based on principal component analysis
Designing of Directive Antipodal Vivaldi Antenna Using Dielectric Lens and Metasurface
Analysis of Public Sentiment in Azerbaijani News and Social Media
Leveraging Text and Image BERTs for Few-Shot Classification in Cryptocurrency Tweets
Secure Data Sharing Based on SM9 for Privacy Preserving Computing
A novel paper-reviewer recommendation method based on a semantics and correlation fusion model
Visible light communication system for mine environment
Multi-Physics Field Simulation and Optimization of Directional Sound Barrier Based on Finite Element Algorithm
A Secure Enhancement Scheme for Interworking Privacy-Preserving Multi-Party Collaborative Modeling
Power factor anomaly detection using data stream summaries
Promoting Gender Fair Resume Screening Using Gender-Weighted Sampling
A 3D Non-Stationary Mobile-to-Mobile Terahertz Channel Model for Outdoor-to-Indoor Communication
Analysis method of cigarette competing products based on LASSO regression
Neuro-Vis: Guided Complex Image Reconstruction from Brain Signals Using Multiple Semantic and Perceptual Controls
Feature Weighting using Gravitational Search Algorithm in Customer Churn Prediction
KnobTune: A Dynamic Database Configuration Tuning Strategy Leveraging Historical Workload Similarities
Research on PAPR suppression algorithm for underwater visible OFDM system based on crow search algorithm
Length Estimation and Characteristics Study of Travel Chain for College Students Returning to Campus
Photovoltaic Array Extraction Algorithm Based on Modified U2Net
Visible light communication location based on chaotic seagull algorithm
Accelerating Ray Tracing for Urban V2X Environments through a Fusion Algorithm
Spatio-Temporal Hypergraph Convolutional Network Based Network Traffic Prediction
Adversarial Analysis and Methods for Math Word Problems
A Portrait Segmentation Algorithm Combining MobileNeXt and Attention Mechanism
Mitigation of Three-Phase Power Imbalance and Flattening the Load Curve by PV Integration and EV Charging
Escape the Corrupted Lines by a Learning Sampling Pattern for MRI Reconstruction
Graph Transformer Aided Resource Virtualization Embedding in UAV Swarm Networks
Analysis of spatial-temporal variability and heterogeneity of soil moisture
Design of PV operation and maintenance management system based on data cleaning and PostgreSQL
Large Model based Sequential Keyframe Extraction for Video Summarization
Cross-Attention Transformer for User-Level Depression Detection
An adaptive multiple measurement model filter in the presence of outliers
Design of RISC-V processor for accelerator power controller
Hash Function Based on Quantum Walks with Two-Step Memory
Design and application research on intelligent evaluation model of cigarette market operating status
Latent Multi-view Clustering Based Adaptive Graph Constraint
Speaker Adaptation for Lip Reading with Robust Entropy Minimization and Adaptive Pseudo Labels
Diagnosis of a Low-voltage Weak Point in a Distribution Network
Research on Full Process Extraction Method for long texts in power grid operation tickets based on LTP Algorithm
VCR: Video representation for Contextual Retrieval
Performance Analysis of IPSec VPN over TCP/UDP under Different Encryption Algorithms
Short text classification based on convolutional upsampling feature enhancement
A Distillation Network using Improved ConvLSTM for Video Anomaly Detection
An Innovative Power-restricted Allocation Algorithm in the V-BLAST System with the Adaptive Modulation using the Low Complexity
Residual Flow Group Attention Network For Leather Defect Classification
Consensus Filter for Distributed Sensor Networks With Unknown Colored Noise
Multi-objective Optimization of Stereoscopic Shelf Space Allocation Based on Adaptive Non-repetitive Genetic Algorithm
Fault Diagnosis Method for Temperature Rise of Tulip Contact in High Voltage Switchgear Based on Digital Twin Technology
QFL: Federated Learning Acceleration Based on QAT Hardware Accelerator
Object Tracking Based on Adaptive Multi-Template Fusing
Exploring Emotion Recognition with a Multi-Scale fNIRS Dataset: A Novel Approach Integrating Statistical Information and Cross-Channel Attention
Privacy-Preservation Robust Federated Learning with Blockchain-based Hierarchical Framework
Computational Ghost Imaging Base on Bidirectional Recurrent Neural Network
Binary and Multi-label Machine Learning Models for Discrete-Time Survival Analysis: A Case Study to Predict Complications and Mortality in Thai Diabetic Patients
Can Deep Learning Large Language Models be Used to Unravel Knowledge Graph Creation?
Short-Term Load Forecasting for Data and Energy Integration System Based on BiLSTM-GAN Model
Verification of distributed systems: an experiment
Equivalences and Refinement
Random Problem Nets and Disordered Systems
Sur l'Analogie entre les Propositions et les Types
Data Compression with Substitution
Automata Networks, LITP Spring School on Theoretical Computer Science, Angelès-Village, France, May 12-16, 1986, Proceedings
Electronic Dictionaries and Automata in Computational Linguistics, LITP Spring School on Theoretical Computer Science, Saint-Pierre d'Oléron, France, May 25-29, 1987, Proceedings
Properties of factorization forests
CCS and Petri Nets
The adherences of languages as topological spaces
Streams are not Dreams
Computation on Finite Networks of Automata
A finiteness condition for semigroups
Metric Pomset Semantics for a Concurrnt Language with Recursion
On various classes of infinite words obtained by iterated mappings
Décomposition polynomiale des fonctions rationnelles (English summary)
The Amber Machine
Mots infinis en arithmétique
Combinators and Lambda-Calculus
Towards a Semantic Approach to SIMD Architectures and their Languages
Deterministic asynchronous automata
A formal proof system for infinitary rational expressions
Estimation of the Entropy by the Lempel-Ziv Method
Languages and subshifts
Numbers and automata
Approaching Fair Computations by Ultra Metrics
Relational morphisms, transductions and operations on languages
Algorithms and automata
Cartesian closed Categories and Lambda- calculus
An Introduction to Fully-Lazy Supercombinators
A characterization of fair computations of finite state SCCS processes
About Fixpoints for Concurrency
An Introduction to Automata Network Theory
On Distributed Languages and Models for Distributed Computation
Automates boustrophédon sur des mots infinis
The Lexical Analysis of French
Ensembles reconnaissables de mots bi -infinis limite et déterminisme
Star free omega-languages and first order logic
Applications of Phonetic Description
Decidability of yield's equality for infinite regular trees
Threshold Networks and Generalizations
Alternating automata on infinite objects, determinacy and Rabin's theorem
Codes and Automata
The wreath product and its applications
Arrays, Automata and Groups: Some Interconnections
Overlap-free sequences
Overlap-free words on two symbols
Local Maps
Deterministic and non ambiguous rational omega-languages
An introduction to finite automata on infinite words
Transition Systems with Algebraic Structure as Models of Computations
Observers, Experiments and Agents: a Comprehensive Approach to Parallelism
Concerning the Size of Clocks
Partially Commutative Formal Power Series
Processes as Data Types: Observational Semantics and Logic
The Use of Finite Automata in the Lexical Representaion of Natural Language
Representation of Knowledge and Learning on Automata Networks
Logical formulas and four subclasses of omega-regular languages
Automata on Infinite Words, Ecole de Printemps d'Informatique Théorique, Le Mont Dore, France, May 14-18, 1984
The solution of two star height problems for regular trees
An Overview of the Firing Squad Synchronization Problem
Cartesian Closed Categories and Typed Lambda- calculi
Automata and quantifier hierarchies
Basic techniques for two-way finite automata
Formal Properties of Finite Automata and Applications, LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988, Proceedings
Fault-Tolerant Naming and Mutual Exclusion
Combinateures, Catégoriques et Implémentation des Languages Fonctionnels
Action versus State based Logics for Transition Systems
Automata and the word problem
Systolic Algorithms for Path- Finding Problems
Flow Event Structures and Flow Nets
Concatenation product: a survey
Causal Trees: Interleaving + Causality
K-th power free codes
Equations for pseudovarieties
Finite automata and rational languages. An introduction
Some Pronominalization Issues in Generation of Texts in Romance Languages
Infinite Traces
Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings
Concurrency and Computability
Finite automata and computational complexity
Three Equivalent Semantics for CCS
Combinators and Functional Programming Languages, Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985, Proceedings
Relative star height, star height and finite automata with distance functions
Sequence Comparision: Some Theory and Some Practice
Représentation des connaissances géotechniques
Actes du XIIIème Congrès INFORSID, Grenoble, France, May 30 - June 2, 1995
Une plateforme numérique pour piloter par la donnée le projet de territoire pour atteindre la neutralité carbone en 2040
Evolution de schéma & adaptation des instances
Les composants logiques: vers une ingénierie à base de composants
RADIANCE: A tool for software behavior design and energy consumption categorization
Cold-Start recommender system problem within a multidimensional data warehouse
Actes du XXVIIIème Congrès INFORSID, Marseille, France, 25-28 mai 2010
Sécurité dans les SI et social engineering : premiers éléments d'état des lieux
EX-LAD : Un Tableau de Bord Explicable pour l'Analyse de l'Apprentissage dans l'Enseignement Supérieur
Revealing the Conceptual Schemas of RDF Datasets - Extended Abstract
Lacs de Données : Tendances et Perspectives
Le Cloud et l'IA au service de la géo-intelligence
Un environnement pour l'évaluation et l'amélioration de la qualité des modèles de systèmes d'information
Organisation et catégorisation de patrons de conception par aspects
Nouveaux concepts pour mieux modéliser le flou
Modèle de langue pour l'ordonnancement conjoint d'entités pertinentes dans un réseau d'informations hétérogènes
Actes du XXIIème Congrès INFORSID, Biarritz, France, 25-28 mai, 2004
Extensions du diagramme d'activité pour contrôler l'accès au SI
Vers un outil documentaire unifié pour les chercheurs en archéologie
Modèles génériques de représentation de l'activité de conception
Classification structurelle des documents multimédias basée sur l'appariement des graphes
Adaptation dans la présentation de documents semi-structurés selon les préférences utilisateur
Interrogation flexible et coopérative d'une BD par abstraction conceptuelle hiérarchique
« Pour commencer, pourriez-vous définir 'données de la recherche' ? » Une tentative de réponse
Flexibilité de processus de gestion de crise par intégration de protocoles d'interaction
Urban & Coastal Lab La Rochelle (UCLR) depuis la collecte des données de la recherche jusqu'à un système d'aide à la décision
Cataloguer pour diffuser les ressources environnementales
Processus global d'acquisition et de gestion des sigles
L'Histoire des SI en France au travers d'INFORSID
Intégration d'informations dans un SI complexe
Construction d'ontologies à partir de textes: une approche basée sur l'Ingénierie Dirigée par les Modèles
Goal Formalization and Classification for Requirements Engineering, Fifteen Years Later
Eléments de modélisation de systèmes multimédias artistiques
De l'analyse des risques à l'expression des exigences de sécurité des systèmes d'information
Indexation Multidimensionnelle : KpyrRec, une amélioration de Kpyr
Génération automatique d'alternatives de structuration de données pour systèmes orientés document
Une étude systématique pour la conception d'un système d'aide à la communication pour les personnes atteintes de la Maladie de Parkinson
Conserver le patrimoine logiciel?
F-UML Tool for the formal design of frameworks
Practices to Define Software Measurements
Vers un atelier de structuration et construction de présentations multimédias
Exploration des pratiques de régulation des IA génératives par le protocole d'exclusion des robots
Entrepôt de contextes
Représentation de l'imperfection dans les bases de situation de SIC
Réutilisation des patrons en étoile
Evolution des profils UML : vers une migration automatisée et une optimisation assistée des modèles
Extraction d'informations spécifiques en biologie à partir de texte libre pour constituer de nouvelles bases de données de connaissances
Intégration des méta-données dans la fouille de données
Un métamodèle orienté buts pour spécifier les besoins d'un domaine
Etat de l'art des ontologies de capteurs
Détection d'anti-patrons d'alignement dans les SI : Vers une approche automatisée
L'influence de la gravité des données dans les architectures des lacs de données
Modélisation du contexte métier pour améliorer l'accès à l'information
Apprentissage des seuil dans le classifieur flou par localisation de concepts
RPyR: Nouvelle Structure d'Indexation avec Classification par Projections Aléatoires
Intégration de sources de données autonomes par articulation a priori d'ontologies
Progressive Integration of Method Components : A Case of Agile IS Development Methods
Les méthodes d'évolution continue au sein des organisations : le cadre As-Is/As-If
Représentation condensée en présence de valeurs manquantes
Digitized ancient documents; What's next?
Modélisation de réseaux grâce à la composition et la connexité d'objets
MAP: Un modèle pour l'accès progressif à l'information
Sur l'utilisation de LDA en RI pair-à-pair
Gestion et évolution de profils Multicritères de décideur par apprentissage pour l'aide à la Décision
Cadre d'évaluation de systèmes de reconnaissance d'entités nommées spatiales
Vers l'exploitation d'analyse de dépendance en recherche d'information précise
Croisement de langues en recherche d'information: traduction et désambiguisation de requêtes par phrases alignées
TERRE-ISTEX : vers un modèle pour identifier des terrains d'études
Vers un Profil Environnemental des Processus Métier
Un premier pas vers l'utilisation d'une analyse structurelle de réseau social pour évaluer la qualité d'un processus métier
Construction d'un dictionnaire multilingue de biodiversité à partir de dires d'experts (C)
Recherche d'informations dans des sources distribuées
COVID-19 et (dés)information : l'open data face à ses limitations
Du Concept de Vie Intelligente (Smart Life) à celui de l'Ingénierie de la Vie Intelligente (Smart Life Engineering)
Vers une modélisation possibiliste de la recherche d'information dans des documents structurés en XML
De la gestion des documents à la gestion des connaissances
Evaluation de la gouvernance de l'information - Une approche multifacette et multicritères
Méthodologie de transition vers l'économie circulaire à l'aide d'un système d'information responsable
Criteria for the verification of feature models
Vers une meilleure compréhension de la différence théorique entre un composant et un service
Adaptation dans les systèmes d'information spatio-temporelle interactifs
Modèles et méta-modèles, comme entités de première classe, dans le processus de développement du logiciel
Une Gestion de Ressources Sensible au Contexte et Opportuniste pour les Systèmes d'Information Pervasifs
Frontières des communautés polarisées : application à l'étude des théories complotistes autour des vaccins
Conception et réutilisation de composants : une approche par les buts
Intégration de données et découverte de connaissances appliquées à la biologie
La fouille de textes en IST : les outils Istex-TDM
Actes du 42ème Congrès INFORSID, Nancy, France, May 28-31, 2024
Un système coopératif basé sur les transactions
Evolution et personnalisation des analyses dans les entrepôts de données - Une approche orientée utilisateur
Interopérabilité des métadonnées de la Science Ouverte : qu'en est-il de la réalité ?
Spécification de composants métier : une approche par expression de variabilité multi-vue
Actes du XLème Congrès INFORSID, Dijon, France, May 31 - June 3, 2022
Modélisation d'une pertubation sur un réseau de transport : le modèle Incident
An intentional view of change
Event Extraction Approach from Texts
Transformation des contraintes d'intégrité - Des modèles conceptuels vers le relationnel
Actes du XXXIXème Congrès INFORSID, Dijon, France, June 1-4, 2021
Analyse de données transcriptomiques: Modélisation floue de profils d'expression différentielle et analyse fonctionnelle
A propos de l'évaluation de requêtes possibilistes
Object modeling and querying of concept lattice-based applications
Innovation collaborative pour la mobilité des seniors - Une démarche expérimentale de conception de services de covoiturage solidaire
Outils pour calculer l'empreinte TIC des organisations : adaptation d'une étude européenne
Description, Sélection et Composition de Ressources Personnalisables: Approche par Logique d'Attributs
Generating Hypertext Views on Databases
Détection de signaux faibles : une méthode basée sur les graphlets
K-automatic discovery in large image databases
Proposition d'un système de capitalisation des connaissances: une approche basée sur les cas
Gestion de la qualité des Modèles de Processus Métier : Méthode et Outil
Massively Distributed Dirichlet Process Mixture Models
Transformer les Open Data brutes en graphes enrichis en vue d'une intégration dans les systèmes OLAP
Utilisation des treillis de Galois pour l'extraction et la visualisation des règles d'association spatiales
SMSDAdn - Motifs Séquentiels Discriminants pour les puces ADN
Gestion des changements et étude d'impact dans un système d'information réglementaire
Le genre dans la recherche en SI
Une extension SysML pour l'ingénierie des exigences dirigée par les buts
Éthique de la gestion du consentement au traitement de données personnelles : une analyse au prisme des dark patterns
Exploitation de scénarios prospectifs pour l'analyse des exigences - Application à la conception des avions futurs
Exploitation des données "disponibles à froid" pour améliorer le démarrage à froid dans les systèmes de filtrage d'information
Annotation automatique de documents
Visualisation des règles associatives : vers une approche méta-cognitive
Une approche pour l'extension à la demande de cubes multidimensionnels dans un contexte multi-modèles : Application à l'agroécologie basée sur l'internet des objets
Approche orientée services pour la gestion de modèles
Ugatze: un meta-modèle de composants orienté réutilisation
Recommandation opportuniste de trajectoires pour l'accomplissement de tâches dans les systèmes crowdsourcing
Ingénierie logicielle guidée par les modèles - Avantages et limites actuels
Qualité de données multi-sources et recommandation multi-critères
Classification des réponses d'un moteur de recherche et évaluation de leur pertinence
Une approche centrée sur l'utilisateur pour intégrer les acteurs sociaux dans des communautés d'intérêt
Propriétés sémantiques et raffinement des relations de correspondances dans l'intégration de schémas hétérogènes basée sur le modèle terminologique
Extraction d'Architecture à Base de Composants d'un Système Orienté Objet
Diachronie et synchronie en spécification, une illustration en Z
Une structuration du sous-système décisionnel des systèmes industriels de production
Un modèle et une algèbre pour les données semi-structurées
Stratégies open-sources : opportunités et limitations dans le domaine des Large Language Models (LLM)
Un jour, les Systèmes d'Information se concevront eux-mêmes
Méthodologie de mise en place d'observatoires virtuels via les métadonnées
Modélisations dans une approche de veille générique (GWatch) : Clustering centré acteurs de veille
Matérialisation des vues dans un modèle multidimensionnel contraint
P-Sigma : un formalisme pour une représentation unifiée de patrons
Processus de traitement et de formalisation des besoins métier d'un Système d'Information Décisionnel
Contribution à la modélisation et à l'interrogation de documents multimedia par les metadonnées
Une méthode d'intégration de schémas de conception
Approches de Design Rationale : Cadre de Référence