yusuke1997/dblp-id-title huggingface dataset:
DS Lab Notebook: A new tool for data science applications
A Framework for Scheduling Image Processing Applications in MedioGRID
Methods for Training Neural Networks with Zero False Positives for Malware Detection
Continuation Semantics for Dynamic Hierarchical Systems
Incremental linearization: A practical approach to satisfiability modulo nonlinear arithmetic and transcendental functions
Parallel Experiments with RARE-BLAS
Exploring Early Estimation of Treatment Needs for Age-Related Macular Degeneration Patients Using Easily Generated Features
Reliable Management of Virtualized Resources Using Fault Trees
Supply Chain Risk Management by Mining Business Dependencies
The Sparsity Challenges
Digital Tracking Cloud Distributed Architecture for Detection of Faint NEAs
Exploring New Directions in Iris Recognition
Using BPM Technologies for Material Balances Modelling
Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2007, Timisoara, Romania, September 26-29, 2007
On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving
The Rôle of Benchmarking in Symbolic Computation (Position Paper)
Semantic Segmentation for Corrosion Detection in Archaeological Artefacts before Restoration
Optimizing the Trade-Off between Single-Stage and Two-Stage Deep Object Detectors using Image Difficulty Prediction
Clustering Data Streams Using Mass Estimation
The Flow in a Viscous Fluid over an Unsteady Stretching Surface
Open Stack and Cloud Stack: Open Source Solutions for Building Public and Private Clouds
Lowering Evolved Artificial Neural Network Overfitting through High-Probability Mutation
Experiences in Symbolic Computations for Matrix Problems
Adaptive Negotiation Based on Rewards and Regret in a Multi-Agent Environment
Use of Genetic Algorithms in Numerical Weather Prediction
The Inverse of the Complex Gamma Function
Analysis of Some Mating and Collaboration Strategies in Evolutionary Algorithms
Towards a Complex Evolutionary Agent-Based System for Medical Sensor Data
Parametric Linear Algebra in Maple: Reduced Row Echelon Form
Jaccard-Like Fuzzy Distances for Computational Linguistics
A (Timed) State-Transition Semantics for Reflective Petri Nets
Neural Architecture Search with Zero-Cost Proxies
Reducing Energy Consumption by Using Clouds
New Conceptual Cohesion Metrics: Assessment for Software Defect Prediction
Checking RSC Criteria for Extended Dixon Resultant by Interpolation Method
Resolution of the Probabilistic Vector Machine Problem via Single Linear Program
A Distributed Approach for Solving Systems of Nonlinear Equations
Comprehensive LU Decomposition and True Path
Algorithmic Logic-Based Verification with SeaHorn
Spiking Neural P Systems - A Quick Survey and Some Research Topics
A Heuristic-Based Approach for Reducing the Power Consumption of Real-Time Embedded Systems
Bounded Parallelism in PowerList and ParList Theories
A Genetic Approximation of Closest String via Rank Distance
Evaluation of the CAP Properties on Amazon SimpleDB and Windows Azure Table Storage
Interval Arithmetics in Modeling and Solving Uncertainly Defined Boundary Value Problems of Elasticity
Forecasting Techniques for Time Series from Sensor Data
Fresh-Variable Automata: Application to Service Composition
Distributed Database Replication - A Game Theory?
A Process Mining Approach to Redesign Business Processes - A Case Study in Gas Industry
Grid Based Services and Tools for Hydrological Model Processing and Visualization
Automating Abstract Syntax Tree Construction for Context Free Grammars
Parallel Data Acquisition for Visualization of Very Large Sparse Matrices
Practical Implementation Issues of Lagrangian Based Distributed Optimization Algorithms
Composition and Undesired Web Service Execution Effects
A Hybrid CPU/GPU Approach for the Parallel Algebraic Recursive Multilevel Solver pARMS
Diagrammatic Description of Satellite Image Processing Workflow
Algorithms for Identifying Sequence Patterns with Several Types of Occurrence Constraints
Proof Generation from Delta-Decisions
Symbolic State Space Exploration of RT Systems in the Cloud
Adaptive Distributed Data Structure Management for Parallel CFD Applications
Gesture Recognition on Kinect Time Series Data Using Dynamic Time Warping and Hidden Markov Models
Incremental Reasoning on Strongly Distributed Multi-agent Systems
Space Efficient Formats for Structure of Sparse Matrices Based on Tree Structures
Analysis of OpenCL Work-Group Reduce for Intel GPUs
General Secret Sharing Based on Determinants
A Depth-first Algorithm to Reduce Graphs in Linear Time
Iterative Approximations for Non-Self Operators
Lambda Calculus with Regular Types
Computing Homological Information Based on Directed Graphs within Discrete Objects
SMT Solving for Arithmetic Theories: Theory and Tool Support
Computer-Aided Diagnosis for Lung CT Using Artificial Life Models
Certified, Efficient and Sharp Univariate Taylor Models in COQ
Simple Venn Diagrams for Multisets
Revisit of "Geometric Exercise in Paper Folding" from a Viewpoint of Computational Origami
Simulation of Continuous-Time P Systems Using Descriptive Rewriting Timed Petri Nets
P2P Open Agent Networks for Decision Making
Extracting football players video sprites from broadcast video
Adaptive Information Provisioning in an Agent-Based Virtual Organization- Preliminary Considerations
Quantitative Programming and Markov Decision Processes
Automatic Definition of Optimal Default Parameters of Models: Image Matting Application
A Combinative Method for Decision Tree Construction
Symbolic Regression with augmented dataset using RuleFit
Verbalising R2ML Rules into SBVR
A Computer Aided Software for Nonlinear Digital Control
Hybrid Hyper-parameter Optimization for Collaborative Filtering
A Parallel, Distributed, High-Performance Architecture for Simulating Particle-Based Models
The Design of Neural Network Direct Inverse Controller Based on Complex Particle Swarm Optimization Algorithm
A Parallel Algorithm for Dot Product over Word-Size Finite Field Using Floating-Point Arithmetic
An Attempt to Enhance Buchberger's Algorithm by Using Remainder Sequences and GCD Operation
Automatic State-Based Test Generation Using Genetic Algorithms
ContractCML - A Contract Aware Component Modeling Language
A Distributed Algorithm for Critical Area Detection in Satellite Imagery
VIAP - Automated System for Verifying Integer Assignment Programs with Loops
Fault-Tolerant Global Load Balancing in X10
Evolving Cellular Automata for Two-Stage Edge Detection
Archeology of Code Duplication: Recovering Duplication Chains from Small Duplication Fragments
An Imperialistic Strategy Approach to Continuous Global Optimization Problem
A Peer-to-Peer Swarm Creation and Management Framework
AgentDiscover: A Multi-Agent System for Knowledge Discovery from Databases
A Proposed Serious Game Architecture to Self-Management HealthCare for Older Adults
Malware Classification Based on Dynamic Behavior
Artificial Intelligence Improving the Life of Type 1 Diabetes
Optimizing Deep Learning Models for Object Detection
Continuation Semantics of a Language Inspired by Membrane Computing with Symport/Antiport Interactions
Using a fUML Action Language to Construct UML Models
Designing Data Interchange Services for Learning Components
Bounded Bi-ideals and Linear Recurrence
A Home Based Health-Care Solution for Older Adults Using Kinect
Adaptive AFOPT Algorithm
E-Learning Platform for Educational Resources Repurposing in Earth Observation
Computation of Stirling Numbers and Generalizations
Runge-Kutta Methods and Inverse Hermite Interpolation
Algorithm for intersecting symbolic and approximate linear differential varieties
An Improved Approach to Software Defect Prediction using a Hybrid Machine Learning Model
Face Detection and Recognition Methods using Deep Learning in Autonomous Driving
11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009
Mapping a Relational Database into a RDF Repository
A Bray-Curtis Weighted Automaton for Detecting Malicious Code Through System-Call Analysis
First Steps Towards Computational Polynomials in Lean
BBUFs: A New Lookup Mechanism Based on IPV6
Designing a New Soft-Hard Task Model for Scheduling Real-Time Systems on a Multiprocessor Platform
A Tool for Fake News Detection
A Reference Implementation of ADF (Agent Developing Framework): Semantic Web-Based Agent Communication
Novel Lossless Crypto-Compression Scheme for Medical Images
A Detailed Survey of Textural Features in Breast Cancer Detection Using Deep Learning
Considerations on Using Ontologies in Complex Systems
Rational Orthonormal Matrices
The Complexity of a Probabilistic Approach to Deal with Missing Values in a Decision Tree
Automated Synthesis of Target-Dependent Programs for Polynomial Evaluation in Fixed-Point Arithmetic
Cyber vulnerabilities surveillance via web-scraped specialized documents
Optimal Homotopy Asymptotic Method for Solving a Nonlinear Problem in Elasticity
Multi-Control Virtual Reality Driving Simulator
Symbolic Computation Techniques in Satisfiability Checking
An Autonomic Context Management Model Based on Machine Learning
Journal as Active Math-Agents: Outline of a Project with a Mathematics Publisher
A New Scheme of Using Inference Inside Evolutionary Computation Techniques to Solve CSPs
A Multi-Agent Placement System for Virtual Network Functions in a Cloud-Based Architecture
On a Steffensen Type Method
Parameterized Cellular Automata in Image Segmentation
A Test Suite Generation Approach Based on EFSMs Using a Multi-objective Genetic Algorithm
A Distributed-Memory Parallelization of a Shared-Memory Parallel Ensemble Kalman Filter
Symbolic Derivation of Mean-Field PDEs from Lattice-Based Models
Algorithm Fusion for Windscreen Obstruction Detection in Autonomous Driving
Performance Evaluation of Fuzzy Automata Using VHDL Simulation
Identifying DGA-Based Botnets Using Network Anomaly Detection
On Complexity of the Detection Problem for Bounded Length Polymorphic Viruses
Approximate Duals of Gabor-Like Frames Based on Realizable Multi-Window Spline-Type Constructions
A Matter of Trust: Smart Home System Relying on Logic, BCI, and Sensor Agents
Resultant-based Elimination for Skew Polynomials
TiMo: Timed Mobility in Distributed Systems
Towards Efficient Governance In Distributed Ledger Systems Using High-Performance Computational Nodes
VHDL Framework for Modeling Fuzzy Automata
Irrelevance in Incomplete Fuzzy Arithmetic
A Rewrite Stack Machine for ROC!
Distinguishing 3D-Topological Configurations of Two Tori
Workflow Management for Symbolic Grid Services
Towards Extracting Semantic Information from Texts
The NLP for Employee Review Sentiment Analysis: An Explainable Perspective
Towards Compiling Region Types Into RTSJ-Compliant Java Code
Open and Interoperable Socio-technical Networks
Logic Restructuring for Delay Balancing in Wave-Pipelined Circuits: An Integer Programming Approach
Towards the Complexity of Petri Nets and One Counter Machines via Coordinated Table Selective Substitution Systems
Reachability Analysis of Time Basic Petri Nets: A Time Coverage Approach
Automated Methods for Proving Program Termination and Liveness
Cooperative Evolution of Rules for Classification
Specification of Coordinated Objects and Verification of Their Temporal Properties
Proposal of Business Process and Rules Modeling with the XTT Method
Towards Learning Infinite SMT Models (Work in Progress)
A Stability Analysis Method for Nonlinear Systems with Fuzzy Logic Controller
Design of a Hardware Architecture Based on Microcontrollers for the Implementation of Membrane Systems
Lexical Chains Segmentation in Summarization
Program Verification in the Presence of Complex Numbers, Functions with Branch Cuts etc
Performance Tuning of Evolutionary Algorithms Using Particle Sub Swarms
Distributed Optical Character Recognition for Old Romanian Prints
An Algorithm for Automated Generation of Invariants for Loops with Conditionals
Inferring, Learning and Modelling Complex Systems with Bayesian Networks. A Tutorial
How the Events in the Life of Painters Influence the Colors of their Paintings
8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), 26-29 September 2006, Timisoara, Romania
Auto-completion of Contours in Sketches, Maps, and Sparse 2D Images Based on Topological Persistence
Numerical Solutions for a Class of Backward Stochastic Differential Equations
Investigating Local Evolutions in Dynamical Probabilistic P Systems
The Verified Polyhedron Library: an Overview
Solving Critical Point Conditions for the Hamming and Taxicab Distances to Solution Sets of Polynomial Equations
Balanced Dense Multivariate Multiplication: The General Case
Population Distribution Dynamics in Genetic Algorithms with High-Probability Mutation
Semantic Image Inpainting via Maximum Likelihood
Sentiment Analysis from Stock Market News in Romanian using Chaos Game Representation
Untangling Braids with Multi-Agent Q-Learning
Preemptive Phased Execution Models with Scratchpad Memory Requirements
Model-Driven Decision Procedures for Arithmetic
Building a Nature-Inspired Computer
A Hybrid Genetic Algorithm Based on the Potts System
An Effective Ensemble-Based Method for Creating On-the-Fly Surrogate Fitness Functions for Multi-objective Evolutionary Algorithms
On Sensor Data Simulation
Service Brokering in Cloud Governance
Solving, Reasoning, and Programming in Common Logic
How Good Is Genetic Programming at Predicting Changes and Defects?
Managing Risk Behavior on an Evolutionary Market - A Risk Limits and Value-at-Risk Measures Approach
Extracting Gamers' Opinions from Reviews
On Lower Bounds for Algebraic Decision Trees over the Complex Numbers
Dealing with Class Noise in Large Training Datasets for Malware Detection
Views and Updates over Distributed Databases
Deep Visual Domain Adaptation
SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008
A Dynamic Strategy Agent for Supply Chain Management
Analytic Approximate Periodic Solutions Based on Harmonic Analysis
Semi-Supervised Pipeline for Human Sprites Neural Rendering
Polynomial GCDs by Syzygies
Finding the Solutions of Nonlinear Equation Systems from an Interval
Combining Old-Fashioned Computer Go with Monte Carlo Go
The Quest for Optimal Sorting Networks: Efficient Generation of Two-Layer Prefixes
A GEP-Based Approach for Solving Fredholm First Kind Integral Equations
Satisfaction Meets Practice and Confidence
Graph Rewriting in Computational Origami
Composing Web-Based Mathematical Services
Multi-Agent Aspect Level Sentiment Analysis in CRM Systems
Towards a Reverse Engineering Dataflow Analysis Framework for Java and C++
Programming via Rewriting
The Lucas Optimal Growth Model on Finite Horizon
Compiler Design for Hyper-metaprogramming
Generating Minimal Unsatisfiable SAT Instances from Strong Digraphs
A Method for Submodelling Inside Transient Flows
Parallel Heuristics for Systems of Equations Preconditioning
Performance Analysis of Morphological Operation in CPU and GPU for Medical Images
19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2017, Timisoara, Romania, September 21-24, 2017
Simplification and Generalization in CIRC
Extremal Graphs with Respect to the Modified First Zagreb Connection Index
An Agent for Constraint Acquisition and Emergence
Should I trust a deep learning condition monitoring prediction?
Quality of Pre-trained Deep-Learning Models for Palmprint Recognition
Efficient and Robust Median-of-Means Algorithms for Location and Regression
Assistive Tools for People with Cerebral Palsy: An Eye Tracker Calibration for Vision and Focus Training
An Eye Tracking Semantic Repository for User Profiling
Experience with Heuristics, Benchmarks & Standards for Cylindrical Algebraic Decomposition
From the Desktop to the Multi-clouds: The Case of ModelioSaaS
Unsupervised Extractive Summarization with BERT
On Systems of Linear Homogeneous Algebraic Equations over Truncated Formal Series
Motorage - Computer vision-based self-sufficient smart parking system
Exploring Lorenz Dominance
Completeness of Unfolding for Rewriting Logic Theories
Multi-agent Stock Trading Algorithm Model
Semantic Change Detection for the Romanian Language
A Distributed Algorithm for Multispectral Image Segmentation
Fischer-Ladner Closure for Many-Sorted Modal Logic with Application for Operational Semantics
Comparative Analysis of Existing Architectures for General Game Agents
A Hardware Circuit for Selecting Active Rules in Transition P Systems
Optimizing Cleanset Growth by Using Multi-Class Neural Networks
Expectations for Assessment of Services Quality
Comparing Different Term Weighting Schemas for Topic Modeling
Colored Petri Nets State-Space Reduction via Symbolic Execution
niSiDe: Interactive Tool for Understanding Distributed Software
OFBench: An Enterprise Application Benchmark for Cloud Resource Management Studies
Automated Validation of Security-Sensitive Web Services Specified in BPEL and RBAC
Optimal Capacity Allocation for Executing MapReduce Jobs in Cloud Systems
AR and VR for the Casa Romei Museum
A Different Approach to Maximum Clique Search
An Algorithm for the Approximation of the Solution of a Functional-Integral Equation
Knowledge Acquisition and Processing System for Romanian Historical Documents
Organic Structures Emerging From Bio-Inspired Graph-Rewriting Automata
Functional-Based Comparison between Two Special Classes of Uni- and Bidirectional Systolic Arrays
Immune-inspired Web Service Composition Framework
Equivalence Classes in Performance Evaluation Programming
Improved Bounds on the Complexity of Graph Coloring
Design and Performance Evaluation of a Resource Allocation System Based on Agreement Services
Remote Control for Graphic Applications
Process Algebra Specification of Flexible Manufacturing Systems
A New Subpopulation Model for Evolutionary Multimodal Optimization
Pedestrian Recognition by Using a Kernel-Based Multi-modality Approach
DELP: Dynamic Epistemic Logic for Security Protocols
The Science, Art, and Magic of Constrained Horn Clauses
Creating a Dataset and Models Based on Convolutional Neural Networks to Improve Fruit Classification
Local Rank Distance
An analysis of aggregated coupling's suitability for software defect prediction
Text Segments as Constrained Formal Concepts
Data Compression on Multisets. Submultiset-Free Codes
Existence of Gaps on the Path of Equilibriums in Case of Longitudinal Flight with Constant Forward Velocity
From Formal Specification of Code Mobility to Design and Implementation: An UML-Based Mobile Agent Approach
Wikipedia-Based Kernels for Text Categorization
Self-Organizing Context Aware Agent Systems
Pattern Detection Model for Monitoring Distributed Systems
Marked-Controlled Reconfigurable Workflow Nets
Towards Build-Time Interoperability of Workflow Definition Languages
Scalable and Fault Tolerant Monitoring of Security Parameters in the Cloud
MES Specific Data Analysis. Case Study with the Baxter Robot
Natural Computation for Business Intelligence from Web Usage Mining
Practical Issues in Implementing TRNGs in FPGAs Based on the Ring Oscillator Sampling Method
The Design of Stateful Web Services Based on Web Service Resource Framework Implemented in Globus Toolkit 4
The Driver's Attention Level
The Gradual Computerisation of Mathematics in MathLang
A Theory and an Algorithm of Approximate Gröbner Bases
Implementation Techniques for Mathematical Model Checking
A New Measure Based in the Rough Set Theory to Estimate the Training Set Quality
A Restaurants Recommendation System: Improving Rating Predictions Using Sentiment Analysis
Characterizing Workflow Nets Using Regions
Modeling Ontologies for Time-Dependent Applications
Experimental Study on Parallel Methods for Solving Systems of Equations
Gray-Box Proving in Theorema
An Efficient Maude Formalization of (Rewritable) PT Nets
Frequency Generation for a Quantum Current Sensor in Smart Grids
Dynamic Customization of Data Structures Instances Using an Agent Based Approach
Using sequences of API Calls to identify and classify ransomware families
Resolving Zero Divisors Using Hensel Lifting
The Blockchain, Today and Tomorrow
Excess intersections and numerical irreducible decompositions
Detecting Loss of Diversity for an Efficient Termination of EAs
Portfolio SAT and SMT Solving of Cardinality Constraints in Sensor Network Optimization
Approximate GCD in Lagrange bases
A Multi-agent Architecture for Ontology-Based Diagnosis of Mental Disorders
What are the Latest Cybersecurity Trends? A Case Study Grounded in Language Models
Fault Tolerance Using a Front-End Service for Large Scale Distributed Systems
Minimal Quadtree Format for Compression of Sparse Matrices Storage
An Ant Colony Optimisation Approach to the Densest k-Subgraph Problem
Semi-Automated Wrappers Using Rule Trees
Practical Optimizations for Perceptron Algorithms in Large Malware Dataset
Entropy-Driven Visualization in GView: Unveiling the Unknown in Binary File Formats
A Self Developing System for Medical Data Analysis
Scriptview: BTC Embedded Plaiform® Extension for Test Case Implementation
Expressing BBUFs Lookup Using the π-Calculus
Investigating Landscape Topology for Subpopulation Differentiation in Genetic Chromodynamics
RangeLab: A Static-Analyzer to Bound the Accuracy of Finite-Precision Computations
Common Due-Date Problem: Exact Polynomial Algorithms for a Given Job Sequence
An Extension of the RSA Trapdoor in a KEM/DEM Framework
Mamdani FLC with Various Implications
Designing a Grid-Based Training Platform for Earth Observation
Evaluation of Class Activation Methods for Understanding Image Classification Tasks
Lie Algebra-Valued Hopfield Neural Networks
'Descente Infinie' Induction-Based Saturation Procedures
Tuning Logstash Garbage Collection for High Throughput in a Monitoring Platform
Trust Model for Virtual Organizations
Evolutionary Approach to Negotiation in Game AI
Project Duration Assessment Model Based on Modified Shortest Path Algorithm and Superposition
Undecidability Results for Finite Interactive Systems
On the Abstractness of Continuation Semantics
Central Dogma of Molecular Biology - New Paradigm in Evolutionary Computation
An Architectural Approach for Event-Based Execution Management in Service Oriented Infrastructures
A set-based approach to model checking of nonlinear systems (invited tutorial)
A Symbolic-Numeric Algorithm for Computing the Alexander Polynomial of a Plane Curve Singularity
Shaping Up Clusters with PSO
Leveraging BERT for Natural Language Understanding of Domain-Specific Knowledge
Planar Stretching Flows with Partial Slip
Symbolic and numeric computation of symmetries for a class of Schrödinger Equations
Semantic Web Service Composition Method Based on Fluent Calculus
Image Semantic Segmentation Based on High-Resolution Networks for Monitoring Agricultural Vegetation
The Numerical Solutions for an Elliptic Control Problem
Detecting Triangle-Densest-K-Subgraphs with Simple Nature-Inspired Algorithms
17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015
Groebner Bases and Solutions to Diophantine Equations
On the Maximum Distance Sublattice Problem and Closest Vector Problem
An Analysis of Multitask Deep Learning Models for Histopathology
Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition with Groebner Bases
A GIS Integrated Solution for Traffic Management
Ant Colony Optimisation for Automatically Populating Ontologies with Individuals
Relation Extraction - A Study on Kernel Functions
Counter-Factual Hidden Event Detection: A Proof of Concept Using Machine Learning in Time Series
Common Factors in Fraction-Free Matrix Reduction
Application of T-Splines and Bézier Extraction for Boundary Description in Parametric Integral Equation System for 3D Laplace's Equation
Application Deployment and Management in the Cloud
Hardware Implementation of a Bounded Algorithm for Application of Rules in a Transition P-System
On Corank Two Edge-Bipartite Graphs and Simply Extended Euclidean Diagrams