yusuke1997/dblp-id-title huggingface dataset:
Chapitre 1 - notions de calcul
Statuts de variables
Langage de traitement de donnees et de communication
Éditorial: Informatique et dégénérescence cancéreuse
Une logique conflictuelle: double négation et devenir, méthode
Approximations décimales et développement en fraction continue
Présentation de CSI'91
Vouzzavedibisar: L'ordinateur à l'école
Éditorial: Education nationale
Les architectures risc et polo: un processeur oriente objet
Le micro-processeur 8040
Les locutions verbales dans les ecrits de martin luther
Vouzzavedibisar: Le temps de la papauté
Bibliométrie: point de vue du comité de rédaction de Mathematical Structures in Computer Science
Study of a thesaurus creation
Éditorial: Le jeune Bianco aux prises avec un texte, acte 2
Autojection et systemes procedure formelle symbolique
Vouzzavedibisar: L'horreur
Le tournoi de turing traditions et innovations
Vouzzavedibisar: Les aventures du Vicomte Jacques-Etienne Xavier de l'Or
Machine du modele: a -> b, x a decalage maximum (suite)
Semantique generale
Vouzzavedibisar: Annonce: le BIAA fêtera ses 30 ans, le 30 mars 2012
Vouzzavedibisar: Disque n o 751, cycle d'angle
Contradiction ou indécidabilité : il faut choisir !
Hamlet-machine ensemble n o 22'
Mécanique quantique III : de de Broglie à Schrödinger
Science et Science-Fiction. Séminaire H.S.I.F.S. paru dans La Recherche. N°49 - octobre 1974
Un Système Tuteur Utilisant un Compagnon Perturbateur
Vouzzavedibisar: Les Gaullicoquins et les Grapurinades
Éditorial: Paradoxe
Éditorial: Notre rassemblement de points de vue du pourtour de la Méditerranée en juin 1991
Preambule I: Le programme de la journée du 30 mars 2012
Des Réseaux de Petri et du bulletin d'informatique approfondie et applications 1981-1997
Le moment de l'angoisse
Les systemes informatiques
Une logique conflictuelle selon Carlos Derbez: La dialectique homme-machine
Vouzzavedibisar: 1, 0, 1, 0, 1, 0, 1, 0, ..
Vouzzavedibisar: Petit lexique à l'usage de littérature politique
Vouzzavedibisar: Séminaires 1993
Conservation de la généricité et de l'aléatoirité
Preambule II: Les inscrit(e)s à la journée du 30 mars 2012
Éditorial: Le jeune Bianco aux prises avec un texte, acte 1
Notion de machine d'après Edmond Bianco
Quelques remarques sur un systeme sequentiel
Compilation de la procedure formelle symbolique
Éditorial: Lettre à Madame la Ministre
Vouzzavedibisar: Un an déjà
Derouleur du lac, ecrit en procedure formelle symbolique
Une preuve directe de l'equivalence: machine de turing, machine a cases adressables
Vouzzavedibisar : 100 ans (par Albert Einstein)
La machine a instruction unique
Éditorial: Printemps, été, automne
Vouzzavedibisar: Voyage
Éditorial: Informatique, la réalité dans l'irréel
Images pour programmer : programmer !
Éditorial: Société et organisation
Éditorial: Informatique et évolution de société
Systeme universel (suite de suite)
Vouzzavedibisar: Salut Edmond Bianco. Souvenir de 1982
Exemple du photographe - Pas 1: Le réseau de Petri vu comme un ensemble d'automates communicants
Bibliométrie et les tenants de l'orthodoxie (version française, version russe)
Vouzzavedibisar: Le temps des voyages
Causes et consequences de l'avalanche des publications scientifiques
Vouzzavedibisar: Seher
Éditorial: Informatique... Informatique..
Vouzzavedibisar: Der Weise. Le sage
Hommage à Edmond Bianco: De la machine universelle au traitement automatique du langage naturel
Systèmes de numération et répartition
Deux ou trois choses que je sais de Sakharov (la minute d'Anselme Lanturlu)
Vouzzavedibisar: Edmond Bianco en 1997
Vouzzavedibisar: L'Honneur et la Nation
Preparation d'une base d'information en vue de son exploitation en langage naturel
Vouzzavedibisar: Le président
Vouzzavedibisar: A la manière de..
Vouzzavedibisar: Le coupé - décalé
Vouzzavedibisar: Fantaisie
Resume technique de la machine molle et vocabulaire
Éditorial: Chanson de printemps
Éditorial : Information, Communication, James Clerk Maxwell et Albert Einstein
"square trisection" de abu'l wafa' à christian blanvillain
Informatique et linguistique: Introduction, historique
Formalisme de representation de la cinematique des systemes de gestion automatises et quasi automatises
Éditorial: Informatique et compléxité
Éditorial: L'avènement d'Internet
Les enjeux d'un dialogue homme-machine sur internet: l'hyperdialogue
Vouzzavedibisar: La triste fin d'Ordinateur Chevelu
Éditorial: Informatique et enseignement
Éditorial: Informatique, intelligence
Vouzzavedibisar: Le L.I.T.A.M. en quelques mots
Modele avec thesaurus de recherche d'information
"square trisection". dissection of a square in three congruent partitions
Vouzzavedibisar: Ordinateurs
Vouzzavedibisar: Der Professor (le professeur)
Éditorial: L'économique, l'informatique et le politique
Vouzzavedibisar: Langue de bois
Éditorial: Echec
Nos seminaires
Éditorial: Informatique, économie et compagnie (suite 2)
La litterature animee programmee
Vouzzavedibisar: Le symbole
Éditorial: Informatique fondamentale
Intersens 2000
Vouzzavedibisar: 3, 75 m
Albert Einstein: Les fondements de la théorie de la relativité générale [extrait]
Éditorial: Théâtre d'ombres
Autojection et compilateurs procedure formelle symbolique
Bases de donnees et lexiques-grammaires: un exemple d'exploitation linguistique de l'outil informatique
Éditorial: Un peu de sémantique
Vouzzavedibisar: Affiche «Les 30 ans du B.I.A.A. Hommage à Edmond Bianco»
De la sérendipité, créativité, versionologie au bon modèle
Le processeur experimental MCA-0 (suite)
Vouzzavedibisar: Colloqueries
Vouzzavedibisar: Forces de Coriolis
Vouzzavedibisar: Animalcule Etrange
Éditorial: Société, informatique et relaxation
Vouzzavedibisar: Le temps de la "Sec Soc"
OUPPI-3: une machine SIMD pour les modeles de physique bases sur les automates cellulaires a 2-D
Evaluation du principe d'economie dans les modeles rationnels de tache de recherche d'information dans un hypertexte
Éditorial: Intermittence et gouvernance
Génèse de la théorie des Réseaux de Petri 1962-1973
Editorial: Utopie
Images pour programmer: mais qui est l'executant-ordinateur?
L'economique et l'intelligence artificielle 1ère conference internationale
Vouzzavedibisar: Les aventures de Savate premier - Le destin international
Avant propos
Éditorial: Le lièvre informatique et la tortue sociale
Presentation de la gamme des ordinateurs adaptables
«thinking»: onze minutes en onze pages
Éditorial: Edmond Bianco (1932-2005)
Éditorial: Informatique & politique
Vouzzavedibisar: Le casse-tête informatique
Éditorial: Le système éducatif
Éditorial: Gavage des oies
Tester les compilateurs
Vouzzavedibisar: Petri Nets 2009. Call for Papers and Announcement
Introduction a l'algorithmique: notions de bases et tableaux
Vouzzavedibisar: Séminaires 1994
Mécanique quantique I : bases mathématiques
Machines, langages, compilation
Vouzzavedibisar: La saga de Petit Lapin
Vouzzavedibisar: L'art est visionnaire
Éditorial: J'aurais pu..
Vouzzavedibisar: Comment le corps est atteint (extrait II)
Éditorial: Informatique et terrorisme
De Jacques Arsac à Charles Duchâteau Images pour programmer
Automate programmable interpreteur de reseaux de Pétri
Le processeur de la procedure formelle
Machines formelles et echanges machines de distribution
Vouzzavedibisar: Raffariconfiance
Les reseaux connexionnistes
Chapitre 5 - la machine universelle
Expression et verification des connaissances thesaurus par les reseaux de petri
Generation de sequences de test pour les circuits decrits selon une vue comportementale
Qu'entend-on par calculer?
Intersens 2000, suite
Exemples de suites et fonctions sous-additives
Une nouvelle machine
Éditorial: Informatique, économie et compagnie (suite1)
Intelligence artificielle: de la resolution des problemes a l'ingenierie de la connaissance
Vouzzavedibisar: Le G.F.D.I.F.S.C
Un micro-processeur a jeu d'instructions reduit, realise en circuits programmables
Apres hamlet-machine et turing-machine
Qu'est-ce qu'une machine? (III/III)
Vouzzavedibisar: Citations
Éditorial: Comique et fractures
Sur un resultat de shannon a propos des machines de turing a deux etats
Vouzzavedibisar: L'offsetiste et la banquière. Marcel et Claudine
Vouzzavedibisar: MARTH une étrange planète
Test generation for sequentiel logic circuits using petri nets
Vouzzavedibisar: Séminaire Internet
Form, substance, correspondance
Langage de conduite des processus
Vouzzavedibisar: Travaux d'Edmond Bianco et dirigés par Edmond Bianco
Le grafcet, etudes et reflexions
Editorial: De l'an mil à l'an deux mil
Éditorial: Humour, informatique et économie
Éditorial: Evaluations des enseignants-chercheurs
Qu'est ce qu'un bon modèle?
La machine plate
Statut syntaxique des appositions en allemand du type Y, X ou Y - X ou Y(X)
Chapitre 7 - le processeur
Éditorial: Informatique et informance, communicance, déchéance
Vouzzavedibisar: International Conference MCU 2007 - Machines, Computations and Universality
PFLUX: un logiciel d'analyse des reseaux de petri
Exemple des lecteurs et des écrivains. spécifications
Vouzzavedibisar: Amour, informatique et virus
Introduction aux Réseaux de Petri
Autojection et compilateurs (suite de suite)
Analyse de premiere approche de langage naturel, dans le cadre de l'etude d'un systeme support de thesaurus
Vouzzavedibisar: Climat
Éditorial : Jacques Arsac, astronome et informaticien
Synthetic creatures in context
Vouzzavedibisar: La chanson du Mammouth
Vouzzavedibisar: Brève dernière
Qu'est-ce qu'une machine? (I/III)
"Postéditorial": Les Universités d'Aix-Marseille sur les routes de la soie
Vouzzavedibisar: Secrétariat Général
Éditorial: Informatique et politique
Vouzzavedibisar: Notre civilisation expliquée par les jeux
Un theoreme important de l'informatique: theorie de l'index
Éditorial: Europe
Quelques éditoriaux des premiers bulletins
Éditorial: Informatique et sport
Éditorial : Un professeur de l'université de Moncton s'inquiète pour sa famille qui vit en Syrie
Les systemes experts et la machine universelle
Vouzzavedibisar: La légende du petit lapin et du petit renard
Insertion fractionnee
Vouzzavedibisar: Turlubec
Éditorial: Informatique, économie et compagnie (suite 3)
Éditorial : Faut-il laisser tomber l'allemand, le chinois ou l'es-pagnol et faire code informatique en seconde langue ?
Compilateur de machine universelle: MU
Éditorial : Charles Corge et informatique quantique
Vouzzavedibisar: Le symbole (suite)
Éditorial: Qu'est ce que l'informatique?
Utilisation d'un micro-processeur specialise dans le calcul
Vouzzavedibisar: L'avenir de l'ordinateur
Éditorial: Informatique et psychologie
Vouzzavedibisar: P35 DV34
Éditorial: Internet
Apprendre les concepts informatiques de base
Aide a la construction de programmes basic sur systemes apple
Éditorial: Informatique et vacances
Éditorial : Le cent et le sang
Vouzzavedibisar: L'Enigme et l'Harmonie
Éditorial: Au fou
Notion de systeme, systeme logiciel et systeme machine
Vouzzavedibisar: Dunod
Encodage des dictionnaires electroniques: problemes et propositions de la tei
Computer assisted programming for systolic systems
Extending the independance notation to the first-order formulas for the satisfiability enumeration
Vouzzavedibisar: Tout
Éditorial: Anti société
The multimedia instrument
Éditorial: Développement en fractions continues et algorithmes
Notion de systeme: système logiciel et système machine (suite de suite)
Éditorial: Les aventures de Savate Premier et son Ordinateur Chevelu
Vouzzavedibisar : Regard oblique
Éditorial: Informatique, économie et compagnie
Éditorial: Informatique et Néant
Éditorial: Réalité et irréalité
Traitements informatiques de la notation du jeu instrumental pour instrument de musique mecanique
Vouzzavedibisar: Epitaphe
Vouzzavedibisar: Trait d'orchestre
Éditorial: Alunir
RespiDiag: un système Multi-Agents Basé sur un Couplage CBR-SBC pour la Prise en Charge de la Santé Respiratoire
Qu'est-ce qu'une machine?
Une informatique alternative
Éditorial: La 9
100 ans de Relativité Générale (III/III) : déflexion de la lumière
Information, semiotique et analyse fonctionnelle
Vouzzavedibisar: L'électeur Gaullicoque
Faut-il rendre reelles les machines virtuelles?
Éditorial: Famille, jardin, orthoptère et Goldbach
Éditorial: La fondation Mark Gable (extrait)
Éditorial: Motion du CNU 27
Autojection et compilateurs
Chapitre 3 - complements a la machine de nolin
L'invasion informatique
Éditorial: Informatique et théocratie
Quelques VOUZZAVEDIBISAR's des premiers bulletins
Qu'est-ce qu'une machine? (II/III)
Chabot, Derbez et Isoardi: points de vue sur la contradiction et la rationalité
Vouzzavedibisar: Compression Symbolique
Turing-machine (playshop)
Éditorial: Informatique et desarroi
Notion d'insertion dans la machine de Nolin
Vouzzavedibisar: Le Ministre et la Vache malade
Éditorial: Salut Edmond Bianco
Éditorial: Notre singularité
Une preuve directe de l'equivalence entre machine de turing et machine a cases adressables
Chronique "hypertextes et hypermedias" 1945-1995
Proposition d'organisation physique et mecanismes d'interrogation de thesaurus
Vouzzavedibisar: Computation'93
Systeme universel (suite)
Mécanique quantique II : opérateurs non bornés
Chapitre 6 - notion de systeme
Une definition du calculable
Éditorial: Informaticien tout court
Formalisation de thesaurus a l'aide des reseaux de petri
Outils informatiques pour les sciences humaines. extrait de cours
Chapitre 4 - la machine formelle
Le grafcet: etudes et reflexions
Chapitre 8 - la machine universelle de la procedure formelle
Éditorial: Histoires d'Universités : le travail en miettes
Analyse automatique de requetes
Éditorial: L'immortalité à portée de clavier
Contradiction ou indécidabilité: il faut choisir! À propos du théorème d'incomplétude de Gödel
Systeme de conduite de processus
Vouzzavedibisar: Le temps des juges
Représentations formelles de la phrase Arbres, boîtes de Hockett, grammaires à cases
Methodologie de developpement des systemes experts
Éditorial: Informatique et qualité de vie
Contradiction ou indécedabilité: il faut choisir?
Vouzzavedibisar: Séminaires 1992
Éditorial: Informatique et changement de société
Réverie sur mon clavier
Éditorial: Hiver et printemps
Éditorial: Printemps
Modelisation, simulation et representation en i.a. (brouillon)
Vouzzavedibisar: Comment le corps est atteint (extrait I)
100 ans de Relativité Générale (II/III) : courbure
Éditorial: Univers et expression
Vouzzavedibisar: Savate Premier, chef de guerre
Vouzzavedibisar : H.S.I.F.S. (par Université de Provence)
Systemes de post: construction de phrases
Autojection et compilateurs: "suite"
Modified genetic algorithm for multiobjective task scheduling on heterogeneous computing system
An autonomous moving heuristic for mobile sink based on feasible sojourn regions to maximise network lifetime in wireless sensor networks
Performance analysis of IoT-WBAN-based health monitoring system
Privacy preserving mutual authentication in WiMAX
Lifetime-aware geographic routing under a realistic link layer model in wireless sensor networks
On the top-down evaluation of tree inclusion problem
FDMA approach for smart grid and green communications
Design space exploration for low-power channel decoder in embedded LDPC-H.264 joint decoding architecture
Historical Ethiopic handwritten document recognition using deep learning
A case study: establishing redundant access networks in the telecommunication sector of a developing country
Measuring entertainment and automatic generation of entertaining games
An effective and efficient indexing scheme for audio fingerprinting
Model-based verification of privacy preserving authentication protocol for VANETs
A comprehensive survey of multi-objective genetic and fuzzy approaches in rule mining problem of knowledge discovery in databases
Leveraging the modelling of return on investment for grid computing
LEACH inspired hierarchical routing protocols for wireless sensor networks
Development and performance analysis of grid resource allocation methods
Semantic retrieval: an approach to representing, searching and summarising text documents
Framework for business values chain activities using SOA and cloud
A generic interface for resource aggregation in grid of grids
The era of digital activism
Application of auctions club in cloud computing
Opportunities for IT developers in web accessibility/assistive technologies
School dropout profiling and prediction approach using machine learning
Architecture and framework for data acquisition in cloud robotics
Intelligent remote health monitoring system
Hierarchical key derivation scheme for group-oriented communication systems
Application of connected dominating sets in wildfire detection based on wireless sensor networks
Cooperative cache analysis for distributed search engines
Distributed stable cluster head election (DSCHE) protocol for heterogeneous wireless sensor networks
Automated journalism and the ethnographic approach applied within the Brazilian sports newsroom
Lecturers' perceptions on usage and security of examination modes of assessment used in universities: a case study of Mbarara and Bishop Stuart Universities in Uganda
Impact of mobile sink nodes on performance of wireless sensor networks
Atmospheric models hybrid OpenMP/MPI implementation multicore cluster evaluation
On secure communication in integrated heterogeneous wireless networks
Security issues in mobile money eco-system
Lexicon-based sentiment analysis on movie review in the Gujarati language
SaaS cloud computing in small and medium enterprises: a comparison between Germany and New Zealand
A comparative analysis of media processing component implementations for the Brazilian digital TV middleware
Multipath design for 6LoWPAN ad hoc on-demand distance vector routing
Routing in the presence of groups in mobile ad hoc networks
Developing online auction with behavioural and intuitive functions
A comparative study of feature weighting methods for document co-clustering
Situation-based reply candidate presentation method for mobile phone
Joint diagonalisation via weighted generalised eigenvalue decomposition
Correlation-based heuristics and evaluation of existing greedy heuristics for VM allocations in cloud datacentres
Borderline coverage analysis of a wireless sensor network under random deployment using the union of collinear chords
Digital quantum forensics: future challenges and prospects
E-learning platforms and security mechanisms used by educational institutions in Kampala, Uganda
Emerging ICTs increasingly need policy convergence: an account of ICT policy convergence in India
Integrated management platform for seamless services provisioning in converged network
Retrospective detection of malware attacks by cloud computing
Explicating mobile money interoperability system and subscriber satisfaction: the role of perception
Text steganography using linear congruence
Two fast multi-point search algorithms for high quality motion estimation in high resolution videos
Load balanced scheduling of independent tasks in heterogeneous computing systems
A trustable software with a dynamic loop control mechanism
Semantic retrieval: multiple response model for context-aware learning services
Optimal pricing solution for VoIP service in 802.16/802.11 combined networks
Efficient broadcasting for a MANET-based peer-to-peer community radio service
A new entropy-based heuristic for automatic enrichment of ontologies
Soft computing approach towards localisation in wireless sensor networks: a survey
Handover management in next generation networks: a cross layer solution
Priority-based squash reducing methods in thread level speculation
Model checking embedded software of an industrial knitting machine
Unordered tree matching and ordered tree matching: the evaluation of tree pattern queries
Performance analysis of the EBARR protocol for wireless sensor networks
Evolution of mobile payment systems and level of security awareness among mobile money users in Uganda
Multi-hop communication routing (MCR) protocol for heterogeneous wireless sensor networks
Ethiopian banknote recognition using deep learning
Exploring consumers acceptance of mobile payments - an empirical study
A formal approach to model and verify the behaviour of publish/subscribe architectural style
Inference of network impairment effect on the quality of high definition IPTV distribution
Secure toll collection in VANETs
Vertical datum and coordinate systems in Jordan
Energy optimisation in cloud computing
Interactive sonification
Multimodal signal processing and interaction for a driving simulator: Component-based architecture
Multimodal speech recognition: increasing accuracy using high speed video data
Haptic communication of dimensions of emotions using air jet based tactile stimulation
Audio-haptic interfaces for digital audio workstations
The CG-MER dyadic multimodal dataset for spontaneous french conversations: annotation, analysis and assessment benchmark
Switching Wizard of Oz for the online evaluation of backchannel behavior
How do angry drivers respond to emotional music? A comprehensive perspective on assessing emotion
Studying gesture-based interaction on a mobile augmented reality application for co-design activity
To talk or not to talk with a computer
Smart obstacle-detecting accessory for white cane improves safety and efficiency of outdoor walking for the visually impaired: pilot study
Investigating the influence of agent modality and expression on agent-mediated fairness behaviours
DecisionMind : revealing human cognition states in data analytics-driven decision making with a multimodal interface
Ultrasonic hand gesture recognition for mobile devices
Mediated telemedicine vs. face-to-face medicine: efficiency in distress reduction
Combining audio and visual displays to highlight temporal and spatial seismic patterns
Haptic and audio interaction design
The LDOS-PerAff-1 corpus of facial-expression video clips with affective, personality and user-interaction metadata
Continuous interaction with a virtual human
Landmark-enhanced route itineraries for navigation of blind pedestrians in urban environment
On-line emotion recognition in a 3-D activation-valence-time continuum using acoustic and linguistic cues
Spatial and temporal variations of feature tracks for crowd behavior analysis
Multimodal PTSD characterization via the StartleMart game
Interactive gaze and finger controlled HUD for cars
Effects of personality traits on user trust in human-machine collaborations
Multi-modal facial expression feature based on deep-neural networks
Evaluating metaphor reification in tangible interfaces
The Augmented Movement Platform For Embodied Learning (AMPEL): development and reliability
Low complexity head tracking on portable android devices for real time message composition
A language perspective on the development of plastic multimodal user interfaces
Eye moving behaviors identification for gaze tracking interaction
HaM3D: generalized XR-based multimodal HRI framework with haptic feedback for industry 4.0
MARC: a framework that features emotion models for facial animation during human-computer interaction
Comparing head-mounted and handheld augmented reality for guided assembly
A gaze-based interactive system to explore artwork imagery
Truck drivers' views on the road safety benefits of advanced driver assistance systems and Intelligent Transport Systems in Tanzania
Virtual reality can mediate the learning phase of upper limb prostheses supporting a better-informed selection process
Survey and implications for the design of new 3D audio production and authoring tools
Perceptually salient haptic rendering for enhancing kinesthetic perception in virtual environments
Recognizing signals of social attitude in interacting with Ambient Conversational Systems
Multisensory instrumental dynamics as an emergent paradigm for digital musical creation
SliceType: fast gaze typing with a merging keyboard
The effects of spatial auditory and visual cues on mixed reality remote collaboration
Grounding behaviours with conversational interfaces: effects of embodiment and failures
Visual SceneMaker - a tool for authoring interactive virtual characters
The challenges of engineering multimodal interaction
Personalisation and automation in a virtual conversation skills tutor for children with autism
A framework towards expressive speech analysis and synthesis with preliminary results
Synchronizing multimodal recordings using audio-to-audio alignment