yusuke1997/dblp-id-title huggingface dataset:
Exploiting symmetry in linear and non-linear 0-1 problems
Segmentation and tracking algorithms for monitoring cellular motion and function
On the Representation of Digital Faults
On a generalization of Herbrand's theorem
Exploiting Cross Layer Opportunities for Secrecy and Efficiency in Wireless Networks
Two-view Geometry, Symmetry, and Object Perception
From Compute to Data: Across-the-Stack System Design for Intelligent Applications
Analysis and optimization of digital circuit dynamic behavior
High-Precision Information Retrieval
Low-Level Type Systems for Modularity and Object-Oriented Constructs
An object-oriented real-time database system for multiprocessors
Platforms for In Vitro Electrophysiology Experiments on the Internet of Things
Experiment Planning for Protein Structure Elucidation and Site-Directed Protein Recombination
Topics in Totally Self-Checking Circuits and Testable Cmos Circuits
Area-Universal Interconnection Networks for VLSI Parallel Computers
Gaze, steering, and active vision during skilled quadcopter flight
An Architecture for General Purpose Physical System Simulation-Integrating Geometry, Dynamics, and Control
Shared Cache Organization for Multiple-Stream Computer Systems
Towards general-purpose image registration
From Structured Document To Structured Knowledge
Biomechanical Energy Conversion
Exploring Visual Structures in Deep Representation Learning
Robust Rearrangement Planning Using Nonprehensile Interaction
Modeling phones, keywords, topics and intents in spoken languages
Real-time human pose tracking from range data
The Approximability of Learning and Constraint Satisfaction Problems
Generalized statistical methods for mixed exponential families
Designing, implementing, and evaluating intuitive & interactive lighting simulation tools
Shaping light-matter interactions for free-electron radiation and photonic computing
Naming and Addressing in Interconnected Computer Networks (Protocol)
Residual information on sanitized magnetic media: information recovery from degaussed magnetic media
Graphical Specification of Computation
Computation of Four Color Irreducibility
Methods for Parameter Estimation with Devices in Microgrids
Integrated Approach to Dynamic and Distributed Cloud Data Center Management
Machine Learning for MEMS Structure Design and Pulse Signal Analysis
Effective and Efficient Memory for Generally Intelligent Agents
Input Transformations and Resolution Implementation Techniques for Theorem Proving in First-Order Logic (Clause Form, Discrimination Networks, Heuristic Search, Locking Resolution)
Operating system level resource management for real-time systems
Distributed Friend-to-Friend Framework and Services Using Social Networks
Authoring and Experiencing Virtual 3D Environments
Compiler Optimization of Data Storage
Secure Context-sensitive Authorization
Checksums and the internet
A Framework for Discovering Implicit Knowledge from Event Logs
Collaborative Concept Drift Detection for Formerly Independent Models and Features
Formalizing elaboration tolerance
Runtime Optimizations for Evaluating Batches of Graph Queries
Probabilistic Approaches for Deep Learning: Representation Learning and Uncertainty Estimation
Designing better induction motor drive systems from efficiency, reliability, and power electronics perspectives
Diffusion of innovations: factors predicting the use of e-learning at institutions of higher education in Germany
Shape Models of the Human Body for Distributed Inference
Lyapunov Exponents from Random Fibonacci Sequences to the Lorenz Equations
Decentralized phase regulation of cyclic robotic systems
AQuA: A Framework for Providing Adaptive Fault Tolerance to Distributed Applications
Asymptotic analysis for multi-user channels
Controlling the cost and increasing the utility of network measurement infrastructures
On the Automated Layout of Multi-Layer Planar Wiring and a Related Graph Coloring Problem
Consistency-based System Security Techniques
Joint source-channel coding of multiple substream progressive sources over rayleigh fading channels
Macroscopic Data Structure Analysis and Optimization
Efficient Belief Propagation for Perception and Manipulation in Clutter
QR Factorization Algorithms for Coarse-Grained Distributed Systems
A hypothesis-based approach to digital forensic investigations
Securing Personal IoT Platforms through Systematic Analysis and Design
Scalable Structure Learning, Inference, and Analysis with Probabilistic Programs
New marked point process models for microscopy images
Unsupervised Learning of the 4D Audio-Visual World from Sparse Unconstrained Real-World Samples
Learning Visual-based Head-based Pointing
Path planning and slope representation on compressed terrain
Efficient and Explainable Machine Learning
MLP: string-functional semantics and Boyer-Moore mechanization for the formal verification of synchronous circuits
Building Trustworthy Machine Learning Models
Using Case-Based Reasoning to Improve the Quality of Feedback Provided by Automated Assessment Systems for Programming Exercises
Combinatorial algorithms for optimization problems
Enhanced Security Models for Network Protocols
A channel model for multicast
Scanning Spaces: Paradigms for Spatial Sonification and Synthesis
Transforming Disfluency Detection: Integrating Large Language and Acoustic Models
LEARNING STRUCTURED INFORMATION FROM LANGUAGE
Towards Efficient Deep Learning for Human-Centric Visual Understanding and Generation
Distributed approximation algorithms for minimum spanning trees and other related problems with applications to wireless ad hoc networks
Hardware-Software Co-design for Reliable and Efficient Heterogeneous Systems
Detection and Analysis of Online Extremist Communities
Learning more with less data using domain-guided machine learning: the case for health data analytics
Computational Paideia through the New Media Arts: Toward the embodiment of value, meaning, and holistic thinking in information
Optimizing Interdomain Routing for Today's and Tomorrow's Services
Graph Planning for Environmental Coverage
Precueing Manual Tasks in Augmented and Virtual Reality
Quorum-based recovery in replicated database systems
Genomic analyses of transcription elongation factors and intragenic transcription
Improving Information Extraction from Clinical Notes with Multiple Domain Models and Clustering-Based Instance Selection
Inhibitory circuits of the cortex : control of rhythmic and stimulus evoked activity
A Convex Programming Approach to Problems in VLSI Design
Bayesian Aggregation of Evidence for Detection and Characterization of Patterns in Multiple Noisy Observations
Parallel implementations of probabilistic latent semantic analysis on graphic processing units
Optimal instruction scheduling and register allocation for multiple-issue processors
Feedback convolutional neural network in applications of computer vision
A Symmetric Factorization Procedure for the Solution of Elliptic Boundaryvalue Problems
Enhanced Representations for Relations by Multi-task Learning
Indium-Gallium Phosphide-Arsenide - Gallium Arsenide-Phosphide Single Heterojunction Lasers
Terrier: an embedded operating system using advanced types for safety
Data communication and replication strategies for large scale distributed databases
Automatic Generation of Fast Matrix Multiplication Algorithms
Improving parallelism of scientific and engineering applications on heterogeneous supercomputers
Selecting Approximately-optimal Actions in Complex Structured Domains
Probabilistic multiprocessor and multicomputer diagnosis
Enabling rich applications and reliable data collection in embedded wireless networks with low-footprint devices
Improving Web Search for Difficult Queries
Model-Based Self-Supervision for Fine-Grained Image Understanding
Efficient Accelerator-Rich Computers for Future Applications
Axiomatic Verification to Enhance Software Reliability
Efficient Computational Model for Energy Propagation in Geoemtrically Represented Large Envirnoments
Computation of Statistics for Populations of Diffusion Tensor Images
Toward improving the diagnosis of glioma
Natural language relations: Classification and application
Two Problems in Graph Theory
Using internal sensors for computer intrusion detection
Design, Implementation and Analysis of Functional Activity and Connectivity in Patterned Neural Networks
Analysis-Aware Design of Embedded Systems Software
Disentangled Visual Generative Models
Optimal circuit segmentation for pseudo-exhaustive testing
Improving ultrasound display by retrieving high-frequency sonographic information
Learning and evaluating image representations
Automated Quantification of Arbitrary Arm-Segment Structure in Spiral Galaxies
Monitoring system behavior in a complex computational environment
Some Conditions for Stability of Networks
Modeling and Analysis of the Collective Dynamics of Large-Scale Multi-Agent Systems
Deep Generative Models of Images and Video
Internet Subscription Plans: Thresholding, Throttling, and Zero-Rating
Deep and shallow types
Triggers and Ranked Keyword Searches over Virtual XML Views
General, Flexible and Unified Near-Data Computing
Improving Energy Efficiency in CNC Machining
BCIs for Everyone, Everyday: Generalized Machine Learning Models for Decoding of Human Brain Data
On the Design and Analysis of Autonomous Real-Time Systems
Compositional visual intelligence
Accurate Prediction Methods on Biomolecular Data
An architecture for inter-domain network troubleshooting
On the satisfiability problem for unquantified classes of formulae involving set-theoretical and topological constructs
Social mirrors: visualization as conversation feedback
Ambiguity in Privacy Policies and Perceived Privacy Risk
Optimizing the Unknown: Reinforcement Learning and Energy-Based Model for Black Box Bayesian Optimization
Automated Diagnosis of Chronic Performance Problems in Production Systems
Resource-efficient execution of deep learning computations
Interactive Exploration and Visual Analytics for Large Spatiotemporal Data Using Approximate Query Processing
Human-AI Collaboration to Support Mental Health and Well-Being
High-resolution full-vocal-tract dynamic speech magnetic resonance imaging
Utilizing Beamforming Antennas for Wireless Multihop Networks
Compartmentalizing State Machine Replication
Ubiquitous interactive displays: magical experiences beyond the screen
Efficiency of Mechanisms in Complex Markets
Essays on managing distributed software development
Multi-Stream Management for Supporting Multi-Party Three-Dimensional Tele-Immersive Environments
Information preservation in networks of autonomous archives
The fundamental limits of statistical data privacy
On Iterative Decoding of Bch Codes and Decoding Beyond the Bch Bound
Visual scene perception in the human brain: connections to memory, categorization, and social cognition
Pseudospectra of matrices and Point spectra of infinite graphs
Quantum Monte Carlo Simulation of Electron-Phonon Models and Computational Studies of Quantum Spin Systems
Decidable Pairing Functions
Visual programming using graphics, relations, and classes
Neurorobotic Models of Spatial Navigation and Their Applications
Statistical Source Channel Models for Natural Language Understanding
Coupled Multiscale Modeling of Aortic Valve Tissue
Invertibility and observability of switched systems with inputs and outputs
A study of language directed computer design
Pseudo-LiDAR: Camera-based 3D object detection for autonomous driving
Blind Wireless Beamforming to Power, Heat, and Move
Combinatorial neural network training algorithm for neuromorphic computing
The sum of its parts : a three part framework for developing models of individual performance in the context of a team
Hardware Mechanisms for Efficient Memory System Security
Privacy Preserving Information Sharing in Modern and Emerging Platforms
Unitary Space-Time Waveform Scheduling for High-Resolution Delay-Doppler MIMO Radar Sensing
Towards Adversarial Robustness of Sequential Decision Making Algorithms
Scheduling Periodic-Time - Critical Jobs on Single Processor and Multiprocessor Computing Systems
Connections Between Complexity Lower Bounds and Meta-Computational Upper Bounds
End-user programming of virtual assistant skills and graphical user interfaces
Parallel techniques for paths, visibility, and related problems
Locality of Distributed Graph Problems
Symbolic Compilation Techniques for Array Computations
Scale-Adaptive Video Understanding
On Embedding Database Management System Logic in Operating Systems via Restricted Programming Environments
Geometry-Inspired Sampling Algorithms and Random Graphs
Reducing Costs of Byzantine Fault Tolerant Distributed Applications
Developing FPGAs as an acceleration platform for data-intensive applications
Light Fields and Synthetic Aperture Photography for Robotic Perception
Resource allocation for free running and resource limited program graphs
Enhancing Natural Products Structural Dereplication and Elucidation with Deep Learning Based Nuclear Magnetic Resonance Techniques
Design of Digital Systems Using Self-Checking Alternating Logic
Architecting Persistent Memory Systems
An Interaction Framework for Managing Applications and Input in Multiple Display Environments
Testing and Learning in High-Dimensions: Monotonicity Testing, Directed Isoperimetry, and Convex Sets
Fixed points and extensionality in typed functional programming languages
Micro- and nano-cavity lasers for sensing applications
Instruction Set Design for Support of High-Level Languages
Smart tutoring through conversational interfaces
Acoustic measurements for speaker recognition
Describing and retrieving visual content using natural language
A New and Unsettling Force: Information Technology, Popular Education and the Movement to End Poverty
A theory of justified reformulations
Colftar: A Real-Time Electro-Optical System for Two-Dimensional Fourier Transforms
Machine Learning for the prediction of 29Si Shielding Tensors with Applications in NMR Crystallography
Regions of Inaccurate Modeling for Robot Anomaly Detection and Model Correction
Surfaces with occlusions from layered stereo
Representations from vision and language
Data-Driven Approaches and Systems to Interrogate Complex Disease
Mispronunciation Detection for Language Learning and Speech Recognition Adaptation
Applications on multi-dimensional sphere packings: derivative-free optimization
Visual Representation Learning from Synthetic Data
Algorithm Design Using Spectral Graph Theory
Exploiting Instruction Level Parallelism in the Presence of Conditional Branches
Development of high speed vertical cavity surface-emitting semiconductor diode laser and transistor laser
Visual Clutter Study for Pedestrian Using Large Scale Naturalistic Driving Data
Generalizable Learning for Natural Language Instruction Following on Physical Robots
The Application of The Plasma Display Technique to Computer Memory Systems
A word nexus for systematic interoperation of semantically heterogeneous data sources
Language Supervision for Computer Vision
A Re-Evaluation of Adult-Size Bipedal Humanoids with Non-Backdrivable Actuators for Legged Locomotion
Impression formation in online peer production
Self-Localization and Interpersonal Proximity Detection for Public Transit Accessibility and Safety
Unsupervised Text Generation and its Application to News Interfaces
Model Selection for Contextual Bandits and Reinforcement Learning
The Absorption of Ultrasound in Aqueous Solutions of Bovine Serum Albuminand Polyethylene Glycol
Enabling Non-Volatile Memory for Data-intensive Applications
Agile Legged Robots through Reinforcement Learning and Optimal Control
Application-Aware Resource Scheduling
Discrete Stochastic Modeling of Ion Channels
COAST Services: Achieving Service Customization and Policy-Based Differential Access in Personal Information Systems
A Generic Mesh Data Structure With Parallel Applications
Generative Modeling with Introspective Networks, Amodally-informed Vision Algorithms, and Regression-based Instance Segmentation
Unsupervised feature analysis for high dimensional big data
Improving Software Reliability for Event-Driven Mobile Systems
Unified Multilevel Adaptive Finite Element Methods for Elliptic Problems
Multiscale Modeling and Deep Learning for Complex Microbial Colonies
Modern Machine Learning in Time Series Forecasting
Network Science of Teams: Dynamics, Algorithms, and Implications
On the occurrences of motifs in recursive trees, with applications to random structures
Null-Space Methods for Numerical Solutions of Differential Equations
The use of abstraction in coordinating artificially intelligent agents
Designing boundary interactions for simple mobile robots
Inverse Engineering: A Machine Learning Approach to Support Engineering Synthesis
High-speed Type-II GaAsSb/InP DHBTs for mixed-signal IC applications
Machine Learning Applications for Drug Repurposing
Analysis of Spatio-Temporally Varying Features in Optical Coherence Tomographic (OCT) and Ultrasound (US) Image Sequences
Differentiable Implicit Soft-Body Physics for Machine Learning
Social Impressions of Faces: Computational Modeling and Cultural Comparisons
The Formation of Cell Assemblies: a Neural Network Simulation
Distributed Adaptive Energy Management Solutions for IoT Networks
Leveraging distributional context for safe and interactive data science at scale
Graphlet based network analysis
Task-Adaptive Scientific Error-Bounded Lossy Compression
The decision to grant credit
A Parallel Execution Model for Logic Programming
Coding Strategies for Combating Interference on Point-to-Point and Multiple Access Channels
Secure and robust communication in wireless mesh networks
Resource-Constrained Learning and Inference for Visual Perception
Computational Methods in Slender Structures and Soft Robots
Characterizing and Leveraging Social Phenomena in Online Networks
A systematic computational study of cavity and waveguide quantum electrodynamics
Compositional analysis of networked cyber-physical systems: safety and privacy
Approximation algorithms for submodular optimization and graph problems
VLSI Architectures for Iterative Channel Decoders
Pushing the Limits of Additive Fabrication Technologies
Scholarly Use of Internet-Based Electronic Resources
Overcoming uncertainty for within-network relational machine learning
Data-Centric Methods for Decentralizing Large Language Models
Security and economic implications of localizing traffic in overlay networks
Hiding the latency of paging and input/output operations on massively parallel systems
Pebble Games and Complexity
Scalable and Broad Hardware Acceleration through Practical Speculative Parallelism
Axe, an automated formal equivalence checking tool for programs
Disaggregated Data Structures: Sharing and contention with RDMA and Programmable Networks
Modeling for the Plausible Emulation of Large Worlds
Bounds and Applications of Concentration of Measure in Fair Machine Learning and Data Science
Monadic and Substructural Type Systems For Region-Based Memory Management
The Application of Mathematical Logic to Network Theory
Weak Calibration and Image-Based Rendering Algorithms
Database schema translation and optimization
Detection and prevention of intrusions in power system cyber-physical infrastructure
Distributed analyses of disease risk and association across networks of de-identified medical systems
Expression Continuity and the Formal Differentiation of Algorithms
Characterizing and Resolving Degeneracies in Neural Autoregressive Text Generation
Direct Numerical Simulations of Multiphase, Stratified, Environmental Fluid Flows
Secure Communication Infrastructures for Cloud and IoT
Flexible-Cost SLAM
A Microgrid Architecture With Multiple-Input DC/DC Converters: Applications, Reliability, System Operation, and Control
Domain Adaptation in Natural Language Processing
Neural mechanisms for control in complex cognition
Interfaces for efficient software composition on modern hardware
Learning with Structured Priors for Robust Robot Manipulation
Spatiotemporal Gene Networks from ISH Images
Interactive character animation using dynamic elastic simulation
Graph-based Trajectory Planning through Programming by Demonstration
Investigating test anxiety and the effects of supportive messages
Wireless Communications in the Energy -Limited Regime
Building User-Driven Egde Devices
Passive Rational Fitting of a Passive Network Transfer Function From Its Real Part
Noncoherent Communication Over Fading Channels
Perceptual cues of consonant sounds and impact of sensorineural hearing loss on speech perception
Compiler support for multiple-instruction-issue architectures
Energy and Network Aware Mobile Augmented Reality
Planar GaAs nanowire arrays for nanoelectronics: controlled growth, doping, characterization, and devices
Learning Better Clinical Risk Models
A hybrid approach of physical laws and data-driven modeling for estimation: the example of queuing networks
Internal Modulation Studies in Gas Lasers
"Tutteli to Japan": A case study of spontaneous collaboration in disaster response
Translation Validation of Loop Optimizations
Algorithms to Estimate Shapley Value Feature Attributions
Channel Fading in Mobile Broadband Systems: Challenges and Opportunities
Auditing Outsourced Services
A Measure of Dimensional Complexity for Multidimensional Systems
Decompilation and the transfer of mini-computer operating systems
Specification mining and automated testing of mobile applications
UniAuth: Building a Human-Centered Identity Management System
Analyzing and improving local search : k-means and ICP
Enabling Automated, Conversational Health Coaching with Human-Centered Artificial Intelligence
Increasing Reliability of Legged Robots in the Presence of Uncertainty
Linguistically Informed Language Generation: A Multi-faceted Approach
The Forge-and-Lose Technique and Other Contributions to Secure Two-Party Computation with Commitments
Support spatial awareness: Collaborative navigation in a virtual environment
Improving User Involvement Through Live Collaborative Creation
Accelerating Artificial Intelligence with Programmable Silicon Photonics
Parallel Delaunay Refinement and Space -Time Meshing
Deep learning applications in wildlife recognition
Scalable Systems for Large Scale Dynamic Connected Data Processing
Effector-Based Goal and Operator Construction: A Model for the Design of Effector Adaptive Planners
Measuring and modeling the web
Suboptimal design of linear regulator systems subject to computer storage limitations
Studies on Imaging System and Machine Learning: 3D Halftoning and Human Facial Landmark Localization
A Personal Virtual Computer Recorder
Quasi-Newton Methods for Nonlinear Programming
Concretely efficient interactive proofs and their applications
Market-based Control of Mobile-agent Systems
Formal Languages with Oracles
Light Sheet Depth Imaging
Programming languages as abstract data types: definition and implementation
Approximating Perfect Failure Detectors in Asynchronous Distributed Systems
Concurrent Algorithms for Emerging Hardware Platforms
Learning Graph Structures in Task-Oriented Dialogue Systems
Photonic Metasurfaces for Spatiotemporal and Ultrafast Light Control
A market-based approach to optimal resource allocation in integrated-services connection-oriented networks
Modeling and Application of Flow -Limited Field -Injection Electrostatic Spraying (Ffess)
Modularization constructs for functional and object-oriented languages
Projective Replay Analysis: A Reflective Approach for Aligning Educational Games to Their Goals
Improving Machine Learning Beyond the Algorithm
Runtime Monitoring for Safety-Critical Embedded Systems
Artifice: A Design for Usable Deniable Storage Informed by Adversary Threat
The transistor-injected quantum cascade laser
Power and Voltage Drop Analyses in VLSI Circuits
Information Theoretic Relaxations in Complexity Theory
Resource and data efficient deep learning
Wide-Band Multi-Mode Voltage Tuning Oscillators utilizing Phase-Change Switches
A network approach to topic summary and knowledge discovery in social tagging
Constructing virtual databases on the world-wide web
Identifying Speaker State from Multimodal Cues
An AMR All-Speed Projection Algorithm in Proto
Modeling the visual search process
Source Radiation in the Presence of Convex Bodies