yusuke1997/dblp-id-title huggingface dataset:
Generative Adversarial Networks for Content Creation
Towards clinically viable neural prosthetic systems
Computational Interpretation of English Spatial Prepositions
Analog Coding: Theory and Applications
QoS Management in Packet Cellular Networks
Decrypting the Black Box: a designer's journey into the infinite possibilities of ML in design
Towards Adaptive, Continual Embodied Agents
On the Design of Diagnosable Asynchronous Sequential Machines
Using Meta-reasoning for Failure Detection and Recovery in Assembly Domain
Pseudo-determinism
Scalable Reinforcement Learning Systems and their Applications
Adversarial-resilience assurance for mobile security systems
Prototypes and production rules : a knowledge representation for computer consultations
HiPIP: High-Performance Invocation Protection
Efficient, Secure, and Flexible High Speed Packet Processing for Data Centers
Optimal-order approximation by polynomial spline functions
Comparative Response Times of Time-Sharing Systems on the Arpa(+ Advance Research Projects Agency) Network
Development of Iridium-Based Gate Structure for Indium Aluminum Arsenide/indium Gallium Arsenide/indium Phosphide Enhancement-Mode and Depletion-Mode High Electron Mobility Transistors
Optimistic Partitioned Operation in Distributed Database Systems (Network Partitioning, Replicated Data, Consistency, Recovery, Fault-Tolerance)
Resilient 3D Network-on-Chip Design and Analysis
Two issues in public key cryptography : RSA bit security and a new knapsack type system
Leveraging Trajectory Optimization to Improve Deep Reinforcement Learning, with Application to Agile Wheeled Robot Locomotion
Hardware Acceleration for Unstructured Big Data and Natural Language Processing
A Query Optimization in Distributed Database Systems
Data-driven Image Captioning
Meta-Reinforcement Learning with Episodic Recall: An Integrative Theory of Reward-Driven Learning
From the Telegraph to Twitter Group Chats
Multidimensional utility functions: theory, assessment, and application
Algorithms, Implementation, and Studies on Eating with a Shared Control Robot Arm
Efficient Neural Network Synthesis and Its Application in Smart Healthcare
Structured Deep Visual Dynamics Models for Robot Manipulation
Modular Compilers and Their Correctness Proofs
Learning to Optimize with Guarantees
Contributions to the Statistical Foundation of Data-driven Control
Gradient techniques for performance prediction and control in multitier systems
Verification of Analog and Mixed-Signal Circuits Using Symbolic Methods
Applications of Latent Variable Models for Modeling Influence and Decision Making
Conduction and Pumping in Dielectric Liquids Under the Influence of an Applied Electric Field
Deconvolution Problems for Structured Sparse Signal
Secure and Practical Splitting of IoT Device Functionalities
New Privacy-Preserving Architectures for Identity-/Attribute-based Encryption
Spreading Rumors Cheaply, Quickly & Reliabily
Exploring Digital Resilience in Qatar: A Socio-Technical Perspective
Static Program Analysis to Enhance Profile Independence in Instruction-Level Parallelism Compilation
Resource-dependent behavior through adaptation
Leveraging Generative Models for Music and Signal Processing
Securing the Standards: Bringing Cryptographic Security Proofs Closer to the Real World
Modeling of Electromagnetic Responses With Respect to Design Variables: Local Gradients, Surrogate Modeling, and Deep Learning Neural Network
Indoor Human Information Acquisition from Physical Vibrations
Optimal Two-Dimensional Triangulations
Probabilistic finite-difference time-domain simulations using stochastic electromagnetic macro-models
Unfocused Multielement and Tapered Phased Array Ultrasound Transducers for Hyperthermia Treatment (Heat, Perfusion, Tumor, Phantom, Cancer)
Cryogenic Optical Link: Device, Circuit, and System
Compiler -based computation reuse schemes for handheld devices
On the complexity of computing Gröbner bases for zero dimensional polynomial ideals
Order and Learning in Sequential Neural Structured Prediction
A denotational semantics of inheritance
Deep learning-enabled computational imaging: from diffractive computing to microscopy
Benchmarking, Performance Analysis, and Domain-Specific Architectures for Graph Processing Applications
Physical and Electrical Properties of Hot -Carrier Degradation of Silicon *Mos Transistors Processed in Deuterium and Hydrogen
Hortatory operations and the Colloquium: Modeling a human-machine system using knowledge engineering techniques
Computational Biophysical Model of the Nuclear Pore Complex: Insights from Statistical and Big-Data Analysis
Fast and Energy Efficient Big Data Processing on FPGAs
Rewriting the Script for Equity-Minded Graduate School Pathways: Examining Mechanisms of Mentoring and Psychosocial Development in Computing Disciplines
Lithography-driven design for manufacturing in nanometer- era VLSI
Real-Time Document Retrieval
Towards Human Action Understanding in Social Media Videos Using Multimodal Models
VISIT: An efficient computational model of human visual attention
Security and Collaboration Protocols for Mobile and Sensor Networks
Learning From a Monotonous, Ignorant Teacher
Parallel input/output architectures for multiprocessors
Leveraging the Cloud for Software Security Services
Improving the Dependability of Distributed Systems through AIR Software Upgrades
Hardness from Densest Subgraph Conjectures
Discovery and Applications of Bacterial Noncoding RNAs
Why do Gradient Methods Work in Optimization and Sampling?
A Methodology for Solving Problems in Artificial Intelligence (Automated Reasoning, Heuristics, A-Star Algorithm, Model Problem)
Algorithmic and numerical techniques for atomistic modeling
COPILOT: a multiple process approach to interactive programming systems
Performance-robust, Non-blocking, Data-driven Barrier Synchronization for Multicore, Multithreaded Parallel Algorithms
A Unified Approach for Integrated Computer-Aided Design and Manufacturing
Enhancing debugging technology
Designing Interactive Data-driven Tools for Understanding Urban Accessibility at Scale
Complex Waveform Phonetic Speech Synthesis
Using patterns and plans to solve problems and control search
Improving reliability and performance of redundant disk arrays by improving rebuild time and response time
Relational Experience Design for Immersive Narratives
Numerical methods for nonlinearly constrained optimization
Energy Efficient Support for All Levels of Parallelism for Complex Media Applications
End-to-end techniques for network resource management
Smoothness Energies in Geometry Processing
Optimizing Emerging Applications Through Software Hardware Co-Design
Analysis of Cache Memories in Highly Parallel Systems
Models and Efficient Receivers for Communication Channels With Memory
Model-Driven Optimization of Tensor Computations
Emulating Brain-like Rapid Online Learning with Neuromorphic Edge Computing
Efficient Robot Motion Planning in Cluttered Environments
Performance-Based Service Level Agreements for Data Analytics in the Cloud
A Scalable VLSI Architecture for Real-Time and Energy-Efficient Sparse Approximation in Compressive Sensing Systems
Probabilistic Models of Evolution and Language Change
A clean slate approach to secure wireless networking
A Study of the Structure N
Automated deductive verification of systems software
Noise-adding and beyond: A study in data-adaptive methods for differential privacy
New Systems and Algorithms for Scalable Fault Tolerance
Enhancing end-to-end availability and performance by leveraging Internet redundancy
The two faces of mobile sensing
Computational Approaches to Linguistic Consensus
Statistical Methods to Understand the Genetic Architecture of Complex Traits
Rethinking Customer Segmentation and Demand Learning in the Presence of Sparse, Diverse, and Large-scale Data
A path-based framework for analyzing large markov models
Modeling and Control of Large Scale Neural Systems
Improving Robotic Manipulation via Reachability, Tactile, and Spatial Awareness
The deductive synthesis of database transactions
Design, diagnosis and reconfiguration of defect-tolerant VLSI
Efficient Design and Management of Reliable Optical Networks
The "Other" in the machine: oriental automata and the mechanization of the mind
Throughput and Delay on the Packet Switched Internet
On the Design of Interconnection Networks for Parallel and Multiprocessor Systems
Towards Model-based Synergistic Learning for Robust Next-Generation MIMO Systems
Behavior of the Limited-Memory BFGS Method on Nonsmooth Optimization Problems
Automating Topology Aware Mapping for Supercomputers
Beneath the Attack Surface
Image quality evaluation in print and compressed images
Enhancing Automated Network Management
Stochastic Time Reversal for Radar Detection
Empirical study of load distribution strategies on multicomputers
Micromagnetic Modeling of Thin Film Segmented Medium for Microwave-Assisted Magnetic Recording
Distributed garbage collection for large-scale mobile actor systems
Robust Learning from Uncurated Data
Simulation of Electromagnetic Effects in Magnetic Resonance Imaging
Multi-layered Energy Conversion and Frequency Control in Complex Electric Power Systems
Planning for Sun-Synchronous Lunar Polar Roving
Efficient Machine Learning Acceleration at the Edge
Machine Learning Approach to Retrieving Physical Variables from Remotely Sensed Data
Dealing with linguistic mismatches for automatic speech recognition
Validity Challenges in Machine Learning Benchmarks
Exocentric to Egocentric Transfer for Action Recognition
Controlling for confounding network properties in hypothesis testing and anomaly detection
Generative modeling and Stochastic Control as Dynamics on Probability Distributions
Modeling and simulation of particle doped composites for electromagnetic applications
Visual Exploration of High-Dimensional Spaces Through Identification, Summarization, and Interpretation of Two-Dimensional Projections
Adversarial Training for Skill Learning in a Mobile Robot
Security Modeling and Analysis for Intelligent Transportation Systems
Source Code Analysis and Type Inference for R
On the Excitation of Dielectric Resonators by Means of Pulsed Electron Beams
Synchronization of data in heterogeneous decentralized systems
Symbolic information in recurrent neural networks: Issues of representation and training
Neural Guidance in Constraint Solvers
Hodge Laplacians on simplicial meshes and graphs
Reconfigurable and heterogeneous architectures for efficient computing
Race, the Internet, and the Hurricane: A Critical Discourse Analysis of Black Identity Online During the Aftermath of Hurricane Katrina
Low Cost Management of Replicated Data
Pseudo -vector machine for embedded applications
Snowflake: A Model Agnostic Accelerator for Convolutional Neural Networks
Practical Mobile Sensing of the Environment
A Visual Programming Language for Visualization of Scientific Data
Algorithms for Degree-Constrained Subgraphs and Applications
Towards dependable robotic perception
Coding Techniques for Linear Block Codes With Applications to Fault Identification
A study of the variability of minisatellite tandem repeat loci in the human genome based on high-throughput sequencing data
Toward more scalable structured models
From the Real Vehicle to the Virtual Vehicle
Network-simulation-based evaluation of smart grid applications
Interpretability and Controllability in the Age of Language Models
Hardware and Software Accelerators for Big Data Machine Learning Workloads
K-means: algorithms, analyses, experiments
Acoustic Sensing: Mobile Applications and Frameworks
Communication and Complexity
Exploiting Image Resolution Holistically in Computer Vision Models
Dynamic Control Structures for Cooperating Processes (Elections, Deadlock Detection, Decentralized, Agreement)
An Assortment of Analyses of Optimal Transport Inspired by Domain Adaptation
Symbolic reasoning among 3-D models and 2-D images
Parallelism Exploitation and Scheduling
Topics in Computational Geometry
Critical Algorithmic Literacy: Explorations of Algorithmic Bias in Elementary School
Partial-Wave Analysis of Elastic-Scattering and Inelastic-Scattering of Dirac Particles
Raser: Random to Serial Converter
Analysis and practical considerations in implementing multiple transmitters and receivers for wireless power transfer via coupled magnetic resonance
Understanding How Social Norms and Affordances Explain Self-Presentation on Social Media
Antenna-driven methods for increased wireless network security
Primitive parallel operations for computational linear algebra (processing, mathematical software)
Make Knowledge Computable: Towards Differentiable Neural-Symbolic AI
A Highly Productive Implementation of an Out-of-Order Processor Generator
A List Merging Processor for Inverted File Information Retrieval Systems
Toward Flexible User Interaction in Content-Based Multimedia Data Retrieval
Attention-based and Causal Explanations in Computer Vision
Atomic layer deposition Al2O3-passivated AlGaN/GaN high-electron-mobility transistors on Si(111) towards reliable high-speed electronics
Organ-Mounted Robots for Minimally Invasive Beating-Heart Surgery
Loop optimization techniques on multi-issue architectures
Editing Compilers, Their Feasibility and Effects
From execution traces to specialized inference
3D Reconstruction Using Differential Imaging
Advancing Support for XR-Mediated Remote Collaboration on Physical Tasks
Toward time-predictable execution of multi-task real-time systems
Safe Reinforcement Learning Using Learned Safe Sets
Exploring communication patterns in Massive Open Online Courses
Deep learning for medical image interpretation
Narrative Instruments: AI-Based Playable Media for Storytelling
On Hybrid Methods that Blend Computer Vision and Physics
Providing application-aware reliability through OS/hypervisor-level techniques
Mobile Behaviometrics: Behavior Modeling from Heterogeneous Sensor Time-Series
Extending Temporal-Vector Microarchitectures for Two-Dimensional Computations
Dynamic Rate Controlled Input-Buffered Switch System With QoS
Architectural approaches for code injection defense at the user and kernel levels
A skinned tetrahedral mesh for hair-water interaction
Fundamental design principles of novel MEMS based "Landau" switches, sensors, and actuators: Role of electrode geometry and operation regime
Network Analysis on Incomplete Structures
Low-Resource Neural Adaptation: A Unified Data Adaptation Framework for Neural Networks
Modeling the dynamics and stresses of elongated particles in vertical axis mixers
Convergence Properties Of A Class Of Probabilistic Adaptive Schemes Called Sequential Reproductive Plans
Problems of Error Correction for Programming Languages
New methods for electronic design automation problems
A Self-Organizing Database System - a Different Approach to Query Optimization
Specifying and verifying program transformations with PTRANS
Content Connectivity for Next-Generation Networks
The Application of Deception to Software Security Patching
Digital Pathology: Diagnostic Errors, Viewing Behavior and Image Characteristics
Educational Impact of Digital Visualization Tools on Digital Character Production Computer Science Courses
Predicting protein structure with Bayesian statistics and models of evolutionary information
Customizing Web Applications Through Adaptable Components and Reconfigurable Distribution
Analyzing intentions from big data traces of human activities
Enhancing Policy Transfer in Action Advising for Reinforcement Learning
Spatial Distribution of Subcellular Organelles in Hippocampal Dendrites from High-Resolution EM Images
Practical Security Guidance for Authentication-System Designers
Debugging the communication behavior of distributed programs in a message-based system
Redistributing the Costs of Volumetric Denial-of-Service Mitigation
AI for Design Optimization and Design for AI Acceleration
Multiplicatively Weighted Crystal Growth Voronoi Diagrams
The Minimal Covering Problem and Automated Design of Two-Level And/or Optimal Networks
The Protean Active Router Architecture and a Scalable Router Mechanism for Load Adaptive Fair Packet Dropping
Building Secure Distributed Applications the Decent Way
Parallel processing image synthesis (computer graphics, algorithms)
Learning to soar using atmospheric thermals
Peripheral and Power Management in Batteryless, Energy-Harvesting Systems
Effective interprocedural optimization of object-oriented languages
The Role of Degeneracy in Real-World Subgraph Counting
Biological Nanowires: Integration of the silver(I) base pair into DNA with nanotechnological and synthetic biological applications
Satisfiability Algorithms and Connections between Algorithms and Circuit Lower Bounds
Capturing Distributions over Worlds for Robotics with Spatial Scene Grammars
Estimation problems in speech and natural language
Deep Learning for the Design and Characterization of Nanophotonic Materials and Structures
Modeling the Human Body in 3D: Data Registration and Human Shape Representation
On profit maximization in mechanism design
Security and Privacy of Vehicular ad hoc Networks Supporting Revocation
On Design and Machine Learning Resiliency of Memristor- and eFlash-Memory-Based Strong Physical Unclonable Functions
The Analysis and Control of Large Scale Composite Systems
A low latency remote rendering system for interactive mobile graphics
The Theory, Implementation, and Evaluation of Spring Mass Running on ATRIAS, a Bipedal Robot
Cognitive structures in metaphor comprehension
Stylized 3D Scene Synthesis in Virtual Reality
How Our Intentions are Seen: Effective Communication in Data Storytelling
Implementation of algorithms for maximum matching on nonbipartite graphs
Compiling Irregular Software to Specialized Hardware
Fault-Tolerant Scheduling and Broadcast Problems
Advancements in Efficient Training Strategies for Modern Deep Learning: From Implicit Deep Learning to Language Models and Beyond
Scalable Bayesian Nonparametrics and Sparse Learning for Hidden Relationship Discovery
Search algorithms for biosequences using random projection
Wrappers for performance enhancement and oblivious decision graphs
Enhancing Accessible Communication: Assistive AR System in Bridging the Deaf and Hearing Divide
Mining sensor and mobility data in cyber-physical systems
Answering Complex Queries in Peer-to-Peer Systems
Towards Brain Decoding for Real-World Drowsiness Detection
Transport and Beyond: Efficient Optimization over Probability Distributions
An energy-based model reduction methodology for automated modeling
Improving processor efficiency through thermal modeling and runtime management of hybrid cooling strategies
Characterization and Modeling of Error Resilience in HPC Applications
Information-theoretic bounds in learning algorithms
Decision Algorithms for a Class of Set-Theoretic Formulae Involving One Occurrence of the Union-Set Operator
Using visualization to understand the behavior of computer systems
Learning State and Action Abstractions for Effective and Efficient Planning
Controlled observations of the genetic algorithm in a changing environment: Case studies using the shaky ladder hyperplane -defined functions
Learning compact neural network representations with structural priors
Automatic generation of morphological set recognition algorithms
Assessing VeSFET Monolithic 3D Technology in Physical Design, Dynamic Reconfigurable Computing, and Hardware Security
On the identification and control of sequential machines
On Clustering Images of Objects
Interlocked Synchronous Pipelines
Uncovering the Hidden-Web
A computational treatment of the comparative
A Dynamic Application Analysis Framework
Towards Ontology-Based Phishing Detection
Low power high resolution electronic driver for deformable mirror systems
Dynamics and Social Networks
Resource Allocation for Quality of Service in a Heterogeneous Network
Adaptive Crowd Algorithms for Open-Ended Problems
Automated grading for advanced topics courses
Analysis And Simplifications Of Discrete Event Systems And Jackson Queueing Networks
Personalized Systems for Guided and Flexible Self-Experiments
Studio-Quality Speech Enhancement
Reducing Interprocessor Communication in Parallel Architectures: System Configuration and Task Assignment
Large-Scale Constraint-Based Pattern Mining
Accelerating Networked Systems with Programmable and Tightly-Coupled NICs
Temperature-Invariant Photoluminescence and Gain Spectra of Strained Gallium-Indium-Arsenide Quantum Wires
Robust Speech Recognition in a Car Using a Microphone Array
Multi-Derivative Numerical Methods for the Solution of Stiff Ordinary Differential Equations
Player modeling in the interactive drama architecture
Leveraging machine learning for managing prefetchers and designing secure standard cells
Quantification of the spatial structure and temporal variability of Earth's exosphere using optical tomography
Laboratory information processing systems
Dynamic Pricing as an Online Decision-Making Problem
Floating-Point Arithmetic and Program Correctness Proofs
Paradigms for virtualization based host security
Data structures and algorithms for hierarchical memory machines
System for Efficient Big Data Analytics
Statistical aspects of optimal transport
Multi-Modal Robotic Learning, Reasoning and Planning
Measuring and Engineering Privacy Protections
Kernel-Centric Optimizations for Deep Neural Networks on GPGPU
Enabling Vertical Search Over Wikipedia
A Study Of Small Evolution of Vision Transformers For Low Power Devices
Usable Security Mechanisms in the Developing World
Data-Efficient Representation Learning for Gaze Estimation
Hardware/Software Co-design Methodologies for Efficient AI Systems and Applications
Exact and Approximate Algorithms for Some Combinatorial Problems
Low-Cost Strategies for Predicting Accurate Density Functional Theory-Based Nuclear Magnetic Resonance Chemical Shifts
Novel Primitive for Analyzing Massive Time Series Data Set
Efficient Software Checking for Fault Tolerance
Automated Market Making: Theory and Practice
Star and Planet Formation Through Cosmic Time
The Area Sampling Machine
Integration of GIS and machine learning techniques to investigate the impact of environmental contexts on travel modes
Understanding and Improving Database-Backed Applications
Advances in Discrete Chemical Computation: Algorithms, Lower Bounds, and Software for Population Protocols
Compositional Abstractions for Verifying Concurrent Data Structures
FPGA-based high-performance neural network acceleration
Observer Position Detector for the Stereomatrix Three-Dimensional Displaysystem
Measuring and Analyzing Typosquatting Toward Fighting Abusive Domain Registrations
Control and estimation with limited information: a game-theoretic approach
Building 4D Models of Objects and Scenes from Monocular Videos
Directory Design and Record Allocation for List and Cluster Files
Motivation and skill acquisition in an online amateur multimedia community: a case study
Computer interpretation of imperfect line data as a three-dimensional scene
Computational models of the perceptual, cognitive, and motor processes involved in the visual search of pull -down menus and computer screens
Tiling optimizations for stencil computations
A Scalable and Tunable Adaptive Resolution Parallel I/O Framework
Multimodal Representations for Video
Randomized single-query motion planning in expansive spaces
Crusoë: Towards a multicomputer execution environment for Java
A class of derivative-free algorithms for unconstrained minimization
Performance bounds and buffer space requirements for concurrent processors
Capsules and Non-Well-Founded Computation
Computational Model Development and Validation on Systems of Biochemical Polymers
Types for the Chain of Trust: No (Loader) Write Left Behind
Data-driven Digital Drawing and Painting
Advanced transaction management for supporting interoperability in multidatabase systems
A modulation-doped field-effect transistor-based optoelectronic integrated circuit receiver for optical interconnects
Expert-Driven Validation of Set-Based Data Mining Results
Block coding with noiseless feedback
Using Frameworks to Extend Frameworks
Approximate and exact solutions for multiple class queueing network models (performance, analysis, throughput, bounds)