yusuke1997/dblp-id-title huggingface dataset:
Silicon Nanoelectronic Devices Fabricated by Ultra-High Vacuum, Scanning Tunneling Microscope Nanolithography
Regulating and Securing the Interfaces Across Mobile Apps, OS and Users
Prepaging and Applications to Structured Array Problems
UTMF: An Agile Approach to Domain Specific Modeling Languages
Privacy-Preserving Analysis with Applications to Textual Data
Robust Machine Learning by Integrating Context
Automatic Readability Assessment
Architectural & circuit level techniques to improve energy efficiency of high speed serial links
Group-Aware Stream Filtering
Distributed Almost Stable Matchings
Performance and Power Prediction of Compute Accelerators Using Machine Learning
Maintaining privacy during continuous motion sensing
Robust Machine Learning: Detection, Evaluation and Adaptation Under Distribution Shift
Large Scale Malware Analysis, Detection and Signature Generation
Expressive Collaborative Music Performance via Machine Learning
A Tag-Based, Logical Access-Control Framework for Personal File Sharing
Deep Learning Applications in Biomedical Sciences and Bioinformatics
Context-Preserving Visual Analytics of Multi-Scale Spatial Aggregation
Learning with Sparcity: Structures, Optimization and Applications
Prioritizing Security Practices via Large-Scale Measurement of User Behavior
Learning and Decision-Making in Complex Environments
Principles of usable query interfaces
A service-oriented architecture for dynamic macroprogramming of sensor networks
Density Functional Theory: Development and Applications
Forward ray tracing and remote object location in two dimensions
Solution of nonlinear least-squares problems
On the theory and application of pattern maximum likelihood
Improving Deep Learning Training and Inference with Dynamic Hyperparameter Optimization
Mixed Signal Neurocomputing Based on Floating-gate Memories
The Galois System: Optimistic Parallelization of Irregular Programs
Architectural optimization for performance- and energy -constrained sensor processors
Understanding the Brain using Machine Learning and Enhancing Machine Learning with Neuroscience
Optimization-Based Mappers and Lower Bounds for Tensor Problems
On Inducing A Non-trivial, Parsimonious, Hierarchical Grammar For A Givensample Of Sentences
Deep Learning in 3D Hand Pose and Mesh Estimation
Collaborative backup for self -interested hosts
Transparent distribution for Java applications
Conversational Composition - Techniques of composition derived from and driven by conversation
A design theory for totally self-checking and concurrent error detecting arithmetic circuits
Atomic Actions in Concurrent Systems (fault-Tolerance, Control)
Computationally advancing the predictive power of the nanoporous materials genome
Closing the perception-action loop: towards general-purpose robot autonomy
Intra-body Communications for Body Area Networks
Policy-Based Planning for Robust Robot Navigation
Algebraic and Boolean Methods for Computation and Certification of Ramsey-type Numbers
Combining Biochemical Signaling and Mechanics to Understand Yeast Mating Morphogenesis
The theory of repetition networks with application to computer programs
Elisa: a new system for AI-assisted logico-mathematical scientific discovery incorporating novel techniques in infinite model finding
Inductive Definition in Type Theory
Effects of Visual Representation and Recommendation Bias in Conversational Recommender System
Computational Methods for the Imputation and Prediction of Digital Health Data
A study of security issues of mobile apps in the android platform using machine learning approaches
Theory of Testing Computer Programs
Two Combinatorial Optimization Problems at the Interface of Computer Science and Operations Research
Theory and Observations of Horizontal and Vertical Structure of Gravity Wave Perturbations in the Middle Atmosphere
Automatic Generation and Management of Program Analyses
Improving end-to-end reliable transport using parallel transmission control protocol sessions
Identifying Children Autism Spectrum Disorder via Machine Learning based Behavior Analysis
Improving quality of high-throughput sequencing reads
Practical Mechanisms for Reducing Processor-Memory Data Movement in Modern Workloads
A p-adaptive stabilized finite element method for fluid dynamics
Undecidable Complexity Statements in a Hierarchy of Extensions of Primitive Recursive Arithmetic
Designing Fault-tolerant Algorithms for Distributed Systems using Communication Primitives
Modeling, Simulation, and Optimization of Variation-Aware Runtime-Reconfigurable Optical Interconnects
The Capacitor-Coupled Shift Register
Computational Methods for Optimization of Biological Organisms
Comprehensive loss optimization of induction motor drives
Social Computing for Social Good in Low-Resource Environments
Information Content and Communication in Virtual Reality
Randomized Pivoting and Spectrum-Revealing Bounds in Numerical Linear Algebra
A Study on Correlations between Genes' Functions and Evolutions
Approximate Query Answering Over Data Streams
Shape Synthesis Using Structure-Aware Reasoning
On The Utility of Fine-Grained Complexity Theory
It's All in Your Eyes: Gaze Tracking, Synthesis, and Redirection
Pursuit and Evasion Strategies in Zebrafish: Mathematical Modeling and Behavioral Experiments
Data science for social equality
Fast Internet-Wide Scanning: A New Security Perspective
On the Design and Analysis of Real-Time Computers
Modeling and control of high-performance single-phase power factor correction converters
Design, implementation and experiments for Moving Target Defense
Skin Stretch Feedback to Guide Hand Motions
Memory Organizations and Their Effectiveness for Multiprocessing Computers
Robust and Efficient Deep Learning for Multimedia Generation and Recognition
Activity Detection Using RF and Sensor Data Fusion
A data-driven, player-centric approach to designing spatial skill training video games
Debugging Large Scale Applications With Virtualization
Alternate Routing Protocols for Bridged Networks
Aggressive execution engines for surpassing single basic block execution
Circuit-Level Modeling and Simulation of Semiconductor Lasers
Floorplan Representation, Global Placement, and Routability Analysis for VLSI Layout Design Automation
Empirical approach to the complexity of hard problems
Informing the Design and Refinement of Privacy and Security Controls
State Estimation of Linear Systems Driven Simultaneously by Wiener and Poisson Processes
Design of robust spin-transfer torque magnetic random access memories for ultralow power high performance on-chip cache applications
Information Leakage in Encrypted Systems Through an Algorithmic Lens
Motion estimation from three-dimensional data
An Upcycled IoT: Creating Tomorrow's Internet of Things Out of Today's Household Possessions
Techniques to detect and avert advanced software concurrency bugs
Efficient Communication and Coordination for Large-Scale Multi-Agent Systems
Collaborative Learning: Aligning Goals and Outcomes
Quantification of Stochastic Behavior in Cardiac Electrophysiological Models
Defusing the Tension between Security and Performance with Secure Microarchitectures
Integrating specialized procedures into proof systems
Combining RF Machine Learning and RF Photonics to Enable New Analog Communications Architectures
Representation Reuse for Learning Robust RobotManipulations
Accelerating chemical similarity search using GPUs and metric embeddings
Neural 3D Representations for View Synthesis with Sparse Input Views
Load Management Techniques for Distributed Stream Processing
Decentralized object finding using forwarding address
Explainable Models of Performance on Networks
Automatic test generation for the detection of performance bugs in code optimization
Storage Physics and Noise Mechanism in Heat-Assisted Magnetic Recording
Using neural-machine interfaces to explore skill learning in central and peripheral nervous systems
Serial code accelerators for heterogeneous multi-core processor with 3D stacked memory
Three-Dimensional Tomographic Imaging of the Ionosphere Using Global Positioning System Measurements
Breaking Assumptions: Distinguishing Between Seemingly Identical Items Using Cheap Sensors
The Primary Backup Approach: Lower and Upper Bounds
AMSAA: an Anticipatory Algorithm for Online Stochastic Combinatorial Optimization
Using SpArcFiRe to Help Automate GALFIT's Multi-Component Decomposition of Spiral Galaxies
The Optimization of Horizontal Microcode within and Beyond Basic Blocks: an Application of Processor Scheduling with Resources
Cheap Talk, Trust, and Cooperation in Networked Global Software Engineering: Game Theory Model and Empirical Evidence
Improving datacenter network performance with multicast
Stabilization of the Rayleigh-Taylor Instability With Magnetic Feedback
Accelerating Data Movement at Different Granularities in Datacenters
An invariance in the partial visibility due to mobile source in planar scenes
Methods of mutational signature analysis for discovery, comparison, and drug response prediction
Finding color and shape patterns in images
Generic frameworks for interactive personalized interesting pattern discovery
Hardware support for advanced data management systems
"Bolt-on" Network Security for Advanced Manufacturing Deployments
Building Blocks for Data-Driven Theories of Language Understanding
Improving Efficiency and Quality of Data Collection with Machine Learning and Citizen Science
Statistical inference in networks: fundamental limits and efficient algorithms
Public digital note-taking in lectures
Improved Trajectory Planning for On-Road Self-Driving Vehicles Via Combined Graph Search, Optimization & Topology Analysis
Packed computation of exact meaning representations
Cogene: An Automated Design Framework for Domain-Specific Architectures
A New Framework for Semisupervised, Multitask Learning
Sharing Secrets for Fun and Profit
Computational Microscopy with Generalizable and Reliable Artificial Intelligence
Enabling new musical interactions with machine learning
Selfish Routing
Time-based strategies for semiconductor manufacture and test
Modelling the environment of an exploring vehicle by means of stereo vision
A VLSI Architecture for Concurrent Data Structures
Towards Precision Oncology: A Predictive and Causal Lens
Learning Single-Image 3D from the Internet
Error Correcting Coding on Channels With Memory
Liquids & Robots: An Investigation of Techniques for Robotic Interaction with Liquids
Galley: A New Parallel File System for Parallel Applications
Instructor-Centered Design of Tools to Support Teaching Programming and Data Science At Scale
Essays on Adaptive Experimentation: Bringing Real-World Challenges to Multi-Armed Bandits
Analysis and Design of Ultrasound Phased Arrays for Hyperthermia Cancer Therapy
Efficient Similarity Search with Cache-Conscious Data Traversal
Towards Automatic Discovery of Human Movemes
Automating Datacenter Operations Using Machine Learning
Combining Neural Population Recordings: Theory and Application
Exploiting Mobile Plus In-Situ Deployments in Community IoT Systems
"Onions, Shallots and Leaks: Anonymous Communications Through Public Networks"
Automated Reasoning of Database Queries
Learning with Sparsity and Scattering Networks
Using statistical monitoring to detect failures in internet services
Generating Variations in a Virtual Storyteller
Performance-driven chip floorplanning and global routing
Topics in Combinatorial Algorithms
Multi-dimensional computational imaging from diffraction intensity using deep neural networks
Aquaborg: From mythological hybrids to assistive techno-fashion
End-to-end Learning for Robust Decision Making
Fuzzy disk modeling and rendering of textured complex three-dimensional surfaces of real objects
Type systems for object-oriented programming languages
Studying people, organizations, and the web with statistical text models
Generative models for neural time series with structured domain priors
Human Motion Anticipation and Recognition from RGB-D
Query Processing of Sorted Lists on Modern Hardware
Avoidance Routing
Colored Petri Nets: Their Properties And Applications
A Higher-Order Finite Element: Boundary Integral Method for Electromagnetic Scattering and Radiation From Bodies of Revolution
Learning in a Changing World:\\Covariate Shift, Subset Selection and Optimal PAC Bounds
Learning to Interact with the 3D World
Partial Implementations of Abstract Data Types: Theory and Practice
Versatile Biological Sample Preparation Platform using Microfluidic Cell Sorting Device
Identification and analysis of curves in digital images
Visual Analytics Techniques for Investigating Large-Scale HPC Profiles and Trace Data
Heterogeneously bonded vertical cavity surface emitting lasers and thermal modeling
Architectural Alternatives to Reduce Remote Conflict Misses in Shared-Memory Multiprocessors
Perceptually Based Tone Mapping for Low-Light Conditions
Computational tools for understanding biological and artificial neural networks
Organizational Routines and Adaptability
Electron Interactions in Gaseous Discharge Plasmas and Their Effect on Cyclotron Resonance
Kinetic data structures
User profiling in social networks based on graph data: bridging local and global structures
Distributing and Disaggregating Hardware Resources in Data Centers
State reduction methods for automatic formal verification
Topics in combinatorics and algorithms
Dynamic Imaging by Motion Estimation
Studies on Secondary Coordination Sphere Effects in Metal and Enzyme Catalysis
An on-Line Electro-Optical Video Processing System
Information Reliability on the Social Web - Models and Applications in Intelligent User Interfaces
Checking validity of quantifier-free formulas in combinations of first-order theories
"Sudo make me a smart device": Accelerating and automating the end-to-end design of smart devices
Does Mood Change How We Organize Digital Files?
The Role of the High Level Specification in Programming by Transformation: Specification and Transformation by Parts
The Sensitivity and Control of Distributed Parameter Systems
Algorithmic Challenges in Green Data Centers
Enabling Robot Arm Motion with Multiple Objectives Through Agent Representation and Reasoning
Style quantification for field classification
A Limited Connection Arithmetic Unit
Dynamic procedure aids support crisis attention
Transfer of rule-based expertise through a tutorial dialogue
RDMA-Based Distributed Data Structures for Large-Scale Parallel Systems
Generation of synthetic workloads for distributed real-time computing systems
Actionability and incremental interpretation
Improving System Reliability for Cyber-Physical Systems
The complexity of decision problems in automata theory and logic
Rethinking System Design for Expressive Cryptography
Numerical Methods for Hypersingular and Near-Singular Boundary Integrals in Fracture Mechanics
3D face processing for animation and biometrics
Post-transcriptional gene expression regulation in developmental disorders
Efficient Algorithms for a Mesh-Connected Computer with Additional Global Bandwidth
Towards Effective Tools for Debugging Machine Learning Models
Mapping and scheduling of concurrent communication traffic in multicomputer networks
Feature preservation and negated music in a phase vocoder sound representation
Synthesis and Verification of Controllers for Robotics and Manufacturing Devices with Temporal Logic and the "Control-D" System
Abstract Partitioning and Routing of Logic Networks for Custom Module Generation
A Template Approach to Natural Language Analysis for Information Retrieval
Optical Phase Space Measurements and Applications to 3D Imaging and Light Scattering
Formal reasoning in software-defined networks
Enabling Resilience in Cyber-Physical-Human Water Infrastructures
Understanding Neural Networks from Theoretical and Biological Perspectives
Multi-Scale Optical Coherence Tomography Imaging
Clock Synchronization for Multihop Wireless Sensor Networks
Remedying Security Concerns at an Internet Scale
Finding Structure in Entropy: Improved Approximation Algorithms for TSP and other Graph Problems
Diagnosis, Self-Diagnosis and Roving Diagnosis in Distributed Digital Systems
Opinion integration and summarization
Bayesian Models for Science-Driven Robotic Exploration
Fast Algorithms for Burst Detection
Game-theoretic analysis of deregulated electricity markets: From retail to wholesale
Operational Refinement for Compiler Correctness
Models of Human Phone Transcription in Noise Based on Intelligibility Predictors
Approximate and Bit-width Configurable Arithmetic Logic Unit Design for Deep Learning Accelerator
Inaudible acoustics: Techniques and applications
Novel Computer Aided Design (CAD) Methodology for Emerging Technologies to Fight the Stagnation of Moore's Law
Managing Data Locality in Future Memory Hierarchies Using a Hardware Software Codesign Approach
Unsupervised feature learning via sparse hierarchical representations
Learning Robust Visual-Semantic Retrieval Models with Limited Supervision
Privacy, Security, and Flexibility in Distributed Computing
A Framework for Congestion Management Analysis
Multiphysics modeling and simulation for large-scale integrated circuits
The Neurodynamic Basis of Real World Face Perception
Mdl-Based Band Selection and Adaptive Penalties for Hyperspectral Image Segmentation
The Impact of Information in Cooperative and Noncooperative Systems
Unsupervised Representation Learning with Correlations
Effects of ear-canal geometry and middle-ear pressure on wideband acoustic reflectance
Three Lenses on Improving Programmer Productivity: From Anecdote to Evidence
Intensity-Dependent Optical Nonlinearities in Liquid Carbon-Disulfide Near 10 Microns
Obfuscation and Security for Digital Integrated Circuits
Opportunities for Near Data Computing in MapReduce Workloads
Reinforcement Learning for Power Management of Batteryless Sensing Systems
The Role of MHC Variation in Tumor Progression
Extensions to unification grammar for the description of programming languages
When Are Nonconvex Optimization Problems Not Scary?
Rapid Acquisition of Telephone Line Channel for High Speed Data Transmission Without Using Training Sequences
Instrumentation Analysis: An Automated Method for Producing Numeric Abstractions of Heap-Manipulating Programs
CPU Service Classes: A Soft Real -Time Framework for Multimedia Applications
Topics in Image-Formation Algorithms for Synthetic Aperture Radar
LiSP: Lightweight security protocols for wireless sensor networks
A Framework for Grid Solvers
Monte Carlo Methods for 2-D Compaction
An Inductive Engine for the Acquisition of Temporal Knowledge
Deep Learning-Based Human Action Understanding in Videos
A Graphically-Programmed, Microprocessor-Based Industrial Controller
Low Overhead Data Race Detection Techniques for Large OpenMP Applications
Improving and leveraging the interpretability of deep neural networks for genomics
Self-Improving Crowdsourcing: Near-Effortless Design of Adaptive Distributed Work
Kinetic vertical decomposition trees
Development of the Fast Multipole Method for Stratified Medium
Cooperative caching for object storage
Application-based energy efficient mobile and server computing
Modeling and Simulation of High-Speed Digital Circuit Interconnections
A Singular Perturbation Approach to Power System Dynamics
Trust and anonymity in peer-to-peer systems
Theory and practice of failure transparency
Power, Interconnect, and Reliability Techniques for Large Scale Integrated Circuits
Using Network Models to Relate Local Interactions with Global Topology: Applications to Protein Interactions and Emergent Multi-Body Structures
Technology-Driven Design Abstractions, Principles, and Tools for Superconductor Electronics
General-Purpose Computing on Tensor Processors
Automated image sharpening via supervised learning with human preferences
Transcribing real-valued sequences with deep neural networks
Wire Aware Cache Architecture
Systematic approaches to mine, predict and visualize biological functions
NMR studies of quantum thermalization
Valid Time RDF
Fundamental Results on Asynchronous Parallel Optimization Algorithms
Community Cellular Networks
Cost-Efficient Approximate Log Multipliers for Convolutional Neural Networks
Objective assessment of sonographic quality for breast cancer imaging
Efficient recovery algorithms with restricted access to strings
Specification, Composition, and Automated Verification of Layered Communication Protocols
Enhanced digital modulation of coherently coupled vertical cavity laser arrays: theory and application
Detecting Nondeterminism in Shared Memory Parallel Programs
Computational Genetic Approaches for the Dissection of Complex Traits
Digital Image Segmentation and On-line Print Quality Diagnostics
An operator-based model of human covert visual attention
On the automatic generation of plans for mechanical assembly
Program analysis and scheduling for distributed computing on handheld devices
A Study of Generation-Annealing - Charging of Oxide and Interface Traps in Metal-Oxide - Semiconductor Structure Using Tunneling and Hot Electron Injections
Learning to drive: perception for autonomous cars
Lazy Transaction Execution Models
Diffusion Distance: Efficient Computation and Applications
Tetrahedral Mesh Improvement, Algorithms and Experiments
Distributed Path Pascal: A Language for Programming Coupled Systems
Proof rules for Communicating Sequential Processes
Optimization Strategies for Qos-Sensitive VOD Service Delivery in Cooperative Environments
Energy-Efficient and Reliability-Driven Management of IoT Systems
Cognitive gameplaying: playing games with cognitive computing
Online scheduling algorithms for average flow time and its variants
Automatic performance evaluation in surgical simulation
Leveraging latent structure in high-dimensional data: causality, neuroscience, and nonparametrics
On Compiling Regular Loops for Efficient Parallel Execution
Graph Drawing Metrics and Representations with Applications
Approximation algorithms, Hardness, and PCPs
Practical, Efficient, and Reliable Data Center Communication
Automatic Methods to Enhance Server Systems in Access Control Diagnosis
Adapting Across Domains by Aligning Representations and Images
Extending Sensing Capabilities and Modalities of Mobile Devices
Learning Deep Representations for Low-Resource Cross-Lingual Natural Language Processing
Dynamic Hardware Resource Management for Efficient Throughput Processing
A perceptually-based decision theoretic framework for interactive rendering
Network Privacy and User Protection in the Internet of Things
Streamroller : A Unified Compilation and Synthesis System for Streaming Applications
Multimodal deep learning systems for analysis of human behavior, preference, and state
Mass Minimization of DC-Dc Converters in Portable Electrical Energy Sources
Examining older users' online privacy-enhancing experience from a human-computer interaction perspective
Scaling Causality Analysis for Production Systems
Machine Learning for Query Optimization
Performance Evaluation of Token Control Networks
Reimagining Social Practices for Encouraging Reuse in Communal Dining Contexts
Efficient Location-Aware Node and Object Discovery in Large-Scale Networks
Making Differential Privacy Practical via Modern Privacy Accountings and Data-adaptive Analysis
Contributions to Information-Based Complexity and to Quantum Computing
A Portable Mechanism for Thread Persistence and Migration
Multivariate Transfer Function Design
Tackling Bias within Computer Vision Models
Efficient Object-Oriented Constraint Solving for Complex Models
Some Techniques in Universal Source Coding and Coding for Composite Sources
Unsupervised video segmentation and its application to activity recognition
Interpretations of Machine Learning and Their Application to Therapeutic Design
Applying Formal Methods to Distributed Algorithms Using Local-Global Relations
A System to Support Object-Oriented Design Evolution
Using virtual machines in modern computing environments with limited architectural support
Continuous LWE and its Applications
Enabling Compositional Generalization of AI Systems
The Modeling and Animation of Myriapoda
Thick Surfaces: Interactive Modeling of Topologically Complex Geometric Details
Inducing event schemas and their participants from unlabeled text