yusuke1997/dblp-id-title huggingface dataset:
A subspace approach to accelerated cardiovascular magnetic resonance imaging
Design and Control of a New Class of Untethered Magnetic Haptic Display
Robust Biased Brownian Dynamics for Rate Constant Calculation
Recursive deep learning for natural language processing and computer vision
Seeing the forest and the trees: Tackling Distributed Systems Problems by Querying Observations of Executions
Routing algorithms in the physical design of VLSI circuits
Architectural and Complier Mechanisms for Accelerating Single Thread Applications on Mulitcore Processors
Automatic migration to role based access control
Domain-specific Architectures for Data-intensive Applications
Development of Monolithic DC -Dc Converters
NanoLog: a nanosecond scale logging system
Design and Evaluation of Pervasive Augmented Reality Systems
Access Control for Client-Server Object Databases
Bespoke Security for Resource Constrained Cyber-Physical Systems
Bayesian Deep Learning Methods in Magnetic Resonance Imaging (MRI) and Simultaneous Positron Emission Tomography and Magnetic Resonance Imaging (PET/MRI)
On Robust State Estimation for Uncertain Systems
Finger-powered Digital Microfluidics for Micro Droplet Manipulation
Some Computational Problems in Multilinear Algebra
Building Better Ideas Together: Understanding the Influence of Individual and Contextual Characteristics on the Emergence of Transactivity
Modeling, Simulation, and High-Performance Implementation of High-Dimensional Micro-Macro Biophysical Models
Heterogeneous Mobile Platform Characterization and Accelerator Design
3D Object Understanding from RGB-D Data
Machine Learning and Multiagent Preferences
Alibi framework for identifying insider jamming attacks in half-duplex wireless local area networks
Object-Oriented Visual Localization in Urban Mobile-Edge Environments
Object Pose Estimation without Direct Supervision
Efficient Algorithms, Hardware Architectures and Circuits for Deep Learning Accelerators
Integrity and Privacy in the Cloud: Efficient algorithms for secure and privacy-preserving processing of outsourced data
SEMLOG: A multiparadigm programming language for knowledge engineering
Electrochemical Modulation of Peripheral Nerves Using Ion-Selective Electrodes
Physical Plan Instrumentation in Databases: Mechanisms and Applications
Computational Characterization of Heterogeneity and Rearrangements in Cancer
Formal Semantics and Scalable Verification for the Border Gateway Protocol using Proof Assistants and SMT Solvers
Data Transfer and Interface Propagation in Multicomponent Simulations
Geodesic Problems for Mobile Robots
Large-Scale Distributed Runtime System for DAG-Based Computational Framework
Statistical design of MOS VLSI circuits with designed experiments
Efficient Explicit -State Model Checking for Programs With Dynamically Allocated Data
Digital Pulse Width Modulation: Analysis, Algorithms, and Applications
Probabilistic Score Propagation in Information Retrieval
Nonholonomic Motion Planning : Algorithms and Software
The Identification of Linear Systems by Means of Correlating Filters
Acquiring Motor Skills Through Motion Imitation and Reinforcement Learning
High-performance metallo-dielectric photonic crystals: Design, fabrication, and testing of a practical emitter for portable thermophotovoltaic generators
Modeling User Behavior on Socio-Technical Systems: Patterns and Anomalies
Projected Lagrangian algorithms for nonlinear minimax and l₁ optimization
Performance observability
Teaching Machines to Classify from Natural Language Interactions
Adaptive guidance for online learning environments
Methodologies for comparative genomics and metagenomics
Transcriptomic and computational approaches for interrogating metabolic interactions in the coral microbiome
Dividing and conquering logic
Efficient continuous algorithms for combinatorial optimization
Re-architecting Web and Mobile Information Access for Emerging Regions
Hydroelectric System Analysis and Speed Control Optimization
Manipulation Among Movable Objects for Pick-and-Place Tasks in Cluttered 3D Workspaces
Optimizing Sparse Linear Algebra on Reconfigurable Architecture
On Resource Efficient Transfer Learning via End Task Aware Training
Courting the Uncommitted: A Mixed-Methods Study of Undecided Students in Introductory Computer Science Courses
Compression, generation, and inference via supervised learning
Developing Domain-Specific Generative Methods
Communication in computer networks: time delay and data rate performance modelling
New Techniques for Learning and Inference in Bayesian Models
High Density Plasma Etching of Wide Bandgap Semiconductor Materials for Fabricating Novel Devices
Kinematic Planning and Dynamics Inference for In-Hand Manipulation
Algorithms and Software for PCR Primer Design
Determining Three-Dimensional Motion and Structure of a Rigid Body Using Point and Straight Line Correspondences (Stereo, Graphics, Vector)
Early vision using distributions
Building Cryptographic Systems from Distributed Trust
Redefining the Operation and Design Considerations of Organic Solar Cells: Role of Morphology and Defect States
Analysis and Enforcement of Web Application Security Policies
Languages and Visualization Tools for Data-Centric End-User Programming of Interactive Visualization Designs
Compiling for Distributed Memory Multiprocessors Based on Access Region Analysis
Spectral-Domain Methods for Remote-Probing of Stratified Media
Principles of Instruction-Level Distributed Processing
Cross-Cultural Believability of Robot Characters
Adaptive Methods in the Finite Element Exterior Calculus Framework /
Structural reorganization of multipass computer programs
Hierarchical clustering with global objectives : approximation algorithms and hardness results
Synthesis, design, and fabrication techniques for reconfigurable microwave and millimeter-wave filters
The static and dynamic models of software defects and reliability
In search of better proximity
Performance and Power Optimization for Multi-core Systems using Multi-level Scaling
Real-time systems on multicore platforms: managing hardware resources for predictable execution
Architectural trade-offs in a latency-tolerant gallium arsenide microprocessor
Simulating Shared Memory on Distributed Models of Parallel Computation
Control-Plane Protocol Interactions in Mobile Networks
Supporting representation construction in sensemaking
Algorithmic Approaches to Statistical Questions
On the Acceleration of Database Primitives on FPGAs
Designing and Evaluating a Virtual Reality Game to Assist Clinicians Working With Amblyopia
Optimal Control of Compliant Bipedal Gaits and Their Implementation on Robot Hardware
Optimization and Application of Graph Neural Networks
Motion Planning Algorithms for Safety and Quantum Computing Efficiency
Resource discovery in peer-to-peer systems
Analysis of computer scheduling with memory constraints
Hierarchical Simulation to Assess Hardware and Software Dependability
Active Learning and Submodular Functions
Space-time Algorithms: Semantics and Methodology
Prior technology exposure, keyboard/mouse activity, and writing achievement: Analysis of the 2011 National Assessment of Educational Progress writing assessment
The Phasor Method of Nonlinear Network Analysis and Its Application to a Four-Mesh Nonlinear Network
Computational algorithms and statistical models for ChIP sequencing analysis
Learning and Pricing Algorithms for Human-Cyber-Physical Systems
The Ultimate Curve: An Automated Market Maker with a Linear Stretch
Frameworks for High Dimensional Convex Optimization
Multi-agent learning: the agent-centric agenda
Magnetoquasistatic sensors for rapid imaging of steel pipeline properties
Impact of RFID information-sharing coordination over a supply chain with reverse logistics
Understanding and Improving Efficiency in Training of Deep Neural Networks
A System Programming Language For A Variety Of Hardware-software Systems
Coding for the Control of Intersymbol Interference in Baseband Channels
Automatic Contour Definition on Left Ventriculograms By Image Evidence and a Multiple Template-Based Model (Cardiology)
High Performance, High Availability Distributed Processor Systems
Modelling, trajectory calculation and servoing of a computer controlled arm
Shape-Constrained Estimation in High Dimensions
Graphene Devices for Beyond-CMOS Heterogeneous Integration
Peer Support in Online Communities
A language and a system for program optimization
Simulating Nonlinear Faraday Waves on a Cylinder
Closure of Classes of Formal Languages under Substitution Operators
Bayesian Radiation Image Reconstruction and Uncertainty Quantification
Reliable Content Distribution using ICN
Rendering multiple scattering in hair and other discrete random media
Privacy protection and advertising in a networked world
Energy-Efficient System Architectures for Intermittently-Powered IoT Devices
Three-Dimensional Data Acquisition by Means of the Intensity Ratio Depth Sensor (Vision, Robotics)
Optimization of Heterogeneous NoC for Fused CPU-GPU Architecture
Self-configuration algorithms for mobile ad hoc networks
Exploring the World's Visual History
Quasi-Optical Approaches to the Diffraction and Scattering of Gaussian Beams
BISRAMGEN: A silicon compiler for built-in self-repairable random-access memories
Improving TCP Using Working Memory Capacity and Network Coding
Scalable Automated Methods for Dynamic Program Analysis
Knowledge-based learning: Integration of deductive and inductive learning for knowledge base completion
Qualitative motion analysis using a spatiotemporal approach
Representing and Modifying Complex Surfaces
Variation-Aware Modeling and Design of Nanophotonic Interconnects
Efficient Processing of Large Irregular Graphs on GPUs and Multicores
Mining and Evaluating Argumentative Structures in User Comments in eRulemaking
Communication avoiding parallel algorithms for amorphous problems
Modeling and integrative analysis with applications to DNA replication, cancer, and epigenetics
Enhancing stream reasoning by modeling the importance of the streaming data
RNA-Seq Based Transcriptome Assembly: Sparsity, Bias Correction and Multiple Sample Comparison
Argument Facets in Social Media Dialogue
The Cross -Cultural Learning Process of International Doctoral Students: A Case Study in Library and Information Science Education
Automating telemetry- and trace-based analytics on large-scale distributed systems
Statistical guarantees of performance for RTL designs
Actor programming with static guarantees
Mesoscale to Microscale Atmospheric Modeling Over Complex Terrain
Novel Methodologies and Measurement Software for Transistor Amplifier Synthesis in Planar Coupled -Transmission Lines
Precise Alignment of Serial Section Electron Microscopy Images and Analysis of Neural Circuits
Cost-aware resource management for decentralized internet services
Enabling eyes-free interaction with tactile messages based on human experience
Controlling Image Synthesis with Emergent and Designed Priors
Highly parallel processing of relational databases
Design of Network Architectures: Role of Game Theory and Economics
Advancing optimization for modern machine learning
Synthetic aperture imaging using dense camera arrays
Learning Embodied Agents with Scalably-Supervised Reinforcement Learning
Application of non-parametric algorithms to computational biology
Analysis of Algorithms for Finding All Spanning Trees of a Graph
New Applications of Homomorphic Cryptography
On the use and performance of communication primitives in software controlled cache-coherent cluster architectures
Interactive Machine Learning with Heterogeneous Data
Intelligent assistance in formalizing software specifications
Real-time communication with statistical performance guarantees
Using Wearables and Machine Learning to Enable Personalized Lifestyle Recommendations to Improve Blood Pressure
Burstlogic: Design and Analysis of Logic Circuitry to Perform Arithmetic on Data in the Burst Format
Cooperative Data and Computation Partitioning for Decentralized Architectures
On Efficient Majority-Logic Decodable Codes
View evolution support for information integration systems over dynamic distributed information spaces
Bilingual and cross-lingual learning of sequence models with bitext
Approximating, Editing, and Processing Free -Form Motion
Designing For Accessible Sidewalk Robots - Insights From People With Motor Disabilities
Prediction and Statistical Inference in Feedback Loops
Experimental Investigations of the Electronic Properties of the Oxidized Silicon Surface Using Mos Capacitors
Incremental Computation: A Semantics-Based Systematic Transformational Approach
Optimal and Adaptive Online Learning
Learning Predictive Models for Efficient Policy Learning
Defending Against Adversarial Attacks With Low-Rank Factorization
A Code Division Multiple Access Communication System for the Low Frequency Band
Performance evaluation of checkpoint rollback recovery algorithms in distributed systems
Do we need a Reference Signal for Speech Quality Assessment?
Functional synthesis of genetic systems
Natural image statistics in digital image forensics
Fundamental limits of random access in wireless networks
Rescuing Data Center Processors
Human Mental Models of Self, Others, and AI Agents
Information and distances
Routing Support for Providing Guaranteed End-to-End Quality-of-Service
Minimalism in deep learning
Sequential Decision Making With Resource Constraints
Towards Predictive Medicine - On Remote Monitoring, Privacy and Scientific Bias
Sublinear-Time Learning and Inference for High-Dimensional Models
Automatic synthesis of burst-mode asynchronous controllers
Opinion Summarization: Automatically Creating Useful Representations of the Opinions Expressed in Text
Information Genealogy: Modeling Idea Origins and Flows in Text
Rule-Based Evolutionary Online Learning Systems: Learning Bounds, Classification, and Prediction
Towards Multilingual Vision-Language Models
AI and the Writer: How Language Models Support Creative Writers
A Collective Approach to Harness Idle Resources of End Nodes
Stationary Subdivision and Multiresolution Surface Representations
Photometric modeling of specular and diffuse appearance
Precision Self-Alignment Techniques for Optoelectronic Integration
Topological Quantum Computing with Majorana Zero Modes and Beyond
Distributed, replicated computer bulletin board service
Exploiting the Structure of the Web for Spidering
Towards a Cryptographically Verifiable Database Management System
Exploring the Landscape of Clusterings
Noise reduction in user generated datasets
Immersive Virtual Human Training Systems based on Direct Demonstration
Skill and billiards
Enhanced effort estimation by extending basic programming models to include modularity factors
Data-Driven Audiovisual Art Focused on the Uncertainty in the Human-Data-Machine Loop
A Study of Digital Network Structure and Its Relation to Fault Diagnosis
Scaling Multi-user Virtual and Augmented Reality
Hardware-assisted privacy enforcement in commercial drone-as-a-service applications
Topics in matrix sampling algorithms
Parsing and type inference for natural and computer languages
The Retiming and Routing of VLSI Circuits
Anchor-Free Localization in Mixed Wireless Sensor Network Systems
An on-Line Image Pre-Processing Camera System for Pattern Recognition
Non-Local Correlations and Interactive Games
Navigation and Physical Interaction with Balancing Robots
Exploring Interprocess Techniques for High-Performance MPI Communication
Efficient Aggregated Deliveries with Strong Guarantees in an Event-based Distributed System
Photorealistic Reconstruction from First Principles
Wireless Localization Systems for Robotics and AR/VR Applications
Multiprocessor simulation : achieving accuracy, efficiency, and flexibility
Polygon Optimization Problems (Computational Geometry, Algorithm)
Directing greybox fuzzing to discover bugs in hardware and software
Secure protocols for wireless availability
Selecting and Generating Computational Meaning Representations for Short Texts
Dependable Cyber-Physical Systems
Adaptive optimization for self: reconciling high performance with exploratory programming
Machine Descriptors of Retargetable Parallelization
Understanding Natural Language with Commonsense Knowledge Representation, Reasoning, and Simulation
Designing and Evaluating Physical Adversarial Attacks and Defenses for Machine Learning Algorithms
Combinatorial algorithms for perturbation theory and application on quantum computing
Stronger Abstractions and Performance Guarantees for Building Strongly Consistent Distributed Services
Trellis detector/decoder VLSI architectures for data communication and storage systems
Deep Learning for Action Understanding in Video
Approximation Algorithms for Traveling Salesman Problems Based on Linear Programming Relaxations
Efficient Mapping-Free Methods for Discovery and Genotyping of Structural Variations
Adapting Spoken Dialog Systems Towards Domains and Users
Singularity Detection, Noise Reduction and Multifractal Fractal Characterization
Solid modeling and algorithms for heterogeneous objects
Privacy Infrastructure for Content and Communications
Using extended harmonic oscillators to identify and understand circadian rhythms
Loop-free synthesis of finite state machines
Deep Scene Understanding using RF and its Fusion with other Modalities
New directions in uncertainty quantification using task-based programming
Provable Instantiations of Correlation Intractability and the Fiat-Shamir Heuristic
Practical runtime identification of program errors
A principled methodology for the design of autonomous trading agents with cominatorial preferences in the presence of tradeoffs
Formal verification of probabilistic systems
Physical Reservoir Computing in Photonics Integrated Circuit
Heterogeneous Relational Query Processing for Extensibility and Scalability
Enabling Contactless Sleep Studies at Home using Wireless Signals
Aggregates in datalog
Risk-targeted Performance-based Seismic Assessment and Design of Bridges
Toward automatic model adaptation for structured domains
Global Optimization for Constrained Nonlinear Programming
Quantum transport theory of 3D time-reversal invariant topological insulators
Algorithm Hardware Co-Design of Neural Networks for Always-On Devices
Modeling gene regulatory networks through data integration
Deep learning for the internet of things
Early Stopping Protocols for Fault-Tolerant Distributed Agreement
Forced Execution for Security Analysis of Software Without Source Code
Reliable Machine Learning in Feedback Systems
Identifying, Analyzing, and Addressing Weaknesses in Deep Networks: Foundations for Conceptually Sound Neural Networks
On the ability of gradient descent to learn neural networks
Processing continuous queries over streaming data with limited system resources
Voronoi site modeling: A computer model to predict the binding affinity of small flexible molecules
Stochastic Compute-In-Memory Hardware Accelerator for Intelligent Edge Devices
Adaptive Load Management: Multi-Layered And Multi-Temporal Optimization Of The Demand Side In Electric Energy Systems
Ensuring Reliability and Fault-Tolerance for the Cyber-Physical System Design
Fabbed to Sense: Integrated Design of Geometry and Sensing Algorithms for Interactive Objects
Data structures for efficient analysis of large-scale unstructured datasets
Countering distributed denial of service attacks
CAD Implementation of Finite Difference Algorithms for the Analysis of High -Speed Circuits
Design of data management systems upon new memory and storage hardware
Hardware-Supported Computer Security - Detection, Diagnosis and Defense
Machine learning based models for signal integrity analysis
Automatic Construction of a Hypernym-Labeled Noun Hierarchy from Text
Graph based data flow programming of parallel machines
Efficient Data Authentication
Efficient Pre-Silicon Validation and Post-Silicon Tuning of Self-Healing Analog/RF Integrated Circuits
L1 adaptive control with quantization and delay
Building reliable programs through active replication
A Mobile Cyber-Physical System Framework for Aiding People with Visual Impairment
A fast exponential decomposition algorithm and its applications to structured matrices
Second-harmonic generation-based Mueller matrix polarization analysis of collagen-rich tissues
Classifications of protein roles in the functional organization of the cell
Large-scale Whole Slide Image Analysis with Deep Learning Methods to Improve Prostate Cancer Diagnosis
Systems and Algorithms for High-Performance, Cost-Efficient Key-Value Storage
Applications of Linear Graph Theory to Probabilistic Communication Networks
Next-generation safety-critical systems using COTS based homogeneous multi-core processors and heterogeneous MPSoCS
From Enormous Structured Models to On-device Federated Learning: Robustness, Heterogeneity and Optimization
Automatic Discovery of Heuristics for Nondeterministic Programs from Sample Execution Traces
Soft Robotic Testbeds for Physics Simulator Validation, Closed Loop Control, and Comparative Biomechanics
Computational studies for prediction of protein folding and ligand binding
A programming framework to ease development of tightly-coupled cloud applications
Learning random field models for computer vision
Whole-system testing and analysis of actor programs
Capacity Region and Degrees of Freedom of Bidirectional Networks
Aligning Capabilities of Interactive Educational Tools to Learner Goals
Memristor-based AI Hardware for Reliable and Reconfigurable Neuromorphic Computing
Bi-state Control of Microelectromechanical Nonlinear and Parametric Resonance
Structure Preserving and Scalable Simulation of Colliding Systems
Realistic Head Modeling for MEG Source Localization
Conformal mesh adaptation on heterogeneous supercomputers
Computational Methods for Time-Domain Diffuse Optical Tomography
Semigroups and transitive closure in deductive databases
Nonexplicit Singular Perturbations and Interconnected Systems
Mixing Realities: Leveraging Augmented Reality to Support Remote Collaboration for Educational Scenarios, Share Digital Objects Across Distance, and Demonstrate the Physical Nature of Visualizations
Integrative text mining and management in multidimensional text databases
Risk-aware virtual resource management for access controlled cloud data centers
Human control of robots over discrete noisy channels with high latency: toward efficient EEG-based brain-robot interfaces
Structural Inference And Identification Of Discrete Time Systems
Artistic Graphics and Modeling
Limited Randomness in Games, and Computational Perspectives in Revealed Preference
On Moving and Orienting Objects
Cognitive maps for mobile robots: A representation for mapping and navigation
Qualitative Reasoning in an Expert System Framework
Efficient Deep Neural Network Computation on Processors
Expressive, Interactive Robotic Patient Simulators for Clinical Education
Using AI to Mitigate Variability in CT Scans: Improving Consistency in Medical Image Analysis
Modeling Goal-Directed User Exploration in Human-Computer Interaction
Convergence to and quality of equilibria in distributed systems
Scalable Spacetime Adaptivity for Computational General Relativity
Broadening the applicability of software complexity metrics with biological analogues
An Effective Verification Solution for Modern Microprocessors
Advancing Physics-Based Simulations: Integrating Conventional and Machine-Learning Approaches for Enhanced Computational Efficiency
Trust in Proof Assistants: Opportunities and Limitations
Adaptive load balancing for HPC applications
Synthesizing Realistic Textures by the Composition of Perceptually Motivated Functions (Graphics)
Scale and Concurrency of Massive File System Directories
Using Consumer Devices to Monitor Acute Medical Conditions for Infants
Adaptive Multi-Granularity Locking Protocol in Object-Oriented Databases
Strategies for Fair, Explainable, and Reliable Machine Learning Using Information Theory
Measuring and Inferring Demographics From Multi-Mode Communication Networks
Moving from Passwords to Authenticators
Receding Horizon Control with Sliding Surfaces and its Application to Vehicle Dynamics
Algorithms for flows and disjoint paths in planar graphs
Foundations and applications of program obfuscation