yusuke1997/dblp-id-title huggingface dataset:
Leveraging knowledge networks for precision medicine
Social networking: security, privacy, and applications
Parallel algorithms for band SPD systems of linear equations
Unified Framework for Concurrent Security
Data-Driven Visual Forecasting
Enriched Content: Concept, Architecture, Implementation, and Applications
Solving Matrix Sensing to Optimality under Realistic Settings
Molecular Stochastics: A Study of Direct Production of Stochastic Sequences From Transducers
Reasoning Across Language and Vision in Machines and Humans
Multiple Media Correlation: Theory and Applications
Topics in Large-Scale Sparse Estimation and Control
A stream processing approach to interactive graphics on clusters of workstations
Constrained machine learning: algorithms and models
Task flow: A novel approach to fine-grain wafer-scale parallel computing
Analysis and Design of On-line Decision-making Solutions for Time-Critical Planning and Scheduling Under Certainty
Characterizing and Measuring "Bad Ads" on the Web
Answering Queries Over Inconsistent Databases Using SAT Solvers
Geometry-Informed Data-Driven Mechanics
A State-Specific Complete Active Space Self-Consistent Field Approach for Strongly Correlated Electronic Excited States
Predictive Duty Cycling of Radios and Cameras using Augmented Sensing in Wireless Camera Networks
A Class of Cellular Computer Architectures to Support Physical Design Automation (Vlsi Layout, Integrated Circuit, Routing)
Navigation of Time-Coded Data
Executing Quantifiers in FASE Specifications
Pyrope: A Latency-Insensitive Digital Architecture Toolchain
Impedance and Other Properties of Gold Doped Silicon P-N Junctions
Internet congestion control architecture with application-aware utilities and adaptive timescales
Iterative Global Flow Techniques for Detecting Program Anomalies
Information-fusion-based methods to improve the detection of advanced cyber threats
Program Synthesis for Systems Developers
Flat optics based on patterned nanostructures for concentrating light
Investigations on Sets and Types
Accelerating Text-as-Data Research in Computational Social Science
Verification and Enforcement of State-Based Notions of Opacity in Discrete Event Systems
Pedigreed belief change
Visual control of foot placement when walking over complex terrain
Advances in Deep Generative Modeling With Applications to Image Generation and Neuroscience
On populations, haplotypes and genome sequencing
A Comprehensive Approach to the Performance Measurement and Evaluation of Large-Scale Computer Systems
Distributed Stochastic Optimization for Deep Learning
Network Synthesis to Minimize Multiparameter Sensitivity
Password-Based Cryptographic Protocols in the Client-Server Setting
Security-Policy Analysis with eXtended Unix Tools
The Study of Ultrasonic Pulse-Echo Subwavelength Defect Detection Mechanism
Fairness of Exposure for Ranking Systems
Leveraging clustering for efficient communication in opportunistic networks
Recursive functions of regular expressions in language analysis
An Explicit Certified Method for Path Planning Problem of an SE(3) Robot
Prototyping a Prototyping Language
Scaling Image Processing and Reconstruction to Whole Brains
Integrating Dataflow Evaluation into a Practical Higher-Order Call-by-Value Language
Grammar-Based Semantic Parsing Into Graph Representations
Efficient Statistical Models For Detecting And Analyzing Human Genetic Variations
Discovering and Exploiting Structure for Gaussian Processes
Improving Application Security at Scale by Reducing System Call and Library Overprivilege
Enhancing Coexistence, Quality of Service, and Energy Performance in Dynamic Spectrum Access Networks
The impact of correlated variability on models of neural coding
Data science for human well-being
Multicast Support for Heterogeneous Packet Flows
Topological Characterization of Distributed Computability
Memory and object management in RAMCloud
Differential Surface Kinematics for Time-Varying, Surface-Surface Floating Contact Interactions
Interactive Source -Level Debugging of Optimized Code
Latin hypercube designs for computer experiments
Design mining the web
Advanced applications of multilinear maps in cryptography
APPROXIMATE: A Query Processor That Produces Monotonically Improving Approximate Answers
Structure and Feedback in Cloud Service API Fuzzing
The design of a minimal expandable computer language
Light Transport on Path-Space Manifolds
Learning with Diverse Forms of Imperfect and Indirect Supervision
Communities in Social Networks
Larger-Context Neural Machine Translation
Scalable Inference Algorithms for Determinantal Point Processes
III-V and 2D Devices: from MOSFETs to Steep-Slope Transistors
Study of waves observed in the equatorial ionospheric valley region using Jicamarca ISR and VIPIR ionosonde
A Theory for Algorithm-Based Fault Tolerance in Array Processor Systems
Optical quantum random number generation: applications of single-photon event timing
Flexible, stretchable, and transient electronics for integration with the human body
Optimal Decision Making in Interdependent Network Security
Reconstruction and Visualization of Architectural Scenes
Modeling and Simulation of Electric Power Systems with Large Shares of Renewable Energy
Column subset selection for approximating data matrices
Effective Algorithms for the Satisfiability of Quantifier-Free Formulas Over Linear Real and Integer Arithmetic
Dynamics of investor attention on the social web
Crowd-Driven Computer Vision
Supporting the visualization and forensic analysis of network events
Efficient Remapping Mechanisms for an Adaptable Memory System
Circumventing Lower Bounds in Mechanism and Tournament Design
Re-mastering the Master's Tools: Recognizing and affirming the life experiences and cultural practices of urban youth in critical computational literacy through a video game project
Robustness and Optimization of Scrip Systems
Control, analysis, and design of distributed inverter systems
On Query Formulation in Information Retrieval
A hybrid SPMD - coarse grain dataflow parallel programming model
Compiler Optimizations and Attuning for Stencils and Geometric Multigrid
Functional Components as a Paradigm for Neural Model Explainability
Automatic Parallelization: An Incremental, Optimistic, Practical Approach
Learning to Edit Code: Towards Building General Purpose Models for Source Code Editing
Best effort delivery in connectionless networks
On the Human Form: Efficient acquisition, modeling and manipulation of thehuman body
Learning models of human movement from video
Computational Contributions Towards Scalable and Efficient Genome-wide Association Methodology
Fast Algorithms for Volterra-Series-Based Nonlinear Adaptive Filters
Spline collocation methods, software and architectures for linear elliptic boundary value problems
Image Segmentation with Hierarchical Models
Modeling and predicting trustworthiness of online textual information
The Semantics of Shared Variables in Parallel Programming Languages
Lip Reading as an Active Mode of Interaction with Computer Systems
A Module Diagnostic Procedure for Combinational Logic
QoS adaptation in real-time systems
An Analysis of the Friendship Paradox and Derived Sampling Methods
Analyzing Source Code Across Static Conditionals
Image and video object selection
No-Regret Learning and Game-Theoretic Equilibria
Optimization Algorithms over Distributed Systems
Algorithms for sparse matrix eigenvalue problems
Robust 3D Quantitative Phase Imaging
Language Mechanisms for Context Switching and Protection in Level Structured Operating Systems
Improving the reliability and performance of virtual cloud infrastructures
Some Studies of Oscillations in Non-Linear Systems
Automatic algorithm derivation and exploration in linear algebra for parallelism and locality
Type-Directed Program Synthesis
Integrative analysis of complex genomic and epigenomic maps
Supervision Beyond Manual Annotations for Learning Visual Representations
On Modeling Order and Structure With Applications to Computer Vision and Time Series Data
Physics and Simulation of High-Speed Heterostructure Devices
Algorithms for decoding cancer genomes : phylogenetic inference and haplotype assembly
A microfluidic biosensor to electrically enumerate blood cells at point-of-care for infectious disease diagnosis and management
Unsupervised Learning of Feature Hierarchies
Techniques to Address Unreliability and Variability of Computing Systems
Eliciting and Aggregating Information: An Information Theoretic Approach
The Coupled Bootstrap Framework for Risk and Error Estimation
Computational Methods for Next-Generation Online Media Ecosystems
Visual Query Optimization: Algorithms and Software Systems
Quantum Machine Learning Without Any Quantum
Transactional Programmability and Performance
Collective Pulse Dynamics: A New Timing Circuit Strategy
Tape Reversal and Parallel Time
Community Detection in the Stochastic Block Model: fundamental limits
Building High Performance Adaptive Communication Systems for Components
A Logic Design Procedure to Facilitate Fault Detection
Abstractions for Software-defined Networks
Developing, Synthesizing, and Automating Domain-Specific Accelerator
Distributed content collection and rank aggregation
User-centric Recommendation Systems
Arithmetic Codes for High Speed Multipliers
Dynamic Connectivity, Hopsets, and Byzantine Agreement
Improving The Internet Architecture at The Transport Layer
Statistical Methods for studying Genetic Variation in Populations
Experience Graphs: Leveraging Experience in Planning
Abstraction-based deductive-algorithmic verification of reactive systems
Deep Learning Models for Spatio-Temporal Forecasting and Analysis
Statistical Recursive Estimation Algorithms for Speaker Adaption
Analysis and design of algorithm-based fault-tolerant systems
Learning 3D Registration and Reconstruction from the Visual World
Methods for robust training and evaluation of deep neural networks
Towards Efficient, Customizable, and Communal Natural Language Processing
Graph Summarization Meets Representation Learning for Scalable Feature Summarization: Methods and Applications
Distributed Manipulation with Mobile Robots
Tackling nanoscale IC failures through noise-aware testing and silicon debugging
Computing moral hypotheticals
Low-latency Image Recognition withGPU-accelerated Convolutional Networksfor Web-based Services
Declarative semantic definition, as illustrated by a definition of Simula 67
Leveraging network structures in understanding node predictions and fairness
Text mining at multiple granularity: leveraging subwords, words, phrases, and sentences
Marked Temporal Point Processes for Irregular Time Series in the Context of Medical Data and Recommendation Systems
Hardware accelerators for post-quantum cryptography and fully homomorphic encryption
Type checking and type inference for object-oriented programming languages
A Bayesian Approach to Beamforming for Uncertain Direction -of -Arrival
Efficient Summarization Techniques for Massive Data
The modeling of virtual memory systems
Supporting Multi-User Interaction in Co-Located and Remote Augmented Reality by Improving Reference Performance and Decreasing Physical Interference
Latent Modeling of the Human Epigenome
Voting and historical games
Communication-Centric Energy Conservation for Multi-Hop Wireless Networks
Extracting Cognitional and Behavioral Information from Online Discussion Forum
A Probablistic Framework for Explanation
Distance-aware Algorithms for Scalable Evolutionary and Ecological Analyses
Dense Human Surface Reconstruction with Lightweight Multi-view System
Time-Based Coordinated Checkpointing
Intelligent Software in the Era of Deep Learning
Enhanced automatic generation control with uncertainty
Wave-Mediated Haptics: Leveraging Wave Transport for Dynamic Tactile Feedback
Data-driven Graph Analysis
The Design and Implementation of a Context -Aware File System for Ubiquitous Computing Applications
Nonlinear Oscillations in a Second Order System
Adversarially robust machine learning with guarantees
Performance study of distributed deadlock detection algorithms for distributed database systems
A scalable, deployable, heterogeneous internet directory service
Communities of Practice as Information Systems: Humanities Scholars and Information Convergence
Color, Texture, and Shape Features for Content-Based Image Retrieval
A framework for color image indexing and object recognition: Spectral and spectral spatial gradients
Fine-Grained Connections Between Exponential and Polynomial Time
Efficient and Scalable Architectures for Persistent Memory Systems
Simulation- and Deduction-Based Techniques for Fault Diagnosis
High Availability Mapping and Localization
A Principled Approach to Parallel Job Scheduling
Guided data cleaning
Robust and Efficient Algorithms for Federated Learning and Distributed Computing
A Perceptually Driven Investigation of Point-Sampled Soft Shadows
Efficient Hidden-Surface Removal in Theory and Practice
Uncertainty Calibration for Robotic Navigation and Vision
Cross-layer design of random access wireless networks
Making computers keep secrets
Transformation Of Loop Programs For Parallel Execution
Understanding Biomedical Machine Learning Models
Performance Analysis of Today's Networks: Network of Social Entities | Network of Caches
Multi-Bit Delta-Sigma Modulation Technique for Fractional-N Frequency Synthesizers
Algorithms for fair public and private resource allocation
Proteins, interactions, and complexes : a computational approach
Classification and detection of computer intrusions
Satisfying strong application requirements in data-intensive cloud computing environments
Advances in computer bridge: techniques for a partial-information, communication-based game
Dynamic analysis of Cyber-Physical Systems
Semantic taxonomy induction
Scalable Methods for Processing Massive Geometric Meshes
Secure Systems from Insecure Components
The Cultural Origins of Youth Services Librarianship, 1876-1900
Crafting Machine Learning Defenses against Adversaries
A methodology for performance modeling of distributed systems based on client-server protocols
A computational investigation on spatial and temporal dynamics of cAMP
A Dual Perspective on Computational Complexity
Imposing Minimal Memory Ordering on Multiprocessors
Range data analysis by free-space modeling and tensor voting
Query-limited reducibilities
Generation, coordination, and re-afferent signaling of rhythmic whisking in rodents
Efficient Support for Speculative Tasking
Reducing Wide-Area Satellite Data to Concise Sets for More Efficient Training and Testing of Land-Cover Classifiers
Quantifying Context and its Effects in Large Natural Datasets
Efficient Parallel Algorithms for Disjoint Paths and Connectivity
Decision Regions for Multi-Stage Allocation Problems
Topics in Automated Theorem Proving and Program Generation
Efficient near-optimal scheduling of multiprocessor systems
Efficient Sequential Decision Making
Open-world Object Detection and Tracking
Building Visually-aware, Dynamic, and Efficient Recommender Systems
New Methods in Sublinear Computation for High Dimensional Problems
Analysis of coalesced hashing
Dynamic Algorithms for Shortest Paths and Matching
Adversarial Reasoning: A Logical Approach for Computer Go
Chu spaces: a model of concurrency
The Expert is the Obstacle: Building a General Framework for Learned Robot Motion
Beyond Simple Relevance: Balancing Heterogeneous Criteria in Information Retrieval Applications
Quality Evaluation, Denoising and Inpainting for Point Clouds Compressed by V-PCC
Homomorphic Simplification Of Systems
Social Media Analytics for Stance Mining A Multi-Modal Approach with Weak Supervision
Pangine Disassembler: Implementing and Evaluating Non-sequential Code Analysis with Non-chronological Backtracking
Binary classification with adiabatic quantum optimization
Directory Assisted Routing of Content in Information-Centric Networks
Analyzing Usable Security, Privacy, and Safety Through Identity-Based Power Relations
Interpretation of mammalian brain rhythms of sensorimotor processing
A Language-Based Approach to Smart Contract Engineering
Design and implementation of HyTeK: A knowledge-based hypertext system
Automating Physical Database Design: An Extensible Approach
Deep Representation Learning for Multimodal Data Retrieval
Path Planning and Communication Strategies to Enable Connectivity in Robotic Systems
Design of Display Stream Compression Video Codecs
Exploring social discrimination with artificial life
Contributions to algorithmic techniques in automated reasoning about physical systems
Sound and Precise Analysis of Multithreaded Programs through Schedule Specialization and Execution Filters
A Comparative Study of Some Visual Speech Displays
The benefits of acoustic perceptual information for speech processing systems
Automated Filter Rule Generation for Adblocking
Vision-Based Navigation for a Small Fixed-Wing Airplane in Urban Environment
Content-based Similarity Search in DNA Data Storage Systems
Runtime Support For Maximizing Performance on Multicore Systems
Software Understandability: an Empirical Study (Comprehension, Requirements, Specifications, Expertise, Methodology)
Image Correspondences from Perceived Motion
Design and Performance Analysis of Wireless Networks
A Spectro-Temporal Framework for Compensation of Reverberation for Speech Recognition
ESCAPE: Energy Scavenging Collar for Animal Physiology and Ecology
Use of meta level knowledge in the construction and maintenance of large knowledge bases
An Extensible Overlay Infrastructure for Wide-Area Stream Processing and Dissemination
Cooperative and Non-Cooperative Flow Control in Mobile Ad Hoc Networks
Practical Analysis for Refactoring
Hierarchical Plan Formation and Failure Recovery in the Flight Domain
Methodologies for Broadband Electromagnetic Modeling of on-Chip Semiconductor Substrate Noise
Deciding who, what, why, and how: aggregating preferences over agents, alternatives, axioms, and rules
Service execution in a distributed environment
Reuse Techniques for Efficiently Evaluating a Sequence of Iterative Graph Queries
Beyond bounded rationality : towards a computationally rational theory of motor control
Distributed Rc Networks With Rational Transfer Functions
Scaling High-Performance Interconnect Architectures to Many-Core Systems
Surprising Empirical Phenomena of Deep Learning and Kernel Machines
Automated Assistive-Service Driven Accessibility Testing for Mobile Applications
Participatory Design in Digital Language Documentation: A Web Platform Approach
Towards Finding the Optimization Potential of Fine-Grained Locks
Secure Automated and Autonomous Systems
Optimal pagination techniques for automatic typesetting systems
Design of fault-tolerant hypercube computers
Utility Scheduling for Multi-Tenant Clusters
Heterogeneous wireless networks: networking protocol to security
Use of three-dimensional curves in computer vision
Efficient Game Solving Through Transfer Learning
Reverse Engineering Real World Trusted Systems
Data Driven Algorithms For Perception With Applications To Autonomous Driving, Energy And Mixed Reality
Groups with Solvable Word Problems
Differential MMSE: A New Approach for Adaptive Interference Suppression Over Time-Varying Channels
Cache behavior in the presence of speculative execution: The benefits of misprediction
Scalable Sensor Network Field Reconstruction with Robust Basis Pursuit
Deterministic Compressed Sensing
Performance Study of Two Phase Locking in Single-Site and Distributed Database Systems (Concurrency Control, Queueing Network, Pre-Claim, Ordering)
Incorporating solid state drives into distributed storage systems
Efficient Protocol Verification Using Rule-Based Systems
Adaptation and Augmentation: Towards Better Rescoring Strategies for Automatic Speech Recognition and Spoken Term Detection
Hybrid Analog-Digital Co-Processing for Scientific Computation
Towards Query Processing in Video Database Management Systems
Developing Trustworthy Hardware with Security-Driven Design and Verification
Built-in self-repair of embedded VLSI arrays by electronic neural nets
Modular Specification of Partitioning and Distribution Strategies
Internet TV
An Architecture for Collaborative Problem-Solving Control in Associate Systems
Wind farm model for power system stability analysis
Linear Difference Games With Delays
An Exploration of Mechanisms and Policies for Gateways in Real-Time Embedded Systems
Mobile Persuasive Technologies for Rural Health
Generic architectures for efficient Hyper-Dimensional Computing
Improving Application Connectivity with Network-Conscious Systems
A User-Tailored Approach to Privacy Decision Support
Geodesic Problems in High Dimensions
Solar: Building A Context Fusion Network for Pervasive Computing
Anticipation from biological motion: the goalkeeper problem
Automated Interpretation of Machine Learning Models
Practical Recompilation of Multithreaded Binaries: Choreographing Static and Dynamic Techniques
Resource Allocation in Smart Infrastructure: Case Studies in Video Delivery and Electric Power Networks
The Unprecedented Risks and Opportunities of Extended Reality Motion Data
OS/architecture interactions and their influence on computer architecture
Verifying Constant-Time Execution of Hardware
Learning from Rewards in Text Generation
Assistive HRI interface with perceptual feedback control: an approach to customizing assistance based on user dexterity
Simulation of Rarefied Flows in MEMS Devices by Atomistic and Multiscale Methods
Privacy, Disclosure, and Social Exchange Theory
The Structure of Secure Multi-Party Computation
Decentralized Network Algorithms
Decoding Doctoral Student Departure: A Mixed-Methods Study of Faculty Perceptions and Student Realities in Computing
Protection in commodity monolithic operating systems
Training Transferable Knowledge with Games
Computational Models of Learning and Hierarchy
Dynamic Binary Lifting and Recompilation
Deception in Spoken Dialogue: Classification and Individual Differences
Linguistic and Gestural Adaptation
The semantics of deductive databases
Technology and skill: Educational considerations in the implementation and use of advanced manufacturing technology
Extending GOMS to human error and applying it to error -tolerant design
Computational Complexity Implicationsof Secure Coin-Flipping
Learning to Detect Geometric Structures from Images for 3D Parsing
Characteristics of business incubators influencing collaboration among member startup firms
Information -Theoretic Approach to Deformable Image Transformations With Application to Brain Image Segmentation
Control of Excitons and Quantum Emitters in Two-Dimensional Materials
Frozen Gaussian Approximation for Elastic Waves, Seismic Inversion and Deep Learning
Multilabel Classification over Category Taxonomies
A Bayesian Fusion Approach and Its Application to Integrating Audio and Visual Signals in HCI
On Optimal Control Problems With State-Variable Inequality Constraints
Toward Coding for Self Foundations: Exploration of Early Coding Motivation in Latinx, Elementary Learners
A framework for comparison of methods for solving complemetarity problems that arise in multibody dynamics
YB:YAG master oscillator power amplifier and PPLN optical parametric amplifiers for remote wind sensing
Using Workload Prediction and Federation to Increase Cloud Utilization
Single neuron modeling and data assimilation in BNST neurons
Lithium niobate RF-MEMS oscillators for IoT, 5G and beyond
Big Data & Spectral Graph Theory
Computational Methods for Inferring Mechanisms of Biological Heterogeneity in Single-Cell Data
Lidar and Modeling Studies of the Mesospheric Iron and Sodium Layers
An algorithmic toolbox for plant phenotyping with 3D point clouds
Kernel-based association measures
Protein Structure Accuracy Prediction with Deep Learning and its Application to Structure Prediction and Design
Combinatorial Multi-armed Bandits in Competitive Environments
A density-functional theory investigation of electrides and related exploratory, localised-electron systems
Decision Procedures for Equationally Based Reasoning
Formalization of dynamic trust and uncertain evidence for user authorization
The Symphony of Alignment: Ensuring Fairness and Mitigating Bias in Foundation Models