yusuke1997/dblp-id-title huggingface dataset:
From the machine mind to the human mind: using machine learning to understand (ir)rationality, bias and polarization in human beings
Performance of update algorithms for replicated data in a distributed database
Machine Learning for the Sciences
Popular event analysis in social communities
Artificial Lateral Line Canal System for Underwater Disturbance Sensing
Automatic scaling of OpenMP applications beyond shared memory
Implementing and Exploiting Static Speculation on Multiple Instruction Issue Processors
Fast Schemes for Video Denoising and Compressed Domain Image Size Change
Advancing Reinforcement Learning: Multi-Agent Optimization, Opportunistic Exploration, and Causal Interpretation
Improving cache performance via active management
Continuous time bayesian networks
An Architecture for Structured, Concurrent, Real-Time Action
System Design for Intelligent Web Services
The Cost of Sharing Information in a Social World
Locating Optimal-Sites in Geographic Information Systems
Subdimensional Expansion: A Framework for Computationally Tractable Multirobot Path Planning
Static and Dynamic Human Analysis in Images and Videos
Enabling Theoretical Model Based Techniques for Simulating Large Scale Networks
The Inlined Reference Monitor Approach to Security Policy Enforcement
Dynamic re-optimization techniques for stream processing engines and object stores
Toward realizing power scalable and energy proportional high-speed wireline links
Efficient Cryptographic Primitives for Non-Interactive Zero-Knowledge Proofs and Applications
A Complexity Theory for VLSI
Personal Informatics and Context: Using Context to Reveal Factors that Affect Behavior
Efficient Learning across Multiple Domains with Deep Neural Networks
Curve matching by energy minimization in unit quaternions
Towards High Performance Two Dimensional Transistors: Doping, Contacts, and Gate Dielectric
Body-centric understanding of 3D environments
Cautiously Optimistic Program Analyses for Secure and Reliable Software
Stress and Human-Computer Interaction at the Workplace: Unobtrusive Tracking With Wearable Sensors and Computer Logs
Applications of Deep Learning to Medical Image Analysis in Ophthalmology
Designing efficient parallel algorithms: Techniques and applications
Preventing Capability Abuse through Systematic Analysis of Exposed Interface
Object Modelling by Example
File Usage Analysis and Resource Usage Prediction: A Measurement-Based Study
FEL Quadrupole Tuning via Bayesian Optimization Using Physics-Informed Gaussian Process Regression
Exploring In-Home Monitoring of Rehabilitation and Creating an Authoring Tool for Physical Therapists
Improving Cloud Middlebox Infrastructure for Online Services
Security Monitor for Mobile Devices: Design and Applications
Large Scale System Log Monitoring and Analysis: A Data-Driven Approach
Three-stage variable-shift iterations for the solution of polynomial equations with a posteriori error bounds for the zeros
Discrete and Complex Algorithms for Curves
Reliable and Energy Efficient Battery-Powered Cyber-Physical Systems
Transmission of Information in Control Systems
Reasoning about uncertainty in robot motion planning
1/f surface noise in Mos transistors
Systems and Debugging Supports for Hardware Designs
Tissue- and Disease-specific Analysis of Genome-scale Data
Designing Technology for Existing Infrastructure in the Developing World
Probabilistic prediction of program performance
Learning with Staleness
Mobile sensor network to monitor wastewater collection pipelines
A theoretical study of some aspects of parameter passing in algol60 and in similar programming languages
Election Security Is Harder Than You Think
An architecture for a campus-sized wireless mobile network
Good Trees: Performing Static Ensemble Pruning on Random Forest without Performance Compromises
Any Domain Parsing: Automatic Domain Adaptation for Natural Language Parsing
Statistical Design of Sequential Decision Making Algorithms
New directions in channel access and routing protocols for wireless networks
Access and method execution on distributed complex objects
Automatic ARIMA Time Series Modeling and Forecasting for Adaptive Input /Output Prefetching
Modeling and Optimization for Irrigation Control Using Wireless Sensor Networks
Perfect Reconstruction Filter Banks for Adaptive Filtering and Coding
GEMS - a graphical experimental meta system
Stochastic program optimization for x86_64 binaries
Failure avoidance techniques for HPC systems based on failure prediction
Portable checkpointing for parallel applications
The networked information economy : applied and theoretical frameworks for electronic commerce
Multiscale robust topology for fiber composites with multiscale material uncertainty propagation
A Spectral Approach to Noninvasive ICP Estimation: From Modeling to Clinical and Experimental Validation
Scalable Diskless Checkpointing for Large Parallel Systems
Architectural-Aware Performance Optimization: From the Foundational Math Library to Cutting-Edge Applications
Analysis of Large-Scale Data from Human Activities on the Web
Moving from news to social media: unsupervised knowledge enrichment for event extraction
Multi-Human 3D Reconstruction from In-the-Wild Videos
In Silico Metabolic Modeling of Single Th17 Cells Reveals Regulators of Autoimmunity
High resolution 3D diffusion tensor imaging for delineating neuronal architectures
Probabilistic sequence alignment methods for on-line score following of music performances
Classification of Stem Cell Microscopy Images Using Deep Learning
Computational Studies of Reactivity, Selectivity, and Non-Classical Pathways in Organic and Organometallic Systems
Automatic Construction of Synthetic Musical Instruments and Performers
Building Efficient Network Protocols for Data Centers using Programmable Switches
Performance of Concurrency Control Methods in Distributed Database Management Systems (Timestamp Ordering, Two-Phase Locking, Optimistic Scheme, Restart, Transaction Blocking)
Metalorganic Chemical Vapor Deposition and Its Application to the Growth of the Heterostructure Hot Electron Diode
Integrated System Architectures for High-Performance Internet Servers
Zinc-IV-nitrides and scandium nitride for novel heterostructure applications
Static and Dynamic Verification of Distributed Systems
Surgical Breast Cancer Localization via Coherent Measurement of Endogenous Optical Properties
Translation Validation of Optimizing Compilers
Opto-Electro-Thermal Approach to Modeling Photovoltaic Performance and Reliability from Cell to Module
Facial landmark detection and tracking for facial behavior analysis
Convex optimization with combinatorial characteristics: new algorithms for linear programming, min-cost flow, and other structured problems
The Design of Stateful Serverless Infrastructure
Analyzing intrusions using operating system level information flow
Design, Development and Implementation of Decision Support Systems for Private Equity Investment
An Array Computer for the Class of Problems Typified by the General Circulation Model of the Atmosphere
Performance and security tradeoffs of provable website traffic fingerprinting defenses over Tor
Planning Under Uncertainty for Human-Compatible Robots
Informative planning and robotic exploration for surveying environmental fields
Realistic Simulation and Control of Human Swimming and Underwater Movement
Cross-Sectional Scanning Tunneling Microscopy Investigations of Cleaved III-V Heterostructures
Debugging and Analysis Tools for Concurrent Programs
Understanding Flaws in the Deployment and Implementation of Web Encryption
Understanding human genome regulation through entropic graph-based regularization and submodular optimization
Affective Polarity Recognition and Human Needs Categorization for Affective Events
Switched and hybrid systems with inputs: small-gain theorems, control with limited information, and topological entropy
A study of decompiling machine languages into high-level machine independent languages
Computer Reconstruction of Bodies Bounded by Quadric Surfaces from a Set of Imperfect Projections
Customized Computing: Acceleration of Big-Data Applications
Computer Methods for Analysis and Synthesis of Visual Texture
Optimizing Mobile Application Performance through Network Infrastructure Aware Adaptation
On the effects of masking of perceptual cues in hearing-impaired ears
On Uncertainty and Robustness in Deep Learning for Natural Language Processing
The Communication Complexity of Distributed Computing and a Parallel Algorithm for Polynomial Roots
A Nearest-Neighbor Approach to Indicative Web Summarization
Designing Efficient and Accurate Parallel Genetic Algorithms
Reverse Engineering User Behaviors From Network Traffic
Issues on Synchronizing and Scheduling Tasks in Real-Time Database Systems
Studies of the human brain neural network: methods and application
Quantitative Simulation of Synaptic Vesicle Release at the Neuromuscular Junction
Theory of resistive mixers
Retro-modulators and fast beam steering for free-space optical communications
Massively Parallel Bayesian Object Recognition
Prediction and Visualization of Temperature Histories in Optically-Irradiated Cryogenic Tissues
Excitation of an Optical Fiber by a Gaussian Beam
Advancing Digital Safety for High-Risk Communities
Mechanism Design and Analysis Using Simulation-Based Game Models
Toward high-efficiency high power density single-phase DC-AC and AC-DC power conversion - architecture, topology and control
Algorithms for increasing the efficiency and fidelity of fluid simulations
Consistent overhead byte stuffing
Advancing Retail Robotics: A Vision-Based Out of Stock Detection System for Retail Scenes without Planograms
Semiconductor quantum dots for mid-IR light emission
Vision with Small Baselines
Explanation of adaptive systems
Pattern Recognition in Signals Through Rough Concept Bounding
Traffic-Adaptive Networking Solutions for Next-Generation Wide-Area Optical Networks
3D Geometric Deep Learning and its Engineering Applications
Analysis of reflector antenna systems for wide-angle scanning
SAFECode: A Platform for Developing Reliable Software in Unsafe Languages
SiaHet: Towards Exploiting Intra-Job Resource Heterogeneity in Heterogeneity-aware, Goodput Optimized Deep Learning Cluster Scheduling
Encouraging Social Connection With Wearable Technology Design
Perceptual Optimizations for Video Capture, Processing, and Storage Systems
Towards Robust and Fair Machine Learning
Non-convex Optimization for Machine Learning: Design, Analysis, and Understanding
Game theoretic analysis and design for network security
Data-Driven Predictive Control Beyond Linearity: An Autonomous Driving Perspective
A framework for optimistic program optimization
A High-Fidelity Energy Monitoring and Feedback Architecture for Reducing Electrical Consumption in Buildings
A Thermally-Pumped Carbon-Dioxide Laser
System Design for Software Packet Processing
Advancing Vision-Language and Language Models in Low-Resource Settings
Deep learning models for the analysis of single cell genomics
Quantization Effects in Fixed-Point Recursive Digital Filters
An Algorithm for the Detection and Integration of Highly Oscillatory Ordinary Differential Equations Using a Generalized Unified Modified Divided Difference Representation
Vision-based Appliance Identification and Control with Smartphone Sensors in Commercial Buildings
Computer-Assisted Navigation Techniques for MRI-Guided Percutaneous Interventions
Stochastic -Model -Driven Adaptation and Recovery in Distributed Systems
Using influence to understand complex systems
Enhanced publish/subscribe systems
Algorithms for constraint-based temporal reasoning with preferences
Instrumented Footwear and Machine Learning for Gait Analysis and Training
Proactive abuse prevention in clouds
A Computationally Tractable Information Foraging Algorithm That Satisfies Time-to-go Constraints
Photoluminescent Properties of Gallium(1)arsenide(1-X)phosphide(x) Implanted With Nitrogen and Neon
Role oriented programming for software evolution
On-Demand Relay Communication Infrastructure for Base Station Connectivity
XML query optimization in Timber
Computational Models for Binaural Sound Source Localization and Sound Understanding
Generalized Voronoi diagrams and geometric searching
Realizing Information Escrows and Efficient Key-Management Using Threshold Cryptography
Securing multi-robot systems with inter-robot observations and accusations
Topics in Quantum-Hall Physics, Game-Optimization and Generalization in Neural Networks
Coordination of Resources Across Areas for the Integration of Renewable Generation: Operation, Sizing, and Siting of Storage Devices
Leveraging Word and Phrase Alignments for Multilingual Learning
The temporal specification and verification of real-time systems
Large Scale Machine Learning in Biology
Belief Refinement Approaches to Communication and Inference Problems
The Automatic Generation of Realistic Compilers from High-Level Semantic Descriptions
Online Stochastic Optimization Under Time Constraints
Interpretable Dimension Reduction Procedures for Dynamical Systems
Acetylcholine, brain activation, and processing of temporal stimuli
Trustworthy and Cost Effective Management of Compliance Records
Quasi-Newton Algorithms for Non-smooth Online Strongly Convex Optimization
Numerical Simulations of Manipulation of Microparticles by Droplets in Digital Microfluidics
Extending the Boolean & Vector Space Models of Information Retrieval w/P-Norm Queries & Multiple Concept Types
Mobile Coverage Maps Prediction
Quantitative and Qualitative Assessments of the Impact of Linguistic Theory on Information Science
Estimating internal link loss rates using active network tomography
The Time and Location of Natural Reading Processes in the Brain
Activity-Based Urban Mobility Modeling from Cellular Data
Full Abstraction and Fixed-Point Principles for Indeterminate Computation
Digitizing a Three-Dimensional Brain Atlas: Image Sequence Alignment and Volumetric Encoding
A Proof Theory for Loop-Parallelizing Transformations
Collaborative multimedia environments for problem-solving
Achieving Human-like Chatbots from Reasoning and Optimization Perspectives
A Fault Tolerance Protocol for Fast Recovery
Efficient and guaranteed algorithms for sparse inverse problems
Polynomial Identity Testing: Derandomization Results and Applications to Algebraic Computation
Active Search with Complex Actions and Rewards
An Approach to Anaphoric Pronouns
Energy Efficiency and Security for Multihop Wireless Networks
Radial Flows and Torques in Cosmological Simulations of Milky Way Mass Galaxies
Design of energy-efficient high-speed wireline transceiver
Methods for detecting structure in large-scale genomic data
Theoretical and Experimental Investigation and Characterizations of Ionospheric HF Communication Channels
A Methodology for Teaching from Student Errors in Computer Science Education
The Diffraction of Electromagnetic Waves by Dielectric Steps in Waveguides
Digital light field photography
Towards sustainable biomolecule production: computational approaches to accelerate genetic tool development for engineering metabolism in microorganisms
A survey of Web-based community information systems
Improving Content Delivery and Service Discovery in Networks
Learning-based Correlation Analysis Between Laser Speckle and Surface Size Distribution
Trustworthy interactive learning, a story of fairness, robustness and safety
Biological Mimics: A New Paradigm in the Detection of Toxic Compounds
Bayesian Modeling for Analyzing Online Content and Users
Nonrigid Motion Modeling and Analysis in Video Sequences for Realistic Facial Animation
Software and Hardware Support for Data Intensive Computing
Understanding Computer Programs: Computational and Cognitive Perspectives
On Improving the Acquisition and Reconstruction Of Spatio-Temporal Magnetic Resonance Imaging
Efficient Large-Scale Graph Processing
Barrier Coverage: Deploying Robot Guards to Prevent Intrusion
A kernel for distributed and shared memory communication
Parallel, Data-Driven Simulation and Visualization of the Heart
Neural reading comprehension and beyond
Chinese internet language: a study of identity constructions
Towards End-to-End Data Privacy: from Generation to Consumption
Learning-enabled Cyber-Physical Systems: Challenges and Strategies
Testing component-based distributed applications
On the Time and Tape Complexity of Languages
Common-case optimized memory hierarchy for data centers and HPC systems
Youtopia: A community Database Management System
Algorithmic Engineering Towards More Efficient Key-Value Systems
Representation Learning Through the Lens of Science: Symmetry, Language and Symbolic Inductive Biases
On-line motion planning
Data analytics: integration and privacy
Network flow optimization for distributed clouds
Finite Element Method for Electromagnetic Scattering and Radiation From Complex Axisymmetric Structures
Digitization of analog sources
High performance communications for hypercube multiprocessors
Improving the Performance and Understanding of the Expectation Maximization Algorithm: Evolutionary and Visualization Methods
Text Understanding and Question Answering for Consumer Health Applications
Expanding Information Access through Data-Driven Design
An Analysis of Convergence Properties of the Border Gateway Protocol Using Discrete Event Simulation
Vector modulators for analog-beamforming receivers
High-order numerical methods for layer potential evaluation
Effective Program Analyses for Automated Software Testing and Error Diagnosis
Optimal Vehicle Grid Integration
Design and Optimization of Monitoring and Feedback Systems in Wireless Health
Delineation of chromatin states and transcription factor binding in mouse and tools for large-scale data integration
Robust Monte Carlo methods for light transport simulation
Learning Through Social Interactions and Learning to Socially Interact in Multi-Agent Learning
An Investigation into the Benefits of Tactile Feedback for Laparoscopic, Robotic, and Remote Surgery
Beyond Similar Code: Leveraging Social Coding Websites
Secure Messaging: From Systems to Theory
The Periodic Schur Decomposition in Linear Systems and Control
Parallel execution of Lisp programs
Resilient Architectures Through Dynamic Management of Software Components
*Policy management in secure group communication
Formal methods for safe autonomy: Data-driven verification, synthesis, and applications
DataSlicer: A Hosting Platform for Data-Centric Network Services
Scalable Lifelong Imitation Learning for Robot Fleets
Development, Optimization, and Integration of Inline Phase-Change Switches for Reconfigurable RF Systems
Towards More Efficient Interval Analysis: Corner Forms and a Remainder Interval Newton Method
Auditing and Mitigating Safety Risks in Large Language Models
High-speed microprocessor design with gallium arsenide very large scale integrated digital circuits
Computational Microscopy of Glycoproteins: from Viruses to T Cells
Mining and Modeling Processes on Graphs
HW-SW co-design techniques for modern programming languages
Applications in QM and MM: the ab initio nanoreactor solves mechanisms in green and biological chemistry, and simulations probe the role of sialic acids in viral mechanisms
Measuring and Improving the Quality of Experience of Adaptive Rate Video
Regret-Minimizing Algorithms Beyond Classical Optimization and Control
Increasing scalability in network simulation and testbed experiments
Image bandwidth compression by detection and coding of contours
Developing the Theory of Dispersion Interactions for Biological Applications
Conformal Parametrization of Surfaces of Genus Zero and 3D Reconstruction of Nuclear Fusion Hotspots
Incorporating open queueing models into closed queueing network algorithms
Flexible router architectures for point-to-point networks
A Finite-Difference Time-Domain Electromagnetic Solver in a Generalized Coordinate System
Provable and Practical Algorithms for Non-Convex Problems in Machine Learning
A graph grammar approach to concurrent programming
Autonomous Local Control in Distributed DC Power Systems
Unbiased Learning-to-Rank from Logged Implicit Feedback
Machine learning of heuristics
Julius Otto Kaiser and his method of systematic indexing: an early indexing system in its historical context
Realm: performance portability through composable asynchrony
Acting under Uncertainty for Information Gathering and Shared Autonomy
Latent Variable Models and Iterative Refinement for Non-Autoregressive Neural Machine Translation
Making It Pay to be a Fan: The Political Economy of Digital Sports Fandom and the Sports Media Industry
On Space-Time Tradeoffs
Online Lidar and Vision based Ego-motion Estimation and Mapping
Real-time quantitative phase imaging for cell studies
Using generative deep learning to create high-quality models from 3D scans
Tradeoffs and Limits in Computational Imaging
The Solution of Nonlinear Operator Equations by A-stable Integration Techniques
Methods for Mining Important User-Generated Contents and Behaviors From Online Platforms
The Dynamics of Recommender Systems
On Enabling Concurrent Communications in Wireless Networks
Interference channels with coordinated multi-point transmission
High-level static analysis for generic libraries
Deep Networks Through the Lens of Low-Dimensional Structure: Towards Mathematical and Computational Principles for Nonlinear Data
Efficient Inference in Open Retrieval Question Answering Systems
Design for Security: Measurement, Analysis and Mitigation Techniques
Robust Methods for Image Restoration and Edge Detection
Producing reliable nanoscale self-assembly
Geometric Concept Learning and Related Topics
Estimation of Subspace Arrangements: Its Algebra and Statistics
In defense of brain-inspired cognitive models
Hot spot detection and protection methods for photovoltaic systems
Shear Madness: Signal-Dependent and Metaplectic Time-Frequency Representations
Algorithms and Analysis for Multi-Category Classification
On the Structure and Learning of Perceptual Representations in Deep Neural Networks
An Investigation of Equatorial 150-Km Irregularities
Sound and Practical Methods for Full-System Timing Channel Control
Predicting suspended sediment in Illinois rivers using dimensionless rating curves
A Multiprocessing System for the Direct Execution of Lisp
Improving Device Driver Reliability through Decoupled Dynamic Binary Analyses
Correlation of cell losses in ATM switches
Saliency in audio and visual signals
Performance measurement and analytic modeling techniques for client-server distributed systems
Lower Bounds and Fixed-Parameter Tractability of Drawing Graphs
General methods for extending the scope of program testing
Using Multitask Learning to Understand Language Processing in the Brain
Operationalizing Operational Logics
Efficient Sparse Bayesian Learning using Spike-and-Slab Priors
CyberOrgs: A Model for Resource Bounded Complex Agents
Engineering steep transistors towards ultra low supply voltage
Practical Implementation of Boundary Control for Dc-Dc Power Conversion
Historic integrity in distributed systems
Extensions of the Principal Fiber Bundle Model for Locomoting Robots
Methodology and applications of topology optimization in nanophotonics
Hypothetical semantics of logic programs
Active Robot Perception using Programmable Light Curtains
The Construction of Robust Potential Energy Surfaces from First Principles and Machine Learning
Deep Learning for Transcriptomics and Proteomics
Composite Cores: Improving Energy Efficiency Through Fine-Grained Heterogeneity
Model based (intermediate-level) computer vision
Efficient Data Organization and Load Balancing on Parallel Disks
Inverse Design of Random Emitters in Nanophotonics
Safety-driven software design and engineering in medical cyber-physical-human systems
Compiler and runtime techniques for bulk-synchronous programming models on CPU architectures
Photo-Realistic Scene Modeling and Visualization using Online Photo Collections
Programmable Force Fields for Distributed Manipulation, and Their Implementation Using Micro-fabricated Actuator Arrays
Layered graphical models for tracking partially-occluded moving objects in video
An Ultra-Low-Energy, Variation-Tolerant FPGA Architecture Using Component-Specific Mapping