yusuke1997/dblp-id-title huggingface dataset:
Source Code Vulnerabilities Detection Using Loosely Coupled Data and Control Flows
LLVM RISC-V Target Backend Instruction for Reshape Operator
Censoring Sensitive Data from Images
A Graph Theoretical Approach for Testing Binomiality of Reversible Chemical Reaction Networks
An analytic and symbolic analysis of a coupled thermo-neutronic problem
Theorema 2.0: A Brief Tutorial
Solving Parametric Sparse Linear Systems by Local Blocking, II
A Data Dissemination Algorithm for Opportunistic Networks
Performance Analysis of Generics in Scientific Computing
Cheap Non-Standard Analysis and Computability: Some Applications
An Overview of Obfuscation Techniques used by Malware in Visual Basic for Application Scripts
On Equivalence of Queries Using Views
Timed and Hybrid Automata in SAL
Advantages of a neuro-symbolic solution for monitoring IT infrastructures alerts
Dual Criteria Determination of the Number of Clusters in Data
Resource Bounding for Non-Preemptive Task Scheduling on a Multiprocessor Platform
Continuous Operations and Fully Autonomy of a Social Service Robotic System
Increasing the Upper Bound for the EvoMan Game Competition
Evaluating the effort of building a Machine Learning model for malware detection from ground zero
Implementing Parameterized Type Algorithm Definitions in Mathematica
Approximate Satisfiability Counting
An Efficient Computational Framework for Studying Dynamical Systems
Relating Two Metric Semantics for Parallel Rewriting of Multisets
Linear Algebraic Approach for Home Markings in Live and Bounded Equal Conflict Systems
Building an Object Oriented Computational Algebra System Based on Design Patterns
Approximation of convex polygons by polygons
COMODI: On the Graphical User Interface
Fostering Agentic Play Between Technology and Democracy
Clouds Mask Algorithm
Deciding Whether two Codes Have the Same Ambiguities is in co-NP
A bibliometric overview of the International Symposium on Symbolic and Numeric Algorithms for Scientific Computing between 2005 and 2018
N-Body Simulations with GADGET-2
Experimental Analysis of the Impact of the Message Management in the Case of the ABT Family
Automated Negotiation Strategies Prediction in Multi-agent Systems
Clustering Methods Based on Closest String via Rank Distance
Software Implementation of Numerical Algorithms in Arbitrary Precision
Modeling Design Flaw Evolution Using Complex Systems
Estimation of Prediction Intervals in Neural Network-Based Regression Models
Sparse Matrix Computations Using the Quadtree Storage Format
A Symmetric Nets Emulator for Adaptive P/T Nets
Improving Detection of Malicious Office Documents Using One-Side Classifiers
vanHelsing: A Fast Proof Checker for Debuggable Compiler Verification
Cerebral Metastases Segmentation using Transfer Gliomas Learning and GrabCut
What's Been Happening in the Romanian News Landscape? A Detailed Analysis Grounded in Natural Language Processing Techniques
Invariance in the Class of Weighted Power Means
Algebraic Techniques in Software Verification : Challenges and Opportunities
Trust Model Engines in Cloud Computing
A Tool for Calculating Exponential Run-Time Properties
Maximal Radius for Stabilty Regions of Explicit Runge Kutta Methods by Real Quantifier Elimination
Enhanced Anomaly Detection in Automotive Systems Using SAAD: Statistical Aggregated Anomaly Detection
Communicating Mathematics via Pen-Based Interfaces
Generic High-Speed Design with Low-Area Implementations of Statistical Operations Based on an FPGA Device
Peer-to-Peer Wikis: Replication of Highly Dynamic Content on XWiki
Embedding Formal Methods into Systems Engineering
Decompositions of Natural Numbers: From a Case Study in Mathematical Theory Exploration
Using R-Trees in Content-Based Region Query with Spatial Bounds
Interactive Data Exploration for High-Performance Fluid Flow Computations through Porous Media
Unsupervised Aspect Level Sentiment Analysis Using Self-Organizing Maps
Venn Diagrams for Multisets
Proving Behavioral Commutativity with CIRC
How to Tackle Fake Medical Content with Clustering and Transformers
Searching Ground States of Ising Spin Glasses with a Tree Bond-Based Representation
Advanced Data Integration and Data Mining for Enviromental Scenarios
Dependence of the Oscillatory Movements of an Unmanned Aerial Vehicle on the Forward Velocity
Rule-Based Programming with sigma-Log
Prescriptive Analytics: When Data- and Simulation-based Models Interact in a Cooperative Way
Improving WordNet using Word Embeddings
Uncertainty treatment of a coupled model of thermohydraulics and neutronics using special functions solutions
Lipschitz Bounds for Noise Robustness in Compressive Sensing: Two Algorithms
Automatic Extraction of Lip Based on Wavelet Edge Detection
Axiomatization of Credulous Reasoning in Default Logics using Sequent Calculus
On a Non-periodic Shrinking Generator
Towards Verified Polynomial Factorisation
The Q-ImPrESS Method - An Overview
Towards Automated Quality Assessment Methods in Algorithmic Music Composition
A web version of Tarski, a system for computing with Tarski formulas and semialgebraic sets
Modified Metaheuristics Optimization for Cyberbullying Detection on Online Data Science Platform
On Ladder Operators for Little q-Jacobi Polynomials and Their Generalizations
Type Inference for Regular Expression Pattern Matching
Dynamics Analysis of Parallel Simulations of the Spike Response Model
MACE: Malware Analysis and Clustering Engine
Computing Boolean Border Bases
On Using Perceptual Loss within the U-Net Architecture for the Semantic Inpainting of Textile Artefacts with Traditional Motifs
Bracket Producing Rows and Columns of the Dixon Determinant
Hardware Implementation of P Systems Using Microcontrollers. An Operating Environment for Implementing a Partially Parallel Distributed Architecture
An Improved Upper-Bound Algorithm for Non-preemptive Task Scheduling
Fluorescence Lifetime of NV Centers for Temperature-Insensitive All-Optical Magnetic Field Sensing
Factorizations of Regular Hedge Languages
Register Caching for Stencil Computations on GPUs
DNA Computing Model for the Minimum Spanning Tree Problem
Optimised Hybrid Parallelisation of a CFD Code on Many Core Architectures
MPI-Based Asynchronous Simulation of Spiking Neural Networks on the Grid
An Ontology Selection and Ranking System Based on the Analytic Hierarchy Process
Application of Symbolic Regression in Polymer Processing
SENSAPP as a Reference Platform to Support Cloud Experiments: From the Internet of Things to the Internet of Services
Modeling Workflows with Recursive ECATNets
Visualization and Clustering of Business Process Collections Based on Process Metric Values
Space and Execution Efficient Formats for Modern Processor Architectures
Abstract Matrix Arithmetic
A Keyword Search Algorithm for Structured Peer-to-Peer Networks
A Genetic Clustering Algorithm by Monomial Projection Pursuit
A Comparative Analysis of Genetic Algorithms and NSGA-II on the Portfolio Optimisation Problem
Exploring Chaos with Sparse Kernel Machines
Using Base Pairing Probabilities for MiRNA Recognition
Control Flow Graphs Against Malware: Methods of Analysis and Detection
A Population-Based Incremental Learning Method for Constrained Portfolio Optimisation
A Metric for Evaluating the Usability of File Systems
Automated Negotiation Framework for the Transport Logistics Service
On the Usage of 16 Bit Indices in Recursively Stored Sparse Matrices
PIMS--Multispectral Image Processing Tool for Semantic Information Detection Based on Vegetation Indices
Clustering Heterogeneous Web Data using Clustering by Compression. Cluster Validity
Predicting Blood Glucose Levels Using LSTM
Optimizing Parallel CFD Simulations of 2D Compressible Flows
Proving Reachability Properties by Coinduction (Extended Abstract)
Preventing File-Less Attacks with Machine Learning Techniques
Strong Convergence of the Projection Method in Convex Feasibility Problem
Maxpool operator for RISC-V processor
Algorithmic Experiences in Coxeter Spectral Study of P-critical Edge-Bipartite Graphs and Posets
A Model-Driven DevOps Framework for QoS-Aware Cloud Applications
Scaling-up the Analysis of Neural Networks by Affine Forms: A Block-Wise Noising Approach 1
Principal Directions-Based Algorithm for Classification Tasks
Algebraic Theory Exploration: A Comparison of Technologies
Semantic Service Alignment Using Concept Description Refinement
A Practical Analysis of Techniques for Minting Genetic Information as NFTs in Blockchain Technology
Multi-Agent Architecture for Knowledge Discovery
Symbolic Representations of Biological Oscillations
Compositional Taylor Model Based Validated Integration
Emergence in Problem Solving, Classification and Machine Learning
Algebraic Properties of Generalized Multisets
Primal Congestion Control Algorithms for Multimedia Streams
Combinatorial Techniques for Proof-Based Synthesis of Sorting Algorithms
Searching Simulation Scenarios on the Grid with ELSIGExplorer
Characterizing Tractability with Membrane Creation
A Hybrid Algorithm for Solving 7 Parameters Transformation
Properties of Multiset Orders by Minimal and Maximal Submultisets
On Applying GraphLime for Trustworthy Diabet Prediction
Reducing Partial Equivalence to Partial Correctness
Generic Encodings and Static Analysis of Constructor Rewriting Systems
A Probabilistic Model-Free Approach in Learning Multivariate Noisy Linear Systems
FB-RO-Offense - A Romanian Dataset and Baseline Models for Detecting Offensive Language in Facebook Comments
WARP: Efficient Automatic Web Service Composition
P Colonies Working in the Maximally Parallel and in the Sequential Mode
Effective Nondeterministic Positive Definiteness Test for Unidiagonal Integral Matrices
Heuristic Algorithms for the Longest Filled Common Subsequence Problem
Superfluous S-polynomials in Strategy-Independent Groebner Bases
Maximum Likelihood Estimation Algorithm Evaluation for Wireless Sensor Networks
Efficient Parallel Simulations of Wireless Signal Wave Propagation
On Issues Concerning Cloud Environments in Scope of Scalable Multi-Projection Methods
Instantiating Nets and Their Applications to Workflow Nets
Engineering Drug Design Using a Multi-Input Multi-Output Neuro-Fuzzy System
Emotional Ant Based Modeling of Crowd Dynamics
A Formal Specification and Performance Evaluation of the Purchase Phase in the SET Protocol
On Symport/Antiport P Systems with One or Two Symbols
Scheme-Based Systematic Exploration of Natural Numbers
Learning Dispatching Rules for Flexible Assembly Scheduling Problems Using Deep Reinforcement Learning
Steel Phase Kinetics Modeling using Symbolic Regression
Analysis of the Influence of Bound Constraint Handling Strategies on the Search Direction in Differential Evolution Algorithms
Class-Incremental Learning Enhanced: Assessing New Exemplar Selection Strategies in the iCaRL Framework
Tracking Method for Reparametrized Geometrical Constraint Systems
NSGA-II: Implementation and Performance Metrics Extraction for CPU and GPU
BronchoX-Cloud: A Diagnostic as a Service Cloud Platform for Planning and Navigation Bronchoscopy
Computing the Lowest-Order Element of a Multivariate Elimination Ideal by Using Remainder Sequences
Active Objects Based Application over Grid Environment
Existence and Static Stability of a Capillary Free Surface Appearing in a Dewetted Bridgman Process II
Clustering to Improve Microblog Stream Summarization
Catamorphism Generation and Fusion Using Coq
GPU Solver for Systems of Linear Equations with Infinite Precision
Dilatability to Quantum Linear Cellular Automata
Issues in Handling Complex Data Structures with NoSQL Databases
Constructive Realizable Multi-resolution Wavelet-Like Systems Based on Multi-windows Spline-Type Spaces
The CAD Conundrum: Lex-Least vs Order
A Model for Parallel Evolutionary Search
Intelligent Stock Market Analysis System - A Fundamental and Macro-economical Analysis Approach
Ordinary Differential Equations & Computability
Hierarchical Scheduling in on-demand GPU-as-a-Service Systems
Deep Learning Techniques Used in Multi-Temporal Urban Development Prediction
Towards a Mapping from Java Vocabulary to RDFS
Fact-checking with explanations
Variable Density Based Genetic Clustering
Improving Pen-Based Mathematical Interfaces
Complementaries of Greek Means with Respect to the Logarithmic Mean
A Distributed Solver for Dense Linear Feasibility Systems
ARTIST Methodology and Framework: A Novel Approach for the Migration of Legacy Software on the Cloud
22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020, Timisoara, Romania, September 1-4, 2020
Clustering Based Automatic Refactorings Identification
On the Newton's Iterative Method for the Characteristic Equation of a Real Symmetric Matrix
Improving Malware Detection Response Time with Behavior-Based Statistical Analysis Techniques
MATLAB Package for Laguerre Spectral Method
Improving Ant Systems Using a Local Updating Rule
On the Interpolation Trigonometric Polynomial with an Arbitrary Even Number of Nodes
iComponent: A Platform Independent Component Model for Dynamic Execution Environments
Text Mining News System - Quantifying Certain Phenomena Effect on the Stock Market Behavior
NSC-PSO, a Novel PSO Variant without Speeds and Coefficients
Expressive Data Storage Policies for Multi-cloud Storage Configurations
An End-to-End Framework for Business Compliance in Process-Driven SOAs
18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016, Timisoara, Romania, September 24-27, 2016
Localizing Pulmonary Lesions Using Fuzzy Deep Learning
SLA-Based Secure Cloud Application Development: The SPECS Framework
Intelligent Web-History Based on a Hybrid Clustering Algorithm for Future-Internet Systems
Feasibility of an Agent-Based Investment Platform for Renewable Energy Source Implementation
A Distributed Architecture System for Recognizing Textual Entailment
A Hierarchy of Tractable Subclasses for SAT and Counting SAT Problems
Using Mobile Agents and Intelligent Data Analysis Techniques for Climate Environment Modeling and Weather Analysis and Prediction
Bound Propagation for Arithmetic Reasoning in Vampire
On the Computation of the Hansen Coefficients
Modeling real estate dynamics using survival analysis
Measuring and Visualizing the Scrappiness Level of a Website
Gender Issues in Computer Science: Lessons Learnt and Reflections for the Future
A Rigorous Generic Branch and Bound Solver for Nonlinear Problems
HTML Pattern Generator--Automatic Data Extraction from Web Pages
20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018
Specifications and Verification of Network Protocols by Process Algebra
Time Slot Groups - A Data Structure for QoS-Constrained Advance Bandwidth Reservation and Admission Control
Shapley Value and Extremal Optimization for the Network Influence Maximization Problem
On Computing Non-negative Loop-Free Edge-Bipartite Graphs
The Cleisthenes Protocol: A Fair Governance-Based Democratic Consensus Algorithm
On Generating Trees by P Systems with Active Membranes
Timed Workflow Nets
Technical Debt Prediction
Solving 2-D Pattern Matching using Networks of Polarized Picture Processors with Circular Permutation
A Novel Approach for Software Defect Prediction Using Fuzzy Decision Trees
Volume Estimation in Point Cloud using Multi-Agent System
Framework for Testing Service Compositions
Continuation Semantics for Concurrency Applied to Parallel Rewriting of Multisets
Bridging Two Communities to Solve Real Problems
Avoiding Segmentation in Multi-Digit Numeral String Recognition by Combining Single and Two-Digit Classifiers Trained without Negative Examples
Overview of Machine Learning Methods for Stroke Detection using Weather Data
A Cryptographic Keys Transfer Protocol for Secure Communicating Systems
On a Functional-Differential Equation from Price Theory
Gauss-Lobatto-Kronrod Formulae and Adaptive Numerical Integration
A Serious Game to Learn Greek Doric Architecture
Cluster Based Modeling and Remote Visualization of Virtual Geographical Space
A Computational Framework for the Study of Partition Functions and Graph Polynomials
Selective Breeding Analysed as a Communication Channel: Channel Capacity as a Fundamental Limit on Adaptive Complexity
ReFaM: A Software Tool for Minimizing Nondeterministic Finite Automata
Beliefs and Communication, The Basis of Collaborative Agents
Enhancing Dental Radiographic Images in Spline-Type Spaces
Identifiability and Noise Robustness for l1-Analysis Regularizations in Compressive Sensing
Dynamic Stacking Optimization in Uncertain Environments: A Rolling Mill Complex System
A Numerical Method for Analyzing the Stability of Bi-Parametric Biological Systems
Enhanced Rule-Based Phonetic Transcription for the Romanian Language
Authors and Collaborator Groups Ranking Analysis on SYNASC using Centrality Measures
Mineral Explorations by Landsat Image Ratios
Surveillance System in Service-Oriented Manner
A Boolean Approach for Detection of Frequent Items
Reasoning with Quantifiers and Theories Using Saturation-Based Reasoning
Implementation of Publisher-Subscriber Paradigm Using Virtual Organisms
A Comparison of Open-Source Static Analysis Tools for Vulnerability Detection in C/C++ Code
Partial Finitely Generated Bi-Ideals
Glacier Movement Prediction through Computer Vision and Satellite Imagery
An Adaptive Recommender System for Human Resource Allocation in Software Projects - Initial Results on an Agent-Based Simulation
A CiteSeerX-Based Dataset for Record Linkage and Metadata Extraction
Symbolic Regression on Noisy Data with Genetic and Gene Expression Programming
Comparison of OLS and NLS to fit Transformation-Interaction-Rational expressions
Challenges in Verifying Arithmetic Circuits Using Computer Algebra
Symbolic-Numeric Cooperation in an Open Science Project
Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation co-located with 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016), Timisoara, Romania, September 24, 2016
The Runner - Recommender System of Workout and Nutrition for Runners
An Algebraic Petri Nets Emulator
A general construction for generating pseudorandom sequences using the digit expansion of real functions
Minability through Compression
Hybrid Fuzzy Rule-Based Classification
Implication-Based Support Measures for Fuzzy Association Rules
Secrecy for Bounded Security Protocols under Composed Keys and Disequality Tests
Labelled Tableaux for Temporal Logic with Cardinality Constraints
Some Family Relations for Rational Orthogonal Matrices
Subdivision and Schröder's Polynomial Root-Finders Combined
13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011
Concurrent Reflective Abstract State Machines
Verifying (In-)Stability in Floating-Point Programs by Increasing Precision, Using SMT Solving
Job Scheduling and Bin Packing from a Game Theoretical Perspective: An Evolutionary Approach
Context Matching for Ambient Intelligence Applications
Computing Self-intersection Loci of Parametrized Surfaces Using Regular Systems and Groebner Bases
Intelligent Optimization Approach of Eigenstructure Assignment Based Flight Control for Advanced Fighter
Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), 25-29 September 2005, Timisoara, Romania
General Sum-Connectivity Index with α ≥ 1 for Trees and Unicyclic Graphs with k Pendants
Interactive vs. Automated Proofs in Computational Origami
Toward an Optimal Power-Aware Scheduling Technique
Graphic Design for Architectural Serious Games
Long Integers and Polynomial Evaluation with Estrin's Scheme
A Study of Multiparty Interactions in Continuation Semantics
Evolved Cellular Automata for Edge Detection in Grayscale Images
Agent-Based Hospital Scheduling System
Reducing the Number of Useless Revisions Performed by Constraint Solvers Based on AC-3
Quality Assurance for Open Source Software Configuration Management
Path Directed Symbolic Execution in the K Framework
Hybrid Intervals and Symbolic Block Matrices
MultiNetCom: An Extended Framework for Communities Detection in Multi-relational Networks
An Efficient Scheduling Algorithm for the Multiprocessor Platform
Evolving Mathematical Formulas using LINQ Expression Trees and Direct Applications to Credit Scoring
Integration of Association Rule Detection with Rule-Based Ontological Support for Product Recommendation
Integration of Jason Reinforcement Learning Agents into an Interactive Application
A Policy-Based Context Aware Self-Management Model
On Coxeter Type Classification of Loop-Free Edge-Bipartite Graphs and Matrix Morsifications
The Time Yards Model - Rethinking the Way to Look at Texts
Symbolic Modeling of Database Representations
Optimal Inequality Factor for Ehrlich-Aberth's Method
Towards an Automatic Tool for Multi-scale Model Derivation Illustrated with a Micro-mirror Array
Using E-Connection and Description Logic for Formalizing and Analyzing High-Level Petri Net
A Distributed File System over Heterogeneous SaaS Storage Platforms
A Generalization of the Cellular Automata Rule-30 Cryptoscheme
Knot Coloring as Verification
OrcFS: Organized Relationships between Components of the File System for Efficient File Retrieval
Cloud Service Failure Prediction on Google's Borg Cluster Traces Using Traditional Machine Learning
Knot Fold of Regular Polygons: Computer-Assisted Construction and Verification
Branching Programs, Grammar Systems and the NC1 Class
Web-Based Service for Collaborative Organization of Academic Events - Case Study of "Takeplace"
An Approach of Segmentation Method Using Deep Learning for CT Medical Images
A New Core-Based Method for Hierarchical Incremental Clustering
Supporting the Development and Operation of Multi-cloud Applications: The MODAClouds Approach
Detecting Implicit Indeterminates in Symbolic Computation
Outliers Detection in Analysis of Cognitive Emotion Regulation Questionnaire for Teenagers
Efficiently Optimizing Crane Scheduling: A Rule-Based Approach for Dynamic and Uncertain Environments
Determining the Number of Messages Transmitted for the Temporary Links in the Case of ABT Family Techniques
Design and Validation of Cloud Storage Systems Using Rewriting Logic
An Editor Calculus With Undo/Redo
Multi-Population Agent Search: Stigmergy and Heterogeneity
21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2019, Timisoara, Romania, September 4-7, 2019
Service Lifecycle in the Cloud Environment
Detecting Manipulated Citations through Disturbed Node2Vec Embedding
A New Nature-Inspired Computation Model Ising Model with Rays
Computational Properties of Two P Systems Solving the 3-colouring Problem
Detecting Individuals High in Neuroticism based on the Color Features of the Facebook Profile Picture
Using Numerical Insights to Improve Symbolic Computations
16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014
Symbol Elimination in Program Analysis
Solving Storage Limitations Using a Peer-to-Peer Web File System
Automated Synthesis of Some Algorithms on Finite Sets
Deep Learning Techniques Applied for Road Segmentation
Polynomial GCD and Factorization via Approximate Gröbner Bases
On Some Problems of Efficient Inference Search in First-Order Cut-Free Modal Sequent Calculi
Formal Proof of Theorems on Genetic Regulatory Networks
Genetic Improvement of Programs
High-Probability Mutation in Basic Genetic Algorithms
Probabilistic Approach for Automated Reasoning for Lane Identification in Intelligent Vehicles
The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic
Strategy-Based and Knowledge-Based Models of Information Flow: Equivalence and Decidability
Rules for Learner Modeling and Adaptation Provisioning in an Educational Hypermedia System
One and Two Polarizations, Membrane Creation and Objects Complexity in P Systems
A Quality Measure for Multi-Level Community Structure
Dynamic Clustering of Gene Expression Data Using a Fuzzy Approach
One side class SVM training methods for malware detection