yusuke1997/dblp-id-title huggingface dataset:
Interpolation-based methods for computational mechanics
Towards Photo-Realistic 3D Reconstruction from Casual Scanning
Distributed scientific software systems
Multivariate Regression of Shapes Via Deformation Momenta: Application to Quantifying Brain Atrophy in Aging and Dementia
Towards Scalable Community Networks
On geometric assembly planning
Slang - A Shader Compilation System for Extensible, Real-Time Shading
Refactoring Router Software to Minimize Disruption
An electrical microcytometer for portable blood analysis in global health applications
Improving Managed Network Services Using Cooperative Synthetic Data Augmentation
Interferometric Synthetic Aperture Microscopy
Self-healing Narrowband MEMS Filter Design for RF Receivers
Using parallel simulation for extreme-scale network systems co-design
Robust Control of Stochastic Nonlinear Systems
Cross-Layer System Design for Autonomous Driving
The Determination of The Direction of Arrival of an Interference Field
Function representation and approximation by neural networks
Knowledge transfer in vision tasks with incomplete data
Analysis of Dielectric Waveguides and Microstrip Lines Using Krylov Subspace-Based Techniques
Expanding the Boundaries of OS Kernel Fuzzing
Analysis of coulomb interaction using modified particle-particle-particle-mesh method in Monte Carlo simulation
Impact Of Network Protocols On Data Center Applications
Archival repositories for digital libraries
Piezoelectric Ribbons for Stretchable Energy Harvesting
Session Management for Accountability in Distributed Multimedia Services
Preconditioning For Matrix Computation
A flexible framework for Internet-based collaboration
Program transformation and code generation for developing, modeling, and optimizing GPU programs
Query Optimization for Relational Database Systems
Advancing Automated Software Testing Through Test Reuse
Designing, Implementing, and Evaluating Secure Web Browsers
Tolerance analysis in mechanical design
Brain-Computer Interface Control of an Anthropomorphic Robotic Arm
Optimization of Sampled-Data Control Systems
Universal outlier hypothesis testing with applications to anomaly detection
Multilevel caching in distributed file systems
Signal Processing for Joint Source -Channel Coding of Digital Images
Explorations of In-Context Reinforcement Learning
Inferring dynamic learner behavior for user modeling in continuously adapting hypermedia
A Switching Theory for Bilateral Nets of Threshold Elements
Sparsity, robustness, and diversification of Recommender Systems
Minimal Parallel Binary Adders With And/or Gates and a Scheme for a Compact Parallel Multiplier
Exploration for Continually Improving Robots
Record and deterministic replay of parallel programs on multiprocessors
Using extra-topical user preferences to improve web -based metasearch
Total Correctness Type Refinements for Communicating Processes
Knowledge and Inhibition in Asynchronous Distributed Systems
Measurement-Based Characterization of Parallel I/O Systems
Brain-computer Interfaces for Online Mental Stress Monitoring in the Real World
Democratizing Eye Tracking
Resource management for dynamic optical networks
The Tree Machine: A Highly Concurrent Computing Environment
Energy-Efficient Node Deployment in Wireless Sensor Networks
Design of robust ultra-low power platform for in-silicon machine learning
Performance Evaluation of Solutions to the TLB Consistency Problem
Formal specification and *verification of reconfigurable hybrid systems
Revealing White Matter Fiber Structure with Diffusion Imaging
Cryptography in the age of quantum computers
Auto-Tuning Methods for Scaling Resources in Networks and Cloud-Based Systems
A framework developing cross-platform pen-based classroom applications with an automated measure of vocal participation
Experiment Design for Hypotheses About How NLP Models Work
Mining Events from Aviation Safety Data
Static Analysis of Android Apps with Text Analysis and Bi-directional Propagation
Deliberating environmental policy: information seeking and use in Canada's House of Commons standing committees
Heuristic analysis of large trees as generated in the game of Go
Privacy and Integrity in the Untrusted Cloud
Breaking the ISA Barrier in Modern Computing
Proactive and reactive approaches for dynamic workloads
Enhancing Demonstration-Based Recognition Tools with Interactive Declarative Guidance for Authoring Touch Gestures
Security for mobile devices
Ride-Sharing Optimization Algorithms for Urban Commuting
A virtualization architecture for wireless network cards
Improving Eligibility Prescreening for Alzheimer's Disease and Related Dementias Clinical Trials with Natural Language Processing
Exploratory search through large video corpora
Friendsourcing to detect network manipulation
Feature Screening for the Lasso
On the Locomotion of Spherical Tensegrity Robots
Design, Analysis and Empirical Evaluation of Power Management in Multi-Hop Wireless Networks
Unknown Motion Calibration and Dynamic Imaging Reconstruction
Probabilistic Constrained Decision Making for Robots Exploring, Mapping, and Navigating Indoor Environments
Hiding secrets in public random functions
Analytical Query Execution Optimized for all Layers of Modern Hardware
Characterizing Distribution Rules for Cost Sharing Games
Geometric model-based estimation from projections
Integrating Similarity Based Retrieval and Query Refinement in Databases
Sensing Algorithms and Countermeasures for Physical Layer Security and Privacy
Learning Novel Strategies for Model Predictive Control by Leveraging Experience
Explicit Software Speculation for Dynamic Language Runtimes
Multisensor Signal Processing: Theory and Algorithms for Image -Based Rendering and Multichannel Sampling
Methods for Personalized Design of Data Sonification
Mechanisms for database intrusion detection and response
Semantics for Secure Software
Multi-Persona Mobile Computing
Attacking and Defending Emerging Computer Systems Using The Memory Remanence Effect
Large Scale Nearest Neighbor Search - Theories, Algorithms, and Applications
Performance Evaluation of Multiple Register Set Architectures and Cache Memories
Compositional Robot Learning for Generalizable Interactions
First Steps in Synthetic Tait Computability: The Objective Metatheory of Cubical Type Theory
Fast memory-saving hybrid algorithms for electromagnetic scattering and radiation
Efficient data reconfiguration for today's cloud systems
Quantum versus Classical Communication and Query Complexity
Beyond Model Efficiency: Data Optimizations for Machine Learning Systems
Scaling finite difference methods in large eddy simulation of jet engine noise to the petascale: numerical methods and their efficient and automated implementation
Mitigating the Effects of Intersymbol Interference: Algorithms and Analysis
​​Individual Curiosity Modulates Structured and Directed Exploration in Sequential Book Selection​
Identifying, Evaluating and Applying Importance Maps for Speech
Looking Into the Past: Identifying Genetic Mutations and Introgression Events that Shaped Human Adaptation
Direct-drive Hands: Making Robot Hands Transparent and Reactive to Contacts
Net Weighting Methods and Other Novel Approaches in Variation-Aware Placement and Sizing
Keywords at Work: Investigating Keyword Extraction in Social Media Applications
Computational methods for facilitating tradeoffs in team formation
Efficient join processing in spatial database systems
The Attuned Self Online: Designing for Connection
Modeling and Extraction of Interconnect Parameters in Very-Large-Scale Integrated Circuits
Compositional and Automated Verification of Distributed Systems
Site-based data curation: bridging data collection protocols and curatorial processes at scientifically significant sites
Polymorphic Type Inference for Languages with Overloading and Subtyping
Cognitive illusions and the lying machine : a blueprint for sophistic mendacity
A Model-Based 3-D Object Recognition System Using Geometric Hashing with Attributed Features
Generic: a Programming Language for Vlsi Layout and Layout Manipulation
High Power High Energy Ytterbium-doped Fiber Amplifier System
Theory and Implementation of an Efficient Tactic-Based Logical Framework
Towards an Empirical Understanding of Open Source Ideologies
Parallel algorithms with ultra-fast expected times
Coverage problems in wireless sensor and RFID systems
Computing Big-Data Applications Near Flash
Optimizing Road Network Resilience with Scalable Machine Learning Algorithms and Hyperlocal Data Fusion
Efficient Data Center Architectures Using Non-Volatile Memory and Reliability Techniques
An Advertiser Centered Approach to Improve Sponsored Search Effectiveness
Enabling Longitudinal Personalized Behavior Adaptation for Cognitively Assistive Robots
Diphone Speech Synthesis Based on a Pitch-Adaptive Short-Time Fourier Transform
Isolation, Resource Management and Sharing in the Kaffeos Java Runtime System
Randomness as a Computational Resource: Issues in Efficient Computation
Advancements in Tensor-Based Models for Multi-Relational Networks
Parallel computing methods for probing biomolecular kinetics and thermodynamics
Structure-Preserving Rearrangements: Algorithms for Structural Comparison and Protein Analysis
Reshaping Deep Neural Networks for Efficient Hardware Inference
Circular and parabolic visibility and their applications
Predicting learning success from patterns of pre-training magnetic resonance images
A computational analysis of human genetic variation
Learning to localize landmarks
Communication-Optimal Loop Nests
Classifying and detecting activity based patterns using relational context and probabalistic models in video
Low Overhead Secure Systems
Browsing in Data Bases
Progressive Automated Formal Verification of Memory Consistency in Parallel Processors
Model Order Reduction of Nonlinear Dynamical Systems
PDE-based methods for multiscale gas dynamics simulations
Probabilistic Methods in Computer Science and Combinatorics
Data-Driven Solutions to Bottlenecks in Natural Language Generation
Theoretical Studies of High Energy Transport of Electrons and Holes in Gallium-Arsenide, Indium-Phosphide, Indium-Arsenide, and Gallium-Antimonide (Semiconductors, Monte Carlo, Impact Ionization)
A journey to photo-realistic facial animation synthesis
Visual intelligence through human learning
Understanding Hierarchical Design
Learning to Design Protein and DNA Libraries
Simultaneous Integrated Functional Magnetic Resonance Imaging and Optical Tomography in the Near Infrared Spectrum (Sinfonis) for Studying Hemodynamic and Neuronal Responses in the Human Brain
Promoting Learning of Instructional Design via Overlay Design Tools
Knowledge-Aware Natural Language Understanding
Computational Linguistic Models for Understanding Attitude and Behavior
Learning in the rational speech acts model
Hygienic Macros for JavaScript
Power Distribution Network Analysis and Optimization in Digital VLSI Circuits
Automated learning of programmatic information from plans of existing buildings
Synthesis of recursive programs
Mixed-Variable Multi-Objective Bayesian Optimization, Design-by-Morphing and their Applications
Efficient query processing for modern data management
Learning Deep Models with Linguistically-Inspired Structure
Reference models for the concealment and observation of origin identity in store -and -forward networks
Anisotropy, Birefringence, and Dispersion in Artificial Dielectrics
Sequential Quadratic Programming Methods Based on Approximating a Projected Hessian Matrix (Updating Method, Quasi-Newton, Nonlinear Constraints)
Vertical -Cavity Surface -Emitting Lasers Operating in Photonic Crystal Waveguide Defect Modes
Exploring the genomic landscape of human disease
Stylized 2D Fabrication of Non-photorealistic Images
Wireless Sensors for Condition Monitoring Applications Operating in Complete Metallic Environment
Application Binary Interface Compatibility Through a Customizable Language
Building Distributed Systems with Informational Flow Control
THE ESTIMATION OF SOFTWARE SIZE AND EFFORT: AN APPROACH BASED ON THE EVOLUTION OF SOFTWARE METRICS (MEASUREMENT)
Analyzing Prosody with Legendre Polynomial Coefficients
Design and analysis of pattern null reconfigurable antennas
Play Design
From Finite to Infinite: Scalable Automatic Verification of Hardware Designs and Distributed Protocols
Laser-processed parchment paper for fabrication of chronic wound dressings with selective oxygenation
An adaptive three-dimensional Cartesian approach for the parallel computation of inviscid flow about static and dynamic configurations
Virtual Reality Simulations for the Advancement of Visual Prosthetics
Artificial neural network and precision genome engineering frameworks for genetic system engineering in mammalian cells
On the generation, dissipation, and transport of heat in GaN materials for advanced high-power devices
On-demand Isolated I/O for Security-sensitive Applications on Commodity Platforms
Modulation-Doped Field-Effect Transistors for High-Power Microwave Applications
Algorithms for VLSI routing
Cellular Topological Packings in Early Embryos
Everyday Conversation Speech Recognition with End-to-End Neural Networks
Control of Sensitive Data in Systems with Novel Functionality
Recursively Adaptive Randomized Multi-Tree Coding (RAR MTC) of Speech with VAD/CNG
Learning visual tasks with selective attention
On the user-scheduler relationship in high-performance computing
Information Hiding Codes and Their Applications to Images and Audio
Automated Behavioural Identification and Timing Verification of Pulse Gate Systems
Incorporation of feed-network and circuit modeling into the time-domain finite element analysis of antenna arrays and microwave circuits
Domain adaptive learning with disentangled features
Circuit-switched multicomputers and heuristic load placement
An Equational Logic and a Coordination Language for Distributed Objects
Visualization Authoring for Data-driven Storytelling
A network service acquisition mechanism for the client/service model
Making Fabrication Real: Fabrication for Real Usage, with Real Objects, by Real People
Generalized techniques for using system execution traces to support software performance analysis
Natural language parsing as statistical pattern recognition
Object recognition by geometric hashing
Geometries of word embeddings
Durability and crash recovery in distributed in-memory storage systems
Exploiting Trade-offs in Symbolic Execution for Identifying Security Bugs
Numerical implementation of the Schwarz alternating procedure for elliptic partial differential equations
Fast Randomized Algorithms for Convex Optimization and Statistical Estimation
Transnationality, Morality, and Politics of Computing Expertise
Reading and Reasoning with Knowledge Graphs
PoolView: Towards a people centric sensing world
The Semi-Explicit Assembly Solvation Approach and Selected Applications
A Behavior-based Approach Towards Statistics-Preserving Network Trace Anonymization
A Dynamically Refocusable Sampling Infrastructure for 802.11 Networks
Physically Plausible Human Pose and Control Estimation from Video
Differential Privacy for Non-standard Settings
Practical Knowledge Barriers in Professional Programming
Learning to Interpret and Generate Instructional Recipes
Memory balancing for large-scale network simulation in power-law networks
Safe and Trustworthy Decision Making through Reinforcement Learning
Cayley Graphs of Semigroups and Applications to Hashing
A Material Point Method for Elastoplasticity with Ductile Fracture and Frictional Contact
Simplification algorithms for large virtual worlds
Controlling inference
Conjunctive Conceptual Clustering: A Methodology and Experimentation (Learning)
Attribute-Based Encryption for Boolean Formulas
Data-driven Approaches for Paraphrasing across Language Variations
Enabling Wireless VR using Predictive Intelligence and Edge-Computing
Content Duplication Among Documents on Specific Subjects
Dynamic Modeling With Implicit Surfaces and Polygonal Meshes
Social Modeling in Computational Simulations: Racial and Ethnic Representation in Videogames and Virtual Reality Systems
Exploring machine learning techniques using patient interactions in online health forums to classify drug safety
Analogical constructivism : the emergence of reasoning through analogy and action schemas
Differentially private data publishing for data analysis
Constrained Manipulation Planning
A Metalanguage for Expressing Grammatical Restrictions in Nodal Spans Parsing of Natural-Language
Description of Shape using Orientation and Propagation Flow
Efficient Methods for Prediction and Control in Partially Observable Environments
Computational modeling and simulation of composite materials based on tomographic images
Optimal Multiloop Feedback Active RC Filters
Machine Reading Comprehension: Challenges and Approaches
Uncovering, Understanding, and Predicting Links
Understanding Innovations and Conventions and their Diffusion Process in Online Social Media
Correct Communication in Multi-core Processors
Optimizing Query Processing Under Skew
Vector C - A programming language for vector processing (compiler, cyber 205, language design)
Scalable functional validation of next generation SoCs
Computationally-Mediated Interactions with Traditional Textile Crafts
Visual Information Processing of Isolated Character Inputs
Modeling and Rendering Fabrics at Micron-Resolution
Efficient Index-based Methods for Processing Large Biological Databases
Lifelong Robotic Object Perception
Efficient Cloud Backup and Private Search
Scheduling protocols for media-on-demand systems
Enforcing cooperation and providing quality of service in wireless networks
The Importance of Thermal Expansion in the Simulation of Molecular Crystals
Simulation and Analysis of Behavioral Analog Systems
Trustworthy Wireless Personal Area Networks
Verification of Transactional Memories and Recursive Programs
Discovering and Leveraging Visual Structure for Large-Scale Recognation
On edge colouring, fractionally colouring and partitioning graphs
Write-efficient Algorithms
Circuit Complexity: New Techniques and Their Limitations
Scheduling Task With State-Dependent Deadlines
Exploiting Host Availability in Distributed Systems
Query optimization by semantic reasoning
The surprising power of little data
Entity Analysis with Weak Supervision: Typing, Linking, and Attribute Extraction
Learning based programming
Performance aspects of high-bandwidth multi-lateral cache organizations
One-Shot Interactions with Intelligent Assistants in Unfamiliar Smart Spaces
Multimodal Sensing and Data Processing for Speaker and Emotion Recognition using Deep Learning Models with Audio, Video and Biomedical Sensors
Spatial Computing in Context
Scalable Algorithms for Network Design
Towards Practical Physical Optics Rendering
Multi-dimensional mining of unstructured data with limited supervision
Resource Management for Distributed Memory Multicomputers
Improving locality and parallelism in nested loops
Mitigation of failures in high performance computing via runtime techniques
Machine Learning and Data Assimilation for Blending Incomplete Models and Noisy Data
Harnessing the Benefits of Indoor PLC Networks
Stability of a Class of Lumped-Distributed Systems
Microsimulation and Analytical Methods to Understand Urban Air Mobility
Performance study of a clustered shared memory multiprocessor
Next Generation Emergency Call System with Enhanced Indoor Positioning
Learning Visual Representations from Cross-Modal Correspondence
Visual analytics of location-based social networks for decision support
New Directions in Efficient Privacy-Preserving Machine Learning
Modeling and simulation of full-component integrated circuits in transient ESD events
Hardness of Maximum Constraint Satisfaction
Formal Verification of Device Drivers in Embedded Systems
Encoding and Decoding Graph Representations of Natural Language
Towards a general platform for effectively analyzing social media
Neural modeling of efficient coding in primate mt and mstd
Programming Languages for Scalable Software Extension and Composition
Faithfulness in Abstractive Summarization: Progress and Challenges
Automatic design of network security protocols
Computational Approaches to Big Data and Deep Time in Ecology, Hydrology, and Geomorphology
Crosslingual Sharing for Low-Resource Natural Language Processing
Aggressive centralized and distributed scheduling of disk requests
Improving GPU Efficiency With Fine-Grained Spatial Partitioning
Interactive Exploration of Volumetric Data Sets with a Combined Visual and Haptic Interface
Building Efficient Neuromorphic Networks in Hardware with Mixed Signal Techniques and Emerging Technologies
Bayesian IRT models with general and specific traits: parameter estimation and model comparisons
Graphical Models for Video Analysis
An Investigation of Turbulent Scatter From the Mesosphere as Observed by Coherent-Scatter Radar
Adapting to Context in Robot State Estimation
Discovering Regularity in Point Clouds of Urban Scenes
Learning Robust Tractable Models for Vision
Parallel query evaluation in deductive databases
Design of reliable and energy-efficient high-speed interface circuits
Efficient Utilization of Heterogeneous Compute and Memory Systems
Continuous queries over data streams
Network Designs Via Signaling Dynamics On Geometric Dynamic Graphs
Towards Accessible, Equitable, Generalizable and Useful Camera Health Sensing
Control of networked Lagrangian systems with delays
Cooperative caching in local-area and wide-area networks
Extraction of Event Structures from Text
Active learning: theory and applications
Advanced Fluid-Structure Interaction Techniques in Application to Horizontal and Vertical Axis Wind Turbines
Type matching and type inference for object-oriented systems
Foundations of Machine Learning: Over-parameterization and Feature Learning
Adaptive Distributed Caching for Scalable Machine Learning Services
Communication and Miscommunication (Language, Artificial Intelligence, Natural Understanding)
Adaptive Motion Planning
Reliable and Low -Power Signal Processing via Algorithmic Noise -Tolerance
Large-Scale Spatial Data Management on Modern Parallel and Distributed Platforms
Online Inference of Joint Occupancy using Forward Sensor Models and Trajectory Posteriors for Deliberate Robot Navigation
Minimization of Interprocessor Communication for Parallel Computations on an Simd Multicomputer
New Models for Data Privacy and Voting
Direct shape control of free-form curves and surfaces with generalized basis functions
Small signal analysis of power systems: Eigenvalue tracking method and eigenvalue estimation contingency screening for DSA
Design of a High-Speed Direct Electron Imager for High Vacuum
Data mining and graph theory focused solutions to Smart Grid challenges
Development and Application of Single Cell Multi-omics Methods for Complex Disease
Parallel Techniques (Application to Coding of Linear Function of Memory Variables)
Simultaneous Design of Communication Strategies and Control Policies in Stochastic Systems
Towards Operating Underactuated Robotic Systems by Going With the Flow
The collective: simplifying the mobility and management of today's computer environments
Architecting, programming, and evaluating an on-chip incoherent multi-processor memory hierarchy
The design of an efficient vector virtual machine for data analytics
Large-Scale Optical Hardware for Neural Network Inference Acceleration
Wide-area Software-defined Storage
Novel Circuits and Systems with Analog-Grade Memories
Cache Design and Performance in a Large-Scale Shared-Memory Multiprocessor System
Virtual Execution Environment for Robust Real -Time Systems
Radiomic and Genomic Approaches to Survival Stratification in Adult-type Diffuse Glioma
Deep Contrastive Explanation
Power Efficient Scheduling for Network Applications on Multicore Architecture
Next Generation Datacenter Architecture
Beyond Worst-Case Analysis of Optimization in the Era of Machine Learning
Dynamic Memory Allocation in a Virtual Memory Computer
What not to do when your data is lost ?
Computational and Analytical Tools for Resilient and Secure Power Grids
Physically-asynchronous logically-synchronous (PALS) system design and development
Grit, mindsets, and persistence of engineering students
Complexity of fixed point computations