yusuke1997/dblp-id-title huggingface dataset:
Body of Knowledge: Practicing Mathematics in Instrumented Fields of Promoted Action
Plansys - a Flexible Planning System Simultaneously Adaptable to a Large Number of Heuristics in Multiple Problem Domains
Geometric partitioning for parallelizing post-placement VLSI design processes
Diversity in Dialogue Generation
Hardware Accelerator Design for Scientific Computing and Machine Learning Workloads
Using Machine Learning to Elucidate Disease Heterogeneity and Improve Prognostication in Patients with COPD
Graphical Models and Overlay Networks for Reasoning about Large Distributed Systems
Fabrication of site-controlled quantum structures for optoelectronic devices
Lucid: A High-Level, Easy-To-Use Dataplane Programming Language
Description of Operating Systems using Very-High-Level Diction (Programming Languages)
Understanding and mitigating the privacy risks of smartphone sensor fingerprinting
User Authentication and Security Vulnerabilities Using Smartphone Sensors and Machine Learning
Formal verification of decentralized coordination in autonomous multi-agent aerospace systems
Performance and Power Characterization of Cellular Networks and Mobile Application Optimizations
Optimization Foundations of Reinforcement Learning
Bridging the Scalability Gap by Exploiting Error Tolerance for Emerging Applications
Understanding, Modeling and Leveraging Temporal Change in Mental Health
An Investigation of the Application of Microprocessors to Low Cost Area Navigation Capabilities for General Aviation
Incremental Algorithms: Solving Problems in a Changing World
Towards Cybernetic Modeling of Biological Processes in Mammalian Systems - Lipid Metabolism in the Murine Macrophage
How to train your self-supervised NLP model: Investigating pre-training objectives, data, and scale
Waveguides Filled With Magnetoplasmas of Various Types
Identifying and Resolving Entities in Text
Privacy-Aware Synthetic Data Generation and Knowledge Transfer for Machine Learning
Designing an efficient distributed digital library database for image data
Shape from shading; a method for obtaining the shape of a smooth opaque object from one view
The Complexity of Parallel Computations
An Automatic Verifier for a Class of Sorting Programs
Affinity: a concurrent programming system for multicomputers
On Calculating the Cardinality of the Value Set of a Polynomial (and some related problems)
Normalization RNA-seq Towards the Improvement of Gene Expression Signatures
Minimal supervision for language learning: bootstrapping global patterns from local knowledge
Reasoning About Spatial Patterns of Human Behavior During Group Conversations with Robots
Utilizing Runtime Information for Accurate Root Cause Identification in Performance Diagnosis
On-line Recognition Of Hand-drawn Characters From Directional Information
Designing Interpersonal Intelligence and Ownership Models for Social Agents
Neural Network Learning for Time-Series Predictions Using Constrained Formulations
Towards a Unified Framework for Learning and Reasoning
Multi - Timescale Control of Energy Storage Enabling the Integration of Variable Generation
Residential Demand Response: Generation, Storage, and Load Management
Minimizing Precession Torques in the Electrically Supported Gyro
Optimizing Expectations: From Deep Reinforcement Learning to Stochastic Computation Graphs
Exploring User-Centric Generative Models: Advancing User Control, Comprehension, and Creative Capacity
Neural semantic structural modeling for complex question answering tasks
Experimental Investigation Of Ultrawideband Wireless Systems: Waveform Generation, Propagation Estimation, And Dispersion Compensation
Quantification and Formalization of Security
A Method and Tool for Analyzing Faulty-Tolerance in Systems
Combining Deep Learning with Reasoning: from Mapping Species to Solving Games and Crystal Structures
Generalized Learning Models for Structured Data
Feature-Aligned, Semi-Regular, Quad-Only Mesh Generation
Narrative Encoding for Computational Reasoning and Adaptation
Adaptive Robust Control
Error-Correcting-Codes in Computer Arithmetic
Generative Models for Computer Vision
New Algorithms for Attribute-Efficient on -Line Linear Learning
Toward a computational solution to the inverse problem of how hypoxia arises in metabolically heterogeneous cancer cell populations
Advancing Synthesizable Verilog/SystemVerilog Education with Open-Source Tools and Autograders
A Unified Minimal Realization Theory With Duality
Interactive source-level debugging of globally optimized code with expected behavior
Tumor Phylogeny Reconstruction from DNA Sequencing Data
From single-phase to two-phase sharp-interface incompressible viscous flow simulation on distributed adaptive Quadtree/Octree grids
Synaptic Resistor Networks for Intelligent Systems with Real-Time Learning
Enabling Visibility Into Building Energy Consumption Through Novel Metering Designs and Methods
Bridging the Gap Between People, Mobile Devices, and the Physical World
Statistical Complexity and Regret in Linear Control
Applications of Numerical Optimization in Graphics and Games
Opportunistic Learning: Algorithms and Methods for Cost-Sensitive and Context-Aware Learning
Computer recognition of complex cardiac arrhythmias by waveform and interval analysis of atrial and ventricular leads
The Recursive Nature of Descriptions: A Fixed Point
Simulation Based Testing for Autonomous Driving Systems
Perceptual and Context Aware Interfaces on Mobile Devices
Contextually Adapting Informational Resources Using AI to Support Iterative Creativity
Parallel job scheduling algorithms
Bottom-Up High-Level Power Modeling and Estimation
Epistemic Considerations on Extensive-Form Games
Geometric Bayes
The Solution of Electrical Networks in Terms of Subnetworks
Online Learning Over Networks
CMC: a model checker for network protocol implementations
Knowledge Discovery in Databases for Intrusion Detection, Disease Classification and Beyond
Designing modern tools for modern quilt design
Towards Segment-level Video Understanding: Detecting Activities from Untrimmed Videos
From Recognition to Prediction: Analysis of Human Action and Trajectory Prediction in Video
A self-powered single-chip wireless sensor platform
Composable Compilers: Evolution toward a practical reality
Improved algorithms and new models in property testing
Growth, Characterization and Application of Aluminum-Gallium - Arsenide/gallium-Arsenide Modulation Doped Heterostructures
Theoretical Studies of Electronic Transport in Gallium-Arsenide Material and Devices Using an Ensemble Monte Carlo Method (Modeling)
Apprenticeship Learning Techniques for Knowledge Based Systems
Dynamic Program Analysis Enhanced Binary Recompilation
Flexible Energy-Aware Image and Transformer Processors for Edge Computing
Determination of an Electrically Symmetric Equivalent to a Given Structurally Symmetric Four Terminal Reactive Electronic Network
Some Problems in Graph Theory and Scheduling
Verification of linear-time properties for finite probabilistic systems
Computational Studies of Photochemical Kinetics: Mechanisms & Applications
Direct Pose Estimation and Refinement
Two-Dimensional Simulation of the High Electron Mobility Transistor
On Structural Analysis of Many-Valued Logic
Conformational Rheostats in Protein Folding and Binding: A Computational Study
On surface design with implicit algebraic surfaces
Neural Software Abstractions
Expressivity and Structure in Networks: Ising Models, Random Graphs, and Neural Networks
An Information and Advising System for An Automated Introductory Computer Science Course
Predicting events in metastable systems near criticality
Generation-Annealing of Interface Traps and Hydrogenation of Boron Acceptors in Metal-Oxide-Silicon Capacitors Irradiated by Kilo-Volt Electrons
Wave propagation and stability for finite difference schemes
Scalable video streaming over the internet: concepts, challenges, and solutions
Sequential Circuit Test Generation Using Genetic Techniques
Runtime Systems for Persistent Memories
Data-Driven Safety Feedback as Part of Debrief for General Aviation Pilots
Reduced Order Modeling of Blood Flow and Applications
In-SRAM Computing for Neural Network Acceleration
Beyond deductive inference in program analysis
Constructing flexible feature representations using nonparametric Bayesian inference
Characterization, modeling and optimization of fills and stress in semiconductor integrated circuits
Sustainable Software Development: Evolving Extreme Programming
Enabling Fine-grained Network Flow Management in Data Center Networks and Servers
Delay modeling for functional timing analysis
Learning Generalist Robot Manipulation Policies
Minimalist Dynamic Climbing
High performance communication on reconfigurable clusters
Configuration and control in social media systems
Mapping the phase diagram of alkyl ligands on nanoparticle surfaces with molecular simulations and field theoretic models
Discovering and Segmenting Unseen Objects for Robot Perception
Improving Traffic Efficiency and Safety via Vehicular Communications
Delegation Logic: A Logic-based Approach to Distrbuted Authorization
Machine Learning in Adversarial Environments
Classification-directed branch predictor design
Protecting the Security of Sensor Systems
Parallel subgraph mining on hybrid platforms : HPC systems, multi-cores and GPUs
Analysis of a Group of Automorphisms of a Free Group as a Platform for Conjugacy-Based Group Cryptography
Probabilistic topic models for automatic harmonic analysis of music
Natural language inference
Optimization of Item Selection with Prediction Uncertainty
Spatial encryption
ASAP: Automatic Speculative Acyclic Parallelization for Clusters
Conformal Methods for Efficient and Reliable Deep Learning
Low Power Reliable Design using Pulsed Latch Circuits
Development of a quadrupole mass spectrometer
Compact device modeling and millimeter-wave oscillator design for III-V HBT technology
Towards Photorealistic Dynamic Capture and Animation of Human Hair and Head
Reconfigurable Radio Frequency (RF) Front-end and its Fast Optimization for Adapting to Dynamic Communication Environments
Simulation of Single -Electron Charging Effects in Planar Nanoscale Devices
Unsupervised Learning Under Uncertainty
VLSI Concurrent Computation for Music Synthesis
A theory of flow network typings and its optimization problems
Segmentation of medical image volumes using intrinsic shape information
Access control for collaborative environments
Building scalable geo-replicated storage backends for web applications
Machine Learning Techniques for LiDAR Sensor-Based Head Orientation Estimation and Behavior Analysis for Individuals with Autism
Printed microscale mono-crystalline silicon on flexible substrates for photovoltaic, strain sensors, and neural interface applications
Architectural Support for Securing Systems Against Software Vulnerabilities
Parallel Machines for Computer Graphics
Density Functional Perturbation Theory and Adaptively Compressed Polarizability Operator
Vector Balancing and Integer Programming
Modeling Intelligence via Graph Neural Networks
Multilingual Language Models: Analysis and Algorithms
Design and construction of an armature for an alternator with a superconducting field winding
Algorithmic Techniques for Logic Synthesis of Low Power VLSI Circuits
The generation and phenotypic effect of human genetic mutations
Constructing environment maps with an active vision system through information assimilation
Inertial-aided Visual Perception of Geometry and Semantics
From image co-segmentation to discrete optimization in computer vision - the exploration on graphical model, statistical physics, energy minimization, and integer programming
Planning under Uncertainty with Multiple Heuristics
Fast and Three-dimensional Focused X-ray Luminescence Tomography
Improved prediction and optimal sequencing strategies for genomic variant discovery via Bayesian nonparametrics
Exploiting Factor and State Space Symmetry for Inference in Graphical Models
Controlling the appearance of specular microstructures
Design and testing of regular circuits
Tattle - "Here's How I See It" : Crowd-Sourced Monitoring and Estimation of Cellular Performance Through Local Area Measurement Exchange
Credit Risk and Nonlinear Filtering: Computational Aspects and Empirical Evidence
The modern coterie: Fan fiction writers as a community of practice
Fast Backprojection Algorithms for Divergent Beam Tomography
Joint Training of a Neural Network and a Structured Model for Computer Vision
Practical Differential Privacy for High-dimensional and Graph Data
On the Analysis, Design, and Modeling of Electrostatic Discharge Protection Devices for Analog and Radio -Frequency Integrated Circuits
Incorporating uncertainty in data management and integration
Sketching and Sampling Algorithms for High-Dimensional Data
Prediction and Inference on Big Data in Development
Linear and nonlinear optical pulsed response of CO2 laser amplifiers
Cross-Layer Pathfinding for Off-Chip Interconnects
The Interplay between Sampling and Optimization
Computational fluorescence and phase super-resolution microscopy
Effective Numerical Analysis for High Performance Computing Software Safety
Qualitative Reasonings With Deep-Level Mechanism Models for Diagnoses of Dependent Failures (Artificial Intelligence)
Performance Scalability Prediction on Multicomputers
A state-space approach to dynamic tomography
Leveraging Speaker Context for Natural Language Processing
Algorithmic Aspects of Vlsi Circuit Layout (Channel Routing, Logic Array)
Development of a Small University Satellite for Performing a Global Survey of Gravity Waves in the Mesosphere
Content creation for seamless augmented experiences with projection mapping
An approach to computer speech recognition by direct analysis of the speech wave
Quantum Trajectories of a Superconducting Qubit
Discovering Molecular Patterns with Therapeutic Implications in Large-Cohort Heterogeneous Cross-Cancer Data
Towards unifying spreadsheets with databases for ad-hoc interactive data management at scale
Detecting, Diagnosing, Deflecting and Designing Adversarial Attacks
Recognition of Partially Occluded Parts (Vision, Robotics, Two-Dimensional)
Algorithms for Tomographic Reconstruction: Fast Back Projection and Cardiac Computed Tomography
The Design of Alternative Logic Systems With Fault Detection Capabilities
Learning compositional and actionable visual representations for 3D shapes
Trade-offs in cost sharing
An Efficient Iterative Procedure for Use With the Finite-Element Method
Beyond Pareto optimality: domination and decomposition in multiobjective programming
Programming by demonstration: a machine learning approach
A Study of Data Manipulation Algorithms in Magnetic Bubble Memories
Architecture Reference Models for Early Safety Analysis
Latency-Tolerant Distributed Shared Memory For Data-Intensive Applications
A computation model with data flow sequencing
Deep Understanding of Urban Mobility from CityscapeWebcams
Smart cities: Inverse design of 3D urban procedural models with traffic and weather simulation
Smartphone Energy Drain in the Wild: Measurement, Analysis and Optimizations
Analyzing and Securing Firmware for IoT Devices
Algorithms & Systems for Differentiable Graphics Programming
Background and Occlusion Defenses Against Adversarial Examples and Adversarial Patches
ENCOMPASS: An Environment for Incremental Software Development Using Executable, Logic-Based Specifications
Performance portability of parallel kernels on shared-memory systems
Neural Dynamics for Science: The Symbiosis of Deep Graph Learning and Differential Equations
SemCache: Semantics-Aware Caching for Efficient GPU Offloading
On the equivalence and convergence of parallel Jacobi SVD algorithms
Representation learning methods for computational social science
Generalized Reproducing Kernel Particle Method for Fragment-Impact and Fracture Modeling
Integrating Deep Web Data Sources
A Comprehensive Health Assessment in Orthopedics
Collaborative and Adaptive Mobile Device-resident Service Architectures
Accelerating Interactive Data Exploration
Text Representation using Convolutional Networks
Algorithms and Architectures for Joint Equalization and Decoding
Some Generalized Modeling Structures For Use In Design Of File Organizations
Electromagnetic Inverse Scattering Problems for Strong Scatterers
Forensic analysis of computer evidence
Towards Efficient and Generalizable Natural Language Processing
The evaluation, application, and expansion of 16s amplicon metagenomics
Utilizing Source Information to Detect and Prevent Online- Based Fraud
Usefulness of social tagging in organizing and providing access to the web: An analysis of indexing consistency and quality
Algorithms and Hardness for Approximating the Diameter of a Graph
Correlating Visual Speaker Gestures with Measures of Audience Engagement to Aid Video Browsing
Efficient Bayesian Network Inference: Genetic Algorithms, Stochastic Local Search, and Abstraction
High-performance power converters leveraging capacitor-based energy transfer
Opto-Electronic Switching Matrix
Geometric Principles of Multiple Visual Sensors
Lean, Green, and Lifetime Maximizing Sensor Deployment on a Barrier
Reconfigurable antennas based on microplasma as a time-varying dielectric or conductor
Selection and maintenance of views in a data warehouse
Automatic Catalog Construction for Product Search Engines
A Methodology for Machine Representation of Medical Knowledge
Large Signal HBT Model and Integrated Circuit Design Using 300-Ghz Indium Phosphide HBT Technology
Deep Self-Modeling for Robotic Systems
Solving Algorithmic Problems in Finitely Presented Groups via Machine Learning
Routing for Persistent Exploration in Dynamic Environments with Teams of Energy-Constrained Robots
Topics in Robust Statistical Signal Processing
Principal Network Analysis
Toward Scalable, Reliable and Efficient Big Data Publish Subscribe Systems
Topics in CT and SAR Imaging: Fast Back -Projection Algorithms and Optimal Antenna Spacings
Pre-training Agents for Design Optimization and Control
Automatic techniques for proving correctness of heap-manipulating programs
Azimuthal Slots in a Biconical Waveguide
Estimation and Inference in High-dimensional Models
Accountable Algorithms
Guided GUI Testing of Android Apps with Minimal Restart and Approximate Learning
A schema conversion approach for constructing heterogeneous information networks from documents
Sequential Decision Making under Uncertainty: Optimality Guarantees, Compositional Learning, and Applications to Robotics and Ecology
Exploitation of information propagation patterns in social sensing
Semantic Mapping for Autonomous Navigation and Exploration
Learning General and Correct Procedural Knowledge in a Cognitive Architecture
Neural and mechanical responses to electric stimulation of the cat's inner ear
An Intermediate Language for Network Verification
Energy-Efficient Design of an Asynchronous Network-on-Chip
Content Conditioning and Distribution for Dynamic Virtual Worlds
Compile-Time Analysis of Explicitly Parallel Programs
Exploring action capabilities: do people know what they are capable of before they try?
Efficient Program Analyses that Scale to Large Codebases
An explorable electrotactile display
Electricity Market Pricing, Risk Hedging and Modeling
Measurement-Based Performance Models of Numerical Problems on Loosely-Coupled Systems
Theories and tools for designing application-specific knowledge-base data models
Neural machine translation
Discovering community structure by optimizing community quality metrics
Efficient and Fair Scheduling for Wireless Networks
Holistic System Design for Deterministic Replay
Numerical Simulation of Vertical Cavity Surface Emitting Lasers
Revisiting remote attack kill-chains on modern in-vehicle networks
Input Devices for the Next Generation of Computing Platforms
Intersection Graph Algorithms
Inference With Classifiers: A Study of Structured Output Problems in Natural Language Processing
A Steady-State-Transition Model of Insulin Secretion
Use of High-Level Descriptions in Fault Simulation and Test Generation
Stochastic Local Search and the Lovasz Local Lemma
Inverse Rendering for Computer Graphics
Parallel algorithms for placement and routing in VLSI design
Building Instance Aware Systems using Explicit Performance Modeling
From Fully-Supervised, Single-Task to Scarcely-Supervised, Multi-Task Deep Learning for Medical Image Analysis
Programming many-core systems with GRAMPS
Computational Methods for Multi-Species Comparison of 3D Genome Organization and Function
Computational and Statistical Methods for Analysis of Spatial Transcriptomics Data
Memory-Centric Accelerators for Genome Analysis
Bit-Serial Reed-Solomon Decoders in VLSI
Augmenting Information Flow for Visual Privacy
Bulk crystal growth process for compositionally homogeneous gallium indium antimonide substrates
Enabling Near Data Processing for Emerging Workloads
Development of high-performance GaN-based power transistors
Modern DRAM architectures
Design of Scalable On-Demand Video Streaming Systems Leveraging Video Viewing Patterns
The investigation of a computer aided design environment
Automatically Annotating Decompiled Code with Meaningful Names and Types
Grasp Planning Using Probabilistic Inference
Novel Multiresolution Pattern Detection Techniques in Large Scale Time Series Data
Improving Performance of Solid State Drives (SSDs) Using Machine Learning
Auto-batching Techniques for Dynamic Deep Learning Computation
Investigating Low Energy Wireless Networks for the Internet of Things
Lightweight structural summarization as an aid to software evolution
Towards Ubiquitous Serverless Computing: Fast Large-Scale Machine Learning and Optimal Pricing for the Cloud
Unsupervised Structured Learning of Human Activities for Robot Perception
An environment for the development of digital signal processing software
Formalizing the analysis of algorithms
High -Throughput and Universal Architectures for Reed -Solomon Decoders
Essays on Applied Machine Learning for Implied Volatility Interpolation and Artificial Counterfactuals
Explanation-based theory revision: An approach to the problems of incomplete and incorrect theories
Software Augmented Buildings: Exploiting Existing Infrastructure to Improve Energy Efficiency and Comfort in Commercial Buildings
Realistically Editing Indoor Scenes
Adaptive sparse representations and their applications
Learning and Deploying Local Features
Time -Domain Finite -Element Simulation of Large Antennas and Antenna Arrays
A distributed concurrency control protocol considering read-only transactions
Bridging Deep Learning and Electric Power Systems
Knowledge-based circuit design
Nonlinear and switched systems: Geometric motion planning, non-monotonic Lyapunov functions and input-to-state stability
A Probabilistic Approach to Language Understanding
Cyber-Physical Systems Approach to Irrigation Systems
Latent variable models for characterizing the dynamic structure underlying complex behaviors
Distribution of Route-Impacting Control Information in a Publish/Subscribe System with Delivery Guarantees
On Quadtrees, Voronoi Diagrams, and Lattices: Results in Geometric Algorithms
Flight controller synthesis via deep reinforcement learning
Parallel Evaluation in Attribute Grammar-Based Systems
Improving Programming Support for Hardware Accelerators Through Automata Processing Abstractions
Point Spread Function Engineering for Scene Recovery
Discovering the 4D World Behind Any Video
Knowledge in a distributed environment
Blind Multichannel Image Deconvolution and Optimum Sparse Approximations
Cryptography for Efficiency: New Directions in Authenticated Data Structures
Simplifying Data Preparation for Machine Learning on Tabular Data
Methods for Teaching Hard Learning Problems
Sketches and Traces
A capability architecture
Horizon-Free Reinforcement Learning in Dynamic Optimization
Algorithms for Query-Efficient Active Learning
Ultra-Compact Grating-Based Monolithic Optical Pulse Compressor for Laser Amplifier Systems
Performance modeling framework for SLO-driven MapReduce environments
NPCs to Believe In: Value-based Morality in Video Game Characters
DEMIS: Dynamic EMI Shifting
Enhancing functionality of relational database systems
Secure Configuration for Software Defined Radio