yusuke1997/dblp-id-title huggingface dataset:
Controlling Electron Acceleration in Underdense and Overdense Laser-Plasma Interactions to Generate X-rays for Probing High Energy Density Material
End-to-End Machine Learning Frameworks for Medicine: Data Imputation, Model Interpretation and Synthetic Data Generation
Authorization and trust in software systems
The curse of dimension in nonparametric regression
Finding Critical and Gradient-Flat Points of Deep Neural Network Loss Functions
Synthesis of communicating processes from temporal logic specifications
Privacy and Scalability for Decentralized Cryptographic Systems
A Study of Techniques to Solve the Disparate Mesh Size Problem With an Application to Sinuous Antennas
The Design and Implementation of a Cooperative Program Development Environment
Algorithms for Image Restoration and 3D Reconstruction from Cryo-EM Images
Analysis of additive random number generators
Analysis by Synthesis for Modern Computer Vision
Robot Learning from Interactions with Physics-realistic Environment: Constructing Big Task Platform for Training AI Agents
The formulary model for access control and privacy in computer systems
Statistical Methods of Bit Error Rate Estimation in Optical Communication Systems
Neural Probabilistic Modeling for Astrophysics and Galaxy Evolution
Complexity, Algorithms, and Heuristics of Influence Maximization
Studies of two-dimensional materials beyond graphene: from first-principles to machine learning approaches
Academic Knowledge Transfer in Social Networks
A Capacitively Coupled Bistable Gas Discharge Cell for Computer Controlled Displays
Solver-Aided Compiler Design for Programmable Network Devices
Deconstructing the carcinogenome: cancer genomics and exposome data generation, analysis, an tool development to further cancer prevention and therapy
Cellular automata with non-working cells
Synchronization Efficiency
Photoelectrochemical Wet Etching of Gallium Nitride
Analyzing and Securing Software via Robust and Generalizable Learning
Submicron Scaling in Indium Phosphide/indium Gallium Arsenide Single Heterojunction Bipolar Transistors
Unstructured Image Mosaics
Quality-aware adaptation in database systems
Elastic cloud computing for QoS-aware data processing
Information elicitation, incentives, and markets
Reject Local Bases, Embrace Entanglement Features
Convicted by memory: Automatically recovering spatial-temporal evidence from memory images
Integrating a structuring mechanism with a program editor
Layer disordering and aluminum-gallium interchange in aluminum-gallium arsenide - gallium-arsenide quantum well heterostructures
On the Use of Finite Field Based Modeling in Polynomial Manipulation
Fluid interaction for high resolution wall-size displays
Robust Object Tracking Based on Multiple Cues
Domain-based program synthesis using planning and derivational analogy
Detecting digital copyright violations on the internet
Behavior Prediction of Intelligent Agents in and Around Safe Autonomous Vehicles
Towards Making Distributed Systems Trustless
On the Complexity of Implementing Certain Classes of Shared Objects
Cryptographic Algorithms for the SecureDelegation of Multiparty Computation
A model for deadlock-free resource allocation
Learning Algorithms in Strategic Environments
Efficient robotic manipulation skill learning
Network analyses of proteome evolution and diversity
Difference-operator-based models in statistical signal processing
Assisted cognition: compensatory activity assistance technology
Classifying Human Behaviors, Activities and Contexts from Mobile Sensor Data
Improving Effectiveness and Productivity of Microprocessor Verification
Ultrasonic Characterization of Three Animal Mammary Tumors From Three-Dimensional Acoustic Tissue Models
Behavioral Robustness of Software System Designs
Online computations in scheduling and network applications
Graph Partitioning and Semi-definite Programming Hierarchies
The Theory and Practice of I/O-Efficient Computation
Quantum-inspired Machine Learning with Hidden Quantum Markov Models and Tensor Networks
Efficient Concurrency Control for Libraries of Typed Objects
Optical Absorption and Fluorescence Studies in High Pressure Cesium-Xenonmixtures
Towards machine learning models robust to adversarial examples and backdoor attacks
Improving the use of Open Government Data using visualizations
Empowering Uncertainty Resolution for Marginalized Populations through Social Technologies
The saturation effect in large-scale software development: its impact and control
First-Principles Study of Hybrid Halide Perovskites and Beyond for Optoelectronic Applications
Optimal Scheduling Method for Multi-Energy System
Gradient Descent for Non-convex Problems in Modern Machine Learning
The Impact of Anthropomorphism on Trust in Human-Robot Interaction
Algorithms and Models for Problems in Networking
Integrated 3D Analysis and Analysis Guided Synthesis
On Consistent and Efficient Graph Data Management
Self-Assembling Decentralized Control Constructs for Large-Scale Variably-Interconnected Systems
A Method of Adaptive Control for High-Order Systems
Creating collections and evaluating viewpoints: Selection techniques for interface design
The MetaPRL Logical Programming Environment
Algorithmic Problems in Committee Selection
New Techniques in Deep Representation Learning
Improving Data-Dependent Parallelism in GPUs Through Programmer-Transparent Architectural Support
Issues in NP-optimization and Approximation
Improving Linux Kernel Fuzzing
Sound Sensing and Feedback Techniques for Deaf and Hard of Hearing People
Copycat: A computer model of high-level perception and conceptual slippage in analogy making
Performance analysis of garbage collection and dynamic reordering in a Lisp system
A Knowledge-Based Approach to Multiple Transaction Processing and Distributed Database Design
Study and development of label-free optical biosensors for biomedical applications
Sensor Directed Sampling
New Methods in Program Checking
Applying Multimodal Sensing to Human Motion Tracking in Mobile Systems
Scalable and Interpretable Approaches for Learning to Follow Natural Language Instructions
Monte Carlo Simulation of Nonlinear Radiation Induced Plasmas
Resource-Efficient Replication and Migration of Virtual Machines
Computational Framework for the Identification of Neural Circuits Underlying Psychiatric Disorders
Power electronics implementation of dynamic thermal storage as effective inertia in large energy systems
Enabling modern concurrency through program transformations
POLUS: A Self -Evolving Model-Based Approach for Automating the Observe -Analyze -Act Loop
Application-driven Intersections between Information Theory and Machine Learning
Towards Resilience in Cyber-Physical Systems
Trace cache design for wide-issue superscalar processors
P-Schemes and Deterministic Polynomial Factoring Over Finite Fields
Learning Through the Lens of Robustness
Protecting Smart Devices from the Bottom-up
A quantitative analysis of gaze in feature films
Exploiting Randomness in Computational Cameras and Displays
Acquiring information from wider scope to improve event extraction
Flexible user interface coupling with operation transformation
Learning Hierarchical Compositional Task Definitions through Online Situated Interactive Language Instruction
Real-Time Distributed Control and Simulation of a Physical Emulator of a Flexible Manufacturing System
Hardware architectures to support low power natural I/O applications
Designing Machine Learning-Enhanced Tools and Physics-based Techniques for Force Field and Electrostatic Models
Efficient Dynamic Verification Algorithms for MPI Applications
It's Data All the Way Down: Exploring the Relationship Between Machine Learning and Data Management
Formal Specification and Verification of Secure Information Flow for Hardware Platforms
Detecting and Explaining Emotional Reactions in Personal Narrative
Reduced-Order Sensitivity Models of Linear Systems With Applications
Algorithmic Investigations In P-adic Fields
A Vacuum Grating Monochromator for the Far-Infrared
Real-Space Transfer Transistors Grown by Metalorganic Chemical Vapor Deposition
User-trainable object recognition systems via group induction
Interactive Machine Learning from Humans: Knowledge Sharing via Mutual Feedback
Scalable Mining and Link Analysis Across Multiple Database Relations
Bridging Imaging and Training: Open Source Device for Biological Imaging and an Interactive Virtual Lab Training
A Macroscopic Study of Network Security Threats at the Organizational Level
Intellectual property protection for computer software: a comparative analysis of the United States and Japanese intellectual property regimes
Learning Visual Affordances for Robotic Manipulation
Leveraging Eventuality-Centric Implicit Knowledge for Natural Language Understanding
Software modeling for reconfigurable machine tool controllers
Avid: A System for the Interactive Development of Verifiably Correct Programs
Representation reducing heuristics for semi-automated scientific discovery
Taliere: An interactive system for data structuring SETL programs
Program behavior and load dependent system performance
Leveraging geo-referenced digital photographs
Exploiting knowledge in NLP
Efficient and expressive extensions of constraint-based temporal reasoning
Countering financially-motivated malicious actors on the Internet
Multi-scale metabolism: from the origin of life to microbial ecology
Using Deception to Enhance Security: A Taxonomy, Model, and Novel Uses
Plan-based plan recognition models for the effective coordination of agents through observation
The Human as a Constrained Optimal Text Editor
An Extension of Electrical Network Differential Equations and Theorems
Theoretical foundations for practical problems : network analysis, algorithm selection, and interaction design
Harnessing Task Mechanics for Robotic Pushing and Grasping
Towards a Deeper Understanding of Neural Language Generation
RF micro-systems for 5G front-end signal processing
Content Distribution in Overlay Multicast
Mining Electronic Health Records to Improve Remote Health Monitoring
A fully homomorphic encryption scheme
Measures for Robust Stability and Controllability
Efficient reinforcement learning via singular value decomposition, end-to-end model-based methods and reward shaping
Development of multiscale modeling methods for clinical decision making in single ventricle heart patients /
Computer Architectures for Mobile Computer Vision Systems
Gaze-enhanced user interface design
Decentralized Control and Multicriterion Decision-Making
Augmenting Exploratory Data Analysis with Visualization Recommendation
Analysis and design of closed-loop fractional-order systems and its applications to neurotechnology
Techniques for Visual Media Forensics
Machine recognition and attitude estimation of three-dimensional objects in intensity images
Debugging the Performance of Configurable Software Systems: A Human-Centered White-box Approach
Using the host immune response to hemorrhagic fever Viruses to understand pathogenesis and improve diagnostics
Distributed real-time fault tolerance in a virtualized separation kernel
Accurate annotation of non-coding RNAs in practical time
Probing, Improving, and Verifying Machine Learning Model Robustness
Supporting high-level, high-performance parallel programming with library-driven optimization
Cache Resource Allocation in Large-Scale Chip Multiprocessors
Learning for Network Applications and Control
The Design and Application of a Nonarithmetic Data Processing Machine
Surpassing Local Optimality in Geometry Processing
Nonmonotonic semantics for partitioned knowledge bases
Wireless Networks: Model and Optimization based approaches to Clock Synchronization, Random Access MAC and Video Streaming
The design and implementation of a region-based parallel programming language
Explanation-Based Learning via Constraint Posting and Propagation
Towards a form processor: A framework for architectural form derivation and analysis using a formal language analogy
Secure Computation in Heterogeneous Environments: How to Bring Multiparty Computation Closer to Practice?
Efficient Zero-Knowledge Proofs: Theory and Practice
Hardware acceleration to address the costs of data movement
Continuing the experiment: A hypermedia adaptation of Zola's Germinal
Algorithms and data structures for IP lookups
Learning to manipulate novel objects for assistive robots
A framework and protocols for reliable, timely, and ordered message delivery in distributed collaborating group applications
Taiwanese Emerging Adults and Mental Wellbeing: Conceptualization, Coping Strategies, and Role of Digital Tools
On Designing Resource-Constrained CNNs Efficiently
Accelerated Systems for Pattern Matching
Optimizing the motion vector accuracies in block-based video coding
A semidefinite programming approach to the graph realization problem : theory, applications and extensions
Multi-Dimensional Analysis of Graph Data
Resource management in single-chip multiprocessors
Data Tethers: Preventing Information Leakage by Enforcing Environmental Data Access Policies
Development and Application of a Computational Force Field for the Study of Structure, Function and Motion of Enzymes in the Acetate and Non-ribosomal Peptide Pathways
Multiresolution, adaptive methods and classification for image analysis of DNA autoradiographs
Design and Optimization of Hardware Accelerators for Deep Learning
Towards sustainable analytics in geo-socially distributed environments
Exploring Societal Computing based on the Example of Privacy
Exploring protein-membrane interactions through simulation and experiment
Current steering and electrode spanning with partial tripolar stimulation mode in cochlear implants
On Improving Robustness of Deep Neural Networks for Computer Vision
Data Analysis and Visualization for Electricity Markets
Hierarchically Tiled Arrays as high-level programming abstractions for dataflow runtime systems
Exploring structural regularities for robust 3D reconstruction of urban scenes
Verification of Hierarchical Cache Coherence Protocols for Futuristic Processors
Constrained Quantification in Polymorphic Type Analysis
Machine Learning with Provable Robustness Guarantees
Dynamic data modeling, recognition, and synthesis
Hand Pose Estimation and Prediction for Virtual Reality Applications
Designing Educational Video Games and Intelligent Tutoring Systems for Drill-Based Training
New Optimization Methods for Modern Machine Learning
Lyrical Mysticism: The Writing and Reception of Catherine of Siena
Information spread in networks: games, optimal control, and stabilization
Contrastive Text Generation
Rethinking Cloud Storage System Software under Multi-Tenancy
Auction design for dynamic spectrum sharing
Reducing End-User Burden in Everyday Data Organization
Designing Health Technologies: An Ecological Approach
Three dimensional model based object recognition
A learning theoretic approach to algorithmic game theory
Data-driven Approaches And Systems for The Reliability of Mobile Network Services
Unlocking AI outside the training distribution: Generalization, Causality, and Coronary Risk Modeling
Estimation for Poisson processes with applications in optical communication
Non-coding DNA and floating building blocks for the genetic algorithm
Secure Remote Attestation for Safety-Critical Embedded and IoT Devices
A systematic study of multi-level query understanding
Structured Estimation In High-Dimensions
Asymptotic theory for large random matrices and its applications
Automatic acquisition of word meaning from context
An object-oriented real-time simulation of music performance using interactive control
Formal Verification of AI-Controlled Cyber-Physical Systems Using Polynomial Approximations: Constraints Solver, Model Checkers, and Applications
A Framework for the Analysis and Design of Vector Controllers for Induction Machines
Accessibility in Design Education
Truncated-Newton methods
Interactive Simulation of Surgical Needle Insertion and Steering
Optimizing Distributed Systems using Machine Learning
The Conservation and Dissipation of Energy Associated With Atmospheric Acoustic Gravity Waves
A Centralized IoT Middleware System for Devices Working Across Application Domains Using Self-descriptive Capability Profile
Parallel algorithms for scheduling and related problems
System Infrastructure for Mobile-Cloud Convergence
Practical Formal Development of Distributed Systems
Learning from opinions
Physics-Informed Deep Learning for Trajectory Prediction and Uncertainty Quantification
Differential Files: Applications and Analysis
Geometry of Local-spectral Expanders
Formal Analysis for MPI-Based High Performance Computing Software
New capabilities for large-scale exploratory data analysis
Compiler Auto-tuning For Code Optimization
Pixel-Level Prediction: Models and Applications
Automated Reasoning for Web Page Layout
Non-Intrusive Load Monitoring: Disaggregation of Energy by Unsupervised Power Consumption Clustering
Addressing Missing Data and Scalable Optimization for Data-driven Decision Making
Representing and modeling digital circuits
A Study of Current Logic Design Problems: Part I, Design of Diagnosable Mos Networks; Part Ii, Minimum Nor (Nand) Networks for Parity Functions of an Arbitrary Number of Variables; Part Iii, Minimum Parallel Binary Adders With Nor (Nand) Gates and Their Extensions to Networks Consisting of Carry-Save Adders
Communication-Inspired Design of on -Chip Buses
Theoretical and Experimental Study of Gravity Waves in the Ionosphere Observed With Incoherent Scatter Radar
Fuzzing and Symbolic Execution to Identify and Patch Bugs
Path-aware analysis of program invariants
A Computational Perspective of Causal Inference and the Data Fusion Problem
Large-scale Inference of Correlation between Complex Biological Traits
Practical methods for simulation of compressible flow and structure interactions
Network Optimization Algorithms and Applications to Molecular Biology
Adaptation of the MapReduce programming framework to compute-intensive data-analytics kernels
Predicting, Measuring and Modulating Localization of Nuclear-Encoded Mitochondrial mRNAs
Visualization and analysis of single-cell RNA-seq data by kernel-based similarity learning
Dynamical Systems and Neural Networks: From Implicit Models to Memory Retrieval
MARTIAN: A concept learning system
High Dimensional Expanders in Analysis and Computation
Decidability Extracted: Synthesizing "Correct-by-Construction" Decision Procedures form Constructive Proofs
Human-powered data management
Enabling Programmable Infrastructure for Multi-Tenant Data Centers
The Research-Practice Gap in User Authentication
ACSAS: A Web-based Ambulatory Cognitive Self-Assessment System for Older Adults
Discovering Network Control Vulnerabilities and Policies in Evolving Networks
The Serverless Datacenter: Hardware and Software Techniques for Resource Disaggregation
Automated Extraction of Glacial Features using Deep Learning
Informing Privacy and Security Decision Making in an IoT World
An interactive environment for tool selection, specification, and composition
Analysis of Self-Adjusting Heaps
Distributed timing analysis
Multimodal intravital imaging of tissue structure and cell dynamics in skin using integrated optical coherence and multiphoton microscopy
Array restructuring for cache locality
Reflective Database Access Control
Suboptimal Feedback Control of Systems With Random Parameters
Revamping Binary Analysis with Sampling and Probabilistic Inference
Leveraging Text-to-Scene Generation for Language Elicitation and Documentation
Automating the Verification of Distributed Systems
Design and performance analysis of adaptive optical telescopes using laser guide stars
Pedagogical Framework Documentation: How to Document Object -Oriented Frameworks. An Empirical Study
Improving Select Applications of Long-Read DNA Sequencing
Representing High-Level Knowledge Structures in Massively Parallel Networks
Semantic Language Extensions for Implicit Parallel Programming
Rigorous Electromagnetic Modeling of Conductor and Substrate Losses for High-Speed Interconnect Structures
Hierarchical Segmentation and Clustering Using Similarity Analysis
Knowing Who to Trust and What to Believe in the Presence of Conflicting Information
Modulo scheduling, machine representations, and register-sensitive algorithms
Intelligent System Towards Maintaining Service Level Agreements Related to Application Performance in Cloud Infrastructure
Flow control and micro-architectural mechanisms for extending the performance of interconnection networks
Bridging Safety and Learning in Human-Robot Interaction
The semantics and analysis of safe futures
Efficient and Scalable Neural Architectures for Visual Recognition
Representing Constructive Theories in High-Level Programming Languages
A Strategic Agent-Based Analysis of Economic and Technological Changes in Financial Networks
Information-theoretic analysis of human-machine mixed systems
A system for microarchitecture and logic optimization
Computational and Statistical Complexity of Learning in Sequential Models
Assisted decision making using multivariate spatiotemporal data through the application of visual analytics
Learning with Asymmetry, High Dimension and Social Networks
Ensemble classification techniques for relational domains
Quality of Experience and Security for Augmented and Virtual Reality Applications
Towards Multi-Device Ecosystems for Personal and Family Health Tracking
Performance modeling for concurrent particle simulations
On the Design of Self-Checking Systems Under Various Fault-Models
Advances in the level set method for multiphase fluid-structure interaction with ocean engineering applications
Appearance-design interfaces and tools for computer cinematography: Evaluation and application
Adaptive management schemes for mobile ad hoc networks
Pseudolinearization Using Spline Functions With Application to the Acrobot
Genome assembly methods using read clouds
Securing the Internet of Things via Locally Centralized, Globally Distributed Authentication and Authorization
Scaling up psycholinguistics
The Power and The Dignity: Librarianship and Katharine Sharp
Integer-programming-based layout synthesis of two-dimensional CMOS cells
Autonomous Database Management at Scale: Automated Tuning, Performance Diagnosis, and Resource Decentralization
Mobile Accessibility Tools for the Visually Impaired
Programming software-managed memory hierarchies
Parallel processing of best-first branch and bound algorithms on distributed memory multiprocessors
Exemplar-based Representations for Object Detection, Association and Beyond
Understanding Word Embedding Stability Across Languages and Applications
Performance and fault-tolerance in a cache for distributed file service
Efficient and Scalable Large Multimodal Models
Approximation Algorithms for the Fault-Tolerant Facility Placement Problem
Efficient optimization via approximation
Plasma studies with the IMP-2 satellite
Variability assessment and mitigation in advanced VLSI manufacturing through design-manufacturing co-optimization
Modelling and remote sensing of meltwater drainage on Antarctic ice shelves
Random Number Generation Using a Biased Source
Computational Shoeprint Analysis for Forensic Science
Thermal and Optical Emission and Thermal Capture of Electrons and Holes at Gold Centers in Silicon
Congestion Control Protocols for the Evolving Internet
PARASPICE: A parallel direct circuit simulator for shared-memory multiprocessors
Finite-state analysis of security protocols
Synthesizing Lenses
Managing Critical Resources in Wireless Ad Hoc Networks: A MAC -Centric Approach
Distributed intelligence with bounded rationality: Applications to economies and networks
Neural Structured Prediction using Iterative Refinement with Applications to Text and Molecule Generation
Detecting and Combining Programming Patterns
The Physics of Computing with Memory
Persistent LINDA: Design and implementation of a system to add transactions to LINDA
The longitudinal Kerr magneto-optic effect in ferromagnetic thin films
Deterministic Execution for Arbitrary Multithreaded Programs
Utility Learning, Non-Markovian Planning, and Task-Oriented Programming Language
Characterizing and Mitigating Virtual Machine Interference in Public Clouds
Improving programmability and performance for scientific applications