yusuke1997/dblp-id-title huggingface dataset:
2-D Materials: Low Power Electronics and Novel Device Possibilities
Algorithmic enhancements to causal inference problems
Representing Unstructured Environments for Robotic Manipulation: Toward Generalization, Dexterity and Robustness
Finding Your Match: Techniques for Improving Sequence Alignment in DNA and RNA
Exploiting Symmetry in Subgraph Isomorphism and Formulating Neural Network Constrained Optimization Problems
Replication-based Cyber Foraging and Automated Configuration Management
Machine Level Optimizations for High Level Languages
Theoretical Investigations of Cycloadditions and Subsequent Transformations Involving Allenes and Arenes to Form Complex Polycycles
A Study of Holography for Spherical Particle Size Analysis
Near Real-Time Push Middleware
General Purpose MCMC Sampling for Bayesian Model Averaging
Towards On-line Adaptive Therapy through the Automation and Acceleration of Processes on Graphics Processing Units
Investigating Procedural Expression and Interpretation in Videogames
Communications Networking for Autonomous Vehicle Highway Systems
Investigations Into Abstraction And Concurrency
Mechanism Design and Modeling to Analyze Complex Social Systems for Public Policy
Data-driven Methods for Evaluating the Perceptual Quality and Authenticity of Visual Media
Graph Embedding and Nonlinear Dimensionality Reduction
Measuring Security Metrics of Locked Circuits with Test
Unsatisfiability Bounds for Random Constraint Satisfaction Problems from an Energetic Interpolation Method
Model-based feature construction and text representation for social media analysis
Black-Box Approaches to Fair Machine Learning
Discrete Differential Operators for Computer Graphics
Calculus for decision systems
Tomographic Imaging and Characterization of Ionospheric Equatorial Plasma Irregularities With the Global Ultraviolet Imager
Rigid, melting, and flowing fluid
Rumor source identification, contagion processes, and dynamics of social network formation and evolution
Verifying Concurrent Programs by Controlling Alias Interference
Data parallelism with hierarchically tiled objects
An Efficient Delta-decision Procedure
Improving the reliability of language models for summarization
Mission-Phasing Techniques for Constrained Agents in Stochastic Environments
The Role of Corporate and Government Surveillance in Shifting Journalistic Information Security Practices
Near-Field Focusing Phased Array for Hyperthermia Application
Combinatorial Phylogenetics of Reconstruction Algorithms
Multifunctional Grasping and Object Detection through Facile Manufacturing of Biomimetic Actuators and Sensors
Improved Algorithms for Cell Placement and Their Parallel Implementations
Tracings and their convolution: theory and applications
A platform for creating efficient, robust, and resilient peer-to-peer systems
A New Hardware Approach to Coefficient Determination for the Linear Prediction of Speech
Citizen-led Work using Social Computing and Procedural Guidance
Designing Process-Oriented Computational Assistance to Support Self-Regulated Learning in Complex Games
On the relationship between parallel computation and graph embeddings
Feedback control of two physical processes: Design and experiments
Computational Approaches to Expand the Applications of Chromatin State Annotations
Bounds on Fundamental Problems in Parallel and Distributed Computation
Efficient Cryptography for the Next Generation Secure Cloud
Counting Real Zeros
Full-System Collaboration in Heterogeneous SoCs with a Hardware Network Stack
Fault Tolerance for Iterative Methods in High-Performance Computing
Sublinear Algorithms for Massive Data Computations: Streaming and Coresets
Understanding the rich world of outfits: a study of fashion compatibility, latent style, and outfit behavior
Computational Modeling of Multicomponent Disordered Rocksalt Cathodes
Online Hierarchical Optimization for Humanoid Control
On the Complexity of Market Equilibria and Revenue Maximization
An Intelligent Agent Based Spoken Dialog System for Content Based Image Retrieval
Information Economics in the Age of e-Commerce: Models and Mechanisms for Information-Rich Markets
Separating Information Protection from Resource Management
The Theory and Practice of Robust Geometric Computation, or, How To Build Robust Solid Modelers
A Robust Foundation for Binary Translation of X86 Code
Toward model-free and reference-free quantitative ultrasound
Sparse Encoding of Signals through Structured Random Sampling
Towards high performance graphene nanoelectronics: materials, contacts and interfaces
Verified High Level Synthesis
An Implementation of a System for the Formal Definition of Programming Languages
A subspace approach to high-resolution magnetic resonance spectroscopic imaging
Fine Grain Concurrent Computations
Interactive Analysis of Single-Cell RNA-Sequencing Data
Strategies for Selecting and Adapting Machine Learning Systems to Support Different Types of Experts
Optimizing performance under thermal and power constraints for HPC data centers
CorreGram: Using Corpus Data to Develop Student-Adaptable Automated Corrective Feedback for the L2 Spanish Language Classroom
Energy-Efficient Algorithms on Mesh-Connected Systems with Additional Communication Links
Not Everyone Has Access:� How Elementary Teachers' Computer Science Goals and Strategies Relate to Equity
Efficient Sampling of SAT and SMT Solutions for Testing and Verification
Leveraging Knowledge Bases in Web Text Processing
Managing Skew in the Parallel Evaluation of User-Defined Operations
A study of program and memory policy behaviour
Efficient schemes for massively fault-tolerant parallel communication
Modeled and Unmodeled Approaches for Quantification of the Cardiac Autonomic Nervous System
An Adaptive Resource Management Architecture for Global Distributed Computing
Conspicuous Computing: Software Development as a Knowledge Practice
Solid model construction from three-dimensional images
Teaching Old Dogs New Tricks: Incremental Multimap Regression for Interactive Robot Learning from Demonstration
New Exploration and Identification schemes for Linear Dynamics: the cases of Convex costs and Censored Data
Provably Robust and Accurate Methods for Rigid and Deformable Simulation with Contact
Pragmatics of File Migration
Efficient Solution of Large Sparse Eigenvalue Problems in Microelectronic Simulation
Outside the Machine Learning Blackbox: Supporting Analysts Before and After the Learning Algorithm
Optimization of recursive database query languages
Topics in Information and Estimation Theory: Parameter Estimation, Lossless Compression, Constrained Channels, and Error Exponents
An analysis of software interface issues for SMT processors
An Advanced Deep Learning and Computer Vision Framework for Precipitation Retrieval from Multi-spectral Satellite Information
Distributed routing and task allocation in multicomputer systems
Statistical and Computational Tradeoffs in High-dimensional Problems
Physical Design Methods and Research Infrastructure for Machine Learning Accelerators
Geometric Model Theory in Efficient Computability
Efficient Protocols for Multi-Party Computation
Electronic Structure Modelling of Catalysis and Complex Systems: Theory, Analysis and Application
Geolocation with Range: Robustness, Efficiency and Scalability
Orders of Magnitude: Three Works for Instruments and Electronics
Shortest Path Approximation and Optimal Transport with Flow-rate Constraints
Hybrid System Combination for Machine Translation: An Integration of Phrase-level and Sentences-level Combination Approaches
Human-efficient Discovery of Edge-based Training Data for Visual Machine Learning
Low-Cost Wearable Data-Acquisition System Enhanced with Biomechanical Analysis
Robust learning: information theory and algorithms
Characterization and Computation of Optimal Distributions for Channel Coding
Mobile Robot Navigation With Low-Cost Sensors
Unsupervised Discovery of Extraction Patterns for InformationExtraction
GIF Me a Break: The Influence of Reaction GIFs on Overhearers' Judgements of Humor and Irony in Computer-Mediated Communication
The Computational Complexity of Some Games and Puzzles With Theoretical Applications
Affinity in Distributed Systems
Characterizing End-to-end Internet Performance
Performance analysis and visualization tools to support the codesign of next generation computer systems
Spectro-Temporal and Linguistic Processing of Speech in Artificial and Biological Neural Networks
An ensemble framework for real-time audio beat tracking
Programming Abstractions and Efficient Compilation Techniques for Modern FPGAs
Towards Least Privilege Principle: Limiting Unintended Accesses in Software Systems
Speedup of Iterative Programs in Multiprocessing Systems
Downclocking WiFi to Improve Energy Efficiency in Mobile Devices /
Automatic variance reduction for Monte Carlo simulations via the local importance function transform
Precedence languages and bounded right context languages
Computer Modeling of Silicon Quantum Dot Floating -Gate Flash Memory Devices
Optimal nonlinear control and estimation using global domain linearization
Caching Derived Data in Object-Oriented Databases, and an Intelligent System Design for Selecting Their Materialization Strategies
Online identifiers in everyday life
Concurrent checkpointing for fast recovery in object-based systems
Software Model Checking with Uninterpreted Functions
A methodology for evaluation of provenance-based user interfaces
Efficient Computation of Extremal Structures in Graphs and Hypergraphs
A Comparison of some Deadlock Models
uMAD: Classification, Generation and Analysis of User Mobility and Activity Data
Exploring Generalization Inductive Biases in the Brain and Deep Neural Networks: Experimental and Computational Approaches
Automated Film Direction for Computer-Generated Discourse: Planning, Scheduling, and Execution
Aluminum Gallium Arsenide / Gallium Arsenide Heterojunction Phototransistors for Fiber-Optic Communications
On Program Restructuring, Scheduling, and Communication for Parallel Processor Systems
Sensing With Communication Constraints
Formal Implementation of High-Level Languages for Data-Parallel Programming
Programmable Accelerators for Lattice-based Cryptography
Locati[o]n-based activity recognition
Addressing Ambiguity In Object Instance Detection
Trap-driven memory simulation
Learning a long healthy aging
Nation-State Attackers and their Effects on Computer Security
Signal Processing Issues in Reflection Tomography
Recursion versus Tail Recursion over Abstract Structures
Collaborative learning by leveraging siloed data
Learning and Planning Towards AI for Social Good
Modeling the appearance and behavior of urban spaces
Fast, accurate power measurement and optimization for microprocessor platforms
Computational complexity of random-access models
Rational interaction: cooperation among intelligent agents
Implementing Reflection in Nuprl
Building RL Algorithms that Generalize: From Latent Dynamics Models to Meta-Learning
Approximation of bessel's differential operator of fractional order by finite-difference operators
On the performance of local synchronization with stochastic task times
Issues in the architecture of direct interconnection schemes for multiprocessors
Learning Representations for Information-rich Graphs
Statistical Tools for Digital Image Forensics
The Analysis, Modeling and Detection of Botnet-based Hosting Services and Emerging Threats
Toward a Fully Integrated VLSI CAD System: from Custom to Fully Automatic
Privacy in Control over the Cloud and Learning to Control From Expert Demonstrations
Language Techniques for Automated Verifiction of Web Security
Computational methods to dissect the genetic basis of human disease
Phenotype Inference from Genotype in RNA Viruses
The Effectiveness & Efficiency of Agglomerative Hierarchic Clustering in Document Retrieval
On the Alignment, Robustness, and Generalizability of Multimodal Learning
Improving the storage manageability, flexibility, and security in virtual machine systems
Nonblocking packet switching with shift-register rings
Building an Intelligent Agent to Design Neural Networks
QoE Based Management and Control for Large-Scale VoD System in the Cloud
Multi-Mobile Computing
Runtime systems for fine-grain multicomputers
Generality of the Structurally Symmetrical Lattice Four-Terminal Network
Mining heterogeneous information networks
Intellectual freedom and the politics of reading: libraries as sites of conservative activism, 1990-2010
New Techniques in Switching Circuit Synthesis
Towards Effective Visual Learning for Data-Centric Machine Vision
On the search for geometric orders, centers, and separation
Four-Wave Mixing in Distributed-Feedback Semiconductor Lasers
Investigation of Planar Waveguides and Components for Millimeter-Wave Integrated Circuits (Electromagnetics, Fin-Line, Dielectric)
Modeling the successes and failures of content-based platforms
Spectral Properties of Neural Network Models
Efficient solvers for the implicit time integration of matrix-free high-order methods
Articulating Space: Geometric Algebra for Parametric Design - Symmetry, Kinematics, and Curvature
Learning 3D Modeling and Simulation From and For the Real World
Agile Hardware/Software Co-Design for Hyperscale Cloud Systems
Improving Usability of Mobile Applications Through Speculation and Distraction Minimization
Feature Structures: a Logical Theory with Application to Language Analysis (Systemics, Linguistics, Grammar)
Line-limit-preserving power system equivalents
Compiler and Runtime Techniques for Automatic Parallelization of Sequential Applications
Approximate Analysis of Large Simulation-Based Games
No Holes Barred: Using Topological Data Analysis Approaches to Understand the Link Between Neural Population Activity and Behavior
Creating animation for presentations
Cloud Computing and Internet of Things Application for Large-Scale Extracellular Neuronal Recording
Modeling and Simulation of Complex Biological Systems: Agent-Based Modeling of Hepatic Xenobiotic Elimination
Location Privacy Protection in the Mobile Era and Beyond
Hybrid Bayesian networks for reasoning about complex systems
Computational Understanding of User Interfaces
Evolving Intrinsic Triangulations
Secure, Expressive, and Debuggable Large-Scale Analytics
Performance optimization in multi-hop wireless mesh networks
Reuse distance-based shared-memory parallel program analysis
The Analysis and Visualization of Electroencephalography Data Using a Provenance-Enabled Environment and Its Applications to Visualization
Interactive Methods for Effective Particle Visualization
Opinion Dynamics in Social Networks: Fairness, Radicalization, and Polarization
Robustifying NLP with Humans in the Loop
Evaluating and Improving Reasoning in Large Vision Language Models
Information extraction for clinical narratives
Indistinguishability Obfuscation from Well-Studied Assumptions
Nanoscale electronic devices based on the hybrid stacks of two-dimensional materials and ferroelectric metal oxides
Topological Models for Safety Analysis
RGBD Pipeline for Indoor Scene Reconstruction and Understanding
Location Data: Perils, Profits, Promise
Securing cloud-based data analytics: A practical approach
Analysis and Cross-Layer Design of Medium Access and Scheduling in Wireless Mesh Networks
Cognitive control of saccadic behavior in the antisaccade task: a model of voluntary and involuntary eye movements
Generative Pedestrian Behavior Modeling for Autonomous Vehicle Testing in Urban Roads
Power and energy management of modern architectures in adaptive HPC runtime systems
A relational architecture for graph, linear algebra, and business intelligence querying
The Scalability of Parallel Adaptive Mesh Refinement within Uintah
Discovery and characterization of genetic variants associated with extreme longevity
Three-Dimensional Microelectrode Array for Recording Dissociated Neuronal Cultures
Optimal Spatial Grids for Efficient Numerical Simulation of Time-Domain Electromagnetic Phenomena by Finite Methods
L10-Ordered Thin Films with High Perpendicular Magnetic Anisotropy for STT-MRAM Applications
Networking and storage support for video-on-demand data delivery
Fabricating Kinetic Objects with 3D Printable Spring-Based Mechanisms for Interactivity
Characterizations of how neural networks learn
Optimally Sensitive Stochastic-Control With Regional Development Planning Applications
Advanced Integration Algorithms for VLSI Circuit Transient Simulation
A Theory of Practice of Sect Identities: A Case Study of the Syrian War
Scalable and flexible bulk architecture
InP/InGaAs Heterojunction Bipolar Transistors and Field-Effect Transistors Grown by Gas -Source Molecular Beam Epitaxy
Personalized and Explainable Models of Text and Sequences
Algorithms for phylogenetic tree correction in species and cancer evolution
A Study of Equivalence in Linear Time-Varying Systems
Course Transformation: Content, Structure and Effectiveness Analysis
Combining experiential and theoretical knowledge in the domain of semiconductor manufacturing
A Programmable Streaming Framework for Extreme-Scale Scientific Visualizations
Remedies for building reliable cyber-physical systems
Towards Data-Efficient Machine Learning
Meta-Learning for Data and Processing Efficiency
Software-Hardware Co-design for Processing In-Memory Accelerators
Principled Statistical Approaches For Sampling and Inference in High Dimensions
Scaling Up Wearable Cognitive Assistance for Assembly Tasks
Techniques for mapping deep neural network frameworks to programmable accelerators
Data-Driven Visual Synthesis for Natural Image and Video Editing
First Order Expressibility as a New Complexity Measure
Understanding and Addressing Uncertainty of the Crowd
Using Machine Learning for Time Series to Elucidate Sentence Processing in the Brain
Resting State Functional Magnetic Resonance Imaging Analysis by Graphical Model
Pervasive binding of labels to system processes
Polynomial Structure in Semidefinite Relaxations and Non-Convex Formulations
A uniform model of interaction in interactive systems
Understanding the Structure of Large, Diverse Collections of Shapes
Natural Interaction with a Virtual World
Comparison of Direct and Heterodyne Detection Optical Intersatellite Communication Links
Representation Learning for Music and Audio Intelligence
Event extraction with imitation learning and cross-media inference on streaming data
Shape Analysis of Defect-Laden Data
Positive-Unlabeled Learning in the Context of Protein Function Prediction
Leveraging Linearity to Improve Automatic Amortized Resource Analysis
Dynamics and Stability of Rolling Viscoelastic Tires
Automatic Scenario Generation from a Multidimensional Requirements Model
Grounded Natural Language Generation via Interpretable Hierarchical Operations
Domain specific hardware acceleration
Interactive Playspaces for Object Assembly and Digital Storytelling
Unlearning and Privacy in Deep Neural Networks
Untangling the complexity of nature: Machine-learning for accelerated life-sciences
Hardware-Aware Efficient Deep Learning
Using Interactive Neural-Symbolic Models to Test Hypotheses of Human Event Cognition
New paradigms in signature schemes
Data management in peer-to-peer systems
Small, dual band, placement insensitive antennas
Fair Representations in Machine Learning Pipelines
Scheduling and Admission Control
Towards building a prototype spin-logic device
Fast Algorithms for the Design and Analysis of Large Power Grids
Application-Aware Scheduling in Deep Learning Software Stacks
Verified collection-based regression test selection via an extended Jinja semantics
Interactive Texture Based Flow Visualization
Understanding the trust relationships of the web PKI
Detection, Triage, and Attribution of PII Phishing Sites
Joint Source -Channel Video Transmission
Controlled-mobile Sensor Networks for Dynamic Sensing and Monitoring Applications
Investigating the Neurocomputational Architecture of Anxiety with Machine-Learning and Statistical-Modeling Approaches
Neural Representation Learning in Linguistic Structured Prediction
Formal proofs of cryptographic security of network protocols
Design of the RISC-V Instruction Set Architecture
Learning models of shape from 3D range data
Quantum simulation of many-body dynamics
Sound Morphogenesis: A Theory and Methodology of Architecture and Design informed by Sound and Music
Unified Structural View of Multiterminal Source Coding
Adaptive Control of Systems Containing Piecewise Linear Nonlinearities
Computational Frameworks for Functional Subcellular Analysis of Spatial Transcriptomics Data
Understanding and Facilitating Human-AI Teaming for Real-World Computer Vision Tasks
Design and implementation of an autonomous climbing robot
Design, fabrication, and characterization of high-speed light-emitting transistors and microcavity lasers
Application of Mathematical Programming in the Design of Optimal Control Systems
Learning and Exploiting Relational Structure for Efficient Inference
Designing Low-Power Communication Systems via Noise-Tolerance
Detect and Repair Errors for DNN-based Software
System-Level Electromigration-Induced Dynamic Reliability Management
Bayesian Nonparametric Discovery of Layers and Parts from Scenes and Objects
An approach to generating customized load-store architectures
Online Low-Cost Defect Tolerance Solutions for Microprocessor Designs
Mediators: A High-Level Language Construct for Distributed Systems (Programming, Synchronization, Temporal Logic)
Dynamic program analyses for debugging concurrency bugs in large multi-threaded programs
Synthesis of Offset Dual Reflector Antennas Transforming a Given Feed Illumination Pattern Into a Specified Aperture Distribution
Submodular Optimization Under Uncertainty
Speculation-Based Distributed *Simulation for Dependability and Performance Analysis
Low-Power Reconfigurable Digital Signal Processing
Energy-Efficient System Design Through Adaptive Voltage Scaling
The analysis of hashing algorithms
Automatic Parallelization for GPUs
Maximizing Presence in Projection-Based Virtual Reality Systems
Globally-asynchronous locally-synchronous systems
Zero-knowledge Proofs: Efficient Techniques for Combination Statements and their Applications
Use of symbolic execution as automated grading tool for introductory programming courses
A Middleware Framework for Networked Control Systems
Cross-layer design of thermally-aware 2.5D systems
Algorithms for analyzing collections of trajectories
Assessment of DCnet: A New Data Center Network Architecture
Design of Fail-Safe Asynchronous Sequential Machines
Availability and Consistency in a Partitionable Low Bandwidth Network
Design of a noninterfering debugger for embedded real-time systems
New Applications of the Nearest-Neighbor Chain Algorithm
Integration of Germline and Somatic Variation in Tumor Data
Metric Methods for Shape Analysis of Cortical Functional Regions, Subcortical Structures, and Structural Connectomes
An Information Retrieval System Based On A Computer Model Of Legal Knowledge
Searching for Strings and Searching in Presence of Errors
Matching on -Chip Data Storage to Telecommunication and Media Application Properties
Isotropy criteria and algorithms for data clustering
Aluminum Gallium Nitride/gallium Nitride HEMTs for High-Power Applications: Transistor Design Issues and Process Development
Protocols and Devices for Scalable Spin-Photon Quantum Networks
Caching and non-Horn inference in model elimination theorem provers
Automatic Analysis of Document Sentiment
Application of Krylov subspace iterative techniques to the numerical solution of the neutron transport equation
Toward Resilience and Data Reduction in Exascale Scientific Computing
High-fidelity measurements in low-latency networks
Cross-Lingual and Low-Resource Sentiment Analysis
Knowledge Representation and Intelligent Systems: from Semantic Networks to Cognitive Maps (Artificial Intelligence)
Recursive algorithms for computational electromagnetics
Optimal control of discrete event systems
Efficient Moments-Based Permutation Tests: A Framework, Methods and Applications
Cursive Script Word Recognition
Forming a three-dimensional environment model for autonomous navigation using a sequence of images
Transport studies in graphene-based materials and structures