yusuke1997/dblp-id-title huggingface dataset:
Computing the controllability-observability decomposition of a linear time-invariant dynamic system : a numerical approach
Testing and Error Detection in Iterative Logic Arrays
Mining sophisticated patterns for classification and correlation analysis
New algorithms and primitives for multi-processor coordination
Prediction of Transient Response of Nonlinear Servomechanisms by Sinusoidal Analysis
Adaptive Sampling for Targeted Software Testing
Analysis of centralized and distributed temporal difference learning
On The Applications of Coarse Network Geometry to Personalized Immuno-Oncology
Efficient In-DRAM Near-Bank Processing for Emerging Parallel Computing Workloads
Creating a Photorealistic World from Casual Lighting Capture
ATCAM: Automated Testing and Characterization of Additive Manufacturing
Compiling Vector Programs for SIMD Devices
Static and Dynamic Formal Analysis of Concurrent Systems and Languages: A Semantics-Based Approach
Subproblems of the m x n sequencing problem
Deep Learning on Graphs: Tackling Scalability, Privacy, and Multimodality
Learning and incentives in computer science
The semantics of role labeling
State space reduction for dynamic symbolic execution
Application of analysis of algorithms in cryptography
Co-design ofAlgorithms, Hardware, and Scheduling for Deep Learning Applications
Test response compaction for built-in self testing
Learning to Live With Ghosts: Holopresence and the Historical Emergence of Real Virtuality Technologies
PyStream: Python Shaders Running on the GPU
Combining supervised machine learning and structured knowledge for difficult perceptual tasks
Symbolic simulation techniques for verifying circuits combining datapaths and controllers
Continuous-Time and Companding Digital Signal Processors Using Adaptivity and Asynchronous Techniques
Applying Time-dependent Density Functional Theory's Linear Response to π molecular systems for electronic excitation properties
Compression and progressive transmission of three -dimensional models
Toward Secure and Reliable Networked Systems of Connected & Autonomous Vehicles
Intent modeling and automatic query reformulation for search engine systems
Metareasoning, Opportunistic Exploration, and Explanations for Autonomous Indoor Navigation
High-Performance Cloud Computing Frameworks for Serverless Computing and 5G Systems
Fast Waveform Pattern Matching With Significant-Point Frames
Scalability in spatio-temporal data management systems
Computing Volumes and Convex Hulls: Variations and Extensions
Towards a Systematic Method of Behavioral Modelling
Leveraging Structure and Knowledge in Clinical and Biomedical Representation Learning
Design problems in crowdsourcing: improving the quality of crowd-based data collection
Distributed Constrained Bayesian Optimization: Autonomous Camera Control
Model and Appearance Based Analysis of Neuronal Morphology from Different Microscopy Imaging Modalities
Drug Monitoring with Wearable Sweat Sensors
Distributed convex optimization with proximal methods
Dynamic reliability and security monitoring: a virtual machine approach
Towards Self-Managing Networked Cyber-Physical Systems
Mechanical Behavior of Materials at Multiscale Peridynamic Theory and Learning-based Approaches
An adaptive physiology-aware communication framework for distributed medical cyber physical systems
Simulation and emulation of digital integrated circuits containing resonant tunneling diodes
Practical, Large-Scale Detection of Obfuscated Malware Code Via Flow Dependency Indexing
Understanding Latency Hiding on GPUs
Efficient, Affordable, and Scalable Deep Learning Systems
A formal model of a general learning machine
Cross-layer methods for energy-efficient inference using in-memory architectures
The SAS Domain Decomposition Method for Structural Analysis
Toward Fine-Grained Stateful Cloud Computing
A Principled Approach towards Unapologetic Security
Physically-informed Percussion Synthesis with Nonlinearities for Real-time Applications
The Promise Of Data Grouping In Large Scale Storage Systems
A constraint-satisfaction problem computational model for distributed part selection
Implementation techniques for rewriting and narrowing
Reconstructing and Mining Signals: Algorithms and Applications
Some Issues in General-Purpose Shared Memory Multiprocessing: Parallelism Exploitation and Memory Access Combining (Shared Memory Machine, Automatic Restructuring)
On the Optimization of Multiple Applications for Sensor Networks
Micromachined, Out-of-Plane Micro Flow Sensors
On the Optimization of Term Rewriting
A Neural Subassembly Model Of Human Learning And Memory
Mixed-initiative man-computer instructional dialogues
iSMILE: An integrated system for device model design, parameter extraction, and circuit simulation
A cross-stack, network-centric architectural design for next-generation datacenters
Automated Analysis for Correct and Efficient Execution ofSoftware Middleboxes
Appearance based modeling and learning of the human face with application to biometrics
Probabilistic models for understanding regulation of translation
Integrated narrowband guided mode resonance photonic filters for advanced mid-infrared microspectroscopy
The Performance of Preconditioned Iterative Methods in Computational Electromagnetics
The differential geometric structure in supervised learning of classifiers
New Results in the Theory of Approximation: Fast Graph Algorithms and Inapproximability
Fine-scale Structure Design for 3D Printing
Visual Objects and Environments: Capture, Extraction, and Representation
A Corrective Meta-Analysis of Personalized Normative Feedback
Formal Verification Using Static and Dynamic Analyses
Mesh algorithms for problems in image processing
ModFlows: Methods for Studying and Managing Mesh Editing Workflows
Towards energy-performance trade-off analysis of parallel applications
Traffic Analysis Attacks and Defenses in Low Latency Anonymous Communication
Predicting tradeoffs in contract-based distributed scheduling
Intelligent systems for efficiency and security
Video Segmentation for Cardiac Analysis in Embryonic Zebrafish Using Deep Learning
Integrating security into real-time cyber-physical systems
Product Graphs: some algorithmic and combinatorial results
Introducing Gradient-Based Methods and Diagnostic Benchmarks to Trace Errors Back to the Training Data
Hand Gesture Recognition and Face Detection in Images
Advanced visualization, navigation, and interaction in graphs: Theory, design, and evaluation
Vertex Connectivity of Graphs: Algorithms and Bounds
HELIX: From Math to Verified Code
Novel Approaches to Discovery and Optimization in Physics: Symbolic Regression, Bayesian Optimization, and Topological Photonics
Improving software assurance using lightweight static analysis
Representations and Models for Large-Scale Video Understanding
Query processing in stream database systems
Computational Modeling of Immune Signals
Approaches to Enable Demand Response by Industrial Loads for Ancillary Services Provision
Approximate and Stochastic Circuit Design With Improved Accuracy and Efficiency
Spectral Probablistic Modeling and Applications to Natural Language Processing
Kernels and Geometry of Machine Learning
Type-Directed Program Synthesis for Complex APIs
Model Reduction for Treatment of Neurological Diseases and Cardiac Arrhythmias
Pre-Grasp Interaction as a Manipulation Strategy for Movable Objects
Improving the Energy Efficiency of Modern Computing Platforms using High-Resolution Real-Time Energy Measurements
Dual Streaming for Hardware-Accelerated Ray Tracing
Constrained imaging: denoising and sparse sampling
A Theory of Composition for Proofs of Knowledge
Methods and Tools for Optimizing Resource Allocation and Performance Evaluation in Serverless Environments and HPC Systems
Monte Carlo Methods for Reliability Analysis and Power Estimation
Computer Network Optimization Using the Power Metric
Micro-Workflow: A Workflow Architecture Supporting Compositional Object -Oriented Software Development
Clock tree analysis and synthesis considering process parameters and variability
Models and Algorithms for Crowdsourcing Discovery
Latency tolerant architectures
Power Optimization for Medical Sensing Systems
Parallel Algorithms for Intersection Graphs
Team formation and breakup in multiagent systems
Efficient Deep Learning: From Theory to Practice
Automatic Analysis of Hybrid Systems
Learning from minimally labeled data with accelerated convolutional neural networks
Learning with Incidental Supervision
Expressing and Optimizing Queries Over Lists and Trees
From Pixels to Scenes: Recovering 3D Geometry and Semantics for Indoor Environments
Characterizing the spatial density functions of neural arbors
Enhancing Language Models with Structured Reasoning
Large-Scale Optimization Methods: Theory and Applications
Query Performance Prediction for Analytical Workloads
Using Sensors and AI to Enable On-Demand Virtual Physical Therapist and Balance Evaluation at Home
Trust-to-Trust Design of a New Internet
Design of secure and trustworthy system-on-chip architectures using hardware-based root-of-trust techniques
Parallel processng and vlsi architectures for syntactic pattern recognition and image analysis (mimd, simd)
A Radiation Reconfigurable Magnetic Line Source Antenna: Modeling, Integration With RF MEMS, and Applications
Ultrasonic absorption in soft and hard fetal tissues
Computer Vision for Spatio-Temporal Analysis of Internet Photo Collections
Decision Support for Disaster Management Through Hybrid Optimization
Leveraging Latent Representations to Investigate Biological Processes
Speech-enabled Systems for Language Learning
Energy Pricing and Inflation
Qualitative Attributes and the Bradford Distribution (Bibliometrics, Evaluation)
Parameterization and Concise Representation in Graph Algorithms: Leaf powers, Subgraphs with Hereditary Properties, and Activity-on-edge Minimization
CHISEL: an extension to the programming language C for VLSI layout
Opportunistic constructive induction: Using fragments of domain knowledge to guide construction
Efficient Natural Language Processing for Language Models
User Interfaces for Patient-Centered Communication of Health Status and Care Progress
Leveraging machine learning & interpretability methods for limited data: from systems biology to healthcare applications
An Investigation of Odd Nitrogen in the Ionospheric E Region
Coloring and Labeling Problems on Graphs
The Health Research Exchange: A collaborative model for improving participation in health research
Probabilistic approaches for rigorous and efficient analysis of statistical properties of large datasets
Techniques for efficient high performance computing in the cloud
Efficient execution of fine-grained actors on multicore processors
Provably Constant-Time Motion Planning
Building an Ocean Model Using Mimetic Operators
Structural Communication In A Personal Information Storage And Retrieval System
Exploring Computational Intelligence to Improve Network Performance
Meta-metaprogramming
Investigating the Interactions of Neuromodulators: A Computational Modeling, Game Theoretic, Pharmacological, Embodiment, and Neuroinformatics Perspective
A Theoretical Analysis of A Complex Optical Spectrum Analyzer
Deep Learning for Information Extraction
Contributions to Structured and Unstructured Data Analysis: Liquid Association Computation Acceleration and Word Similarity via Folksonomy
Concolic Testing of Programs with Concurrent Dynamic Data Structures
Optimal control and learning for safety-critical autonomous systems
Improving data center efficiency through smart grid integration and intelligent analytics
A Relational Model Of Data For The Determination Of Optimum Computer Storage Structures
Optimal Data Base Schema Design
Drifting-Dipole Noise Model of Nanometer MOSFETs for Radio Frequency Integrated Circuit Design
Learning with Degree-Based Subgraph Estimation
"Agilos": A Middleware Control Architecture for Application -Aware Quality of Service Adaptations
The interpretation of visual motion
Analytic VLSI Placement using Electrostatic Analogy
Further development of magnetic resonance spectroscopic imaging using subspace-based models
Distributed Optimization in Electric Power Systems: Partitioning, Communications, and Synchronization
Interactive Pattern Recognition Strategies for Multimedia Document Analysis and Search
Big Data Analytics for Development: Events, Knowledge Graphs and Predictive Models
Combining Deep Learning and Physics Models for Efficient and Robust Architectures
A Personalized Behavior-Aware Motion Planning Framework for Intelligent Vehicles Operation
Sampling-Based Motion Planning With Differential Constraints
Learning in High Dimensional Spaces: Applications, Theory, and Algorithms
Non-Frontal Imaging Camera
High-Performance Digital Filters
Compilation of Array-Style Programs for Distributed Memory MIMD Machines: a Geometric Approach
Protecting Commodity Operating Systems through Strong Kernel Isolation
Robust Hybrid Sparse Linear System Solvers
Deep Facial Expression Modeling and 3D Motion Retargeting from 2D Images
Inferring landscape preferences from social media using data science techniques
Architecture for Multiple Instruction Stream Lsi Processors
Scheduling for Horizontal Systems: The VLIW Paradigm in Persepctive
Identification and Characterization of Events in Social Media
Perfect Reconstruction of Digital Transmission Through Channels With Bounded Additive Noise
Acting rationally with incomplete utility information
The MicroBooNE Search For Anomalous Electron Neutrino Appearance Using Image Based Data Reconstruction
Joint information extraction
Shape For Contact
Statistical Source Expansion for Question Answering
Translation validation for compilation verification
Learning in the Presence of Adaptive Behavior
Diffusion Based Influence Maximization in GOLAP
Characterization of a Distributed Data Base System
Perception of Software Quality: Aesthetics and Expertise
On Algebraic Surfaces Meeting with Geometric Continuity
Generating Machine Code for High Level Programming Languages
Set representation and set intersection
Scaling Empirical Game-Theoretic Analysis
Single-Molecule Studies of Biomolecules as Molecular Machines
The sample complexity of simple reinforcement learning
Machine learning methods for biological hypothesis generation, facilitating new discoveries at lower costs
High Dynamic Range and Omnifocus Imaging
Verification of Simulation Models of Network Protocols Using State Space Exploration
Data Complexity in Machine Learning and Novel Classification Algorithms
Interaction of Modulated Electron Beams With Open Periodic Structures
A Framework for Mass-Market Inductive Program Synthesis
Geometric Computing beyond the Laplacian
Speedup in parallel algorithms for adaptive quadrature
Interactive systems for data transformation and assessment
Explanation-Based Learning of Generalized Robot Assembly Plans
Designing energy-efficient computing systems using equalization and machine learning
Approximation Methods for the Consistent Initialization of Differential-Algebraic Equations
Variability-Aware Compact Modeling of Nano-scale Technologies with Customized Test Structure Designs
Down the Rabbit Hole: Modeling Twitter Dynamics through Bayesian Inference
Data layout transformation through in-place transposition
A Duality-based Cosserat Crystal Plasticity and Neural Network Enriched Phase Field for Modeling Grain Refinement
Privacy Preserving Information Sharing
Serial Decomposition of Sequential Machines Into Specified Classes of Submachines
Distributed algorithms for peer-to-peer systems
Towards Model Understanding: A Framework to Furnish and Evaluate Interpretations
Principles and Applications of Unistor Graphs
Simulation-based search for hybrid system control and analysis
Automatic Scaffolding for Procedural Learning
Adaptive methods in parallel databases
Optimization: Stochastic thermodynamics, machine learning, and numerical algorithms
Adaptive interaction techniques for sharing and reusing design resources
Automated Performance Optimization of Custom Integrated Circuits
In-Network Computation in Wireless Sensor Networks
Hierarchical models of synchronous circuits for formal verification and substitution
Beyond topic-based representations for text mining
Compositional reasoning in robot learning
Advances in Volume Penalization Methods for Simulating Multiphase Fluid-Structure Interaction and Phase-Change Phenomena
Algorithms for some linear and fractional combinatorial optimization problems
Understanding, detecting, and repairing performance bugs
Sandboxed, Online Debugging of Production Bugs for SOA Systems
Towards Generalization and Efficiency in Reinforcement Learning
Scalability And Performance Analysis Of Wireless Networks And Information-Centric Networks
Architectural Techniques to Mitigate the Effect of Spatial and Temporal Variations in Processors
Analytical Design of Linear Feedback Control Systems
Design, Implementation and Experiments for Moving Target Defense Framework
Performance of Wireless Networks Subject to Constraints and Failures
A Framework for Designing a Low-Loss, Low-Delay Internet
Knowledge-based testing of VLSI circuits
Synchronization & Simulation in Operating System Construction
Advancing Compiler and Simulator Techniques for Highly Parallel Simulation of Embedded Systems
Insights from patient authored text : from close reading to automated extraction
Efficient Query Processing Techniques for Data Exploration in Heterogeneous and Distributed Systems
Concurrent Error Detection in Vlsi Systems Through Structure Encoding (Fault Tolerance, Self-Checking)
Image Reconstruction for X-ray Computed Tomography in Security Screening Applications
Machine Learning Assisted Analysis of Solar Module Degradation
Speech Analysis Methodologies towards Unobtrusive Mental Health Monitoring
Making Medical Assessments Available and Objective Using Smartphone Sensors
Computing aspect graphs of curved objects for object recognition
Evaluation of Full Body Pose Estimation Implementations Utilizing Sparse Sensors
Optimum Semi-Iterative Methods for the Solution of Any Linear Algebraic System With a Square Matrix
Optimizing Gesture Recognition on Hololens 2 Using CNNs with Early Exits
High-Level Power Estimation
Large-scale neuroimaging in Alzheimer's disease and normal aging
Efficient Hosted Interpreter for Dynamic Languages
Perceiving People over Long Periods: Algorithms, Architectures & Datasets
The Ensemble System
Understanding the Kinetics, Stereoselectivity, and Catalysis of Pericyclic Reactions in Chemistry and Biology through Quantum Mechanical Computations
A Nonparametric Bayesian Perspective for Machine Learning in Partially-Observed Settings
Enhancing the Discovery of Neural Representations: Integrating Task-Relevant Dimensionality Reduction and Domain Adaptation
Memory Safety for Today's Languages and Architectures
Partitioning algorithms for parallel circuit simulation
Conceptual learning with multiple graphical representations: Intelligent tutoring systems support for sense-making and fluency-building processes
Models for Yield Estimation of Multichip Module Ceramic Substrates
Designing Storage and Privacy-Preserving Systems for Large-Scale Cloud Applications
Fault-Tolerant Management of Distributed Applications Using the Reactive System Architecture
Integrated Optical Motion Detection
Low-overhead Online Code Transformations
System Optimization With Fixed Control Structure
Geometric and Topological methods in Reinforcement Learning and Biological Image Segmentation
HipHopathy, A Socio-Curricular Study of Introductory Computer Science
Geometry-aware topological decompositions of meshes
Data communication in robot control systems
Request-Based Mediated Execution
Physics-Based Manipulation Planning in Cluttered Human Environments
Robust, Resilient Networked Communication in Challenged Environments
Easy Encryption for Email, Photo, and Other Cloud Services
Improving the Accessibility of Online Data Visualizations for Screen-Reader Users and Visualization Creators
Design and analysis of reconfigurable MIMO antennas for next generation wireless communication systems
Realization and Formal Analysis of Asynchronous Pulse Communication Circuits
Fault-tolerant parallel computing on networks of non-dedicated workstations
Constraint Inference in Control and Reinforcement Learning
Probabilistic Models for Collecting, Analyzing, and Modeling Expression Data
Statistical Inference for Some Problems in Network Analysis
From Microbial Communities to Human Cancer: Methods for Exploring Diversity Across Varying Levels of Biological Organization
Virtual clusters: resource mangement on large shared-memory multiprocessors
Modeling, Simulation and Design of EOS/ESD Protection Devices and Circuits in Silicon-on-Insulator Technology
An Observational and Statistical Technique for Efficient Big Data Applications
Multi-facet graph mining with contextualized projections
Numerical Methods for Solving the Problem of Electromagnetic Scattering From Large Bodies
Physics-empowered perception for robot grasping and dexterous manipulation
Sensitivity Reduction Method for Feedback Systems
Vision-Based Behavior Learning and Automatic Scene Understanding by an Autonomous Robot
Design Enablement and Design-Centric Assessment of Future Semiconductor Technologies
Declarative Frameworks and Optimization Techniques for Developing Scalable Advanced Analytics over Databases and Data Streams
On Program Obfuscation
Camera Selection, Handoff and Control in Video Networks
Proper Plugin Protocols
Information security applications of natural language processing techniques
Timing Analysis of Embedded Real -Time Systems
Applications of econometrics and machine learning to development and international economics
Key management in hierarchical access control systems
Separation-Logic-Based Program Verification in Coq
Accounting for Computational Expenditures in Bayesian Experimental Design
Phrase Alignment Models for Statistical Machine Translation
Modeling and Fundamental Design Considerations for Portable, Wearable and Implantable Electronic Biosensors
Multilayer Techniques to Address Parameter Variation
Integration of Filter Elements in Electric Drives
Automated Variable Temperature Hall Effect Measurements and Analysis of N-Type Gallium-Arsenide, Indium-Phosphide and Their Lattice Matched Alloy Semiconductors (Hall Effect)
On Combinatorial and Stochastic Optimization
Bounded Aggregation Techniques to Solve Large Markov Models
Improved Segmentation and Analysis of Whiter Matter Tracts Based on Adaptive Geodesic Tracking
Deep representation learning for photorealistic content creation
Self-Healing Robust and Fair Neural Networks via Optimal Control
Efficient Algorithms, Protocols and Hardware Architectures for Next-Generation Cryptography in Embedded Systems
The impact of electron traps on the transfer performance of acoustic charge transport devices
Building robust natural language processing systems
Mobility Support for 5G Networks and Beyond: New Challenges and Novel Solutions
Appearance of Woven Cloth
Towards Free, Open, and Ubiquitous Hardware Design
Computation of multiscale time-harmonic electromagnetic radiation
Visual Prediction of Rover Slip: Learning Algorithms and Field Experiments
Three-dimensional field-effect transistors with top-down and bottom-up nanowire-array channels
Design with data-driven shape rule recognition through learning-based shape grammar interpreter
Improving the Generalizability of Speech Emotion Recognition: Methods for Handling Data and Label Variability
Large-scale growth, fluorination, clean transfer, and layering of graphene and related nanomaterials
Enhancing Online Collaborative Learning: Designs for Effective In-Situ Discussion and Engagement in Large-Scale Learning Environments
Convergence of goal-oriented adaptive finite element methods
Addressing Operational Challenges in Named Data Networking Through NDNS Distributed Database
Development of high-speed vertical-cavity surface-emitting diode laser and vertical-cavity transistor laser for shortreach optical interconnects
Bridging the Performance Gap Between Mobile Applications and Mobile Web pages
Designing for the Cooperative Use of Multi-user, Multi-device Museum Exhibits
Data-Driven Multi-Robot Planning for Online User-Directed Coordination