yusuke1997/dblp-id-title huggingface dataset:
A Study of Optimum and Near Optimum Contractor Servomechanisms Using Phase Space Techniques
Bdd-Based Engineering-Change Logic Synthesis
Optimization of Small Unmanned Ground Vehicle Design using Reconfigurability, Mobility, and Complexity
Recomposing Procgen
Towards Automatic Identification and Delineation of Tissues and Pathologies in H&E Stained Images
Geometric Constraint Removal and Related Problems
Program Development Using Refinement Logic
Lineage tracing in data warehouses
Improved regression testing of multithreaded programs
Modeling and Control of Multiphase DC-Dc Converters With Linkages to Hybrid Control
Parallel Algorithms for De Novo Long Read Genome Assembly via Sparse Linear Algebra
Increasing Authorial Leverage in Generative Narrative Systems
Safety Markov Decision Processes: Their Solution and Appication to Agent Design
Exploiting shared structures in large GPS trajectory datasets under uncertainty
General unsupervised explanatory opinion mining from text data
Structure-Preserving Methods for Molecular Response Calculations
Digital Deconvolution: Image Sampling and Restoration Techniques
Exploiting System Diversity in Peer-to-Peer Publish -Subscribe Systems
Heuristic sampling on backtrack trees
Approaches for Improving Data Acquisition in Sensor-Based mHealth Applications
Context modeling with inertial mobile sensor
Understanding the fault-tolerance properties of large-scale storage systems
Circular Reasoner: a Package in Mathematica for the Execution of Certain Otherwise Non-terminating Functional Programs
Empowering Users on Social Media for Better Content Credibility
Modeling and Rendering Cloth
View Synthesis for Visuomotor Policy Learning
Multi-objective optimization and meta-modeling of tape-wound transformers
Unlocking Design Reuse with Hardware Compiler Frameworks
Constrained signal reconstruction
Adaptive and efficient batch reinforcement learning algorithms
Multi-view Clustering of Social-based Data
Framework and Platform Support for General Purpose Serverless Computing
Energy-Based Model and its Applications
Audio-Visual Scene Analysis With Application in Sports Video
Statistical Debugging and Automated Program Failure Triage
Compiler-assisted rollback recovery
Automatic verification of programs with complex data structure
Mapping and Planning for Autonomous Vehicles in Dynamic Urban Settings
Learning Causality in Molecular Biology
Optimizing processor architectures for warehouse-scale computers
Learning Grounded Pragmatic Communication
Domain mappings: a tool for the development of vector algorithms for numerical solutions of partial differential equations (adaptive grids, elliptic problems)
Cyclostationary statistical optics
Learning to Perceive and Predict Everyday Hand-Object Interactions
Building Scalable Solutions to Distributed Computing Problems Using Probabilistic Components
Understanding patient experience from online medium
Hierarchical Approaches to Vlsi Circuit Layout
Complementary 4D-Flow and CFD Analysis Methods for Investigating Pathological Hemodynamics
Technologies of Social Change: Mapping the Infrastructure of the Occupy Movement from #OccupyWallStreet to #OccupySandy
Network-Structured Error Flattening for Power Grids and Other Real-World Networks
Relaxing Topological Barriers in Geometry Processing
Minimization of Interprocessor Communication in Parallel Computation
Cooperative Replanning in Response to Conflicts
An Architecture of Participation for Computational Social Biology
Scheduling with Space-Time Soft Constraints In Heterogeneous Cloud Datacenters
An Investigation of Computer-Aided Analysis for Switched Capacitor Sampled-Data Filters
Multisource X-ray Systems for Digital Breast Tomosynthesis and Breast CT Imaging
Interacting Mechanisms Driving Synchrony in Neural Networks with Inhibitory Interneurons
High speed serial data transmission integrated circuits with half-rate clock and quarter-rate clock in SiGe BiCMOS technology
Useful interpretability for real-world machine learning
3D Object Detection with Depth Completion for Autonomous Driving via Camera and LIDAR Fusion
Hybrid Planning in Self-adaptive Systems
A New Algorithm for the Tuning of Analog Filters
Estimation and control with limited information and unreliable feedback
Iterative Solution of Matrix Equations for Symmetric Matrices Possessing Positive and Negative Eigenvalues
Scalable Text Analysis with Efficient Distributed Word Representation
Probabilistic Techniques in the Analysis of Dynamic Processes
Expressiveness, Efficiency, and Privacy in Advertising Auctions
Incorporating Place and Space: a Hierarchical Spatial Approach to Exploring Preventable Congestive Heart Failure Hospitalizations in New York City
Socially Responsible and Factual Reasoning for Equitable AI Systems
Item Sampling in Service Quality Assessment Surveys to Improve Response Rates and Reduce Respondent Burden: The "Libqual+rtm Lite" Randomized Control Trial (Rct)
Securing environments against RF wireless threats
Data: Implications for Markets and for Society
Electrical, optical and THz emission studies of GaxIn1-xAs bulk crystals
Models and algorithms for data privacy
Machine Learning Procedures for Generating Image Domain Feature Detectors
High-level, part-based features for fine-grained visual categorization
Building and Managing Large Scale Distributed Services
Learning for Robot-centric Autonomy
Efficient Knot Optimization for Accurate B-Spline-Based Data Approximation
Decomposition Bounds for Influence Diagrams
Robust Selfie and General Video Stabilization
A Geometric Approach to Coding Theory With Application to Information Retrieval
Energy storage in reconfigurable antennas
Sky Computing with Intercloud Brokers
Inline microring reflector for photonic applications
Extracting Graph Structure from Data via Topological Methods with Applications to Neuroscience
Building efficient and reliable software-defined networks
Towards a Scalable Software Stack for Resource Estimation and Optimization in General-Purpose Quantum Computers
Thermodynamically Consistent Physics-Informed Data-Driven Computing and Reduced-Order Modeling of Nonlinear Materials
Transfer Function Synthesis Based on Cascaded Rc and Rl Networks
Performance Aspects of Computers With Graphical User Interfaces
Informed Structural Priors for Bayesian Networks: Applications in Molecular Biology Using Heterogeneous Data Sources
Inflight Characterization of Aircraft Icing
The Design and Implementation of a Private Message Service for Mobile Computers
Compression and recycling for statistical databases
Brain-Computer Interface Systems for Neurorehabilitation
Multimodal Human-Robot Interaction With Decision Theory and Mixed Reality
Learning Robust Representations for Low-resource Information Extraction
Energy-efficient information inference in wireless sensor networks based on graphical modeling
Parallelism with limited nondeterminism
Data Mining via Support Vector Machines: Scalability, Applicability, and Interpretability
Computational approaches to understanding the language of vertebrate cis-regulation
Automatic generation of efficient compilers using abstract algebraic semantics
Architecting Data Centers for High Efficiency and Low Latency
Improving sequence alignment and variant calling through the process of population and pedigree-based graph alignment
Strategic Exploration in Reinforcement Learning - New Algorithms and Learning Guarantees
Gregor: A Model Object Base Supporting Software Configuration Management
Computer-Aided Modelling: an Application to Decision Support in Business Environments
Improving Recommender Systems via Multimodal Information
A highly parallel automated SFQ circuit design and margin optimization tool applied to a dual rail logic single flux quanta cell library
Consistent long-term observational datasets of soil moisture and vegetation reveal trends and variability in soil moisture, improve carbon cycle models, and constrain climate models
Improvements to power system dynamic load model parameter estimation
Studies in Pattern Recognition of Line-Size, Line-Orientation and their Interaction
Constructing scalable dependable distributed systems
Expression procedures and program derivation
Speech Synthesis for Text-Based Editing of Audio Narration
Computerized Classification of Surface Spikes in Three-Dimensional Electron Microscopic Reconstructions of Viruses
Integrated Circuit Substrate Modeling for Noise Analysis
Approximation algorithms for clustering and facility location problems
Automatic Tuning Algorithms and Statistical Circuit Design
High-order Kernel-based Finite Volume Methods for Systems of Hyperbolic Conservation Laws
Intra-Robot Replanning and Learning for Multi-Robot Teams in Complex Dynamic Domains
On Applications of Resonances, from One to Infinity
Simulation and control of articulated rigid bodies
Guided Waves in Plasma Media
Coding for Synchronization Errors
Wideband spectrum sensing using rapidly tuned antennas
Distributed Deadlock Detection for Communicating Processes (Operating Systems)
Condensing Information: from Supervised to Crowdsourced Learning
The Statistical Estimation of Throughput and Turnaround Functions for a University Computer System
Accelerating Data Stream Mining using Graphics Processing Units
Seamless Interactions Between Humans and Mobility Systems
Real-Time Telemetry Systems for Multidimensional Streaming Data: A Case Study on Video Viewership Analytics
Understanding and Improving Representational Robustness of Machine Learning Models
Irrelevance reasoning in knowledge based systems
Formal analysis of security protocols : protocol composition logic
Architectural Level Test Generation and Fault Simulation
Network-aware mechanisms for tolerating Byzantine failures in distributed systems
Learning to Map Natural Language to General Purpose Source Code
Semi-Supervised Learning for Electronic Phenotyping in Support of Precision Medicine
Verified Extraction for Coq
A theoretical secure enterprise architecture for multi revenue generating smart grid sub electric infrastructure
Finding Lost Children
Molecularly Informed Field Theories for Complex Formulation Design
Supercharging Programming through Compiler Technology
Machine Learning Based User Modeling for Enterprise Security and Privacy Risk Mitigation
Cognitive Radio Network (CRN) System for Vehicle Safety Applications
The analysis and synthesis of efficient algorithm-based error detection schemes for hypercube multiprocessors
Understanding Challenges in the Data Pipeline for Development Data
Developing HCI technology to aid in communication research for individuals with impairments: a language and linguistic perspective
Leveraging Depth for 3D Scene Perception
One-Class Classification with Hyperdimensional Computing
Language-Based Access Control Mechanisms for Shared Databases
Games with Non-Probabilistic Uncertainty
Extracting Knowledge from Twitter and The Web
Deriving Abstractions to Address Hardware Platform Security Challenges
Sharing information in rural communities through voice interaction
Search Algorithms and Search Spaces for Neural Architecture Search
Remote Sensing of Irregularities in the Equatorial Ionosphere Using the Radio Scintillation Technique
Approximate solutions of queueing network models of computer systems
Completeness and Incompleteness Theorems for Hoare-like Axiom Systems
Program Analysis Based Approaches to Ensure Security and Safety of Emerging Software Platforms
Software-oriented memory-management design
Fast Algorithms for Mining Co-evolving Time Series
Practical verification of network planes
Design and performance optimization of asynchronous networks-on-chip
Security of Watermarking Schemes Against Sensitivity Analysis Attacks
Efficient and scalable simulation of solids and fluids
Recovering the Orientation of Textured Surfaces in Natural Scenes (Image Processing)
Influence mining from unstructured big data
Privacy through deniable search
Addressing the DNA deluge: algorithmic methods for large-scale genome analysis
Learning to Segment Images Into Material and Object Classes
Scoring-and-Unfolding Trimmed Tree Assembler: Algorithms for Assembling Genome Sequences Accurately and Efficiently
Designing Performant, Flexible and Evolvable Network Systems
Approximation Algorithms for Effective Team Formation
Data-centric approaches to kernel malware defense
Extraction of MOS VLSI Circuit Models Including Critical Interconnect Parasitics
Neuro-Symbolic Program Synthesis for Data-Efficient Learning
Uniform verification of safety for parameterized networks of hybrid automata
Surface texture processing
An integrative model of chromatin and expression variation across human cell types
An analysis of data error rates using a stochastic queuing model
On some central problems in computational complexity
Prefetch mechanisms that acquire and exploit application specific knowledge
Transmission Power Control for Enhancing the Performance of Wireless Packet Data Networks
A constructive design methodology for trust management systems
Modelling and Optimization of Smart Mobility Systems with Agent Envy as a Paradigm for Fairness and Behavior
Improving Programs by Source-to-Source Transformation
Security and Privacy for Emerging Augmented Reality Technologies
"Using Virtual Reality Effectively in Scientific Data Exploration - Perception, Usability and Design in Immersive Displays"
Customized Computing and Machine Learning
Reduced-Encoding Dynamic Imaging
Approximate counting, phase transitions and geometry of polynomials
Concurrent Refinement in Nuprl
When Can Nonconvex Optimization Problems be Solved with Gradient Descent? A Few Case Studies
Energy -aware operating system design
On Sequential Pulse Position Demodulation
Private, Distributed, and Scalable Content Providers
Neural Learning with Logic for Data Efficiency
Low-Bandwidth Remote Sensing of Rare Events
A Data-Based Perspective on Model Reliability
Size-Driven All-Quad Meshing for Geographic Data
Toward Secure and Safe Autonomous Driving: an Adversary's Perspective
ERP System Post-implementation Success Factors in a Higher Education Institution
A Trust Management Framework for Decision Support Systems
On the Structure of NP Computations under Boolean Operators
Text Generation and Evaluation for Human-Machine Collaborative Writing
Energy-Delay Complexity of Asynchronous Circuits
High Performance Data Mining in Time Series: Techniques and Case Studies
Neural coding during active whisker sensation
Nanoscale transport simulation of ion channels
Democratizing error-efficient computing
Automatic Software Performance Optimization on Modern Architectures
Routing and Topology Reconfiguration for Networks-on-Chip's Runtime Health
Propagation, Detection and Containment of Mobile Malware
Reducing the development cost of customized hardware acceleration for cloud infrastructure
Learning from Production Test Data: From Statistical Characterization to Modeling for Anomaly Detection
Reserve Valuation in Electric Power Systems
Algorithms for DFM in electronic design automation
High-dimensional Quantum Key Distribution with Frequency Encoding
A Study of the Impact of Interaction Mechanisms and Population Diversity in Evolutionary Multiagent Systems
Computational electromagnetics for microstrip and MEMS structures
Theoretical Study of Ion Bunching for Pellet Fusion in Self-Consistent Time-Dependent Space Charge Fields
Algorithmic aspects of the simulation and control of computer generated human anatomy models
Opening up the Collaborative Problem-Solving Process to Solvers
The structure of an environment for an experimental, interactive, mathematical problem-solving system
ExploringWeakly Labeled Data Across the Noise-Bias Spectrum
Addressing Memory Bottlenecks for Emerging Applications
Analysis of languages for man-machine voice communication
Proactive Vulnerability Discovery and Assessment in Smart, Connected Systems Through Systematic Problem Analysis
Efficient algorithms for distributed learning, optimization and belief systems over networks
Foundations of a logic of knowledge, action, and communication
Strategic Mechanisms in Multi-Agent Coordination
Thermal Effects and Activation in Josephson Junctions
Antenna Impedance in a Warm Plasma
Short-Sighted Probabilistic Planning
Physically-based Modeling and Rendering of Complex Visual Appearance
Representation learning of natural language and its application to language understanding and generation
Explainable and Advisable Learning for Self-driving Vehicles
Low-depth quantum architectures for factoring
A Computational Framework for Modeling Belief-based Decision Making
Adapting Database Indices for New Applications
Learning Deep Controllable and Structured Representations for Image Synthesis, Structure Prediction and Beyond
Decompose and Conquer: Addressing Evasive Errors in Systems on Chip
Explaining Unsynthesizability of High-Level Robot Behaviors
Broker-supported and constraint-based infrastructure for collaborative systems
The Functional Decomposition of Polynomials
Prove Once, Run Efficiently Anywhere: Tools for Lock-free Concurrent Algorithms
Analysis, Modeling, and Control of Dynamic Processes in Networks
Design of High-Power High-Frequency Coreless Transformer Systems
Power Optimization of Sum-of-Products Design for Signal Processing Applications
Computational deep learning microscopy
A performance study of deadlock resolution in distributed systems
To Overcome Limitations of Computer Vision Datasets
On The Knapsack And Other Computationally Related Problems
Generic camera calibration for omnifocus imaging, depth estimation and a train monitoring system
Measuring Setl Performance
End-to-end question answering on semi-structured tabular data
Harmonizing Audio and Human Interaction: Enhancement, Analysis, and Application of Audio Signals via Machine Learning Approaches
Game-theoretic intrusion response and recovery
Estimating Probability Distributions and their Properties
Integration and Perception of Tablet PC Mathematics Software in Elementary Mathematics Education
Database Support for Top-Down Proteomics
Model-Order Reduction Techniques for Circuits and Interconnects Simulation
New Techniques for Multicarrier Communication Systems
Discovering roles and types from hierarchical information networks
Risk-Bounded Dynamic Scheduling of Temporal Plans
The Length-Lex Representation for Constraint Programming over Sets
Leveraging Differential Privacy While Attending to Social and Political Commitments
SMARTS-Shared-memory Multiprocessor Ada Run Time Supervisor
Massively parallel interrogation of anti-viral and anti-cancer immunity
A Systematic Approach to Delivering Instruction-Level Parallelism in EPIC Systems
Qos-Aware Service Management for Internet-Scale Distributed Applications
Effects of High Intensity Sound on Electrical Conduction in Muscle
Conformance Testing and Error Explanation for Software Models
Statistical models for analyzing human genetic variation
Constructing and analyzing specifications of real world systems
Towards the Theory and Practice of Verifying Visualizations
Input-Pattern-Independent Estimation of Peak Current, Peak Power Dissipation, and Maximum Voltage Variation in the Power Distribution Network of VLSI Circuits
Structure prediction for human parsing
Remote access to distributed file systems
Understanding Storage System Problems and Diagnosing Them Through Log Analysis
Systems-Level Support for Mobile Device Connectivity
On recommendations in heterogeneous social media networks
Methods for Identifying Combinations of Driver Mutations in Cancer
A meta-language for functional verification
Combating abuse on social media platforms using natural language processing
The design of guided learner -adaptable scaffolding in interactive learning environments
Elucidating Material Design Rules for Ion Mobility in Calcium Cathodes using High-Throughput Computation
Making Sense of Art as Information
Improving processor performance by dynamically pre-processing the instruction stream
Data-Based Motion Planning for Full-Body Virtual Human Interaction with the Environment
Stabilization of human walking by muscles revealed using three-dimensional muscle-driven simulations
Sinusoidal Analysis of Hysteresis Effects in Nonlinear Feedback Control Systems
Linear Sequential Machines Whose Logic Elements Contain Delay
Adaptive techniques for scalable optimistic parallel discrete event simulation
Compiling shared-memory applications for distributed-memory systems
Iterative visual analytics and its applications in bioinformatics
Linear Stability of a Wake Vortex and its Transient Growth: Numerical Analysis in Light of Critical-Layer Eigenmodes and Spectra
Methods for Inference in Graphical Models
Human-Centric Security and Privacy for Emerging Technologies
Theory of Symmetric Neural Networks
Control of Modular Multilevel Converters for Grid Integration of Full-Scale Wind Energy Conversion Systems
Accurate estimators and optimizers for networks-on-chip
A universal relation data model with semantic constructs
Visual Knowledge Learning
Data mining of host transcriptome and microbiome in pulmonary disease
Multi-Target Tracking Algorithms for Cluttered Environments
Knockout tournament design : a computational approach
Understanding, Exploiting and Improving Inter-view Relationships
Automating Reasoning in an Implementation of Constructive Type Theory
Health disparities, environmental toxicants, and midlife women's health outcomes
Dynamic stereo vision
Robust Human Information Inference against IoT Sensing Data Shift
Improving energy and performance of data cache architectures by exploiting memory reference characteristics
Time-resolved Mechanisms of Organic Reactions: Methodology and Applications
Experimental and Formal Language Design Applied to Control Constructs for Interactive Computing
Constructing and debugging manipulator programs
Learning from ambiguous examples
Algorithm Design for High-Performance CFD Solvers on Structured Grids
Toward a Robust Internet Interdomain Routing
Uncovering Structure in High-Dimensions: Networks and Multi-task Learning Problems
Hypergraph-Based Combinatorial Optimization of Matrix-Vector Multiplication
Uncertainty Reduction in Supervised Learning and Online Decision Making
Far touch: integrating visual and haptic perceptual processing on wearables
Addressing production run failures dynamically
The Structure and Complexity of Software System Designs (Engineering, Metrics, Analysis, Architecture)
Data-Driven Spatio-Temporal Analysis for Multimode Data
Effective Performance Analysis of Modern CPUs
Techniques for automatic verification of real-time systems
Efficient Algorithms for Shortest-Path and Maximum-Flow Problems in Planar Graphs
The analysis of a practical and nearly optimal priority queue
Uniqueness and Estimation of Three-Dimensional Motion Parameters of Rigid Objects
Datasets, features, learning, and models in visual recognition
A model of computer-aided definition and analysis of information system requirements
Approximation Algorithms for Capacitated Facility-Placement and Vehicle-Routing Problems in Transportation Networks
Beyond Configurable Systems: Applying Variational Execution to Tackle Large Search Spaces
Hybrid coherence for scalable multicore architectures
Data Efficient Multilingual Natural Language Processing
Language Design for Synthesizing Diagrams, Layouts, and Invariants
Measure-valued Proximal Recursions for Learning and Control
Augmented Matrix Solvers for Dynamic Linear Systems of Equations
Visual Forecasting for Interactive Embodied Agent
Domain Partitioning Methods for Elliptic Partial Differential Equations
Sound Synthesis For Nonlinearly Deformable Bodies
Enabling extreme-scale circuit modeling using massively parallel discrete-event simulations
Towards Automatic Machine Learning Pipeline Design
A design-build-test-learn tool for synthetic biology
Network design for optimal performance under consensus dynamics
Photoinduced Optical Integrated Circuits and Bulk Photonic Devices in Chalcogenide Glasses
Context-adaptive illustrative visualization and analytics techniques
Generator-Based Design of Custom Systems-on-Chip for Numerical Data Analysis
Identifying and addressing the error sources in diffuse optical tomography
Dynamic Machine Learning with Least Square Objectives
Intelligence by design in an entropic power grid