yusuke1997/dblp-id-title huggingface dataset:
Interconnect Aging - Physics to Software
Power-Efficient Accelerators for High-Performance Applications
"Uncovering the Hidden Literacies of "Have-Nots": A Study of Computer and Internet Use in a Low-Income Community
Sharp and Practical Performance Bounds for MCMC and Multiple Testing
Software Analysis and Development for Energy Efficiency in Mobile Devices
Photorealistic Digital Content Creation for Extended Reality from Sparse In-the-wild Images
Extensions of Kleene Algebra for Program Verification
Nonparametric Methods with Total Variation Type Regularization
Rationality and Efficient Verifiable Computation
Crossed Field Charged Particle Delay Lines
Machine Learning: Why Do Simple Algorithms Work So Well?
Demand Environment Analysis of Higher-Order Languages
Tools and Techniques for Building Programming Assistants for Data Analysis
The Application of Advanced Operator Genetic Algorithms to Electromagnetic Optimization Problems
Making Software More Reliable by Uncovering Hidden Dependencies
A Methodology for the Design of Distributed Databases and Distributed Systems
Multi-task Hierarchical Reinforcement Learning for Compositional Tasks
Heuristics for routing and scheduling of spatio-temporal type problems in industrial environments
Understanding and Incorporating Mathematical Inductive Biases in Neural Networks
Advances in Deep Reinforcement Learning: Intrinsic Rewards, Temporal Credit Assignment, State Representations, and Value-equivalent Models
Faster and easier: cross-validation and model robustness checks
Provable Reinforcement Learning with Constraints and Function Approximation
Personalizing Autonomous Driving with Rich Human Guidance
Post-inference Methods for Scalable Probabilistic Modeling and Sequential Decision Making
Learning-Based Techniques for Facial Animation
Modeling fate and transport of Cryptosporidium parvum and rotavirus in overland flow
Detecting Students of Concern in Introductory Programming Classes: Techniques to Indicate Potential Struggle or Cheating
Spontaneous Oscillations in Gas Discharge Tubes
Syntactic Inductive Biases for Natural Language Processing
Emerging Paradigms for Privacy Preserving Recommender Systems
A Study in the Design of an Arithmetic Element for Serial Processing in Alinear Iterative Structure
Recursive Compiler-Optimization for Nonserial Program Graphs
Information Extraction on Para-Relational Data
Incorporation of GNSS multipath to improve autonomous rendezvous, docking and proximity operations in space
Plasma Annealing of Ion Implanted Semiconductors
Clustering and comparing information extracted from personal health messages
Uninformed Consent: The Benefits and Limits of Transparency and Choice in Privacy Decision Making
Load Sharing In Computer Networks: A Queueing Model
Faceted Information Flow
FACTORS AFFECTING THE PROGRAM SIZE OF CONTROL FUNCTIONS OF OPERATING SYSTEMS
Planning in an Imperfect World Using Previous Experiences
Learning frameworks for program synthesis
Hierarchical Deep Learning for Disease Identification in High-Resolution Medical Imaging
A Geometric Combinatorial Satisfiability Approach to Automating Free Flight in the Airspace
Strength in Shear of Prestressed Concrete Beams Without Web Reinforcement
Privacy-preserving queries on encrypted databases
Perceptual metrics for image database navigation
The Sparse Manifold Transform and Unsupervised Learning for Signal Representation
Decentralized naming in distributed computer systems
Similarity-principle-based machine learning method for clinical trials and beyond
Internet of Things (IoT)-Enabled Health Monitoring Systems: Implementation and Validation
Modeling, Analysis, and Design of Influence in Multi-Agent Systems
AI-enabled palliative care : from algorithms to clinical deployment
Optimizing Data Processing Through Verified Lifting
A Combinatorial Framework for Multiple RNA Interaction Prediction
Fault Tolerance for Main-memory applications in the cloud
Supporting a Diversely Connected World via Community Cellular Networking
Computational Complexity and Decidability of Tileability
Selective area chemical vapor deposition of graphene
Secure Computation Systems for Confidential Data Analysis
An objective methodology for early software size estimation
Constraint-based robot knot tying
Incremental Web Search: Tracking Changes in the Web
Enabling Delay-Sensitive Modern Vehicular Applications by Using Resource Limited Vehicular Edge Computing Systems
Scalable Data-Parallel Processing of Semi-Structured Data
Improved Methods of Simulation and Analysis For Stochastic Processes in Cell Biology
An Integrated and Qos-Aware Framework for Multimedia Service Management
Advanced Imaging Through FOV and Aperture Manipulation
Speech Enhancement Using Deep Neural Networks
Model Checking and Expressiveness for First Order Process Algebras
Under-constrained symbolic execution : correctness checking for real code
Teaching and Assessing Programming Language Tracing
Signal Processing Issues in Synthetic Aperture Radar and Computer Tomography
Learning and Searching Methods for Robust, Real-Time Visual Odometry
Experimental Study of Rocking Motion of Rigid Bodies on Deformable Medium via Monocular Videogrammetry
Secure and dependable cyber-physical system architectures
View Synthesis Using Sterio Vision
General Topological Analysis of Linear Systems
Learning in Safety-critical, Lifelong, and Multi-agent Systems: Bandits and RL Approaches
Learning Equilibria of Simulation-Based Games: Applications to Empirical Mechanism Design
Renewable electric power systems energy yield and performance estimation
Testing Models of Cognition at Scale
A Complexity-Theoretic Perspective on Convex Geometry
Incremental Attribute Evaluation and Multiple Subtree Replacements
Cost-Effective machine Learning Strategies for Shallow Parsing
Accelerating Numerical Simulations with Deep Learning
Decision-centric resource-efficient semantic information management
Protein Structure Prediction:Sequence to structure alignment generation and atomic potential development
Algorithms for Mixture Models
Using simulation for planning and design of robotic systems with intermittent contact
Designing for Collaborative Reflection
Complex-valued Deep Learning with Applications to Magnetic Resonance Image Synthesis
Scaling Limits of Algorithms on Large Matrices
Performance, Energy and Temperature Considerations for Job Scheduling and for Workload Distribution in Heterogeneous Systems
Measuring Human Motion in Social Interactions
Organization and Function Acquisition in Protein-Protein Interaction Networks
A Special Purpose Operating System for Multiscale IoT Microservices
A Data-Quality Driven Framework for Data Dissemination in Wireless Sensor Networks
Abstractions for robust higher-order message-based communication
A Modular Design Flow for NoC-embedded FPGAs
Managing complex databases in a schema management framework
Integrative analysis of transcriptional regulatory programs in mammalian systems
On Program Transformations
Experimental and Computational Studies on Human Visual Perception of Structure from Motion and Natural Scenes
Predicting the Timing of Clinical Outcomes in the Presence of Multiple Events and Noisy Labels
An optimization approach to the economics of efficient multi-tiered spectrum sharing
Smart Grid Cyber and Physical Security
System level design of power distribution network for mobile computing platforms
Multimodal and Social Modeling of Client-Therapist Interaction
Consensus: bridging theory and practice
Validation and Verification of Modular Software Applications
The Perceptions of Globalization at a Public Research University Computer Science Graduate Department
Autonomous Navigation without HD Prior Maps
Effective design and analysis of genetic association studies
Enabling Big Memory with Emerging Technologies
Enhancing Privacy-Preserving Proof Systems
Segment-based SVMs for Time Series Analysis
Analysis of Perturbation Techniques in Online Learning
Ant: A Framework for Increasing the Efficiency of Sequential Debugging Techniques with Parallel Programs
Virus spread over networks: Modeling, analysis, and control
Learning to generate and differentiate 3D objects using geometry & language
Operating system data structures for shared memory MIMD machines with fetch-and-add
Extending the capabilities of smartphone sensors for applications in interaction and health
Dispersion Effects in a High Gain 3.39 Microns Helium - Neon Laser: Application to the Laser Heterodyne Measurement of Plasma Density
Applications of Machine Learning and Deep Learning in Macroeconomic and Financial Forecasting
Beyond the polynomial method: Kakeya sets over finite rings and high dimensional variants
Fast and scalable methods for the simulation of incompressible flow
Acquisition and Application of Contextual Role Knowledge for Coreference Resolution
Linear and Nonlinear Pricing for Network Games With Complete and Incomplete Information
Next Generation Password-Based Authentication Systems
Introspective Polyvariance for Control-Flow Analyses
Characteristic mode theory for closely spaced dipole arrays
Fast Algorithms for Discovering the Maximum Frequent Set
Development of advanced methodology for network -distributed simulation
Unresponsiveness -Tolerant Collective Communication
Data-Driven Learning of Invariants and Specifications
Dynamic Model Specialization for Efficient Inference, Training and Supervision
Eyes-Free Input on Mobile Devices
Dynamically programmable surfaces for high-speed optical modulation and detection
Constructing, Counting and Matching Combinatorial and Geometric Shapes
The Design Activity Framework: Investigating the Data Visualization Design Process
Recognition, Mining, Synthesis and Estimation (Rmse) for Large-Scale Visual Data Using Multilinear Models
Reconstructing 3D Geometries for Scientific Applications: An Image to Simulation Pipeline
Uniparallel Execution and its Uses
Case Studies in Secure Contracting and Communication in Transportation Systems
Integrated Switching Networks: A Performance Study
A distributed workload-aware approach to partitioning geospatial big data for cybergis analytics
Kernel and Moment Based Prediction and Planning : Applications to Robotics and Natural Language Processing
Markov-Airy method for electromagnetic fields in layered structures and microsphere-stabilized planar resonators
Compliant Epitaxy of Iii-V Compound Semiconductors for Optoelectronic Device Applications
Exploring the Effectiveness of Multiple-Exemplar Training for Visual Analysis of AB-Design Graphs
Techniques for Managing Irregular Control Flow on GPUS
Evaluating next generation HPC interconnection networks
Ultrasonic characterization of cell pellet biophantoms and tumors using quantitative ultrasound models
Building Personal Chronicle of Life Events
Quantum beat observations in rubidium vapor
Phase Plane Theory of Transistor Bistable Circuits
Effective Randomized Concurrency Testing with Partial Order Methods
Synthesis of reactive programs
Routing strategies for the reliable and efficient utilization of road networks
Conversational Modeling with Human Values, Social Relations, Mental States, and Structure Learning
Studies in secure computation: post-quantum, attribute-based and multi-party
Integrating Network Management for Cloud Computing Services
A Principled Approach to Trustworthy Machine Learning
Generating Natural Language with Semantic and Syntactic Generalization
The Communication of Law in the Digital Environment: Stability and Change Within the Concept of Precedent
Advances in privacy-preserving machine learning
Investigation of Modulation Methods to Synthesize High Performance Resonator-Based RF MEMS Components
Power system analysis criteria-based computational efficiency enhancement for power flow and transient stability
Sustainable IT and IT for Sustainability
Validation tools for complex digital designs
Toward the High Precision Predictive Coding in Video Compression
Languages for Path-Based Network Programming
The Development of High-Frequency Gallium Arsenide MESFET and Integrated Circuit Technology
Partitionable Services Framework: Seamless Access to Distributed Applications
An efficient and flexible design-retrieval mechanism for CAD/CAM databases
A media-aware congestion control mechanism for real-time streaming media over wide area networks
Property Testing and Probability Distributions: New Techniques, New Models, and New Goals
Resource Bounded Kolmogorov Complexity, A Link between Computational Complexity & Information Theory
Delay efficient control policies for wireless networks
Automatic Designs in Deep Neural Networks
Development of nanoplasmonic devices for biosensing applications
A Data-Centric Approach to Advancing Computer Science Education
Using the visual denotations of image captions for semantic inference
Understanding and Improving the Performance of Web Page Loads
Improving Machine Learning Models for Large Data and Image Detection
Utilizing Multi-modal Bio-sensing Toward Affective Computing in Real-world Scenarios
Studies in Exascale Computer Architecture: Interconnect, Resiliency, and Checkpointing
Generalizing the Structure of Explanations in Explanation-Based Learning
Learning Statistical Features of Scene Images
Multi-output structured learning
New Abstractions for Mobile Connectivity and Resource Management
Neural name tagging for low-resource languages
Efficient Rendering and Compression for Full-Parallex Computer-Generated Holographic Stereograms
Computational Modeling of Speech Production and Aphasia
Reading for democratic citizenship: A new model for readers' advisory
Compiler and runtime techniques for optimizing dynamic scripting languages
Aspects of the P-Norm Model of Information Retrieval: Syntactic Query Generation, Efficiency, And Theoretical
An Intelligent Memory for Data -Parallel Applications
Rethinking Information Privacy for the Web
A Scalable Association Rule Learning Algorithm for Large Datasets and Its Application to Microarray Datasets
Image modeling and restoration for scanning probe microscopy
Run-time support for parallel programs
Charles Evans: American Bibliographer
Safe Programming at the C Level of Abstraction
Scheduling support mechanisms for autonomous, heterogeneous, distributed systems
Resonant Spatial Light Modulation: Optical Programming and Sensing at the Fundamental Limit
Intelligent Earable Systems for Equitable Healthcare
Modeling Social Interactions from Multimodal Signals
Ray Tracing from a Data Movement Perspective
Scale Up Bayesian Network Learning
A scalable instruction queue design for exploiting parallelism
Complexity Analysis of Algorithms in Algebraic Computation
Multiple Object Motion Planning
Techniques for automatic test knowledge extraction from compiled circuits
Development and Evaluation of Intelligent Immersive Virtual Reality Games to Assist Physical Rehabilitation
Incremental Optimization
Exploring the Adoption of Privacy-Protective Behaviors
An energy-efficient architecture for wireless sensor networks
Piecewise Linear Approach for Timing Simulation of VLSI Circuits on Serial and Parallel Computers
Managing contextual and structural knowledge in an online document repository
Polymorphic Pipeline Array: A Flexible Multicore Accelerator for Mobile Multimedia Applications
Improving Reliability in Dialogue Systems
Instructor Influences Versus Text Influences in the Selection of Subject Descriptors by Undergraduate Students
Learning to Ground Natural Language Instructions to Plans
User-Centered Adaptive Information Retrieval
Testing and Analyzing Correctness in Concurrent Systems: From Microprocessors to IoT and Distributed Systems
Structured Neural Models and Structured Decoding for Natural Language Processing
Modeling Brittle Fracture Under Thermo-mechanical Loading with Discrete Volterra Dislocation Arrays
How Geotagged Social Media Can Inform Modern Travelers
Unifying Low-Rank Models for Visual Learning
The Identification of Linear Systems With an Assessment Computer
Top-k and Reverse Top-k Queries Over Spatio-Temporal Ranges
Study of Coulomb collisions and magneto-ionic propagation effects on incoherent scatter radar measurements at Jicamarca
Extracting Constructive Content From Classical Proofs
Towards Engineering Computer Vision Systems: From the Web to FPGAs
Agile Research Delivery
Confident Learning for Machines and Humans
Learning Collections of Functions
High-Order Moment Methods for Thermal Radiative Transfer
Building a scalable network measurement infrastructure: Theory and practice
Volume Completion for Complex Trimmed Models
On End-to-End Learning of Neural Goal-Oriented Dialog Systems
Design principles for replicated storage systems built on emerging storage technologies
Exploding Java objects for performance
An Application Framework for Active Space Applications
Normal forms in term rewriting systems
Theory of Guided Acoustic Waves in Piezoelectric Solids
Stateful Programming of High-Speed Network Hardware
On deep learning tools for scientific discovery in healthcare
Analysis of scheduling algorithms for a model of a multiprocessor computer system
A SNOBOL machine: functional architectural concepts of a string processor
Probabilistic Ising Architectures for Combinatorial Optimization, Machine Learning and Neuromorphic Computing
Human Thermal-Work Strain Performance Optimization from Wearable Physiological Sensors
Grounded-Knowledge-Enhanced Instruction Understanding for Multimodal Assistant Applications
Dissecting Neural Circuits for Vision in Nonhuman Primates using fMRI-Guided Electrophysiology and Optogenetics
Multi-UAV Coordination for Uncertainty Suppression of Natural Disasters
Secure and Safe Edge Computing for the Internet-of-Things
Data-Driven Fine Manipulation
Bioinformatics Software Systems for the Study of Circadian Rhythms
Creative Robotic Systems for Talent-Based Learning
Large Scale Analytics on Scientific Image Data
Multiscale Snakes: Resolution-Appropriate Shape Descriptions
Security Engineering of Hardware-Software Interfaces
Exploiting Application Characteristics for Efficient System Support of Data-Parallel Machine Learning
Trust, but verify: An investigation of methods of verification and dissemination of computational research artifacts for transparency and reproducibility
Sequentialized Language Models
Membership Inference Attacks on Deep Learning Models
Multi-versioned Data Storage and Iterative Processing in a Parallel Array Database Engine
Energy-saving cyber-physical systems in smart cities
Practical static analysis framework for inference of security-related program properties
Simplifying the Creation and Deployment of Collaborative Data Analysis and Visualization Tools
Efficient Ray Tracing Architectures
Enhancing Trustworthiness and Reliability of Wireless Sensor Networks while Reducing Energy Consumption
Computational problems in feature research
Robust Localization in 3D Prior Maps for Autonomous Driving
Phenomenologies of Egalitarianism in Free Improvisation: A Virtual Performer Meets its Critics
Situation -Aware Security for Wireless Ad Hoc Networks
Implementation & Optimization of Parallel Imaging and Compressed Sensing Techniques for Faster Acquisition of Multi-Channel Magnetic Resonance Spectroscopic Imaging for Brain Tumor Patients
Probabilistic latent variable models for knowledge discovery and optimization
Comparative metagenomics to identify functional signatures in the human microbiome
Density-Matrix Renormalization Group and Model Reduction Studies of Two-Dimensional Doped and Frustrated Systems
Convex Relaxations for Certain Inverse Problems on Graphs
Effective remote modeling in large-scale distributed simulation and visualization environments
Tabletop: An emergent, stochastic computer model of analogy-making
Typed Memory Management
Component Model Interoperability for Scientific Computing
Supervised learning with implicit preferences and constraints
Physical Design and Technology Optimizations for Advanced VLSI Manufacturing
Complex Query Operators on Modern Parallel Architectures
Submicron Scaling of Indium Phosphide/indium Gallium Arsenide Heterojunction Bipolar Transistors Toward Terahertz Bandwidths
Energy Saving in Data Centers Through Traffic and Application Scheduling
Environment Models for Realistic Simulation and Emulation of Wireless Networks
Motion planning for legged and humanoid robots
Model Acceleration for Efficient Deep Learning Computing
On-Policy Deep Reinforcement Learning - The Discounted and Average Reward Criteria
Deformation in Robotics: Applications in Tactile Sensing and Grasp Planning
The Intelligent Management of Crowd-Powered Machine Learning
A Novel Technique for the Analysis of Dielectric Waveguides
Automatic Recovery For Request Oriented Systems
Searching for people in camera networks
Stress Detection for Keystroke Dynamics
Minimum Distance Queries for Haptic Rendering
High-Resolution Nuclear Magnetic Resonance Microspectroscopy
Computer Simulation of Cortical Polymaps
Performance optimization of parallel processing computer systems
Weighted matching algorithms
Selective lateral nano-epitaxy for manufacturable nanowire electronics
Compiler and runtime support for concurrent programming
Automatic monitoring for interactive performance and power reduction
Structure Mediated Use of Local-Global Duality in Image and Video Processing
Toward Practical Planar Graph Algorithms
Segmentation and Surface-Based Modeling Objects in Three-Dimensional Biomedical Images
Characterizing User Mobility in Wireless Networks
Power Electronic Building Block Applications in Optimization, Control, and Simulation
Divergence Covering
Characterizing Audio Events for Video Soundtrack Analysis
Stretchable, multimodal, large-area sensor arrays fabricated using excimer laser photoablation technologies
High-performance computational modeling of tissue growth processes: insights on the interplay of cell population and mass transfer dynamics
Expressive and Scalable Event Stream Processing
Adaptive Tools for Performance Analysis of Large-scale Applications
Synchronization of fault-tolerant distributed real-time multicomputers
The LITSE Algorithm: Theory and Application
A Cost-Effective Cloud-Based System for Analyzing Big Real-Time Visual Data From Thousands of Network Cameras
Interactive visualization of large graphs and networks
FATE: A More Efficient and Flexible Approach to Data Interpretation Within Protocol Stacks
Performance Evaluation of Memory Systems for High-Speed Computers
Maintaining the utility of learned knowledge using model-based adaptive control
Security and Privacy Challenges in Content-Centric Networks
Knowledge augmented visual learning
Unlocking Insights in the Life Sciences Domain through Knowledge Graph Construction and Hypothesis Generation Using Machine Learning
Stochastic Models for the Analysis of Traffic Video
The location system: Using approximate location and size information for scene segmentation
Elastic Dynamic Binary Analysis and Applications
Efficient Parallel Algorithms for Closest Point Problems
Changeful Tales: Design-Driven Approaches Toward More Expressive Storygames
Runtime Speculative Software-Only Fault Tolerance
Worldwide Computing With Universal Actors: Linguistic Abstractions for Naming, Migration, and Coordination
Detecting DNA Using Silicon Nanopores and 20-40 Nm Gate-Length RFNMOSFET
Three Dimensional Pseudospectral Self-Consistent Field Approximation
An investigation of heterojunction bipolar transistors by molecular beam epitaxy
Numerical techniques to compute the cutoff frequencies, modal fields, and dispersion characteristics in microwave planar media
Acceleration of Deep Learning Algorithms with Transformers
Models for Evaluating the Performability of Degradable Computing Systems
Community-Based Approaches to Building Peer Support Systems for Work
Making Chatbots More Transparent and Applicable to New Demographics
Glassy Memory
The Squeeze Algorithm for Pla Minimization (Logic, Computer-Aided, Circuit Design)
Fault-tolerant Broadcasts and Multicasts: The Problem of Inconsistency and Contamination
C-MR: Continuous Execution of MapReduce Workflows for Stream Processing
Laser-assisted processing of multilayer films for inexpensive and flexible biomedical microsystems
Generalization and Adaptation of Deep Learning Models for Semantic Segmentation