yusuke1997/dblp-id-title huggingface dataset:
Uncovering the Structure of Animal Behavior via Deep Learning
Toward A Highly Available Future Internet
Architectural Support for Scalable Speculative Parallelization in Shared -Memory Multiprocessors
Cloud Resource Management for Big Visual Data Analysis from Globally Distributed Network Cameras
SoC-Based In-Storage Processing: Bringing Flexibility and Efficiency to Near-Data Processing
Nonlinear Filtering in High Dimension
Modeling the Dynamics of Consumer Behavior from Massive Interaction Data
Efficient algorithms for articulated branching mechanisms: dynamic modeling, control, and simulation
Native Oxides on Aluminum-Bearing Iii-V Semiconductors With Applications to High-Performance Laser Diodes
Channel Comparison Methods and Statistical Problems on Graphs
The Development of Representation-Based Methods for Knowledge Engineering of Computer Networks
A hybrid approach to automatic program parallelization via efficient tasking with composable data partitioning
Random Matrices and Provable Algorithms for Approximate Diagonalization
The state-variable approach to continuous estimation
Producing Trustworthy Hardware Using Untrusted Components, Personnel and Resources
Learning to Converse With Latent Actions
A Data Abstraction Language for Concurrent Programming
Optimizing Memory-Resident Decision Support System Workloads for Cache Memories
Robust Estimation of 3D Human Body Pose with Geometric Priors
Diffusion and clustering on large graphs
Physical Design Methods and Research Infrastructure for Advanced VLSI Technologies
Advanced optimizations for large scale parallel discrete event simulations
Communicative databases
Performance of Digital Communications Over Selective Fading Channels
Labelled formal languages and their uses
Structural aspects of system identification
Intrusion and Fault Tolerance: For Wireline and Wireless Networks
New Approaches to Quality Tetrahedral Mesh Generation
Automated Comparison of Image Similarities and Differences
Security mechanisms for content distribution networks
Transient Analysis of Nonlinear Servomechanisms Using Describing Functions With Root-Locus Techniques
Disk I/O in High-Performance Computing Systems
Acoustic Modeling and Feature Selection for Speech Recognition
Learning compact hashing codes with complex objectives from multiple sources for large scale similarity search
Quantum Signal Processing Algorithm and Its Applications
Mirror worlds, eclipse attacks and the security of Bitcoin and the RPKI
Building Distributed Systems Using Programmable Networks
Large Scale Visual Recognition
Graph-based decoders and divergence-rate estimators for data-hiding problems
Consumer Protection on the Web with Longitudinal Web Crawls and Analysis
Dynamic Networks: Architectures and Algorithms
Realizing Practical LLM-assisted AI Assistant in the Semiconductor Domain
The Guide: An Information System
Efficient algorithms for mining arbitrary shaped clusters
Process-Based Models of Optimal Complexity
Novel Implicit Discretization and Solutions for Elastic Solids and Fluids
Semisupervised Learning of Classifiers With Application to Human -Computer Interaction
De-Entanglement: A Framework towards building Ubiquitous speech technologies
Application-Aware Cluster Resource Management
Democratizing Details-on-demand Data Visualizations at Scale
Exact layout area minimization of static CMOS cells
Learning Deep Models under Constraints of Annotated Data Insufficiency
The American Library Association and World War I
Hybrid techniques for high-fidelity physical simulation of solids and fluids
Maximizing User Domain Expertise to Clarify Oblique Specifications of Relational Queries
Bridging the Gap Between Set Theory and Logic: Leveraging Computing as a Mediating Tool for Learning
Influence apart from Adoption: How Interaction between Programming and Scientific Practices Shapes Modes of Inquiry in Four Oceanography Teams
SRAM Reliability Improvement Using ECC and Circuit Techniques
Hybrid Methods for Optimization with High Performance and Robustness
Designing Flexible, Energy Efficient and Secure Wireless Solutions for the Internet of Things
The Group Membership Problem in Asynchronous Systems
Data-Driven Statistical Models of Robotic Manipulation
Structure-Driven Algorithm Design in Optimization and Machine Learning
Modeling the Adversary to Evaluate Password Strength With Limited Samples
Novel Linearity Tests with Applications to Lattices and Learning Problems
Advancing AI Understanding in Language & Vision
Information Theoretic Measures and Estimators of Specific Causal Influences
Hybrid Techniques for Simulating Quantum Circuits using the Heisenberg Representation
Internet of Things and Neural Network Based Energy Optimization and Predictive Maintenance Techniques in Heterogeneous Data Centers
Lightly Supervised Machine Learning for Wireless Signals
Transition faults and transition path delay faults: Test generation, path selection, and built-in generation of functional broadside tests
Deep Representation Learning on Complex Graphs
Symbolic protocol composition logic: proving network protocols to be secure
Algorithms for Matrix Approximation: Sketching, Sampling, and Sparse Optimization
Role of Influence in Complex Networks
Large Graph Simplification, Clustering and Visualization
Improving Large-Scale Network Traffic Simulation with Multi-Resolution Models
A Study in Memory Interference Models (Performance Evaluation, Semi-Markov Process, Markov Chain, Multiprocessor, Multiple-Bus System)
Advanced Statistical Modeling for Model-Based Iterative Reconstruction for Single-Energy and Dual-Energy X-Ray CT
Self-tracking technology for senior health: existing practices and unmet needs for wellness, self-management, and recovery
Distances and algorithms to compare sets of shapes for automated biological morphometrics
Monte Carlo Simulation of Nanostructures: Semiconductor Devices to Ion Channels
Mitigation of Variability and Reliability Margins in IC Implementation /
Automatic staged compilation
Using Large-Scale Empirical Methods to Understand Fragile Cryptographic Ecosystems
Architectural Enhancements for Data Transport in Datacenter Systems
Open-Hardware Electronic Embedded Systems for Biological Cell Culturing
Integrating Multimodal Data for Personalized Models of Cancer
The Study of Turbo Codes and Iterative Decoding
Solving the Navier-Stokes Equations on a Distributed Parallel Computer
Multigate MOSFETs for digital performance and high linearity, and their fabrication techniques
Wearable Data Synthesis for Portable Biomechanics
Natural Language Processing for Personal Values and Human Activities
Rethinking Low-Power Wide-Area Networks on Earth and Space
Physical planning to embrace interconnect dominance in power and performance
Extracting Insights from Differences: Analyzing Node-aligned Social Graphs
Supporting and Leveraging Prediction Models for Database Applications
On the Role of Search in Generating High-Performance BLAS Libraries
Orchestration Systems to Support Deep Learning at Scale
Optically Pumped Thin Platelet Semiconductor Lasers
Virtual memory management
Computational analysis of cis-regulatory mechanisms underlying cellular response to drug perturbations
Novel Methods for Efficient Musculoskeletal-Driven Skin Deformation of Animated Characters
Cross-Document Coreference Resolution for Entities and Events
Safety analysis of systems
Fine Motion Planning for Dexterous Manipulation
Practical machine learning for sequential decision problems on the internet
Quantum Algorithms and Complexity for Numerical Problems
Understanding and Taming Adversarial Actions Against Internet Content Blockers
Private and Resilient Mobile Edge Networks
Analyzing Tatonnement Dynamics in Economic Markets
Syntax And Semantics In Parsing: An Application To Montague Grammar
Parsing and Generation for the Abstract Meaning Representation
Design of Minimal Programmable Logic Arrays
Terra: simplifying high-performance programming using multi-stage programming
Topics in Machine Learning
Optimizing on-demand resource deployment for peer-assisted content delivery
Machine Learning Algorithms for Efficient Acquisition and Ethical Use of Personal Information in Decision Making
Photorealistic Virtual Try-on with Generative Models
Distributed access to parallel file systems
A Network Queueing Model of a Multiprogrammed Time-Shared Computer System
Studies in Graph Algorithms: Generation and Labeling Problems
Automated Data-Driven Hint Generation for Learning Programming
Techniques In Scalable And Effective Parallel Performance Analysis
Incentivizing User-centric Resource Allocation in Wireless Networks in Realtime
Detecting, characterizing, and taming flaky tests
Scalable Model Checking Beyond Safety - A Communication Fabric Perspective
Distributions and Their Laplace Transforms
On Solving the Large Sparse Generalized Eigenvalue Problem
Programming Language Techniques for Improving ISA and HDL Design
The Pursuit of Happiness: Hedonic and Eudaimonic Well-being for Intrisically Motivated Agents
Learning Preference Models for Autonomous Mobile Robots in Complex Domains
Serving CS Formative Feedback on Assessments Using Simple and Practical Teacher-Bootstrapped Error Models
Probabilistic Methods for Mitigating Uncertainties in Large-Scale Computing and Machine Learning
Advanced wireless communications using large numbers of transmit antennas and receive nodes
Characterizing, Modelling and Augmenting Datasets for Simulation of Multi-Modal Internet-of-Things Applications
Beyond the Search Bar: Augmenting Discovery, Synthesis & Creativity By Mining Unstructured User-Generated Context
Computational Tools for Modeling Planar Defects in Alloys and Designing Materials Science Curricula
Data-driven coordination of assets in power distribution systems for ancillary service provision
High-field transport in two-dimensional graphene and molybdenum disulfide
Systematic and Scalable Testing of Concurrent Programs
Empowering deep learning with graphs
Time Series Modeling with Hidden Variables and Gradient-Based Algorithms
Scaling study of phase change memory using carbon nanotube electrodes
Dendritic spine segmentation from 3D confocal microscopic images
Using relational discrete event systems and models for prediction of future behavior of databases
Counting Cliques in Real-World Graphs
Collaborative, open, and automated data science
Interconnection and Internet Economics: The Impact of Regulatory Policies on Peering and ISP-Content Provider Relationships
Algorithms for Timing and Sequencing Behaviors in Robotic Swarms
Video and Image Analysis Using Local Information
Artistic vision: providing contextual guidance for capture-time decisions
Computer evolution of gene circuits for cell -embedded computation, biotechnology and as a model for evolutionary computation
Automated Testing, Verification and Repair of RTL Hardware Designs
Optimization and Generalization of Minimax Algorithms
Practical Improvements to User Privacy in Cloud Applications
Private-Key Fully Homomorphic Encryption for Private Classification of Medical Data
Data Science with Graphs: A Signal Processing Perspective
Learning Despite Complex Attribute Interaction: An Approach Based on Relational Operators
Issues in Frequency Domain Feedback Control Theory (Robustness, Sensitivity, Systems, Multi-Variable)
Parallel Circuit Simulation Techniques for a Hierarchical Machine
Power grid verification and optimization
On Waveguides With Anisotropic and Corrugated Boundaries
Towards Efficient and Secure Intelligent Transportation Services: AI-driven Traffic Light Controller and Privacy-Preserving Mobility Data Generation
Formal and informal communication patterns among AIDS researchers: An investigation based on collaboration and productivity
Improving Mobile Network Performance Through Measurement-driven System Design Approaches
Automated Performance and Correctness Debugging for Big Data Analytics
Image and Video Quality Assessment with Applications in First-Person Videos
Theoretical and Practical Advances in Structured Encryption
Robot Graph Grammars: Towards Custom Robots for Every Task
Stable Profiles in Simulation-Based Games via Reinforcement Learning and Statistics
Computational Methods for the Analysis of Genomic and Proteomic Sequences
Design and implementation of hybrid packet scheduling algorithms for high speed networks
Thompson Sampling for Bandit Problems
Applications of Point Process Modeling to Spiking Neurons
Electro-Optic Q-Switching of the Carbon-Dioxide Laser
Type Theoretic Properties of Assignments
A Multi-Accelerator Architecture for Photon Mapping
Uncovering the neural representation of multiple dimensions of object categorization in human visual cortex
Supporting Ranking for Data Retrieval
Multi-Structured Models for Transforming and Aligning Text
Distance-oriented Space-filling Design Constructions for Gaussian Process Modeling
The Development of Parallel Image Algorithms by Prototyping
Multithreading in distributed-memory systems and simulation: Design, implementation, and experiments
Integrity constraints for the semantic web: an OWL 2 DL extension
Games with vector payoffs : a dynamic programming approach
Essays in Computational Studies of Political Behavior on Social Media
Analysis And Optimization Of Multiprogrammed Computer Systems Using Storage Hierarchies
Query-based Graph Data Reduction
A Game Theoretic Analysis of Agent -Mediated Resource Allocation
Secure and private outsourcing to untrusted cloud servers
Localization of Humans in Images Using Convolutional Networks
A Framework to Support Opportunistic Groups in Context-Aware Applications
Towards RFID-based Cyber-Physical Connection Systems
Towards a Secure Federated Information System
Component Study of Co -Word Analysis
Optimization issues in network routing
Supporting library interface changes in open system software evolution
Computational Free-surface Fluid-structure Interaction with Applications on Offshore Wind and Tidal Energy
An information management system: A three-layered approach
Robust learning to rank models and their biomedical applications
Problems with Problems in Data Mining
Statistical learning models of sensory processing and implications of biological constraints
Shape Analysis by Abstraction, Augmentation, and Transformation
Learning to Code: Effects of Programming Modality in a Game-based Learning Environment
On the induction of decision trees for multiple concept learning
Haptic rendering of medical image data for surgical rehearsal
High Resolution Magnetic Resonance Imaging via Artificial Intelligence and Radiofrequency Coil Design
Towards Precise Network Measurements
Information-theoretic limitations of distributed information processing
Monte Carlo solution of scattering equations for computer graphics
The Stereomatrix Three-Dimensional Display System
Communication via the kinesthetic and tactile senses
Learning-Based Methods for Comparing Sequences, with Applications to Audio-to-MIDI Alignment and Matching
Parallel algorithms for polygonal and rectilinear geometry
A network intrusion detection system (NIDS) based on information centrality to identify systemic cyber attacks in large systems
Solving Real-World Tasks with AI Agents
A microprogrammed minicomputer for the efficient execution of high-level language programs
The use of Data Flow Information for the Selection and Evaluation of Software Test Data
Computational and Machine Learning Methods for Understanding Gene Regulation and Variant Effects
Efficient algorithms for shortest path and visibility problems
Design and Analysis of Fault-Tolerant Processor Arrays for Numerical Applications
InterBase: A systematic approach to the specification and execution of global transactions in multidatabase systems
Efficient Storage Design in Log-Structured Merge (LSM) Tree Databases
Incremental Graph Evaluation
Automatic Detection of Nondeterminancy, and Scalar Optimizations in Parallel Programs
Information theory meets big data: Theory, algorithms and applications to deep learning
Mechano-Genomic Analysis to Identify Flow-Mediated Vascular Transducers: A Multi-Scale Approach
Feature network methods for machine learning
Probabilistic Model-Based Approach to Evolutionary Analysis of Non-Coding Sequences
On Efficiency and Accuracy of Data Flow Tracking Systems
Cognitive analyses of machine learning systems
Effective design and analysis of systems genetics studies
Improving Internet congestion control and queue management algorithms
Self-Checking Programs: An Axiomatic Approach to the Validation of Programs by the Use of Assertions
Mining periodicity and object relationship in spatial and temporal data
High-performance software packet processing
IC Physical Design Methodologies for Advanced Process Nodes
Enhanced Representations and Efficient Analysis of Syntactic Dependencies Within and Beyond Tree Structures
Collaboration Strategies Employed in a Virtual World while Performing Distributed Usability Inspections
Optimal "big data" aggregation systems - From theory to practical application
Decoding Cancer Alterations through Machine Learning and Interactive Data Visualization
Multiscale Modeling of General Grain Boundaries: From Computing Grain Boundary Diagrams to Machine Learning to Deciphering the Physical Mechanism of Segregation
Eidolyzer: A Hardward Realization of Context-Guided Picture Interpretation
Two Computer Algorithms for Obtaining the Periodic Response of Nonlinear Circuits
Machine Learning Applications and Developments for Swine Industry
On the Development of Inductive Learning Algorithms: Generating Flexible and Adaptable Concept Representations
Test-driven transformations in logic design
Open Data Kit: Technologies for Mobile Data Collection and Deployment Experiences in Developing Regions
Learning-Based Program Synthesis: Towards Synthesizing Complex Programs from Multi-Modal Specifications in the Wild
Functional interpretation of high-resolution multi-omic data using molecular interaction networks
Ion Correlations and Transport in Li‑Ion Battery Electrolytes
Community evolution in temporal networks
Automatic Analysis of Language Use in K-16 STEM Education and Impact on Student Performance
Atomic-scale assessment of graphene-substrate interactions, grain boundaries, and materials for heterostructures
Hybrid conjugate gradient algorithms
Market-Based Coordination and Auditing Mechanisms for Self-Interested Multi-Robot Systems
Counting linear extensions and contingency tables
Algorithms for finding zeros and extrema of functions without calculating derivatives
Emerging Nanophotonic Applications Explored with Advanced Scientific Parallel Computing
Transparent Representation Learning for Graphs and Human-AI Collaboration
Learning Deep Visual Features from Limited Labeled Data
Neurocomputing on distributed memory machines
On High Level Digital System Design
Sensor Fusion for Field Robot Localization
Heterogeneous Integration of AlN MEMS Contour-Mode Resonators and CMOS Circuits
Impact of Cardinality Estimation on Query Optimization
Surface-Based Image Segmentation Using Application-Specific Priors
Speculative Shared -Memory Architectures
Efficient navigation of performance unpredictability in cloud through automated analytics systems
Activity Management in Cooperative Environments
Measuring and Improving Security and Privacy on the Web: Case Studies with QR Codes, Third-Party Tracking, and Archives
Design and Characterization of Fully Monolithic Millimeter-Wave Oscillators
Two essays on the economics of imperfect information
Adaptive sensing in uncertain environments: Maximum likelihood, sensor networks, and reinforcement learning
Detecting Access Control Misconfigurations with Change Validation
Depth-Based Visualizations for Ensemble Data and Graphs
An integrated study of fault tolerance in computing systems
Privacy-preserving distributed data mining and processing on horizontally partitioned data
Scaling the Infrastructure of Practical Blockchain Systems
Taming implicit synchronizations in concurrent programs
Towards Large-scale Quantum Computing
Program Synthesis Without Full Specifications for Novel Applications
An experimental study of the non-ideal effects of the radial Ohm's law in the flowing magnetized plasma experiment and the application of the heavy ion beam probe technique on a helicon plasma
Understanding and Improving the Performance of Mitigating Transient Execution Attacks
An Integrated Compiler and Runtime Framework for Sparse Matrix Codes
The Dialogue Designing Dialogue System
Tackling health inequity using machine learning fairness, AI, and optimization
Modeling Collaborative Virtual Human Agents
Network-Based Prioritization of Disease Genes, Animal Models, and Drug Targets
Network Attacks and Defenses for IoT Environments
Robust Near-Threshold QDI Circuit Analysis and Design
Numerical methods for the solution of large and very large, sparse Lyapunov equations
Solar Cell Temperature Dependent Efficiency and Very High Temperature Efficiency Limits
The Kronecker Product in Approximation and Fast Transform Geration
Stability and Multi-Models in Model Reference Adaptive Systems
The social shaping of cloud computing: an ethnography of infrastructure in East St. Louis, Illinois
Uncertainty quantication in environmental flow and transport models
Fast Data Analytics by Learning
Interactive Three-Dimensional Image Analysis and Visualization Using Graphics Hardware
Correctness of translations of programming languages: an algebraic approach
Automatic Classification of Input/output Access Patterns
Performance Debugging Frameworks for FPGA High-Level Synthesis
Theoretical Foundations of Multicore Systems Design: A Dynamical Systems Perspective
Limiting information exposure in multi-domain monitoring systems
Data Mining Meets HCI: Making Sense of Large Graphs
Theory of Indexing and Classification
Validating complex agent behavior
Towards Geometric Intelligence: Seeing, Grounding and Reasoning over Geometries
Some composite boundary value problems in electromagnetics and their applications
Developing a multi-scale understanding of the B cell immune response
Multidimensional Geometrical Signal Representation: Constructions and Applications
Principal Curves in High Dimensions
Applications and Development of the MMPBSA Method for Rational Drug Design
Motion Planning for Autonomous Vehicles in Urban Scenarios: A Sequential Optimization Approach
Recognition of three-dimensional objects by rendering function matching (computer vision, nonlinear optimization, graphics)
Privacy preservation in data publishing and sharing
PABLO and PYRITE: Helping Novices Debug Python Code Through Data-Driven Fault Localization and Repair
Learning structured and stable reduced models from data with operator inference
A system for multithreaded parallel simulation and computation with migrant threads and objects
Corelite: A Quality of Service Architecture for Wireline and Wireless Networks
Scalable collective message-passing algorithms
High-Quality Network Specifications via Coverage Analysis and Relational Abstractions
Analyzing and Improving Quasi-Newton Methods for Unconstrained Optimization
A rewriting approach to concurrent programming language design and semantics
Imperfect Label Information in Multimodal Human-Centric Machine Learning
Efficient Bayesian Machine Learning with Gaussian Processes
Practical least privilege for cross-origin interactions on mobile operating systems
A Transformational Framework for Automatic Derived Data Control and its Applications in an Entity-Relationship Data Model
Design of Sequential Stochastic Computing Systems
A Proof-Oriented Approach to Low-Level, High-Assurance Programming
The Absolute Stability of Systems With Multiple Nonlinearities
Coverage Planning for Robotic Vision Applications in Complex 3D Environment
Compilers and Software Security: Opportunities and Challenges
Nonlinear dimension reduction with neural kernel for path-dependent solid mechanics problems
Towards Domain-Inspired Solutions Tackling Limited and Diverse Data Problems: Applications in Bioinformatics, Astrobiology, and Biometrics
Exploiting Structure in combinatorial Problems with Applications in Computational Sustainability
First principles modeling of planar and point defects in materials
Dynamic power management for computing and communication
Mining social sensing data: representation, modeling, and applications