yusuke1997/dblp-id-title huggingface dataset:
Devices and Algorithms for Analog Deep Learning
Pose-Tolerant Face Recognition
Designing Flexible, Modular Linguistic Abstractions
Topological tools for understanding complex systems
Development and application of molecular modeling methods for characterization of drug targets in Mycobacterium tuberculosis
The Efficient Implementation of Very-high-level Programming Language Constructs
The Holy Trinity: Blending Statistics, Machine Learning and Discrete Choice, with Applications to Strategic Bicycle Planning
Heterogeneous Cloud Systems Based on Broadband Embedded Computing
Proving Programs Correct Using Abstract, High-level Logic
Emotion-aware creativity tools with an interactional approach
On expander graphs and hypergraphs
Matrix completion with structure
Modeling and numerical methods for power electronic devices
Towards Literate Artificial Intelligence
Algorithmic Design for Social Networks: Inequality, Bias, and Diversity
Assessment of Privacy Risks in Mobile and Web Applications/Services
Latent variable models for visual activity understanding
Semi-Supervised Learning with Partially Labeled Examples
Knowledge-guided boundary determination in low-contrast imagery: An application to medical images
Continual Robot Learning: Benchmarks and Modular Methods
MAC and Routing Protocols for Mobile Underwater Acoustic Sensor Swarms
Provisioning end-to-end quality of service for real-time interactive video over software-defined networking
Spoken Language Understanding in an Intelligent Tutoring Scenario
"Genome-wide algorithms for haplotype assembly, haplotype phasing, and IBD inference"
Accounting for Surface Concentrations Using a VOF Front Tracking Method in Multiphase Flow
PLACA, an agent oriented programming language
Quantum Bayesian networks with applications to games displaying Parrondo's paradox
Adaptive, Nonparametric Markov Models and Information-Theoretic Methods for Image Restoration and Segmentation
On the information theory of clustering, registration, and blockchains
Relation Extraction: from Ontological Smoothing to Temporal Correspondence
Holistic language processing : joint models of linguistic structure
Techniques for Developing Correct, Fast, and Robust Implementations of Distributed Protocols
Learning adaptive language interfaces through interaction
Covert- and Side-Channel Attacks on Integrated and Distributed GPU Systems
Learning to Detect Objects by Grouping
The Basis Refinement Method
Auotomated Management of Virtualized Data Centers
Data-driven Image Segmentation of Complex Microstructures with Deep Learning
Modeling techniques and algorithms for probabilistic model-based diagnosis and repair
New Directions in Inapproximability: Promise Constraint Satisfaction Problems and Beyond
Adaptation Based Approaches to Distribution Shift Problems
Consolidation and learning: A connectionist model of human credit assignment
Coinductive program verification
Visual Understanding of Hybrid Circuits via Procedural Models: An Approach to Automatic Inspection of Hybrid Circuits
System Support for Intermittent Computing
Synchronizing processes
A Many Small Programs (MSP) Approach in a CS1 Course
High-Speed, Low-Power 54-B X 54-B Digital Multiplier Architecture Using Redundant Binary
Fine-grained Energy and Thermal Management using Real-time Power Sensors
Forecasting high-dimensional state-spaces in the presence of model error
A Computational Unification of Cognitive Control, Emotion, and Learning
Primal-Dual Method for Reinforcement Learning and Markov Decision Processes
PICS - a Performance-analysis-based Introspective Control System to steer parallel applications
Transformation and Abstraction to Aid Comparison of Binary Executables Across Compilation Environments
A Higher-Order Finite Element Method for Computing the Radar Cross Section of Bodies of Revolution
Biologically Plausible Control of Fast Reaching Movements Using Non-Traditional Cost Functions
Side-Channel Isn't Sad Anymore: Towards the Leak-Free Network Stack - From DNS and Beyond
User-Centered Algorithmic Mechanism Design: theoretical frameworks at different levels of central regulation
Automated Annotation of Coral Reef Survey Images
Neuroprosthetic Skill Learning and Stimulation-Based Neuromodulation
Feedback Based Performance Management and Fault Tolerance for Networked and Embedded Computing Systems
Variational Methods in Surface Parameterization
Relational Verification of Distributed Systems via Weak Simulations
Scalable continuous query processing in location -aware database servers
An exploration in fluid logics
Perceptual Alignment for Human-Centered Design Computing: Quantifying Similarity and Semantic Representations
Enhancing System Resiliency for 5G and 5G IoT: A Plug-and-Play, SIM/eSIM-based Approach
Hardware for Speculative Run-Time Parallelization in Distributed Shared -Memory Multiprocessors
Toward Adaptation and Reuse of Advanced Robotic Algorithms
Dynamic integration of depth cues for surface reconstruction from stereo images
On Distributed Learning Techniques for Machine Learning
Methods For Increasing Domains of Convergence in Iterative Linear System Solvers
Macromolecular Self-Assembly: Simulation and Optimization
On Building Generalizable Learning Agents
Universal Minimum-Rate Sampling and Spectrum-Blind Reconstruction for Multiband Signals
Meta-Information to Support Sensemaking by Developers
CARL-SJR: A Socially Assistive Neurorobot for Autism Therapy and Research
Log-Based Recovery in Asynchronous Distributed Systems
Fault-Tolerant Multiprocessor Interconnection Networks and Their Fault-Diagnoses
Strain-induced self-rolled-up semiconductor micro/nanotubes: Fabrication and characterization
Spare a Little Change? Towards a 5-Nines Internet in 250 Lines of Code
Automated Model Construction for Image-Based Cardiac Computational Simulations
Program Slices: Formal, Psychological, And Practical Investigations Of An Automatic Program Abstraction Method
Neural generation of open-ended text and dialogue
Development of potential-based time domain integral equations for quantum electrodynamics modeling
Learning controllers for human-robot interaction
Fine-grained recognition: data, recognition, and application
Co-designing Quantum Computer Architectures and Algorithms to Bridge the Quantum Resource Gap
Attribute-Based, Usefully Secure Email
Efficient Algorithms for Similarity and Skyline Summary on Multidimensional Datasets
List decoding of error correcting codes
Communication scheduling and remote estimation with additive noise channels
Specifications for Decidable Hybrid Automata and Games
Efficient execution of compressed programs
Algorithms for Network Management
On A Capacitated Multivehicle Routing Problem
End-to-end security in service-oriented architecture
Depicting Places in Information Systems Closing the Gap Between Representation and Experience
A network-centric design for relationship-based rights management
Real-time Fourier synthesis of ensembles with timbral interpolation
Linguistically Motivated Combinatory Categorial Grammar Induction
Optimization by simulated evolution and its application to cell placement
A Non-Type-Theoretic Semantics for Type-Theoretic Language
The design and evaluation of an efficient shared object system for distributed memory machines
The use of optical information in a machine vision system
How embedding of social ties in space impacts human behavior
Determining the Complexity of Matrix Multiplication & Other Bilinear Forms
Analysis of randomized security protocols
Towards Data-Efficient and Explainable Large Language Models
Learning space-time structures for action recognition and localization
High-Speed, High-Precision Digital-Analog Converters Designed for Spectral Performance
CPL: a tool for planning with multiple considerations
Inference and learning in complex stochastic processes
Analyzing Network-Wide Interactions Using Graphs: Techniques and Applications
Embedded Scientific Computing: A Scalable, Interoperable and Reproducible Approach to Statistical Software for Data-Driven Business and Open Science
Multiscaling and Machine Learning Approaches to Physics Simulation
Meta Reinforcement Learning through Memory
Accurate and precise computation using analog VLSI, with applications to computer graphics and neural networks
Learning Structured and Deep Representations for Traffc Scene Understanding
Toward reliable modular programs
Performance Evaluation and Modeling Techniques for Parallel Processors
Symbolic Model Learning: New Algorithms and Applications
Approximate Query Processing via Random Sampling
On the Application of Machine Learning and Physical Modeling Theory to Causal Lifting Linearizations of Nonlinear Dynamical Systems with Exogenous Input and Control
Full Stack Approach for Efficient Deep Learning Inference
Query processing with guarantees in query-centric networks
Acoustic model adaptation for recognition of dysarthric speech
Securing Embedded Systems: Analyses of Modern Automotive Systems and Enabling Near-Real Time Dynamic Analysis
Deep Learning and Reward Design for Reinforcement Learning
Decision-making under uncertainty for electric power system operation and expansion planning
An Empirical Analysis on Threat Intelligence: Data Characteristics and Real-World Uses
A Linear and Efficient RF Amplifier Architecture for Modern Wireless Applications
Efficient Security and Privacy Enhancing Solutions in Untrusted Environments
Automating Automation with Modular Robot Synthesis
Label-efficient Bayesian Assessment of Black-box Classifiers
Grasping and Fixturing: a Geometric Study and an Implementation
System-Aware Design of Energy-Efficient High-Speed I/O Links
Optimality and flexibility in utilizing predictive spatial cues during visual search
Tackling Latency Using FG
Machine Learning Algorithms for Automated Satellite Snow and Sea Ice Detection
Image processing and synthesis: From hand-crafted to data-driven modeling
An architecture for high-speed packet-switched networks
A Study of Relaxation Techniques for the Transient Analysis of Digital Circuits
Resource management in sensing services with audio applications
Design and Control of an Anthropomorphic Robotic Hand: Learning Advantages From the Human Body & Brain
Concurrency enhancement through program unification: Design, techniques, and experiments
SETL for Internet Data Processing
On Parsing Context Free Languages in Parallel Environments
Inference Machines: Parsing Scenes via Iterated Predictions
Geometric Bicriteria Optimal Path Problems
Learning in the Presence of Adversaries
Securing Connected and Automated Vehicle through Proactive Vulnerability Analysis and Security Enhancement
Incremental Reduction and Semantics
Physics-Informed Machine Learning for Computational Imaging
Learning-Based Diagnostic Models Incorporating Imaging and Clinical Information
An Investigation into a Probability Model for Correct Target Letter Detection
Exploring Novel Security Vulnerabilities and Their Safety Implications in Sensors and Perception for Autonomous Systems
Niobium-based Superconducting Silicon Interconnect Fabric for Future Cryogenic Applications
Language Acquisition in a Unification-Based Grammar Processing System Using a Real-World Knowledge Base
Finding program differences based on syntactic tree structure
Scalable secure group communication
Values by Design Imaginaries: Exploring Values Work in UX Practice
Efficient quantum circuit simulation
Ergodic Machines-probabilistic And Approximate Homomorphic Simplifications
Online scheduling algorithms for broadcasting and general cost functions
A verification framework suitable for proving large language translations
Sensitivity Considerations in Rlc Networks
Representations and Algorithms for Large Stochastic Planning Problems
Collaborative Communication Interruption Management System (C-CIMS): Modeling Interruption Timings via Prosodic and Topic Modelling for Human-Machine Teams
Transformation of Boolean Equations for the Design of Multiple-Output Networks
Policy Decomposition: A Framework for Discovery of Control Hierarchies for Efficient Policy Optimization with Suboptimality Estimates
Action Design Research for Applied Visualization Design
An Actor-Based Framework for Real-Time Coordination
High-resolution source imaging with bio-inspired sensing systems
Resource-Efficient Methods in Machine Learning
Piecewise Smooth Surfaces with Features
Scheduling and resource allocation for clouds: novel algorithms, state space collapse and decay of tails
Design and Analysis of High-Stability THz Molecular Clock System
Leveraging Mixed Expertise in Crowdsourcing
Designing with Senses: Creating Interactive Multisensory Experiences in Public Space
Human-Guided Generation of Sketches and Prototypes
Exploiting Non-Sequence Data in Dynamic Model Learning
Settling for limited privacy: how much does it help?
Efficient Iterative Methods for Saddle Point Problems
A programmable routing controller supporting multi-mode routing and switching in distributed real-time systems
Mean-field approaches for network inference and learning
Improving Understanding and Trust with Intelligibility in Context-Aware Applications
Learning open domain knowledge from text
Quadric-Based Polygonal Surface Simplification
Holographic and Polarization Methods for Optical Field Analysis
Multimodeling and Multiparameter Singular Perturbation in Control and Game Theory
Boundary method-based domain decomposition on multiprocessors
Speculative Multithreading Architectures
Energy-Efficient Hardware Design for Machine Learning with In-Memory Computing
Methods for binary symbolic execution
Advances in parallel programming for electronic design automation
Towards integration of graphene in advanced cmos interconnect technology
Improved Physical Design and Signoff Methodologies for Better Integrated Circuit Design Quality
A formal semantics of C with applications
Error recovery and process communication
The cache coherence problem in shared-memory multiprocessors
Toward predictable control of software-defined networks
High-Frequency Backscattering From an Airborne Target
Dynamic-Data Driven Real-Time Identification for Electric Power Systems
Formal patterns for medical device safety
Motion-Compensated 3-D Generalized Series Imaging
Techniques for understanding hearing-impaired perception of consonant cues
Value-Adaptive Instruction: Improving the Productivity of Civil Discourse and Addressing Bias
Modeling Early Visual Cortex Using Neural Network Models with Recurrent Circuits
Partial information based on integrity constraint checking
I. On the fast Fourier transform; II. On the computations in digital holography
Incorporating Input Information into Learning and Augmented Objective Functions
Interlocking structure design and assembly
Guided Data Fusion
Queryable Expert Systems
GS*. An Adaptive Bias Framework for Classification Algorithms
Relational compilation: Functional-to-imperative code generation for performance-critical applications
Geometric and Photometric Modeling of Three-Dimensional Scenes From Multiple Views
Energy optimization in wireless sensor networks: a study of power consumption and energy optimization
Theory and Algorithms for Several Central Problems in Large-Scale Machine Learning
Decentralized Stackelberg Strategies for Interconnected Stochastic Dynamic Systems
Towards Energy-Efficient and Sustainable Machine Learning Data Centers
Inverse Problems in Hybrid Systems With Application to Power Systems
Self-Training for Natural Language Processing
Fast Constrained Subset Scanning for Pattern Detection
End-to-End Learning with Text & Knowledge Bases
Mergers and Mass Assembly of Dark Matter Halos in a Lambda Cold Dark Matter Universe
Finite element analysis of anisotropic bulk superconductor in electric power applications
Self-referentiality in Constructive Semantics of Intuitionistic and Modal Logics
Design and analysis of online algorithms for mobile server applications
Calibration and Characterization of Low-Cost Fine Particulate Monitors and their Effect on Individual Empowerment
Image database management using similarity pyramids
Fast Times: Excitatory Effect of GABA in Axonal Compartments in the Cerebellar Molecular Layer
DNA-based data storage system
The analysis of RNA-Seq experiments using approximate likelihood
Mode control in VCSELs using patterned dielectric anti-phase filters
A multifaceted exploration of hydrologic drought using GRACE satellite observations and computer modeling
On the mapping of partial differential equation computations onto distributed memory MIMD parallel machines
Superconducting Circuits for Quantum Metrology with Nonclassical Light
On some subrecursive reducibilities
Multimedia Watermarking
Real-World Robotic Perception and Control Using Synthetic Data
Free Energy Calculations in Action: Theory, Applications and Challenges of Solvation Free Energies
Updating relational databases through views
Parallel Programming With Hierarchically Tiled Arrays
Gedanken: A tool for Pondering the Tractability of Correct Program Technology
Scene Representations for View Synthesis with Deep Learning
Towards high quality, scalable education: Techniques in automated assessment and probabilistic user behavior modeling
A distributed real-time language and its operational semantics
Design and Development of Cell Queuing, Processing, and Scheduling Modules for the iPOINT Input-Buffered ATM Testbed
Humans In Their Natural Habitat: Training AI to Understand People
Bearingless Slice Motor and 6-DoF Position Sensor for Extracorporeal Pump
A Study of Privacy and Fairness in Sensitive Data Analysis
Experimental and theoretical studies of the ScI, YI, Hg2, and XeI diatomic molecules
Voices from the other side of the wall: the case of Romanian libraries of the 1970s and 1980s
Design and development of a semantic music discovery engine
Wafer scale integration of configurable, highly parallel processors
The combination problem in automated reasoning
Mining Tera-Scale Graphs: Theory, Engineering and Discoveries
Closing the Gap in Control System Implementations
Spatially Augmented Reality on Dynamic, Deformable Surfaces and its Applications
Intuitive, interactive, and scalable multi-resolution interfaces for accelerating data exploration
Transport and Agglomeration of Dust Contaminant Particles in Reactive Ion Etch Reactors
Improving ABR Video Streaming Design with Systematic QoE Measurement and Cross Layer Analysis
Semi-Supervised and Latent-Variable Models of Natural Language Semantics
Weak supervision from high-level abstractions
Improving Performance of Consensus Protocols
Diagnostics for Periodically Operated Actuators
Building Trustworthy Storage Services out of Untrusted Infrastructure
Optimizing Content Distribution Network Caches with Machine Learning
Systems of Nonlinear Algebraic Equations Arising in Simulation of Semiconductor Devices
A Framework for Managing Heterogeneous Memory for Large Scale Machine Learning Workloads
Probabilistic Modeling and Verification of Large Scale Systems
Industrial control systems (ICS) & supervisory control & data acquisition (SCADA) cybersecurity of power grid systems: Simulation / modeling / cyber defense using open source and virtualization
Construction and solution of performability models based on stochastic activity networks
Aesthetics and Poietics of Sound Material, Form and (absent) Body in Electronic Music: Conceptual Tools for the Computer Musician, and their Applications
Effect of Space Charges on Micro-to Nanoscale Electrostatic Actuation
Charged device model electrostatic discharge failures in system on a chip and system in a package designs
Replicated Objects-Design and Verification
Integrating Parsing and Word Alignment in Syntax-Based Machine Translation
The Search Performance Evaluation and Prediction in Exploratory Search
Mathematical Modeling and Computational Methods for Structured Populations
Contributions to distributed objects and network agents
Theoretical Limitations on the Use of Parallel Memories
Conducting Volunteer-based Online Studies with People with Cognitive Disabilities
Theory and applications of scattering and inverse scattering problems
Assembling Computer Science for All New York City
Unraveling the Mechanism of Activation and Functioning of CRISPR-Cas12a and CRISPR-Cas9-Conjugated Complexes
Online Knowledge Sharing in a Multinational Corporation: Chinese and *American Practices
An object-oriented operating system
Challenge Accepted: Explorations Toward a Player-Centric Definition of Challenge in Games
Cyber-Physical Augmentation for Robust and Scalable Occupant Monitoring
Assumed Strain Finite Element Formulations and Stabilization Techniques
An Oral Tactile Interface: Design and Development
Observation and Interpretation of the Spectra of Atmospheric Gravity Wave Perturbations With Upward and Downward Phase Progressions
Phone Confusion Analysis and Its Applications
Adaptive Architectures for Robust and Efficient Computing
Practical, Usable, and Secure Authentication and Authorization on the Web
Toward performance portability for CPUS and GPUS through algorithmic compositions
Plausible Inference: A Knowledge-Intensive Approach to Induction (An Application of PI to the Problem of Hidden Homology Modeling)
Analysis of the Suspended H-Waveguide and Other Related Dielectric Waveguide Structures
Building a Reliable Operating System
Efficient Optimization Algorithms for Machine Learning
Investigations in Geometric Subdivisions: Linear Shattering and Cartographic Map Coloring
Approximate Acceleration for a Post Multicore Era
On Hyperparameter Optimization for Deep Learning
Inapproximability Reductions and Integrality Gaps
Program Partitioning and Synchronization on Multiprocessor Systems (Parallel, Computer Architecture, Compiler)
Understanding How Information Flows in and out of Regularly Scheduled Software Maintenance Design Meetings: a Case Study
Using Linguistic Features to Improve Prosody for Text-to-Speech
Mobile Malware Propagation and Defense
Design, verification and automatic implementation of correct-by-construction distributed transaction systems in Maude
Decision Making under Uncertainty: Revealing, Characterizing and Modeling Individual Differences in the Iowa Gambling Task
Two-Dimensional Analysis of Narrow Gate Effects in Micron and Submicron Mosfets (Device Simulation, Modeling)
Study of Kinesthetic Feedback Control for Compliant Proprioceptive Touch for Soft Robotic Finger-like Actuators
Individuating unknown objects by combining motion and stereo
Computational Methods in Drug Discovery: From Molecular Modeling To Library Design
Cross-Lingual Transfer of Natural Language Processing Systems
Maximum Margin Correlation Filters
Unpuzzling tetris: exploring the mechanisms of expertise in a complex, dynamic task with simple machine learning models
Topics in Formal Synthesis and Modeling
A New Theory of Dynamic Programming
Distributed Cryptography as a Service
Inductive Inference in the Variable Valued Predicate Logic System Vl21: Methodology and Computer Implementation
Non-Intrusive Analytical Approaches to Obstructive Sleep Apnea Detection
On the Minimum Distance Structure of Cyclic Codes and Decoding Beyond Thebch Bound
Jointly Forecasting and Controlling Behavior by Learning from High-Dimensional Data
Enforcing Realism and Temporal Consistency for Large-Scale Video Inpainting
Programmable Neural Network Compression with Correctness Emphasis
The Pascal-11 Programming System
Optimization Over Symmetric Cones
Using Interactive Learning Activities to Address Challenges of Peer Feedback Systems
Computational Curation of Open Science Data
Stable Models and Temporal Difference Learning
Optimization for stochastic, partially observed systems using a sampling-based approach to learn switched policies
Combining Computational Techniques with Physics for Applications in Accelerated MRI
On the Feasibility of Voice Input to an On-line Computer Processing System
Error Correction for High-Dimensional Data via Convex Programming
Interactive logical analysis of planning domains
Use of architectural-level primitives in system-level diagnosis and speed up of test vector generation
Encoding Problems in Controller Synthesis
Dynamic articulatory model of speech production using computer simulation
Scaling Permissioned Blockchain Systems
A Linear Network Method for Compensating A Nonlinear Servomechanism