yusuke1997/dblp-id-title huggingface dataset:
A Synchronous Multimedia Annotation System for Secure Collaboratories
Development of Chemistry Portal for Grid-enabled Molecular Science
An Interoperable, Standards-Based Grid Resource Broker and Job Submission Service
Automated Composition of Scientific Workflows: A Case Study on Geographic Data Manipulation
Agile Semantic Annotation of Scientific Texts at the Biomedical Scenario
Dreaming Up Novel Quantum Dyes using Inverse Machine Learning in MatFlow
A Review of Privacy and Consent Management in Healthcare: A Focus on Emerging Data Sources
Data Identification and Process Monitoring for Reproducible Earth Observation Research
Design and Implementation of Network Performance Aware Applications Using SAGA and Cactus
A Provenance Approach to Trace Scientific Experiments on a Grid Infrastructure
Extracting Theory from Black Boxes: Using Machine Vision APIs in Communication Research
Enhancing Learning About Climate Change Issues Among Secondary School Students with Citizen Science Tools
An Integrated Grid Development Environment in Eclipse
An Enhanced Credit-Based Shaper for Resilience to Time-Sync Misalignment
A Revolutionary New Paradigm for the Reduction and Analysis of Astronomical Images
Automatic Reconstruction of Polygon Triangulation for Mounted Skeleton Point Cloud
Using Explainable Techniques to Enhance Chain of Thoughts in LLMs
Monitoring Water Quality in the Great Lakes Leveraging Geo-Temporal Cyberinfrastructure
Fast and Reproducible LOFAR Workflows with AGLOW
Constructing a Social Content Delivery Network for eScience
The Evolution of Bits and Bottlenecks in a Scientific Workflow Trying to Keep Up with Technology: Accelerating 4D Image Segmentation Applied to NASA Data
EVENTSETPROCESSOR: An Engine for Efficiently Combining High-Energy Physics Data
Build Grid Enabled Scientific Workflows Using gRAVI and Taverna
Tuning the Tuner: Introducing Hyperparameter Optimization for Auto-Tuning
A Novel Framework for Monitoring and Analyzing Quality of Data in Simulation Workflows
European HPC Landscape
Educational Outreach & Stakeholder Role Evolution in a Cyberinfrastructure Project
Deep Learning on Operational Facility Data Related to Large-Scale Distributed Area Scientific Workflows
From HPC Performance to Climate Modeling: Transforming Methods for HPC Predictions into Models of Extreme Climate Conditions
eScience Serverless Data Storage Services in the Edge-Fog-Cloud Continuum
Strategies for Modeling Extreme Luminosities in the CMS Simulation
Building a Sustainable Structure for Research Software Engineering Activities
Discovering Research Areas in Dataset Applications through Knowledge Graphs and Large Language Models
A Distributed Clinical Data Platform for Physiological Studies in the Brain Trauma Domain
Understanding a Rapidly Expanding Refugee Camp Using Convolutional Neural Networks and Satellite Imagery
Accelerating complex modeling workflows in CyberWater using on-demand HPC/Cloud resources
A Prototype System for Advance Reservations in a Biomedical Grid Computing Visualization Infrastructure
Pilot abstractions for compute, data, and network
Magic View: An Optimized Ultra-Large Scientific Image Viewer for SAGE Tiled-Display Environment
Towards User-Defined Performance Monitoring of Distributed Java Applications
Hunting Data Rogues at Scale: Data Quality Control for Observational Data in Research Infrastructures
Bridging the Data Skills Gap: The Role of the UK's National Innovation Centre for Data and its Data Innovation Bootcamp
KS+: Predicting Workflow Task Memory Usage Over Time
Storage Space - Advance Reservation and Scheduling
A Scalable Machine Learning System for Pre-Season Agriculture Yield Forecast
Creating Thriving Data-Centric Communities from Basic Research to Commercial Applications
Reversible Network Covert Channel by Payload Modulation in Streams of Decimal Sensor Values
FAIR Metrics for Motivating Excellence in Peer Review
Satin++: Divide-and-Share on the Grid
Cross-Middleware Interoperability in Distributed Concurrent Engineering
Beyond the Book: Linking Books to Wikipedia
frances: Cloud-Based Historical Text Mining with Deep Learning and Parallel Processing
Geospatial Information Modelling for Interoperable Data Exchange - Application Schema Modelling: From Concept to Implementation
Increasing Parallelism in Climate Models Via Additional Component Concurrency
Slice-Aware Attention for Quality Control of Breast MRI Segmentations
Finding the Sweet Spot: Speed vs. Fidelity in Encrypted LLMs via Proxy Simulation
Facilitating Research Collaboration in the Australian Geoscience Community Using CloudStor
VLE-WFBus: A Scientific Workflow Bus for Multi e-Science Domains
SciInc: A Container Runtime for Incremental Recomputation
MIM: A Minimum Information Model vocabulary and framework for Scientific Linked Data
An Algorithm for Cost-Effectively Storing Scientific Datasets with Multiple Service Providers in the Cloud
Scientific Workflow Management - For Whom?
Using Application Skeletons to Improve eScience Infrastructure
Installing and Configuring Application Software on the LHC Computing Grid
Fault Detection in Distributed Climate Sensor Networks Using Dynamic Bayesian Networks
WfChef: Automated Generation of Accurate Scientific Workflow Generators
Formal Modeling and Analysis of Scientific Workflows Using Hierarchical State Machines
An Algorithm in SwinDeW-C for Scheduling Transaction-Intensive Cost-Constrained Cloud Workflows
Democratizing Ancient Mesopotamian Research through Digital Scholarship
Genome Analysis in a Dynamically Scaled Hybrid Cloud
Lattice QCD Workflows: A Case Study
Early Prediction of Sepsis Using Time Series Forecasting
The FISHNET Case Study on Implementing and Scaling a Complex Earth Observation Workflow
The Results and Challenges of Using Administrative Health Data Within a Natural Experimental Evaluation of the Abolition of Prescription Fees in Scotland
FAIR Assessment of Cloud-based Experiments
Collaborative eResearch in a Social Cloud
Beyond the Fourth Paradigm - the Rise of AI
NeuroCI: Continuous Integration of Neuroimaging Results Across Software Pipelines and Datasets
HELIO: Discovery and Analysis of Data in Heliophysics
Using Small Abstractions to Program Large Distributed Systems
An Agent Oriented Proactive Fault-Tolerant Framework for Grid Computing
Steering an Active Learning Workflow Towards Novel Materials Discovery via Queue Prioritization
Statistical analysis and visualization services for Spatially Integrated Social Science datasets
Production Storage Resource Broker Data Grids
Data management and simulation support accelerating carbon capture through computing
Change Frequency Heatmaps for Temporal Multivariate Phenological Data Analysis
A Survey of Scalable Deep Learning Frameworks
Building an Institution Digital Repository: The ASI Science Data Center Bibliography Tool
Worqbench: An Integrated Framework for e-Science Application Development
BioMashups: The New World of Exploratory Bioinformatics?
Re-thinking Grid Security Architecture
Towards a Mobile Workbench for Researchers
eResearch Solutions for High Throughput Structural Biology
Mathematical Modeling Support in a Distributed Problem Solving Environment for Scientific Computing
FragFlow Automated Fragment Detection in Scientific Workflows
Dynamic Sizing of Continuously Divisible Jobs for Heterogeneous Resources
Automated data verification in a large-scale citizen science project: A case study
Accelerating data-driven discovery with scientific asset management
Smart Data Scouting in Professional Soccer: Evaluating Passing Performance Based on Position Tracking Data
Wildlife@Home: Combining Crowd Sourcing and Volunteer Computing to Analyze Avian Nesting Video
Acoustic Feature Extraction Using Perceptual Wavelet Packet Decomposition for Frog Call Classification
IRMIS: The care and feeding of a generalized relatively relational database for accelerator components with a connection to the real time EPICS Input output controllers
Data Drift for Automatic FAIR-compliant Dataset Versioning in Large Repositories
On Modeling User-Aware Proactive Communication in Conversational Recommendation Systems *
Driving Next-Generation Workflows from the Data Plane
Going Beyond Citizen Data Collection with Mapster: A Mobile+Cloud Real-Time Citizen Science Experiment
A parallel microsimulation package for modelling cancer screening policies
Automatic Recommendations for Data Coding: A Use Case from Medical and Teacher Education
Applying Data Mining and Mathematical Morphology to Borehole Data Coming from Exploration and Mining Industry
Towards Planning Scientific Experiments through Declarative Model Discovery in Provenance Data
Workflow Reuse in Practice: A Study of Neuroimaging Pipeline Users
RepoGraph: A Novel Semantic Code Exploration Tool for Python Repositories Based on Knowledge Graphs and Deep Learning
Scheduling Multiple Parameter Sweep Workflow Instances on the Grid
Apache Airavata security manager: Authentication and authorization implementations for a multi-tenant escience framework
Towards an AI-driven scientific workflow
Provenance in Dynamically Adjusted and Partitioned Workflows
From Bioinformatics towards e-Bioscience
Utilisation Profiles of Bridging Function Chain for Healthcare Use Cases
Happy or not: Generating topic-based emotional heatmaps for Culturomics using CyberGIS
Remote Control of Web 2.0-Enabled Laboratories from Mobile Devices
eWaterCycle II
The Evolving Grid Deployment and Operations Model within EGEE, LCG and GridPP
Making Data FAIR Requires More than Just Principles: We Need Knowledge Technologies
Improving GridFTP Performance with Split TCP Connections
Shape Optimisation of Architectural Shell with Algae Photoreactors
Setting Up an Hydro-Meteo Experiment in Minutes: The DRIHM e-Infrastructure for HM Research
Brane: A Framework for Programmable Orchestration of Multi-Site Applications
A new optimization phase for scientific workflow management systems
Modeling of interruptions in computer network on control of non-zero minimum of capacity
Democratising large scale instrument-based science through e-Infrastructure
Provenance-Based Scientific Workflow Search
Using Fourier Coefficients and Wasserstein Distances to Estimate Entropy in Time Series
Visualization and Analysis of GPU Summer School Applicants and Participants
Monitoring the Earth System Grid with MDS4
RCT: A Self-Adaptive Overlay for Efficient Computational Resource Discovery in Grid Systems
Parallel Scale-Transfer in Multiscale MD-FE Coupling Using Remote Memory Access
SOMOSPIE: A Modular SOil MOisture SPatial Inference Engine Based on Data-Driven Decisions
Symbolic Regression Applied to Cosmology: An Approximate Expression for the Density Perturbation Variance
Preparing DARIAH
8th IEEE International Conference on E-Science, e-Science 2012, Chicago, IL, USA, October 8-12, 2012
WAGCoE Data Catalogue for Geothermal Exploration
Meandre: Semantic-Driven Data-Intensive Flows in the Clouds
A Multi-level Funneling Approach to Data Provenance Reconstruction
Automating environmental computing applications with scientific workflows
Griffin: Fast Transactional Database Index with Hash and B+-Tree
Accelerating Weather Forecasting: A Neural Network-Based Emulation of ISORROPIA
Advanced Information Delivery System for the Abraham Lincoln Writings
Using Geoweaver to Make Snow Mapping Workflow FAIR
Fostering Scientific Workflow Preservation through Discovery of Substitute Services
Open Information Linking for Environmental Research Infrastructures
Data Science Model Curriculum Implementation for Various Types of Big Data Infrastructure Courses
An Autonomous Security Storage Solution for Data-Intensive Cooperative Cloud Computing
Autocuration Cyberinfrastructure for Scientific Discovery and Preservation
I/O Burst Prediction for HPC Clusters Using Darshan Logs
FaaSr: Cross-Platform Function-as-a-Service Serverless Scientific Workflows in R
Toward Democratizing Access to Science Data: Introducing the National Data Platform
Toward an Elastic Data Transfer Infrastructure
Database Evolution, by Scientists, for Scientists: A Case Study
Managing Large-Scale Workflow Execution from Resource Provisioning to Provenance Tracking: The CyberShake Example
A Web Services Architecture for Visualization
Modular Agentic System for Scientific Visualization in Mixed Reality
On the Costs for Reliable Messaging in Web/Grid Service Environments
Using Text Similarity to Detect Social Interactions not Captured by Formal Reply Mechanisms
GridBuilder: A Tool for Creating Virtual Grid Testbeds
Coupling Computers to Living Cells for Automated Knowledge Extraction
A Discovery Service for Very Large, Dynamic Grids
CWL-FLOps: A Novel Method for Federated Learning Operations at Scale
Catching Toad Calls in the Cloud: Commodity Edge Computing for Flexible Analysis of Big Sound Data
GridBeans: Support e-Science and Grid Applications
Gross Motor Activity Patterns in Depression and Anxiety
CLAROS - Bringing Classical Art to a Global Public
Using Mediation to Achieve Provenance Interoperability (Extended Abstract)
Rethinking Metadata Creation and Management in a Data-Driven Research World
A Taste of Rewrite Systems
A Systolizing Compilation Scheme for Nested Loops with Linear Bounds
An Introduction to the High-Level Language Standard ML
Reasoning About Functional Programs in Nuprl
The Propositional mu -Calculus and Its Use in Model Checking
Generating an Algorithm for Executing Graphical Models
Modeling an NORAD Command Post Using SADT and Colored Petri Nets
Reflections on Standard ML
Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada
Propositional Temporal Logics and Their Use in Model Checking
Analysing Concurrent Systems Using the Concurrency Workbench
Specification and Simulation with ExSpect
On the Use of Theory Based Systems to Traverse Educational Gaps in Computer Related Activities
The EVES System
An Overview of Larch
Supporting the Attribute Grammar Programming Paradigm in a Lazy Funciontal Programming Language
Concurrent ML: Design, Application and Semantics
Programming in OBJ and Maude
Complexity Issues in Discrete Neurocomputing
Some Properties of Space-Bounded Synchronized Alternating Turing Machines with Only Universal States
The Limitations of Partial Evaluation
Optimal Parallel 3-Colouring Algorithm for Rooted Trees and Its Application
Basic complexity analysis of hypothesis formation
Trends, Techniques, and Problems in Theoretical Computer Science, 4th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, October 13-17, 1986, Proceedings
Monoids Described by Pushdown Automata
A Partially Persistent Data Structure for the Set-Union Problem with Backtracking
Chomsky Hierarchy and Communication Complexity
The Convex Hull Problem on Grides - Computational and Combinatorial Aspects
A New Method for Proving Lower Bounds in the Model of Algebraic Decision Trees
A Remark on Some Classifications of Indian Parallel Languages
Perspectives of logic programming
A Survey of Two-Dimensional Automata Theory
Seven Hard Problems in Symbolic Background Knowledge Acquisition
A connection between descriptional complexity of context-free grammars and grammar form theory
A formal model of knowledge-based systems
Cryptography and Data Security
The Riches of Rectangles
Constructive Matching - Explanation Based Methodology for Inductive Theorem Proving
Learning by Conjugate Gradients
The equivalence of mappings on languages
Models for multicellular development: Characterization, inference and complexity of L-systems
Questions of Decidability for Context-free Chain Code Picture Languages
Two-Way Reading on Words
Basic ideas of selective substitution grammars
Picture Generation Using Matrix Systems
Area Time Squared and Area Complexity of VLSI Computations is Strongly Unclosed Under Union and Intersection
Lower bound techniques for VLSI algorithms
Some recent restrictions in the derivation of context-free grammars
A Cryptosystem Based on Propositional Logic
Kleene's theorem revisited
Remarks on the Frequency-Coded Neural Nets Complexity
Recent results on the theory of homogeneous structures
Complexity Theory and Formal Languages
A note on the ratio function in DOL Systems
Proofs and Reachablity Problem for Ground Rewrite Systems
Characterizing Complexity Classes by Higher Type Primitive Recursive Definitions, Part II
Algorithmic Learning from Incomplete Information - Principles and Problems
Some combinatorial problems concerning finite languages
Hierarchies over the Context-Free Languages
Past Proves More Invariance Properties but not PCA's
Postorder Hierarchy for Path Compressions and Set Union
Subsequential Functions: Characterizations, Minimization, Examples
Methods for Generating Deterministic Fractals and Image Compression
Optimum Simulation of Meshes by Small Hypercubes
Machines, Languages, and Complexity, 5th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18, 1988, Proceedings
Rational Cones and Commutations
Greedy Compression Systems
The Distributed Termination Problem: Formal Solution and Correctness Based on Petri Nets
Minimizing Picture Words
A Note on the Computational Complexity of Bracketing and Related Problems
Decision Procedure for Checking Validity of PAL Formulas
The Virtual Floating Grid File
Representing Heuristic-Relevant Information for an Automated Theorem Prover
Problems Complete for +L
A Hierarchy of Unary Primitive Recursive String-Functions
A Div(n) Depth Boolean Circuit for Smooth Modular Inverse
Aspects and Prospects of Theoretical Computer Science, 6th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 19-23, 1990, Proceedings
An Extension of the Krohn-Rhodes Decomposition of Automata
An Improved Exact Algorithm for the Exact Satisfiability Problem
Vertex Cover in Conflict Graphs: Complexity and a Near Optimal Approximation
Clustered SplitsNetworks
Hybrid Artificial Bee Colony Search Algorithm Based on Disruptive Selection for Examination Timetabling Problems
Optimal Deterministic Group Testing Algorithms to Estimate the Number of Defectives
A Comparative Study of Multi-objective Evolutionary Algorithms for the Bi-objective 2-Dimensional Vector Packing Problem
Constrained Low-Interference Relay Node Deployment for Underwater Acoustic Wireless Sensor Networks
Single Machine Common Due Window Scheduling with Controllable Job Processing Times
A Linear Potential Function for Pairing Heaps
Floorplans with Columns
Spanning Properties of Theta-Theta Graphs
Disclosing Barriers: A Generalization of the Canonical Partition Based on Lovász's Formulation
Algorithms for Fair Partitioning of Convex Polygons
Flows with Unit Path Capacities and Related Packing and Covering Problems
A Sub-linear Time Algorithm for Approximating k-Nearest-Neighbor with Full Quality Guarantee
Some Combinatorial Algorithms on the Independent Number of k-Regular Connected Hypergraphs
Approximation Algorithm for Min-Max Correlation Clustering Problem with Outliers
The Mixed Center Location Problem
Distributed Algorithm for Mending Barrier Gaps via Sensor Rotation in Wireless Sensor Networks
Car-Sharing Problem: Online Scheduling with Flexible Advance Bookings
A Cost-Sharing Method for the Soft-Capacitated Economic Lot-Sizing Game
Online Bottleneck Matching
B-matching interdiction problem on bipartite graphs with unit weight and multi-dimensional budgets
A Divide-and-Conquer Algorithm for Computing a Most Reliable Source on an Unreliable Ring-Embedded Tree
On Interdependent Failure Resilient Multi-path Routing in Smart Grid Communication Network
Linear Coherent Bi-cluster Discovery via Line Detection and Sample Majority Voting
Toward Energy-Efficient and Robust Clustering Algorithm on Mobile Ad Hoc Sensor Networks
Parallel Machine Scheduling with a Single Server: Loading and Unloading
Computing Imbalance-Minimal Orderings for Bipartite Permutation Graphs and Threshold Graphs
A Linear-Time Streaming Algorithm for Cardinality-Constrained Maximizing Monotone Non-submodular Set Functions
New Algorithms for k-Center and Extensions
Improved Scheduling with a Shared Resource via Structural Insights
Speedup of RNA Pseudoknotted Secondary Structure Recurrence Computation with the Four-Russians Method
Delay-Constrained Minimum Shortest Path Trees and Related Problems
A Novel Approximation Algorithm for Max-Covering Circle Problem
A Novel Virtual Traffic Light Algorithm Based on V2V for Single Intersection in Vehicular Networks
Matching Techniques Ride to Rescue OLED Displays
Strategic Online Facility Location
Optimal Topology Design of High Altitude Platform Based Maritime Broadband Communication Networks
On Integrity of Harary Graphs
Parameterized Complexity of Satisfactory Partition Problem
Makespan Minimization on Unrelated Parallel Machines with Simple Job-Intersection Structure and Bounded Job Assignments
The Size of a Minimum Critically m -Neighbor-Scattered Graph
Approximation Algorithms for Maximally Balanced Connected Graph Partition
A Characterisation of Stable Sets in Games with Transitive Preference
A Portable Parallel Implementation of the lrs Vertex Enumeration Code
A New Result on [ k , k + 1]-Factors Containing Given Hamiltonian Cycles
Approximability of Covering Cells with Line Segments
Size-Constrained Tree Partitioning: A Story on Approximation Algorithm Design for the Multicast k-Tree Routing Problem
The Minimum Vulnerability Problem on Graphs
Interference-Free k-barrier Coverage in Wireless Sensor Networks
An Efficient Algorithm for Enumerating Induced Subgraphs with Bounded Degeneracy
New Min-Max Theorems for Weakly Chordal and Dually Chordal Graphs
Proportional Cost Buyback Problem with Weight Bounds
Resource Scheduling with Supply Constraint and Linear Cost
On Half Guarding Polygons
Recoverable Robust Timetables on Trees
Price Fluctuation in Online Leasing
An Efficient Algorithm for Judicious Partition of Hypergraphs
Approximation Algorithm and Incentive Ratio of the Selling with Preference
An Exact Algorithm Based on Chain Implication for the Min-CVCB Problem
On Disjoint Shortest Paths Routing on the Hypercube
The Smallest Number of Vertices in a 2-Arc-Strong Digraph Without Pair of Arc-Disjoint In- and Out-Branchings
Public Communication Based on Russian Cards Protocol: A Case Study
Isolation Branching: A Branch and Bound Algorithm for the k-Terminal Cut Problem
An Improved Approximation Algorithm for Capacitated Correlation Clustering Problem
Effect of Crowd Composition on the Wisdom of Artificial Crowds Metaheuristic
Solving the Connected Dominating Set Problem and Power Dominating Set Problem by Integer Programming
Infinite Families of Optimal Double-Loop Networks
The k-Delivery Traveling Salesman Problem: Revisited
On the Complexity of Scaffolding Problems: From Cliques to Sparse Graphs
Elementary Approximation Algorithms for Prize Collecting Steiner Tree Problems
A Quasi-polynomial Time Approximation Scheme for Euclidean CVRPTW
A Sufficient and Necessary Condition for the Forcing Number of a Bipartite Graph Being Equal to the Minimum Number of Trailing Vertices
Integrated Job Scheduling with Parallel-Batch Processing and Batch Deliveries
A Note on n-Critical Bipartite Graphs and Its Application
The Discrete and Mixed Minimax 2-Center Problem
A Bicriteria Approximation Algorithm for DVRP with Time Windows
Parametrized Runtimes for Label Tournaments
Mechanism Design for Time-Varying Value Tasks in High-Load Edge Computing Markets
Dynamic Minimum Bichromatic Separating Circle
Improved Bounds for Facility Location Games with Fair Cost Allocation
A Linear-Time Algorithm for Reconciliation of Non-binary Gene Tree and Binary Species Tree
On the Generalized Multiway Cut in Trees Problem
Approximating Multilinear Monomial Coefficients and Maximum Multilinear Monomials in Multivariate Polynomials
Tree t-Spanners of a Graph: Minimizing Maximum Distances Efficiently
Does a Robot Path Have Clearance C?
A (5.83 + ϵ)-Approximation Algorithm for Universal Facility Location Problem with Linear Penalties
Solving Dynamic Vehicle Routing Problem with Soft Time Window by iLNS and hPSO
Adaptive Scheduling Over a Wireless Channel Under Constrained Jamming
Computing Approximate Mixed Nash Equilibria for Symmetric Weighted Congestion Games
The 2-Mixed-Center Color Spanning Problem