yusuke1997/dblp-id-title huggingface dataset:
Interroger le texte scientifique. (Questioning scientific texts)
Concurrency in Transactional Memory
Contributions à la gestion de la sécurité des infrastructures virtuelles
Algorithmes autonomes et modélisations de problèmes
Quelques méthodes d'identification pour les systèmes dynamiques. (Some identification methods for dynamic systems)
La protection des systèmes informatiques vis à vis des malveillances
Graphical Model Inference and Learning for Visual Computing
Représentations parcimonieuses et applications en communication numérique
En mouvement, du modèle à la puce : Pour des systèmes de vision polyvalents et performants
Méthodes et outils informatiques pour la commande locale ou distante de systèmes réactifs
De la perception à l'action : l'asservissement visuel, de l'action à la perception : la vision active
Some aspects of infinite-dimensional Geometry: Theory and Applications
Complexité Naturelle et Synthèse d'Images. (Natural Complexity and Computer Graphics)
Ubiquitous interaction: mobile, multi-display and freeform interfaces
Contribution à une méthodologie d'acquisition des connaissances pour l'ingénierie des Systèmes d'Information et de Communication : l'exemple de CHEOPS pour l'aide à la gestion de crises collectives à caractère géopolitique - l'hypothèse d'un niveau des valeurs par delà le niveau des connaissances
Analyse statique : de la théorie à la pratique ; analyse statique de code embarqué de grande taille, génération de domaines abstraits. (Static analysis: from theory to practice ; Static analysis of large-scale embedded code, generation of abstract domains)
Cohérence des données dans les environnements d'édition collaborative. (Data consistency in distributed collaborative systems)
Architectures et systèmes distribués tolérants aux fautes. (Fault tolerant architectures and distributed systems)
Scheduling Pipelined Applications: Models, Algorithms and Complexity
Visual data compression: beyond conventional approaches
Réponse Réaliste en Réalité Virtuelle. (Realistic Response in Virtual Reality)
Parallelism and timing predictability in real-time systems
Decentralized Data Management for the Semantic Web . (Gestion décentralisée de données du web sémantique)
On the Limits of Machine Perception and Interpretation. (Sur les limites de la perception artificielle et de l'interprétation)
Query Evaluation: Enumeration, Maintenance, Reliability
Méthodes et modèles de conception et d'évaluation des interfaces homme-machine. (Methods and models for human-computer interface design and evaluation)
Quelques études de l'aléatoire en informatique
On Quantum Programming Languages. (De l'étude des langages de programmations quantiques)
Analyse sonore et multimodale dans le domaine de l'assistance à domicile. (Sound and Multimodal Analysis in Ambient Assisted Living)
Contributions to robust combinatorial optimization with budgeted uncertainty
Recherche d'information spatio-temporelle : Application aux images satellitaires. (spatio temporal information retrieval : applied to remote sensing data)
Contraintes sur les réels et contraintes sur les flottants: contributions
Vers une nouvelle représentation du savoir anatomique. (Toward a new way of picturing anatomical knowledge)
On optical functionalities and high-capacity communication networks
La syntaxe du japonais: Constitution, exploitation et analyse comparée des données linguistiques
Contribution à la modélisation, la simulation et l'optimisation du transport de l'énergie thermique
Contributions to Content Placement, Load-balancing and Caching: System Design and Security
Logical Dynamics
Gestion de méga-données : passage à l'échelle et qualité pour divers cas d'usage. (Scalability and quality of big data management applied to various use cases)
Vers des supports exécutifs et des outils de profilage adaptés aux architectures many/multi-cœur dans le cadre du calcul hautes performances
De l'amélioration des performances des robots manipulateurs. (On improving the performances of robot manipulators)
Cycles dans les graphes et G-configurations
La centralité des ontologies, du Web Sémantique des utilisateurs au Web Sémantique des objets
Developing robust Iot to monitor smart spaces at scale
Déduction automatique appliquée à l'analyse et la vérification de systèmes infinis. (Automated Deduction applied to the Analysis and Verification of Infinite State Systems)
Contributions and perspectives to computer vision, image processing and EEG/MEG data analysis
Movement-based Human-Machine Collaboration: a Human-centred AI approach (accreditation to supervise research)
W-Grammars for Logic Programming
Efficient Implementation of Unification of Cyclic Structures
The 'Marseille Interpreter' - a Personal Perspective
A Proposal for Distributed Programming in Logic
EPILOG: Re-interpreting and Extending Prolog for a Multiprocessor Environment
Exeter Prolog - some thoughts on Prolog design by a LISP user
Associative Evaluation of Prolog Programs
The World's Shortest Prolog Interpreter?
Garbage Collection in Prolog Interpreters
A Prolog Interpreter Working with Infinite Terms
A Formal Model for Lazy Implementations of a Prolog-Compatible Functional Language
Deduction Revision by Intelligent Backtracking
How to Implement Prolog on a LISP Machine
Formal Vienna-Definition-Method Models of Prolog
An Interpreting Algorithm for Prolog Programs
Should Prolog be List or Record Oriented
Integrating Prolog in the POPLOG Environment
What the naive user wants from Prolog
A Note on Micro-Planer
The Taming of the Sleuth
System Simulation and Cooperative Problem-solving on a Prolog Basis
Finding Backtrack Points for Intelligent Backtracking
The Control of Searching and Backtracking in String Pattern Matching
Prolog - a Panacea?
POPLER - Implementation of a POP-2-based PLANNER
Implementations of Prolog
Pascal Implementation: The P4 Compiler and Interpreter
Machine Learning, Neural and Statistical Classification
Recursive Query Processing: Fundamental Algorithms and the DedGin System
A Data-Driven Execution Mechanism for Transaction-Oriented Information Systems
A Generalized Interface Between Prolog and Relational Databases
Benchmarking Prolog for Database Applications
The Interaction Between BIM-Prolog and Relational Databases
An Interface from Prolog to a Binary Relational Database
A Prolog-Relational Database Interface
A Source-to-Source Meta-Translation System for Database Query Languages - Implementation in Prolog
Grid Files for Efficient Prolog Clause Access
Implementing Query Languages in Prolog
TREQL (Thornton Research Easy Query Language): An Intelligent Front-End to a Relational Database
Prolog and Databases, Implementations and New Directions
On Prolog DBMS Connections: A Step Forward from Educe
An Object-Oriented Database for Storage and Analysis of Protein Structure Data
Software Configuration Management Using Prolog
A Flexible Prolog-Based Lexical Database System
The TRACE Club Expert System and Databases
Guarded Default Databases: A Prototype Implementation
On Transaction Processing, Knowledge-Based Systems and Databases
Abstract Interpretation of Declarative Languages
Statistical and Scientific Databases
Regression models for categorical dependent variables using Stata, 2nd Edition
Uncertainty and vagueness in knowledge based systems: numerical methods
Theories of abstract automata
Reinforcement learning - an introduction
The second machine age: work, progress, and prosperity in a time of brilliant technologies, 1st Edition
Numerical recipes in Fortran 90: the art of parallel scientific computing, 2nd Edition
Rules of play: game design fundamentals
Power programming with RPC, 1st Edition
Structural equation modeling with AMOS - basic concepts, applications, and programming, 2nd Edition
Knowledge representation: logical, philosophical, and computational foundations
Dictionary of electronics and information processing 1, English - German, A - Z
DNS and BIND in a nutshell
Intelligent data analysis: an introduction; with 39 tables
Handbook on electronic commerce
Eye tracking: a comprehensive guide to methods and measures
Digital image processing using MATLAB
Computational models of learning
Handbook on architectures of information systems - with 24 tables
Managing projects with make, 2nd Edition
Natural language communication with pictorial information systems
Reasoning about knowledge
Using R for introductory statistics
Catalogue of distributed file operating systems
Foundations of set theory, 2nd Edition
Eye tracking in user experience design
Pattern synthesis
Parallel algorithms in computational science
Software engineering, 8th Edition
Das offizielle ILIAS 4-Praxisbuch: gemeinsam online lernen, arbeiten und kommunizieren
Bioinformatics - a practical guide to the analysis of genes and proteins
Complexity and approximation: combinatorial optimization problems and their approximability properties
Prototyping - an approach to evolutionary system development
Some tapas of computer algebra
In-memory data management: an inflection point for enterprise applications
The LATEX companion, 2nd Edition
X window system administrator's guide: for X version 11; [for X11 release 4 and release 5], Minor corr
Discovering statistics using SPSS: and sex and drugs and rock 'n' roll, 3rd Edition
The mathematica book -the definitive best-selling presentation of mathematica by the creator of the system; mathematica version 4, 4th Edition
Numerical recipes: the art of scientific computing, 3rd Edition
Discrete dynamical systems - theory and applications
Pattern analysis
The psychology of human-computer interaction
Computers and mathematics
Component software - beyond object-oriented programming, 2nd Edition
Regular structures
Learning with Kernels: support vector machines, regularization, optimization, and beyond
Artificial Intelligence, 2nd Edition
Discovering statistics using R, 1st Edition
Computer graphics programming: GKS - the graphics standard, 2nd Edition
CUDA by example: an introduction to general purpose GPU programming
Encyclopaedia of linguistics, information and control, 1st Edition
Computational geometry: algorithms and applications, 2nd Edition
Simulation and the Monte Carlo method
Templates for the solution of linear systems: building blocks for iterative methods
Continuous system modeling
Automated theorem proving: a logical basis
Computational techniques for fluid dynamics., 2nd Edition
Speech and language processing: an introduction to natural language processing, computational linguistics, and speech recognition, 2nd Edition
Analyzing social networks
Planning English sentences
Image analysis, random fields and dynamic Monte Carlo methods: a mathematical introduction
Building microservices - designing fine-grained systems, 1st Edition
Fractals, chaos, power laws - minutes from an infinite paradise
Polynomial and matrix computations, 1st Edition
Computer networks, 5th Edition
Algebraic coding theory
Principles of Semantic Networks - Explorations in the Representation of Knowledge
The essential guide to image processing
Bayesian reasoning and machine learning
Extreme programming explained - embrace change
The mathematical theory of coding
Handbook of logic in computer science. Volume 4. Semantic modelling
A visual guide to Stata graphics, 3rd Edition
CGM and CGI - Metafile and interface standards for computer graphics
Mathematical problems in image processing - partial differential equations and the calculus of variations, 2nd Edition
Building embedded Linux systems - concepts, techniques, tricks & traps, 2nd Edition
Programming Perl - covers Perl 5, 2nd Edition
Level set methods and dynamic implicit surfaces
Modern operating systems, 3rd Edition
Mathematical problems in image processing - partial differential equations and the calculus of variations
Search in artificial intelligence
A functional approach to syntax: in generative description of language
Digital pattern recognition
Code complete - a practical handbook of software construction, 2nd Edition
Computer modern typefaces
Artificial intelligence - a modern approach, 2nd Edition
Information rules - a strategic guide to the network economy
Fehlertolerierende Rechensysteme, 3th Edition
The theory of parsing, translation, and compiling. 2: Compiling
Cyber warfare - techniques, tactics and tools for security practitioners, Second edition
Computability and decidability: an introduction for students of computer science
The intelligent network - a joint study by Bell Atlantic, IBM and Siemens
User models in dialog systems
Communication in face to face interaction: selected readings, 1st Edition
Artificial intelligence - eine Einführung
An introduction to Stata programming, 1st Edition
The logic of time - a model-theoretic investigation into the varieties of temporal ontology and temporal discourse, 2nd Edition
Machine learning - a probabilistic perspective
Wörterbuch Computerenglisch: deutsch, englisch; englisch, deutsch, 5th Edition
Visible learning for teachers: maximizing impact on learning, 1st Edition
Data mining techniques - for marketing, sales, and customer support
Pattern classification and scene analysis
The MATLAB 5 handbook
Fuzzy sets and fuzzy logic: the foundations of application - from a mathematical point of view
Introductory statistics with R, 2nd Edition
Physics by computer: programming physical problems using Mathematica and C
The LATEX companion - includes newly revised LATEX standard
A guide to simulation
Theoretical and experimental DNA computation
Representations and cohomology, 1st Edition
Pattern recognition and machine learning, 5th Edition
Digitalisierung der Unternehmen
Beautiful code - leading programmers explain how they think, 1st Edition
Formalization of natural languages
Mathematical structures of language
The computer and the mind: an introduction to cognitive science
Parallel programming in openMP
The science of fractal images
Cognitive models of speech processing - psycholinguistic and computational perspectives
Learning Spark - lightning-fast data analysis, 1st Edition
Fundamentals of the average case analysis of particular algorithms
Software engineering in C
Linear systems, fourier transforms, and optics
Change by design: how design thinking can transform organizations and inspire innovation, 1st Edition
An introduction to default logic
Computational geometry: algorithms and applications, 3rd Edition
Managing NFS and NIS -help for UNIX system administrators, 1st Edition
The handbook of brain theory and neural networks
Parallel distributed processing, 9th Edition
Handbook on information technologies for education and training: with 34 tables
The wealth of networks: how social production transforms markets and freedom
Real-time rendering, 3rd Edition
Transductions and context-free languages
UNIX system administration handbook, 2nd Edition
A guide to expert systems, Reprint with corrections
Representations and cohomology, 2nd Edition
Discovering statistics using IBM SPSS statistics: and sex and drugs and rock 'n' roll, 4th Edition
Common LISP: the language, 2nd Edition
Analyzing linguistic data: a practical introduction to statistics using R, 1st Edition
Finite automata, their algebras and grammars - towards a theory of formal expressions
Introduction to the theory of neural computation
Designing Web based training: how to teach anyone anything anywhere anytime
Springer handbook of speech processing
Scientific computing on vector computers
Fundamentals of data warehouses, 2nd Edition
Fractals for the classroom 2 - Complex systems and Mandelbrot set
Numerical recipes in C++: the art of scientific computing, 2nd Edition (C++ ed., print. is corrected to software version 2.10)
Computability: a mathematical sketchbook
Data mining: practical machine learning tools and techniques, 3rd Edition
Computer graphics programming: GKS, the graphics standard
Digital image processing, 2nd Edition
Pascal user manual and report: rev. for the ISO Pascal standard, 3rd Edition
Problem-solving methods in artificial intelligence
Game studies: aktuelle Ansätze der Computerspielforschung
UNIX network programming, 2nd Edition
The basics of information security - understanding the fundamentals of InfoSec in theory and practice, Second edition
Digital image processing, 3rd Edition
The Elements of Statistical Learning: Data Mining, Inference, and Prediction, 2nd Edition
On knowledge base management systems: integrating artificial intelligence and database technologies
Expert system applications
Machine learning - an artificial intelligence approach
Processing: a programming handbook for visual designers and artists
The Cambridge handbook of multimedia learning, 1st Edition
Contextual design - defining customer-centered systems
Systems and Software Verification, Model-Checking Techniques and Tools
Corpus linguistics - investigating language structure and use
The computational complexity of algebraic and numeric problems
Propaganda 2.0 - psychological effects of right-wing and Islamic extremist internet videos
The METAFONTbook
Encyclopedia of graphics file formats
C: a software engineering approach, Rev. ed
C++ GUI programming with Qt 4
Geometric modeling: theory and practice - the state of the art
Neurocomputing, 4th Edition
Automata, languages, and machines., B
TCP IP network administration - help for UNIX system administrators, 1st Edition
A first course in discrete mathematics
Automata, languages, and machines. A
Handbook of logic in computer science. Volume 1. Background: Mathematical structures
Theory of problem solving - an approach to artificial intelligence
GIS for environmental monitoring
Using MPI: portable parallel programming with the message-passing interface, 2nd Edition
Modeling brain function: the world of attractor neural networks, 1st Edition
Automated theorem proving, 2nd Edition
Reinforcement learning - an introduction, 2nd Edition
The art of computer programming, Volume II: Seminumerical Algorithms, 3rd Edition
Handbook of simulation - principles, methodology, advances, applications, and practice
Pattern classification, 2nd Edition
Computing in statistical science through APL
The theory of parsing, translation, and compiling. 1: Parsing
Handbook of logic in computer science. Volume 2. Background: Computational structures
Pattern-oriented software architecture, 4th Edition
Effective Java, 2nd Edition
Computer algebra - symbolic and algebraic computation
Fundamentals of artificial intelligence - an advanced course
Handbook of logic in computer science. Volume 3. Semantic Structures
Effective modern C++: 42 specific ways to improve your use of C++11 and C++14
Language as a cognitive process 1: Syntax
Complexity and real computation
Vectorization of computer programs with applications to computational fluid dynamics
Formal languages and their relation to automata
Principle-based parsing - computatCarol Tennyion and psycholinguistics
Operating systems: design and implementation
Applied spatial data analysis with R
Event history analysis with stata
Algebraic aspects of cryptography
Stochastic simulation
The designer's guide to VHDL, 2nd Edition
A course in computational algebraic number theory
Computer algebra: symbolic and algebraic computation, 2nd Edition
The physics of quantum information: quantum cryptography, quantum teleportation, quantum computation
Catalogue of artificial intelligence tools, 2nd Edition
LAPACK users' guide - [release 1.0]
Economic and financial modeling with Mathematica
About Face 3: the essentials of interaction design
Neural networks and fuzzy systems: a dynamical systems approach to machine intelligence
Gaussian processes for machine learning
Selecting models from data
Handbook of logic in computer science. Volume 5. Logic and Algebraic Methods
Algebra for computer science
Structural complexity, 1st Edition
Learning GNU Emacs - UNIX text processing (1st Edition)
Concurrent scientific computing
Scientific data analysis - an introduction to overdetermined systems
A history of algorithms: from the pebble to the microchip
Computability and logic
Handbook of mathematics and computational science
Formal techniques in artificial intelligence - a sourcebook
Complex adaptive systems - an introduction to computational models of social life
Defect correction methods - theory and applications
On conceptual modelling - perspectives from artificial intelligence, databases and programming languages
Petri-Netze: eine anwendungsorientierte Einführung
The emperor's new mind - concerning computers, minds and the laws of physics
Neuro-dynamic programming
Fuzzy sets and systems: theory and applications
Designing web usability
The art of computer programming, Volume I: Fundamental Algorithms, 3rd Edition
Introductory statistics with R
Optical data processing: applications
Partial differential equations for computational science - with maple and vector analysis
The art of computer programming, , Volume III, 2nd Edition
The data warehouse toolkit: the complete guide to dimensional modeling, 2nd Edition
The mathematica guidebook for programming (includes DVD)
GIS for earth surface systems: analysis and modelling of the natural environment
Modern applied statistics with S, 4th Edition
Computers in linguistics
Computational geometry: algorithms and applications
The laws of simplicity
Visual explanations - images and quantities, evidence and narrative
Methods for statistical data analysis of multivariate observations
Mathematica - a system for doing mathematics by computer
Rational series and their languages
Programming Perl, 1st Edition
The structure and dynamics of networks
Dynamic programming and optimal control, 3rd Edition
SPSS, statistical package for the social sciences, 2nd Edition
Introduction to Algorithms, Second Edition
Distributed Databases: Principles and Systems
Database System Concepts, 3rd Edition
Oracle (Chapter 25)
Database System Concepts, 1st Edition
File Organisation for Database Design
IBM DB2 Universal Database (Chapter 26)
DB2 10.5 with BLU Acceleration - New Dynamic In-Memory Analytics for the Era of Big Data
Database Design, Second Edition
Multimedia Data Management: Using Metadata to Integrate and Apply Digital Media
Database System Concepts, Sixth Edition
Database System Concepts, 4th Edition
Database System Concepts, 2nd Edition
Database System Concepts, Seventh Edition
Video Data Management Systems: Metadata and Architecture
Metadata Handling in HyperStorM
Metadata Management for Geographic Information Discovery and Exchange
Content-Based Image Retrieval using Metadata and Relaxation Techniques
A Framework for Meta-Information in Digital Libraries
The Use of Metadata for the Rendering of Personalized Video Delivery
Overview on Using Metadata to manage Multimedia Data
Metadata for Content-based Retrieval of Speech Recording
Metadata in Geographic and Environmental Data Management
SQL - The Standard Handbook
Database Design, Revised 2nd Edition
Microsoft SQL Server (Chapter 27)
Database Systems - Concepts, Languages and Architectures
Photovoltaik: Lehrbuch zu Grundlagen, Technologie und Praxis, 6. Auflage
Entwicklung von CIM-Systemen mit Datenbankeinsatz : Grundlagen, Konzepte, Realisierung
Erfolgsschlüssel Objekttechnologie -- Managerführer zur Neuorganisation des Softwareprozesses
Objektorientierte Softwareentwicklung
Implementierung von Datenbanksystemen
Natural Language Processing for Online Applications: Text Retrieval, Extraction & Categorization
Méthodes de Programmation, 1st edition
Méthodes de Programmation, 3rd edition
Recherche d'Information - applications, modèles et algorithmes
Apprentissage Machine: de la théorie à la pratique
Machine Learning, 2nd Ed
A Lambda Calculus Satellite
Construction of Surfaces by Shape Preserving Approximation of Contour Data
Shape-preserving interpolation with variable degree polynomial splines
Co-convexity preserving Curve Interpolation
Algorithms for convexity preserving interpolation of scattered data
Tensor Product Spline Interpolation subject to Piecewise Bilinear Lower and Upper Bounds
A coparative study of two curve fairing methods in Tribon Initial Design
Functional Aspects of Fairness
Curvature approximation with application to surface modeling
Scattered Data Approximation with Triangular B-Splines
Multivariate Splines with Convex B-Patch Control Nets are Convex
Surface design based on brightness intensity or isophotes-theory and practice
Shape Preserving Interpolation by Curves in Three Dimensions