yusuke1997/dblp-id-title huggingface dataset:
Robust Physical Design and Design Technology Co-Optimization Methodologies at Advanced VLSI Technology
Maxing, Ranking and Preference Learning
Computational illumination for portrait photography and inverse graphics
Automated Trust Establishment in Open Systems
Learning with Richly Structured Data
Automated Testing of Robotic and Cyberphysical Systems
Challenges, Opportunities, and Solutions for Next Generation Data Analytics Systems
Bias and beyond in digital trace data
Computer Analysis of Switched Capacitor Filters Including Sensitivity and Distortion Effects
Scalable Bayesian Nonparametric Models for Networks and Documents
A database of causality-inferred structure-function information for genomic cis-regulatory architecture
A Practical Approach to Federated Learning
Iterative methods for structured algorithmic data science
Multicore Scheduling for Network Applications Based on Highest Random Weight
Pruning Optimization for Efficient Top-k Document Retrieval with Learned Sparse Representations
Optimal hierarchical system design via sequentially decomposed programming
Fast Local Approximation to Global Illumination
Augmenting Structure with Text for Improved Graph Learning
Asynchronous global optimization for massive-scale computing
Automated Verification of Safety and Liveness Properties for Distributed Protocols
The Singularity Expansion Representation of The Transient Electromagneticcoupling Through a Rectangular Aperture
On Cryptographic Techniques for Digital Rights Management
Flexible and Efficient Systems for Training Emerging Deep Neural Networks
Remote memory backing storage for distributed virtual memory operating systems
Reducing image classification error and quantifying the contributions of components in a learning pipeline
Optimization of Data Accesses for Database Applications
Enabling Autonomous Legged Robot Agility
I/O Design and Core Power Management Issues in Heterogeneous Multi/Many-Core System-on-Chip
Myopic Best-Response Learning in Large-Scale Games
Adaptive grids in weather and climate modeling
Formal Specification of the Moebius Modeling Framework
Internet-Data-Driven Image Creation and Enhancement
Mixed scale motion recovery
Subset sum and community problems: From social to geometry
Toward Customizable Wi-Fi
Diagnosis and Planning with Resource Constraints
Constructive Formal Control Synthesis through Abstraction and Decomposition
Cross-lingual entity extraction and linking for 300 languages
Metal Halide Perovskite Light-Emitting Materials and Devices
Machine learning and information-theoretic approaches for financial applications
Function Tagging
Algorithmic Improvisation
Matching Theory Under Uncertainty
Explorations in the Cognitive Science of Computer Programming
Aggregate signatures for ECDSA with Optimizations and Enhanced Security
Enabling Technologies and Applications for Networked Airborne Computing
Polynomial Surface Models for Computer Vision
A correspondence between solution-state dynamics of an individual protein and the sequence and conformational diversity of its family: Implications for improving protein design
Entity-centric search: querying by entities and for entities
Backward Adaptive Motion Representation and Video Coding
Classical and surround receptive field structure in cortical area MT as revealed by reverse correlation
Programmable cyber networks for critical infrastructure
Minimum Mean Running Time Function Generation Using Read Only Memory
An object-oriented project management framework for software engineering environments
Internal models of embodied dynamics: a computational theory of learning in routine interactive behavior
Manipulating natural images by learning relationships between visual domains
Some computational problems from genomic mapping
Algorithmic problems on intersection graphs
p-GaN Platform for Next-Generation GaN Complementary Transistors and Circuits
Scalable Perovskite Thin-Film Photovoltaics
Battery Management Systems for Firefighting Robots Using Simulation Modeling
Halo: A Framework for End-User Architecting
Those Who Know Better
Simple, safe, and efficient memory management using linear pointers
Game-Theoretic Decision Making in Imperfect-Information Games
Foraging, Prospecting, and Falsification - Improving Three Aspects of Autonomous Science
Modeling of Electromagnetic and Elastic Wave Fields in Complex Geophysical Sensing Environments
Efficient and Secure Learning across Memory Hierarchy
On Extracting Coarse-Grained Function Parallelism From C Programs
Machine Learning Approaches to Gene Duplication and Transcription Regulation
Building Blocks for Human-AI Alignment: Specify, Inspect, Model, and Revise
The Design and Implementation of ALLOY, a Higher Level Parallel Programming Language
Distributed Approaches for Solving Constraint-based Multiagent Scheduling Problems
Denotational Models Based on Synchronously Communicating Processes (Semantics, Programming Languages)
Virtualized Environments to Analyze Cyber-Physical Attacks and Defenses
Crime Prediction Using Agent-Based Modeling
Techniques for reducing dependencies among instructions for a parallel single processor computer system
Acquiring Knowledge for Affective State Recognition in Social Media
Authentication Mechanisms for Open Distributed Systems
A Structured Memory Access Architecture
Machine Learning Beyond Accuracy: A Features Perspective On Model Generalization
There's a Model for That: Memory, Propagation, and Prediction of Time-Dependent Electronic Structure
A signal-processing framework for forward and inverse rendering
Hmm-Based Semantic Learning for a Mobile Robot
Data-driven verification
Discovering latent topical phrases in document collections and networks with text components: Leveraging text mining and information network analysis for human oriented applications
Computational Chemistry Studies Relevant to Medicinal Chemistry
Efficient Support of Text and Time in Spatial Data Systems
The modeling and analysis of supervisory systems
Microplasma-driven, atomic layer deposition of flexible electronic and photonic nanofilms
Image analytic tools for tissue characterization using optical coherence tomography
FPGA acceleration of high performance computing communication middleware
Optimization and garbage collection in Ada programs on shared memory computers
Value Learning for Interactive Games, Embodied Artificial Intelligence, and Robotics
Polynomial Preconditioning for Conjugate Gradient Methods
Developing genomic models for cancer prevention and treatment stratification
Modeling Visual Minutiae: Gestures, Styles, and Temporal Patterns
Software Design Issues in the Implementation of Hierarchical, Display Editors
Algorithms and hardness results in computational homology
A new system architecture for green enterprise computing
Novel Machine Learning and Design Methods to Improve EEG-based Motor Imagery Brain-Computer Interfaces
Data-Driven Geometric Scene Understanding
Optimizing Memory Performance for Scientific and Mobile Applications
Retrieving semantically distant analogies
Automated discovery of privacy violations on the web
Distributed Stochastic Optimization in Non-Differentiable and Non-Convex Environments
Evolution dynamics of attribute-rich social networks
Deductive Verification for Ordinary Differential Equations: Safety, Liveness, and Stability
Lower Bounds in Computational Complexity
Tabbie: Guiding Novice Developers in Whiteboard Software Design
Explanations for Natural Language: From Theory to Practice
Statistical Machine Learning & Deep Neural Networks Applied to Neural Data Analysis
Audiovisual Physics-Based Simulation
Deep localized hyperthermia with ultrasound-phased arrays using the pseudoinverse pattern synthesis method
Private Graph Statistics and Algorithms in Modern Applications
Tech Social Capital in Black & Latino High School Communities: A Growing Aspect of Computer Science Education and Workforce Development
Processor Arrays for Problems in Computational Physics (Parallel)
Representation learning for sequence and comparison data
Mathematical analysis of programs
In Search of Homo Sociologicus
Understanding human actions in still images
Approximating covariance matrices using low rank perturbations with applications to accent identification and social network clustering
Automatic computation and data decomposition for multiprocessors
A Study of Spread-Spectrum Multiple-Access Communications Over Fading Channels
Compiler Framework for Distributed-Memory Message-Passing Multicomputers
Dynamically Managing FPGAs for Efficient Computing
Balance Optimization Subset Selection: a framework for causal inference with observational data
Static Analysis of Probabilistic Programs: An Algebraic Approach
Overcoming the Intuition Wall: Measurement and Analysis in Computer Architecture
Accelerating the "Motifs" in Machine Learning on Modern Processors
Resilient Microservice Applications, by Design, and without the Chaos
Improving and Understanding Self-Supervised Learning Algorithms
Using Machine Learning to improve Internet Privacy
Robust market design: information and computation
Parallel processing for VLSI simulation
Electroneurophysiological Signals for Movement-Based Brain-Computer Interface Applications
Trainable Character Recognition Interface Computer (Incom)
Scalable reachability indexing for very large graphs
Curiosity-driven learning for physically grounded autonomous agents
Fulcra Pointer Analysis Framework
Bus and cache memory organizations for multiprocessors
High Angular Resolution Beam Steering Terahertz Antenna Arrays for Imaging Applications
Study of drug delivery and cell encapsulation using biocompatible hydrogel
Linguistic Knowledge for Neural Language Generation and Machine Translation
Tackling GPU Memory Size Limitations
Building Personal Software with Reactive Databases
SampleLapNet: A Learnable Laplacian Approach for Task-Agnostic Point Cloud Downsampling
Semantic Interior Mapology: An End-to-end Systematic Tool for Representing the Spatial Structure of an Indoor Environment
Performance, Security, and Safety Requirements Testing for Smart Systems Through Systematic Software Analysis
Characterizing and evaluating 2D material properties using spectroscopic methods and machine learning
Multi-queues with changeover times
Simplicial Reaction Networks and Dynamics on Graphs
Toward compiler-driven adaptive execution and its application to GPU architectures
Numerical green's function in surface integral equation method and hydrodynamic model for solar cell analysis
Mining decentralized data repositories
A Geometric Approach to Dynamical System: Global Analysis for Non-Convex Optimization
New algorithms for detecting collision between moving objects
Proactively detecting unreliable tests
Building Problem Solving Environments in Constructive Type Theory
Formalizing operator task analysis
Modeling for robotics and pneumatic actuation using PDEs
Scalable message-logging techniques for effective fault tolerance in HPC applications
A Distributed Open Environment for Real-Time Applications
Parallel algorithms for large sparse generalized eigenproblems
An Algorithm for the Minimization of Two-Level Multiple-Output Networks
An atomistic understanding of exciton-phonon coupling and nonradiative processes in semiconductor nanocrystals
Goal-directed performance tuning for scientific applications
Efficient Acceleration Structures for Ray Tracing Static and Dynamic Scenes
Toward an Automated System for the Analysis of Cell Behavior: Cellular Event Detection and Cell Tracking in Time-lapse Live Cell Microscopy
Polynomial Datapaths Optimization
Clustering and Segmentation with Application in Document Image Processing
On the modeling of resource demands in a multiprogrammed computer system
Cache me if you can: storage-aware data caching in heterogeneous wireless edge networks
Corpus-based Parsing and Sublanguage Studies
Computational analysis of the mammalian cis-regulatory landscape
Using Data Mining Techniques to Improve Software Reliability
Crosstalk Noise and Timing Analysis of Digital VLSI Circuits With Coupled Interconnects
A momentum-conserving framework for the simulation of reduced deformable bodies
Modelling error in query -by -humming applications
Coded Distributed Function Computation
Targeted analyses of very large genome-wide data collections
Using graphs and random walks for discovering latent semantic relationships in text
Computer Synthesis of Switching Power Converters
Maintaining multidatabase consistency: The quasi-serializability approach
Recommendation Strategies Based on User-Generated Data
Human Object Ownership Tracking in Autonomous Retail
Search-based Plan Reuse in Self-* Systems
Multi-omic biomarker discovery and network analyses to elucidate the molecular mechanisms of lung cancer premalignancy
Runtime Resource Management of Emerging Applications in Heterogeneous Architectures
Iris: Mitigating Phase Noise in Millimeter Wave OFDM Systems
On the performance of distributed algorithms for network optimization problems
Secure short-range communications
Resonant Electromagnetic Modes in Gyroelectric Plasmas
Machine perception of three-dimensional solids
Attacks on medical data and centralized social platforms: PU learning and graphical inference
Towards a Common System Architecture for Dynamically Deploying Network Services in Routers and End Hosts
Human navigation of information networks
Adaptive registration and atlas-based segmentation
On Limiting & Limited Non-determinism in NEXP Lower Bounds
An Algorithmic Enquiry Concerning Causality
Hierarchical timing analysis of digital circuits
Robust and Interpretable Sequential Decision-Making for Healthcare
Helping Smartphone Users Manage their Privacy through Nudges
Real-time 3D face localization and verification
Data-Driven Management of CDN Performance
Development of Asymmetric Fabry-Perot Modulators and Power HBT Circuits for High-Speed Applications
Communication experiments for distributed transaction processing: From LAN to WAN
The interprocedural analysis and automatic parallelization of scheme programs
Methods for Automatic Error Analysis of Numerical Algorithms
Driving Emerging Technologies From Concept to Reality: A Case Study of Carbon Nanotubes
Bringing Practical Security to Vehicles
Efficient crowdsourcing algorithms for discovering the top items
Leveraging Code Comments to Improve Software Reliability
Towards Enhanced Reasoning in Large Language Models
A sensorimotor basis of speech communication
Cognition and the Structure of Bias
Performance Evaluation of Distributed Security Protocols Using Discrete Event Simulation
Context-sensitive pointer analysis using binary decision diagrams
Visualization of four-dimensional space and its applications
Private functional encryption and secure deduplication
The Fast, Efficient, and Representative Benchmarking of Future Microarchitectures
Modeling Mobile User Behavior for Anomaly Detection
Synaptic Resistor Circuit based on Al Oxide and Ti Silicide for Neuromorphic Computing
Imprudence of reason: an examination of privacy expectations
A Single-Cell Immune Map of Normal and Cancerous Breast Reveals an Expansion of Phenotypic States Driven by the Tumor Microenvironment
Hardware multithreaded transactions: enabling speculative multithreaded pipeline parallelization for complex programs
Understanding time in natural language text
Annotating digital documents for asynchronous collaboration
Motion and structure from image sequences
Dynamic Sensitivity Functions and the Stability of Power Systems With FACTS Controllers
An Approach To Data Compatibility: A Generalized Data Access Method
Reducing the Costs to Design, Train, and Collect Data for Neural Networks with Combinatorial Optimization
Automating Semantic Markup of Semi-Structured Text via an Induced Knowledge Base: A Case Study Using Floras
Efficient Offline and Online Training of Memristive Neuromorphic Hardware
Multimedia Network Subsystem Design
WPCA: The Wreath Product Cognitive Architecture
Formal Verification of Programs and Their Transformations
Design and Development of a Portable Microfluidic System for Medical Diagnostics
Stable networks and product graphs
Image Segmentation and Robust Estimation Using Parzen Windows
Towards Robust and Scalable Large Language Models
Machine Learning for Semiconducting Solids: Benchmarking, Thermoelectric Discovery, and Dopant Engineering
Mobile Robot Learning
Proof techniques for recursive programs
Co-optimization of Restrictive Patterning Technologies and Design
Learning to match images with keypoints and descriptors
Pulse Interval Representations of Speech Events
Geometric Probing
Learning to Solve Structured Vision Problems
Logical Reasoning Techniques for VLSI Applications
Understanding and Exploring Serverless Cloud Computing
Engineering efficient event-based distributed systems
Unitary Neural Networks
Walshstore: The Application of Burst Processing to Fail-Soft Storage Systems Using Walsh Transforms
The Design, Implementation, and Evaluation of Software and Architectural Support for ARM Virtualization
The Primacy of Applied Privacy: Different Approaches to Data Privacy Needed for Different Machine Learning Tasks
Hardware Mechanisms for Distributed Dynamic Software Analysis
From Information Theory to Machine Learning Algorithms: A Few Vignettes
Estimation of Information Measures and Its Applications in Machine Learning
Uncomputable games: games for crowdsourcing formal reasoning
Simplicial Mesh Generation with Applications
Beyond Looking at the Screen: Weaving Interactivity into Video-Based Knowledge Sharing and Acquisition
Motion style retargeting
Scene Recovery and Rendering Techniques Under Global Light Transport
Never-Ending Learning of Sounds
Learning inside the prediction function
Interactive Causality Enabled Adaptive Machine Learning
Articulatory Speech Synthesis and Speech Production Modelling
Static and Dynamic Instruction Mappingfor Spatial Architectures
Towards Real-World Reinforcement Learning: Constraints and Sample Efficiency
Data Shepherding: Cache design for future large scale chips
Intensity-based 2D-3D medical image registration
Trustworthy History and Provenance for Files and Databases
Reliable Decentralized Controller Design for Discrete/continuous-Time, Sampled-Data, and Multirate Systems
Improving the Dependability of Python-Based Database-Backed Web Applications
Scalable and Reproducible Modeling and Simulation for Heterogeneous Populations
Building an Efficient Concolic Executor
Numerical algorithms for nonlinearly constrained optimization
Privacy in Emerging Technologies
Regression Modeling and Bias Correction of Ribosome Profiling Data
Scanning tunneling microscopy of quasi-one-dimensional charge-density wave materials
The Ape Machine: A Novel Stochastic Computer Based on A Set of Autonomous Processing Elements
Semantically enabled medical image understanding
Decidability and Proof Procedures for Set Theory with a Choice Operator
Effective and Efficient Forensic Analysis via System Monitoring
The Allocation of Data and Programs in Distributed Data Processing Environments (Networks, Ddb, Database)
Fundamental Processes in Combustion of Stratified Mixtures
Decoding of group codes for binary symmetric channels
Semantic Optimizations in Modern Hybrid Stores
Temporal Modeling and Analysis of Distribution-Valued Functional Curves: Application to Diffusion Tensor Imaging
Symbolic methods in computer graphics and geometric modeling
Retrofitting fast and secure sandboxing in real systems
Exploiting knowledge graphs for entity-centric prediction
Continuous Semantic Inspection
On Detection-Estimation Schemes for Signals With Uncertain Models
The Optimum Two-Dimensional Allocation of Irregular, Multiply-Connected Shapes with Linear, Logical and Geometric Constraints
Streaming Methods for Assembly Graph Analysis
Performance Evaluation and Improvements of Object Database Applications
Readdressing Network Layers
Enabling and Improving Centralized Control in Network and Cyber-Physical Systems: An Application-Driven Approach
Social Reference Processing with Collaborative Human-AI Systems
Optimization of Systems With Pulse-Width-Modulated Control
Plug-in Estimation Approaches to Causal Inference and Discovery
Model of a Partial Switching Effect in Ferrite Cores
Sub-10nm Transistors for Low Power Computing: Tunnel FETs and Negative Capacitance FETs
A Semi-Automated Approach to Medical Image Segmentation using Conditional Random Field Inference
Toward Understanding the Dynamics of Over-parameterized Neural Networks
Machine Learning-enabled Electrical Impedance Tomography for Single-cell Imaging
Lost in Translation: A Post-translational Modification-inclusive Analysis of Infectious Diseases
Dependable design for low-cost ultra-low-power processors
A General Explanation-Based Learning Mechanism and Its Application to Narrative Understanding
Spin-Transfer-Torque (STT) Devices for On-chip Memory and Their Applications to Low-standby Power Systems
Efficient communication support for distributed transaction processing
Effective Teamwork Using a Theory of Mind Over Plans
Network Performance Improvements For Web Services : : An End-to-End View
High-performance reference frequency generation techniques
Not All Gestures Are Created Equal: Gesture and Visual Feedback in Interaction Spaces
Multiantenna Communications in the Presence of Feedback
A Hierarchical Timing Simulation Model for Digital Integrated Circuits and Systems
Monitoring and control of networked systems with mobile agents: Algorithms and applications
Transparently Improving Quality of Service of Modern Applications
Security Mechanisms for Physical Authentication
Preview benefit: Coordinating vision and language to speak and read
Energy efficient hybrid computing systems using spin devices
Building aggressively duty-cycled platforms to achieve energy efficiency
Formalizing and Testing Computational Cognitive Models of Social Collaboration
Spatial light interference microscopy and applications
The Use of Efficient Broadcast Protocols in Asynchronous Distributed Systems
Machine learning-based acceleration of monogenic disease diagnosis
Computational Prediction of Functional Elements through Comparative Genomics
Development of theoretical and computational tools to study photochemistry involving multiple electronic excited states
Building and Accelerating a Declarative Platform for Machine Learning Model Serving
Network Design and Management with Strategic Agents
Theoretical insights on generalization in supervised and self-supervised deep learning
Scalable algorithms for Boolean satisfiability enabled by problem structure
An Analyzer for the Information Content of Sentences (Semantics)
Integrating heterogeneous data into electronic medical record analysis
Developing Machine Learning and Statistical Methods for the Analysis of Genetics and Genomics
A generalized temporal role based access control model for developing secure systems
Approximate svBRDF Capture From Uncalibrated Mobile Phone Video
Supporting delay guarantees over unreliable wireless channels
How to Train Your Robot: Techniques for Enabling Robotic Learning in the Real World
Multi-Objective Algorithms for Coupled Optimization of Mechanical and Electromagnetic Systems
Multi-species biclustering: An integrative method to identify functional gene conservation between multiple species
Range image analysis for three-dimensional object recognition
Data-driven assistance for user decision making on mobile devices
Design and evaluation of real-time Voice-Over-IP (VOIP) systems with high perceptual conversational quality
Improving and accelerating particle-based probabilistic inference
Emergence of meta-level control in multi-tasking autonomous agents
Hebbian networks for averting the problem of catastrophic interference
An information-processing model of intermediate-level cognition
Monte Carlo Simulation of Silicon Devices Including Quantum Correction and Strain
Pairing Things Off: Counting Stable Matchings, Finding Your Ride, and Designing Tournaments
Efficient Neuromorphic Computing Enabled by Spin-Transfer Torque: Devices, Circuits and Systems
Recommendation systems on social networks
Enhancing the Performance of Advanced Wireless Systems via Passive Beamforming
Enhancing 3D Visual Odometry with Single-Camera Stereo Omnidirectional Systems