yusuke1997/dblp-id-title huggingface dataset:
Cultural Influences and New Programs Affecting Women in Technology
Generalizing smoothed aggregation-based algebraic multigrid
Practical Methods for Scalable Bayesian and Causal Inference with Provable Quality Guarantees
Data-Constrained Model Compression
An Investigation of the Use of Weeding and Displays as Methods to Increase the Stock Turnover Rate in Small Public Libraries
Physics-Based Animation Tools for Fluids and Surfaces: Generating Surfaces from Fluids, Animating Fluids on Surfaces and Controlling Fluids from Surfaces
Estimating toner usage with laser electrophotographic printers, and object map generation from raster input image
Towards a better understanding of music playlist titles and descriptions
Enabling Data Retrieval: By Ranking and Beyond
A Matrix Approach for Finding Extrema: Problems With Modularity, Hierarchy, and Overlap
Learning, Identity, and Power: Tensions and Possibilities in Equity-Oriented Computer Science Education
Real-time, distributed scheduling of production resources
Pedestrian Dead Reckoning Using Smartphone Inertial Data for Blind Wayfinding
Profiling Artificial Intelligence as a Material for User Experience Design
Root-of-Trust Architectures for Low-end Embedded Systems
Scalable graphics architectures : interface & texture
High-speed volumetric ¹H magnetic resonance spectroscopic imaging
Human-Centered Machine Learning for Healthcare: Examples in Neurology and Pulmonology
Improving Reuse in Software Development for the Life Sciences
Manipulation and Perception Policies for Robot Mechanical Search
Analog-to-Digital Converters for Secure and Emerging AIoT Applications
A Path Paved by Proof Complexity Towards Verifying Nonlinear Integer Arithmetic
The COOL parallel programming language: design, implementation, and performance
Logical analysis and complexity of security protocols
Explainable Machine Learning and Applications in Protein-Ligand Complex Structure Prediction
Detecting gene similarities using large-scale content-based search systems
I-AdMiN: a framework for deriving adaptive service configuration in wireless smart sensor networks
Calibration and Utilization of High-Fidelity Two-Qubit Operations
Compiling Communication-Minimizing Query Plans
Automatic Formal Verification of Control Logic in Hardware Designs
New Optimization Models and Methods for Classical, Infinite-Dimensional, and Online Fisher Markets
Freedom Through Books: Helen Haines and Her Role in the Library Press, Library Education, and the Intellectual Freedom Movement
On Sequential Communication Schemes With Information Feedback
End-to-End Multimodal Learning for Situated Dialogue Systems
Sensing Contacts, Coughs, and Hand Hygiene
Symbolic performance and learning in continuous-valued environments
Deep Sequential and Structural Neural Models of Compositionality
Compressing Trees with a Sledgehammer
Behavioral choice in an electronic nervous system
Automatic spacecraft docking using computer vision and nonlinear control techniques
Automatic Exploitation of Input Parallelism
Learning Approaches to Analog and Mixed Signal Verification and Analysis
Heuristic Search Based Planning by Minimizing Anticipated Search Efforts
Chare kernel and its implementation on multicomputers
Row Projection Methods for Linear Systems
Extending Mapreduce for Scientific Data
Fault-Tolerant Distributed Computability
Uncertainty-Aware Unsupervised and Robust Reinforcement Learning
Scheduling And Resource Allocation In Wireless Sensor Networks
Free and Driven Modes in Anisotropic Plasma Guides and Resonators
ANIMAC: A Multiprocessor Architecture for Real-Time Computer Animation
Protecting Production Systems from Performance Anomalies
Preconditioners for Generalized Saddle -Point Problems
Bilateral population activity in the motor cortex and its role in upper limb control
Automatically identifying facet roles from comparative structures to support biomedical text summarization
Computational Analysis of Acute Traumatic Coagulopathy
Algorithms for Rendering in Artistic Styles
Astropulse. A Search for Microsecond Transient Radio Signals Using Distributed Computing
Towards Data Reliable, Low-Power, and Repairable Resistive Random Access Memories
Scalable Traffic Management for Data Centers and Logging Devices
Performance Approaches to Semantics in Human Language
Web grammars and their application to pattern recognition
Coverage-based Visual Introspection of EvoSuite for Genetic Test Evolution
Privacy-preserving authentication and billing for dynamic charging of electric vehicles
The Effect of Feedback within a Virtual Environment on Human Distance Perception and Adaptation
Support for service scalability in video-on-demand end-systems
Exploiting insensitivity in stochastic systems to learn approximately optimal policies
Strange and Unstable Fabrication
Coding theorems for discrete source-channel pairs
Stochastic Models and Analysis for Resource Management in Server Farms
Near-Field Scanning Optical Tomography: Theory and Modalities
Vertical Cavity Surface-Emitting Lasers Operating With Multiple Photonic Crystal Defect Cavities
Efficient STFT analysis over limited frequency regions
The use of man-machine interaction in data-fitting problems
Advancing acoustic filters for 5G front-ends: Lithium niobate piezoelectric MEMS resonators and filters
Towards Adaptive Intelligence
Training Strategies for Time Series: Learning for Prediction, Filtering, and Reinforcement Learning
Robust and reliable decision-making systems and algorithms
Learning To Grasp
Network hypothesis testing for relational data
Tactile Perception Design for Fabrication
Efficient parallel techniques for computational geometry
Learning and Reasoning with Visual Correspondence in Time
The Computational Attitude in Music Theory
Automated Creation of Database Forms
Managing Complex Scheduling Problems with Dynamic and Hybrid Constraints
An ethnographic investigation of the evolving dynamics of a learning ecology
Counting and Correlation Decay in Spin Systems
Efficient design and optimized crash-consistency support for hybrid memory systems
3D Object Detection for Self-Driving Vehicles
Extracting Opinions and Events fromText: Joint Interference Approaches
On the dynamics of interdomain routing in the Internet
Stability of uncertain systems
Periodic Solutions in Higher Order Nonlinear Systems
Multimodal Character Representation for Visual Story Understanding
Power Line Communication for Low-Data-Rate Energy Control
Communication-Based Semantics for Recursive Session-Typed Processes
Computational Methods for Mild Traumatic Brain Injury
Training Models to Ignore Dataset Bias
Machine Learning for Humanoid Robot Modeling and Control /
Luminescent Characteristics Study of a Mather-Type Dense Plasma Focus and Application to Laser Optical Pumping
Stability and performance in peer to peer networks
Compiler-Based Mitigations of Vulnerabilities in Systems Software
Infrared absorption studies on Ga(x)In(1-x)As bulk crystals
Approximation algorithms for time-constrained vehicle routing problems
Query Optimization in Database and Information Retrieval Systems
Algorithms for Hash Coding and Document Classification
Network Monitoring With SmartNICs in Data Centers and 5G Cellular Networks
Digital calibration of nonlinear memory errors in sigma-delta ADCs
Social Dynamics of Machine Learning for Decision Making
Practical Computer Vision
Improving Clinical Decision Support in Low-Income Regions
Higher-order Random Walk Methods for Data Analysis
A distributed design process and agent protocol for multidisciplinary optimization
Signal Amplitude Limiting and Phase Quantization in Antenna Systems
All-Digital Audio Amplifier
Software Reliability By Redundancy
Efficient and scalable transfer learning for natural language processing
Strong Consensus-Seeking in a Model of Social Consensus Formation
Machine Learning in Physics
Acquiring latent linguistic structure using computational models
Audiovisual Persona Reconstruction
Acceleration Techniques of Sparse Linear Algebra on Emerging Architectures
Induction Machine Performance Improvements: Design-Oriented Approaches
Complex Neural Networks for Audio
Applications and Economic Impact of Machine Learning and Blockchain Technologies
Gluing and Creasing Paper along Curves: Computational Methods for Analysis and Design
Computational network models of neocortical seizures
Cold-start universal information extraction
Hybrid Models for Representation of Imagery Data
Social sensing games
Regarding Assumptions Made of Authenticated Encryption
Parallel algorithms for multi-layer wire routing problems
Technologies for and Electrophysiological Studies of Structured, Living, Neuronal Networks on Microelectrode Arrays
Local learning by partitioning
Accelerating Radiation Dose Calculation with High Performance Computing and Machine Learning for Large-scale Radiotherapy Treatment Planning
Leveraging Usage History to Enhance Database Usability
Sampling for Complexity in Rendering
Improving Optical Character Recognition for Endangered Languages
Lower Bounds in Computational Complexity from Information Theory, Algebra and Combinatorics
Finding Dense Structures in Graphs and Matrices
Interactive and Incremental Learning via a Multisensory Mobile Robot
Representing plans under uncertainty: A logic of time, chance, and action
Parallel I/O optimizations for large-scale scientific applications
Characterizing the Huntington's disease, Parkinson's disease, and pan-neurodegenerative gene expression signature with RNA sequencing
Content-based publish subscribe systems: Scalability and security
Amortized Complexity of Data Structures
Three-dimensional design by graphical man-computer communication
Automatic verification of security policy implementations
Signal Flow Graph Approach to Multiphoton Analysis and Transient Characteristics of Mode-Locked Far Infrared Lasers
The Missing Cone Problem in Computer Tomography and a Model for Interpolation in Synthetic Aperture Radar
Simulating Dynamical Systems from Data
Machine Learning Inorganic Solid-state Synthesis from Materials Science Literature
Signal processing and image reconstruction for scanning tomographic acoustic microscopy
Exploiting Structure for Sentiment Classification
View-based solutions for schema evolution problems: Application interoperability and view synchronization
Statistical representations of microbial systems
Algorithms for integrated analysis of glycomics and glycoproteomics by LC-MS/MS
CIRCA: The Cooperative Intelligent Real-time Control Architecture
Visual Methods for Exploring and Forecasting Time Series
Cache-based side channels: Modern attacks and defenses
Pixel-Level Prediction: From Geometry to Semantics
Accelerating MPI collective communications through hierarchical algorithms with flexible inter-node communication and imbalance awareness
Statistical and computational methods for addressing heterogeneity in genomic data
Adaptive File System Consistency for Mobile Computing Environments
Online Controlled Experiment Design: Trade-off between Statistical Uncertainty and Cumulative Reward
Algorithms and architectures for data privacy
Studying Proteins Implicated in Cancer with a Computational Toolbox
Word hy-phen-a-tion by com-put-er
Approximation algorithms for clustering streams and large data sets
Learning To Understand Entities In Text
High-performance communication infrastructure design on FPGA-centric clusters
Maintaining data warehouses under limited source access
A New Place to Work and Play: Play Labor and the Production of the New Worker-Subject at Hackathons
Deep in-memory computing
James E. Shepard, the man and his message: a context-sensitive, discourse analysis of 'God Bless Old North Carolina'
Multitarget tracking through conditional probability estimation
Semantic correctness of a compiler for an Algol-like language
Computing Images with Diverse Illumination Effects
Techniques for real-time simulation of robot manipulators
XML query evaluation
High-dimensional gaussian filtering for computational photography
Optoelectronics for refrigeration and analog circuits for combinatorial optimization
Security and Usability Issues in Event-driven Applications
Efficient and Dependable Deep Learning Systems
Novel Fast Algorithms for Time Domain Integral Equation Analysis of Antennas and Circuits
Implicit Learning and Metacognition: A Computational, Behavioral, And Neural Analysis
Dependence-Based Source Level Tracing and Replay for Networked Embedded Systems
Program analysis for more efficient secure computation
Software Structures for Ultraparallel Computing
A Macro-oriented Programming Language Extension Facility
Applications of web link analysis
Autonomous agents for serving complex information needs
Transparent and Robust Causal Inferences in the Social and Health Sciences
Computational investigation of DNA methylation and C2H2 zinc finger transcription factor binding
Securing Operating Systems with Dynamic Program Analysis
A quasi-interactive approach to computer-assisted instruction
Modeling Event Implications via Multi-faceted Entity Representations
Information and Social System Interaction
A Study on 3D shape modeling of anatomical objects and its application to segmentation of medical images
Automatic detection of serious storage system errors via model checking
Automated Learning of Load-Balancing Strategies for a Distributed Computer System
Reduced Communication for Distributed Transactions through Time-Dependent Guarantees
Modeling and Simulation of Integrated Microstructures and Systems
A cost-effective cloud-based system for analyzing big real-time visual data from thousands of network cameras
Generators for Wireless Systems Prototyping
Intelligent runtime tuning of parallel applications with control points
Auditing the Reasoning Processes of Medical-Image AI
Computational Learning for Hand Pose Estimation
Structured Preference Representation and Multiattribute Auctions
A tool for model-based engineering
The Structure and Dynamics of Information Sharing Networks
Provenance in Modifiable Datasets
Image-Based Reconstruction and Modeling of Geometry With Complex Reflectance in Non-Diffusive Media
The Use of Hierarchy in Test Generation, Fault Simulation, and Testability Analysis Algorithms
Dynamic Analysis of Speech Signals
Diagnosing and debugging abnormal battery drain on smartphones
Provably Efficient Algorithms for Numerical Tensor Algebra
Tensor Decomposition for Concept Recognition
Physics-Guided Deep Learning for Dynamics Forecasting
Reporting Bugs in Metaprograms
Cache coherence in distributed systems (network, file systems)
A Universal Tensor Abstraction and its Application to and Implementation within Block-Based Compression
Interference Mitigation Techniques for Communication Systems
An Agile and Dexterous Balancing Mobile Manipulator Robot
Playful Places in Online Playgrounds: An Ethnography of a Minecraft Virtual World for Children with Autism
Automated Derivation of Application-Aware Error and Attack Detectors
A Prediction and Decision Framework for Energy Management in Smart Buildings
Encryption when messages and keys are related /
Enabling Practical Deployments of Privacy-Preserving Secure Technologies
Modeling and suppression of latchup
Hierarchical Models of Biological Systems
Context-Aware Platform Design and Optimization
Computing and Comprehending Topology: Persistence and Hierarchical Morse Complexes
Analysis of inefficiencies in systems with many independent agents
Working by Not Quite Working: Resistance as a Technique for Alternative and Oppositional Designs
Algorithmic Problems Arising in Posets and Permutations
Rewriting-based symbolic methods for distributed system verification
Probabilistic-Cost Enforcement of Security Policies in Distributed Systems
Uncertainty Quantification and Structure Discovery for Scalable Behavior Science
Global Image Filtering
Smarter Tools for (Citi) Bike Sharing
Investigation of general-purpose computing on graphics processing units and its application to the finite element analysis of electromagnetic problems
Anomaly Detection for the Science DMZ
Complexity Issues in Computational Algebra
A stochastic optimal control perspective on affect- sensitive teaching
Mitigating the cost, performance, and power overheads induced by load variations in multicore cloud servers
Statistical Modeling of the Effects of Process Variations on Silicon Photonics
The determination of semiconductor band gap structure and surface states using tunneling spectroscopy
An Intelligent Authentication Infrastructure for Ubiquitous Computing Environments
Software Developers Using Signals in Transparent Environments
Temperature-Aware VLSI Design and Analysis
SAGE: A real-time operating system for robotic supervisory control
Control System Design Automation Using Reinforcement Learning
Relevance-based updates to contexts memorized during implicit statistical learning
An integrated approach to OLAP optimization
Cross-Layer Security in Cyber-Physical Systems (CPSs)
Distributed optimization in multi-agent systems: applications to distributed regression
Authorial Leverage: Artificial Intelligence for Narrative and Storytelling
Solution of Nonsymmetric Systems of Equations on a Multiprocessor
Exact and Approximate Methods for Machine Translation Decoding
CUDA-accelerated HD-ODETLAP: a high dimensional geospatial data compression framework
Comprehensive Protection for Dynamically-typed Languages: Avoiding the Pitfalls of Language-level Sandboxing
Using Mobile Technology and Social Networking to Crowdsource Citizen Science
Parallel Processing Techniques for the Simulation of MOS VLSI Circuits Using Waveform Relaxation
Reasoning and decisions in partially observable games
Learning Structured Neural Semantic Parsers
Fast Algorithms for N-Body Simulation
Automated Multiparty Authorization in Open Distributed Systems
Expanding the limits of predictive methods: from supervised learning to novel sensors and massive human supervision
Achieving Flexibility and Performance for Packet Forwarding and Data Center Management
Communication-Efficient Algorithms For Distributed Optimization
Automatic Optimization of DSP Algorithms
Degeneracy control in geometric programs
Output-Size Sensitive Algorithms For Constructive Problems In Computational Geometry
Topological Design of Segmented-Folded Plas
Toward webscale, rule-based inference on the semantic web via data parallelism
Adaptive Isotopic Approximation of Nonsingular Curves and Surfaces
Accurate temperature sensing and efficient dynamic thermal management in MPSoCs
Probabilistic Revision of Logical Doman Theories
Interval Joins for Big Data
Query processing in data-warehousing environments
Pattern Discovery in Biology: Theory and Applications
Worst-Case Timing Analysis of Concurrently Executing DMA I/O and Programs
Cooperation of mutually suspicious subsystems in a computer utility
Evaluation of management information systems: A microeconomic approach
Enhancing the instruction fetching mechanism using data compression
Efficient Runtimes for Gradual Typing
Dynamical systems perspectives in machine learning
Adaptive and heterogeneous mobile wireless networks
Protocols and Architecture for Wireless Ad Hoc Networks
Ensembles for supervised classification learning
An Investigation Into the Extension of Redundancy Techniques
Stable Multithreading: A New Paradigm for Reliable and Secure Threads
Network function extensibility in software at round-trip timescales
Ranking models to identify influential actors in large-scale social networks
Efficient and physically consistent electromagnetic macromodeling of high-speed interconnects exhibiting geometric uncertainties
The power and limits of preprocessing in cryptography
Few-shot Concept Induction through Lenses of Intelligence Quotient Tests
Predictive transient circuit simulations of charged device model ESD events in system in package chips
Introspective Pushdown Analysis and Nebo
Resource-Efficient and Secure Networks at Scale
A Comprehensive Survey of Parsing Algorithms for Programming Languages
Strategies for Black-Box and Multi-Objective Optimization
Artificial Language Evolution on a Dynamical Interaction Network
Designing and Assessing Density Functionals
Localized Topology Control in Wireless Networks
Efficient testing of actor programs with non-deterministic behaviors
Uniform Asymptotic Theory Applied to Aperture Diffraction
Two-Dimensional Information Transmission
Adjoint Logic with Applications
CATS: Cloud application-specific traffic scheduling and routing
Tightening curves and graphs on surfaces
Enabling Efficient Persistent Memory Systems
A Statistical Approach to Stochastic Computing Design and Analysis
Interactive configuration: a logic programming-based approach
Rank-aware query processing and optimization
Accurate and Efficient SBOM Generation for Software Supply Chain Security
A Study of the Bipartite Ranking Problem in Machine Learning
Locality in distributed computing
Theoretical Foundations of Cryptography in the Wild
What Is a Wolf? The Construction of Social, Cultural, and Scientific Knowledge in Children's Books
The Social Complexities of Transgender Identity Disclosure on Social Media
Dydnamic Legged Locomotion with Spinal Embodied Compliance
Improving Memory Performance Using Intelligent Memory
Associative caching in client-server databases
A Polymorphic Type System and Compilation Scheme for Record Concatenation
Pseudo-Threshold Logic: A Generalization of Threshold Logic
Multimodal News Summarization, Tracking and Annotation Incorporating Tensor Analysis of Memes
Analysis and IC Implement of Digitally Controlled Multi-Port DC -Dc Converters
Time Series Learning With Probabilistic Network Composites
Energy-Efficient Security Solutions for Next-Generation Embedded Systems
Quantitative Access Control Policy Analysis and Repair Using Model Counting
Development of transistor lasers for high-speed short-haul communication links
Using vehicular networks for building distributed networks of services
Exploring Visual Perception with Transformers and World Model Representation
Investigation of cell-based therapies employing microcapsules and microspheres: encapsulation and controlled release
Automatic acquisition of pronunciation rules using error-driven learning
Algorithms in Semi-Algabraic Geometry
Automated Upgrading of Component-Based Applications
Designing Software to Shape Open Government Policy
Optimizing Response Time For Distributed Applications In Public Clouds
Robust and reliable large-scale transfer learning
Algebraic Derivation of Minimal Sums for Functions of a Large Number of Variables
Robust Perception and Auto-teaching for Autonomous Robotic Systems
Four-Dimensional Coherence Sensing
Astrostatistical Analysis in Solar and Stellar Physics
Parallel Graph Algorithms Through Approximation
Visual Utility: A Framework for Focusing Computer Vision Algorithms
A unified framework for constraint-based modeling
On Learning from Collective Data
Exploiting Regularities to Recover 3D Scene Geometry
Automatic Solutions of Partial Differential Equations
An Open System Environment for Real-Time Applications
Towards Modular and Differentiable Autonomous Driving
Approximation Based Safety and Stability Verification of Hybrid Systems
Evaluation of Selected Features of the Eureka Full-Text Information Retrieval System
Performability Models and Solutions
Simulation of Granular Media with the Material Point Method
Applications of Machine Learning for Character Animation
Fluid-Structure Interaction: Physiologic Simulation of Pulsatile Ventricular Assist Devices using Isogeometric Analysis
Functional analysis of systems characterized by nonlinear differential equations
Controlling Partial Evaluators Using Functional Parameters
Goal-Directed Self-Tracking in the Management of Chronic Health Conditions
Computational Chemistry Studies of Proteins and Organic Reactions
Resilient On-Chip Memory Design in the Nano Era
Policy Evaluation in Batch Reinforcement Learning
Co-Optimization and Co-Learning Methods for Automated Design of Rigid and Soft Robots
Grammar Competition Explored in Two Case Studies: The Null Subject Stage in English-Speaking Children and the Variation Observed in Old English
Novel Concepts for Differential-Equation-Based Electromagnetic Field Simulations
Push-Button Verification of Systems Software
An Investigation of the Ionospheric D Region at Sunrise