yusuke1997/dblp-id-title huggingface dataset:
Compact Modeling and Analysis for Electronic and Thermal Effects of Nanometer Integrated and Packaged Systems
Architecture-conscious storage management
Scene analysis using a semantic base for region growing
Contour-based instance recognition of animals
A Particle Filtering Approach to Joint Passive Radar Tracking and Target Classification
Joint Processing of Audio -Visual Information for the Recognition of Emotional Expressions in Human -Computer Interaction
Semantic image understanding: from the web, in large scale, with real-world challenging data
Learning to Generate 3D Training Data
Computer texture analysis and segmentation
Hardware and Software Support for Managed-Language Workloads in Data Centers
Security of cyber-physical systems: A control-theoretic perspective
Circular Bessel field statistics and the pursuit of far-subwavelength resolution
Using automatic abstraction for problem-solving and learning
An inference and checking framework for context-sensitive pluggable types
Low-level Image Priors and Laplacian Preconditioners for Applications in Computer Graphics and Computational Photography
Spatio-Temporal Connectome Data Analysis using Machine Learning and Visualization
Scalable non-blocking Krylov solvers for extreme-scale computing
Classical Computation in the Quantum World
Memory architectures for vector processing
The values and ethics of biomedical engineering practices in the design of novel biotechnologies
Improving neural language models with black-box analysis and generalization through memorization
An explanation-based learning approach to incremental planning
Newtonian Graphs, Riemann Surfaces and Computation
Representation without Representationalism
Analysis of some trie parameters under probabilistic models
Towards hardware as a reconfigurable, elastic, and specialized service
Stannic oxide crystal growth and electrical properties
GaN Electronics for High-Temperature Applications
Accuracy, Explainability and Interactivity: Towards Conversational Recommender Systems
TrustGuard: A Containment Architecture with Verified Output
Machine Learning, Virtual Reality, and Biomechanical Simulation to Aid Physical Rehabilitation
Methods for multiple pitch tracking and instrument separation from monaural polyphonic recordings
Re-imagining the Security of the Hardware using Lookup Table based Obfuscation
Edge representation from wavelet transform maxima
Approximation for Streaming Video Analytics on Mobile Devices
Event Extraction for Document-Level Structured Summarization
Random Matrices and the Sum-of-Squares Hierarchy
Environment Generation for Autonomous Agents for Sequential Decision Making
Explorations of Computational Approaches to Chemical Reactions
SpecInfer: Accelerating Generative Large Language Model Serving with Speculative Inference and Token Tree Verification
Harnessing Emerging Technologies in Medicine: Practical Applications from the Micro to the Macro
A Performance Analysis of Architectural Scalability
Manipulating light at the nanoscale with cooperative plasmonic-photonic hybridization
Oscillatory Neural Systems
Towards Efficient and Reliable Publish-Subscribe for Geo-Distributed Datacenters
Low-Power High-Performance Dynamic Circuit Design for Ultra-Deep Submicron Technology
Modular Control Plane Verification
A Rigorous Framework for Fully Supporting the IEEE Standard for Floating-Point Arithmetic in High-Level Programming Languages
Uncertainty quantification of reduced models
Protecting the power grid: strategies against distributed controller compromise
Fast Algorithms for Interior Point Methods
Relational Algebraic Techniques for the Synthesis of Sparse Matrix Programs
Deep Learning for Variance Reduction in Monte Carlo Rendering
Proactive congestion control
On the Fundamental Relationships Among Path Planning Alternatives
Run-Time Optimization Architecture
Heat-Assisted Magnetic Recording: Fundamental Limits to Inverse Electromagnetic Design
Optimizing Efficiency of Privacy-aware Search with Additive and Neural Ranking
Information Extraction from Semi-Structured Websites
Asynchronous Pulse Logic
Applying Deep Learning on Financial Sentiment Analysis
Parylene-C Neural Probes with Nanolaminate-sealed and Protruding Electrodes, and In Situ Microactuation
Tropospheric Radio Wave Propagation Beyond the Horizon
Automatic Discovery of Logical Document Structure
Soft Error Modeling and Analysis for Microprocessors
Genetic Regulatory Circuit Dynamics: Analysis and Synthesis
Designing Collaborative Control Systems for Adaptive Outdoor Experiences
Tunneling Mechanisms, Trap States, and Zero-Bias Effects in Gallium Arsenide
Microscopic Behavior of Internet Congestion Control
Characterizing Extreme Weather in a Changing Climate
Learning from SQL: Database Agnostic Workload Management
Model-based system management for multi-tiered servers
Razor: A Variability-Tolerant Design Methodology for Low-Power and Robust Computing
Experiments in refining graphical interface widgets
Trust and reputation in peer-to-peer networks
Combinatorial and algorithmic analysis of stabbing and visibility problems in three-dimensional space
Two Dimensional Autonomous Oscillatory System Solution Without Approximations by Analogy to Classical Dynamics
Quantum Security and Fiat-Shamir for Cryptographic Protocols
Context Aware Web Search Using Dynamically Weighted Information Fusion
Transformations for backtracking SETL programs
A Language-Based Approach to Protocol Construction
Inverse rendering techniques for physically grounded image editing
Optimizing virtual machine I/O performance in virtualized cloud by differentiated-frequency scheduling and functionality offloading
Krylov Methods for the Numerical Solution of Initial-Value Problems in Differential-Algebraic Equations
Unstructured Mesh Generation and Repairing in the Wild
Scheduling in Real-Time Systems to Ensure Graceful Degradation: The Imprecise-Computation and the Deferred-Deadline Approaches
Development of methods for Omics Network inference and analysis and their application to disease modeling
Predicting controlled vocabulary based on text and citations: Case studies in medical subject headings in MEDLINE and patents
Using complete machine simulation to understand computer system behavior
3D pose estimation of flying animals in multi-view video datasets
Fully electronic method of measuring post-release gap and gradient/residual stress of a MEMS cantilever
The Design of Fault Tolerant Interconnection Networks
Analysis Of DNA Motifs In The Human Genome
Representation and control of coordinated-motion tasks for human-robot systems
Planar Coils for NMR Microspectroscopy
Transparent Machine Learning: Theory and Computation
Resource allocation in massive MIMO for the next generation wireless communications
Program Synthesis for Systems Biology
High-performance computing for smart grid analysis and optimization
Algorithms and framework for cellular-scale mapping of complex biological tissues from 2-D / 3-D multi-spectral images
Using Blinking to Mitigate Passive Side Channel Attacks and Fault Attacks
On the Correctness of Gossip-based Membership Protocols
Studies on Applying the Equivalence Principle Algorithm on Multiscale Problems
Knowledge and Ignorance in Reinforcement Learning
Community Sense and Response Systems
On Parallelism in Concurrent Systems Modeled By Petri Nets
On Multicast in Asynchronous Networks-on-Chip: Techniques, Architectures, and FPGA Implementation
A Structured Logical Database Design Methodology. (volumes I And Ii)
Coefficient Generator and Cursor for the Stereomatrix 3-D Display System
Analysis and Design of Power and Ground Networks for VLSI Circuits
Out-of-order fetch, decode, and issue
Querying autonomous, heterogeneous information sources
Complete Configuration Space Analysis for Structure Determination of Symmetric Homo-oligomers by NMR
Discrete Differential Geometry of Thin Materials for Computational Mechanics
Dynamic Model Formulation and Calibration for Wheeled Mobile Robots
Contributions to the theory of syntax with bindings and to process algebra
Leveraging Computational Methods to Advance Health Equity Science Through Evidence Synthesis, Strategic Monitoring, and Precision Public Health
A multicriteria data retrieval model: An application of multiattribute preference model to data retrieval
Training and deploying visual agents at scale
Analysis and Design of Advanced Caching Solutions for the Modern Web
Analysis and Design of Precision Timing Circuits using Pulse Mode Event Signaling
Energy debugging in smartphones
Security Defender Advantages Via Economically Rational Adversary Modeling
Minimalist Models and Methods for Visibility-Based Tasks
Anonymization-based privacy protection
Relating Justification Logic Modality and Type Theory in Curry-Howard Fashion
Reconstruction of Polyhedra from Sets of their Perspective Projections
Structuring host communication software for quality-of-service guarantees
Miniaturizing DC-DC Converters for Mobile Applications via Hybrid and Inductor-First Topologies
Estimation of Intrinsic Gravity Wave Parameters From Multiple, Ground-Based Observations of a Single Mesopheric Airglow Emission
Automating knowledge distillation and representation from richly formatted data
Multivariate Nearest-Neighbors Gaussian Processes with Random Covariance Matrices
The parallel intermediate language
Applications and Implications of Big Data for Demo-Economic Analysis: The Case of Call-Detail Records
High-Speed, Low-Spurious CMOS Analog -to -Digital Converter
Resource Management for Advanced Data Analytics at Large Scale
Estimating the Medical Ultrasound in Vivo Power Spectrum
Advanced Database Techniques for Processing Scientific Multi-Dimensional Data
Secure platforms for enforcing contextual access control
Techniques for Integrating Erasure Codes and Model Checkers with Distributed Systems
Pulse Perturbation for Battery Management
Reliable and Practical Machine Learning for Dynamic Healthcare Settings
A framework for change management in a design database
Datacenter Architectures for the Microservices Era
Interactive Data Integration and Entity Resolution for Exploratory Visual Data Analytics
On Decoding Reed -Solomon Codes Up to and Beyond the Packing Radii
Soften the pain, increase the gain: Interventions that mitigate the influences of negative feedback and improve online feedback exchange
Attention, Memory, and Generalizability in Neural Networks and Other Learning Systems
Optimization of Systems With Constant Pure Time Delay
Statistical steganalysis
Revocable Cryptography in a Quantum World
Attention Models for Activity Detection
Graph Learning for Robust Embedded and Cyber-Physical Systems
TRUSTGUARD: A model for practical trust in real systems
The Amenability of a Cataloging Process to Simulation by Automatic Techniques
Combining markov random field and marked point process for microscopy image modeling
Embodied interaction with visualization and spatial navigation in time-sensitive scenarios
Substrate Support for Peer-to-Peer Applications
Efficient and Secure Query Processing Over Large-Scale Data
Agent Tcl: A flexible and secure mobile-agent system
Leveraging virtualization technologies for resource partitioning in mixed criticality systems
On Geometric Optimization, Learning and Control
Geometric Graph Theory and Wireless Sensor Networks
The ZARF Architecture for Recursive Functions
Associative Processing And Its Extensions
Flexible network support with mobile IP and its application to mobile instant communication
Topics in Combinatorial Algorithms (Multicommodity Flows, Quadratic Programming)
Information assurance in resource constraint networks
Optically tunable external cavity ring laser
On Scalability of Blockchain Technologies
Noncooperative Games for Control of Networked Systems
Immersion in Early Architectural Design in the Age of Computing
Multimodal Depression Detection: An Investigation of Features and Fusion Techniques for Automated Systems
Expanding the Scope of Genome-scale Models of Metabolism and Gene Expression
Design of a real-time facsimile transmission system
Feature Bias in Machine Learning Models: An In-depth Exploration for Software Engineering Tasks
The formal theoretic analysis of strong equivalence for elemental programs
Homological Representatives in Topological Persistence
Proofs and computations in conditional equational theories
Electromagnetic scattering from a structured slab comprised of periodically placed resistive cards
Stochastic and information theoretic models for design and performance evaluation of mobile ad hoc and sensor networks
User-Centered Intelligent Information Support for Programmers
Reinventing Datacenter System Stacks for Resource Harvesting
Synthesis-Aided Development of Distributed Programs
Numerical Estimation of the Second Largest Eigenvalue of a Reversible Markov Transition Matrix
Adaptive and Effective Fuzzing: a Data-Driven Approach
Nonpreemptive Run-Time Scheduling Issues on a Multitasked, Multiprogrammed Multiprocessor With Dependencies, Bidimensional Tasks, Folding, and Dynamic Graphs
Krylov Projection Methods for Model Reduction
Optimizations in Distributed Run -Time Compilation
Content-based Image Understanding with Applications to Affective Computing and Person Recognition in Natural Settings
Optimizing Memory-efficient Algorithms for Low-cost and Scalable Network Services
Electron beam techniques for testing and restructuring of wafer-scale integrated circuits
Quadrilateral Remeshing and Efficient Surface Parameterization
Assembly Planning in Constrained Environments: Building Structures with Multiple Mobile Robots
Analysis and Design of Soft-Error Tolerant Circuits
Structure and motion from long image sequences
Building the Next Generation of Security Focused NVX Systems: Overcoming Limitations of N-Variant Execution
Memory-based human motion simulation
Algorithms for Nonlinear Models in Computational Finance and their Object-oriented Implementation
Fault-tolerant Real-Time Perception for Self-Driving Vehicles
Compute Efficient Extreme Multi-Label Classification
3D Electro-thermal Monte Carlo Study of Transport in confined Silicon Devices
Application of Multiparameter Sensitivity in Linear Systems
Simulation-based understanding of texts about equipment
Modeling and Simulation of Thermomechanical Elasto-viscoplastic Material and Ductile Fracture with the Material Point Method
A Secure Socially-Aware Content Retrieval Framework for Delay Tolerant Networks
Efficient Resource Management for Machine Learning
Physics-Informed Machine Learning Models for Power Transmission Systems
Design of Totally Self-Checking Asynchronous Sequential Machines
Large-Scale Video Event Detection
Behind the screen: the hidden digital labor of commercial content moderation
Multi-tenant Resource Allocation For Shared Cloud Storage
Time Domain Integral Equation-Based Methods for Analyzing Electromagnetic Scattering From Objects Residing in Lossy Media
A Programming System For The Simulation Of Cellular Spaces
Aligning Machine Learning Solutions with Clinical Needs
Properties of Convex Polytopes
Spin-dependent heat transport and thermal boundary resistance
Advancing Energy Testing of Mobile Applications
Page Indexing for Textual Information Retrieval Systems
Graphene-based Biochemical Sensing Array: Materials, System Design and Data Processing
Nonconvex Statistical Optimization
New strategies for electronic design automation problems
GPS-denied multi-agent localization and terrain classification for autonomous parafoil systems
Non-sequential and flexible protein structure alignment
Distributed genetic algorithms for function optimization
Functional design verification for microprocessors by error modeling
Challenges of Control Barrier Functions: Optimization, Control, Planning, and Navigation
On Efficient Instantiations of Secure Multi-Party Computation in Practice
Gradient Estimation for Attractor Networks
Artistic Rendering of Natural Environments
Capabilities for cross-layer micro-service security
Towards More Efficient Communication for Distributed Learning Systems
Tightly-Coupled Heterogeneous Multiprocessing
Characterizing and reassembling the COPD and ILD transcriptome using RNA-Seq
MaJIC: A MATLAB Just-in-Time Compiler
Performance and Robustness of Adaptive Controllers for Linear Stochastic Systems
Broad Generalization through Domain Transfer: Abstractions and Algorithms
Architectural Support for Medical Imaging
Development of Segmentation Variability Maps to Improve Brain Tumor Quantitative Assessment Using Multimodal Magnetic Resonance Imaging
A New Method for Constructing Multiple Error Correcting Linear Residue Codes
An Investigation of Space Diversity Radio Direction Finding
An End-to-End System for Model Checking Over Context-Sensitive Analyses
Learning through the lens of computation
Market protocols for decentralized supply chain formation
Real-time data operations and causal security analysis for edge-cloud-based Smart Grid infrastructure
Energy-efficient latency tolerance for 1000-core data parallel processors with decoupled strands
The Specification of Data-Directed Interactive User-Computer Dialogues
Cognitive Modeling of Aggregate and Individual Performance on the Remote Associates Test
Detection-and Information-Theoretic Analysis of Steganography and Fingerprinting
Distributed Computational Methods for Energy Management in Smart Grids
An Infrastructure for Worldwide Parallel Computing
Visualization and Feature Detection of High-Order Simulation Data
Towards Responsible Machine Learning: Enhancing Robustness Against Adversaries and Corruptions and Promoting Fairness in Decision-Making
Real-Time and Embedded Systems Building Blocks for Cyber-Physical Systems
Function-specific schemes for verifiable computation
Learning Representations of Text through Language and Discourse Modeling: From Characters to Sentences
Indexing for Data Models with Classes and Constraints
Interaction-Aware Actual Causation: A Building Block for Accountability in Security Protocols
Machine Learning for Out of Distribution Database Workloads
Identifying bias in human and machine decisions
Deformable Object Tabula Rasa: A Zoomable User Interface System
Settling the complexity of the k-disjointness and the k-Hamming distance problems
Monitoring Oriented Programming and Analysis
Software and Hardware Support for Data-Race Exceptions
Modification Detection using Nanopore Sequencing
On Quasi-Linear Sequential Machines
The Sorting of Points Along an Algebraic Curve
Stronger Consistency and Semantics for Low-Latency Geo-Replicated Storage
Social capital and knowledge integration in virtual teams: study and results
A General Approach to Performance Analysis and Optimization of Asynchronous Circuits
Fast Magnetic Resonance Imaging by Data Sharing: Generalized Series Imaging and Parallel Imaging
QoS and trust prediction framework for composed distributed systems
Improving Failure Management Through Cooperation Between Mobile Devices and Cellular Network
Robot Planning with Constrained Markov Decision Processes
Uncovering Computations of Human Decision Making: Neurocognitive Modeling and Experimentation
Vector computations in an array computer
Harmonizing data mining and static analysis to tackle hardware and system level verification
Internet-Wide IPv6 Scanning
Information Extraction from Multiple Syntactic Sources
On a Computer System for Planning and Execution in Incompletely Specifiedenvironments
Three-Dimensional NoC Reliability Evaluation Automated Tool (TREAT)
Are Multi-view Edges Incomplete?
Reinforcement learning for multi-agent and robust control systems
Bayesian Nonparametrics to Model Content, User, and Latent Structure in Hawkes Processes
A Study of Nonlinear Second Order Systems
VLSI Physical Design for Manufacturability and Reliability
Self-consistent cluster treatment of kinetic and magnetic effects in narrow energy bands
Modeling and Discovering Authentic and Effective Influencers on Social Media via Graph Neural Network Learning
CoSolve: A Novel System for Engaging Users in Collaborative Problem-Solving
Improving the Performance of Virtual Memory Computers
Finite Gaussian Neurons: Defending Against Adversarial Attacks by Making Neural Networks Say "I Don't Know"
Developing Combinatorial Optimization and Data-driven Methods for Multi-modal Motion Planning
Tools for responsible decision-making in machine learning
Automatic Methods for Sound Change Discovery
Design, Analysis and Test of Logic Circuits under Uncertainty
Numerical Continuation on a GPU for Kinematic Synthesis
Differentiating Users Based on Changes in the Underlying Block Space of their Smartphones
Adaptive Subject Description in Document Retrieval
Faraday Rotation of Electromagnetic Waves in Waveguides Containing Gaseous Discharge Plasmas With Applied Longitudinal Magnetic Fields
Building Intelligent and Reliable Summarization Systems
Scalable Distributed Payment Systems with Minimal Trust Assumptions
Theorem proving and semantic trees
Performance, Power, and Thermal Modeling and Optimization for High-Performance Computer Systems
Combined School/Public Libraries in the United States: Three Comparative Case Studies
Performance of Ds/ssma Communications in Impulsive Channels (Nongaussian, Hard Limiter)
View updating in relational databases
Performance evaluation of database management systems
Epsilon geometry : building robust algorithms from imprecise computations
Generating Expected-Time Efficient Trajectories for Rapidly Finding an Object in Known Environments
Variational and Dynamical Perspectives On Learning and Optimization
Combinatorial optimization for sensor networks
Scalable, Network-Wide Telemetry with Programmable Switches
An approach for the separation of voices in composite musical signals
Identifying and measuring manipulative user interfaces at scale on the web
Optimization and machine learning methods for Computational Protein Docking
Quantifying aesthetics of visual design applied to automatic design
Secure and Private Machine Learning for Smart Devices
Static Analysis of Aliases & Side Effects in Higher Order Languages
Designing data center networks for high throughput
Compiler and Runtime Techniques for Optimizing Deep Learning Applications
Collaborative Development Experience: A tool to promote workplace awareness through socio-technical visualization
The Relationship Between Administrative Style and The Use of Computer-Based Systems: An Attitudinal Study of Academic Library Professionals
Time-split methods for partial differential equations
Transparent measurement and manipulation of Internet protocols
Exploring Ensemble Coding in Retina
Bottom-up growth of III-V compound semiconductor nanowires by selective lateral/area epitaxy
Learning Beyond the Standard Model (of Data)
Understanding and applying human grasping to artificial manipulators
Efficient Equivalence Checking in a Modular Design Environment
Information-assisted data exploration, analysis and visualization techniques
Efficient Algorithms for the Analysis of Hi-C Contact Maps
Advances in Display Technology
Wavelet-Based Statistical Modeling and Image Estimation
Performance modeling of IEEE 802.11 ad hoc networks under time-varying channel
Computational Methods for Parameter Estimation in Nonlinear Models
Scalable and Intelligent Learning Systems
FPGA-Based Acceleration: From Cloud to Edge
Numerical Methods for Smooth Solutions of Ordinary Differential Equations
Perceptual artifacts associated with novel display technologies
Theory and Experiments on High Frequency Metal-Oxide Semiconductor Capacitance
Maintaining Computers and Maintaining Computer Science
A Study of the Interactions Between Operating System Memory Management and Database Buffer Management Strategies
Coding and Equalization for Radio Channels
Analysis of Incremental Design Changes in Video Games with Automatic Exploration
Statistical learning under resource constraints
Interactive 3D motion graphics with large data bases
The geometry of neural population activity during motor learning and memory
Finite precision deep learning with theoretical guarantees
Learning Representations for Efficient Exploration and Goal-Conditioned Reinforcement Learning
Resolving correlated errors in superconducting quantum computers
A characteristic mode perturbation approach for antenna loading design
Intelligent systems for personalized genomic medicine