yusuke1997/dblp-id-title huggingface dataset:
Prediction of Protein Structure
Measuring Period of Human Biological Clock: Infill Asymptotic Analysis of Harmonic Regression Parameter Estimates
Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics
Cognitive Information Systems in Management Sciences, 1st Edition
Achieving Quality in Customer-Configurable Products
A Rule-Based Approach to Architecture Conformance Checking as a Quality Management Measure
Relating System Quality and Software Architecture
Quality Attributes in Medical Planning and Simulation Systems
Optimizing Functional and Quality Requirements According to Stakeholders' Goals
Addressing Usability Requirements in Mobile Software Development
Archample - Architectural Analysis Approach for Multiple Product Line Engineering
Harmonizing the Quality View of Stakeholders
Dashboards for Continuous Monitoring of Quality for Software Product under Development
Exploring How the Attribute Driven Design Method Is Perceived
Lightweight Evaluation of Software Architecture Decisions
Foreword by Bill Curtis: Managing Systems Qualities through Architecture
Hasard
Understanding Quality Requirements Engineering in Contract-Based Projects from the Perspective of Software Architects
Foreword by Richard Mark Soley: Software Quality Is Still a Problem
Computability, Complexity, Logic (English translation of "Berechenbarkeit, Komplexität, Logik" from 1985)
Logical Design in Codasyl and Relational Environment
Views Integration
INCOD-DTE: A System for Interative Conceptual Design of Data, Transactions and Events
Dialogo: An Interactive Environment for Conceptual Design in Galileo
Requirements Collection and Analysis
NLDA: A Natural Language Reasoning System for the Analysis of Data Base Requirements
Methodology and Tools for Data Base Design in the DATAID Project
A Separability-Based Method for Secondary Index Selection in Physical Database Design
Views Conceptual Design
A Set of Integrated Tools for the Conceptual Design of Database Schemas and Transactions
Physical Data Base Design for Codasyl DBMS
Data Analysis in the Cloud
Methodology and Tools for Data Base Design
Random Variables
Nonlinear Systems: Approximation by Simple State-Space Models
Wave Propagation in Periodic Structures
Mechanical Systems Simulation
Fluid Flow Control
Deterministic Systems
Transfer Functions
Power System Component Identification: Pseudorandom Signal Method
Singular Perturbations: Discrete Version
Power Electronics Systems: Petri-Net Modelling
Flexible Spacecraft Dynamics
Matrix Triangularization: Givens Transformations
Workshop Dynamic Modelling
Distributed Parameter Systems
Validation of Simulation Models: Statistical Approach
Robustness in Model-Based Fault Diagnosis
Finite-Difference Method
Singular Perturbations: Boundary Layer Problem
Time Horizons
Smith-McMillan Canonical Forms for Rational Matrices
Closed-Loop Systems
Exogenous Variables
Power Plants: Modelling
Identification: Pseudorandom Signal Method
State-Space Modelling: Square Root Algorithms
Identification: Least-Squares Method
Identification: Correlation Methods
Modelling of Industrial Robots
Laplace Transforms and Bode Diagrams
z-Transform Method
Identification: Time-Domain Methods
Finite-Element Method
Identification: Practical Aspects
State Variables
Discrete Variables
Automatic Modelling of Three-Dimensional Objects
Heating, Ventilation and Cooling Systems: Digital Simulation
Chemical Engineering Simulation
Identification: Maximum Likelihood Method
Chemical Reactor Modelling
Matrix Triangularization: Householder Transformations
Identification: Transient- and Frequency-Response Methods
Forecasts
Model-Based Fault Diagnosis
Identification: Experiment Design
Validation of Simulation Models: General Approach
Identification: Recursive Methods
State-Space Modelling and Transformations
Petri Nets for the Design of Control of Discrete Production Systems
Ordinary Differential Equation Models: Numerical Integration of Initial-Value Problems
Vibrations and Vehicle Dynamics
International Federation of Automatic Control
Multitimescale Systems: Dynamical Location
Approximate Realization Theory: Comparison of Optimal Methods
Identification: Frequency-Domain Methods
Structural Analysis: Graph Representation
Multidimensional Systems Modelling
Comparison Systems
Power Systems: Steady-State Power Flow Modelling
Distributed Model Simulation Software
Simulation Modelling Formalism: Partial Differential Equations
Large Stochastic Systems
Distributed Parameter Systems: Space and Time Decompositions
Nonlinear Effects and Their Modelling
Aggregation: Model Reduction
Traffic and Transportation Systems
Multivariable Systems
Laplace Transforms
Interactive Simulation Model and Program Generation
Validation of Identified Models
Multibond Graphs
Water Distribution Systems: Steady-State Analysis
Balanced Realization of Linear Stationary Dynamic Systems
Identification: Basic Problem
Abstract Realization Theory
Partial Differential Equation Models: Numerical Solution
Emulation and Microprogramming
Composite Systems
Polynomial Matrices in Systems Theory
Servovalves, Electrohydraulic
Identification: Model Structure Determination
Aircraft Dynamics: State Equations
Nuclear Reactor Modelling
Linear Systems: Kronecker Canonical Forms and Invariants
Simulation Modelling Formalism: Bond Graphs
Ordinary Differential Equation Models: Symbolic Manipulation
Flexible Manufacturing Systems
Knowledge Bases
Simulation Modelling Formalism: Ordinary Differential Equations
Biological and Biomedical Systems
Combined Discrete and Continuous Models: Firmware
Effective Systems
Ship Dynamics Identification and Modelling
Hybrid Analog-Digital Computers
Transport Equations
Distillation Columns: Bilinear Models
Aggregation, Chained
Multitimescale Systems
Difference Equations, Ordinary
Integrodifferential Systems
Concise Encyclopedia of Modelling & Simulation
Sampled Data Systems
Spectral Methods
Dynamic Systems Modelling: Basic Principles of Lumped Parameter Systems
Dynamic Systems Modelling: Distributed Parameter Models and Discretization
Closed Systems
Model Simplification: Frequency-Domain Approach
Singular Systems
International Association for Mathematics and Computers in Simulation
Open-Loop Systems
Aeronautics and Space Systems
Project Management: Network Models
Structure and Parameter Identification by Simulation Experimentation
Chaotic Behavior
Power Plants: Nonlinear Modelling
Classification, Estimation and Pattern Recognition
GB Theory
Temporality
Presupposition
Nonmonotonicity in Linguistics
SiCoTHEO - Simple competitive parallel theorem provers based on SETHEO
Problem partition and solvers coordination in distributed constraint satisfaction
Parallel operations on class hierarchies with double strand representation
Representing Discourse in Context
Massively parallel support for nonmonotonic reasoning
Game-Theoretical Semantics
Feature Logics
Parallel propagation in the description-logic system FLEX
Handbook of Logic and Language
A hybrid approach to improving the performance of parallel search
Parallel Processing for Artificial Intelligence 3
Application development under ParCeL-1
An alternative approach to concurrent theorem-proving
Logic and Language: A Glossary
Partiality
Low-Level computer vision algorithms: Performance evaluation on parallel and distributed architectures
AI applications of massive parallelism: An experience report
Massively parallel knowledge representation and reasoning: Taking a cue from the brain
Decision trees on parallel processors
Generalized Quantifiers in Linguistics and Logic
Plurals and Collectivity
Parka on MIMD-supercomputers
Categorial Type Logics
Situation Theory
Generics and Defaults
Static partitioning with slackness
Mathematical Linguistics and Proof Theory
Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity
Chapter 2 Finite state securities market models and arbitrage
Chapter 11 Mortgage backed securities
Modelling the Colour of Water in Lighting Design
The Particular Problem of Arthroscopic Surgical Simulation - A Preliminary Report
Chapter 13 Financial decision-making in markets and firms: A behavioral perspective
Annotating Real-World Objects Using Augmented Reality
A Colour Printing System Enabling Faithful Reproduction of the Desired Colour: Widened Colour Gamut Realized by a Multiple Ink Method with the Aid of an Inverse Problem Solution
An Algorithm for Detecting Dot Patterns
Chapter 22 Corporate financial structure, incentives and optimal contracting
Chapter 32 Financial intermediation and the market for credit
Chapter 23 Financing investment under asymmetric information
Chapter 9 Term structure of interest rates and the pricing of fixed income claims and bonds
Chapter 28 Financial distress, bankruptcy and reorganization
Metamorphosis of Freeform Curves and Surfaces
Chapter 18 Efficiency of sports and lottery betting markets
Automatic Task Generation and View Control for 3D Graphical Manual
Chapter 4 The arbitrage pricing theory and multifactor models of asset returns
Data Retrieval Through Virtual Experimentation
Chapter 31 Seasoned equity offerings: A survey
Interactive Walk-through Using Particle Tracing
Reliable Interrogation of 3D Non-linear Geophysical Databases
xXX: A Modular System for Manipulating Image Sequences
Chapter 1 Portfolio theory
Chapter 15 Asset and liability allocation in a global environment
Physical Modelling for Animating Cloth Motion
A Virtual Scene Simulation System for City Planning
Chapter 25 Dividend policy
Chapter 33 The U.S. savings and loan crisis
Deformable Surfaces using Physically Based Particle Systems
Chapter 19 Performance evaluation
A Radiosity System for Real-time Photo-realism
Visualization Market Trends: An Industrial Briefing
Chapter 29 Empirical methods of event studies in corporate finance
Computer Graphics: Developments in Virtual Environments
Hermite Interpolation of Solid Orientations Based on a Smooth Blending of Two Great Circular Arcs on SO(3)
Chapter 20 Market manipulation
Chapter 12 Market microstructure
Chapter 30 Initial public offerings
Approximation of Smooth Surfaces and Adaptive Sampling by Piecewise-linear Interpolants
Soft Cellular Modelling: A Technique for the Simulation of Non-rigid Materials
Volume-tracing Mirage Effects
A Multi-sensor Approach for Grasping and 3D Interaction
Composing Computer-generated Images and Video Films: An Application for Visual Assessment in Urban Environments
Actors, Performance and Drama in Virtual Worlds
Using Behavioural Rules in Animation
A Method of Expression of Space Phenomena with CG Animation: the Collision of the Comet Shoemaker-Levy 9 with Jupiter in July 1994
The Making of the Xian Terra-cotta Soldiers
Chapter 7 A discrete time synthesis of derivative security valuation using a term structure of futures prices
Simulation of a Growing Mammalian Cell Colony: Collision-based Packing Algorithm for Deformable Particles
Chapter 14 Volatility
A Study of Virtual Manipulation of Elastic Objects
Chapter 26 Mergers and acquisitions: Strategic and informational issues
Chapter 24 Financial structure and the tax system
Chapter 27 Financial structure and product market competition
Implicit Surfaces for Semi-automatic Medical Organ Reconstruction
LEMAN: A System for Constructing and Animating Layered Elastic Characters
Chapter 3 Capital growth theory
Chapter 10 Program trading and stock index arbitrage
Chapter 8 Pricing interest rate options
Virtual Sensors and Mobile Robotics
Chapter 17 On the predictability of common stock returns: World-wide evidence
Chapter 6 International portfolio choice and asset pricing: An integrative survey
A Domain Decomposition Method for Radiosity
Pixel-independent Ray Tracing
Chapter 16 Stock market crashes
Chapter 5 Theory and empirical testing of asset pricing models
Ridges and Ravines on a Surface and Related Geometry of Skeletons, Caustics, and Wavefronts
Chapter 21 Real options
Hardware Architecture of a Real-Time Simulator for the CORDIS-ANIMA System: Physical Models, Images, Gestures, Sounds
An Introduction to Neural Networks and Deep Learning
Network Traffic Forensics on Firefox Mobile OS: Facebook, Twitter, and Telegram as Case Studies
Tracking Millions of Humans in Crowded Spaces
Deep Networks and Mutual Information Maximization for Cross-Modal Medical Image Synthesis
Deep Learning Tissue Segmentation in Cardiac Histopathology Images
Efficient Medical Image Parsing
The GRODE Metrics: Exploring the Performance of Group Detection Approaches
Chest Radiograph Pathology Categorization via Transfer Learning
Deep Learning Models for Classifying Mammogram Exams Containing Unregistered Multi-View Images and Segmentation Maps of Lesions1
Deep Cascaded Networks for Sparsely Distributed Object Detection from Medical Images
Forensic Readiness: A Case Study on Digital CCTV Systems Antiforensics
The Group and Crowd Analysis Interdisciplinary Challenge
Contemporary Digital Forensic Investigations of Cloud and Mobile Applications
On Discovering Vulnerabilities in Android Applications
Automatic Integration and Querying of Semantic Rich Heterogeneous Data: Laying the Foundations for Semantic Web of Things
Exploring Multitask and Transfer Learning Algorithms for Head Pose Estimation in Dynamic Multiview Scenarios
About the Editors
Deep Learning for Scene-Independent Crowd Analysis
Web of Things Data Storage
The Role of Mobile Devices in Enhancing the Policing System to Improve Efficiency and Effectiveness
Supervised Learning Based Detection of Malware on Android
Security Issues of the Web of Things
A Web of Fitness "Things": An Exploration of Social Impacts & Vulnerable Populations
A WoT Testbed for Research and Course Projects
Randomized Deep Learning Methods for Clinical Trial Enrichment and Design in Alzheimer's Disease
Group Detection and Tracking Using Sociological Features
Convolutional Neural Networks for Robust and Real-Time 2-D/3-D Registration
Multi-Instance Multi-Stage Deep Learning for Medical Image Recognition
Natural Language Processing for Large-Scale Medical Image Analysis Using Deep Learning
Implications of Emerging Technologies to Incident Handling and Digital Forensic Strategies: A Routine Activity Theory
Forensic Visualization: Survey and Future Research Directions
An Introduction to Deep Convolutional Neural Nets for Computer Vision
Mobile Security and Privacy
Modeling RESTful Web of Things Services: Concepts and Tools
Honeypots for Employee Information Security Awareness and Education Training: A Conceptual EASY Training Model
Building a Web of Things with Avatars: A comprehensive approach for concern management in WoT applications
Building Entity Graphs for the Web of Things Management
Automatic Interpretation of Carotid Intima-Media Thickness Videos Using Convolutional Neural Networks
Subject-Centric Group Feature for Person Reidentification
An Introduction to Various Privacy Models
Integrating Computer Vision Algorithms and Ontologies for Spectator Crowd Behavior Analysis
How Cyber-Savvy are Older Mobile Device Users?
Mobile Security: A Practitioner's Perspective
The Anatomy of An Intent Based Search and Crawler Engine for the Web of Things
Social Interaction in Temporary Gatherings: A Sociological Taxonomy of Groups and Crowds for Computer Vision Practitioners
A Study of the Effectiveness Abs Reliability of Android Free Anti-Mobile Malware Apps
Efficient and Secure Pull Requests for Emergency Cases Using a Mobile Access Framework
Mobile Security: Mobile Security: End Users are the Weakest Link in the System
Contemporary Digital Forensics Investigations of Cloud and Mobile Applications
SALSA: A Multimodal Dataset for the Automated Analysis of Free-Standing Social Interactions
Residual Cloud Forensics: CloudMe and 360Yunpan as Case Studies
Managing the Web of Things: Linking the Real World to the Web
Forensic Investigation of Social Media and Instant Messaging Services in Firefox OS: Facebook, Twitter, Google+, Telegram, OpenWapp, and Line as Case Studies
The Analysis of High Density Crowds in Videos
Timeline Analysis for Digital Evidence on MTK-Based Shanzhai Mobile Phone
Mobile Phone Forensics: An Investigative Framework Based on User Impulsivity and Secure Collaboration Errors
From Groups to Leaders and Back: Exploring Mutual Predictability Between Social Groups and Their Leaders
Characterization of Errors in Deep Learning-Based Brain MRI Segmentation
RESTful IoT Authentication Protocols
Using Reference Architectures for Design and Evaluation of Web of Things Systems✶: A Case of Smart Homes Domain
Scalable High Performance Image Registration Framework by Unsupervised Deep Feature Representations Learning
Activity Forecasting: An Invitation to Predictive Perception
Realtime Pedestrian Tracking and Prediction in Dense Crowds
WoX: Model-Driven Development of Web of Things Applications
Learning to Predict Human Behavior in Crowded Scenes
Mobile Security and Privacy - Advances, Challenges and Future Research Directions
Physics-Inspired Models for Detecting Abnormal Behaviors in Crowded Scenes
A Semantic-Rich Approach to IoT Using the Generalized World Entities Paradigm
Deep Voting and Structured Regression for Microscopy Image Analysis
Ontologies and context modeling for the Web of Things
Performance of Digital Signature Schemes on Mobile Devices
The Cloud Security Ecosystem - Technical, Legal, Business and Management Issues
Mediation and Conceptual Behavior
Shift in Activity and the Concept of Persisting Tendency
Incentive Theory and Changes in Reward
Human Memory: A Proposed System and its Control Processes
A Catalog of Complexity Classes
Algorithms for Finding Patterns in Strings
Functional Programming and Lambda Calculus
Graph Rewriting: An Algebraic and Logic Approach
Distributed Computing: Models and Methods
The Complexity of Finite Functions
Elements of Relational Database Theory
Temporal and Modal Logic
Semantic Domains
Average-Case Analysis of Algorithms and Data Structures
Methods and Logics for Proving Programs
Operational and Algebraic Semantics of Concurrent Processes
Machine Models and Simulation
Machine-Independent Complexity Theory
Rewrite Systems
Automata on Infinite Objects
Communication Networks
Context-Free Languages
Type Systems for Programming Languages
Parallel Algorithms for Shared-Memory Machines
Kolmogorov Complexity and its Applications
Recursive Applicative Program Schemes
VLSI Theory
General Purpose Parallel Architectures
Algorithms in Number Theory
Group and Crowd Behavior for Computer Vision, 1st Edition
Data and Reality, 1st edition
Appraisal of Models for the Study of Disease Progression in Psoriatic Arthritis
Planning Supply Chain Operations: Definition and Comparison of Planning Concepts
Estimation of the Bivariate Survival Function with Generalized Bivariate Right Censored Data Structures
Design for Postponement
Integration Challenges in Gene Expression Data Management
Analysis of Progressively Censored Competing Risks Data
SRS: An Integration Platform for Databanks and Analysis Tools in Bioinformatics
Challenges Faced in the Integration of Biological Information
On Estimating the Gamma Accelerated Failure-Time Models
An Increasing Hazard Cure Model
Supply Chain Operations: Serial and Distribution Inventory Systems
Inference for Competing Risks
Cumulative Damage Approaches Leading to Inverse Gaussian Accelerated Test Models
Nonparametric Methods for Repair Models
Complexity and Emergence in the American Experimental Music Tradition
Survival Analysis with Gene Expression Arrays
First Hitting Time Models for Lifetime Data
DiscoveryLink
Kaplan-Meier Integrals
Complex Query Formulation Over Diverse Information Sources in TAMBIS
Nonparametric Bivariate Estimation with Randomly Truncated Observations
Marginal Analyses of Multistage Data
Analysis of Cause-Specific Events in Competing Risks Survival Data
Supply Chain Operations: Assemble-to-Order Systems
Regularities and Randomness
Hosmer and Lemeshow type Goodness-of-Fit Statistics for the Cox Proportional Hazards Model
Statistical Modeling in Survival Analysis and Its Influence on the Duration Analysis
P/FDM Mediator for a Bioinformatics Database Federation
Supply Chain Coordination with Contracts
The Matrix-Valued Counting Process Model with Proportional Hazards for Sequential Survival Data
Current Status Data: Review, Recent Developments and Open Problems
Art and Complexity
Supply Chain Design: Safety Stock Placement and Supply Chain Configuration
State Space Models for Survival Analysis
Statistical Methods for the Comparison of Crossing Survival Curves
Supply Chain Design and Planning - Applications of Optimization Techniques for Strategic and Tactical Models
The Information Integration System K2
Supply Chain Management: Design, Coordination and Operation
Issues to Address While Designing a Biological Information System
On Comparison of Two Classification Methods with Survival Endpoints
Testing Equality of Survival Functions with Bivariate Censored Data: A Review
Non-Parametric Hazard Rate Estimation under Progressive Type-II Censoring
What Lies Between Order and Chaos?
Drawing, Knowledge, and Intuitive Thinking
Discretizing a Continuous Covariate in Survival Studies
A Depth-First Traversal of Thinking
Planning Hierarchy, Modeling and Advanced Planning Systems
Accelerated Hazards Model: Method, Theory and Applications
The Missing Censoring-Indicator Model of Random Censorship
A Practitioner's Guide to Data Management and Data Integration in Bioinformatics
Lower Bounds for Estimating a Hazard
Categorical Auxiliary Data in the Discrete Time Proportional Hazards Model
Modeling Complexity for Interactive Art Works on the Internet
Analysis of Recurrent Event Data
Compared Evaluation of Scientific Data Management Systems
A Model-Based Mediator System for Scientific Data Management
Time-Varying Effects in Survival Analysis
Supply Chain Design: Flexibility Considerations
Marginal Analysis of Point Processes with Competing Risks
Frailty Model and its Application to Seizure Data
Science and Art in Collaboration - The Mindship Method
Tactical Planning Models for Supply Chain Management
Advances in Survival Analysis
The Effects of Misspecifying Cox's Regression Model on Randomized Treatment Group Comparisons
Evaluation of the Performance of Survival Analysis Models: Discrimination and Calibration Measures
Statistical Tests of the Equality of Survival Curves: Reconsidering the Options
Modelling Survival Data using Flowgraph Models
Information Sharing and Supply Chain Coordination
Diagnostics for the Accelerated Life Time Model of Survival Data
The Kleisli Query System as a Backbone for Bioinformatics Data Integration and Analysis
Statistical Analysis of Doubly Interval-Censored Failure Time Data
Estimation of Semi-Markov Models with Right-Censored Data
Poetic Voice and the Complexity of Bird Song
Art and Science - Les Liaisons Dangereuses?
Fractal Expressionism - Where Art Meets Science
Complexity and Aesthetics
Dynamic Models of Transportation Operations
Joint Analysis of Longitudinal Quality of Life and Survival Processes
Plans for Multiple Agents
Experiments on Cage and Poligon: Measuring the Performance of Parallel Blackboard Systems
Mechanisms for Assessing Nonlocal Impact of Local Decisions in Distributed Planning
Communication-Free Interactions among Rational Agents: A Probabilistic Approach
A Distributed Problem Solving Architecture for Knowledge Based Vision
DATMS: A Framework for Distributed Assumption Based Reasoning
Representing and Using Organizational Knowledge in Distributed AI Systems
Conflict-resolution Strategies for Nonhierarchical Distributed Agents
The Structure of Ill-Structured Solutions: Boundary Objects and Heterogeneous Distributed Problem Solving
Evaluating Research in Cooperative Distributed Problem Solving
Themes in Distributed Artificial Intelligence Research
The Cooperation of Experts in Engineering Design
An Object-oriented Multiple Agent Planning System
Distributed Artificial Intelligence
Constraint-Directed Negotiation of Resource Reallocations
Cooperating Agents: A Unified Theory of Communication and Social Structure
Multiagent Compromise via Negotiation
Dynamics of Computational Ecosystems: Implications for DAI
Negotiating Task Decomposition and Allocation Using Partial Global Planning
Distributing Intelligence within an Individual
Learning and Adaptation In Distributed Artificial Intelligence Systems
Hybrid logics
Temporal logic
Computational modal logic
Complexity of modal logic