yusuke1997/dblp-id-title huggingface dataset:
Adapting Mobility Models and Routing for Connectivity Awareness in Autonomous UAV Networks
Application of Machine Learning and Data Science in Synthetic Organic Chemistry
Applications of Machine Learning to Location Data
Visual Content Creation by Generative Adversarial Networks
Studies on Clustered Files
Generalization Error Estimates and Training Data Valuation
Semantic and syntactic specification and extension of languages
A piRNA regulation landscape in C. elegans and a computational model to predict gene functions
Mathematical maturity for engineering students
Enabling Scalable Smart-Building Analytics
Towards secure web browsing
An informatics approach to prioritizing risk assessment for chemicals and chemical combinations based on near-field exposure from consumer products
Structured Codes for Network Communication
Machine Learning and the Multiagent Alignment Problem
Architecting Non-volatile Memory for High Bandwidth Systems
On the modeling, design, and implementation of firewall technology
Lookout for...What? Monitoring and Uncertainty in Scientific Computing
On nonsingular, cyclide transition surfaces
HIGH EFFICIENCY EDGE COUPLER, NOVEL NONLINEAR OPTICAL POLYMERS WITH LARGE KERR-COEFFICIENT AND AUTOMATIC LAYOUT GENERATION IN SILICON PHOTONICS
Improve KL -Divergence Language Models in Information Retrieval Using Corpus Local Structures
Treemacs: An extensible tree editor
Understanding and analyzing the effectiveness of uncertainty sampling
On the Synthesis of Time-Varying Linear Systems
A Probabilistic Approach to Geometric Hashing using Line Features
Formal Verification of Vision-Based AI-Controlled Cyber-Physical Vehicles
Machine Learning-based Inverse Solution for Predictions of Impact Conditions during Car Collisions
Towards Efficient Point-Cloud Object Detection on Autonomous Vehicles
Sandboxing untrusted JavaScript
Problems in Sorting and Graph Algorithms
Improving scalability of parallel unstructured mesh-based adaptive workflows
Reverse Engineering Utilizing Domain Specific Knowledge
Investigation of topics in radar signal processing
New AI Frameworks for Real-World Clinical Prediction
Towards Closing the Programmability-Efficiency Gap using Software-Defined Hardware
Filling in the Gaps: Computational Tools, Transformer-Based Frameworks, and Integrative Analyses to Advance Complex Disease Risk Prediction
Repulsive Energies and their Applications
Interval Programming: A Multi-Objective Optimization Model for Autonomous Vehicle Control
Random networks in configuration space for fast path planning
Unsupervised Graph-Based Similarity Learning Using Heterogeneous Features
On Traversing Properties Of Array-automata
Software engineering methodology: the Watersluice
Protecting Systems From Exploits Using Language-Theoretic Security
Solving Large and Sparse Zero-One Programming Problems on Parallel Processors
Configurable Software for Satellite Graphics
Power system dynamic modeling and synchrophasor measurements
Deep Learning Algorithms for Accelerating Fluid Simulations
Optimal Combinational Multi-Level Logic Synthesis
Vision and language understanding with localized evidence
High Power Sources Near 0.9 Micrometers in *Oxide Glass Fibers
Refresh reduction in dynamic memories
Connections Between and Techniques For Circuit Meta-Complexity Problems and Lower Bounds
Logic specifications for compiling
Issues in Design for Testability and Self-Test
Floor Planning and Global Routing in an Automated Chip Design System
A language-oriented approach to computer architecture
A study of computational methods to analyze gene expression data
Random Testing of Open Source C Compilers
Towards Large Scale Summarization
CuPIDS: Increasing information system security through the use of dedicated co-processing
Intelligent Management of Inter-Thread Synchronization Dependencies for Concurrent Programs
System Support for Concurrent Software Reliability
Investigating the VPN Ecosystem through the Lens of Security, Privacy, and Usability
Phase difference and tensor factorization models for audio source separation
On-line learning of predictive compositional hierarchies
From experiment to design - fault characterization and detection in parallel computer systems using computational accelerators
Estimation of credit and interest rate risks for loan portfolios
Dependency Management Framework: A Tool for Designing Robust Real -Time Systems
Floquet-Wave-Based Analysis of Transient Scattering From Doubly Periodic Structures
Mathematical Sketching: A New Approach to Creating and Exploring Dynamic Illustrations
Design, Simulation, and Programming of Magnetic Soft Robots
Structured Models for Semantic Analysis of Audio Content
Computational detection of driver mutations in cancer genomes
Measuring information efficiency by bounded oracle computation
Reshaping reminiscence, web browsing and web search using personal digital archives
Efficient Search Procedures for Solving Combinatorial Problems
Reducing the penalty of branch and load hazards in pipelined microprocessors
Probabilistic reasoning for complex systems
Atomic commitment in multidatabase systems
Investigation of the Physics of Digital Memcomputing Machines
Learning Large-Scale Conditional Random Fields
Balance of Recurrence Order in Time-Inhomogeneous Markov Chains With Applications to Simulated Annealing
Rethinking Wireless: Building Next-Generation Networks
GaN Complementary-Metal-Oxide-Semiconductor (CMOS) Technology
Seeing and Hearing Fluid Subspaces
Fluigi: an end-to-end software workflow for microfluidic design
Ambiguity in the Mind and the Lexicon
Understanding a Dynamic World: Dynamic Motion Estimation for Autonomous Driving Using LIDAR
A Geometrical Approach to Model-Based Vision
Design of a robust ratiometric sensor and a long-term memory genetic toggle switch
Algorithms for Shortest Paths
Toward a Robust and Universal Crowd Labeling Framework
Youth Services at St. Louis Public Library, 1909-1933: A Narrative Case Study
Investigation into the numerical simulation of strongly magnetized charged particle dynamics by exponential integration
Attribute Learning using Joint Human and Machine Computation
Eroding Uncertainty: Towards Understanding Flows Interacting with Mobile Sediment Beds Using Grain-Resolving Simulations
Motion vector processing in compressed video and its applications to motion compensated frame interpolation
Development of Compound Semiconductor FET and Integrated Low -Voltage RF MEMS Switch Technology for Reconfigurable MMIC Applications
Predictive Analysis of Message Passing Applications
An Environment for Interactive Parallel Numerical Computing
Modeling heterogeneous networks for information ranking, enrichment and resolution on microblogs
Multitasking on Wireless Sensor Networks
Architecture Supports and Optimizations for Memory-Centric Processing System
Physically Motivated Sub-grid and Surrogate Models of Star Formation and Feedback in Eulerian Adaptive Mesh Cosmological Simulations
Pringle: A test bed for parallel computer and parallel i/o architectures (systolic array, dataflow, array processor)
Accommodative mandatory access control
XR Development with the Relay and Responder Pattern
Spectral Independence A New Tool to Analyze Markov Chains
Essential Uses of Expressions in Set-Oriented Languages
Black Box Variational Inference: Scalable, Generic Bayesian Computation and its Applications
Beyond Access: Broadening technological and financial inclusion
Perturbation based privacy for time-series data
Movement and placement of non-contiguous data in distributed GPU computing
Non-stationary transport effects in deep sub-micron channel Si mosfets
Optimization-based Planning and Control for Robust and Dexterous Locomotion and Manipulation through Contact
Off-chain protocols for cryptocurrencies
Several Studies of Weakly Supervised Learning in Text Classification
Enhancing Software Development Techniques via Copy Codebases
Securing wireless network topology and routing
VHF Radar Studies of the Mid-Latitude E-Region Ionosphere From Camp Santiago, Puerto Rico
Constraint models for an object-oriented database
Knowledge base integration in biomedical natural language processing applications
Improving the Productivity of Hardware Design
Learning to Attack, Protect, and Enhance Deep Networks
Aspects of speech recognition by computer
Sublinear Time Algorithms for the Sparse Recovery Problem
A Transport Layer Approach to Host Mobility
Model-Based Tracking of Articulated Objects
Just an error? Prototyping embodied experiences of LLM hallucinations
Algorithmic applications of propositional proof complexity
Computer-aided group judgment: A study of group decision support systems effectiveness
Theory and Application of Reward Shaping in Reinforcement Learning
Principled Optimization Of Dynamic Neural Networks
Distributed Speculations: Providing Fault-Tolerance and Improving Performance
Millimeter-Wave Reconfigurable Adaptive Hybrid Beamformers for MIMO Communication
On Black-Box Complexity and Adaptive, Universal Composability of Cryptographic Tasks
Computational Methods to Inform Healthcare Decisions at Individual and Population Levels
Matrix estimation with adaptive samples
Computing tie strength
Energy-Efficient Architecture and Dataflow Optimization for Spiking Neural Network Accelerators
Learning to Describe Images via Natural Language
Sparse Cholesky Factorization on a Multiprocessor
The Dragon, the Witch and the Juggernaut: Towards a Philosophy of Generative AI
Analysis and Design of an Incentive Scheme for a Proof-of-Work Blockchain
Toward Computer Understanding of Real Texts of Natural Language
Motivation and intensionality in a computer simulation model
Approximate Simulations of Dynamical Graph Grammars using the Dynamical Graph Grammar Modeling Library
New Algorithms and Bounds for Multilayer Channel Routing
Leveraging the Power of Crowds: Automated Test Report Processing for The Maintenance of Mobile Applications
On several problems regarding the application of opportunistic proximate links in smartphone networks
Information Flow Auditing in the Cloud
Structural Anomaly Detection
Designing Privacy Notices: Supporting User Understanding and Control
A Robust and Efficient Framework for Slice-to-Volume Reconstruction: Application to Fetal MRI
Breaking the Language Code: Unlocking Computer Science for Multilingual Students
Relaxation Methods For The Hybrid Computer Solution Of A Large System Of Ordinary Differential Equations
Evolutionary Structure and Search
Towards Practical Stochastic Computing Architectures for Emerging Applications
Integrative network-based approaches to analyze genomics data
Algorithmic Interactions With Strategic Users: Incentives, Interplay, and Impact
Human-Inspired Methods for Extending Advances in Computer Vision to Data- and Compute-Constrained Environments
Privacy-preserving data publishing and analytics using data cubes
Reducing the Costs of Proof Assistant Based Formal Verification or : Conviction without the Burden of Proof
Compiling parallel loops for high performance computers: Partitioning, data assignment, and remapping
Mechanics of Confined Microbial Populations
Probabilistic Methods for Single Individual Haplotype Reconstruction: HapTree and HapTree-X
Artificial Social Intelligence Challenges, Environments, and Mechanisms
Computational approaches for whole-transcriptome cancer analysis based on RNA sequencing data
Conformance preserving data dissemination for large-scale peer to peer systems
Grounding deep models of visual data
Geometry and Algorithms for Part Fixturing, Grasping and Manipulation With Modular Fixturing Elements, a New Reconfigurable Gripper and Mobile Robots
Graph-based Approaches to Resolve Entity Ambiguity
Advancing Automated Machine Learning: Neural Architectures and Optimization Algorithms
Acting with Language
Practical take-grant systems: do they exist?
Tagging and other microtasks
Statistical manipulation and control strategies of the n-back task
Cost-effective data structural preparation
Towards Intelligent Robotic Systems: Unifying Model-based Optimization and Machine Learning for Planning, Control, and Estimation
Domain-Knowledge-Guided Machine Learning Towards Accurate Materials Property Prediction and Materials Discovery
Dwell-free input methods for people with motor impairments
Capturing, indexing, and retrieving system history
Color-Spatial Image Indexing and Applications
Incremental update framework for efficient retrieval from software libraries for bug localization
Secure transformation of cryptographic protocols
Automatically Optimizing Tree Traversal Algorithms
Efficient Patient Specific Image Guidance in Liver Surgery
High-Dimensional Similarity Search for Large Datasets
Effective memory management for mobile environments
Optimal resource allocation algorithms for cloud computing
Learning to Design and Engineer Proteins from Evolution, 3D Structures, and Experiments
Probabilistic Models for Characterizing Animal Learning and Decision-Making
"Computational Videography with a Single Axis, Multi-Parameter Lens Camera"
Robust Soft-Matter Robotic Materials
Three-Dimensional Granular Monte Carlo Simulation of Semiconductor Devices
Integrating ontological metadata: Algorithms that predict semantic compatibility
Current-Mode Clocking and Synthesis Considering Low-Power and Skew
Verification of Encapsulated Implementations of Algebraically Specified Data Types
Understanding the Message Logging Paradigm for Masking Process Crashes
Machine Learning: Metrics and Embeddings
A software architecture for multithreaded and multiprotocol distributed applications
Modeling and Inferring Attributed Graphs
Optimal Feedback Control of Systems With Variable Time Delay
Not just a pretty (inter)face: A critical analysis of Microsoft's 'Ms. Dewey'
Security models in rewriting logic for cryptographic protocols and browsers
Techniques for proving data structure lower bounds
Improved Techniques for Parallel Discrete Event Simulation
Precise Identification of Neurological Disorders using Deep Learning and Multimodal Clinical Neuroimaging
MayBMS: A System for Managing Large Amounts of Uncertain Data
Towards a Virtual Teaching Assistant to Answer Questions Asked by Students in Introductory Computer Science
High Dynamic Range CMOS-MEMS Capacitive Accelerometer Array with Drift Compensation
An APL machine
Spinal Cord Imaging in Multiple Sclerosis Patients: Applications of Machine Learning and Computer Vision Methods
High -Throughput Coherence Controllers
True shared memory architecture for next-generation multi-GPU systems
FPGAs in the datacenter: enhancing performance, usability, security, and privacy
Application aspects of data mining analysis on evolving graphs
A Practical Method for Lr and Ll Syntactic Error Diagnosis and Recovery
So many standards, so little time: A history and analysis of four digital video standards
Parallel algorithms for two-stage stochastic optimization
Topological Analysis Using Morse Theory and Auditory Display
Interprocedural dataflow analysis - alias analysis
Synthesis and characterization of zinc oxide nanocolloid for transparent conducting thin films
Power, Performance Modeling and Optimization for Mobile System and Applications
Hardness Amplification in Two Prover Game and Communication Complexity
Robots as Minions, Sidekicks, and Apprentices: Using Wearable Muscle, Brain, and Motion Sensors for Plug-and-Play Human-Robot Interaction
Efficient Resource Management for Deep Learning Clusters
A Knowledge-Based Design Aid for the Construction of Software Systems
Dynamic memory allocation techniques based on the lifetime of objects
Compositionality and Modularity for Robot Learning
Thought Recognition: Predicting and Decoding Brain Activity Using the Zero-Shot Learning Model
Sequential patterns and temporal patterns for text mining
Unsupervised and Zero-Shot Learning for Open-Domain Natural Language Processing
Range From a Nonfrontal Imaging Camera
Algorithmic data fusion methods for tuberculosis
Connectivity inference for petascale neural circuit reconstruction
Online Algorithms: From Prediction to Decision
Adaptive reliability chipkill correct (ARCC)
Sequential and Temporal Analysis of Human-generated Data
Improving Productivity of Accelerator Computing Through Programming Models and Compiler Optimizations
Automated Generation of Domain Specific Kernels
Gender Differences in Professional Socialization: A Study of Women and Men in the Computer Science Ph.D. Program at Carnegie Mellon
Outer approximation for semidefinite programs and a vector clock problem
Formal Verification of Neural Networks: Algorithms and Applications
Getting the Most out of your Data: Multitask Bayesian Network Structure Learning, Predicting Good Probabilities and Ensemble Selection
Part I: [epsilon]-calculus; Part II: Iterated integrals
Designing Interactive Systems for Community Citizen Science
Harnessing Magnetic Switching and Dynamics Using Electron and Magnon Spin Currents
Abstracting Systems Challenges from Distributed Deep Learning
Stone soup: digesting the epigenome through the window of chromatin accessibility
Modeling Reaction Pathways in the Solid-State Synthesis of Inorganic Materials
Optimizing I/O performance for high performance computing applications: from auto-tuning to a feedback-driven approach
Design Automation of Microfluidics
Multi-Input Inner Product Encryption: Function-hiding instantiations without Random Oracles
Coded Illumination for Multidimensional Quantitative Phase Microscopy
Accurate and budget-efficient text, image, and video analysis systems powered by the crowd
Towards Ultra-Efficient Machine Learning for Edge Inference
High-Precision CMOS Neural Recording and Stimulation Systems for Bi-Directional Brain-Computer Interfaces
Investigation of system-level ESD-induced failures
The journal selection problem in a university library system
Parsimonious Service Replication for Tolerating Malicious Attacks in Asynchronous Environments
Disaggregated Memory Architectures for Blade Servers
Improvements and Applications of Alchemical Free Energy, Constant pH and Accelerated Molecular Dynamics Calculations in the AMBER Molecular Dynamics Suite
The Saga Editor: A Language-Oriented Editor Based on an Incremental Lr(1) Parser
Analysis of the Indium Gallium Arsenide/aluminum Gallium Arsenide Modulation-Doped Field Effect Transistor
Matrix Approximation for Large-scale Learning
Statistical modeling for minimum -effort interactive boundary extraction
Pipelining and dataflow techniques for designing supercomputers
Supporting I/O for Remote Visualization of High-Performance Scientific Simulations
Does modeling real-world objects in object-oriented systems result in well-structured systems?
Incorporating human visual properties into neural network models
Failure Detection and Diagnosis in Architecture-based Autonomic Systems
Communication Complexity: For Coding, Commerce, and Currents
Aesthetics of photographs, photobooks, and magazine covers: Tools for autonomous quality evaluation and content creation
Access control policy management
XML data warehousing
Grounding Semantics and Instructions with Vision
An Integrated Near-Optimum Design of Cold Rolling Mills
Abstractions and Algorithms for Specializing Dynamic Program Analysis and Random Fuzz Testing
Programming Languages for Information Security
Networked Dynamical Systems: Privacy, Control, and Cognition
Defending Dissidents from Targeted Digital Surveillance
Thermal Energy Storage for Datacenters with Phase Change Materials
Human-Robot Teaming in Safety-Critical Environments: Perception of and Interaction with Groups
Statistical Estimation from Dependent and Adversarial Data
Learning in dynamic noncooperative multiagent systems
Design and Optimization of High -Sensitivity Probes for Improved Limits of Detection in Protein Nuclear Magnetic Resonance Spectroscopy
Metamathematical Extensibility in Type Theory
A Secure and Formally Verified Commodity Multiprocessor Hypervisor
A methodology for trading off size and accuracy in sets of classification rules for numerical domains
Image-based Robot Pose Estimation
Increasing the Robustness of Deep Learning Models Using Generative Networks
Social Cybersecurity: Reshaping Security Through An Empirical Understanding of Human Social Behavior
Processes Underlying Infants' and Adults' Visual Statistical Learning
Hybrid STM/HTM for nested transactions in Java
Theoretical Methods for Blur-Correction in Electron and Soft X-Ray Microscopy
Exploiting the Structure of Modern Web Applications
Hardware and Software for Approximate Computing
What affects students' acceptance and use of technology?
Designing Efficient and Resilient Lossy Compressors for Large-Scale Scientific Computing
Colorectal cancer predictive test using germ-line DNA data and multiple machine learning methods
Modeling, Rendering, and Simulating Knits
Energy efficient core designs for upcoming process technologies
Destructive Effect Analysis And Finite Differencing For Strict Functional Languages
Systems and Techniques for Efficient Real-World Graph Analytics
Equalization Techniques for CMOS Optical Receivers with Integrated Silicon Photodiode
Beyond Nash Equilibrium: Mechanism Design with Thresholding Agents
Database support for uncertain data
Navigating Emerging Complexities of Modern Systems: Advancements in Automated Verification and Security Techniques
The design and implementation of tuna: a high-level graphical programming language
Adequacy assessment of tests for fault tolerance
Software-Defined Mobile Cloud
Cost-Driven Integration Architectures for Multi-Die Silicon Systems
Learning Structured World Model for Deformable Object Manipulation
Diels-Alder Reactivities of Cyclic Dienes and Dienophiles
Accurate interconnect modeling for efficient transient simulation in VLSI chip design
Automatic Generation of Issue Maps: Structured, Interactive Outputs for Complex Information Needs
Hierarchical Reinforcement Learning with Model-Based Planning for Finding Sparse Rewards
Techniques for Efficient Wide-Range Radio-Frequency Power Generation System
"Travelling Without Moving": A Study on the Reconstruction, Compression, and Rendering of Three-Dimensional Environments for Telepresence
Site reliability against anomalous behaviors
Scaling Machine Learning in Practice
The response of single auditory-nerve fibers in the cat to single tones: synchrony and average discharge rate
Automatic reconstruction of CAD models and properties from digital scans
Studying episodic access to personal digital activity : activity trails prototype
Wireless chemical sensing schemes using environmentally sensitive hydrogels
Numerical methods for solar tomography in the STEREO era
Numerical studies of femtosecond laser spectroscopy experiments in gallium arsenide material and quantum well structures
Fairness, Learning and Efficiency in Markets with Budgeted Agents
On the Creation and Use of Forward Models in Robot Motor Control
mHealth literacy: characterizing people's ability to use smartphone-based health-related applications
Nonlinear Feedback Control Systems With Sampled-Data
An Efficient Numerical Method for Highly Oscillatory Ordinary Differential Equations
Distributed procedure call
Inference from statistical data bases
Ensuring the Safety of Reinforcement Learning Algorithms at Training and Deployment
Automatic Correction of Syntax Errors in Programming Languages
Learning by understanding analogies
Machine learning and statistical analysis of the collective behaviors of large tissues
Multimodal Long-Term Video Understanding
Ring-LWE: Enhanced Foundations and Applications
Quantitative Microscopy using Coded Illumination
Combinatorial design of fault-tolerant communication structures, with applications to non-blocking switches
Disruptive Research on Distributed Machine Learning Systems
A scheduling model for computer systems with two classes of processors
Supporting a Flexible Parallel Programming Model on a Network of Non-Dedicated Workstations
Shallow Quantum Circuits: Algorithms, Complexity, and Fault Tolerance
A Tricolor Cartograph
Improving Automation and Scalability of Rigorous Program Reasoning
Efficient Processing and Delivery of Multimedia Data
Optimizing high performance dynamic branch predictors
Gain Optimization of a Near-Field Focusing Array for Hyperthermia: Theory and Experiment