yusuke1997/dblp-id-title huggingface dataset:
Privacy Enhancing Techniques for Digital Identity Management
Optimal Instruction Scheduling for a Class of Vector Processors: an Integer Programming Approach
A broadly applicable 3-D neuron reconstruction framework based on deformable models and software system with parallel GPU implementation
Data-driven Approaches for Personalized Head Reconstruction
Perceptual organization and visual recognition
Minimax Optimality in Online Learning under Logarithmic Loss with Parametric Constant Experts
Static and dynamic facility layout problems
Computer Vision Algorithms for Magnetic Resonance Imaging
Information Fusion for Robust Audio -Visual Speech Recognition
Advancing AND/OR Abstraction Sampling and AND/OR Search-Based Computational Protein Design
Entity resolution and tracking on social networks
Synthetic Aperture Radar Image Formation for the Moving -Target and Near -Field Bistatic Cases
Overcoming Communication, Distributed Systems, and Simulation Challenges: A case study involving the protection and control of the electric power grid using a utility intranet based on internet tech
WikiTrust: Content-Driven Reputation for the Wikipedia
Merge Trees and Their Variants for Scientific Visualization
Computation of cache misses in matrix multiplication
Lens-Free Computational Microscopy for Disease Diagnosis
Integrating Human Expertise and Multi-Modal AI in Digital Pathology
Noise-Tolerant Digital System Design
Estimating Student Competence in Engineering Statics From a Lexical Analysis of Handwritten Equations
Building Fast, CPU-Efficient Distributed Systems on Ultra-Low Latency, RDMA-Capable Networks
Energy-efficient wireline transceivers
Structural Defense Techniques in Adversarial Machine Learning
The Correlation Between Classical and Pole-Zero Sensitivity
Proximity problems for point sets residing in spaces with low doubling dimension
Advanced Software Techniques for Emerging Memory Technologies
Structured Text Data Understanding and Construction in Natural Language Interfaces
A Multi-Scale Model of Brain White-Matter Structure and Its Fitting Method for Diffusion MRI
Stochastic prediction in sequential high-dimensional observation space
Thallo: a domain specific language for non-linear least squares optimization in visual computing
Algorithmic Approaches to Detecting Interviewer Fabrication in Surveys
Understanding Problem Solving and Collaboration in Open-Ended Environments
Lightweight Programming Abstractions for Increased Safety and Performance
Space-efficient schemes for message routing in distributed networks
Topics in systems reliability: storage, execution, and security
Closing the Loop Between Language and Vision for Embodied Agents
Algorithms and Interfaces for Sketch-Based 3D Modeling
The LZ algorithm to solve the generalized eigenvalue problem
Foundations for Speculative Side Channels
Interactive Direct Volume Rendering of Curvilinear and Unstructured Data
Causal inference: methodological advances with an application to climate impact
Designing visual text analysis methods to support sensemaking and modeling
FSM-Centric Speculative Parallelization for Scalable Data Processing
Development and Evaluation of Software Tools for Speech Therapy
Reification and affordances in a user interface for interacting with heterogeneous distributed applications
Inductive and Deductive Synthesis for Database Applications
Visibility analysis of landmark-based navigation
Tractably Adaptable Food Manipulation for Robot-Assisted Feeding
Distributed Optimization Methods Robust to Byzantine Attackers
Structured Deep Probabilistic Machine Learning Models with Imaging Applications
Simulation of High Frequency Waves Reflected From a Turbulent Ionosphere for Spread Spectrum Systems
Generating Language-Based Editors: A Relationally-Attributed Approach
Efficient Full-Wave Analysis and Modeling of Interconnects by FDTD and Signal Processing Techniques
Modeling Source Code For Developers
Noise Processes in the Dynamic Crossed-Field Photomultiplier
Learning Using Spectral Methods
Understanding Long-Term Storage Access Patterns
Password Authenticated Key Exchange Variants for Practical Password Security
Enhancing System Transparency, Trust, and Privacy with Internet Measurement
Algorithms and lower bounds for parameter-free online learning
Understanding Online Malicious Behavior: Social Malware and Email Spam
Calibration of multi-bit per stage pipelined ADC using statistical properties of capacitor arrays
Bayesian Models on Manifolds for Image Registration and Statistical Shape Analysis
Robust, Personalized, and Context-aware Affect Monitoring in Daily-life
Adapting Swarm Applications: A Systematic and Quantitative Approach
Learning Generative Models with Energy-Based Models and Transformer GANs
Multiprocessing and Runtime Programmability on Virtualized RMT Switches
Exam: An environment for XACML policy analysis and management
Reading, Writing, Relationships: The Impact of Social Network Sites on Relationships and Well-Being
Exploiting Random Walk Strategies in Automated Reasoning
A Magnetic Circuit Approach to the Prediction of Variable-Reluctance Step Motor Static Characteristics
Enhancing Quadcopter Capabilities via Design and Control
Reliable Low -Power Solution for High -Performance VLSI Circuit Design
Learning Models that Match
Procedural reasoning in constraint satisfaction
Epipolar Constrained Multi-camera Arrays for Embedded 3D Vision
Electronic Trapping Properties of Gold Center in Silicon
Asymptotic and absorbing boundary conditions for finite element analysis of digital circuit and scattering problems
Memory Subsystems for Security, Consistency, and Scalability
Sparking an increase in volumetric and specific density for power converters with avant-garde thermal management strategies, topologies, and packaging schemes
Generative Models as a Robust Alternative for Image Classification: Progress and Challenge
Object and Scene Reconstruction using Neural Radiance Fields
A framework for behavioral synthesis from partial design structures
A framework for video annotation, visualization, and interaction
Parallel Processing Of Sequentially Specified Algorithms
Beyond summary statistics: extracting etiological insights from genome-wide association cohorts
Fast Training of Generalizable Deep Neural Networks
Online Learning Techniques for Improving Robot Navigation in Unfamiliar Domains
Portable, Scalable Approaches for Improving Asynchronous Many-Task Runtime Node Use
Fairness and Privacy Violations in Black-Box Personalization Systems: Detection and Defenses
Auto-Assessment of Student Learning
Succinctness of Descriptions of Context-Free, Regular and Finite Languages
The Sample Complexity of Learning Dynamical Systems
HIVE: operating system fault containment for shared-memory multiprocessors
Low Power Adaptive Wireless Circuits for the Internet of Things and In-body implants
Locality in coding theory
Performance measures for a data-base management system
Noise-Centric Decoding
White Collar Read: The American Public Library and the Left-Led CIO: A Case Study of the Chicago Public Library, 1929-1952
Transport Theory for Materials with Spin-Orbit Coupling: Physics to Devices
Essays on Organizational Learning Processes and Outcomes in Healthcare
Robust algorithms for infrastructure establishment in wireless sensor networks
Non-Redundant Clustering
A Logic Test Chip for Optimal Test and Diagnosis
Modular SMT-Based Verification of Rule-Based Hardware Designs
A domain-independent system that aids in constructing knowledge-based consultation programs
Multilevel logic network synthesis system, SYLON-XTRANS and read-only memory minimization procedure, MINROM
Limits on Computationally Efficient VCG-Based Mechanisms for Combinatorial Auctions and Public Projects
Design, analysis, and implementation of effective network flow watermarking schemes
Analysis of the Correlation Function of a Class of Markov Processes
Generative Image AI for Design
Specialization without complexity in heterogeneous memory systems
Language Expressiveness Under Extreme Scarcity in Programmable Data Planes
A Task Execution Framework for Autonomic Ubiquitous Computing
Mesh-Mon: a Monitoring and Management System for Wireless Mesh Networks
Computer Simulation of the Three-Receiver Drift Experiment
Using Synthetic Nanopores for Single -Molecule Analyses: Detecting SNPs, Trapping DNA Molecules, and the Prospects for Sequencing DNA
Matrix sampling algorithms for topics in machine learning
Sub-Elementary Classes of Functions and Relations
Reduced-order modeling of power electronics components and systems
Computational Lighting Design and Image Filtering for Material Enhancement
Compaction-Based Parallelization
Multilevel Methods for the Poisson-Boltzmann Equation
New Data Protection Abstractions for Emerging Mobile and Big Data Workloads
Co-Located Augmented and Virtual Reality Systems
Reconfigurable Optically Interconnected Systems
Reliable Sensing for Automation in Adverse Conditions
Concurrency Control using Locks in Distributed Databases
A structural view of approximation
Design and Analysis of Sponsored Search Mechanisms
An extensible architecture for monitoring and modeling network systems
Middleboxes as a Cloud Service
Quantifying wellness and disease with personal, dense, dynamic data clouds
Characterization and Optimization of Resource Utilization for Cellular Networks
Creating accurate privacy nutrition labels through cross-platform code annotation
Automatic generation of data-flow analyzers : a tool for building optimizers
A Systematic Method for the Creation of Data Structures in Computer Graphics Applications
Counter-masquerading: a logicist-AI approach to interventionist strategies
Decision Procedures for Finite Sets with Cardinality, and Local Theories Extensions
Optimization of Inductive Assertions
Securing Internet-of-Things via Fine-grained Network Detection and Prevention
Computational Considerations for Targeted Learning
Practical End-to-End Analysis of Information Flow Security Policies
Bridging cognition and neurobiology with large-scale cortical dynamics and multimodal brain data
Electrodynamic Green's Functions in Layered Media: Accurate Closed-Form Approximations for Both Electric and Magnetic Sources
Some Information Theoretic Aspects of Reliable Communication With Transmitter Side Information
Symbolic functional test generation with guaranteed low-level fault detection
Spectral Methods for Natural Language Processing
Computational and psychophysical studies of goal-directed arm movements
A computer system to teach computational mathematics
Extensions to SETL to support problem specification and transformation of imperative programs
Nanothreads: Flexible Thread Scheduling
The Existence and Generation of a Hamilton Circuit in a Tree Graph
Empowering Data Analysis with Program Synthesis
Practical Verification of Safety-Critical Systems
Temperature and cooling management in computing systems
Responsive Parallel Computation
Designing Automated Assistants for Visual Data Exploration
A unified framework for transparent parallelism and fault-tolerance in distributed systems
Beyond Worst Case Analysis in Approximation Algorithms
Synchronization and distributed agreement in real-time systems
Towards secure computation for people
High-level automation of custom hardware design for high-performance computing
Cryptographic security in wireless networks via physical layer properties
The Design of Totally Self-Checking Combinational Circuits
Envisionment-Based Scheduling Using Time Interval Petri Networks: Representation, Inference, and Learning
Security Policy Enforcement by Automated Program-rewriting
Designing Integrated Strategies for Modularized Robotic Systems in Uncertain Environments
Error Correcting Codes for Compound Channels
Switched Broadcast Communication Networks
Distributed Deadlock Detection in Distributed Database Systems
A Higher-Order Perfectly Matched Layer for Open-Region, Waveguide, and Periodic Electromagnetic Problems
Design and Development of Adaptive Intrusion Management for Cyber-Based Systems
Process migration in distributed systems
Energy Efficient Algorithms in Low-Energy Wireless Sensor Networks
Interaction mining mobile apps
Interoperation with network services
Envelopes of nonlinear geometry
"Towards Improving the Effectiveness of Automated Program Repair
3D Modeling of Interior Building Environments and Objects from Noisy Sensor Suites
Features, unification and nonmonotonicity
Theoretical Studies of Molecular Structure, Dynamics, and Reactivity at Liquid Interfaces
Reconfiguration and Extensibility for Low-Latency Key-Value Stores
Interaction History for Building Human-Data Interfaces
Instrumenting and supporting college course-selection decision-making processes
Developing, tuning, and using schema matching systems
Relationships in instance segmentation and anomaly detection
Encoded Visible Light Based Indoor Localization and Navigation Technology for Mobile Autonomous Robots
Productivity Tools for Solver-Aided Programming
Scalable inference of discrete data: user behavior, networks and genetic variation
An architectural approach for mitigating next-generation denial of service attacks
An effect system and language for deterministic-by-default parallel programming
Volumetric Mapping for Medical Imaging and Geometry Processing
Partial Implementations in Program Derivation
Decentralized Navigation of Quadrotor Teams in Uncertain Workspaces
Thwarting Advanced Code-reuse Attacks
Formalization of molecular interaction maps in systems biology; Application to simulations of the relationship between DNA damage response and circadian rhythms
Broadband Fading Channels: Signal Burstiness and Capacity
Talking us into the Metaverse: Towards Realistic Streaming Speech-to-Face Animation
Surface reconstruction and display from range and color data
Reducing Irregularities in Control Flow and Memory Access on Graphics Processing Unit Architectures
Silicon-Based Molecular Nanotechnology: Fabrication and Characterization With the Scanning Tunneling Microscope
Efficient Deep Reinforcement Learning via Planning, Generalization, and Improved Exploration
High-Power Microwave/ Radio-Frequency Components, Circuits, and Subsystems for Next-Generation Wireless Radio Front-Ends
A Step-through Debugger for Distributed Systems
System Software Support for FPGA-based Multi-Accelerator Architectures in Edge Computing Systems
High performance dynamic array structures
Practical Dependable Systems with OS/Hypervisor Support
Engineering Haptic Technologies for Interaction in Virtual and Augmented Reality
Large Scale Analysis of Astronomical Data Using Machine Learning and Visualization Techniques
Core Training: Learning Deep Neuromuscular Control of the Torso for Anthropomimetic Animation
Answering Complex Questions Using Curated and Extracted Knowledge Bases
Learning via Visual-Tactile Interaction
Towards Understanding and Improving Software Professionals' Security and Privacy Practices
Hybrid models of transport in crowded environments
Leveraging structure for communication in human-centric DTNs
Accurate and Interactive Visualization of High-Order Finite Element Fields
Spectral Approaches to Learning Predictive Representations
Privacy preserving synthetic health data generation and evaluation
Computational Wireless Sensing at Scale
Beyond Photo-Consistency: Shape, Reflectance, and Material Estimation Using Light-Field Cameras
Towards Video Understanding through Language in Real-life Settings
TAXL - a simple hierarchical data structure manipulation system
Cult and Copper: Intra-Actions from The Bronze Age to A-Life
Exploiting cost-performance tradeoffs for modern cloud systems
Pattern recognition method based on Rvachev functions with engineering applications
Constructing Task-Oriented Dialogue Systems with Limited Resources
Failures caused by supply fluctuations during system-level ESD
Perspective Transformer for the Stereomatrix Three-Dimensional Display-System
Relational learning by observation
Optimal Graph Filter Design for Large-Scale Random Networks
Geometrical Representation, Processing, and Coding of Visual Information
Slow and Fast Light Using Quantum-Dot and Quantum-Well Semiconductor Optical Amplifiers
Designing and reconfiguring fault-tolerant multiprocessor systems
Reliable identification of significant sets of episodes in event sequences
Data-Driven Analysis of Power Distribution Synchrophasors with Applications to Situational Awareness, Load Modeling, and Reliability
Processor architecture and cache performance
Geometric Reconstruction for Visual data Interpretation
An Investigation of Directional Propagation Effects in High-Frequency Radio Source Location
An Adaptive Multilevel Method for Anisotropic Elliptic Problems
Improving Acute Ischemic Stroke Diagnosis Using Medical Imaging and Deep Learning Methods
Machine Learning Frameworks for Data-Driven Personalized Clinical Decision Support and the Clinical Impact
Computer-Aided Analysis of Mixer Circuits
Development and application of volume illustration techniques for medical illustration and flow visualization
A Computer System for Checking Proofs
Establishing Songbirds as an Animal Model for the Development of Human Speech Prosthesis
Algorithms for routing lookups and packet classification
Cloud Computing Services for Seismic Networks
Design principles and techniques for enabling reboot-based administration in a persistent state storage system
Compiler and microarchitecture mechanisms for exploiting registers to improve memory performance
Effective Anchoring of Multimodal Narrative Generation
Achieving Privacy and Integrity of Data Aggregation in Wireless Sensor Networks
Church-Rosser and related Thue systems
Resource-efficient parallel algorithms
Locality Enhancement of Imperfectly-Nested Loop Nests
Weak state and its evaluation for routing in large scale dynamic networks
Nonnegative matrix factorization with applications to sequencing data analysis
Towards Effective Masquerade Attack Detection
Enhanced decoding for concatenated codes
A Computer Based Approach to some Geometric Aspects of Character Recognition
Reducing list access time for LISP execution
Scaled Gradient Methods for Ill-conditioned Low-rank Matrix and Tensor Estimation
Formal specification of software using abstract state machines
Extracting and utilizing hidden structures in large datasets
State-space abstraction methods for approximate evaluation of Bayesian networks
Computational Learning of Languages
Fast approximate inference: shifting the Pareto frontier via adaptation
Aligning intent and behavior in software systems: how programs communicate & their distribution and organization
Inelastic Behavior of Mild Steel Beams Subjected to Transverse Impact
Managing Processor Adaptation for Energy Reduction and Temperature Control
Anytime Prediction and Learning for the Balance between Computation and Accuracy
Techniques for Approximating Optimal Linear Estimators of Multidimensional Data
Digitally-Assisted RF IC Design Techniques for Reliable Performance
Fitting smooth surfaces to dense polygon meshes
A framework for speech understanding
Curricula-Driven Approaches for Efficient Model Training
Multi-Modal Planning for Humanlike Motion Synthesis using Motion Capture
Primal-Dual Interior Methods for Quadratic Programming
Exact Learning of Graphs Using Queries
Sparse and parallel matrix computations
Identification of impulsive interference channels
Towards Heterogeneous Systems: A Full-Stack Approach
A New Framework for Hierarchical Cross-Layer Adaptation
Learning sparse features and metric in signal and image processing
Techniques for Probabilistic Analysis and Randomness-Efficient Computation
Modeling Insecurity: Enabling Recovery -Oriented Security With Dynamic Policies
Routing Algorithms for High-Performance VLSI Packaging
Parallel iterative techniques for the solution of elliptic partial differential equations
Shape from inconsistent silhouette: Reconstruction of objects in the presence of segmentation and camera calibration error
Approximate Bayesian Modeling with Embedded Gaussian Processes
Automatic Generation of Procedural Knowledge Using Program Synthesis
Critical Branches and Lucky Loads in Control-Independence Architectures
Estimation-theoretic framework for robust and energy-efficient system design
Composable operations on high-performance concurrent collections
VALIS: A Multi-language System for Rapid Prototyping in Computational Biology
Runtime Data Management on Non-Volatile Memory-Based High PerformanceSystems
Electronic Observers for Radio Direction Finding
Algorithms and Architectures for Soft -Decoding Reed -Solomon Codes
Failure diagnosis in distributed systems
Improved Detailed Placement and Routing Methodologies and Optimizations for Advanced Technology Nodes
Human diploid assembly and variant detection methods based on linked-reads technology
Designing Pattern Matching Algorithms by Exploiting Structural Pattern Properties
Simulation-based Approaches for Evaluating Information Elicitation Mechanisms and Information Aggregation Algorithms
Logical Reasoning Techniques for Physical Layout in Deep Nanometer Technologies
Semantics-Guided Systems Foundations for Disaggregated Datacenters
The Personal Informatics Analysis Gap
A physiologically-oriented model of tongue activity in speech production
Randomness and Quantumness in Space-Bounded Computation
Aerial Multi-hop Sensor Networks
Design of an Interface to an Information Retrieval Network (Access Costs, Relevance, Bibliographic Databases)
A unifying framework for modeling and solving optimization problems
Man-machine communication: an examination of the machines
Visual Recognition and Synthesis of Human-Object Interactions
Modeling, measurement and performance of World Wide Web transactions
Graphs and Privacy
Optimal monitoring and mitigation of systemic risk in lending networks
Optimization Methods for Improving Diversity in Language Technologies
Visualizing Program Memory Behavior Using Memory Reference Traces
Probing weakly bound long-range Rydberg molecules by quantum beating experiments in rubidium vapor
On the 3D point cloud for human-pose estimation
Advancing physicochemical property predictions in computational drug discovery
Detecting Bugs and Security Issues by Identifying Developers' Blind Spots
Notational Definition and Top-Down Refinement for Interactive Proof Development Systems
Real-World Data Driven Characterization of Urban Human Mobility Patterns
Design Space Exploration of Accelerators for Warehouse Scale Computing
A novel invariants-based approach for automated software fault localization
A Graph-Theoretic Approach to Network Coding
Channel Coding Techniques for Communication over Networks and over Channels with Memory
Efficient Probabilistic Model Based Approaches for Analysis of Human Genomic Data
A Universal Language for Continuous Network Simulation
Approaches for Interactions in Robotics Applications
Economic Model Predictive Control: Handling Preventive Actuator and Sensor Maintenance and Application to Transport-Reaction Processes
Load Balancing in Hop-by-Hop Routing With and Without Traffic Splitting
Learning About The World Through Video Generation
Tensor rank decompositions via the pseudo-moment method
Adaptive Frameworks for Robotic Non-Planar Additive Manufacturing
Light and Motion: Modeling and Visualizing How Scenes Change Over Time
Mining, Indexing and Similarity Search in Large Graph Data Sets
Agreement, Information and Time in Multiagent Systems
Computational Methods for Solidification of Multicomponent Materials and Moving Boundary Problems in Physics of Inhomogeneous Polymers
A scalable hybrid network monitoring architecture for measuring, characterizing, and tracking Internet threat dynamics
Images, Numerical Analysis of Singularities and Shock Filters
Structured Low-Rank Matrix Approximation in Signal Processing: Semidefinite Formulations and Entropic First-Order Methods
A Sequential Hypothesis Testing Approach to Detecting Small, Moving Objects in Image Sequences
Data Analytics in Test: Recognizing and Reducing Subjectivity
Repurposing Software Defenses with Specialized Hardware
AI enabled foreign language immersion : technology and method to acquire foreign languages with AI in immersive virtual worlds
Magnetomotive dynamics of magnetic particles for optical imaging contrast and elastography