yusuke1997/dblp-id-title huggingface dataset:
Modeling Events and Affects in Social Media Stories
Binary instrumentation and transformation for software security applications
A computational approach to the study of social interaction
Crowd-Sourced Wrapper Construction with End Users
Mechanisms of Controlled Sharing for Social Networking Users
Weighted random mappings; properties and applications
Performing database operations over mismatched domains
Detecting Influencers in Social Media Discussions
Leveraging Stances in Conversations for the Assessment of Contentious events in Twitter
Self-Supervised Learning for Speech Processing
Computational approaches to deciphering regulatory circuits in mycobacterium tuberculosis from chip-seq data, and developing theoretical strategies to combat drug-resistant infections
Reactive-Process Programming and Distributed Discrete-Event Simulation
Exact and approximate equilibria for network formation and cut games
Reliable and scalable checkpointing systems for distributed computing environments
Automated Performance Modeling of Multithreaded Programs
Quantum and Quantum-Inspired Computation for MIMO Communications in Wireless Networks
Towards automating genetic disease diagnosis: genes, phenotypes, patient privacy
Adaptive Learning: Algorithms and Complexity
Shape Analysis With Crowdsourced Data
Architectural support for security management in enterprise networks
Legible Robot Motion Planning
Flexibility, Scalability, and Efficiency in Next-Generation Digital Signal Processors
Eulerian Geometric Discretizations of Manifolds and Dynamics
Information requirements and the implications for parallel computation
Nonmonotonic cryptographic protocols
Recommendation in Dialogue Systems
Effective Wide-Area Network Performance Monitoring and Diagnosis from End Systems
Compressed sensing for scalable robotic tactile skins
Clinical Epidemiology and Comparative Effectiveness of Computerized Antibiotic Stewardship on Patient Infection Resolution, Clostridium difficile Infection, and Mortality
Efficiency considerations in program synthesis : a knowledge-based approach
Deep Learning Based Medical Image Analysis with Limited Data
Database Support for Similarity Retrieval and Querying Mobile Objects
Performance modeling and analysis techniques for integrated embedded control software design
Functional Clone Detection in Intelligent Software Components
Towards Split Computing: Supervised Compression for Resource-Constrained Edge Computing Systems
Array-based planar nanowire high electron mobility transistor
User-to-User Privacy in Social and Communications Applications
Defining and naming the fundamental objects in a distributed message system (conversations)
Enabling Practical Quantum Computation: Compiler and Architecture Techniques for Bridging the Algorithms-to-Devices Resource Gap
New Techniques for Logic Built -in Self -Test
Quantitative analysis of problems in computer algebra: Grobner bases and the Nullstellensatz
Coded Caching in Wireless Networks and Storage Systems
Jade: Compiler -Supported Multi-Paradigm Processor Virtualization-Based Parallel Programming
Less is sometimes more in the automation of software evolution tasks
Speech synthesis by rule: an acoustic domain approach
A dependently typed programming language with dynamic equality
Personalized Navigation Instruments for Map User Interfaces
Visibility-Aware Motion Planning
Program Schemata & Information Flow: A Study of Some Aspects of the Schema Power of Data Structures
Towards New Interfaces For Pedagogy
Deep Learning Tools for Next-Generation Connectomics
Optimization Algorithms for Site-directed Protein Recombination Experiment Planning
Physically-Adaptive Computing via Introspection and Self-Optimization in Reconfigurable Systems
Facilitating analog circuit design and debugging with instrumented, programmable hardware
Social Addictive Gameful Engineering (SAGE): A Game-based Learning and Assessment System for Computational Thinking
Repurposing the Ubiquitous Acoustic Devices for Cross-Modality Sensing
Data-driven tools for scene modeling
Regression test selection: theory and practice
Toward Extendable and Reliable Use of Large Foundation Models
Spectral Matching of Musical Instrument Tones
A Purely Defeasible Argumentation Framework
Self Adaptive Methods for Parabolic Partial Differential Equations
The Global Object Tracker: Decentralized Version Control for Replicated Objects
Monolithic High-Speed Optoelectronic Integrated Receivers for Greater Than 10 Gigabits Per Second Optical Communications
Asynchronous Parallel Coordinate Update Methods for Large Scale Problems
Enabling Practical and Performant Sketch-based Network Telemetry on Programmable Switches
Optimization in stochastic models of network applications
An Analysis & Implementation of Davidon's Techniques for Unconstrained Optimization
Debugging with Domain-Specific Events Via Macros
Modulo Scheduling for Control-Intensive General-Purpose Programs
ReflectionSpace: an interactive visualization tool for supporting reflection-on-action in design
Computing in GRW Quantum Mechanics & Lessons for Physical Computation
Improving regression testing efficiency and reliability via test-suite transformations
Human-like Holistic 3D Scene Understanding
Observations of the thermosphere using measurements from long-term Fabry-Perot interferometers
Assuring network service with bandwidth and integrity based fairness
Encryption schemes from bilinear maps
Mapping Large, Urban Environments with GPS-Aided SLAM
Compilers for portable programming of heterogeneous parallel & approximate computing systems
Constructing and modeling text-rich information networks: a phrase mining-based approach
Simultaneous subordinate microthreading
Expressive Design Tools: Procedural Content Generation for Game Designers
Rethinking Civic Computing in China
Consistent state detection and recovery for concurrent processing
Value function approximation architectures for neuro-dynamic programming
Performance Guarantees in Learning and Robust Control
Growth and Characterization of Molecular Beam Epitaxial Gallium-Arsenide Antimonide and Gallium-Arsenide Antimonide/gallium-Arsenide Superlattices
Reading to Learn
A Study of Redundant Number Representations for Parallel Digital Computers
Spatial-Temporal Multiuser Receivers for Cdma-Based Communications
Towards Integrated Acoustic Models for Speech Synthesis
Lagrangian analysis of vector and tensor fields: Algorithmic foundations and applications in medical imaging and computational fluid dynamics
Lifted probabilistic relational inference for uncertain networks
Natural language evaluation with humans in the loop and statistical estimators
Towards Rigorously Tested & Reliable Machine Learning for Health
Achieving resilient networks with diversity and network coding
Advanced Automated Web Application Vulnerability Analysis
Essays on Law and Natural Language Processing
Analysis and design of electrically small, circularly polarized cylindrical microstrip antennas
An Activity-Based Framework for Automated Placement and Configuration of Multiple Stereo Cameras
Tracking physical events on social media
Adaptive query processing in data stream management systems
Competitive On-line Scheduling for Overloaded Real-Time Systems
Accurate, Robust and Structure-Aware Hair Capture
Multicomputer Interconnection Using Word Parallel Shift Register Ring Networks
New Primitives for Tackling Graph Problems and Their Applications in Parallel Computing
The Design of Online Environments (Political Hashtags) and the Quality of Democratic Discourse At-Scale
Efficient Reinforcement Learning through Uncertainties
Harnessing heterogeneous association in real-world networks
VLSI Computational Structures Applied to Fingerprint Image Analysis
Parallel Algorithms for VHDL Simulation
Modeling the Structure of the Human Semantic System
Brain Inspired Neural Network Models of Visual Motion Perception and Tracking in Dynamic Scenes
Type systems for object-oriented intermediate languages
Design and Analysis of Hybrid and Hybrid-Inspired Control Systems in Stochastic and Non-Stochastic Settings
Recursion theoretic semantics, fully abstract term models, and imperative constructs
Effects of Fading on a Multi-User Spread Spectrum System Using Direct Sequence Modulation
Distribution and Histogram (DisH) Learning
Failsafe routing and multicasting in dynamic internets
Distributed Resource Allocation in Contention-Based Wireless Networks
Voltage Stacking and Timing Speculation with an SRAM Focus
Scalable Robot Learning
Automatic Curve Fitting for Interactive Display
Data parallel algebraic multigrid
Creation of hierarchic text with a computer display
A study of code optimization using a general purpose optimizer
Metric process models
Robust and Efficient Methods for Approximation and Optimization of Stability Measures
Computing range maps for low-altitude rotorcraft flight using computer vision and a hierarchical framework
The Destructive Birth of Massive Stars and Massive Star Clusters
An Investigation of the Current Source-Function Technique for Solving Problems of Electromagnetic Scattering
Maximizing Expected Value of Information in Decision Problems by Querying on a Wish-to-Know Basis
Information Extraction from Undersampled and Asynchronous Vehicle Sensor Data
Measurement of volumetric blood flow using ultrasound time-domain correlation
Building Scalable Architectures Using Emerging Memory Technologies
Analysis and modeling of large-scale systems : taxis and social polling
Assessment and support of the idea co-construction process that influences collaboration
Software Algorithms for Hardware Ray Tracing
Quasi-Newton and Multigrid Methods for Semiconductor Device Simulation
Efficient Content Distribution with managed swarms
Efficient Systems Biology Algorithms for Biological Networks over Multiple Time-Scales: From Evolutionary to Regulatory Time
Expanding the breadth and detail of object recognition
Understanding Unconscious Bias by Large-scale Data Analysis
Systematic Design and Formal Verification of Multi-Agent Systems
Polite rescheduling: Responding to schedule disruptions in a multi-agent manufacturing system
Optimum Implementation Of Topological Structures For Interactive Computerdisplays
Architecture and CAD for Nanoscale and Three-Dimensional FPGA
Contributions to game-theoretic aspects of multi-agent systems
Polymorphic Compilation for Cross-Domain Acceleration
Evaluation of Programs and Parallelizing Compilers Using Dynamic Analysis Techniques
Dynamical Model Learning and Inversion for Aggressive Quadrotor Flight
Privacy enhanced automated trust negotiation
Cryptographic agents
Constructive specification and synthesis of agents for custom and cross RPC
Towards Analytics-Optimized Document Stores
Systolic algorithms and VLSI implementations for graph-matching problems
Markov chains, game theory, and infinite programming: Three paradigms for optimization of complex systems
Towards More Accurate Time Series Data Mining by Constraining Model's Flexibility
Reconfiguration of Fault-Tolerant VLSI Systems
Intrinsic Triangulations in Geometry Processing
Representation Learning for Chemical Activity Predictions
On the isomorphism testing of graphs
Learning and Mapping Energy Functions of High-Dimensional Image Data
Protected dissemination and computer-aided reconstruction of digitized cultural artifacts
Abstract Types & Dependence in Programming Languages
Impact of Communication Networks on Fault-Tolerant Distributed Computing
Achieving Service Level Objectives for Latency-Critical Cloud Services by Exploiting Various Forms of Heterogeneity in Server Clusters
Adapting Static Analysis Tools to Meet User Expectations
Geo-distributed big data processing
Compositional and analytic applications of automated music notation via object-oriented programming
Singular Perturbation Method in the Theory of Optimal Control
Toward Predictable Networks
Large-scale Affective Computing for Visual Multimedia
Leveraging Collection Structure in Information Retrieval With Applications to Search in Conversational Social Media
3D spatial layout and geometric constraints for scene understanding
Architectures and algorithms for voltage control in power distribution systems
Translating Dialects in Search: Mapping between Specialized Languages of Discourse and Documentary Languages
Learning joint latent representations for images and language
Exploiting unused storage resources to enhance systems' energy efficiency, performance, and fault-tolerance
Optical properties of gallium arsenide and indium gallium arsenide quantum wells and their applications to optoelectronic devices
Fast Higher-Order Solutions for Electromagnetic Scattering From Three-Dimensional Bodies
Sequential Decision Making in Single-Agent and Multi-Agent Domains
Tracking User Web Browsing Behavior: Privacy Harms and Security Benefits
Formal methods paradigms for estimation and machine learning in dynamical systems
Inverse optimal control for differentially flat systems with application to lower-limb prosthetic devices
Ultra-Fast, Accurate, and Practical Anomaly Detection Algorithms for Time Series Data
Structural Analysis of Large Networks: Observations and Applications
Hierarchical properties of flows, and the determination of inner loops
Text Detoxification in Natural Language Processing
GRAph Parallel Actor Language: A Programming Language for Parallel Graph Algorithms
Topics in Mosfet Network Design
Deep 3D Embodied Visual Recognition
A Systematic Approach for Understanding and Modeling the Performance of Network Security Devices
A New Approach to Multi-Sensor Navigation System Design
Architectural Support for Securing Systems Against Micro-Architectural Attacks
Measuring the bandwidth of packet switched networks
Design and Use of Computational Notebooks
An Integrated Approach to Improving Web Performance
An End-to-End QoS Management Architecture for Flexible Applications
Task-Specific Computational Cameras
Motor skill learning with local trajectory methods
Learning Integrated Relational and Continuous Action Models for Continuous Domains
A minicomputer based interactive graphics computer system with illustrative application to structural data analysis
Simple Algorithms with Provable Guarantees for Large Scale Data Analysis
Three-Dimensional Volume Reconstruction From Fluorescent Confocal Laser Scanning Microscopy Imagery
Annotating Mobile Code for Performance
Leader-Follower and Nash Strategies With State Information
Risk and Uncertainty in Healthcare Finance, Investment Management, and Asset Pricing
Safe Adaptive System Reconfiguration in Autonomous Machines
An Investigation of Higher Order Servo Systems With a Non-Linear Computerusing Phase Space Techniques
Improving Fine-Grained Resource Mapping on Tightly Coupled Heterogeneous Multi-cores
Theoretical Tools for Network Analysis: Game Theory, Graph Centrality, and Statistical Inference
Walking forward and backward: towards graph-based searching and mining
Automated Learner Classification Through Interface Event Stream And Summary Statistics Analysis
The Synthesis of Symmetrical and Antimetrical Networks With Constant Group Delay
Computational and Symbolic Models for Secure Computation
A computational approach to linguistic coordination
Interdomain Multipath Routing
Applying Medical Language Models to Medical Image Analysis
Local Bounds for the Independent Set Polynomial and the Probabilistic Method
Aspects of the Implementation of Type Theory
Essays on Information Technology and Market Dynamics: An Analysis of Media , Mobile and Platform Competitions
Server Authentication on the Past, Present, and Future Internet
Intelligent assistance for the design of knowledge-based systems
Modeling and Control of Overloaded Transmission Networks
Mitochondrial dynamics: regulation of insulin secretion and novel quantification methods
Active Vision: Autonomous Aerial Cinematography with Learned Artistic Decision-Making
On the Distribution of Genetic Variation in Ecological Communities
System Architecture for High-Performance Vector Graphics
Design and Optimization the Open Speech Platform to Democratize Hearing Aid Research
A formal and neuroscientific investigation of the differences between normatively correct and incorrect human reasoning
Computational Imaging Methods for Improving Resolution in Biological Microscopy
Efficient and Trustworthy Theory Solver for Bit-vectors in SatisfiabilityModulo Theories
Mathematical Modeling of Viral Evolution and Epidemiology
Qualitative models of information and decision making: foundations and applications
Approximate computing: An integrated cross-layer framework
Efficient cross-layer routing and congestion control architectures for distributed systems
On the design of high performance digital arithmetic units
Toward Stronger User Authentication
Tensor Rank and the Complexity of Bilinear Forms
Representation Learning based Query Answering on Knowledge Graphs
Multiscale Computational Fluid Dynamics Modeling: Parallelization and Application to Design and Control of Plasma-Enhanced Chemical Vapor Deposition of Thin Film Solar Cells
Dendritic Materials as a Dry Release Sacrificial Layer
Toward communication-efficient and secure distributed machine learning
Modern Statistical/Machine Learning Techniques for Bio/Neuro-imaging Applications
Towards Interpretability and Robustness of Machine Learning Models
Three Paradigms for Mixing Coding and Games: Coding in a Game, Coding as a Game, and Coding for a Game
Robust, Automated Methods for Filtering and Processing Neural Signals
Semantic Infrastructure for a Ubiquitous Computing Environment
Communication Paradigms for Mobile Ad Hoc Networks
Concurrent Security
Local Constraints in Combinatorial Optimization
Low-Power CMOS Circuits for High-Performance Deep Submicron System on a Chip
Principled and practical web application security
Processor Memory Integration: How It Affects Scalable Multiprocessors
The Alignment Problem Under Partial Observability
Robot haptics: object recognition through dynamic exploration
Fast time- and frequency-domain finite-element methods for electromagnetic analysis
The Ballistic Protocol: Location-aware Distributed Cache Coherence in Metric-Space Networks
Improving capacity-performance tradeoffs in the storage tier
Retrieval Performance in a Full Text Journal Article Database
Discerning Code Changes From a Security Perspective
Unifying State and Policy-Level Explanations for Reinforcement Learning
Compact Generative Models of Point Cloud Data for 3D Perception
Machine learning and causality: Building efficient, and reliable models for decision-making
Example-centric programming: integrating web search into the development process
Approximation and Hardness: Beyond P and NP
Proving Properties of Snobol4 Patterns
Quantum algorithms for linear algebra and machine learning
Refining the Design of Blockchain for Secure Distributed Systems
Enhancing Anonymity Systems under Network and User Dynamics
Accessing Diverse Web Knowledge with Natural Language Interface
Virtualizing register context
Analyzing Mobile App Privacy Using Computation and Crowdsourcing
Detection of sparse mixtures: fundamental limits and algorithms
Music from chaos: nonlinear dynamical systems as generators of musical materials
Matching, social welfare and ordinal approximation
Robust Sentence Analysis and Habitability
Proving Temporal Properties of Concurrent ProgramsP: A Non-Temporal Approach
Energy Efficient Downstream Communication in Wireless Sensor Networks
User-Centered Design of Principled Programming Languages
Software-Driven and Virtualized Architectures for Scalable 5G Networks
Privacy-Enhancing Techniques for Data Analytics
Scalable Representations for Vision and Robotics
Understanding Deep Learning via Analyzing Dynamics of Gradient Descent
Ribbons: A Partially Shared Memory Programming Model
Automatic laser calibration, mapping, and localization for autonomous vehicles
Unifying cross-modal concepts in vision and language
Improving the Diagnosability of Modular Combinational Logic by Test Pointinsertion
Fully Concurrent GPU Data Structures
Analysis and Representations for Automatic Comparison, Classification, and Retrieval of Digital Images
Digital and Microwave Superconducting Electronics and Experimental Apparatus
A digital spectral analysis technique and its application to radio astronomy
Scheduling for Fairness and Minimal Response Times in Wireless Data Networks
Detection and prediction problems with applications in personalized health care
Group scheduling and assignment: complexity and algorithms
Synthesis and Robust Detection of AI-generated Media
Approaches to Food Journaling on Mobile Devices
Modeling Narrative Discourse
Backtracking events as indicators of software usability problems
Dossier: Distributed operating system and infrastructure for scientific data management
Multiattribute Call Markets
Monte Carlo Radiation Transport Simulations of Asymmetric Neutron Star Mergers
Extreme-scale neuromorphic architecture modeling using massively parallel optimistic simulation
IoT security and privacy assessment using software-defined radios
Coordination of Multiple Dynamic Programming Policies for Control of BipedalWalking
Describable Visual Attributes for Face Images
A knowledge-based approach to automatic program analysis
Ruratae: a physics-based audio engine
Executable clinical models for acute care
Blast: A Machine Architecture for High-Speed List Processing Using Associative Tables (Traversal, Pointers)
Ranked Search Over Structured and Semi-Structured Data
Electrostatic Discharge Protection and Measurement Techniques for Radio Frequency Integrated Circuits
High performance structure extraction and analysis for visualization
Uncertainty and Decentralization: Two Themes in an Energy Transformation
Measurement-Based Reliability/performability Models
Provably Robust Machine Learning through Structure-Aware Computation
A Method for Clustering High-Dimensional Data Using 1D Random Projections
Leveraging Longitudinal Data for Personalized Prediction and Word Representations
Semantic Three-Dimensional Understanding of Dynamic Scenes
Consistent Feature Extraction from Vector Fields: Combinatorial Representations and Analysis Under Local Reference Frames
Improved Physical Design for Manufacturing Awareness and Advanced VLSI
Quantization for Noisy Channels Using Structured Codes
Computational Linguistic Models of Deceptive Opinion Spam
A categorization of computer security monitoring systems and the impact on the design of audit sources
Summarization and Sentiment Analysis for Understanding Socially-Generated Content
Investigating and Supporting Sensemaking within Online Health Communities
Unraveling the genetics of disease using structured probabilistic models
Pathway activity analysis of bulk and single-cell RNA-Seq data
A Framework for Promotion Analysis in Multi-Dimensional Space
GPU-based, Microsecond Latency, Hecto-Channel MIMO Feedback Control of Magnetically Confined Plasmas
Fixed-Point Computation and Seismic Waveform Tomography
List, Sample, and Count
Implicit Models: Theories and Applications
Efficient Modeling and Verification of Analog/Mixed Signal Circuits Using Labeled Hybrid Petri nets
Dynamic Simulation of Non-penetrating Rigid Bodies
ThingLab: a constraint-oriented simulation laboratory
Learning deep embeddings by learning to rank
Security and privacy techniques for outsourced and distributed databases
Improving FPGA Simulation Capacity with Automatic Resource Multi-Threading
Efficient Testing for Bridging Faults in Digital Integrated Circuits
On the segmentation and analysis of continuous musical sound by digital computer
Hardness in P
Analyzing & designing the security of shared resources on smartphone operating systems
A Technique for Solving Certain Wiener-Hopf Type Boundary Value Problems
Comparing Forecasters and Abstaining Classifiers
State Feedback Design Methods: Eigenstructure Assignment and LQR Cost Functional Synthesis
A Decision Procedure for a Class of Unquantified Formulae of Set Theory Involving the Powerset and Singleton Operators
Constraint Methods for Neural Networks and Computer Graphics
Single Channel auditory source separation with neural network
Energy management in sensor networks for continuous monitoring applications
SMT Beyond DPLL(T): A New Approach to Theory Solvers and Theory Combination