yusuke1997/dblp-id-title huggingface dataset:
Towards Addressing Thermal and Reliability Challenges in Nanometer Integrated Circuits
New Covariance-Based Feature Extraction Methods for Classification and Prediction of High-Dimensional Data
Detecting and Recovering from In-Core Hardware Faults Through Software Anomaly Treatment
An investigation into computer education offered in New Hampshire secondary schools as perceived by teachers and compared to the needs of business as perceived by data processing managers
Modeling Consumer Behavior in Electricity Markets - Theory and Applications
Integration of Control and Dynamical Systems Perspectives to Machine Learning
Finite-difference algorithms for counting problems
An Equivalent Gain and Stochastic Analysis for Nonlinear Sampled-Date Control Systems
Nonparametric Models for High-Dimensional Data Analysis
Algorithm Design and Localization Analysis in Sequential and Statistical Learning
Scalability in Coordinated Transaction Management
Policy Regularization in Model-Free Building Control via Comprehensive Approaches from Offline to Online Reinforcement Learning
TRAPEDS address tracing and its application to multicomputer cache performance analysis
Lower Bounds for Interactive Compression and Linear Programs
Algorithms for Reference Assisted Genome and Transcriptome Assemblies
Towards efficient processing of big spatial data
Fast and accurate quantification and differential analysis of transcriptomes
A Computer Hardware Design Language for Multiprocessor Systems
Hardware/Software Co-Design for Secure High Performance Computing Systems
Japanese/English Machine Translation Using Sublanguage Patterns and Reversible Grammars
Numerical solution of transport equations
Design and Evaluation of Culturally Responsive Digital Mental Health Technology for Racial-Ethnic Minorities
Visual Recognition of Artifacts by Computer
Foundationally Verified Data Plane Programming
Robustness in Feedback Systems (Frequency Domain)
Learning to dock proteins
Understanding Glassy Dynamics in Supercooled Liquids
Design Automation of Paper Microfluidic Devices
Use of Data Assimilation to Determine Features of Neuron Structure and Connectivity
Protecting privacy by splitting trust
Development of Broadband Semiconductor Laser Frequency Combs
Cooperation in competition : efficiently representing and reasoning about coalitional games
Background knowledge in learning-based relation extraction
A strongly coupled method for fluid-structure interaction
Building reliable and transparent machine learning systems using structured intermediate representations
Providing Easy to Use and Fast Programming Support for Non-Volatile Memories
Efficient learning algorithms for Gaussian processes
Bioinformatic tool developments with applications to RNA-seq data analysis and clinical cancer research
A Computational Approach to Exploring the Role of Chromatin Modifiers in Development and Disease
Multi-agent planning for coordinated robotic weed killing
A Computer Procedure for Generating Visible-Line Drawings of Solids Bounded by Quadric Surfaces
Computer vision for railroad track inspection
Real-time modification of collision-free paths
Automated Program Transformation for Improving Software Quality
Molecular simulations and binding free energy calculations for drug discovery
A design methodology for self-tuning control of systems with inherent conflicts
Greybox Fuzzing and Its Applications
Extracting and Using Preference Information from the State of the World
Modeling Financial Behaviors Online
An Embedded Nonvolatile SRAM in Logic CMOS Process
Real-Time Head and Facial Motion Analysis for Model-Based Video Coding
Language Features for Process Interaction and Access Control
Dynamic models for convective systems
A policy engineering framework for federated access management
Verification algorithms based on alternating automata
Automatically discovering solutions that flexibly combine iterative and non-iterative computations
Heterogeneous parallel virtual machine: A portable program representation and compiler for performance and energy optimizations on heterogeneous parallel systems
Optimization and decision-making under uncertainty
Designing crowdsourcing techniques based on expert creative practice
Foundations for 3D Machine Knitting
Optimization for Deep Learning: Bridging the Theory-Practice Gap
High-Fidelity Image -Based Modeling
Molecular properties within the generalized Kohn-Sham random phase approximation
Smoothness in Reinforcement Learning with Large State and Action Spaces
Constructive multi-level synthesis by way of functional properties
Statistical Recognition of Textured Patterns From Local Spectral Decomposition
Learning from Natural Human Interactions for Assistive Robots
Exploiting the memory hierarchy in sequential and parallel sparse Cholesky factorization
Robust Deep Learning in the Open World with Lifelong Learning and Representation Learning
Scalable Spatial Grouping Queries in Big Data Systems
Computational Complexity and Nondeterminism in Flowchart Programs
Rationally inattentive decision-making: Bayesian decision-making with information choice
Deep Energy-Based Generative Modeling and Learning
The existence and discovery of overlapping communities in large-scale networks
Evaluating and Recontextualizing the Social Impacts of Moderating Online Discussions
High Speed Software Radio on General Purpose CPUs
Collection/item metadata relationships
Processor parallelism considerations and memory latency reduction in shared memory multiprocessors
Neural processes underlying an auditory-induced visual illusion
Binary Recompilation via Dynamic Analysis and the Protection of Control and Data-flows Therein
Salience Estimation and Faithful Generation: Modeling Methods for Text Summarization and Generation
GPU-accelerated terrain processing
A Statistical Approach to the Tolerance Problem in Design
Using dynamic information to find vector parallelism
Structural Health Monitoring Framework using Acceleration Data and Machine Learning Techniques
What Can Cryptography Do For Transaction Fee Mechanism Design
Efficient indexing techniques for the update intensive environment
Linear Control Laws for Singular Linear Systems
A Graphical, Language-Based Editor for Generic Solid Models Represented by Constraints
Topics in multi-agent epistemic logic
Optimizing Query Processing for Data-Intensive Computation
Particles in Plasma Processing Reactors: Modeling Nucleation, Transport, and Interparticle Effects to Reduce Wafer Contamination
Multi-dimensional and multi-resolution geometric data-structures for scientific visualization
Data-Driven Combinatorial Optimization and Efficient Machine Learning Frameworks
Some Modifications to Newton's Method for the Determination of the Steady State Response of Nonlinear Circuits
Studies in incoercible and adaptively secure computation
Scaffolding feedback interpretation process for creative work through reflection, paraphrasing, and information visualization
Approximately Optimal Elimination Orderings for Sparce Matrices
In-flow Peer Review of Examples in Example-First Programming
Randomized Agreement Protocols & Distributed Deadlock Detection
Scheduling Non-Uniform Traffic in a Packet Switching System
Design Automation and Optimization for Memory-Bound Application Accelerators
Eliminating bugs in real systems
Centralized and distributed learning methods for predictive health analytics
Comparison of Step-by-Step Methods for Analyzing the Dynamic Response of Structures
Resource Allocation in Nanocommunication Networks and Online Service Platforms
In vivo human computed optical interferometric tomography
Visibility in reflective environments
Persistency Algorithms for Efficient Inference in Markov Random Fields
Signal representations: from images to irregular-domain signals
Inferring Intra-tumor Heterogeneity from DNA Sequencing Data
Prediction and mechanistic dissection of transcriptional activation domains using deep learning and pooled screening
Bridging Strong Privacy with Scalability for Online Data Services
Improving QoS and Management in Multi-Hop Wireless Networks
Applications of big data approaches to topics in infectious disease epidemiology
"Interactive 3D Drawing for Free-Form Modeling in Scientific Visualization and Art: Tools, Methodologies, and Theoretical Foundations"
Opportunistically Reconstructing a Network's Failure History /
Scalable feature learning
Chip Multiprocessors With Speculative Multithreading: Design for Performance and Energy Efficiency
Reputation and incentives in online social systems
Images and depth for high resolution, low-latency sensing and security applications
Fast Algorithm for Electrically Small Inhomogeneous Medium Structures
Parallel Routing for FPGAs with Sparse Intra-Cluster Routing Crossbars
Verification of Concurrent Search Structures
Parallel prefetching and caching
A Theory of Processes
Ensuring Correctness of Modern Software Systems by Example
Large-scale self -organizing network measurement infrastructure
Fault Tolerance and Performance Improvement in Multiprocessor Interconnection Networks (shuffle-Exchange, Redundant-Path Array Processors)
Programming Abstractions & Systems for Autonomous Vehicles
Non-invasive assessment of bacterial biofilm in the middle ear using low-coherence interferometry/optical coherence tomography and acoustic measurements
Model-Centric Verification of Artificial Intelligence
Learning when Objectives are Hard to Specify
Experimental and Theoretical Studies of Nuclear Generation of Ozone and Its Photolysis Into Singlet Delta Oxygen
The Sum-Product Theorem and its Applications
Random-cluster Dynamics
Tailoring router architectures to performance requirements in cut-through networks
The mosaic camera: synthesizing a large-format camera from many smaller cameras
Topics in Computational Complexity
Self-Tuning Methods for Multiple-Controller Systems
Scalable Binding
Antikernel: a decentralized secure hardware-software operating system architecture
Matching Mechanisms for social good: case studies in transport congestion, low-income housing, and food surplus redistribution
Shape Up: Peak -Power Reduction via Constellation Shaping
Edge-based Inverse Procedural Texture Synthesis
Flexible transaction management in the InterBase project
Probabilistic Single Cell Lineage Tracing
Interactive delayed-sharing of computer-supported workspaces via the streaming of re-executable content
Image Processing on Mpp-Like Arrays (Massively Parallel Processor)
Group communication in bus-based computer networks
Optimum Control of Multivariable Sampled Date Systems With Variable Sampling
Continuous Graphical Models for Static and Dynamic Distributions: Application to Structural Biology
Graph-Based Learning from Large Image Collections
Approximate spatial layout processing in the visual system: Modeling texture-based segmentation and shape estimation
Feature analysis and registration of scanned surfaces
Empowering Responsible Use of Large Language Models
Performance instrumentation for the Intel IPSC /2
Encoding power: the scripting of archival structures in digital spaces using the Open Archival Information System (OAIS) Reference Model
Exact Geometric Computation: Theory and Applications
Distinguishing between Different Mechanisms of Network Evolution using Network Motifs and Machine Learning
Fast Inhomogeneous Plane Wave Algorithm for Electromagnetic Scattering Problems
Managing Premium Data
Stochastic Control for Systems With Uncertain Parameters
Multilinear (Tensor) Algebra Framework for Misinformation Detection With Limited Supervision
Some results on congruence p-adic group actions on the (p+1)-regular tree, and on the representation of numbers in the form summation(i = 1 to 4) of C(i)(L(i)x(i) + a(i))(2)
Small Polaron Conduction in Transition Metal Oxides and Excited State Recombination in Two-Dimensional Materials from First-Principles
Zydeco: Exploring How Mobile Technology Can Scaffold Student Multimedia Data Collection and Use for Science Inquiry
Olympiad-level Geometry Theorem Proving without Human Demonstrations
Learning structured probabilistic models for semantic role labeling
Techniques for sequential circuit automatic test generation
Graph Neural Network for Integrated Circuits and Cyber-Physical Systems Security
Polynomial methods for structure from motion
Channel Coding Strategies for Emerging Data Storage Systems
A Probabilistic Learning Approach to Attribute Value Inconsistency Resolution
An energy-complexity model for VLSI computations
Leveraging the Characteristics of Flow Between Homography-Warped Images for Applications in Graphics and 3D Vision
Leveraging Program Analysis for Type Inference
Search in the Physical World
The Quest for Ideal Quantum Amplifiers
Algorithms for exploring and controlling procedural models
Flow-Based Decomposition for Geometric and Combinatorial Markov Chain Mixing
Efficient Wait-Free Algorithms for Implementing LL/SC Objects
Improving Mobile Internet Performance with Cross-Device Network Transport and Cross-Layer Application Adaptation
Modeling and Optimization of Electromagnetic Phased Arrays for Hyperthermia
On Detection of Current and Next-Generation Botnets
Network transparency in wide area collaborations
From sim-to-real: learning and deploying autonomous vehicle controllers that improve transportation metrics
Efficient Representation Learning for Longitudinal Data in Healthcare Applications
StreamOS: distributed operating system for correlated multi-modal streaming applications
Quality of service control for distributed multimedia systems
Process improvement using classification decision trees for run-to-run control of a reactive ion etching process
Discovery in Reinforcement Learning
Defending against Return-Oriented Programming
Examining the goal-proximity decision mechanism : maze-navigation, incidental learning, Tic-Tac-Toe, and exploration of Second Life virtual worlds
The Systematic Design of a Protection Mechanism to Support a High Level Language
Estimating Community Structure in Networks by Spectral Methods
Representing information about files
On computational intractability assumptions in cryptography
Safe Learning and Verification of Neural Network Controllers for Autonomous Systems
Deep Learning on Geometry Representations
Interactive Radial Visualizations for Information Retrieval and Management
Digitized brush trajectories
Field Programmable Gate Array (FPGA) Accelerator Sharing
Coherence imaging technologies for the measurement of tissue and cell biomechanics
Computer-Aided Reasoning about Knowledge and Justifications
Theoretical and numerical studies of wave propagation and scattering in inhomogeneous media
Randomized Search of Graphs in Log Space and Probabilistic Computation
Indexing in Peer-to-Peer Systems
Robust Scene Estimation for Goal-directed Robotic Manipulation in Unstructured Environments
Optimization Problems in Directed Graph Visualization
Connecting End Users to Domain Experts With Universal Mobile Phones Services
Precise and automatic verification of container-manipulating programs
Nonlinear Network Analysis-the Parametric Approach
An Arithmetic Unit for on-Line Computation
Machine Learning Empowered Agile Hardware Design and Design Automation
Time and Space in Proof Complexity
Naming of files in distributed systems (tilde, remote, unix, network)
Students' explanations in complex learning of disciplinary programming
Methods and Systems for Understanding Large-Scale Internet Threats
Learning and Logic for Formal Synthesis
A Compostable Static Analysis Framework for Program Analysis
A New Integral Equation Solution of Electromagnetic Aperture Coupling and Thin Plate Scattering Problems
Interpretable deep learning for natural language processing
Robust and Efficient Deep Learning for Misinformation Prevention
Adaptive Communications for Intelligent and Autonomous Systems in the Urban Internet-of-Things (IoT)
Shell Model Methods, Statistical Nuclear Reactions, and Beta-delayed Neutron Emission
Logic Synthesis for Engineering Changes
A 35 Gigacycle Linear Bunching Accelerator for Electrons
Integrating multi-modal biological data uncovers vulnerabilities and complex interactions in cancer
Multi-configuration simulation algorithms for the evaluation of computer architecture designs
Low Phase Noise Oscillator Design. A Design Methodology for Improving Performance: Theoretical Analysis, CAD Simulations, and Prototype Building
Energy-Efficient Acceleration of Asynchronous Programs
Improving Software Configuration Troubleshooting with Causality Analysis
A Systems Approach to Rule-Based Data Cleaning
Improving SAT Solvers by Exploiting Empirical Characteristics of CDCL
"Methods for Evaluating Visualizations Using Practical Models of Insight, Interaction, and Gaze"
Network Control Plane Synthesis and Verification
Dynamic and adaptive processing of speech in the human auditory cortex
Rational Inattention and a Causal Account of Program Security
Merging Techniques for Combinatorial Optimization: Spectral Graph Theory and Semidefinite Programming
Graph Algorithms in the Internet Age
Fast algorithms for surface embedded graphs via homology
Controlling the structural evolution of software systems
Formal Representation of Computer Architectures (Simulation, Language, Hardware)
A Gradient Algorithm for Minimax Design
Unleashing hardware potential through better operating system abstractions
Rapid Solution of Finite-Element Equations on Locally Refined Grids by Multi-Level Methods
Analysis and Optimization of Cooperative Wireless Networks
Label-Free Biosensor Based Upon Replica-Molded Vertically Emitting Distributed Feedback Laser
On Algorithms for Minimizing the Number of Multiplications in Matrix Products
Coding and Transmission of Digital Video on the Internet
A Neural Network Approach to Deformable Image Registration
Arachne: improving latency and efficiency through core aware thread management
Building Evolvable Distributed Systems for Dynamic Data Center Environments
Solution Of Markov Renewal Decision Processes With Application To Computer System Scheduling
Building Compressed Database Systems
Computational aspects of the busy period for the single-server queue in discrete time
Metrology of Quantum Control and Measurement in Superconducting Qubits
Model-based Bayesian Seismic Monitoring
Extracting Cognition out of Images for the Purpose of Autonomous Driving
Data-efficient De novo Genome Assembly Algorithm : Theory and Practice
High-throughput Data Systems for Deep Learning Workloads
Advanced finite-element techniques for simulation of composite materials and large-scale scattering problems
Predicting CMOS Hot Carrier Degradation in VLSI Circuits
Combinatorial and algorithmic analysis of space decomposition problems
Using the ego-motion complex logarithmic mapping for dynamic vision
Integrated query and search of databases, XML, and the web
Minimalist Systems for Pervasive Machine Learning
Integrating decision procedures for temporal verification
Towards Data-Driven Internet Routing Security
Diagnosing User-Visible Performance Problems in Production High-Density Wi-Fi Networks
Toward cheat-proof networking
Three-dimensional population-based object modeling for organ boundary definition in low contrast CT images
Delegation of quantum computation using a random oracle
Multichannel Methods for Restoration in Computed Imaging
A Program Logic and Its Application in Fully Verified Software Fault Isolation
An Efficient Foundation for Big Data Processing on Modern Clusters
Composing in Latent Space: Music Information Retrieval Driven Algorithmic Composition
Visual tracking of highly articulated objects using massively parallel processors
Finding, Measuring, and Reducing Inefficiencies in Contemporary Computer Systems
Query processing in heterogeneous information sources
Dense random fields
Data placement in shared-nothing parallel database systems
A Proposed Model for Visual Information Processing in the Human Brain
A Model Based Iterative Reconstruction Approach to Tunable Diode Laser Absorption Tomography
A Socio-Technical Approach to Feedback and Instructional Development for Teaching Assistants
Fast image and data processing methods for novel neuroscience technologies
Improving memory hierarchy performance with hardware prefetching and cache replacement
Extending Composable Data Services to the Realm of Embedded Systems
View materialization issues in object-oriented databases
Transient phase change effect in phase change memory devices
Learning multiple solutions to computer vision problems
A formal methodology for constructing decoupled manufacturing system control software components
Efficiently Searching for Objects Within Large Collections of Images and Video
Statistical Performance Analysis Optimization of Digital Circuits
Enhancing ontology learning with machine learning and natural language processing techniques
Kinetic data structures in practice
Hierarchical Modeling of Human-Object Interactions: from Concurrent Action Parsing to Physics-Based Grasping
Logics of Resource and Justification
Algorithms for clustering problems
Geometry of Kernel Density Estimation
Automatic Analysis of Facial Actions: Learning from Transductive, Supervised and Unsupervised Frameworks
Robust censorship-resistant communication
The Design & Implementation of Modular Smart Dust
A probabilistic approach to studying alternative splicing in single cell data
Harnessing Large-Scale Quantum Calculations for Predicting Material and Chemical Properties
Cryptography against Space-Bounded Adversaries
Cross-lingual Representation Learning for Natural Language Processing
A Compositional Interface for Generative Audiovisual Systems
Towards Robust and Energy-efficient Robot Perception Compute System
Practical, Scalable, and Efficient Privacy-Preserving Computation
Bacterial strain-tracking across the human skin landscape in health and disease
Three dimensional display processing - implementation of a real time system
Computational high-throughput phase imaging
Making Federated Analytics With Strong Privacy Practical
Linguistic Abstractions in Children's Very Early Utterances
Statistical Game Theory
Parallel Processing of Production Systems: an Integrated Software and Hardware Approach
Hierarchical data structures for mobile networks
Checksum-Based Fault Tolerance for LU Factorization
Automated Analysis of User-Generated Content on the Web
Interactive Touch for Manipulation
Algorithms for next-generation sequencing
Evolutionary Sound: a Non-Symbolic Approach to Creating Sonic Art With Genetic Algorithms
Software topological message aggregation techniques for large-scale parallel systems
A System for Flexible Parallel Execution
Algorithms and generalization for large-scale matrices and tensors
Tactile tomographic imaging using robotic whiskers
Implementing accelerated key-value store: From SSDs to datacenter servers
On the Concepts of Resistance and Capacitance in Semiconductor Nanostructures
Machine Learning Approaches for Quantitative Analysis and Characterization of Pathological Speech Disorders
Aided decision-making through visual analytics systems for large multivariate, spatiotemporal, hierarchical and network data
Formalization and Verification of Shared Memory
Deep Learning for Sensing in Complex and Dynamic Environments
Large Scale Dense 3D Reconstruction via Sparse Representations
Semantic decomposition of computer programs: a program test aid
Topics in multi-terminal wireless networks
Measurements of the Higgs Boson through Vector Boson Scattering and Software and Computing for Exascale Data Science
Death, Identity, and the Social Network
Making Static Pivoting Scalable and Dependable
Improving the Accuracy and Inference Efficiency for Low-resource Automatic Speech Recognition
Compiling high-level scripting languages to performant code
Optimizing Diffusion Models for Efficiency and Accountability
Submodular Secretary Problem with Shortlists under General Constraints
Ownership and decentralization in distributed systems allocation mechanisms
The Behavior of The Junction Tetrode Transistor and Its Applications to Direct-Coupled Computer Circuits
Nonparametric approaches to style consistent classification
Can we forecast conflict? A framework for forecasting global human societal behavior using latent narrative indicators
Algorithms and Methods for Characterizing Genetic Variability in Humans
Document Retrieval Systems