yusuke1997/dblp-id-title huggingface dataset:
Motif reference manual for Motif 2.1, volume six B - the definitive guides to the X Window systems (2. ed.)
Expertise und Praktise - zum Einfluß von Expertisegrad und -typ auf die Entwurfsprozesse in zwei Architektenteams
Thriving Systems Theory and Metaphor-Driven Modeling
Abelian varieties
Learning OpenCV - computer vision with the OpenCV library: software that sees
Graphisch-interaktive Mensch-Maschine-Kommunikation in der Prozessautomatisierung - Problemanalyse und Hardware/Software-Lösungen
Running Linux - a Unix-compatible system for the personal computer (2. ed.)
A formalisation of design methods - a lambda-calculus approach to systems design with an application to text editing
Einführung in die Programmierung mit Java
Das Photoshop-CS3-Handbuch für Fotografen - ein Wegweiser für den fotografischen Workflow: mit einem Kapitel zu Photoshop Ligthroom
Unicode explained - internationalize documents, programs, and web sites
Incremental multi view 3D reconstruction with application to disaster management
Developing Java software
Information modeling and relational databases (2. ed.)
Advanced global illumination
Software-Qualität - Testen, Analysieren und Verifizieren von Software, 2. Auflage
Wavelets - algorithms & applications
A Pattern Language - Towns, Buildings, Construction
Praktisches Programmieren in Tcl und TK
Human factors in software development - tutorial (2. ed.)
Computer networks - a systems approach (3. ed.)
Parallelrechner und parallele Programmierung
Künstliche Intelligenz und Simulation in der Unternehmung - wissensbasierte Systeme im Dienste des Managements
Interface description language - definition and use
Entwurfsmethodik für graphische Systeme
Exchange server cookbook - for Exchange server 2003 and Exchange 2000 server: step-by-step procedures and scripts for administrators
Remote control robotics
UNIX distributed programming
Nonlinear Waves in Integrable and Nonintegrable Systems
Predictive data mining - a practical guide
Using language models for information retrieval
Team Geek - A Software Developer's Guide to Working Well with Others
Adobe Photoshop CS4 one-on-one
Computational aspects of a first-order logic with sorts
Einführung in die mathematische Logik (4. Aufl.)
Potential analysis for massively parallel computing and its application to neural networks
Recommender Systems - An Introduction
Stochastic Calculus with Infinitesimals
Rapid Serial Visual Presentation - Design for Cognition
Computers - their operation and applications
HTML and XHTML - the definitive guide: creating effective web pages (5. ed.)
Invasive software composition
Internet complete reference
Computability, complexity, and languages - fundamentals of theoretical computer science
Algebraic function fields and codes
Timing analysis of real-time software
Analyse geschlossener Warteschlangennetzwerke unter Verwendung von lastabhängigen Knoten
Why programs fail - a guide to systematic debugging
Stochastik - Struktur im Zufall, 2. Auflage
Sketch-based Interfaces and Modeling
Generic image structure
For the Sake of the Argument - Ramsey Test Conditionals, Inductive Inference and Nonmonotonic Reasoning
HTTP - the definitive guide: understanding web internals
sed and awk - pocket reference: text processing with regular expressions (2. ed.)
Wissen und Wissensvermittlung im Kontext von internetbasierten intelligenten Lehr- und Lernumgebungen
Covering Codes
Interactive feature detection in volumetric data
Hooked on Java - creating hot web sites with Java applets
Parallele Programmierung, 2. Auflage
Agile Modellierung mit UML - Codegenerierung, Testfälle, Refactoring, 2. Auflage
Efficient state space exploration of reactive object-oriented programs
Real-time rendering, 2nd Edition
Unix in a nutshell - system V edition, revised and expanded for SVR4 and solaris 2.0 (2. ed.)
Fractal geometry - mathematical foundations and applications
Ensemble and Constrained Clustering with Applications
Rechnerarchitektur - Einführung und Grundlagen
Specification of graphical structure editors - the graphical editor generator system: GEGS
Motion History Images for Action Recognition and Understanding
Strukturierte Softwareentwicklung von Informations- und Kommunikationsdiensten
Beyond fear - thinking sensibly about security in an uncertain world
A theoretical framework for reasoning about program construction based on extensions of rewrite systems
The Structure of Scientific Articles - Applications to Citation Indexing and Summarization
The beginner's guide to Mathematica - version 2
Maple V - language reference manual
Programming Amazon web services - S3, EC2, SQS, FPS, and SimpleDB: outsource your infrastructure
Pattern classification - a unified view of statistical and neural approaches
Analytic Pattern Matching - From DNA to Twitter
Perl 6 essentials - the community's rewrite of Perl
Intelligent software agents - foundations and applications
The application profile model
Classifying science - phenomena, data, theory, method, practice
Erste Schritte mit Maple
Introducing Fortran 90
Buffer Overflows und Format-String-Schwachstellen - Funktionsweisen, Exploits und Gegenmaßnahmen
Inside relational databases - with examples in Access
Representations for genetic and evolutionary algorithms
Mobile Commerce - Grundlagen und Techniken
Representing logics and logic translations
Windows Vista - the definitive guide: the one vista book you will always use
Linux 2010 - Debian, Fedora, openSUSE, Ubuntu (9. Aufl.)
Mikroelektronik - eine allgemeinverständliche Einführung in die Welt der Mikrochips, ihre Funktion, Herstellung und Anwendung
Cooperative Control Design - A Systematic, Passivity-Based Approach
Dialogprogrammierung mit EnjoySAP Controls - Objektorientierung unter ABAP, Grundlagen und Anwendungen
OSF/Motif programmer's guide - revision 1.1 for OSF/Motif release 1.1
A Second Course in Formal Languages and Automata Theory
Data structures, algorithms, and object-oriented programming
Aspects of distributed computer systems (2. ed.)
GSM - Architecture, Protocols and Services (3. ed.)
Modellierung von und mit Relationen - Integration qualitativer Modellierungstechniken in ein semantisches Netzwerksystem
Online Surfface Reconstruction from Unorganized Point Clouds with Integrated Texture Mapping
Inside relational databases with examples in Access (2. ed.)
Mastering Search Analytics - Measuring SEO, SEM, and Site Search
Novel methods for the analysis of small molecule fragmentation mass spectra
Datenbanken kompakt - Datenbankentwurf, Datenmodellierung, datenbankbasierte Webanwendungen, SQL:1999 und XML (2. Aufl.)
Think Python - How to Think Like a Computer Scientist
ProgramLive - master Java programming in a dynamic, self-paced learning environment
Learning Perl objects, references, and modules - beyond the basics of learning Perl
Practical linear algebra - a geometry toolbox
Aktive Datenbanksysteme - Konzepte und Mechanismen
Schwarzweiß-Fotografie digital - Bilder gestalten, bearbeiten und ausgeben
Berufe im Archiv-, Bibliotheks-, Informations- und Dokumentationswesen - ein Wegweiser zur Ausbildung (3. Aufl.)
Chaos and fractals - new frontiers of science (2. ed.)
Heuristics - intelligent search strategies for computer problem solving
Social Signal Processing
Random Graphs and Complex Networks
Physical-Layer Security: From Information Theory to Security Engineering
Constructibility
Random Graphs, Second Edition
Advanced Analytical Dynamics: Theory and Applications
Introduction to Property Testing
Space-Time Coding - Theory and Practice
Reliability and Availability Engineering - Modeling, Analysis, and Applications
A General Algebraic Semantics for Sentential Logics
Interactions with Search Systems
Numerical Recipes in C, 2nd Edition
Descriptive Complexity, Canonisation, and Definable Graph Structure Theory
Matrix Analysis, 2nd Ed
Bounded Variable Logics and Counting: A Study in Finite Models
P, NP, and NP-Completeness: The Basics of Complexity Theory
Modal Logic - An Introduction
Basic Concepts in Data Structures
Landsat image geocorrection and registration
New approaches to robust, point-based image registration
Bounding the performance of image registration
Accurate MODIS global geolocation through automated ground control image matching
Survey of image registration methods
Challenges, solutions, and applications of accurate multiangle image registration: Lessons learned from MISR
Fast correlation and phase correlation
Geometry of the VEGETATION sensor
Feature-based image to image registration
Image registration using mutual information
Multitemporal and multisensor image registration
Concluding remarks
On the use of wavelets for image registration
Automated AVHRR image navigation
Matched filtering techniques
Condition theory for image registration and post-registration error estimation
SeaWiFS operational geolocation assessment system
Automatic and precise orthorectification of SPOT images
Georegistration of meteorological images
Registration of multiview images
Influence of image registration on validation efforts
Gradient descent approaches to image registration
Burden of Proof, Presumption and Argumentation
Contest Theory: Incentive Mechanisms and Ranking Methods
An Introduction to Mathematical Taxonomy
Goal-based Reasoning for Argumentation
Introduction to Combinators and Lambda-Calculus
The Uses of Argument, Updated Edition
Cognition and intractability: a guide to classical and parameterized complexity analysis
Mining of Massive Datasets, 2nd Ed
Tractability: Practical Approaches to Hard Problems
Perturbation Resilience
Sparse Recovery
Nearest Neighbor Classification and Search
Generalization in Overparameterized Models
Semantics of Probabilistic Programming: A Gentle Introduction
Instance Optimal Distribution Testing and Learning
Prior-Independent Auctions
Termination Analysis of Probabilistic Programs with Martingales
Topic Models and Nonnegative Matrix Factorization
Introduction to Semirandom Models
Probabilistic Couplings from Program Logics
From Adaptive Analysis to Instance Optimality
Probabilistic Programs as Measures
Quantitative Analysis of Programs with Probabilities and Concentration of Measure Inequalities
Boolean Functions for Cryptography and Coding Theory
Robust High-Dimensional Statistics
Application ofComputable Distributions to the Semantics of Probabilistic Programs
Smoothed Analysis of Local Search
Luck: A Probabilistic Language for Testing
Expected Runtime Analyis by Program Verification
Smoothed Analysis of the Simplex Method
When Simple Hash Functions Suffice
Beyond the Worst-Case Analysis of Algorithms
Quantitative Equational Reasoning
Probabilistic Abstract Interpretation: Sound Inference and Application to Privacy
Efficient Tensor Decompositions
Tabular: Probabilistic Inference from the Spreadsheet
Semirandom Stochastic Block Models
Approximation Stability and Proxy Objectives
On Probabilistic λ-Calculi
On the Unreasonable Effectiveness of SAT Solvers
Programming Unreliable Hardware
Modern Compiler Implementation in Java, 2nd edition
The Once and Future Turing: Computing the World
Live audiovisuals
Data separation by sparse representations
Interactivity and live computer music
Howe's method for higher-order languages
Network music
The psychology of electronic music
Computer generation and manipulation of sounds
Algorithmic composition
Enhancements of the bisimulation proof method
Electronic music and the moving image
Bisimulation and logic
Adaptive sensing for sparse recovery
Advanced Topics in Bisimulation and Coinduction
The origins of electronic music
Live electronic music
Musical robots and listening machines
Sampling at the rate of innovation: theory and applications
Graphical models concepts in compressed sensing
Greedy algorithms for compressed sensing
The Cambridge Companion to Electronic Music
A history of programming and music
Xampling: compressed sensing of analog signals
Second-generation sparse modeling: structured and collaborative signal analysis
Introduction to compressed sensing
Electronic music and the studio
Trends in electroacoustic music
Face recognition by sparse representation
Fundamental thresholds in compressed sensing: a high-dimensional geometry approach
An introduction to (co)algebra and (co)induction
Origins of bisimulation and coinduction
The algorithmics of bisimilarity
Turing's Legacy: Developments from Turing's Ideas in Logic
Path-Oriented Program Analysis
Communities of Practice: Learning, Meaning, and Identity
Social Network Analysis: Methods and Applications
Turing's Imitation Game: Conversations with the Unknown
The Foundations of Cryptography - Volume 1: Basic Techniques
Applied Algebra and Number Theory
Modern Compiler Implementation in ML: Basic Techniques
Relational Mathematics
Groups, Languages and Automata
Descriptive Set Theory and Forcing: How to Prove Theorems about Borel Sets the Hard Way
On 'Responsible AI' in War: Exploring Preconditions for Respecting International Law in Armed Conflict
Artificial Intelligence, Law, and National Security
Artificial Intelligence and the Past, Present, and Future of Democracy
Towards a Global Artificial Intelligence Charter
Fostering the Common Good: An Adaptive Approach Regulating High-Risk AI-Driven Products and Services
Morally Repugnant Weaponry?: Ethical Responses to the Prospect of Autonomous Weapons
Artificial Intelligence as a Challenge for Data Protection Law: And Vice Versa
Intellectual Debt: With Great Power Comes Great Ignorance
'Neurorights': A Human Rights-Based Approach for Governing Neurotechnologies
Risk Imposition by Artificial Agents: The Moral Proxy Problem
Automating Supervision of AI Delegates
From Corporate Governance to Algorithm Governance: Artificial Intelligence as a Challenge for Corporations and Their Executives
Artificial Intelligence: Key Technologies and Opportunities
Liability for Artificial Intelligence: The Need to Address Both Safety Risks and Fundamental Rights Risks
Data Governance and Trust: Lessons from South Korean Experiences Coping with COVID-19
The New Regulation of the European Union on Artificial Intelligence: Fuzzy Ethics Diffuse into Domestic Law and Sideline International Law
Artificial Moral Agents: Conceptual Issues and Ethical Controversy
The Cambridge Handbook of Responsible Artificial Intelligence - Interdisciplinary Perspectives
"Hey Siri, How Am I Doing?": Legal Challenges for Artificial Intelligence Alter Egos in Healthcare
Artificial Intelligence in Financial Services: New Risks and the Need for More Regulation?
China's Normative Systems for Responsible AI: From Soft Law to Hard Law
Artificial Intelligence and Its Integration into the Human Lifeworld
Discriminatory AI and the Law: Legal Standards for Algorithmic Profiling
Medical AI: Key Elements at the International Level
AI-Supported Brain-Computer Interfaces and the Emergence of 'Cyberbilities'
Autonomization and Antitrust: On the Construal of the Cartel Prohibition in the Light of Algorithmic Collusion
Forward to the Past: A Critical Evaluation of the European Approach to Artificial Intelligence in Private International Law
Artificial Intelligence and the Right to Data Protection
Differences That Make a Difference: Computational Profiling and Fairness to Individuals
On the Construction of Programs
Surveys in Combinatorics 2013
Information Theory - Coding Theorems for Discrete Memoryless Systems, Second Edition
Practical Foundations for Programming Languages (2nd. Ed.)
Image Registration for Remote Sensing
Genome-Scale Algorithm Design: Bioinformatics in the Era of High-Throughput Sequencing (2nd edition)
Higher Order Logic and Hardware Verification
Evolutionary Games and Population Dynamics
Governing Digital China
Model theoretic methods for fragments of FO and special classes of (finite) structures
Turn-based stochastic games
Definability in classes of finite structures
A primer on strategic games
Infinite games and automata theory
Some connections between finite and infinite model theory
Automata-based presentations of infinite structures
Lectures in Game Theory for Computer Scientists
Graph searching games
Back and forth between logic and games
Algorithmic meta-theorems
Algorithms for solving parity games
Logical aspects of spatial databases
Games with imperfect information: theory and algorithms
Finite and Algorithmic Model Theory
Fundamentals of Stability Theory
A Cryptography Primer: Secrets and Promises
Mobility Data: Modeling, Management, and Understanding
LDPC Code Designs, Constructions, and Unification
Algorithmic Aspects of Graph Connectivity
Logarithmic Sobolev inequality for diffusion semigroups
Computing a mass transport problem with a least-squares method
Models and applications of optimal transport in economics, traffic, and urban planning
Size of the medial axis and stability of Federer?s curvature measures
The Art of Writing Technical Documents
The Language of Technical Documents: A Linguistic Description of Argumentation and Explanation
Lecture notes on variational models for incompressible Euler equations
Ricci curvature, entropy, and optimal transport
Lecture notes on gradient flows and optimal transport
Challenges of Discourse Processing - The Case of Technical Documents
Functional inequalities via Lyapunov conditions
10 Optimal coupling for mean field limits
The LELIE project: Risk Analysis and Prevention from Technical
Optimal Transport - Theory and Applications
An Introduction to the Structure of Technical Documents
Introduction to optimal transport theory
On the duality theory for the Monge?Kantorovich transport problem
An Analysis of the Discourse Structure of Requirements
Programming in Dislog
Ricci flow: the foundations via optimal transportation
An Introduction to TextCoop and Dislog
Essential Stability Theory
Motion Deblurring: Algorithms and Systems
Wireless-Powered Communication Networks: Architectures, Protocols, and Applications
Principles of Automated Negotiation
Computational Social Science: Discovery and Prediction
Hypergeometric function
Automatic code generation for real-time convex optimization
Heun functions
Decision Lists and Related Classes of Boolean Functions
Probabilistic Analysis of Satisfiability Algorithms
Convex analysis for non-negative blind source separation with application in imaging
Mathieu functions and Hill's equation
Orthogonal polynomials
Lamé functions
Learning Boolean Functions with Queries
Decomposition of Boolean Functions
q-Hypergeometric and related functions
Exponential, logarithmic, sine and cosine integrals
Functions of matrix argument
Airy and related functions
Robust broadband adaptive beamforming using convex optimization
Compositions and Clones of Boolean Functions
Optimization Methods in Logic
Vectorial Boolean Functions for Cryptography
Graphical models of autoregressive processes
Hardware Equivalence and Property Verification
Struve and Related Functions
Combinatorial analysis
SDP relaxation of homogeneous quadratic optimization
Synthesis of Multilevel Boolean Networks
Error functions, Dawson's and Fresnel integrals
Fourier Transforms and Threshold Circuit Complexity
Gradient-based algorithms with applications to signal-recovery problems
Parabolic cylinder functions
Asymptotic approximations
Algebraic and analytic methods
Probabilistic analysis of SDR detectors for MIMO systems
Integrals with coalescing saddles
Boolean Functions for Cryptography and Error-Correcting Codes
Jacobian elliptic functions
Optimization techniques in modern sampling theory
3j, 6j, 9j symbols
Boolean Aspects of Network Reliability
Legendre and related functions
Nash equilibria: the variational approach
Painlevé transcendents
Multidimensional theta functions
Functions of number theory
Boolean Models and Methods in Mathematics, Computer Science, and Engineering
Neural Networks and Boolean Functions
Circuit Complexity
Theta functions
Bessel functions
Probabilistic Learning and Boolean Functions
Coulomb functions
Incomplete gamma and related functions
Bernoulli and Euler polynomials
Cooperative distributed multi-agent optimization
NIST Handbook of Mathematical Functions
Semidefinite programming, matrix decomposition, and radar code design
Zeta and related functions
Probability: Theory and Examples, 4th Edition
Weierstrass elliptic and modular functions
Generalized hypergeometric functions and Meijer G-function
Confluent hypergeometric functions
Foundations of Data Exchange
Data Mining and Analysis: Fundamental Concepts and Algorithms
Synchronization - A Universal Concept in Nonlinear Sciences
Data Refinement: Model-oriented Proof Theories and their Comparison
The Core Model Iterability Problem
Lectures on Infinitary Model Theory
Cognitive Linguistics
Concurrency Verification: Introduction to Compositional and Noncompositional Methods
The Foundations of Cryptography - Volume 2: Basic Applications
Algorithms on Strings, Trees, and Sequences - Computer Science and Computational Biology
The Structure and Dynamics of Cities: Urban Data Analysis and Theoretical Modeling
Introduction to Coalgebra: Towards Mathematics of States and Observation
Aspects of Incompleteness
Random Wireless Networks: An Information Theoretic Perspective
Algorithms for Parallel Computers
Languages for Parallel Computers
Concurrent Pascal - An Appraisal
A Structured Operating System
A Structured Compiler
An Introduction to Pascal-Plus
A Model for Communicating Sequential Processes
Specification Language
Modules and Visibility in the Ada Programming Language
Temporal Logics in Computer Science: Finite-State Systems
Recursion-Theoretic Hierarchies
Big Data over Networks
New tools and results in graph minor structure theory
Game theory and learning techniques for self-organization in small cell networks
Perfect Graphs and Graphical Modeling
Turing's 'Oracle': From Absolute to Relative Computability and Back
SAT Solvers
Long-term evolution (LTE) and LTE-Advanced activities in small cell networks
Design Better Games
Dedicated Wireless Energy Harvesting in Cellular Networks: Performance Modeling and Analysis
Motion deblurring using fluttered shutter
Tree-Reweighted Message Passing
Eye tracking for the online evaluation of prosody in speech synthesis
A quasi-Monte Carlo method for the coagulation equation
A Complexity Science Perspective on Human Mobility
Approach and Dominance as Social Signals for Affective Interfaces
Point sets of minimal energy
Using Social Marketing and Data Science to Make Government Smarter
Periodic structure of the exponential pseudorandom number generator
Comparative evaluation and shared tasks for NLG in interactive systems
Referring expression generation in interaction: A graph-based perspective
Automatic Analysis of Aesthetics: Human Beauty, Attractiveness, and Likability
Efficient, blind, spatially-variant deblurring for shaken images
Bridging the Gap from Design to Implementation
Towards Practical Graph-Based, Iteratively Decoded Channel Codes: Insights through Absorbing Sets
Cognitive Radio Networks with Wireless Energy Harvesting
Conclusion - Computational Social Science: Toward a Collaborative Future
Sensor Networks with Wireless Energy Harvesting
Dynamic TDD small cell management
The complexity of change
Trajectory Collection and Reconstruction
Trajectory Data Warehouses
A heuristic formula estimating the keystream length for the general combination generator with respect to a correlation attack
Speech Synthesis: State of the Art and Challenges for the Future
Alan Turing and Enigmatic Statistics
Computable model theory
Small cell deployments: system scenarios, performance, and analysis
Constructions of block codes from algebraic curves over finite fields
Treewidth and Hypertree Width
Antennas for Wireless Energy Harvesting and Massive MIMO Applications
Computational Approaches for Personality Prediction
Game Review
The world of hereditary graph classes viewed through Truemper configurations
Turing machines to word problems
Optimization algorithms for big data with application in wireless networks
Centralized Analysis of Local Data, with Dollars and Lives on the Line: Lessons from the Home Radon Experience
Development Methods
Automatic Analysis of Social Emotions
Index bounds for value sets of polynomials over finite fields
Time- and frequency-domain e-ICIC with single- and multi-flow carrier aggregation in HetNets
Plate section
A unified distributed algorithm for non-cooperative games
Construction of a rank-1 lattice sequence based on primitive polynomials