yusuke1997/dblp-id-title huggingface dataset:
Leveraging Similar Regions to Improve Genome Data Processing
Better Embedded Design Tools with Automated Reasoning
Automatic Lipreading to Enhance Speech Recognition (Speech Reading)
Learning to Edit 3D Objects and Scenes
Analytic modeling and measurement methodology for multi-tier client-server systems
Superthreading: Integrating Compilation Technology and Processor Architecture for Cost-Effective Concurrent Multithreading
LIDAR Studies of the Middle Atmosphere Temperatures and Iron Layer at South Pole
Intelligent Human-in-the-Loop Vehicular Automation with Real-Time Vision Models
Systematic Compilation for Predicated Execution
High-Performance Deep Learning Systems via DL Sparsity and DL Compiler
Accelerating Innovation through AI-Powered Conceptual Abstraction and Interaction Design
New Relaxations for Composite Functions
Coverage and Connectivity in Three-Dimensional Wireless Sensor Networks
Extracting Reusable Primitives of Key-Value Operations and Efficient Architecture Support
Enhancing System Security and Privacy with Trusted Hardware Components
Studies of High-Dose Ion Implantation in Silicon
A network approach to force control in robotics and teleoperation
Techniques for Sample-Efficient Reinforcement Learning
Computational Approaches to Understanding Human Behavior from Online Social Interactions: Language and Communities
Curriculum Learning
The design and implementation of dynamic information flow tracking systems for software security
Intelligent Visual Servo Control of an Air Hockey Playing Robot
Capturing, Processing, and Synthesizing Surfaces with Details
Neural-network compression methods for computational quantum many-body physics
Drawing planar graphs
Advancing Model-Based Reinforcement Learning with Applications in Nuclear Fusion
Modulation Technique for Magneto-Optic Imaging of Weak Magnetic Fields With Rare-Earth Iron Garnet Films
N-person game playing and artificial intelligence
Some applications of duality and flows : algorithms for network design and deterministic Markov decision processes
Mechanism Design for a Complex World: Rethinking Standard Assumptions
Techniques for Estimation of the Area of Integrated Digital Circuits
Privacy meets Robustness: Unveiling the interplay between Differential Privacy and Robustness in Machine Learning
An On-Line Handwriting Recognizer with Fisher Matching, Hypotheses Propagation Network and Context Constraint Models
From 2.5G To 5G: Enhancing Access And Performance For Mobile Users
Algorithmic and Implementational Level Models of Liking, Flexibility, and Adaptive Learning
Scalable and Efficient Systems for Large Deep Learning Models
Data analysis tools for statistical non-experts
Model-Theoretic Pragmatics: Dynamic Models and an Application to Presupposition and Implicature
Upper and lower bounds on time-space tradeoffs in a pebble game
Information, Activity and Social Order in Distributed Work: The Case of Distributed Software Problem Management
Computational design and sensing algorithms for nanopore-based molecular tagging and peptide detection
Characterizing and Improving Next-Generation Network Infrastructures and Applications
Analysis of Mass Spectrometry Data for Protein Identification In Complex Biological Mixtures
Heterogeneous Byzantine Replicated Systems
Generating trading agent strategies: Analytic and empirical methods for infinite and large games
Predicting parameters of the software validation effort
Syntactic Extension for Languages with Implicitly Delimited and Infix Syntax
Analysis and design of planar slot antennas for RFID applications using characteristic mode theory
Visual identification of people by computer
Augmented Transition Networks And Their Relation To Tree Manipulation Systems
Extending Cognitive Architectures with Spatial and Visual Imagery Mechanisms
Examining the use of user-centered design in gamification: a delphi study
Designing for Effective End-User Interaction with Machine Learning
A Characterization of Biplanar Graphs
Advancing Real-Time GPU Scheduling: Energy Efficiency and Preemption Strategies
Learning Control Knowledge for Planning
Parallel Boosting and Learning from Diverse Datasets
Modeling and Prediction of Privacy Decision-Making in IoT
Digital Systems and the Experience of Legacy: Supporting Meaningful Interactions with Multigenerational Data
Sensing Through Structure
Statistical modeling and simulation of variability and reliability of CMOS technology
A framework for exploring the relationship between nonlinear string vibration and frequency modulation
In pursuit of linear complexity in discrete and computational geometry
Set Operators
Control System Synthesis to Minimize Multiparameter Sensitivity
A Miniature Space-Variant Active Vision System: Cortex-I
Machine-independent "and" and "or" parallel execution of logic programs
Effective methods for manipulating and rendering skinned meshes
Algorithmic Algebraic Model Checking: Hybrid Automata & Systems Biology
A program to play chess end games
Efficient distributed graph algorithms for high performance computing contexts
Generating robot motion: the integration of planning and execution
Numerical modeling in open channel flow using techniques from evolutionary computing
Toward Unified Shader Programming
Learning Structured Contexts for Semantic Segmentation
Toward a model of children's story comprehension
Grounding robot motion in natural language and visual perception
Domain Knowledge-Assisted Methods for a Weakly Supervised Task: Automated Diagnosis of Idiopathic Pulmonary Fibrosis Using High Resolution Computed Tomography Scans
A programmable architecture and compiler for microfluidics
Social Choice for Social Good: Proposals for Democratic Innovation from Computer Science
Implications of Space-Bounded Computation
Optics and Algorithms for Designing Miniature Computational Cameras and Microscopes
A theory based on security analysis for comparing the expressive power of access control models
An efficient planarity algorithm
Architectural and Software Support for Executing Numerical Applications on High Performance Computers
Computer Graphics on Massively Parallel Machines
Increasing the Effectiveness of Educational Technologies with the Use of Machine Learning Methods
Convergence of Galerkin Variational Integrators for Vector Spaces and Lie Groups
Chip-Level Thermal Analysis, Modeling, and Optimization Using Multilayer Green's Function
Person Transfers Between Multiple Service Robots
Real-time soft tissue and suture simulation
Approximate Methods for Improving Surface Appearance
Strategic behavior in social environments
Unsupervised Morphological Segmentation and Part-of-Speech Tagging for Low-Resource Scenarios
New Applications of Data Redundancy Schemes in Cloud and Datacenter Systems
Curating Visual Information in Sequential Decision Making Problems
Computational Methods for Meiotic Recombination Inference
Enhancing Flash Storage Performance and Lifetime with Host-Guided Data Placement
Temperature-aware 3D-integrated systolic array DNN accelerators
Securing untrustworthy software using information flow control
Data Decomposition for Constrained Visual Learning
A parallel programming model with sequential semantics
What do we mean by 'preserving digital information'? Towards sound conceptual foundations for digital stewardship
The Effect of Arrangement on The Successful Use of Library Catalogs
High-frequency, slotless permanent magnet synchronous motor for aircraft propulsion
Growth properties of a class of recursively defined functions
Energy and Cost Efficient Data Centers
Physics-Based Animations of Large-Scale Splashing Liquids, Elastoplastic Solids, and Model-Reduced Flow
Preventing attacks in peer-to-peer document preservation systems
Predictive models of auditory perception in human electrophysiology
Diagnosing performance changes in distributed systems by comparing request flows
Smartphone-Based Pedestrian Tracking System for Visually Impaired People
Multiprocessor performance debugging and memory bottlenecks
Pattern Discovery for Hypotheses Generation in Biology
Hardware Variability-Aware Embedded Software Adaptation
Oasis: An agent-oriented programming language for heterogeneous distributed environment
Safety Methods for Robotic Systems
Example-Driven Question Answering
The multi-structured approach to the design of information systems
A modular and symbolic approach to static program analysis
Sequential Strategies for Automated Science and Protein Engineering
Experimentally validated quantum transport models for tunneling devices based on novel materials
Exploiting parallel memory hierarchies for ray casting volumes
Banding measurement for color laser printers color management system for digital cinema glare and shadow reduction
Physically-based simulation of solids and solid-fluid coupling
Efficient, Reconfigurable, and QoS-Aware Systems for Deep Neural Networks
Minimally Invasive Solutions to Challenges Posed by Mobility Changes
GOAL, a goal oriented command language for interactive proof construction
Coding Theory in Storage and Network
Practical Sampling for Ray-Based Rendering
Protecting Confidential Information from Malicious Software
Preventing the Memory Errors in the Large-Scale C/C++ Software
Computational Generation of Terrestrial Animal Locomotion
Best-first Word-lattice Parsing: Techniques for integrated syntactic language modeling
Timed Decision Table and Its Applications in Pre-Synthesis and Partial Synthesis of Digital Circuits
Protocol Selection, Implementation, and Analysis for Asynchronous Circuits
Modeling Internet Service Provider (ISP) Tier Design and Impact of Data Caps
Quality of Service for Performance-Critical Cloud Applications
Computer simulation modeling and circulation: An exploration of some of the factors that inhibit the adoption of computer simulation models in libraries
Strategy construction using a synthesis of heuristic and decision-theoretic methods
Building blocks for multi-hop and mobile ad hoc networks with free space optics
Code Generation and Optimization of Graph Programs on a Manycore Architecture
Adaptive virtual distributed environments for shared cyberinfrastructures
Backscatter Protocols and Energy-Efficient Computing for RF-Powered Devices
Study of Biological Ion Channels by Using PNP/ECP Model
Energy-Efficient and Error-Tolerant Digital Design
Constructing and mining structured heterogeneous information networks from massive text corpora
Structured Models for Vision-and-Language Reasoning
Crosstalk Noise in Deep Submicron Integrated Circuit Design
Learning-based inductive invariant synthesis
Predicting change points in multivariate time series data
A Compute Capable SSD Architecture for Next-Generation Non -volatile Memories /
Scalable Algorithms for Mining Graphs and Social Networks via Sampling
Planning for a Small Team of Heterogeneous Robots: from Collaborative Exploration to Collaborative Localization
Methods to Improve Applicability and Efficiency of Distributed Data-Centric Compute Frameworks
Sampling-Based Robot Task and Motion Planning in the Real World
Efficient User-Level Event Notification
Photoluminescence From Ion Implanted Silicon
Vision-based Manipulation In-the-Wild
Learning Scene CAD Recomposition
Reliability and Timing Aware GPU Management on Embedded Systems
Architectural and Compiler Techniques for Energy Reduction in High-Performance Microprocessors
Algorithms for improving the performance of optimistic parallel simulation
Text Processing for the Effective Application of Latent Dirichlet Allocation
Bounding the stack size of interrupt-driven programs
Customization and reuse in datacenter operating systems
Stochastic computation for energy-efficient robust ultra-low-power platforms
Designing Novel, Efficient Future Communication Systems Leveraging Network and Application Collaboration
Physics-Aware Tiny Machine Learning
Stochastic simulation of power systems with integrated renewable and utility-scale storage resources
Towards Customizable Pedagogic Programming Languages
Process Development and Characterization of AlGaN/GaN Heterostructure Field-Effect Transistors
Reuse of Retired Mobile Devices in Cyber-Physical Systems
A Sensible Approach to Speculative Automatic Parallelization
Modeling and characterization of non-ideal effects in high-performance RF MEMS tuners
Bridging the Memory-Storage Gap
High accuracy, lightweight methods for network measurement services
Algorithms and strategies for crowdsourcing systems
Efficient Learning in Heterogeneous Internet of Things Ecosystems
Studies in Conjugation: Huffman Tree Construction, Nonlinear Recurrences, and Permutation Networks
Algorithms for reconstruction and analysis of metabolic networks, with an application to Neurospora crassa
On the Complexity of Markov Decision Problems
Combination of Multiple Web Search Results and Its Effect on the Search Performance
Hydrodynamics on Smooth 2-Manifolds with Spherical Topology
Automatic Scaling Iterative
Laser physics and spectroscopy in alkali vapor-noble gas mixtures
Rewriting-based model checking methods
Exploiting Point Motion, Shape Deformation, and Semantic Priors for Dynamic 3D Reconstruction in the Wild
Integrating Compound Documents, File Systems, and Object Stores IN A Microstorage Architecture
Managing heterogeneous resources for dynamic energy-efficient sensing
Automated Complexity Analysis of NuPRL Extracts
Efficient Latent Semantic Extraction from Cross Domain Data with Declarative Language
Understanding and Recreating Visual Appearance Under Natural Illumination
To Fix the Image in Memory: Adaptive Analog Coding in Emerging Memory Systems
Using Program Visualization to Illuminate the Notional Machine
Task-based Embedded Assessment of Functional Abilities for Aging in Place
Graph Embedding via Subspace Minimization with Applications to Chip Placement and Semi-Supervised Learning
An effective computational approach to the comprehension of purposeful English dialogue
New Online and Approximate Scheduling Algorithms
Effective personalized delivery of information: A two-stage model and empirical analysis
The Existence of Hamilton Circuits in Tree Graphs
Topics in Network Information Representation and Communication
Distributed Coordination and Computation Synthesis
On computing the Pareto-optimal solution set in a large scale dynamic network
Segmentation of Neurons from Electron Microscopy Images
Computational Studies of Metal Oxide Hydrolysis and Improved Maximum Overlap Methods
Adaptive Multiresolution Techniques for I/O, Data Layout, and Visualization of Massive Simulations
The computational complexity of the circuit value and network stability problems
A Process Architecture and Runtime Environment for Dependable Distributed Applications
On the Gaussian Measure Over Lattices
Secondary Electron Multiplication in Microwave Field
Analyzing massive datasets with missing entries: models and algorithms
Understanding the evolution of HIV-1 Env through computational analysis and visualization of long-read amplicon sequences
Hearing aid fitting with genetic algorithms
Techniques for the Interactive Development of Numerical Linear Algebra Libraries for Scientific Computation
Probabilistic Inference: Theory and Practice (Learning, Inductive, Logic, Synthesis)
Algorithms for deciphering cancer genomes: from differential mutation to differential allele specific expression
Biologically Inspired Efficiencies in Computer Vision and Audition
Secure Computation Towards Practical Applications
Algorithms for Logic Design Automation (Rtcad, Synthesis)
Forming Family Identity: Designing Resonant Interactions for Sharing Family History
Reconstruction of Human Faces from Voice
Pulse: Database Support for Efficient Query Processing Of Temporal Polynomial Models
A Study of 2-D Phase Unwrapping
Conversion of Decision Tables Into Decision Trees
An Investigation of Sudden Frequency Deviations Due to the Immediate Ionospheric Effects of Solar Flares
The Dynamic Stability of Permanent-Magnet Step Motors
Toward language-independent program verification
Constructive logic and layout synthesis
Probabilistic Correspondence Mapping for Audiovisual Speaker Modeling
Neural Language Representations and Scaling Semi-Supervised Learning for Speech Recognition
Pushing the Boundaries of Language Model Adaptation: Enhanced Fine-tuning Strategies for Specialized Applications in Online Health Support and Cybersecurity
Out-of-Distribution Generalization of Deep Learning to Illuminate Dark Protein Functional Space
Effect of the Scheduling of Reactive-Volt-Ampere Generation on Power System Losses and Operating Costs
Evaluation of Methods for Data-Driven Tools that Empower Mental Health Professionals
Succinct Non-Interactive Arguments for Arithmetic Circuits
Adaptive mesh refinement for hyperbolic partial differential equations
Efficient Reinforcement Learning in Various Environments: from the Idealized to the Realistic
Towards Robust Models in Deep Learning: Regularizing Neural Networks and Generative Models
Multiplicative coding and factorization in vector symbolic models of cognition
Some Synthesis Techniques for Resistive N-Ports
Modality in the ways of context
Optimum Correction of Pincushion Distortion
Proximate Sensing: Geographic Knowledge Discovery in On-line Photo Collections
New Approaches to Aberration Correction in Medical Ultrasound Imaging
Efficient query processing for rich and diverse real-time data
Computational solution of global nonlinear least-squares problems
Validation of computational approaches for studying disordered and unfolded protein dynamics using polymer models
Subgraph Isomorphism Search with Multi-Query Optimization on GPUs
Characterization of VCSELs for Circuit Simulation
Multimedia visual information seeking
Scaling Automatic Modular Verification
The Web interfacing repository manager: a framework for developing web-based experiment management systems
"Procure, propagate, and distribute among the people": the information services of the U.S Department of Agriculture, 1862-1888
Accelerating Parameter Identifiability of Differential Models with Applications to Parameter Estimation
Achieving High Performance on Extremely Large Parallel Machines: Performance Prediction and Load Balancing
Invertibility and Input-to-State Stability of Switched Systems and Applications in Adaptive Control
Data-driven stochastic reliability assessment of the US electricity grid under large penetration of variable renewable energy resources
Supporting Query-Driven Cleaning in Probabilistic Databases
Impulse response measurement using complementary sequences /
Early Identification of At-risk Students and Understanding Their Behaviors
A regularization perspective on spectral sparsification
Algorithms and Software for High-Performance Fracture Simulation on GPU Architectures
Designing interactions that combine pen, paper, and computer
Improving data center power delivery efficiency and power density with differential power processing and multilevel power converters
Making runtime monitoring of parametric properties practical
The logical data model: a new approach to database logic
Enhanced Register Data-Flow Techniques for High-Performance, Energy-Efficient GPUs
Semi-supervised Regression with Generative Adversarial Networks Using Minimal Labeled Data
Towards Bridging the Divide: Enhancing Understanding of Digital Inequity
Database Processing on a Cube-Connected Multicomputer
Multimodel Design of Large Scale Systems With Multiple Decision Makers
Near Threshold Computing: From Single Core to Many-Core Energy Efficient Architectures
Avoiding State-Space Explosion in Multithreaded Programs with Input-Covering Schedules and Symbolic Execution
Concentration and Anti-concentration for Markov Chains
Investigating ECoG Signal Acquisition And Transmission in Brain Computer Interface Applications
Computational Models of Identity Presentation in Language
Improving branch prediction by understanding branch behavior
Practical Cloud Computing Infrastructure
End-to-End Learning for Autonomous Driving
Incompleteness + interoperability: a multi-paradigm approach to parallel programming for science and engineering applications
Contact-based state estimation and policy learning for robotic manipulation tasks
The prediction of HLA genotypes from next generation sequencing and genome scan data
Gossip and Information Flow in Networks
Gazelle: A Framework for Compositional Programming-Language Semantics and Reasoning
Lower Bounds for Error-Correcting Codes with Local Recovery
Augmenting Cartographic Resources and Assessing Roadway State for Vehicle Navigation
A Theory and Tools for Applying Sandboxes Effectively
Rational Multiparty Computation
Secure and Robust Censorship-Resistant Publishing Systems
Speech recognition with probabilistic transcriptions and end-to-end systems using deep learning
Mechanisms and Threads
VastMM-Tag: Semantic Indexing and Browsing of Videos for E-Learning
Continuous Model for Salient Shape Selection and Representation
Data-driven methods to improve resource utilization, fraud detection, and cyber-resilience in smart grids
Convex polynomial approximation
Reflection and Its Application to Mechanized MetaReasoning About Programming Languages
Cylinders: A Relational Data Structure
Dynamic Impact Analysis: Analyzing Error Propagation in Program Executions
Incentive Control Strategies for Decision Problems With Parametric Uncertainties (Large Scale Systems, Game Theory, Stochastic, Coordination, Sensitivity Analysis)
A log file service exploiting write-once storage
Learning Clinical Body Composition Metrics from 2D and 3D Optical Imaging
Enhancement of Monte Carlo Simulations on Three-Dimensional Nanoscale Semiconductor Devices
Software-Hardware Co-Defined Network Switch (SHADES) for a Label Switching Protocol
openCArM: open source camera array microscopy for Biology
Communication Challenges in Underwater Wireless Networks: MAC Protocols and Software Solutions
Exploiting solid state drive parallelism for real-time flash storage
Perception for Real-World Robotics Applications
Expected-case analysis with semirandom data models
Methods for Reinforcement Learning in Clinical Decision Support
Anti-Unification in Constraint Logics: Foundations and Applications to Learnability in First-Order Logic, to Speed-Up Learning, and to Deduction
Term rewriting and the word problem for certain infinite presentations of groups
Message passing algorithms - methods and applications
Multiple-input multiple-output visible light communication receivers for high data-rate mobile applications
Magnetic Resonance Image Reconstruction with Greater Fidelity and Efficiency
Dynamic Optimization in Hardware
Techniques for optimizing dynamic parallelism on graphics processing units
Stable, Scalable, Reduced-Order Methods for Physical Simulation
Fast numerical algorithms for optimal robot motion planning
Performative Prediction: Theory and Practice
Semi-Cooperative Learning in Smart Grid Agents
An Array Simulator Generator
ASPEN - An automatic partial differential equation solver
Dynamic Document Processing in Clustered Collections
Symmetry in Finite Combinatorial Objects: Scalable Methods and Applications
Methods for Analysis of Nanopore DNA Sequencing Data
Enhancing the performance, fault tolerance, and security of distributed data management systems
Designing Compact Data Structures for Network Measurement and Control
Destination-based Routing and Circuit Allocation for Future Traffic Growth
Black-box printer models and their applications
Enhancing Binary Code Security Through Pseudocode Diffing and Pointer Analysis
Automated Action Selection and Embodied Simulation for Socially Assistive Robots using Standardized Interactions
Computing Betweenness Centrality of Large Colored Graphs based on Data Reduction and Decomposition with a Case Study on Breast Cancer Analytics
A Unifying Mathematical Framework for Neural-Symbolic Systems
Computer-Automated Electrical Characterization of Semiconductor Devices
An Architecture for Network Function Virtualization
Knowledge base and database integration in the architectural design process
On variability and reliability of poly-Si thin-film transistors
Apprenticeship learning and reinforcement learning with application to robotic control
The Design and Implementation of Low-Latency Prediction Serving Systems