yusuke1997/dblp-id-title huggingface dataset:
Enabling software security mechanisms through architectural support
Characterizing and Improving Web Page Load Times
A methodology for the determination and communication of requirements for an information processing system
High-Level Testability Analysis and Enhancement for Digital Systems
The Urbana Meteor-Radar System: Design, Development, and First Observations
Applications of Probabilistic Machine Learning Models to Semiconductor Fabrication
The impact of irregularity on efficient large-scale integer-intensive computing
Interface Design Implications for Recalling the Spatial Configuration of Virtual Auditory Environments
Coherent Digital Multimodal Instrument Design and the Evaluation of Crossmodal Correspondence
Towards a Smart Drone Cinematographer for Filming Human Motion
Navigating the Healthcare Service "Black Box": Individual Healthcare Consumers' Practices and Design Opportunities
Supporting Reliable Data Analysis by Evaluating All Reasonable Analytic Decisions
Linear Kernel Alignment for Domain Generalisation
Structured clustering representations and methods
Exploring Bounded Optimal Coordination for Heterogeneous Teams with Cross-Schedule Dependencies
Network Models For Large-scale Time-sharing Systems
Information Theoretic Limits for Secure Multimedia and Magnetic Recording
Checking validities and proofs with CVC and flea
Partial programming: a framework for problem solving via incremental program development
When do machine learning models generalize well? A signal-processing perspective
Optimization methods for side-chain positioning and macromolecular docking
Co -Channel Speech Separation Based on Adaptive Decorrelation Filtering
Application of integer quadratic programming in detection of high-dimensional wireless systems
Integrated resource allocation and planning in stochastic multiagent environments
Design and Evaluation of Packet Scheduling Algorithms for Providing Quality of Service in Wireless Cellular Networks
StoryAI: designing, developing, and evaluating Generative AI-powered story-authoring platform for young learners
Reactors: A Deterministic Model of Concurrent Computation for Reactive Systems
Reasoning about quantities in natural language
Sensor Networks for Geospatial Event Detection - Theory and Applications
Hierarchical testing using precomputed tests for modules
Determination of biological macromolecular structures using distributed memory MIMD systems
Exploiting Planarity for Network Flow and Connectivity Problems
Hardware for Searching Very Large Text Databases
A framework for representing and jointly reasoning over linguistic and non-linguistic knowledge
Enabling Internet worms and malware investigation and defense using virtualization
Model-matching and individuation for model-based diagnosis
Towards Sustainable Non-Volatile Memory: Machine Learning and Memory-Aware Data Structures for Energy Efficiency and Longevity
Automated Software Deployment
Volume reconstruction and resolution limits for three dimensional snapshot microscopy
Diversifying Language Generated by Deep Learning Models in Dialogue Systems
Tensor Computation Based on Heterogeneous Memory
Interactive Facsimile Communication Techniques
Gate-geometry Dependence of Enhancement-mode p-GaN Gate High Electron Mobility Transistors
CARTAM: the Cartesian Access Method for Data Structures with n-Dimensional Keys
Periodic Application of Concurrent Error Detection in Processor Array Architectures
Dealing with ambiguous and partial supervision in complex information retrieval applications
From uncertainty to bugs: inferring defects in software systems with static analysis, statistical methods, and probabilistic graphical models
Audio localization in the Automatic Cameraman
Large-Scale, Low-Latency State Estimation Of Cyberphysical Systems With An Application To Traffic Estimation
JIT Spraying Threats on ARM and Defense by Diversification
Selective Data Acquisition in Learning and Decision Making Problems
Deadlock avoidance for distributed real-time and embedded systems
Performance composability: An emerging challenge in performance-adaptive systems
On information filtering in social sensing
Techniques for Almost-Asynchronous Distributed Cryptography
Scalable Machine Learning Algorithms for Biological Sequence Data
Toward A Secure Account Recovery: Machine Learning Based User Modeling for protection of Account Recovery in a Managed Environment
Video-on-demand services: Efficient transportation and decompression of variable bit rate video
Cooperative Data Transfer: Fast Message-Passing on Shared-Memory Multiprocessors
Light-Matter Interactions in High-Efficiency Photovoltaics, Light-Emitting Devices, and Strongly Coupled Microcavities
Array signal processing for local arterial pulse wave velocity measurement using ultrasound
Interpretable and efficient statistical approaches for biomedical data
Reasoning about edges in scale space
Designing Inclusivity in Collaborative Technology
Reasoning about Stateful Network Behaviors
Personalized and Situation-Specific Decision Making
Mining Test Cases To Improve Software Maintenance
Scaling Software Security Analysis to Millions of Malicious Programs and Billions of Lines of Code
Adaptive runtime techniques for power and resource management on multi-core systems
Synthesis Techniques for Transformations on Tree and Graph Structures
User Moderling, Personalization, and Personalized Question Generation in Open-Domain Dialogue Systems
Individual 3D Face Modeling and Recognition in a Video Network
Bandwidth and Latency Guarantees in Low-Cost, High-Performance Networks
Reasoning with models of probabilistic knowledge over probabilistic knowledge
Data-Driven, Sparsity-Based Matched Field Processing for Structural Health Monitoring
Learning sequences in an associative network: A step towards cognitive structure
Approximation Algorithms for new graph partitioning and facility location problems
Surveillance: From Solutions to New Problems
A study of grapheme to phoneme translation of English
Active Network Synthesis by Lattice Reduction
Computational Perspectives on Democracy
Symphony: A case study for exploring and describing design methods and guidelines for learner -centered design
Three-Dimensional Face Processing and Its Applications in Biometrics
Harnessing Sparse and Low-Dimensional Structures for Robust Clustering of Imagery Data
Chasing EME: Arguments for an End-Middle-End Internet
Similarity modeling for machine learning
Demystifying unsupervised feature learning
A History of the Farmington Plan
Empirical Methods for Fine-grained Opinion Extraction from Text
A Lane-Based Approach to Large-Scale Unmanned Aircraft Systems Traffic Management
Integrating Exponential Dispersion Models to Latent Structures
Spam Value Chain: Defensive Intervention Analysis
Counting in Structural Complexity Theory
Orchestrating Combined Collaborative and Individual Learning in the Classroom
Using machine learning to improve information access
Reinforcement learning techniques for controlling resources in power networks
Circuits for time-domain signal processing
LP-based MAP inference in rich structured graphical models
Approximation Algorithms for Network Design and Orienteering
Restructuring Formal Mathematics for Natural Texts
Fast Simulation of Versatile Physical Scenarios Based on Projective Dynamics
Hardware and software systems for personal robots
Process compilation methods for thin film devices
High-resolution sinusoidal analysis for resolving harmonic collisions in music audio signal processing
Homological Codes, their Extensions, and Certain Unfair Games
RTM: Design and Implementation
Local and Transderivational Constraints in Syntax and Semantics
Appearance-Based Navigation, Localization, Mapping, and Map Merging for Heterogeneous Teams of Robots
Nonlinear Microscopy System and Protocol for Rapid Evaluation of Freshly Excised Human Tissue
Systems and Algorithms for Real-Time Audio Signal Processing
Computational Studies of Organic Electronic Materials
Data-Centric Compilation
The Systems Biology of Red Cell Metabolism: Physiology under Storage Conditions
Computing With Physical Systems
Least-Squares Approximation for Both Magnitude and Phase by Rational Functions
Automated database restructuring
Micromagnetic Modeling of Write Heads for High-Density and High-Data-Rate Perpendicular Recording
Learning Program Specifications from Sample Runs
Detection and Segmentation Using Less Supervision
The Emergence of Human-like Covert Visual Attention in Convolutional Neural Networks
A complexity-theoretic perspective on fairness
Measurement, Modeling, and Simulation of Fast Transients in ESD Devices
Optimizing Parallel Input/output Using Adaptive File System Policies
Neural-Symbolic Methods for Knowledge Graph Reasoning
Shape grammars and their uses
Automatic Verification of Parameterized Systems
Problem solving and critical thinking skills of experts: the impact on education: critical thinking in computer science undergraduate education
A System-Level Framework for Privacy
Large-Scale 3D Reconstruction on the GPU
Mitigating Memory-Safety Bugs with Efficient Out-of-Process Integrity Checking
Frequency selective surfaces with lumped and time-varying loads, variable surface impedance, and multiple screens
Legion: programming distributed heterogeneous architectures with logical regions
Supporting ubiquitous computing with stateless consoles and computation caches
Topics in computational learning theory and graph algorithms
An Iteratively Structured Computer
Design and Characterization of Integrated Photonic Devices Fabricated Using Selective-Area Epitaxy and Distributed Bragg Reflector Surface Gratings
Using Machine Learning to Construct and Categorize Density Functionals
Techniques for low overhead fences and sequential consistency violation recording
From Ordinal Ranking to Binary Classification
Adversarial Attacks and Defense using Energy-Based Image Models
A Holistic Approach to Lowering Latency in Geo-distributed Web Applications
Advancing Critical and Socially-Oriented Approaches to Domestic Accessible Computing Research
Realization With Feedback Encoding
Modeling, Estimation and Control of Distributed Parameter Systems: Application to Transportation Networks
Temporal Information Extraction and Knowledge Base Population
Techniques for solving geometric problems on mesh-connected computers
Computational Methods for Epigenetic Studies
Fast Algorithms for Tomography
Physics-inspired Computational Imaging for Machine Vision, Drug Development and Cancer Immunotherapy
Examining the Generality of Self-Explanation
Thermal and QoS-Aware Embedded Systems
Characterizing the parallel performance and soft error resilience of probabilistic inference algorithms
Performance of Concurrency Control and Data Allocation in Distributed Database Systems
Broadening the Scope of Multi-Objective Optimizations in Physical Synthesis of Integrated Circuits
Cross-Stack Co-Design for Efficient and Adaptable Hardware Acceleration
Realization of Probabilistic Tree Communication Nets
Understanding Human Actions in Video
Fast Polarizable Force Field Computation in Biomolecular Simulations
Defense in Depth of Resource-Constrained Devices
Code Generation for In-Memory Data Analytics
Adaptive methods for meteor burst communications
Lifted Inference for Relational Hybrid Models
Making Peer Review Robust to Undesirable Behavior
Unified Discriminative Subspace Learning for Multimodality Image Analysis
Efficient and Effective Algorithms for Controllable Fluid Simulation and Mesh Deformation
Applications of Physically Based Simulations of Elastic Rods
Performance in Flexible Distributed File Systems
Geometric learning of biomolecular structure
Quantum Annealing for Solving Optimization Problems
Compensation compliant appearance editing of physical objects with arbitrary shape and color
Adaptive Strategies for Oscillatory Systems:Integrating Machine Learning and ControlTechniques with Applications in Neuroscience
Facilitating Formal Verification of Cooperative Driving Applications: Techniques and Case Study
Circuit Simulation via Matrix Exponential Method
Efficient replication management in distributed systems
Discovering Audio-Visual Associations in Narrated Videos of Human Activities
Designing representational architectures in recognition
Contextual Recurrent Level Set Networks and Recurrent Residual Networks for Semantic Labeling
Data-based models for deformable objects: sensing, acquisition, and interactive playback
Robust State Estimation and Mapping for Autonomous Inspection
Robot Deep Reinforcement Learning: Tensor State-Action Spaces and Auxiliary Task Learning with Multiple State Representations
Predictable and monitored execution for COTS-based real-time embedded systems
Gravity Waves in the Ionosphere
Speech Enhancement Using Speech Synthesis Techniques
Analysis of neuronal wiring diagrams
Concurrent Data Structures with Near-Memory Processing: Software-Hardware Co-Design
Object localization in natural images
Enhancing Automatic Software Testing for Broader Applicability
Elements of Intelligence: Memory, Communication and Intrinsic Motivation
Spectroscopic Optical Coherence Tomography: Mechanisms, Methodology, and Applications
Computer-aided kinematic synthesis of mechanical systems using configuration space
Robust control of flexible joint robot manipulators
Towards Better Language Models: Algorithms, Architectures, and Applications
Composing with Blooms
Efficient Data Retrieval in Wireless Sensor Networks
River routing: the theory and methodology
Magpie: Precise Garbage Collection for C
Enabling Efficient Resource Utilization on Multitasking Throughput Processors
A Model of Energy and Angular Distributions of Fluxes to the Substrate and Resulting Surface Topology for Plasma Etching Systems
Co-optimizing High-Level Synthesis and Physical Design for Rapid Timing Closure of Large-Scale FPGA Designs
Towards Improving Transparency in Multimodal Affect Perception
Equilibrium Approaches to Modern Deep Learning
Tempered Bregman Divergence for Continuous and Discrete Time Mirror Descent and Robust Classification
Learning generalizable and transferable representations across domains and modalities
Harnessing Tunnels for Dirty-Slate Network Solutions
Design And Characterization Of Optical Fiber-To-Chip Edge Couplers And On-Chip Mode Division Multiplexing Devices
Machine Learning from Human Preferences and Choices
Timed execution in distributed machine learning
Solution of open region electromagnetic scattering problems on hypercube multiprocessors
A (Co)algebraic Approach to Programming and Verifying Computer Networks
New Advances in Sparse Learning, Deep Networks, and Adversarial Learning: Theory and Applications
Design of Social Affordances for Meetings in Social Virtual Reality
Multi-solver schemes for electromagnetic modeling of large and complex objects
Conservation and efficiency in least squares finite element methods
Quantum Computation and Isomorphism Testing
Providing Efficient Fault Tolerance in Distributed Systems
Design and Implementation of Distributed Programmable Media Gateways
Sequential Decision Making in Non-stochastic Environments
Robust self-assembly
Nonparametric High-dimensional Models: Sparsity, Efficiency, Interpretability
Algorithms for building models of molecular motion from simulations
Modular finite state machines for logic control: Theory, verification and applications to reconfigurable manufacturing systems
Higher-Order Conditional Synchronization
Higher-Order Finite Element -Boundary Integral Methods for Electromagnetic Scattering and Radiation Analysis
Computational methods for cancer diagnosis and prognosis from FT-IR spectroscopy data
Equational Reasoning for Verified Cryptographic Security
A Study of Nor/nand Networks
Reconstruction of lipid metabolism regulatory network in Mycobacterium tuberculosis
Model-based quality of service control
Strong Light-Matter Interaction with Cavities for Quantum Information Processing
Reducing synchronization in distributed parallel programs
New designs for improving the efficiency and resilience of natural language watermarking
On random strings and sequence comparisons
From Viruses to Sea Spray: Applications of All-Atom Molecular Dynamics Simulations to Environmental and Biological Aerosol Systems
Analyzing Smooth Flowcharts: Teaching Structured Programming in a Computer-Based Education Environment
Memory management and rollback recovery in parallel architectures
Geometric Deep Learning: Impact of Graph Structure on Graph Neural Networks
Asynchronous waveform relaxation methods for ordinary differential equations on multiprocessors
Finding important entities in graphs
Statistical Analysis of Ensembles of Nonregular Shapes
Fault-tolerant interconnection networks for multiprocessors
Metal-assisted chemical etching of semiconductor nanostructures for electronic applications
Time-varying network reservations for cloud data centers
Quantitative Complexity Analysis of Finite Number Systems for Customized Arithmetic Processors
The editing distance between trees: Algorithms and applications
Analytic Methods in Concrete Complexity
Stochastic infinite horizon optimization with average cost criterion
Extraction and Generalization of Expert Advice (Learning, Representation, Induction)
Alkane Conversion on Heterogeneous Catalysts From First Principles and Descriptors
Efficient coherence and consistency for specialized memory hierarchies
Bridging the Gap Between Human Vision and Computer Vision
Theoretical and Experimental Study of Millimeter-Wave Integrated Circuits
A Brave New World: Studies on the Deployment and Security of the Emerging IPv6 Internet
Deep Learning Models for Clinical Data: Addressing Task Specific Structure
Learning and Translating Temporal Abstractions of Behaviour across Humans and Robots
Detecting and Mitigating Faults in Byzantine Fault Tolerant Systems
Flexible Object Manipulation
Interactive Tuning on Batch Content Generation Tasks
Towards Computational Design of Shape and Control for Rigid Robots
Improving Event Extraction: Casting a Wider Net
Improving the Internet Architecture Through Indirection and Virtualization
Large Scale Data Analysis in Parallel R and Its Use in Efficiently Scheduling Batch Jobs in the Cloud
Semantically Based Concurrent Data Structure Algorithms
Computer Simulations of Genetic Adaptation: Parallel Subcomponent Interaction in a Multilocus Model
Optimizing Emerging Graph Applications Using Hardware-Software Co-Design
Green Cellular Networks through QoS Aware Dynamic Base Station - Mobile Device Reconfiguration
High Space-Bandwidth Wavefront Sensing by Sampling and Spatial Multiplexing
Motivational Design Patterns
Probabilistic inference via sum-product algorithms on binary pairwise Gibbs random fields with applications to multiple fault diagnosis
Delay composition theory: A reduction-based schedulability theory for distributed real-time systems
Factors Influencing Likelihoods and Priors in Multisensory Perception
Integrative approaches to gene-gene, gene-disease and gene-environment mapping
Better Education Through Improved Reinforcement Learning
Non-Correcting Error Recovery For LR Parsers
Generating, Evaluating and Recognizing Embodied Communication
Parallel Contact-Aware Algorithms for Large-Scale Direct Blood Flow Simulations
Electromechanical streaming instabilities
Tolerance Study of Reflector Antenna Systems (Random Surface Errors, Retrodirective Array, Focal Shift)
Scalable System-on-Chip Design
Positive AI with Social Commonsense Models
Enhancements to the data mining process
Improving Energy Efficiency of Basic Linear Algebra Routines on Heterogeneous Systems With Multiple GPUs
Improving Memory for Optimizatioin and Learning in Dynamic Environments
Integration of Modeling Methods for Cyber-Physical Systems
Nanoscale Selective Area Epitaxy for Optoelectronic Devices
Enabling Accelerator Centric Computing
Applied Estimation of Mobile Environments
Efficient random algorithms for constrained global and convex optimization
Context-based caching: Applications of expectations in sensor-based systems
Robot Planning and Execution with Unreliable Models
A Group Theoretic Framework for Neural Computation
Predicting Sets and Lists: Theory and Practice
Designing for Lived Health: Engaging the Sociotechnical Complexity of Care Work
Language as Design: Adapting Language to Different Online Audiences
Text cube: construction, summarization and mining
Optimization Theory and Machine Learning Practice: Mind the Gap
"Reliable and scalable variational inference for nonparametric mixtures, topics, and sequences"
Refresh: An Infrastructure to Build Self-Aware Robotic Systems
A Multilevel Fast Multipole Algorithm for Analyzing Radiation and Scattering From Wire Antennas in a Complex Environment
The interdependence between environment and metabolism in microbes and their ecosystems
Photo Forensics from Partial Constraints
Modeling participatory literacy (in your pants): An analysis of print and new media convergence in the Vlogbrothers' YouTube videos
Applied ML for Robust Network Applications
A computational model for C. elegans locomotory behavior: application to multi-worm tracking
Matrix Balancing in Lp Norms
Data Centric Robot Learning
Security Testing Tools for Complex Cyber-Physical Systems
Unsupervised random walk node embeddings for network block structure representation
Knowledge modeling of phishing emails
Scheduling in Cyber-Physical Systems
Bilevel Optimization in Learning and Control with Applications to Network Flow Estimation
Computational Characterization of Hv1 Proton Channel Inhibitors and Investigation of the Tools in Molecular Simulations
Genomic Insights into Mechanisms of Microbial Evolution and Evolution-inspired Strategies to Combat Pathogen Diversity
Understanding and Engaging Online Audiences
Manipulators and Manipulation in high dimensional spaces
Fault Tolerant Bus Communication Protocols for Computer Systems
Spatial, Temporal and Spatio-Temporal Correspondence for Computer Vision Problems
Accurate Verification of Five-Axis Numerically Controlled Machining
Digital provenance - models, systems, and applications
Computational Methods for Behavior Analysis
Recursive Data Types in Setl: Automatic Determination, Data Language Description, and Efficient Implementation (Compilers)
Learning by Watching and Learning by Doing
A Boundary Layer Method for Optimal Control of Singularly Perturbed Systems
Toward Understanding Nonlinear Human Genetic Architectures at Scale
Modeling and Deep Learning of Cellular Transcriptome and Epigenetic Regulations
An Abstract Complexity Theory for Boolean Functions
Growth and Characterization of Indium(1-X) Gallium(x) Arsenide(y) Phosphide(1-Y) for Near-Infrared Photodetectors
Supervised Clustering with Structural SVMS
Techniques and tools for model-based design and analysis of embedded real-time software
Software vulnerability analysis
On Computational Security
Combining Multiple Heuristics: Studies on Neighborhood-based Heuristics and Sampling-based Heuristics
Mediated query processing over autonomous data sources
Sequential pattern mining with uncertain data
Learning Video Representation from Self-supervision
Closed-loop decoder adaptation algorithms for brain-machine interface systems
Black Box Modeling of Passive Systems by Rational Function Approximation
A Data Augmentation Approach to Short Text Classification
Optimizing Cloud AI Platforms: Resource Allocation and Market Design
Quantum Representations of MCGs and Their Applications to Quantum Computing
Understanding and predicting human visual attention
Relation Extraction with Weak Supervision and Distributional Semantics
Functional pressures and linguistic typology
Improve Language Model Serving Efficiency with Fine-grained and Stateful Scheduling
Projection Methods for Improved Performance in Adaptive Systems
On-World Computing: Enabling Interaction on Everyday Surfaces
Performability Modeling with Stochastic Activity Networks
Symcretic testing of programs
Personal Photo Enhancement
Effective usage of muscle simulation and deep learning for high-quality facial performance capture
Visual detection and recognition using local features
The interaction of observation and inference
Process-Sensitive Creativity Support Tools
Playful Health Technology: A Participatory, Research through Design Approach to Applications for Wellness