yusuke1997/dblp-id-title huggingface dataset:
Cluster-Based Implementation of a Morphological Watershed Algorithm for Parallel Classification of Multichannel Images
Translating Regular Expression Matching into Transducers
A Terminating and Confluent Term Rewriting System for the Pure Equational Theory of Quandles
Design Considerations for a Negotiation Component in a Model E-commerce Agent System
Securing Communication in a Peer-to-Peer Messaging Middleware
An Application of Ant Colony Optimization to Decision Making on Affective Virtual Entities
Self-Adaptation of Service Based Systems Based on Cost/Quality Attributes Tradeoffs
Model-Driven Design of Cloud Applications with Quality-of-Service Guarantees: The MODAClouds Approach, MICAS Tutorial
Performance Improvements for the "Linear Nonadiabatic Nonradial Waves" Pulsational Model
Practical Aspects Related to Using Hidden Markov Models for Detecting Metamorphic File Infectors
Hybrid Modelling of an Audio Signal Based on 1-D Wold Decomposition
Creative Telescoping via Hermite Reduction
Parallelizations of an Inpainting Algorithm Based on Convex Feasibility
Unpredictable Random Number Generator Based on the Performance Data Helper Interface
Evaluating Moldability of LHCb Jobs for Multicore Job Submission
Edge map response of dilated and reconstructed classical filters
The Quest for Perfect and Compact Symmetry Breaking for Graph Problems
An Evaluation of Image Texture Descriptors and their Invariant Properties
ReaderBench: Building Comprehensive Sociograms of Online Communities
Modular Analysis of Concurrency in Jumping Petri Nets
Extreme Points of the Unit Ball B4 in the Space of Real Polynomials of Degree at most Four with the Supremum Norm
Stock Market Trading Strategies Applying Risk and Decision Analysis Models for Detecting Financial Turbulence
Formal Concept Analysis Grounded Knowledge Discovery in Electronic Health Record Systems
Identifiability for Gauge Regularizations and Algorithms for Block-Sparse Synthesis in Compressive Sensing
Restraint Order Component Model Execution
Infrastructure as Code for Heterogeneous Computing
Evaluating Weighted Round Robin Load Balancing for Cloud Web Services
Influence of Manual Inter-Observer Variability for the Performance of Deep Learning Models in Semantic Segmentation
Sharing Rules between JBoss and Jena
Abstract Continuation Semantics for Asynchronous Concurrency
On Synergies between Type Inference, Generation and Normalization of SK-Combinator Trees
A Grid Enabled Quantum Computer Simulator
Social Principles in Agent-Based Trust Management for the Internet of Things
Image-Adaptive Watermarking Using JSEG Segmentation Technique
Evaluating the Auto Scaling Performance of Flexiscale and Amazon EC2 Clouds
What can Symbolic Computation Contribute to Mathematics?
Adaptations of the k-Means Algorithm to Community Detection in Parallel Environments
Using Self-Organizing Maps for Fraud Prediction at Online Auction Sites
Adventures of a Logician-Engineer: A Journey through Logic, Engineering, Medicine, Biology, and Statistics
A Systematic Approach to Computations on Decomposable Graphs
ARSYS - Article Recommender System
Optimizing Test Input Generation for Reactive Systems with an Adaptive Differential Evolution
Online-Scheduling on Identical Machines with Bounded Migration
A Connectivity Analysis Approach in Geometric Constraint Solving
Severity Prediction of Software Vulnerabilities based on their Text Description
Adjusting SVMs for Large Data Sets using Balanced Decision Trees
Flexible Fault Tolerance in Distributed Enterprise Communities
Counting Linear Extensions of Modular Partial Orders
Detecting Malicious URLs: A Semi-Supervised Machine Learning System Approach
Providing High Data Availability in MedioGRID
Semantic Categorization and Retrieval of Images
Computing multiple roots of polynomials in stochastic arithmetic with Newton method and approximate GCD
Proving Partial Correctness and Termination of Mutually Recursive Programs
Towards Interactive Steering of a Very Large Floating Structure Code by Using HPC Parallelisation Strategies
A CRT-Based Solution to Yao's Millionaires' Problem
Detecting Proteine Coding Regions Using a Customized Multi-scales Splines Construction
Alleviating Urban Traffic Congestion by Means of Adaptive Routing
Informing Static Mapping and Local Scheduling of Stream Programs with Trace Analysis
Communication Schemes of a Parallel Fluid Solver for Multi-scale Environmental Simulations
Abstract Continuation Semantics for a Biologically-Inspired Formalism
Graph Rewriting and Strategies for Modeling Biochemical Networks
Face Recognition in Automotive Applications
Nominal Fusion Calculus
Using the Distribution of Cells by Dimension in a Cylindrical Algebraic Decomposition
An Adaptive Penalty Function Method for Constrained Continuous Optimization in Population-Based Meta-Heuristic Optimization Methods
Optimal Scheduling of Two Communication Flows on Multiple Disjoint Packet-Type Aware Paths
Towards a Clausal Analysis of Proof Schemata
Connectivity in Semi-algebraic Sets
Investigation on Parameter Effect for Semi-automatic Contour Detection in Histopathological Image Processing
Ant-Inspired Technique for Automatic Web Service Composition and Selection
The paradoxes and the infinite dazzled ancient mathematics and continue to do so today
Satisfiability and Theories
Multi-Agent Recommendation and Aspect Level Sentiment Analysis in B2B CRM Systems
WSSMT: Towards the Automated Analysis of Security-Sensitive Services and Applications
A Distributed Approach to Business Intelligence Systems Synchronization
The Use of Maple Platform for the Study of Geodesic Motion on Curved Spacetimes
A Meta-Model for Enterprise Applications
Branch Differences and Lambert W
The Classification of Endoscopy Images with Persistent Homology
Simulation-Extrapolation Gaussian Processes for Input Noise Modeling
On Projective Delineability
Engineering Hoare Logic-Based Program Verification in K Framework
Modeling Origami and Beyond
Applying Agent Technology in Water Pollution Monitoring Systems
Proof of Concept for a Roundtrip Engineering IS for the New Enterprise in the Industry 4.0 Era
Concurrency for the Masses: The Paradigm of Software Transactional Memory
Data Driven Sales Prediction Using Communication Sentiment Analysis in B2B CRM Systems
Toward on-Line Predictive Models for Forecasting Workload in Clouds
Cloud4SOA: Multi-cloud Application Management Across PaaS Offerings
An x-Coordinate Point Compression Method for Elliptic Curves over Fp
An Upper Bound on Checking Test Complexity for Almost All Cographs
An Experiment on Mizar Adjectives with Extra Visible Arguments
A four-Phase Meta-Heuristic Algorithm for Solving Large Scale Instances of the Shift Minimization Personnel Task Scheduling Problem
Handling Abort Commands for Kitchen Robots
Multi-Domain Logic and its Applications to SAT
The Graceful Chromatic Number for Some Particular Classes of Graphs
Handwritten Digit Recognition Using Rotations
Designing Fast and Accurate Fuzzy Approximators with Kohonen Networks and Genetic Algorithms
Enabling Distributed Intelligent Systems in Open Environments through Agreement Technologies
Embedding Emotions in an Artificial Tutor
Semantic Interpreter for Modern Communication Abstractions in Concurrent Object-Oriented Programming
Algorithms and Results in Content-Based Visual Query of the Image Databases Resulting from Dicom Files
Soundness of a Logic-Based Verification Method for Imperative Loops
Back to Front Architecture for Diagnosis as a Service
Improving the Diagnostic of Contrast Enhanced Ultrasound Imaging using Optical Flow for Focal Liver Lesion Detection
ALIVE: A Model-Driven Framework to Develop Dynamic, Flexible, Distributed Service-Oriented Systems
A Two-Level Programming Approach to Volume Propagation in Higher-Dimensional Spaces
Revisiting Context-Aware Component Interconnection
Boolean Evaluation with a Pairing and Unpairing Function
Integrating Role Activity Diagrams and Hybrid IDEF for Business Process Modeling Using MDA
Optimal Homotopy Asymptotic Method for Viscous Boundary Layer Flow in Unbounded Domain
E-System for Automatic Data Migration
A New Digital Repository for Remotely Sensed Hyperspectral Imagery on GPUs
A Modeling Framework for Generating Security Protocol Specifications
Accelerating heuristic convergence on the "Evolution of Mona Lisa" problem by including image-centric mutation operators
Prediction of Cloud Movement from Satellite Images Using Neural Networks
Lorenz Equilibrium: Concept and Evolutionary Detection
Numerical Investigations of Equilibriums in a Flight with High Angle of Attack
On Algebraic Preprocessing of Floating-Point DAEs for Numerical Model Simulation
An Overview of Monitoring Tools for Big Data and Cloud Applications
Dynamic Resources Allocation in Grid Enviroments
High Probability Mutation and Error Thresholds in Genetic Algorithms
On Coxeter Spectral Study of Posets and a Digraph Isomorphism Problem
Iterative Approximation of Fixed Points of Almost Contractions
Combinatorics of Hybrid Sets
Matching Semantic Web Services Using Learning Accuracy
Parametric Study of the Accuracy of an Approximate Solution for the Mild-Slope Equation
Dynamic Scheduling Algorithms for Workflow Applications in Grid Environment
The Optimum Convergence Condition for the Durand-Kerner Type Simultaneous Inclusion Method
Optimizing Automotive Cyber-Physical System Specifications with Multi-Event Dependencies
A Lowest Level Rule Push-Relabel Algorithm for Submodular Flows and Matroid Optimization
Sustainable MLOps: Trends and Challenges
AUGURY: A Time Series Based Application for the Analysis and Forecasting of System and Network Performance Metrics
A Receding Horizon Approach for the Runtime Management of IaaS Cloud Systems
The SAD System in Three Dimensions
Building customized Named Entity Recognition models for specific process automation tasks
Developing Secure Cloud Applications: A Case Study
Optimal Window and Lattice in Gabor Transform. Application to Audio Analysis
A Dual-Approach for AI-Generated Text Detection
Remarks on Evaluation of Correlation Dimension for 5 French Stock Data
Prufer Number Encoding for Genetic Bayesian Network Structure Learning Algorithm
Identifying Features via Homotopy on Handwritten Mathematical Symbols
Path-Constrained Relaxed Schedulability Analysis
Towards Lexicalization of DBpedia Ontology with Unsupervised Learning and Semantic Role Labeling
Machine Learning based models for examining differences between modern and ancient DNA in dental calculus
UML Model Refactoring as Refinement: A Coalgebraic Perspective
Proposal of Multivariate Polynomial Arithmetic in a Specified Width of High- or Low-Exponents
An Adversarial Machine Learning Approach to Evaluate the Robustness of a Security Solution
Recent results on the Lambert W function
CSPs and Connectedness: P/NP Dichotomy for Idempotent, Right Quasigroups
Formalization and Closedness of Finite Dimensional Subspaces
Mining GPS Data to Learn Driver's Route Patterns
Parallel Simulations for Fractional-Order Systems
Using Deep Networks for Semantic Segmentation of Satellite Images
An Application of the Shepard Operator in Image Reconstruction
Using Excel as a Front-End for MLF
CTL Model Checking in the Cloud Using MapReduce
Modelling Parallel Phenomena in Conversations with P Systems
An Axis Symmetric 2D Description of the Growth Process of a Single Crystal Hollow Tube Grown from the Melt by Pulling Down Method
From Plagiarism to Malware Detection
Tackling Morpion Solitaire with AlphaZero-like Ranked Reward Reinforcement Learning
Using Models at Runtime to Support Adaptable Monitoring of Multi-clouds Applications
Particle Swarm Optimization of Cellular Automata Rules for Edge Detection
Effective Construction of Convex Hull Algorithms
SOA-Compliant Programming Model for Intelligent Sensor Networks - SCA-Based Solution
Quantitative Programming and Continuous-Time Markov Chains
A New k-means Based Clustering Algorithm in Aspect Mining
Optimal Decision Tree Design for Near Real-Time Control of Battery Energy Storage Systems
Algorithm for Cooperative CPU-GPU Computing
Parallel Integer Polynomial Multiplication
The Study of Impact of Matrix-Processor Mapping on the Parallel Sparse Matrix-Vector Multiplication
Ultrametrics and Outlier Identification
Comparative study of machine learning methods to classify bowel polyps
Exploring the potential of prototype-based soft-labels data distillation for imbalanced data classification
A Software Services Framework for Providing E-Learning and Dedicated Information Systems Facilities
Local Optimization Often is Ill-conditioned in Genetic Programming for Symbolic Regression
On Kahan's Rules for Determining Branch Cuts
Optimization Techniques within the Hadoop Eco-system: A Survey
Cancer Prediction Modeling from Volumetric Data
Data-Driven Modeling of Photovoltaic Panels Using Neural Networks
The Algorithm that Determines the Start Iteration of the Halley-Altman Method
Parallel Acceleration of Subgraph Enumeration in the Process of Network Motif Detection
Computational Tools for Mathematical Collaboration
A Certified Procedure for RL Verification
A Semantic Services Architecture for Solving ODE Systems
Lung Tumor Segmentation Accelerated by CUDA
Data Flow Entropy Collector
What's New In QBF Solving? : (Invited Talk)
Relational Declarative Programming with JBoss Drools
Classifier Result Aggregation for Automatically Grading Histopathological Images
A Framework for Integrating Heterogeneous Agent Communication Platforms
Solving SAT by an Iterative Version of the Inclusion-Exclusion Principle
Collaborative Agents Interaction Using Message Passing Interface
Algorithm for Application of Evolution Rules Based on Linear Diofantic Equations
On Computing Solutions of Linear Diophantine Equations with One Non-linear Parameter
Pre-Diagnosis of Autism in Children Using Distributed Learning
Approximation of Attractors by a Variable Time-Stepping Algorithm for Runge-Kutta Methods
FERPModels: A Certification Framework for Expansion-Based QBF Solving
Platform for Access Control Management in Information System Based on Extended RBAC Model
Dynamic Segregative Genetic Algorithm for Assembly Lines Balancing
Personality Filter in Mobile Networks with Communication Constraints
Huzita's Basic Origami Fold in Geometric Algebra
A couple of catch-ups for the modified unit-circle zero location test
Pedestrian Trajectory Prediction Based on Tree Method using Graph Neural Networks
15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013
A New Online Load Balancing Algorithm in Distributed Systems
Autonomous Image Segmentation by Competitive Unsupervised GrowCut
Business Decisions Support using Sentiment Analysis in CRM Systems
Some Structural and Security Properties of the Modular Secret Sharing
Various Enhancements for Extended Hensel Construction of Sparse Multivariate Polynomials
Distributed Scheduling Policy in Service Oriented Environments
Finding Loop Invariants for Programs over Arrays Using a Theorem Prover
Bicyclic Connected Graphs Having Smallest Degree Distances
Endocrine Control Evolutionary Algorithm
Cohesion Network Analysis: Customized Curriculum Management in Moodle
Level Generation Using ChatGPT: A Case Study on the Science Bird Game
A Comparative Landscape Analysis of Fitness Functions for Search-Based Testing
Enhanced Gradient Descent Algorithms for Complex-Valued Neural Networks
Anatomy of Differential Power Analysis for AES
On P Systems with Bounded Parallelism
Grid Services and Satellite Image Processing for Urban and River Bed Changes Assessment
Verification of Resource Constraints for Concurrent Workflows
Enhancing Objects' Autonomy through the Classification of Objects' Interactions
DL-AgentRecom - A Multi-Agent Based Recommendation System for Scientific Documents
A CUDA Implementation of the Standard Particle Swarm Optimization
On the Nature of Symbolic Execution
Bipolar Junction Effects for High Entropy Data Harvesters
Transparent Fault-Tolerance Based on Asynchronous Virtual Machine Replication
Constrained Content Distribution and Communication Scheduling for Several Restricted Classes of Graphs
Designing a Dynamic Replication Engine for Grid Shared Data Programming
Semantic Annotation Based Service Composition for Grid Workflow Description and Execution
Automatic Text Summarization using Kernel Ridge Regression
Methods of acceleration for feature extractions in medical imaging using GPU processing
An Abstraction-Preserving Block Matrix Implementation in Maple
An Architecture for a Management Agency for Cloud Resources
An Argumentation Approach to Incompletely Specified Software Services
Learning Spectral Properties of Boolean Functions: A Unifying Theme in Quantum Algorithms
Complex Network Analysis using Artificial Intelligence Algorithms
Computation of GCD of Sparse Multivariate Polynomials by Extended Hensel Construction
Integration of Spatial Data Infrastructures with Grid Environment
Metric Denotational Semantics for Parallel Rewriting of Multisets
Rule Modeling and Interchange
Fast Method for Locating Peak Values of the Riemann Zeta Function on the Critical Line
Experimental Evaluation of Acacia-K: A Tool for Synthesis of Reactive Systems from KLTL+ Specifications
A Methodology for Concurrent Languages Development Based on Denotational Semantics
Complexity of Monomial Prediction in Cryptography and Machine Learning
Extractive Summarization using Cohesion Network Analysis and Submodular Set Functions
Fast Computing of Non-uniform Sampling Positions for Real Signals
A Streamlined Difference Ring Theory: Indefinite Nested Sums, the Alternating Sign, and the Parameterized Telescoping Problem
A Sentiment-based Similarity Model for Recommendation Systems
Optimization and Parallelization of Emedge3D on Shared Memory Architecture
Deep Learning for Metal Corrosion Control: Can Convolutional Neural Networks Measure Inhibitor Efficiency?
Secure Multiparty Computation in arbitrary rings
Distributed Resource Identification Service for Cloud Environments
MATHsAiD: A Mathematical Theorem Discovery Tool
A Rank-Based Approach of Cosine Similarity with Applications in Automatic Classification
Color Texture Modeling and Color Image Decomposition in a Variational-PDE Approach
Identification of Elastoplastic Material Properties Using PIES and PSO
On Measuring the Dissimilarity between Biological Sequences
Specifying Languages and Verifying Programs with K
Grammar-Based Automatic Extraction of Definitions
Properties and Computation of the Functional Inverse of Gamma
Triangular Decomposition for Algebraic and Geometric Computing
Approximating Non-interference and Erasure in Rewriting Logic
Complex Network Analysis of a Tourism Content Sharing Network
Lax-Like Stability for the Discretization of Pseudodifferential Operators through Gabor Multipliers and Spline-Type Spaces
Cellular Genetic Algorithm with Communicating Grids for a Delivery Problem
A Bio-Inspired Approach for a Dynamic Railway Problem
Optimising Linear Regression for Modelling the Dynamic Thermal Behaviour of Electrical Machines using NSGA-II, NSGA-III and MOEA/D
Automatic Real-Time Road Crack Identification System
Neural Network Predictions of Stock Price Fluctuations
A Direct Products of Fields Approach to Comprehensive Gröbner Bases over Finite Fields
Improving the Responsiveness of Replicated Virtualized Services in Case of Overloaded Replicas Connectivity
Doing Numerical Cosmology with the Cactus Code
Numerical simulation algorithm for fractional-order systems implemented in CUDA
Optimizing Variable Ordering of BDDs with Double Hybridized Embryonic Genetic Algorithm
A Data Aggregation Strategy Based on Wavelet for the Internet of Things
In Search of the Optimal Set of Indicators when Classifying Histopathological Images
Web Application Security Using JSFlow
Experiences in Computing Mesh Root Systems for Dynkin Diagrams Using Maple and C++
Abstract Domains for Constraint Programming, with the Example of Octagons
Numerical P Systems (After Ten Years)
Semantic Modeling of Information for Freight Transportation Broker
FCGlight: A System for Studying the Evolution of Natural Language
Combining weak classifiers: a logical analysis
Implementing arithmetic over algebraic numbers A tutorial for Lazard's lifting scheme in CAD
Guiding Random Test Generation for Intra-class Dataflow Coverage
New Arithmetic Algorithms for Hereditarily Binary Natural Numbers
Performance Improvement of Genetic Algorithms by Adaptive Grid Workflows
Proposal of Singularization of Approximately Singular Polynomial Systems
Broadcasting Clouds Masks and Snow Areas Detected in MedioGrid to Mobile Devices
A Parallel Heuristic for Bandwidth Reduction Based on Matrix Geometry
A Calculus for Imperative Programs: Formalization and Implementation
Obfuscation Techniques Based on Random Strings Used in Malicious VBA Scripts
Efficient Computation of Simplicial Homology through Acyclic Matching
Convolutional Neural Network Training System For Eye Location On Infrared Driver Recordings Using Automatically Generated Ground Truth Data
Synthetic Dataset Generation for Edge Drone Inference and Training
Non-Archimedean Valued Sequent Logic
Protein Folding Simulation Using Combinatorial Whale Optimization Algorithm
Number Encodings and Arithmetics over Multisets
Neuro-Hill-Climber: A New Approach Towards More Intelligent Search and Optimization
Learning to Unlearn in Lattices of Concepts: A Case Study in Fluid Construction Grammars
Adapting a Partitioning-Based Heuristic Load-Balancing Algorithm to Heterogeneous Computing Environments
A Performance Analysis on Message Passing Tools for the Grid
Synthesis from Examples: Interaction Models and Algorithms
A Cryptographic Algorithm Based on a Pseudorandom Number Generator
On the Existence of Complete Disjoint NP-Pairs
Road Traffic Segments Characterization
A Surrogate-Based Strategy for Multi-objective Tolerance Analysis in Electrical Machine Design
Generalized Multisets Over Infinite Alphabets with Atoms
Solving the Countdown Problem Using Automatic Composition of Semantic Web Services
Monitoring and Support of Unreliable Services
On Computing Mesh Root Systems and the Isotropy Group for Simply-laced Dynkin Diagrams
Distributed Traffic Management System
On BLAS Operations with Recursively Stored Sparse Matrices
Estimating the Number of Processors towards an Efficient Non-preemptive Scheduling Algorithm
Linking Fourier and PCA Methods for Image Look-Up
25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2023, Nancy, France, September 11-14, 2023
Some Applications of Weakly Picard Operators
A Fault-Tolerant Distributed Solution for the Parallel Gaussian Reduction of Huge Arrays
Description and Execution of Patterns for Symbolic Computations
A Theory of Adaptable Contract-Based Service Composition
Machine Learning Models to Predict Soil Moisture for Irrigation Schedule
Genetic Operators in Evolutionary Music Composition
Novel Data Adaptation Techniques for Enhanced Lung Cancer Detection in CT Scans
A Machine Learning Perspective for Order Reduction in Electrical Motors Modeling
F-polynomials & Newton polytopes
Reducing Adversarial Vulnerability Using GANs
Using Shannon Entropy in ETL Processes
Mathematical Theory Exploration
Superposition Reasoning about Quantified Bitvector Formulas
Multispace, Dynamic, Fixed-Radius, All Nearest Neighbours Problem
Approximating and Combining Equilibria in Non-cooperative Games
On the Controllability of the Continuous-Time Hopfield-Type Neural Networks
From Decision Procedures to Synthesis Procedures
A Novel Method for COVID-19 Pandemic Information Fake News Detection Based on the Arithmetic Optimization Algorithm
An Unsupervised Learning Based Conceptual Coupling Measure
A Simulator and an Evolution Program for Conformon-P Systems
GPaR: A Parallel Graph Rewriting Tool
Nominal Semantics of the pi I-calculus
Concepts Involved in Creating an Interactive Viewer for Disassembly
Toom-Cook 8-way for Long Integers Multiplication
How to Build a Global Digital Mathematics Library
A Study on Techniques for Proactively Identifying Malicious URLs
Random Numbers for Quantum Key Distribution
SymGrid: A Framework for Symbolic Computations on the Grid
Dynamic Workflow in Grid-MAS Integration Context
MDMP: Managed Data Message Passing