yusuke1997/dblp-id-title huggingface dataset:
Chapter 7: An Envelope Approach to a Sketching Editor for Hierarchical Free-form Curve Design and Modification
3. Interval Weighted Tau-Splines
5. General Offset Curves and Surfaces
2. Self-Intersections and Offset Surfaces
Chapter 3: Factored Knot Insertion
Chapter 9: Topological Considerations in the Interpolation of Contour Curves
Chapter 1: An Introduction to Blossoming
Chapter 5: Conversion Between B-Spline Bases Using the Generalized Oslo Algorithm
Ten Lectures on Wavelets
Curve and Surface Design
5. Weighted Splines Based on Piecewise Polynomial Weight Functions
10. An SSI Bibliography
Knot Insertion and Deletion Algorithms for B-Spline Curves and Surfaces
3. Approximate Spline Conversion for Integral and Rational Bézier and B-Spline Surfaces
7. Constructive Geometric Approach to Surface-Surface Intersection
Lectures on Stochastic Programming - Modeling and Theory
Templates for the Solution of Linear Systems: Building Blocks for Iterative Methods
Nonnegative Matrices in the Mathematical Sciences
1. A Family of Overlapping Schwarz Algorithms for Nonsymmetric and Indefinite Elliptic Problems
12. Multipole and Precorrected-FFT Accelerated Iterative Methods for Solving Surface Integral Formulations of Three-dimensional Laplace Problems
10. Parallel Implementation of a Domain Decomposition Method for Non-Linear Elasticity Problems
16. Wave Operators and Active Subspaces: Tools for the Simplified Dynamical Description of Quantum Processes Involving Many-Dimensional State Spaces
7. Decomposition of Space-Time Domains: Accelerated Waveform Methods, with Application to Semiconductor Device Simulation
6. Parallel Domain Decomposition Software
15. Bound States of Strongly Coupled Multidimensional Molecular Hamiltonians by the Discrete Variable Representation Approach
3. Domain Decomposition, Parallel Computing and Petroleum Engineering
8. A Parallel Multi-Level Solution Method for Large Markov Chains
5. Newton-Krylov-Schwarz Methods Applied to the Tokamak Edge Plasma Fluid Equations
2. Domain Decomposition Methods for Wave Propagation Problems
9. Optimizing Substructuring Methods for Repeated Right Hand Sides, Scalable Parallel Coarse Solvers, and Global/Local Analysis
Domain-Based Parallelism and Problem Decomposition Methods in Computational Science and Engineering
13. Linear Scaling Algorithms for Large Scale Electronic Structure Calculations
17. Problem Decomposition Techniques in Quantum Mechanical Reactive Scattering
4. Parallel Implicit Methods for Aerodynamic Applications on Unstructured Grids
14. Problem Decomposition in Quantum Chemistry
11. Fictitious Domain/Domain Decomposition Methods for Partial Differential Equations
Spline Models for Observational Data
Chapter 1: Introduction
Chapter 7: The specialized MINLP approach
Chapter 5: Mathematical optimization for evaluating gas network capacities
Chapter 2: Physical and technical fundamentals of gas networks
Chapter 8: The reduced NLP heuristic
Chapter 15: Perspectives
Chapter 10: The precise NLP model
Chapter 3: Regulatory rules for gas markets in Germany and other European countries
Chapter 6: The MILP-relaxation approach
Evaluating Gas Network Capacities
Chapter 12: Computational results for validation of nominations
Chapter 11: What does "feasible" mean?
Chapter 4: State of the art in evaluating gas network capacities
Chapter 13: Empirical observations and statistical analysis of gas demand data
Chapter 9: An MPEC based heuristic
Chapter 14: Methods for verifying booked capacities
6. Intrinsic Algebraic Grid Generation
4. Discrete Variational Grid Generation
7. Surface Grid Generation and Differential Geometry
8. Harmonic Maps in Grid Generation
3. Continuum Variational Formulation
Mathematical Aspects of Numerical Grid Generation
10. Mathematical Aspects of Harmonic Grid Generation
5. Bifurcation of Grids on Curves
9. On Harmonic Maps
2. Elliptic Grid Generation and Conformal Mapping
12. A Convolution Approach to N-Sided Patches and Vertex Blending
10. Polynomial Splines of Nonuniform Degree: Controlling Convexity and Fairness
Designing Fair Curves and Surfaces: Shape Quality in Geometric Modeling and Computer-Aided Design
9. Interactive Design Using Partial Differential Equations
1. Approximation with Aesthetic Constraints
6. Minimum Variation Curves and Surfaces for Computer-Aided Geometric Design
2. Curvature Integration through Constrained Optimization
4. Tight String Method to Fair Piecewise Linear Curves
Linear Matrix Inequalities in System and Control Theory
3. Automatic Fairing of Point Sets
11. Constructing C1 Surfaces of Arbitrary Topology Using Biquadratic and Bicubic Splines
7. Convexity Preserving Surface Interpolation
5. Measures of Fairness for Curves and Surfaces
8. The Highlight Band, a Simplified Reflection Model for Interactive Smoothness Evaluation
Neuronale Netze - Eine Einführung in die Grundlagen, Anwendungen und Datenauswertung
Computing and the National Science Foundation, 1950-2016: Building a Foundation for Modern Computing
Edmund Berkeley and the Social Responsibility of Computer Professionals
Pegasus: A Heterogeneous Information Management System
Management of Uncerainty in database Systems
OQL[C++]: Extending C++ with an Object Query Capability
Specification and Execution of Transactional Workflows
Multimedia Information Systems: Issues and Approaches
An Object-Oriented DBMS War Story: Developing a Genome Mapping Database in C++
Schema Architecture of the UniSQL/M Multidatabase System
Query Processing in Multidatabase Systems
Object SQL - A Language for the Design and Implementation of Object Databases
Authorization in Object-Oriented Databases
Parallel Relational Database Systems
The POSC Solution to Managing E&P Data
Cooperative Transactions for Multiuser Environments
The Changing Database Standards Landscape
Introduction to Part 2: Technology for Interoperating Legacy Databases
Where Object-Oriented DBMSs Should Do Better: A Critique Based on Early Experiences
Requirements for a Performance Benchmark for Object-Oriented Database Systems
Introduction to Part 1: Next-Generation Database Technology
Temporal Object-Oriented Databases: A Critical Comparison
Transaction Management in Multidatabase Systems
EDA/SQL
Overview of the ADDS System
C++ Bindings to an Object Database
Spatial Data Structures
Query Processing in Object-Oriented Database Systems
Physical Object Management
On View Support in Object-Oriented Databases Systems
Spatial Data Models and Query Processing
The OMG Object Model
Spatial Gems, Volume 2
Hardness of Approximation Between P and NP
Some reflections on early history
Hewlette-Packard and personal computing systems
A history of the promis technology: an effective human interface
Keynote address: toward a history of (personal) workstations
The arpanet and computer networks
Mathematical laboratories: a new power for the physical and social science
The dynabook: past, present, and future
Personal distributed computing: the alto and ethernet software
A History of Personal Workstations
Personal distributed computing: the alto and ethernet hardware
User technology: from pointing to pondering
A personal view of the personal work station: some firsts in the fifties
Applied Affective Computing
The Essentials of Modern Software Engineering: Free the Practices from the Method Prisons!
Query-driven Search Functionality
Authors' Biography/Index
Information Retrieval: Advanced Topics and Techniques
Temporal Extraction and Retrieval
Cross-language Retrieval
Knowledge Graphs and Search
Privacy in Information Retrieval
Neural Information Retrieval
IR in Biomedicine
Audio-based Music Retrieval
Bias in Retrieval Systems
eCommerce Search and Discovery
Professional Search
Evaluation of IR Systems
The no-nonsense guide to computing careers
Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications
Prophets of Computing: Visions of Society Transformed by Computing
On Monotonicity Testing and the 2-to-2 Games Conjecture
Computing the New China. The Founding Fathers, the Maoist Way, and Neoliberalism, 1945?1986
New Directions in Cryptography
Comment: Understanding Simpson's Paradox
Detecting Latent Heterogeneity
Introduction: The Early Lives and Lasting Legacies of Whitfield Diffie and Martin Hellman
Privacy and Authentication: An Introduction to Cryptography
Public Key Cryptography's Impact on Society: How Diffie and Hellman Changed the World
A Gift that Keeps on Giving: The Impact of Public-Key Cryptography on Theoretical Computer Science
A Practical Network Layout Planning System Using GeoSpatial Data
The Development of a Crypto Policy Community: Diffie-Hellman's Impact on Public Policy
Text and Photo Credits
TINET: Triangulated Irregular Networks Evolving in Time
Dreams of the Vanquished: Narratives of Postwar Japan
Probabilities - Introduction
Selected Annotated Bibliography by Judea Pearl
Digital India. Swadeshi-Computing in India since 1947
The Brownian Bridge for Space-Time Interpolation
Editor's Biographies/Index
Minimal Representations of Polygons and Polyhedra
On Pearl's Hierarchy and the Foundations of Causal Inference
Dutch Prophets: Pragmatic Optimism and Suppressed Fears
GRAPHOIDS: Graph-Based Logic for Reasoning about Relevance Relations Or When Would x Tell You More about y If You Already Know z ?
The Influence of Public-Key Cryptography on Mathematics
Probabilistic Programming Languages: Independent Choices and Deterministic Systems
An Interview with Martin Hellman
Pearl on Actual Causation
Introduction: Prophets and Narratives
Big Brother in New Zealand: Anticipating the Computer
Probabilistic and Causal Inference: The Works of Judea Pearl
Banking the Future of Banking: Savings Banks and the Digital Age in East and West Germany
Employing GPUs to Accelerate Exact Geometric Predicates for 3D Geospatial Processing
Exhaustive Cryptanalysis of the NBS Data Encryption Standard
Causality 1988-2001 - Introduction
Flexible Computation of Multidimensional Histograms
Creating an Open Community of Cryptographers
An Interview with Ron Wassertein on How The Book of Why Transforms Statistics
Heuristics - Introduction
The Causal Foundations of Applied Probability and Statistics
Probabilities of Causation: Three Counterfactual Interpretations and Their Identification
A Scalable In-Memory Solution for Real-Time K Nearest Search on Road Network
Causal Bayes Nets as Psychological Theory
Heat Map Segmentation
Biography of Judea Pearl
The Tale Wags the DAG
Causality 2002-2020 - Introduction
The United Kingdom: Going it Alone?
Computopia and Its Discontents: Dual Narratives in South Korea
System Z : A Natural Ordering of Defaults with Tractable Applications to Nonmonotonic Reasoning
Using Segment Fraction for Road-Network Locations
Microcomputers for the Masses. Jack Tramiel and Commodore
French National Paths Within a Global Computing Market
Editor and Author Biographies/Index
An Interventionist Approach to Mediation Analysis
Turing Award Lecture
An Interview with Whitfield Diffie
Election Security: Risk Limiting Audits
Causal Models for Dynamical Systems
Democratizing Cryptography: The Work of Whitfield Diffie and Martin Hellman
Public Key Cryptography in Computer and Network Security
Why Did They Do That?
An Improved Algorithm for Computing Logarithms over GF ( p ) and Its Cryptographic Significance
A Note of Appreciation
Multivariate Counterfactual Systems and Causal Graphical Models
Conclusions: Patterns of Prophecy - Needs, Ambitions, and Doubts
Causation: Objective or Subjective?
Computers in the Shadow of Communism: The Polish People's Republic
Interview by Martin Ford
External Validity: From Do -Calculus to Transportability Across Populations
Causal Models and Cognitive Development
Causal Diagram and Social Science Research
Man-Machine Dialogues: Computer Representations and Appropriations in the Soviet Union and the United States
Causal Diagrams for Empirical Research (With Discussions)
Speed Distribution from Normally Distributed Location Measurements
Online Location Trajectory Compression
Causal Graphs for Missing Data: A Gentle Introduction
Equivalence and Synthesis of Causal Models
Instrumental Variables with Treatment-induced Selection: Exact Bias Results
Spatial Gems, Volume 1
Circuits, Packets, and Protocols: Entrepreneurs and Computer Communications, 1968-1988
Code Nation: Personal Computing and the Learn to Program Movement in America
Modern Database Systems: The Object Model, Interoperability, and Beyond
Effective Theories in Programming Practice
Conversational UX Design: A Practitioner's Guide to the Natural Conversation Framework
Automotive multimodal human-machine interface
Multimodal integration for interactive conversational systems
Non-interactive zero-knowledge and its applications
Probabilistic encryption & how to play mental poker keeping secret all partial information
Nonverbal behavior in multimodal performances
How to make a multiprocessor computer that correctly executes multiprocess programs
Standardized representations and markup languages for multimodal interaction
Challenge discussion: advancing multimodal dialogue
Proofs, according to Silvio: Silvio Micali's Turing lecture
An interview with Silvio Micali
Situated interaction
Fundamentals of fully homomorphic encryption
Computational entropy
The Handbook of Multimodal-Multisensor Interfaces: Language Processing, Software, Commercialization, and Emerging Directions - Volume 3
Multimodal conversational interaction with robots
Multimodal dialogue processing for machine translation
How to generate cryptographically strong sequences of pseudo random bits
Shared memory and the Bakery algorithm
Privacy concerns of multimodal sensor systems
On the foundations of cryptography
The computer science of concurrency: the early years
Editor and author biographies
The mutual exclusion problem: part I - A theory of interprocess communication
Early integration for movement modeling in latent spaces
Multi-prover interactive proofs: how to remove intractability assumptions
Time, clocks, and the ordering of events in a distributed system
A story behind every problem: a brief biography of Shafi Goldwasser
Proofs that yield nothing but their validity and a methodology of cryptographic protocol design
Doubly efficient interactive proofs
A survey of leakage-resilient cryptography
Providing Sound Foundations for Cryptography: On the Work of Shafi Goldwasser and Silvio Micali
Commercialization of multimodal systems
One obsession at a time: a brief biography of Silvio Micali
The Byzantine generals problem
The cryptographic lens: Shafi Goldwasser's Turing lecture
Medical and health systems
On some noncryptographic works of Goldwasser and Micali
Formal specification and verification
Ergonomics for the design of multimodal interfaces
The notions of time and global state in a distributed system
The part-time parliament
On the impact of cryptography on complexity theory
The mutual exclusion problem: part II - Statement and solutions
A tutorial on concurrent zero-knowledge
Multimodal databases
The knowledge complexity of interactive proof-systems
A "paradoxical" solution to the signature problem
State machine replication with benign failures
Concurrency: the Works of Leslie Lamport
Following a tangent of proofs
How to play any mental game, or a completeness theorem for protocols with honest majority
Byzantine faults
Embedded multimodal interfaces in robotics: applications, future trends, and societal implications
Interactive proofs for lattice problems
A new solution of Dijkstra's concurrent programming problem
An interview with Shafi Goldwasser
Software platforms and toolkits for building multimodal systems and applications
Completeness theorems for non-cryptographic fault-tolerant distributed computation
From Algorithms to Thinking Machines: The New Digital Power
Digital Dreams Have Become Nightmares: What We Must Do, Second Edition
Multimodal behavioral and physiological signals as indicators of cognitive load
The Handbook of Multimodal-Multisensor Interfaces: Foundations, User Modeling, and Common Modality Combinations - Volume 2
Multimodal analysis of social signals
Multimodal assessment of depression from behavioral signals
Multimodal deception detection
Multimodal learning analytics: assessing learners' mental state during the process of learning
Deep learning for multisensorial and multimodal interaction
Multimodal user state and trait recognition: an overview
Multimodal-multisensor affect detection
Learning for multimodal and affect-sensitive interfaces
How do users perceive multimodal expressions of affects?
Perspectives on predictive power of multimodal deep learning: surprises and future directions
Challenges and applications in multimodal machine learning
Classifying multimodal data
Real-time sensing of affect and social signals in a multimodal framework: a practical approach
Rendering History: The Women of ACM-W
Multimodal feedback in HCI: haptics, non-speech audio, and their applications
Understanding and supporting modality choices
The Handbook of Multimodal-Multisensor Interfaces: Foundations, User Modeling, and Common Modality Combinations - Volume 1
A background perspective on touch as a multimodal (and multisensor) construct
Using cognitive models to understand multimodal processes: the case for speech and gesture production
Multimodal gesture recognition
Multisensory haptic interactions: understanding the sense and designing for it
Multimodal speech and pen interfaces
Theoretical foundations of multimodal interfaces and systems
Perspectives on learning with multimodal technology
Gaze-informed multimodal interaction
The impact of multimodal-multisensory learning on human performance and brain activation patterns
Audio and visual modality combination in speech processing applications
Multimodal technologies for seniors: challenges and opportunities
A Competency Model for Undergraduate Programs in Information Systems: The Joint ACM/AIS IS2020 Task Force
Specifications on The SIGGRAPH/GSPC Core System
Geospatial Data Science: A Hands-on Approach for Building Geospatial Applications Using Linked Data Technologies
Event Mining for Explanatory Modeling
Pick, Click, Flick!: The Story of Interaction Techniques
Weaving Fire into Form: Aspirations for Tangible and Embodied Interaction
The Societal Impacts of Algorithmic Decision-Making
Decentralization: The Future of Online Social Networking
The Semantic Web: A New Form of Web Content that is Meaningful to Computers will Unleash a Revolution of New Possibilities
Polynomially Verifiable Arithmetic
The 1982 ACM Turing Award Lecture: An Overview of Computational Complexity
Stephen Cook: Complexity's Humble Hero
Cook's NP-completeness Paper and the Dawn of the New Theory
The Cook-Reckhow Definition
Utopia to Dystopia and Back Again?
Cook's Berkeley Notes
Tim Berners-Lee's Research at the Decentralized Information Group at MIT
A Web for Everyone
Linking the World's Information - Essays on Tim Berners-Lee's Invention of the World Wide Web
The World Wide Web Consortium
Contributors' Biographies/Index
Background and Early life
Further Reading
Web Science: An Interdisciplinary Approach to Understanding the Web
The Data Trust Deficit
Skunkworks and Generality
Re-decentralizing the Web, For Good This Time
Safer Algorithmic Systems
Linking the World's Data
What the World Needs to Keep Learning from Tim Berners-Lee's Creation of the Web
Computation with Limited Space
ACM Interview of Stephen A. Cook by Bruce M. Kapron
Towards a Complexity Theory of Synchronous Parallel Computation
Logic, Automata, and Computational Complexity: The Works of Stephen A. Cook
The Open Data Revolution
Towards a Complexity Theory of Parallel Computation
The Impact of the Web on Information Retrieval
Building for Search Engines: Following REST
Software: A Technical History
LogOut - Warum Computer nichts im Klassenzimmer zu suchen haben und andere High-Tech-Ketzereien
Standard Codecs: Image Compression to Advanced Video Coding
Standard process specification languages
BPM and digital transformation in healthcare
Handbook on Business Process Management and Digital Transformation
Process performance measurement
Business process management for efficient manufacturing - sustainability by design
Process deviation analysis
Modeling IoT-enhanced business processes
Introduction to the Handbook on Business Process Management and Digital Transformation
Reference architectures
Process mining: from descriptive to predictive and prescriptive data-driven analysis of business processes
Business process definition
Robotic process automation: a review of the state-of-the-art
Non-standard BPM platforms
Business models and process models
Business process management engines
Advanced dynamic actor assignment
Capability and maturity models in business process management
Business process elicitation and (re)design
Descriptional complexity of regular languages
Automata in number theory
The factorisation forest theorem
Symbolic methods and automata
Weighted automata
Algebra for trees
Profinite topologies
On Cobham's theorem
Synthesis with finite automata
Equational theories for automata
Minimisation of automata
Finite automata, image manipulation, and automatic real functions
Automata on infinite trees
Automata on finite trees
Cerný's conjecture and the road colouring problem
Analysis of probabilistic processes and automata theory
Communicating automata
Timed automata
Wadge-Wagner hierarchies
Automata and finite model theory
Two-dimensional models
Handbook of Automata Theory
Higher-order recursion schemes and their automata models
Automata and quantum computing
Finite automata
Automatic structures
Natural language parsing
Finite transducers and rational transductions
Max-plus automata
Circuit complexity of regular languages
Object-Oriented Design with Applications
Fundamentals of Database Systems, 2nd Edition
Fundamentals of Database Systems
A conceptual modelling approach to the implementation of beliefs and intentions
Laconic discourses and total eclipses
Abductive speech act recognition, corporate agents, and the COSMA system
Pragmatics in language understanding and cognitively motivated architectures
An activity-based approach to pragmatics
Abductive reasoning with knowledge bases for context modelling
The doxastic-epistemic force of declarative utterances
Abduction, Belief and Context in Dialogue
Speech act theory and epistemic planning
The ABC of Computational Pragmatics
Discourse focus tracking
Abduction and induction
Dialogue pragmatics and context specification
Context and form
Coherence and structure in text and discourse
Dialogue analysis using layered protocols
Temporal Databases: Theory, Design, and Implementation
Computing with Logic: Logic Programming with Prolog
Relational Database Theory
Applications of temporal Databases to Knowledge-based Simulations
Temporal Deductive Databases
Ben-Zvi's Pioneering Work in Relational Temporal Databases
A Temporal Model and Query Language for EER Databases
Join Processing and Optimization in Temporal Relational Databases
HSQL: A Historical Query Language
Stream Processing: Temporal Query Processing and Optimization
Transaction-Time Databases
Temporal Extensions to the Relational Model and SQL
The Historical Relational Data Model (HRDM) Revisited
A Generalized relational Framework for Modeling Temporal Data
Temporal Databases: A Prelude to Parametric Data
A Temporal Data Model Based on Time Sequences
Object and Spreadsheet Histories
On the Completeness of Query Languages for Grouped and Ungrouped Historical Data Models
Integrating Temporal Data in a Heterogeneous Environment
Differential Query Processing in Transaction-Time Databases
temporal Reasoning
A Uniform Model for Temporal and Versioned Object-oriented Databases
An Overview of TQuel
The Interval-extended Relational Model and Its Applications to Valid-time Databases
The Time Index and the Monotonic B+-tree
Datenbanken & Java - JDBC, SQLJ und ODMG
Mobile Datenbanken und Informationssysteme: Konzepte und Techniken
Web Engineering: Systematische Entwicklung von Web-Anwendungen
Entwicklungsprozess von Web-Anwendungen
Web-Projektmanagement
Web Engineering - Die Disziplin zur systematischen Entwicklung von Web-Anwendungen
Sicherheit von Web-Anwendungen
Implementierungstechnologien für Web-Anwendungen
Technologiebewusstes Design von Web-Anwendungen
Architektur von Web-Anwendungen
Modellierung von Web-Anwendungen
Usability von Web-Anwendungen