yusuke1997/dblp-id-title huggingface dataset:
Separating Protection and Management in Cloud Infrastructures
Growth of thick lattice mismatched layers of GaxIn1-xAsySb1-y on GaAs substrates from quaternary melts
Appearance Acquisition for Digital 3D Content Creation
Energy efficient hardware and software solutions for wireless network access
Assuring robustness of radio spectrum telemetry against vandalism and exploitation
A simulations approach to the genetic and cultural prehistory of humans
Complexity of Finding and Measuring Ground States in Quantum Systems
Computational axiomatic science
StoryMiner: An Automated and Scalable Framework for Story Analysis and Detection from Social Media
SMT-Based and Disjunctive Relational Abstract Domains for StaticAnalysis
Learning and Inference in Factor Graphs with Applications to Tactile Perception
Primitives for computational geometry
Coupled simulation of deformable solids, rigid bodies, and fluids with surface tension
Securing Virtualized System via Active Protection
Data-Driven Predictive Modeling of Diarthrodial Joints
Hierarchical Style Modeling: A generative framework for Style-Centric Generation of 3D Models
Quantification of Endomembrane Phenotypes Using Chemical Genetics and Image Informatics
Physical Design Methodologies for the More-than-Moore Era
A Novel Distance Measure and Semantic Segmentation for Time Series Data
Techniques for Testing Integrated Circuits
A fast multi-purpose circuit simulator using the latency insertion method
Effect of Small Initial Irregularities on the Strength of Cylindrical Shells
Formal Verification of Quantum Software
Understanding Training Data in Large-Scale Machine Learning
Study of Dipolar Polarization in Silicon-Nitride Films Using an Adapted Thermally Stimulated Current Technique
Consumer Distributed File Systems
Efficient Packet Scheduling in Wireless Multihop Networks
Learning-Based Facial Attribute Estimation and Manipulation
Compile-Time Performance Prediction of Scientific Programs
Resonances in Middle High German: New Methodologies in Prosody
Improving virtual hardware interfaces
Management of an internetwork of routers
Lightweight social communication using visual media and mobile phones
Estimating global policy impacts in unprecedented contexts with interdisciplinary econometric approaches
Interactive Surface Modeling and Analysis
Self-Diagnosis of Electronic Computers-an Experimental Study
Efficient Digital Health Solutions Using Wearable Devices
Everyday Personal Informatics
A Fast and Portable High-Order Temporal Solver for Computational Fluid Dynamics
New perspectives on learning, inference, and control in brains and machines
Circuit and microarchitectural techniques for processor on -chip cache leakage power reduction
Opportunistic routing algorithms in delay tolerant networks
Registration of combined range-intensity scans
Classification and Enumeration of Autonomous Sequential Machines
Cardinal-Utility Matching Markets and Online Matching
Demystifying Internet traffic
Compositional synthesis via convex optimization of assume-guarantee contracts
End-to-end non-negative auto-encoders: a deep neural alternative to non-negative audio modeling
Resilient Computations in the Presence of Slow-Downs
Energy recovering pipelines
The Extension of Object-Oriented Languages to a Homogeneous, Concurrent Architecture
Caching Strategies for Private and Efficient Content Retrieval in Information-Centric Networks
Mining approximate frequent patterns from graph databases
End-to-End Speech Recognition Models
A Routing Infastructure for Wide-Area Multicast Applications
Marking and the design of notations
Embodied Technology: Human Machine Communication from the Media Arts Perspective
Auditing bias and representation in sociotechnical systems
Pronunciation modeling for large vocabulary speech recognition
Advances in Machine Learning: Nearest Neighbour Search, Learning to Optimize and Generative Modelling
Visual Persuasion in Mass Media: A Computational Framework for Understanding Visual Communication
New approaches to efficient structural analysis of social and biological networks
Isolation in cloud storage
Learning structured prediction models : a large margin approach
Hybrid Knowledge Architectures for Question Answering
Efficient Setup Algorithms for Parallel Algebraic Multigrid
Learning from multiple heterogeneous sources - Handling source trustworthiness and incompleteness
Performance based design and analysis of multimicrocomputer networks
Performance of High-Speed Networks for Real-Time Applications
Logic from Programming Language Semantics
Design and Evaluation of a Multiple-Protocol Custom Controller for Hardware Distributed Shared Memory Systems
Towards a Flexible, High-Performance Operating System for Mobile/Cloud Applications
Some Aspects of Temporal Data Exchange
Parsing flowcharts and series-parallel graphs
Passive Health Monitoring with RadioWaves - In Body and In Home
Riding the Waves: A Case Study of Learners and Leaders in Library and Information Science Education
Space-variant computer vision with a complex-logarithmic sensor geometry
Bottom-up Memory Design Techniques for Energy-Efficient and Resilient Computing
Optimization under uncertainty: bounding the correlation gap
Metacomputing on on Commodity Computers
Improving Prosody Through Analysis by Synthesis
Laboratory and in-situ soil characterization by computer vision
Selective epitaxial growth of 4H-SiC and its applications for power devices
Drifting Through Design Research: An Autobiographical Rethinking of Constructing a Thesis
Defining and Enforcing Privacy in Data Sharing
A Framework for Intelligent Notification Management in Multitasking Domains
Nonconvex nonsmooth optimization for bioinformatics
Effective Utilization of Next Generation Hardware for Complex Molecular Dynamics Simulations
Data Storage and Exploration in a Video Data Management System
Reducing Variability in Subthreshold Circuits
Decision-making under statistical uncertainty
GPU-Acceleration of In-Memory Data Analytics
Look or Listen? Which Channel do People Rely on More?
Robust Control and Motion Planning for Nonlinear Underactuated Systems Using H -Infinity Techniques
The Time-Optimal Control of Singularly Perturbed Systems
Large-scale and high-fidelity wireless network simulation and emulation
A Study of Techniques and Mechanisms of Vagus Nerve Stimulation for Treatment of Inflammation
Enhancing Collaboration and Productivity for Virtual and Augmented Reality
Physics-based Learning for Large-scale Computational Imaging
"How did we get here?" An examination of the collection of contemporary Caribbean juvenile literature in the children's library of the National Library of Trinidad and Tobago and Trinidadian children's responses to selected titles
Learning-Based Techniques for Energy-Efficient and Secure Computation on the Edge
Computer Vision Sensing Systems for Structural Health Monitoring in Challenging Field Conditions
Phenotyping Endometriosis from Observational Health Data
Randomized algorithms for mining massive matrices: design & implementation at terascale and beyond
Active Learning for Designing Detectors for Infrequently Occurring Objects in Wide-Area Satellite Imagery
From Physical to Social Commonsense: Natural Language and the Natural World
Networking in distributed real-time systems
Methodologies for computer-aided process planning for parallel machining
Analysis of robots with redundancy (dual number, efficiency, singularity avoidance)
Parallel methods for the numerical solution of ordinary differential equations
Risk-averse multi-armed bandits and game theory
Temporal-logic theorem proving
Some Decidable Cases of the Reachability Problem for Vector Addition Systems
The Reassigned Bandwidth-Enhanced Method of Additive Synthesis
External Factors in Sustainability of Open Source Software
Experimental Study of Speciation in Ecological Niche Theory Using Genetic Algorithms
Machine Learning Approaches for Equitable Healthcare
Parallel Ray Tracing in Scientific Visualization
Systems-Level Approaches to Understanding Protein Synthesis
Speeding Up Gibbs Sampling in Probabilistic Optical Flow
Defeating Critical Threats to Cloud User Data in Trusted Execution Environments
Interval and point-based approaches to hybrid system verification
Generalizing Local Coherence Modeling
Improving the Ecological Effect of Datacenter Networking
Lightweight statistical learning : accelerating and avoiding empirical risk minimization
Algorithmically guided human decision making in criminal justice and beyond
Interprocessor Connections-Capabilities, Exploitation and Effectiveness
New Techniques for the Analysis and Implementation of Functional Programs
LOCALIZER A Modeling Language for Local Search
Enhancing Realism and Scalability in Network Testbeds
Text to 3D scene generation
Development of Computer Aided Drug Design Algorithms and Application to be APOBEC3 Family of Proteins
Towards Decentralized Applications
Writing on Dirty Memory
Multiprocessing architectures for local computer networks
Quantifying Synergistic Information
Parallel VLSI Synthesis
Ss/tdma Time Slot Assignment With Generalized Switching Modes
Applied Machine Learning for Resource Provisioning of Data-Intensive Applications on Scale-Out Platforms and Its Security Challenges
Task-Driven Adaptation of Deep Learning Architectures
Embracing Data-Centric AI: Practical and Provable Solutions to Weakly Supervised Data
Machine learning approach for high speed link modeling and IBIS-AMI model generation
Supervised Design-Space Exploration
Interactive Visual Exploration of Big Spatial Data
Reining in the Functional Verification of Complex Processor Designs with Automation, Prioritization, and Approximation
User-Centric Security and Privacy Approaches in Untrusted Environments
Study of Type-I and Type-II Strained Quantum-Well Lasers
Resource Control for Internet Servers
Designing a Parallel Dataflow Architecture for Streaming Large-Scale Visualization on Heterogeneous Platforms
Consensus building in distributed design discussions
Novel Vision-AI Techniques for Morphological Discovery in System Biology
Trajectory optimization methods for drone cameras
A Model for Adaptive Problem Solving Applied to Natural Language Acquisition
New Adaptive Iir Filtering Algorithms
Modeling human performance using the queuing network-model human processor (QN-MHP)
Toward privacy-preserving database management systems - Access control and data anonymization
Joint Inference for Information Extraction and Translation
Content-based music retrieval on acoustic data
Toward Robust High Performance Distributed Services
Large-Scale Machine Learning for Classification and Search
Discrete Fourier Analysis and Its Applications
Towards More General and Adaptive Deep Reinforcement Learning Agents
Understanding Sampling-based Adversarial Search Methods
Discriminative structured models for biological sequence analysis
Inducing Symbolic Characteristics in Neural Question-Answering Systems via Data Interventions
Plan to Learn: Active Robot Learning by Planning
Exploration of communication interconnection network congestion and methods of mitigation through simulation
Acoustic Generation by Nonuniform Polarization in Ferroelectric Ceramics
A Pattern Recognition Computer Using All-Magnetic Logic
Building Accountable Natural Language Processing Models: on Social Bias Detection and Mitigation
Computational Complexity of Motion and Stability of Polygons
IL(aleph): A unified approach to integrated learning
Generalized BDF methods applied to Hessenberg form DAEs
An economic-based empirical approach to modeling the Internet's inter-domain topology and traffic matrix
Improving Data Efficiency on Histopathology Image Analysis Using Deep Learning
Cyclic distributed garbage collection without global synchronization
Probabilistic Inference When the Model Is Wrong
Representation Learning on Brain Data
Varying-Coefficient Models and Functional Data Analyses for Dynamic Networks and Wearable Device Data
Phylogenetic Trees and Their Analysis
Representation of speech-like sounds in the discharge patterns of auditory-nerve fibers
Beyond Linear Paradigms in Online Control
Theory of compiler specification and verification
An Extension of a First-Order Language and Its Applications (Many-Sorted Logic, Distributed Database Design, Resolution, Automatic Theorem Proving, Horizontal Partitioning)
Machine Learning-Based Detection of Depression Symptoms with Smartphones and Consumer Wearable Devices
A mithrilian approach to safety and robustness of autonomous cyber-physical systems
Topics in algebraic computing: Subresultants, GCD, factoring and primary ideal decomposition
The genesis of youth services in public libraries in China, 1912-1937
End-to-End Joint Multi-View 3D Object Detection and Tracking via Learning to Associate
Internet Measurement for the Prevention and Detection of Internet Surveillance
Enabling Full-Stack DNN Accelerator Design and Evaluation on Synthesizable Hardware
On querying large scale information networks
Adaptive Test Cost and Quality Optimization Through An Effective Yet Efficient Delivery of Chip Specific Tests
Learning Visual Groupings and Representations with Minimal Human Labels
A Linear Response Analysis of Electromagnetic Radiation Emanating From A Plasma
Plane Wave Diffraction by Thick Dielectric Gratings, and Zone Phase Plates
Self-scheduling, data synchronization and program transformation for multiprocessor systems
Type Theoretical Foundations for Data Structures, Classes, and Objects
Error -Tolerant Digital Signal Processing
Preparation-free and comprehensive runtime verification tool for testing Java programs
Combinatorial code analysis for understanding biological regulation
Hiding Periodic I/O Costs in Parallel Applications
Full-System Critical-Path Analysis and Performance Prediction
Circuit Simulation Models for the High Electron Mobility Transistor
Divide and recombined for large complex data: Nonparametric-regression modelling of spatial and seasonal-temporal time series
Performance Modeling and Enhancement of the Structured Memory Access Architecture
Algorithms for finding hidden groups and their structure from the streaming communication data
Improving Web Automation Tools through UI Context and Demonstration
Motion Coordination for Mobile Robotic Networks With Visibility Sensors
Electronic Instrumentation for the Synthesis, Control, and Analysis of Harmonic Musical Tones
Probabilistic simulation for reliability analysis of VLSI circuits
Elucidating Immune and Inflammatory Diseases on the Atomic and Microbiome Scales
Numerical Nonlinear Robust Control with Applications to Humanoid Robots
Cost-Effective Support for Low Latency Cloud Storage
An End-to-End Platform for Multi-Modal Machine Learning Affective Computing Services
Finding The Boundaries of Compound Documents on the Web
Data-Driven Programming Abstractions and Optimization for Multi-Core Platforms
Supporting high-performance applications on large-scale machines
Towards AI-Assisted Programming: Automation, Comprehensiveness, and Optimization
Message Paths: An Approach to the Specification of Communication Protocols
Large-scale linear programming using the Cholesky factorization
Satisfying service level objectives in stream processing systems
Towards Secure Computation with Optimal Complexity
Non-asymptotic Singular Value Analysis of Random Matrices with Computer Science Applications
Two Novel Fast Algorithms for Analysis of Low-Frequency Transient Electromagnetic Phenomena
Sample-efficient reinforcement learning
Exploring electronic structure with near-term quantum computers
Improving the Utility of Compiler Fuzzers
On SIP Server Clusters and the Migration to Cloud Computing Platforms
Reliability and timeliness analysis of content-based publish/subscribe systems
A Scalable Self-Diagnosing Content Distribution Service With Bounded Latency
Collecting Data With the Crowd
Machine Translation for Human Translators
Participating and designing around algorithmic socio-technical systems
A study of nonmonotonic reasoning
Dynamics of power systems at critical load levels
Counterfactual evaluation and learning from logged user feedback
Lightweight Opportunistic Memory Resilience
Reliable *Control of Multi-Agent *Systems
Understanding the Role of Optimization Algorithms in Learning Over-parameterized Models
The Cross-Architecture Procedure Call
Applications of Near-Term Quantum Computers
Playing with Prompts: Toward Language Model-based Systems that Respect Human Creativity
Network community-based analysis of complex vortical flows: Laminar and turbulent flows
Augmenting Intelligence in Mobile Networked System
Open Question Answering
Issues in Ordered Multicast Performance: A Simulation Study
A Study of Structures, Mechanisms, and Theories through Computational Chemistry
An adaptive finite difference method for hyperbolic systems in one space dimension
Synthesis, Editing, and Rendering of Multiscale Textures
Developing and Integrating Computer-Aided Diagnostic Tools into Clinical Medicine
Algorithms for computational description of large scale conformational transitions of proteins
Charge-trap transistors for neurmorphic computing
Investigation of the Interface Recombination Velocity of Native Oxide/iii-V Semiconductor Interfaces
Computational Modeling and Design of Financial Markets: Towards Manipulation-Resistant and Expressive Markets
All Men Count with You, but None Too Much: Information Aggregation and Learning in Prediction Markets
Frequency-Weighted Projective Controls for Large Scale System Design
Perception amidst interaction: spatial AI with vision and touch for robot manipulation
Towards the computation problems in multi-stage and multi-winner voting rules
Lowering the Barrier to Applying Machine Learning
Sensitivity Analysis for Heuristic Algorithms
Resilient Computation Offloading for Real-Time Mobile Autonomous Systems
Object Localization, Segmentation, and Classification in 3D Images
Erasure Codes for Optimal Node Repairs in Distributed Storage Systems
Document expansion and language model re-estimation for information retrieval
Dynamic Range Analysis and High-Speed Integrated Circuit Designs Using Indium Phosphide HBT Technology
Fast Electromagnetic Modeling of Multilayer Microstrip Antennas and Circuits
Mining Intelligence of Crowds for Knowledge Inference
Libraries for social change: centering youth of color and/or LGBTQ youth in library practice
Geometric Optimization and Computational Complexity
Sublinear Time Algorithms for Graph Problems
Rapid prototyping, performance characterization, and design automation of droplet-based microfluidic devices
Managing uncertainty in constantly-evolving environments
Virtual memory alternatives for transaction buffer management in a single-level store
Learning Out-of-Vocabulary Words in Automatic Speech Recognition
Computer implementation of the finite element method
Sociotechnical Food Justice: Examining and Designing Public Interventions for Systemic Social Issues
Analyzing wireless networks
Semantics of VLSI synthesis
Investigations of the Electric Field Dependencies of the Generation Rates of Oxide and Interface Traps on Silicon
Efficient techniques for wide-area information dissemination
Training, Evaluating, and Understanding Evolutionary Models for Protein Sequences
Improved 3-D scene sampling by camera model design
Molecular machine learning with DeepChem
Query-Specific Learning and Inference for Probabilistic Graphical Models
Watching Humans and Detecting Their Abnormalities
Neural Language Generation for Content Adaptation: Explainable, Efficient Low-Resource Text Simplification and Evaluation
Computer comparison of pictures
Quantum Algorithms for Scientific Computing and Approximate Optimization
Electrohydrodynamic and magnetohydrodynamic surface waves and instabilities
Probabilistic planning via automatic feature induction and stochastic enforced hill-climbing
Multicore construction of k-d trees with applications in graphics and vision
Scaling Up Network Analysis and Mining: Statistical Sampling, Estimation, and Pattern Discovery
Modeling and design of near-field antennas with periodic structures
Towards Explaining Variation in Entrainment
Expanding the Reach of Fuzz Testing
Cluster analysis of gene expression data
An Axiomatic Approach to Information Retrieval
Forward and inverse scattering problems in the time domain
The Numerical Simulation of a Thunderstorm Cell in Two-Dimensions and Three-Dimensions
Network Structure Optimization with Applications to Minimizing Variance and Crosstalk
Enhancing Defect Coverage of VLSI Chips by Using Cost Effective Delay Fault Tests
Variable and Model Selection for Propensity Score Estimators in Causal Inference
Sequential and Adaptive Inference Based on Martingale Concentration
Erasure Coding for Big-data Systems: Theory and Practice
Connecting the last billion
Automatic Differentiation of Parallel Programs
Fast timing simulation of MOS VLSI circuits
Modeling of power system dynamics in the medium time scale
Fast Multilevel Algorithms for the Electromagnetic Analysis of Quasi-Planar Structures
Statistical Models and Algorithms for Studying Hand and Finger Kinematics and their Neural Mechanisms
Cellular Automata Mechanics
Automated Discovery and Learning of Complex Movement Behaviors
Supporting Global Context under Evolving User Intents during Data Exploration
Modeling and Analysis of Affiliation Networks with Subsumption
Algorithms for Identifying Syntactic Errors and Parsing with Graph Structured Output
Disrupting Machine Learning: Emerging Threats and Applications for Privacy and Dataset Ownership
The Goal Re-activation Problem in Cognitive Architectures
Local Reasoning for Stateful Programs
Counterfactual MDPs: Planning Beyond Direct Control
Semantic primitives for quick implementation of a family of procedural languages
Information Flow Control for Dynamic Reactive Systems
A Linear, Time-Varying System Framework for Bandlimited Signal Extrapolation
Schedulability analysis of resource access control protocols in real-time systems
Evolving algebras: Tools for specification, validation, and program transformation
Migrating enterprise storage applications to the cloud
Multiscale Simulation Approaches for Predicting Protein-Ligand Binding Kinetics
Enhancing Deep Learning Efficiency: A Hyperdimensional Computing Approach
Perceptually Valid Dynamics for Smiles and Blinks
Iterative Graph Computation in the Big Data Era
Statistical Models for Genome Assembly and Analysis
Topics in the Design and Analysis of Combinatorial Algorithms
Science in the Philippines: A bibliographic and bibliometric analysis of the periodical literature
An evaluation of the recovery-related properties of software faults
High-Quality Sampling for Complex Effects in Real-Time Ray Tracing
Joint Face Detection and Tracking in Three-Dimensional Space
Experiments in optical data collection, processing, and analysis for ocean science
Improving Machine Learning Approaches to Noun Phrase Coreference Resolution
Reconstruction Methods for Nuclear Emission Tomography
Methods to ensure the adequate primary frequency response of low inertia power systems
Querying RDBMS using Natural Language
Abstracting Influences for Efficient Multiagent Coordination Under Uncertainty
Spin-Torque Sensors for Energy Efficient and High Speed Global Interconnects
Autonomous Maintenance of Hemostasis in Robotic Surgery
Effects of playing the video game Tetris on attention and processing speed
Curriculum Learning: from Human Strategies to Learning Dynamics
The Development of WARP - A Framework for Continuous Energy Monte Carlo Neutron Transport in General 3D Geometries on GPUs
Randomly perturbed computation systems
Novel Computational Methods for Bayesian Hierarchical Modeling in the Biomedical Domain
Channel Market Analysis of Application-Driven Connection Recovery
Discouragement, Gender,and Professional Tennis
Practical Time Travel of Multiprocessor Systems
Nonparametric Bayesian Models for Neural Data
A Framework for Spectrally Efficient Noncoherent Communication
Towards Socially and Economically Beneficial Machine Learning
Exploiting Structure in Learning: A Path Toward Building Safe and Adaptive Robots
A hybrid sequential and algebraic decoding scheme
Price -Based Optimal Resource Allocation in Multi-Hop Wireless Networks