yusuke1997/dblp-id-title huggingface dataset:
Chapter 7 Transportation on Demand
Automata-theoretic techniques for temporal reasoning
Chapter 3 Passenger Railway Optimization
Algebras and coalgebras
Chapter 10 Traffic Equilibrium
Chapter 8 Intermodal Transportation
Modal decision problems
Modal consequence relations
Chapter 9 Hazardous Materials Transportation
Modal logic and philosophy
Modal logic: a semantic perspective
Modal logic for games and information
Model theory of modal logic
Applications of modal logic in linguistics
Description logic
Chapter 2 Public Transit
Chapter 5 Dynamic Models for Freight Transportation
Intelligent agents and common sense reasoning
First-order modal logic
Modal logic in mathematics
Modal proof theory
Higher order modal logic
Chapter 4 Maritime Transportation
Chapter 11 ITS and Traffic Management
Chapter 1 Air Transportation: Irregular Operations and Control
Chapter 6 Vehicle Routing
Combining modal logics
Modal mu-calculi
Flash Memory Integration: Performance and Energy Issues, 1st Edition
Tree Automata and Languages
Recognizable sets of unrooted trees
Computing trees with graph rewriting systems with priorities
Automata on infinite trees and rational control
A short proof of the factorization forest theorem
A theory of tree language varieties
Structural complexity of classes of tree languages
Fixed point characterization of weak monadic logic definable sets of trees
Trees and algebraic semantics
A survey of tree transductions
Algebraic specification of action trees and recursive processes
Ambiguity and valuedness
Recognizing sets of labelled acyclic graphs
Tree-adjoining grammars and lexicalized grammars
Interpretability and tree automata: A simple way to solve algorithmic problems on graphs closely related to trees
Decidability of the inclusion in monoids generated by tree transformation classes
Unification procedures in automated deduction methods based on matings: A survey
Suffix, prefix and maximal tree codes
Rational and recognizable infinite tree sets
Binary tree codes
A monoid approach to tree automata
Optimal Scheduling Combinatorics
Phase 4: What Is Business Process Management?
BPM and Maturity Models
Psychology and security: Utilizing psychological and communication theories to promote safer cloud security behaviors
Business Process Trends
Tool-based risk assessment of cloud infrastructures as socio-technical systems
Multitiered cloud security model
Tools and Techniques for Analyzing Product and Process Data
Process Engineer Training
Protection through isolation: Virtues and pitfalls
The BPM Way of Implementation and Governance
Focusing Business Processes on Superior Value Creation: Value-oriented Process Modeling
The Value of Ontology
Mining Patterns and Violations Using Concept Analysis
The BPM Way of Working
Change Coupling Between Software Artifacts
Using Data to Make Decisions in Software Engineering
Analytical Product Release Planning
Business Process Management Alignment
Business Process Outsourcing
The BPM Way of Thinking
The BPM Way of Modeling
The BPM Ontology
Scalable Parallelization of Specification Mining Using Distributed Computing
The Chief Process Officer: An Emerging Top Leadership Role
Lessons Learned from Software Analytics in Practice
Process Architect Training
Mobile cloud forensics: An analysis of seven popular Android apps
Evidence-Based Business Process Management
Ubuntu One investigation: Detecting evidences on client machines
Phase 1: Process Concept Evolution
Information Modeling and Process Modeling
Keeping users empowered in a cloudy Internet of Things
Social Media and Business Process Management
Analyzing Security Data
Community Data for OSS Adoption Risk Management
Integrating digital forensic practices in cloud incident handling: A conceptual Cloud Incident Handling Model
Past, Present, and Future of Analyzing Software Data
Business Process Model and Notation - BPMN
Cloud security ecosystem
Protecting digital identity in the cloud
Security as a service (SecaaS) - An overview
Code Comment Analysis for Improving Software Quality
BPM Center of Excellence
Assessing the State of Software in a Large Enterprise
Business Process Management Governance
A guide to homomorphic encryption
The Business Process Management Way of Training and Coaching
Cloud as infrastructure for managing complex scalable business networks, privacy perspective
iBPM - Intelligent Business Process Management
Provenance for cloud data accountability
Applying Software Data Analysis in Industry Contexts
Understanding Business Process Management Roles
Cybercrime in cloud: Risks and responses in Hong Kong, Singapore
A Practical Guide to Analyzing IDE Usage Data
Process Expert Training
Secure migration to the cloud - In and out
CATRA: Conceptual cloud attack taxonomy and risk assessment framework
Analyzing Text in Software Projects
Sustainability Oriented Process Modeling
Business Process Portfolio Management
Applying Agile Principles to BPM
Process Owner Training
Phase 2: Process Concept Evolution
Synthesizing Knowledge from Software Development Artifacts
Mining Software Logs for Goal-Driven Root Cause Analysis
The Need for a Standardized and Common Way of Process Training
A Mixed Methods Approach to Mining Code Review Data
Why Work with Process Templates
Mining Android Apps for Anomalies
Phase 3: Process Concept Evolution
Cloud security and forensic readiness: The current state of an IaaS provider
Recovering residual forensic data from smartphone interactions with cloud storage providers
Computational trust methods for security quantification in the cloud ecosystem
Working with the Business Process Management (BPM) Life Cycle
Variation in Business Processes
Process Tagging - A Process Classification and Categorization Concept
BPM Change Management
Toward the Expressive Power of Natural Language
Logical Dimensions of some Graph Formalism
Understanding Subsumption and Taxonomy: A Framework for Progress
Representing and Reasoning about Physical Systems Using Prime Models
The Evolving Technology of Classification-Based Knowledge Representation Systems
Extensions as Possible Worlds
Cables, Paths, and "Subconscious" Reasoning in Propositional Semantic Networks
Sentences, Situations, and Propositions
Why Semantic Networks?
Introduction to Systems for Knowledge Representation
Integrating Language and Meaning in Structured Inheritance Networks
Introduction to Formal Analyses
Reasoning with Graph Operations
Utilizing Knowledge: The Components of the SB-ONE Knowledge Representation Workbench
Current Issues in Semantic Networks: Panel Discussion with All Participants
Terminological Cycles: Semantics and Computational Properties
Semantic Nets are in the Eye of the Beholder
Inheritance Theory and Networks with Roles
A Frame-like Knowledge Representation Integrating Abstract Data Types and Logic
Introduction to Issues in Knowledge Representation
ALL: Formalizing Access-Limited Reasoning
Living wiht Classic: When and How to Use a KL-ONE-Like Language
Software analytics for small software companies
Log it all?
Five steps for success
Mobile app store analytics
The wisdom of the crowds in predictive modeling for software engineering
Measuring individual productivity
What counts is decisions, not numbers - Toward an analytics design sheet
Card-sorting
Which machine learning method do you need?
Look for state transitions in temporal data
Make visualization part of your analysis process
Why theory matters
While models are good, simple explanations are better
What can go wrong in software engineering experiments?
There's never enough time to do all the testing you want
Why provenance matters
A tailored suit
Natural language processing is no free lunch
How the release process impacts your software analytics
Advances in release readiness
If it is software engineering, it is (probably) a Bayesian factor
Gotchas from mining bug reports
Gameplay data plays nicer when divided into cohorts
One size does not fit all
Open from the beginning
Structure your unstructured data first!
Actionable metrics are better metrics
Tools! Tools! We need tools!
Limitations and context of research
From software data to software theory
Becoming Goldilocks
Perspectives on data science for software engineering
The white-shirt effect
How to tame your online services
Security cannot be measured
Identifying fault-prone files in large industrial software systems
A success story in applying data science in practice
A process for surviving survey design and sailing through survey deployment
Don't embarrass yourself
The world is your test suite
Combining quantitative and qualitative methods (when mining software data)
Operational data are missing, incorrect, and decontextualized
Embrace dynamic artifacts
Continuously experiment to assess values early on
Evidence-based software engineering
Reducing time to insight
The need for data analysis patterns (in software engineering)
Replicated results are more trustworthy
A large ecosystem study to understand the effect of programming languages on code quality
Data science revolution in process improvement and assessment?
The naturalness of software ☆
Simpler questions can lead to better insights
Once is not enough
Lies, damned lies, and analytics
Visual analytics for software engineering data
Software analytics and its application in practice
Software analytics under the lamp post (or what star trek teaches us about the importance of asking the right questions)
Parse that data! Practical tips for preparing your raw data for analysis
Don't forget the developers! (and be careful with your assumptions)
Correlation is not causation (or, when not to scream "Eureka!")
Aggregating empirical evidence for more trustworthy decisions
The perils of energy mining
Seven principles of inductive software engineering
Code reviews are not for finding defects - Even established tools need occasional evaluation
Stack traces reveal attack surfaces
Mere numbers aren't enough
An Implicit Surface Polygonizer
8 Biological monitoring: Statistical issues and models
Incremental Delaunay Triangulation
Chapter 5 Models in urban and air transportation
Chapter 1 Operations research in the public sector: An introduction and a brief history
Tri-linear Interpolation
Chapter 9 Managing fish, forests, wildlife, and water: Applications of management science and operations research to natural resource decision problems
Efficient Eigenvalues for Visualization
A Minimal Ray Tracer
28 Environmental risk estimation and policy decisions
Voxel Traversal along a 3D Line
Point in Polygon Strategies
Chapter 18 Limitations on conclusions using scales of measurement
Fast Convolution with Packed Lookup Tables
14 Statistical methods in developmental toxicology
21 Meta-analysis in environmental statistics
27 An overview of statistical issues related to environmental cleanup
Chapter 16 Voting theory
16 Stochasticity in deterministic models
XOR-Drawing with Guaranteed Contrast
1 Environmetrics: An emerging science
9 Environmental sampling and monitoring
Environmental Statistics
Fast Collision Detection of Moving Convex Polyhedra
Arcball Rotation Control
Intersecting a Ray with a Cylinder
18 Environmental remote sensing and geographic information systems-based modeling
5 Ranked set sampling
13 Ornithological statistics
Placing Text Labels on Maps and Diagrams
Polar Matrix Decomposition
The Pleasures of "Perp Dot" Products
An Incremental Angle Point in Polygon Test
23 Statistics with agricultural pests and environmental impacts
High Dynamic Range Pixels
11 Forest biometrics
22 Statistical methods in atmospheric science
Operations research and the public sector
Chapter 8 Energy policy applications of operations research
Geometry for N-Dimensional Graphics
17 Compartmental models of ecological and environmental systems
25 How does scientific information in general and statistical information in particular input to the environmental regulatory process?
7 Statistical analysis of censored environmental data
Chapter 19 Models of auctions and competitive bidding
Bilinear Coons Patch Image Warping
26 Environmental regulatory statistics
6 Environmental adaptive sampling
Chapter 3 Models fail
Fast Alternatives to Perlin's Bias and Gain Functions
C Header File and Vector Library
Dynamic Layout Algorithm to Display General Graphs
Chapter 17 Paired comparisons
12 Ecological diversity and forest management
Chapter 13 Applications of operations research in health care delivery
R.E versus N.H Specular Highlights
Computing the Area of a Spherical Polygon
Chapter 14 Operations research in sports
Ideal Tiles for Shading and Halftoning
Fast Embossing Effects on Raster Image Data
2 A national center for statistical ecology and environmental statistics: A center without walls
19 Regression analysis of spatially correlated data: The kanawha county health study
24 A crystal cube for coastal and estuarine degradation: Selection of endpoints and development of indices for use in decision making
A Contrast-Based Scalefactor for Luminance Display
20 Methods for estimating heterogeneous spatial covariance functions with environmental applications
10 Ecological statistics
15 Environmental biometry: Assessing impacts of environmental stimuli via animal and microbial laboratory studies
Equations of Cylinders and Cones
Chapter 10 Models for water and air quality management
Distance to an Ellipsoid
Multi-Jittered Sampling
Building Vertex Normals from an Unstructured Polygon List
Chapter 11 Siting of hazardous facilities
Computing the Intersection of a Line and a Cylinder
3 Replicate measurements for data quality and environmental modeling
Chapter 6 The deployment of police, fire, and emergency medical units
Euler Angle Conversion
4 Design and analysis of composite sampling procedures: A review
Chapter 2 Public sector analysis and operations research/management science
Smoothing and Interpolation with Finite Differences
Fiber Bundle Twist Reduction
Intersecting Parametric Cubic Curves by Midpoint Subdivision
Centroid of a Polygon
Direct Outcode Calculation for Faster Clip Testing
Tessellation of NURB Surfaces
Detecting Intersection of a Rectangular Solid and a Convex Polyhedron
Fast Linear Approximations of Euclidean Distance in Higher Dimensions
A Fast Alternative to Phong's Specular Model
Converting Rectangular Patches into Bézier Triangles
Chapter 7 Operations research in studying crime and justice: Its history and accomplishments
Chapter 15 Apportionment
Fence Shading
Testing the Convexity of a Polygon
Efficient Binary Image Thinning Using Neighborhood Maps
Chapter 4 Military operations research
Faster Linear Interpolation
Knot Insertion Using Forward Differences
Chapter 12 Estimation and management of health and safety risks
Fast Inversion of Length- and Angle-Preserving Matrices
Converting a Rational Curve to a Standard Rational Bernstein-Bézier Representation
Contrast Limited Adaptive Histogram Equalization
C++ Vector and Matrix Algebra Routines
Readings in Music and Artificial Intelligence
Interactive Music Systems in Ensemble Performance
Regarding Music, Machines, Intelligence and the Brain: An Introduction to Music and AI
Artificial Intelligence in Music Education: A Critical Review
Artificial Intelligence and Music Education
On the Potential of Machine Learning for Music Research
Computer Analysis of Jazz Chord Sequence: Is Solar a Blues?
Musical Pattern Extraction and Similarity Assessment
Musical Knowledge: What can Artificial Intelligence Bring to the Musician?
Artificial Intelligence Architectures for Composition and Performance Environment
Music, Intelligence and Artificiality
The Mechanization of Intelligence and the Human Aspects of Music
Symbolic AI versus Connectionism in Music Research
Dynamic Programming for Interactive Music Systems
Managing Gigabytes: Compressing and Indexing Documents and Images
Digit@l China. Überwachungsdiktatur und technologische Avantgarde
SQL*Plus sous Oracle: Notions et Applications de Base: Une Approche Pedagogique
Information Retrieval Interaction
Expert Systems and Theories of Knowledge
Philosophical Foundations
Artificial Life and the Animat Approach to Artificial Intelligence
Connectionism and Neural Networks
Planning and Problem Solving
Representation of Knowledge
Topics in Multivariate Approximation
Attenuation Factors and multivariate periodic spline interpolation
Approximation by harmonic Functions
Composite finite Elements of class C2
On inequalities arising from Best Local Approximations in Rectangles
Triangulation Methods
Coordinate Free scattered Data interpolation
On multivariate Vertex splines and Applications
On interpolation Systems and H-Reducible interpolation Problems
Numerical Generation of Nested Series of General triangular Grids
Recent Advances in the Approximation of surfaces from scattered Data
Approximation by positive Elements of subalgebras of Real-Valued Functions
On the Theory and Application of exponential splines
Unisolvent interpolation in Irn and the Simplicial Polynomial finite element method
Constrained surface Construction
A Short Survey on cardinal interpolation by Box splines
A Bibliography of multivariate Approximation
Ill-posed Problems in multivariate Approximation
Metaharmonic splines for solving the exterior Dirichlet Problem for the Helmholtz equation
Boolean Methods in Fourier Approximation
Polynomial reproducing Formulas and the Commutator of a Locally Supported spline
Shape Preserving surface interpolation
Interpolation of scattered Data by radial Functions
Advances in Experimental Social Psychology
The Elaboration Likelihood Model of Persuasion
Social Categorization: Implications for Creation and Reduction of Intergroup Bias
Natural Experiments on the Effects of Mass Media Violence on Fatal Aggression: Strengths and Weaknesses of a New Approach
Recent Research on Selective Exposure to Information
Distraction-Conflict Theory: Progress and Problems
Paradigms and Groups
The Role of Threat to Self-Esteem and Perceived Control in Recipient Reaction to Help: Theory Development and Empirical Validation
Wavelets in identification
Fuzzy neural network systems in model reference control systems
Fuzzy neural networks techniques and their applications
Implementation of fuzzy systems
Mean-value-based functional reasoning techniques in the development of fuzzy neural network control systems
Fuzzy logic and expert systems applications
Construction of rule-based intelligent systems
Neural networks and rule-based systems
Expert systems in soft computing paradigm
Inequalities: Theory of Majorization and Its Application
Delta Form-factor calculation for the cubic Tetrahedral Algorithm
Compositing Black-and-white Bitmaps
Quaternion interpolation with Extra spins
Solving the Problem of Apollonius and other Related Problems
Exact Computation of 2-d intersections
Cross Product in Four Dimensions and beyond
Interpolation using Bézier curves
The shader Cache: a Rendering Pipeline Accelerator
Accurate Polygon Scan conversion using half-Open Intervals
Grouping Nearly Coplanar Polygons into Coplanar Sets
Triangle-Cube Intersection
Progressive Image Refinement via gridded Sampling
Ray Tracing with the BSP Tree
Subdividing Simplices
Fast Bitmap stretching
Edge and bit-mask calculations for anti-Aliasing
Partitioning a 3-d Convex Polygon with an Arbitrary plane
Anti-Aliasing in triangular pixels
Joining two Lines with a circular Arc fillet
Useful C Macros for Vector Operations
Fast Span conversion: Unrolling Short Loops
Faster Line Segment Intersection
A Fast boundary Generator for Composited regions
A Generic pixel Selection Mechanism
The rolling ball
The Shadow depth Map Revisited
A Simple Color Reduction filter
Fast Generation of cyclic sequences
General filtered Image rescaling
Fast linear Color Rendering
Rectangular Bounding Volumes for Popular Primitives
Physically Correct Direct Lighting for Distribution Ray Tracing
Graphics Gems III (IBM Version)
Hemispherical Projection of a Triangle
A Simple Fast Memory Allocator
Fast n-dimensional extent Overlap Testing
A parametric elliptical Arc Algorithm
Fast Random Rotation matrices
Converting Bézier Triangles into Rectangular patches
Decomposing linear and Affine Transformations
Optimization of Bitmap Scaling Operations
2-d and 3-d Vector C Library
Triangles Revisited
Intersecting a Ray with a quadric surface
Understanding Simploids
Ieee Fast square root
Motion blur on Graphics Workstations
Darklights
Face-Connected Line Segment Generation in an n-dimensional Space
Linear Radiosity Approximation using Vertex-to-Vertex Form Factors
Generating Isovalue Contours from a pixmap
Nonuniform Random Point Sets via Warping
Accurate Form-factor Computation
Use of Residency masks and Object Space Partitioning to Eliminate Ray-Object Intersection calculations
A Fast Circle clipping Algorithm
Graphics GEMS C Header File
Compact Isocontours from sampled Data
A linear-Time Simple Bounding Volume Algorithm
-d depth-of-field simulation for Computer animation
A Panoramic Virtual Screen for Ray Tracing
Simple Connection Algorithm for 2-d Drawing
Curve Tessellation criteria through Sampling
Plane-to-plane Intersection
Issues and Techniques for keyframing Transformations
Rigid Physically based Superquadrics
Newell's method for Computing the plane equation of a Polygon
Signed Distance from Point to plane
Uniform Random Rotations
Decomposing Projective Transformations
Programming Languages for Enclosure Methods
Differentiation Arithmetics
Numerical Algorithms for Existence Proofs and Error Estimates for Two-Point Boundary Value Problems
Validated Solution of Initial Value Problems for ODE
Enclosure Methods
What Do We Need Beyond IEEE Arithmetic?
Computer Arithmetic and Self-Validating Numerical Methods
Chips for High Precision Arithmetic
Aspects of Self-Validating Numerics in Banach Spaces
Industrial Applications of Interval Techniques
Periodic Solutions: Enclosure, Verification, and Applications
The Determination of Guaranteed Bounds to Eigenvalues with the Use of Variational Methods I
Guaranteed Inclusions of Solutions of some Types of Boundary Value Problems
The Determination of Guaranteed Bounds to Eigenvalues with the Use of Variational Methods II
Discussion of Session III
Discussion of Session I
A Statistical Evaluation of the Scheduler of an Experimental Interactive Computing System
Discussion of Session VII
An Introduction to growth dynamics
Statistical Quantification of Instruction and Operand Traces
Discussion of Session V
Quantitative Methods for Evaluating Computer System Performance: a Review and Proposals
An Application of Statistical Methodology in the Study of Computer System Performance
The Use of Pure and modified Regression Techniques for Developing Systems Performance Algorithms
Probabilistic Models for Software reliability Prediction
A Utility Theoretic Approach to Evaluation of a Time-Sharing System
Discussion of Session IV
Measurement and Improvement of Program Behavior under Paging Systems
Discussion of Session VI
Modelling the Performance of the OS/360 Time-Sharing option (TSO)
Software reliability Research
A Computer Performance Monitor and Markov Analysis for Multiprocessor System Evaluation
Locality: Working Set, Request String, Distance function and Replacement Stack
Statistical Methodology for Calibrating a Trace-Driven Simulator of a batch Computer System
Statistical Computer Performance Evaluation
A Multi-factor Paging Experiment: I. The Experiment and the Conclusions
On the Structure of CP-67 Overhead
A Multi-factor Paging Experiment: II. Statistical Methodology
Discussion of Session II
Statistical Analysis of Series of Events in Computer Systems
Error Estimates for Multiquadric Interpolation
Elastica and Minimal-Energy Splines
ω-Convergence, A Criterion for Linear Approximation
Bernstein-Type Quasi-Interpolants
Procedural Construction of Patch-Boundary Curves
Extension of the Problem of Best Interpolating Parametric Curves to L-Splines
Periodic Spline Interpolation of Functions of Bounded Variation
Construction of Exponential Tension B-splines of Arbitrary Order
Splines and Digital Signal Processing
Pseudo-Cubic Weighted Splines Can Be C2 or G2
Using the Refinement Equations for the Construction of Pre-Wavelets II: Powers of Two
A Building Method for Hierarchical Covering Spheres of a Given Set of Points
How to Draw a Curve Using Geometrical Data
Recent Developments in the Strang-Fix Theory for Approximation Orders
A Note on Piecewise Monotonic Bivariate Interpolation