yusuke1997/dblp-id-title huggingface dataset:
Scalable Query Evaluation over Complex Probabilistic Databases
Applications of Context-Aware Systems in Enterprise Environments
Bounds for Nearest Neighbor Algorithms and Embeddings
Identifying, Quantifying, Extracting and Enhancing Implicit Parallelism
Sparse modeling of high-dimensional data for learning and vision
From Pixels to Layers: Joint Motion Estimation and Segmentation
Integer-Coordinate Crystalline Meshes
Generative modeling of sequential data
Scheduling Imprecise Hard Real-Time Jobs With Cumulative Error
Multiple Description Video Coding and Digital Walkthrough Compression Using Coset Codes
Input Shaping to Achieve Service Level Objectives in Cloud Computing Environments
Formal Analysis of Floating-Point Programs in Uncertain Environments
\Sigma\Delta Stream Computation: A New Paradigm for Low Power and High Resolution Feedback Control
Resilient Interdomain Routing With BGP: Protocols and Reliability Engineering
A Systematic Framework to Optimize and Control Monoclonal Antibody Manufacturing Process
Source Code Retrieval from Large Software Libraries for Automatic Bug Localization
Vision-based Assistive Indoor Localization
Simulating Chemical Processes From Brownian Diffusion to Binding Thermodynamics
Slow Light Based on Quantum Effects in Quantum Wells and Quantum Dots
Towards Secure Machine Learning Acceleration: Threats and Defenses Across Algorithms, Architecture, and Circuits
A polyhedral compiler for image processing hardware
Fundamental analysis of the tomographic imaging system for reconstructing ionospheric distributions
Statistical Approach for Functionally Validating Transcription Factor Bindings Using Population SNP and Gene Expression Data
Trust Extension as a Mechanism for Secure Code Execution on Commodity Computers
Interactive Information Complexity and Applications
Understanding and Estimating Uncertainties and Risks in Architecture Design: from Analytical Analysis to Detailed Simulation
3D Object Detection, Instance Segmentation and Classification from 3D Range and 2D Color Images
Computational Framework for the Ab Initio Description of Noncollinear Magnetism
Fast MRI with sparse sampling: models, algorithms, and applications
Architectural Support of User-Level Input/Output
Efficient Hypervisor Based Malware Detection
Representation and generation of terrain using mathematical modeling
ALEX - A Paradigm for Expressing and Compiling Matrix Functions
Securing the Future of Biotechnology: A Study of Emerging Bio-Cyber Security Threats to DNA-Information Systems
Flow Optimization in Dynamic and Continuous Networks (Polymatroids, Submodular, Max-Flow Min-Cut)
Machine learning under limited resources
A compiler assisted remote computation progress monitoring mechanism in grid environment
Pretrained Representations for Embodied AI
Protocols and systems for privacy preserving protection of digital identity
Interface Engineering of Voltage-Controlled Embedded Magnetic Random Access Memory
Whole Sentence Spelling and Grammar Correction Using a Noisy Channel Model /
A dynamic component suppression algorithm for the acceleration of vector sequences
Adaptive Distributed Systems Spanning Cloud-Edge Networks
Domain Invariant and Semantic Aware Visual Servoing
Higher Inductive Types and Internal Parametricity for Cubical Type Theory
"Continuous-state Graphical Models for Object Localization, Pose Estimation and Tracking"
Learning to Play Network Games
Using predictions for planning and modeling in *stochastic environments
Flexible and Scalable Systems for Network Management
Computational and Statistical Advances in Testing and Learning
Realization of the a-Matrix of Half-Degenerate Rlc Networks
Real-time power system topology change detection and identification
Dynamic cryptographic hash functions
A modular approach to observational equivalences
Network-oriented controls of Internet services
Mobility, Route Caching, and TCP Performance in Mobile Ad Hoc Networks
An analysis of Hebb's cell assembly as a mechanism for perceptual generalization
In Search of a "Fair Explanation": Helping Young People to Consider the Possibilities, Limitations, and Risks of Computer- and Data-Mediated Systems
Meta-learning for few-shot image classification
The unsupervised learning of natural language structure
Pose: Scalable General-Purpose Parallel Discrete Event Simulation
Advances in Deep Space Exploration via Simulators and Machine Learning
An improved particle-based method with applications to multiscale biophysical problems
Gap analysis identifying the current state of information security within organizations working with victims of violence
Adventures in Quantumland
Underwater Localization and Mapping with Imaging Sonar
New Developments on Quantitative Imaging Using Ultrasonic Waves
Tree-Structured Models of Multitext: Theory, Design and Experiments
Global Data Plane: A Widely Distributed Storage and Communication Infrastructure
Can Machine Learning Help People Configure Their Mobile App Privacy Settings?
The Effects of Network Structure and Social Information on Contribution Performance on Crowdfunding Platforms: An Experimental Investigation
Predicting Images using Convolutional Networks: Visual Scene Understanding with Pixel Maps
Ultra-low power processor design using sub-threshold design techniques
Re-examining Metrics for Success in Machine Learning, from Fairness and Interpretability to Protein Design
Coding for discrete memoryless two-way channels
Engineering relativistic fermions in condensed matter systems
Abstract reasoning for multiagent coordination and planning
State Space Methods Using Biologically-Relevant Generative Models to Analyze Neural Signals
Design and analysis of solar cells by coupled electrical - optical simulation
Tradeoffs in Cryptography
Programming of Mechanism Motions
Efficiently Designing Efficient Deep Neural Networks
Non-Hermitian aspects of coherently coupled vertical cavity laser arrays
Computational Sensing in Biophotonics and Diagnostics
Scalable hybrid data dissemination for internet hot spots
Upper and Lower Bounds on the Performance of Parallel Algorithms
Life Span and Self-Repair in Complex Systems
Unsupervised learning: evaluation, distributed setting, and privacy
Leveraging Context for File Search and Organization
Reliable control of decentralized systems: An ARE-based H(infinity) approach
Scaling Limit of Anyonic Chains and Quantum Simulation of Conformal Field Theory
Large Scale Spatial Data Management and Analysis
Understanding and supporting selective sharing
Leveraging Novel Teaching Domains Toward Broader Participation in Computing
Algorithms for interactive, distributed and networked systems
Towards automatic debugging of computer programs
Monocular 3D Reconstruction of Articulated Shapes with Weak Supervision
On mutation and data flow
Automatic Data Partitioning on Distributed Memory Multicomputers
A Visual Analytics Exploratory and Predictive Framework for Anomaly Detection in Multi-fidelity Machine Log Data
Vision-Based Control of a Handheld Micromanipulator for Robot-Assisted Retinal Surgery
Learning to Manipulate Using Diverse Datasets
Reversal-Bounded Computations
Bayesian Auction Design and Approximation
Interactive Digital Photography at Scale
Large Scale Information Integration on the Web: Finding, Understanding and Querying Web Databases
Robustness and generalization guarantees for statistical learning of generative models
Fast approximations for combinatorial optimization via multiplicative weight updates
Numerical Solution of Stiff Ordinary Differential Equations Using Collocation Methods
Automatically-Generated Form Screens as a Database Interface Language (Human Factors, Information Systems)
A Low-Power Mobile Sensing Architecture
Towards Intelligent Computational Tools for Virtual Cinematography
Natural language interfaces for semi-structured web pages
Automated Reference Librarians for Program Libraries and Their Interaction With Language-Based Editors (Software Engineering, Program Development Tools)
Structure and Randomness in Complexity Theory and Additive Combinatorics
Improved Interior Point Methods for Some Structured Combinatorial Problems
Large Scale Simulations and Stochastic Modeling of Interfacial Transport Processes
Addressing Variability in Speech when Recognizing Emotion and Mood In-the-Wild
Tools and Techniques for the Sound Verification of Low Level Code
Cryptography in the age of quantum computers 2.0
Reflection and transmission coefficients in multi-wave inhomogeneous media
Heirloom Wearables: A Hybrid Approach to the Design of Embodied Wearable Technologies
A Trainable Syntactic Model for Syntax Specification and Recognition of Handdrawn Two-Dimensional Patterns
Human-centric machine learning: enabling machine learning for high-stakes decision-making
Construction of Component-Based Applications by Planning
Transportation techniques for geometric data processing
Quantifying Uncertainty in Data Exploration
Stochastic Analog Computation for Machine Learning
Applications of Data Science and Artificial Intelligence to Decision Making in Healthcare and Finance
Visual Understanding through Natural Language
Making Neural Network Models More Efficient
Improving Knowledge Base Population with Information Extraction
Computational Approaches to the Syntax-Prosody Interface: Using Prosody to Improve Parsing
Practical Symbolic Execution Analysis and Methodology for GPU Programs
New consistency orchestrators for emerging distributed systems
Geometric shape matching and drug design
Novel Damage Assessment Framework for Dynamic Systems through Transfer Learning from Audio Domains
Multimodal Learning from Videos: Exploring Models and Task Complexities
Feedback control of a convective instability
On Minimal-Variance Control of Linear Systems With Quadratic Loss
Adaptive strategies in non-convex optimization
Bug Report Quality Prediction and the Impact of Including Videos on the Bug Reporting Process
Consistent Query Answering Of Conjunctive Queries Under Primary Key Constraints
Precise and Efficient Dynamic Analysis of Systems Software
Hierarchical Composition of VLSI Circuits
Synthesis of Probabilistic Communication Nets
Policy Delegation and Migration for So_x009f_ware-De_x009d_ned Networks
Source Free Domain Adaptive Machine Learning and Unlearning
Solos (Dice Game) and Conductor (Neural Network)
Simple, Fast, Scalable, and Reliable Multiprocessor Algorithms
Replication and fragmentation of composite objects in distributed database systems
Interactive Cross-Dimensional Media for Collaboration and Guidance in Mixed Reality Environments
Toward joint water-power electric grid modeling
Predictive Control of Uncertain Systems based on Motion Prediction
Components and Technology Development for Personal Diagnostics Laboratory
Social Engineering Defense Mechanisms and InfoSec Policies: A Survey and Qualitative Analysis
Cyber-Physical-System-On-Chip (CPSoC): An Exemplar Self-Aware SoC and Smart Computing Platform
Human-Centered Program Synthesis
Mapping mmWave Propagation for Robust Communications and Sensing
Sequence Capacity and Flow in Protein Structures: A Computational Framework
Sensing and Learning Channel State Information in a Dynamic Wireless Environment with Cognitive Radios and Networks
Improving performance, efficiency, and reliability of DC-DC conversion systems by differential power processing
Controls on Surface and Sedimentary Processes on Continental Margins from Geophysical Data: New Insights at Cascadia, Galicia, and the Eastern North American Margin
Path Planning Algorithms under the Link-Distance Metric
Structural Vibration Based Occupant Activity Recognition in Real-world Environments
Generalized Stochastic Equations and Their Applications to Plasmas
Energy Minimization under Uncertainty using Coordinated Multi-phase Synthesis Techniques
Distantly supervised information extraction using bootstrapped patterns
Studies on Millimeter Wave Generation
Knowledge-Intensive NLP for Real-World Information Needs
Improving ultrasonic imaging using novel coded excitation techniques
Open Vocabulary Part Grounding in Multimodal Large Language Models
The design, implementation and evaluation of Jade: a portable, implicitly parallel programming language
Toward Practical Application-Aware Big Data Systems
Functional programming abstractions for weakly consistent systems
Analyzing, Optimizing and Synthesizing Scenes by Reasoning About Relationships Between Objects
Peer-to-Peer Data Sharing in Named Data Networking
Design and Evolution of Metalloenzymes Through Multi-Scale Approaches
Deciding whether to plan to react
Computational Modeling of Photonic Crystal Microcavity Single-Photon Emitters
Minimizing cost and environmental impact of electric power system operation
Efficient Methods for Empirical Tests of Behavioral Economics Theories in Laboratory and Field Experiments
Computational methods for regulating transcription and translation
Analysis and Automated Discovery of Attacks in Transport Protocols
Building tractable probabilistic graphical models for computer vision problems
Modeling the Impact of Human Mobility: Mobile Devices as Sensors and Content Vectors
2D-Centric Interfaces and Algorithms for 3D Modeling
Selected machine learning reductions
Translating FORTRAN to Dataflow Graphs
Measurement of the Electron Density and the Attachment Rate Coefficient in Silane/helium Discharges
Low-cost structured-light 3d capture system design
Enabling Direct Bluetooth-WiFi Communications
Computer-Assisted Approaches to Intrafascicular Multielectrode Stimulation
Holistic Management of Energy Storage System for Electric Vehicles
Gradient light interference microscopy for imaging strongly scattering samples
High-Speed Indium Gallium Phosphide/indium Gallium Arsenide/indium Phosphide Doped-Channel HFETs and Implanted Gallium Arsenide Enchancement/depletion-Mode MESFETs Technology With an f(T) Over 130 GHz
Holistic Algorithm and System Co-Optimization for Trustworthy and Platform-Aware Deep Learning
Sidestepping hardness in statistical problems
Scheduling, Characterization and Prediction of HPC Workloads for Distributed Computing Environments
Design of efficient and accurate statistical approaches to correct for confounding effects and identify true signals in genetic association studies
Scaling Searchable and Transactional Storage Systems
Towards Reconstructing Non-rigidity from Single Camera
Learning companion systems
The impact of asynchrony on computer architecture
Combinatorial optimization on embedded curves
Optimal economic stabilization policy
Ray tracing on a stream processor
A mathematical model of evolutionary computation and some consequences
Art-based Modeling and Rendering for Computer Graphics
Self-Modeling Neural Systems
An approach to computer language design
Bias Mitigation in Galaxy Zoo Using Machine Learning Techniques
Modeling and Characterization of Heterojunction Bipolar Transistors
A dialogue moderator for program specification dialogues in the PSI system
Hybrid Automated Fault Localization in Programs Written by Novice Programmers
Design of Efficient Simple COMA Architectures
Design of a Data-Driven Micro-Display for Situation Awareness in Bursty Environments (When Not Much Is Happening Most of the Time)
A Numerical Study of Rays in Random Media
Multi-modal Models for Goal-oriented Planning
Adaptive Resource Management for Mobile Multiprocessors through Computational Self-Awareness
Element-wise matrix sparsification and reconstruction
Cloud To Cloud Registration For 3d Point Data
Proximity, interactions, and communities in social networks : properties and applications
A Minimum Spanning Tree Framework for Inferring Phylogenies
Towards Power- and Energy-Efficient Datacenters
Sensing and Actuation Technologies for Dexterous Manipulation in Constrained Environments
Efficient Array Processing for Partial Signal Coherence
Creating Usable Policies for Stronger Passwords with MTurk
Computer-aided design-based high-frequency electromagnetic wave scattering from complex bodies
Thermal-Aware CAD for Modern Integrated Circuits
Bayesian Optimization Algorithm: From Single Level to Hierarchy
Learning action models for reactive autonomous agents
Task Assignment in Distributed Systems
Techniques for Efficient and Effective Mobile Testing
Exploratory Investigation of Erbium Silicide NMOS as a Candidate for a Schottky Barrier CMOS Process
Symmetric Cryptography: New Definitions and Schemes
Software Instruments
A Study of the Expressive Power of Homomorphism Counts
From Static to Dynamic Electric Power Network State Estimation: The Role of Bus Component Dynamics
Statistical Text Analysis for Social Science
End-to-end Customization of Efficient, Private, and Robust Neural Networks
An Analysis Of The Behavior Of A Class Of Genetic Adaptive Systems
An Algorithmic Approach to Analyzing Social Phenomena
Reliable Multimodal Models
Resource-Constrained Sensing as a Shared Utility
Sensor-Mediated Empathy: A Mixed Methods Investigation of Social Biosensing
A flexible fine-grained adaptive framework for parallel mobile hybrid cloud applications
Building Operating Systems Services: An Architecture for Programmable Buildings
A computer graphics system for macromolecular model building
Activating Big Data at Scale
A toolkit for constructing refactoring engines
Computational phase imaging for biomedical applications
The effect of on-chip ESD protection on reliable high-speed I/O link equalization power consumption
Eliminating Dynamic Computation Redundancy
New Learning Frameworks for Information Retrieval
Controlling Neural Language Generation
Parallel Algorithms for Real-time Motion Planning
Toward Future Brain-Computer Interface: Concurrent Neural Signal Acquisition and Brain Stimulation in CMOS
Distributed Evaluation of Batches of Iterative Graph Queries
Towards Deployable Robust Text Classifiers
Understanding and Improving Blind Students' Access to Visual Information in Computer Science Education
On quantifying the quality of information in social sensing
Classic and Modern Challenges in Statistical Estimation
Generalized Selective Harmonic Control
Dynamics of individual learning
Learning Toward Object Invariance Across Modalities
Mixed Variational Bayesian Learning Methods and Inverse Prediction of Continuum Deformation Mappings
Data-Efficient Machine Learning for Computational Imaging
Probabilistic Approaches for Pose Estimation
The Design of Efficient and Secure Lattice-based (FH)E
The Modeling Spectrum of Data-Driven Decision Making
Designing Efficient Memory for Future Computing Systems
Power-efficient Design of Multi-Gbps Wireless Baseband
Acquisition of pseudonoise sequences in direct-sequence spread-spectrum systems
Design of low-cost dependable systems for distributed embedded applications
P-Recursive Integer Sequences and Automata Theory
Simulating drug responses in laboratory test time series with deep generative modeling
Market Efficiency and Dynamics
Replica Control Protocols That Guarantee High Availability and Low Access Cost
Multi-Model Heterogeneous Verification of Cyber-Physical Systems
Speech Synthesis from Found Data
Predicting, Engineering and Interpreting Gene Regulatory Sequences and Proteins with Deep Learning
Plan generation and hard real -time execution with application to safe, autonomous flight
Parallel algorithms for test generation and fault simulation
A decompositional search algorithm for efficient diagnosis of multiple disorders
Runtime Compilation of Array-Oriented Python Programs
Latency-bandwidth tradeoffs in Internet applications
Elimination of Rotational Latency by Dynamic Disk Allocation
Optimization inWeb Caching: Cache Management, Capacity Planning, and Content Naming
Sub-millimeter Acoustic Tracking for Medical and VR Applications
Geometric coding for error resilient image compression
Cost Effective Soft Error Mitigation in Microprocessors
Efficient Execution of Tightly-Coupled Parallel Applications in Grid Computing Environments
Novel Tools and Algorithms for Time Series Analysis
Comparing human and machine visual perception
Perspective Identification in Informal Text
Rigid object motion estimation from intensity images using straight-line correspondences
Advancing Graph Neural Networks for Complex Data: A Perspective Beyond Homophily
Physically-Motivated Learning For Photorealistic Scene Reconstruction and Editing in the Wild
A Novel Approach to Beam Steering Using Arrays Composed of Multiple Unique Radiating Modes
Supertree-like methods for genome-scale species tree estimation
A Fast Timing Simulator With Accurate Reduced-Order Interconnect Models
Debugging Large Scale Applications with Virtualization
Exploiting Network Structure to Improve Government Performance
Using Graphs for Topic Discovery
Robustness and approximation in combinatorial optimization
The Effects of Geometric Distortions on Distance Judgments in Virtual Environments
Optimizing Future Perfect: A Model for Composition with Genetic Algorithms
Neurosymbolic Machine Learning for Reasoning
Cryptocurrency Privacy in Practice
Augmenting Real-World Haptic Interactions
Query Processing for Massively Parallel Systems
Sub-Nyquist Multicoset and MIMO Sampling: Perfect Reconstruction, Performance Analysis, and Necessary Density Conditions
Reasoning about Resource-bounded Knowledge: Theory and Application to Security Protocol Analysis
A Hierarchical Computational Framework for Social Interaction Understanding: Interactiveness, Shared Attention, Gaze Communication and Triadic Belief Dynamics
The Energy Transport Properties of One-Dimensional Anharmonic Lattices
Native Graph Support in Relational Data Systems
On the Design and Scheduling of an Index Processing System for Very Large Databases
Characterization of Failure Handling in Fault-Tolerant Multiprocessor Systems
Dynamic integration of camera motion, multiresolution image acquisition and coarse-to-fine surface reconstruction from stereo
Neural network computing using on-chip accelerators
Optimum Design and Sensitivity of Discrete-Data Linear and Nonlinear Systems
A polymorphic type system for logic programs
Verifying the Performance of Network Control Algorithms
Optimal Control of Linear Systems With Time Lag
Topologic and Geometric Constraint-Based Hexahedral Mesh Generation
Probabilistic theory for topological approximation and copositive matrix
Improving the end-to-end latency of datacenter applications using coordination across application components
Extensional reasoning
Pose Machines: Estimating Articulated Pose in Images and Video
Visualizing Multimodal Uncertainty in Ensemble Vector Fields
The interpretation of persuasive discourse
A Study of the Relationship Between Size of Monographic Collections and Internal Duplication in A Select Group of Libraries Using Lcs (Library Computer System)
Public key cryptanalysis using algebraic and lattice methods
Preconditioning and Locality in Algorithm Design
Combatting Advanced Persistent Threat via Causality Inference and Program Analysis
Effective online decision-making in complex multi-agent systems
A Systematic Approach for Obtaining Performance on Matrix-Like Operations
Program Synthesis over Noisy Data
Individual Welfare Maximization in Electricity Markets Including Consumer and Full Transmission System Modeling
Combining Computation with Geometry
Developing Accessible Teleoperation Interfaces for Assistive Robots with Stakeholders
Three-Dimensional Object Search, Understanding, and Pose Estimation with Low-Cost Sensors
A study of several specific secure two -party computation problems
ThisCollegeStory.com: How Interactive Writing Media Influenced the Way First-Year Students Made Sense of their College Transition
Theory and design of a hybrid pattern recognition system
The Material Point Method for Solid and Fluid Simulation
An Analysis of Third Party Tracking of Abortion Data
Improving real-world access control systems by identifying the true origins of a request
Simulation on Rational Design for High-Performance Electrochemical Energy Storage
Leveraging replicable sources of variability to increase power and interpretability in analyses of genomic datasets
Using packet histories to troubleshoot networks
Design and Analysis of Robust Variability-Aware SRAM to Predict Optimum Access-Time to Achieve Yield Enhancement in Future Nano-Scaled CMOS
Object discovery for virtual worlds