yusuke1997/dblp-id-title huggingface dataset:
On the feasibility of a method for recognizing elements of a set of data keys
Binary Sequences for Spread-Spectrum Multiple-Access Communication
Analysis-Guided Improvements of the Material Point Method
Abstractions for Probabilistic Programming to Support Model Development
Deep Learning Algorithms for Predicting Histone Post-Translational Modificationsand Single Guide RNA CRISPR Efficiency
Thermal imaging and analysis of carbon nanotube composites
Parallelized Search on Graphs with Expensive-to-Compute Edges
Animal detection for photographic censusing
Optimal Linear Processing for Image and Video Coding
Algorithmic techniques for predictive testing of concurrent programs and distributed systems
Evaluation of communication structures in large-scale multicomputer networks
End-to-End Programming Tools for Mobile Manipulator Robots
Recent Developments in Robust Statistics
Prescriptive Safety-Checks through Automated Proofs for Control-Flow Integrity
Estimation for Uncertain Linear Systems With Jump Parameters
Modeling Dynamical Systems with Structured Predictive State Representations
Effective Learning of Descriptive and Generator Models and Learning Representations for Grid Cells and V1 Cells
Analytical models for the performance analysis of Banyan networks
Decentralized Authorization with Private Delegation
Dynamic control structures and their use in emulation
Interdisciplinary Studies of Complex Network and Machine Learning and Its Applications
Interaction Between Modules in Learning Systems for Vision Applications
Using conditional restricted Boltzmann machines to generate timbral music composition systems
Dynamics of interfering wave packets in rubidium by high resolution quantum beat spectroscopy
Towards Robust and Scalable Evaluation for Large Language Models
Design and Evaluation of Security and Privacy Nudges: From Protection Motivation Theory to Implementation Intentions
Scalable High Performance Memory Subsystem with Optical Interconnects
Implicit and parametric curves and surfaces for computer aided geometric design
Unsupervised Learning : Model-guided and Model-agnostic Approaches
Reversible Execution as a Diagnostic Tool
Unsupervised Learning of Object Descriptors and Compositions
A Supervised Learning Approach for Dynamic Sampling (SLADS)
Tree animation and modeling via analytic simulation and image-based reconstruction
Linux XIA: an interoperable meta network architecture
Characteristic Modes for Impedance Matching and Broadbanding of Electrically Small Antennas
Wireless Networks for Communication and Sensing
Leveraging multi-dimensional, multi-source knowledge for user preference modeling and event summarization in social media
Load balancing and parallelism for the internet
Automatic and stable multiview three-dimensional surface registration
Towards More Efficient and Data-Driven Domain Adaptation
Kind Theory
Vision for Social Robots: Human Perception and Pose Estimation
Towards Policy Driven Network and Service Management in Virtualized Networks
Machine Learning and Security in Adversarial Settings
Mitigating Network Service Disruptions in High-bandwidth, Intermittently Connected, and Peer-to-Peer Networks
Theoretical Studies of High Field, High Energy Transport in Gallium-Arsenide, Silicon and Heterostructures
Improving software insecurity with precise static and runtime analysis
Encoding Reusable Knowledge in State Representations
Equality saturation: using equational reasoning to optimize imperative functions
Pursuing Mid-level Perception from Casual Videos
Virtual string instruments
Declarative Languages and Systems for Transparency, Performance and Scalability in Database Analytics
Deep Learning-Based Cooperative Perception for Driving Automation
Neural Scene Representations for View Synthesis
Witness-Authenticated Key Exchange
Computational Imaging and Sensing in Diagnostics with Deep Learning
Compiling Stream Applications for Heterogeneous Architectures
Creating Decision Criteria From Examples: The CRiteria Learning System (Crls)
Incorporating external knowledge into food representation and recommendation
Algorithms vs. Mechanisms: Mechanism Design for Complex Environments
Customized Systems of Deep Neural Networks for Energy Efficiency
Integrated Visible-Light Platforms, Devices, and Systems for Augmented Reality and Beyond
Information and the Management of Treatment in Chronic Illness: A Qualitative Study of People Living With HIV -Disease
Electronic and Optical Properties of Materials for Energy-Related Applications
Fault-tolerant superconducting qubits
Region-based Register Allocation for EPIC Architectures
Function Follows Form: An Exploration of Robotic Embodiment through Geometry
Human Facial Illustrations: Creation and Evaluation
Managing Rules in Active Databases
Statistical Learning with Neural Networks Trained by Gradient Descent
A formal framework for optimizing and evaluating interactive retrieval system
A digital interface for wireless networks
Thesis title not recorded
Human-machine Collaboration in Real-World Machine-Learning Applications
Modeling the Dispersion and Gain of RF Wireless Channels inside Reverberent Enclosures
Crafting Stories Through Play
BAGS: The Brown Animation Generation System
Two dimensional concurrent program debugging
Portable and Performant GPU/Heterogeneous Asynchronous Many-Task Runtime System
Efficient and trusted operation of quantum computers and quantum simulators
Problems in Sensor Networks: Inference, *Localization, and Motion Estimation
Overcoming Real-world Deployment Challenges for AI-enabled Systems
Towards expressive and scalable visual data exploration
A Theory of Natural Learning
Understanding human behavior using interactions with online content
Real World Robot Learning: Learned Rewards, Offline Datasets and Skill Re-Use
Approximate Methods for Light Transport in Volumetric Materials
An Information-Theoretic and Game-Theoretic Study of Timing Channels
Supporting fine-grained database lineage tracking
Improving Chinese-English machine translation through better source-side linguistic processing
The Role of Collection in Determining Raindrop Size Distributions
Enabling Structured Navigation of Longform Spoken Dialog with Automatic Summarization
Mitigating Negative Transfer for Better Generalization and Efficiency in Transfer Learning
Plane-Wave Time-Domain Algorithms for Efficient Analysis of Three-Dimensional Transient Wave Phenomena
Design and Verification of Modular Components in Thermodynamic Binding Networks
Yarn-Based Cloth Simulation
Enabling efficiency in data center systems
Miniaturization of on-chip passive electronic devices by silicon nitride self-rolled-up membrane microtube nanotechnology
Interoperable and Secure Communication for Cyber Physical Systems in the Energy Grid
New Methods for Large-Scale Analyses of Social Identities and Stereotypes
Optimizing Optimization: Scalable Convex Programming with Proximal Operators
Optimization Techniques for Data Analytics
Graph algorithms for NMR resonance assignment and cross-link experiment planning
MyView: Customizable Automatic Visual Space Management for Multi-Stream Environment
The Locality-First Strategy for Developing Efficient Multicore Algorithm
Safe Control for Mobile Robots via Reference Governor Techniques
Structured representations as a lens for meaning: reflecting and emitting content with Abstract Meaning Representation
Extending Attribute Grammar and Type Inference Algorithms
Democratizing Content Distribution
Content Based Image Retrieval From Microscope Slides
Correction of Single and Multiple Bursts of Errors
Proof Repair
Parallel Algorithms for Image Processing
Towards A Verified Complex Protocol Stack in a Production Kernel: Methodology and Demonstration
A practical formal semantic definition and verification system for TYPED LISP
Design of multidimensional radiofrequency pulses in magnetic resonance imaging
Understanding Music Semantics and User Behavior with Probabilistic Latent Variable Models
Context and Interaction in the Internet of Things
Facilitating Independence for Photo Taking and Browsing by Blind Persons
Practical translators for LR(k) languages
Animating Autonomous Pedestrians
Supporting Learner-Controlled Problem Selection in Intelligent Tutoring Systems
Techniques for Interpretability and Transparency of Black-Box Models
The Role of Failure and Mastery Orientation in a Challenging Video Game
Efficient implementation of a high-level language on a bit-serial parallel matrix processor
Optimizing Machine Translation by Learning to Search
Example-Based Single-Image Super-Resolution
Named, Secured Data: A Fundamental Building Block for Secure Networking
Dimension Reduction for Short Text Similarity and its Applications
Message-driven parallel language runtime design and optimizations for multicore-based massively parallel machines
Energy Efficient Hardware Implementation of Neural Networks Using Emerging Non-Volatile Memory Devices
Visual saliency computation for image analysis
Data Hallucination, Falsification and Validation using Generative Models and Formal Methods
Symbolic clustering
Hardware Architectures for Lossless Compression
Randomization and heavy traffic theory : new approaches to the design and analysis of switch algorithms
Large-signal tools for power electronics: State space analysis and averaging theory
Exploiting Compositionality in Sequence Models
Improving Efficiency and Safety of Program Generation
Debugging and Profiling of Transactional Programs
Compiler-directed cache coherence strategies for large-scale shared-memory multiprocessor systems
Similarity Search with Multimodal Data
Data expertise and service development in geoscience data centers and academic libraries
Synthesis of Clock Trees with Useful Skew based on Sparse-Graph Algorithms
State Information-Based Solutions for Sequential Circuit Diagnosis and Testing
Efficient I/O for Computational Grid Applications
Interleaving planning and execution
Parallel Algorithms for Sequential Circuit Fault Simulation and Test Generation
Learning sparse representation for image signals
Towards Automatic Visual Recognition of Horse Pain
Safe Parallelism for Servers
Community-based Networks for Challenged Environments
Promises and Pitfalls of Generative AI: An AI-Safety Centric Approach
Touchscreen-Based Learning Technologies for Children with Visual Impairments
Non-Maximally Decimated Filter Bank and Its Applications in Wideband Signal Processing
Infrastructure Support for Accessing Network Services in Dynamic Network Environments
Minimum time kinematic trajectories for self-propelled rigid bodies in the unobstructed plane
Parallel Methods for the Solution of Large-Scale Radiation and Inverse Scattering Problems
Finite Element Methods for Implicit Solvent Models
An Investigation of Hf (high-Frequency) Auroral Backscatter Over a Bistatic Path
Breakup and Disruption of Drops in Shearing and Extensional Particulate Flows
Three Maxims for Developing Human-Centered AI for DecisionMaking
Addressing the Gender Gap in Middle School Math Education through Digital Learning Games
Compensation for Nonlinear Distortion in Noise for Robust Speech Recognition
Cache Coherence in Embedded-Ring Multiprocessors
Numerical Boundary Conditions for the Fourth -Order Accurate Finite -Difference Time -Domain Solution of Maxwell's Equations
Switching Dynamics of Thin Film Ferroelectric Devices- A Massively Parallel Phase Field Study
Machine-Learning Fairness in Data Markets: Challenges and Opportunities
Dynamic Beamforming Optimization for Anti - Jamming and Hardware Fault Recovery
Data Structures: Specification And Realization
Instability of Decision Tree Classification Algorithms
Parameter adaptive multimodal optimization and its application in smart lighting
Advancing Secure and Efficient Distributed Machine Learning for Edge Systems
Multi-view Representation Learning with Applications to Functional Neuroimaging Data
Performance Analysis of Direct-Sequence Spread-Spectrum Multiple-Access Communication via Fading Channels
Active object-oriented databases: Extensions and application to process automation and control
Probabilistic Techniques for Constraint Satisfaction Problems
Lossy Compression for Exascale Scientific Applications
The Polysemia of Recognition: Facial Recognition in Algorithmic Management
Estimation, Diagnosis, and Control in Discrete Event Systems in the Presence of Observability Constraints and Faults
Facilitating the debugging and understanding of interactive electronic devices
Identifying and Modeling Code-Switched Language
Toward Healthy and Successful Aging: Intelligent Home Care Environments for the Elderly
Pathways for quantum dot optoelectronics fabrication using soft nanoimprint lithography
Modeling Additive Structure and Detecting Interactions with Groves of Trees
The complexity of parallel algorithms
Optimization of Distributed-Lumped Active Networks
Design and Evaluation of Multi-Channel Multi-Hop Wireless Networks
Failure Diagnosis for Datacenter Applications
A model for the role of feedback in ocular dominance column development
Distributed Sensing and Computing in Wireless Networks
An Investigation of Resistance-Capacitance Networks
Error Tolerant Cryptography
Coupled-Cavity Surface-Emitting Lasers: Modulation Concepts, Performance and Applications
The Stabilization, Exploration, and Expression of Computer Game History
Design of a low-cost underwater acoustic modem for short- range sensor networks
Active Micro-/Nano-Structures for Electromechanical Actuation
Microcomputer Application In Aquatic Toxicity Testing (fish, Flow-monitoring, Diquat, Grand Probit Line)
Distributed Algorithm Design for Constrained Multi-robot Task Assignment
Enhancing Robustness through Domain Faithful Deep Learning Systems
A High-Performance Domain-Specific Language and Code Generator for General N-body Problems
A Material Point Method for Simulating Frictional Contact with Diverse Materials
Towards a Theory of Droplet-Mixing Graphs in Microfluidics
Inexact Reflective Newton Methods for Large-Scale Optimization Subject to Bound Constraints
The Two-Dimensional Inverse Scattering Problem
Developing and Utilizing a Smart, Instrumented Fidget To Better Understand Fidgeting and its Relationship with Cognitively Demanding Activities
Experimental analysis of replication in distributed systems
New Applications of Learning-Based Modeling in Nanoscale Integrated-Circuit Design
Computational Methods for Matrix/Tensor Factorization and Deep Learning Image Denoising
Motion tracking problems in Internet of Things (IoT) and wireless networking
Periodic Solutions of Chaotic Partial Differential Equations With Symmetries
Pole-Zero Sensitivity in Network Functions
Utilization of Spatial and Temporal Constraints in Pedestrian Tracking
Off-Nominal Rover Driving: Terrain Manipulation and Degraded Mobility Compensation
Integrated Micro-optic Imaging Systems
Stochastic Algorithms for Optimization: Devices, Circuits, and Architecture
Cooperative Power and Resource Management for Heterogeneous Mobile Architectures
Generative Modeling and Inference in Directed and Undirected Neural Networks
Hybrid Aesthetics: Bridging Material Practices and Digital Fabrication through Computational Crafting Proxies
Hashing, searching, sketching
Automating heterogeneous memory management
Rendering Transitions in a Geometric Level of Detail Framework
Data-driven insights from immunogenomics, metabolomics, and clinical mental health data
Analyzing the boundaries of balance theory in evaluating cause-related marketing compatibility
A Study of Overlap and Duplication Among Children's Collections in Public and Elementary School Libraries
Maximizing Insight from Modern Economic Analysis
Leveraging deepfakes to close the domain gap between real and synthetic images in facial capture pipelines
Query planning and optimization in information integration
Deep Learning Models On Hand Pose Estimation and Mesh Reconstruction From RGB Images
Emotion Based Music and Audio Understanding
Image-Based Modeling of Bridges and Its Applications to Evaluating Resiliency of Transportation Networks
Distributed Multi-agent Multi-armed Bandits
Using Apprenticeship and Product Based Learning to Improve Programming Outcomes in Introductory Computer Science Courses
Variable-Rate, Weakly- and Strongly-Universal Source Coding Subject to a Fidelity Constraint
Datacenter Design for Future Cloud Radio Access Network
Characterization of measurements in quantum communications
Towards a Systematic Analysis of IoT Malware
System Security in 5G/4G/xG Mobile Networks: New Attacks and Countermeasures
A computer music instrumentarium
Computational models of binocular vision
Search procedures based on measures of relatedness between documents
Transient Error Recovery Techniques for Pipelines and Memory Systems
Structural subtyping in a distributed object system
Multimodal Representation Learning for Medical Image Analysis
Heterogeneous and Mobile Recovery
Remote reprogramming of wireless sensor networks
Integral Manifold in System Design With Application to Flexible Link Robot Control
Machine Learning to Scale Fault Detection in Smart Energy Generation and Building Systems
Resource and thermal management in 3D-stacked multi-/many-core systems
Multi-Class Classification in Natural Language Processing
Algorithms to Schedule Tasks With And/or Precedence Constraints
Ensuring reasoning consistency in hierarchical architectures
Integrated computational and experimental analysis of host-virus interaction systems
Improving choice by automatically restructuring decision environments
Building Intelligent IoT Agents Using Personality-Based Service Models
Building Behavioral Experimentation Engines
Gradient Descent Optimization on Heterogeneous Architectures
Computational Time and Space Tradeoffs in Geo Knowledge Graphs
Architectures for transactional memory
Algorithms and Algorithmic Barriers in High-Dimensional Statistics and Random Combinatorial Structures
Using constraints for user interface construction
Development and Analysis of a Global Compaction Technique of Microprograms
Flexible and efficient resource management in a virtual cluster environment
Toward Annotation Efficiency in Biased Learning Settings for Natural Language Processing
Surface approximations in geometric modeling
Simulation and Efficiency: Interaction Design Analysis of Virtual Reality Games
Optimizing Data Movement and Achieving Performance Portability with Fine-Grained Data Blocking
Building Query Optimizers with Combinators
Designing languages for parallel portability of physical simulations, using relational algebraic abstractions
Software and Hardware Techniques for Masking Security Vulnerabilities
Serial Dependence Study in Medical Image Perception via Generative Models
Design, Fabrication, and Characterization of Monolithically Integrated Acoustic and Photonic Devices on Lithium Niobate Over Insulator (LNOI) Platform
Anomaly detection in competitive multiplayer games
Large-Scale Optimization and Deep Learning Techniques for Data-Driven Signal Processing
Scaling Issues and Solutions in Ultra Scaled MOSFETs using Predictive Modeling
Combining crowd worker, algorithm, and expert efforts to find boundaries of objects in images
Improving the Design and Use of Correlation Filters in Visual Tracking
Codes for High-Speed Arithmetic and Burst Correction
Integral Manifolds of Slow Adaptation (Adaptive Control, Method of Averaging)
Humans and Vulnerability During Times of Change: Computer Security Needs, Practices, Challenges, and Opportunities
Visualizing route maps
Language-Based Learning: Cognitive and Computational Perspective
Process Algebras and Meta-algebras: Theory and Practice
Human-level natural language understanding : false progress and real challenges
Rules of Engagement Enabling Leukocyte Rolling and Adhesion: An In Silico Model Study
The Role of Naming in Information-Centric Networks
Design of Optimal Systems With Low Sensitivity to Small Time Delays
Beyond the looking glass: the haptic exploration of virtual environments
Computation in population protocols: exact majority, uniform computation, and the dynamic model
Gyve, a Programming Language for Protection and Control in a Concurrent Processing Environment
Hybrid Designs for Caches and Cores
A probabilistic network-based mechanism for multimedia database searching and data warehousing
Modeling audio and visual cues for real-world event detection
Flexible Enterprise Network Management on Commodity Switches
Innovative Approaches to Hardware Acceleration Through Performance Analysis and Program Design
Towards Safe, Human-Centered Autonomous Driving: Real-World Artificial Intelligence for Enhanced Situation Awareness and Transition Control
Algorithmic Methods in Genetic Mapping
Towards the First Practical Applications of Quantum Computers
Personal information organization and re-access in computer folders: an empirical study of information workers
Techniques for Parallel Computer Design
Optimizing Data Movement Through Software Control of General-Purpose Hardware Caches
Analysis and Simulation Methods for Artificial Selection Experiments in the Investigation of the Genetic Basis of Complex Traits
Artificial Intelligence-Aided Synthesis and Characterization of 2D Materials
Stochastic Models of Surface Limited Electronic and Heat Transport in Metal and Semiconductor Contacts, Wires, and Sheets - Micro to Nano
Spin-orbit interaction and electron spin qubits in silicon quantum dots
Optimizing diffusion and pricing in networks of independent agents
III-V waveguides and couplers for integrated optics
A Fast, Parallel, and Multi-Language Hardware Compilation Framework
Object-Oriented Hierarchies Across Protection Boundaries
Actors: a Model of Concurrent Computation in Distributed Systems (Parallel Processing, Semantics, Open, Programming Languages, Artificial Intelligence)
Support Vector Machine Learning for Interdependent and Structured Output Spaces
Strategic Behavior Prediction
Probabilistic Scene Grammars: A General-Purpose Framework For Scene Understanding
A framework for the dynamic reconfiguration of scientific applications in grid environments
Routing topology recovery for wireless sensor networks
Remix and reuse of source code in software production
Faster Algorithms and Graph Structure via Gaussian Elimination
Domain decomposition, irregular applications, and parallel computers
Supporting Complex Tasks in Visual Sensor Networks
A Security Architecture for Fault-Tolerant Systems
Implementation, Integration, and Application of Embedded Domain-Specific Languages
Self-rolled-up microtube technology for cellular outgrowth guidance and monitoring
Some results on Kolmogorov-Loveland randomness
Paving the Path for Heterogeneous Memory Adoption in Production Systems
Tolerating slowdowns in replicated state machines
Scalable Redundant Proxy Execution for Low-Latency Web Over Cellular Networks
Adaptive Intelligent Radio Spectrum Sharing for Wireless Networks
Detecting Mimicry Attacks in Windows Malware
Data in the cloud: Authentication without leaking
Transient analysis of lossy multiconductor transmission lines in nonlinear circuits
A Sampling-Based Framework for Parallel Mining Frequent Patterns
Optimization, Control and Operation Strategies for Distributed Energy Systems
Pattie: An Automated Tutor for Top-Down Programming
Description is a drag (and vice versa): classifying trans identities
Software tools to facilitate research programming
Automating Stochastic Optimal Control
Dimensional Asymptotics for Norms of Maximal Averaging Operators on Cartesian Powers of Finite Graphs
Concurrency control in distributed ring computer systems
Applications of AI in Non-Stationary Markets
Leveraging Structure and Context for Language-Adjacent Representation Learning
Using dynamic programming for solving variational problems in vision: Applications involving deformable models for contours and surfaces
Assessment and Methods for Supply-Following Loads in Modern Electricity Grids with Deep Renewables Penetration
Task-specific and interpretable feature learning
Modernizing Models and Management of the Memory Hierarchy for Non-Volatile Memory
Architecture and System Support for Safety-aware Autonomous Vehicle Design
A Spiking Neuron Model of Classical Conditioning Phenomena
Computational Models of Function and Evolution of cis-Regulatory Sequences