yusuke1997/dblp-id-title huggingface dataset:
Structural Equation Modelling Using AMOS based Empirical Analysis: Direct and Indirect Effects of Job Performance Factors among Jordanian Islamic Banks
Design of a Fracture Detection System based on Deep Program in a Convolutional Neural Network
Educational Impact and Open Access Journals
Wikipedia popularity from a citation analysis point of view
Highly-alted articles in Library and Information Science
Analysis of Fundamental Services in Kupang City NUSA Tenggara Timur
Patent Citations to Webology Journal on the USPTO Database
Impact of ResearchGate on Increasing Citations and Usage Counts of Hot Papers in Clinical Medicine Indexed in Web of Science
Opposition based Spider Monkey Optimization Algorithm for Load Balancing in LTE Network
Internet and Social Media Addiction
Information Seeking Behaviour of Faculty Members of Rajabhat Universities in Bangkok
Forecasting as an Element the Activity Development of a Sports Organization
Prediction of Students' Performance based on Academic, Behaviour, Extra and Co-Curricular Activities
Detection of Rice Diseases by the Fusion of Optimization based K-means Clustering Algorithm and Faster Region based Convolutional Neural Network
An assessment of the accessibility of spatial data from the Internet to facilitate further participation with geographical information systems for novice indigenous users in South Australia
Application of web 2.0 tools by national libraries
Conceptual Origins, Technological Advancements, and Impacts of Using Virtual Reality Technology in Education
Techniques for text classification: Literature review and current trends
Roles of information systems in socio-legal context
The Impact of Modernization on the Batak Toba General System
Application of Web 2.0 Tools in Medical Librarianship to Support Medicine 2.0
Improving the Efficiency of Deduplication Process by Dedicated Hash Table for each Digital Data Type in Cloud Storage System
Basic Model of Work-life Balance for Married Women Working in Public Sector in Penang, Malaysia
Optimized Node Clustering based on Received Signal Strength with Particle Ordered-filter Routing Used in VANET
Computer Assisted Learning (CAL): A Learning Support System Solution
A Framework Using Binary Cross Entropy - Gradient Boost Hybrid Ensemble Classifier for Imbalanced Data Classification
Tell Me Why Bob Dylan and the Beatles Song Titles Are Used in Biomedical Literature
Citation relations of theories of human information behaviour
Resource Gleaning, From Earlier Times to the Information Age
Web Impact Factors for Iranian Universities
Global Information Inequalities: Bridging the Information Gap / Deborah H. Charbonneau
Evaluation of Effective Indicators on Promotion of Webometric Rank of Golestan University of Medical Sciences Website
The Practice of Total Quality Management and Sustainable Competitive Advantage: Perspectives from Commercial Banks in Nigeria
Geographical Distribution of Blogs in the United States
Metadata and Its Impact on Libraries / Sheila S. Intner, Susan I. Lazinger & Jean Weihs
Prediction of the Academic Achievement of Pupils Using Data Mining Techniques
Disinformation and Miscommunication in Government Communication in Handling COVID-19 Pandemic
Abstractive Review Summarization based on Improved Attention Mechanism with Pointer Generator Network Model
The Enhanced Forensic Examination and Analysis for Mobile Cloud Platform by Applying Data Mining Methods
Generating Best Features for Web Page Classification
Predicting Academic Performance of Deaf Students Using Feed Forward Neural Network and An Improved PSO Algorithm
Android based Diabetic Manager to Enhance Compliance and to Control Blood Glucose Level among Type 2 Diabetic Patients in Magelang, Central Java, Indonesia
Social Media Application in Indonesian Academic Libraries
Benefits of Videos in YouTube for the Undergraduate Students in Engineering and Technology in India
On Ontology Alignment Experiments
A Bibliometric Analysis and Visualization of the Scientific Publications of Universities: A Study of Hamadan University of Medical Sciences during 1992-2018
Adjunctions Between Categories of Domains
Approximating the Stable Model Semantics is Hard
Non-differentiable Solutions for Local Fractional Nonlinear Riccati Differential Equations
An Improvement to Image Segment Based on Human Visual System for Object-based Coding
KNN Loss and Deep KNN
On the Properties of the Priority Deriving Procedure in the Pairwise Comparisons Method
Small Semi-Thue System Universal with Respect to the Termination Problem
Tissue-like P Systems with Active Membranes for Picture Generation
Mathematical Support for the Geometric Mean when Deriving a Consistent Matrix from a Pairwise Ratio Matrix
Infinite Hierarchy of Permutation Languages
Free-choice Nets with Home Clusters are Lucent
TBase2 - a Web-Based Electronic Patient Record
Analyzing Paths in Time Petri Nets
A Theory of Distributed Markov Chains
A Greedy Algorithm for Construction of Decision Trees for Tables with Many-Valued Decisions - A Comparative Study
Attribute-based Data Integrity Checking for Cloud Storage
Hybrid Watermarking Algorithm using Finite Radon and Fractional Fourier Transform
General Response Time Computation for the Deadline Driven Scheduling of Periodic Tasks
A Comparison of Rough Set Methods and Representative Inductive Learning Algorithms
New Iteration Lemmata for Regular Languages
Rough Relation Algebras
A survey of normal form covers for regular grammars
A 3D Bayesian Computed Tomography Reconstruction Algorithm with Gauss-Markov-Potts Prior Model and its Application to Real Data
An Adaptive Coarse Graining Method for Signal Transduction in Three Dimensions
On Generalized Ajdukiewicz and Lambek Calculi and Grammars
Comparison of Rough-Set and Interval-Set Models for Uncertain Reasoning
Existence Results for Fractional Evolution Systems with Riemann-Liouville Fractional Derivatives and Nonlocal Conditions
The Ground Tree Transducer Game with Identical Tree Automata
Texture Analysis Method Based on Fractional Fourier Entropy and Fitness-scaling Adaptive Genetic Algorithm for Detecting Left-sided and Right-sided Sensorineural Hearing Loss
Almost Periodic Configurations on Linear Cellular Automata
A Geometrical Hierarchy on Graphs via Cellular Automata
The Long-Term Benefits of Following Fairness Norms under Dynamics of Learning and Evolution
Hybridization of ICBC and Genetic Algorithm for Optimizing Encryption Process in Cloud Computing Application Service
Exact and Approximate Algorithms for Computing Betweenness Centrality in Directed Graphs
Embedding Event Algebras and Process for ECA Rules for the Semantic Web
Permutation Representation of 3 and 4-Homogenous Latin Bitrades
Method to find the Minimum 1D Linear Gradient Model for Seismic Tomography
On countable RCC models
Multistrategy Operators for Relational Learning and Their Cooperation
On the algorithmic theory of stacks
A note on M-growth functions of FTOL systems with rank
An Analysis of Probabilistic Approximations for Rule Induction from Incomplete Data Sets
Concatenable Weighted Pomsets and Their Applications to Modelling Processes of Petri Nets
Monadic Algebras: a Standpoint on Rough Sets
Abducible Semantics and Argumentation
An Adaptive Steganographic Scheme for Color Images
Three Universal Homogeneous Spiking Neural P Systems Using Max Spike
Modular Construction of Finite and Complete Prefixes of Petri net Unfoldings
Grasp and Path-Relinking for Coalition Structure Generation
Communication Leading to Subgroup Nash Equilibrium for Generalized Information
On the Relationship Between Multiple Brackets and Selector Languages in Bracketed Contextual Grammars
Revealed Preference, Congruence and Rationality: A Fuzzy Approach
Disjunctive Total Domination Subdivision Number of Graphs
How to Compute Times of Random Walks Based Distributed Algorithms
An Empirical Study of Using Rule Induction and Rough Sets to Software Cost Estimation
An Investigation About Rough Set Theory: Some Foundational and Mathematical Aspects
On the Generation of Aperiodic and Periodic Necklaces via T-augmentation
A Categorical View on Algebraic Lattices in Formal Concept Analysis
On the Undecidability of Attractor Properties for Cellular Automata
A Design of Real-Time Non-Regular Sequence Generation Algorithms and Their Implementations on Cellular Automata with 1-Bit Inter-Cell Communications
Eliminating Switching Components in Binary Matrices by 0-1 Flips and Column Permutations
Undecidable Fragments of Term Algebras with Subterm Relation
A Study of Interconnections Between Rough and 3-Valued Lukasiewicz Logics
Learning First-Order Rules: A Rough Set Approach
Process Algebra Contexts and Security Properties
Learning Relations: An Evaluation of Search Strategies
On Networks of Evolutionary Processors with Filters Accepted by Two-State-Automata
Improved Resulted Word Counts Optimizer for Automatic Image Annotation Problem
An Inverse Halftoning Technique Using Modified Look-Up Tables
Similarity in Grammar Systems
Evaluating Compliance: From LTL to Abductive Logic Programming
Monitoring Changes in Dynamic Multiset Systems
Dualities for Algebras of Fitting's Many-Valued Modal Logics
Preventing Cheating in Computational Visual Cryptography
Nested Petri Nets: Multi-level and Recursive Systems
Quantitative Analysis of Lattice-valued Kripke Structures
A note on the intersection of context-free languages
Deterministic and Unambiguous Families within Recognizable Two-dimensional Languages
Natural Frames and Self-dual Logics
Cellular Automata and Parallel Array Systems
A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell
Solving Distributed CSPs Probabilistically
Reformulating Learning Vector Quantization and Radial Basis Neural Networks
Modal nonmonotonic logic with restricted application of the negation as failure to prove rule
On the Insecurity of an Identity Based Proxy Re-encryption Scheme
Modal Equivalence and Bisimilarity in Many-valued Modal Logics with Many-valued Accessibility Relations
On the Compared Expressiveness of Arc, Place and Transition Time Petri Nets
Dynamical Teams in Eco-Grammar Systems
An Open Automated Framework for Constraint Solver Extension: the SoleX Approach
Social Network Optimization for Cluster Ensemble Selection
Commitment-based Agent Interaction in JaCaMo+
Cellular automata on tress, a model for parallel computation
From Rough Sets to Rough Knowledge Bases
Parametric Schedulability Analysis of a Launcher Flight Control System under Reactivity Constraints
Complete Process Semantics of Petri Nets
A Similarity Measure for Cyclic Unary Regular Languages
Post-processing of BRACID Rules Induced from Imbalanced Data
On the Power of Compositional Proofs for Nets: Relationships Between Completeness and Modularity
Type Inference: Some Results, Some Problems
Graph Transformation Systems for Modeling Three Dimensional Finite Element Method. Part II
Cause-Effect Structures - Structural and Semantic Properties Revisited
Homogeneous Spiking Neural P Systems
Monteiro Spaces and Rough Sets Determined by Quasiorder Relations: Models for Nelson algebras
State Complexity of Union and Intersection for Two-way Nondeterministic Finite Automata
Stochastic Model of Evolutionary and Immunological Multi-Agent Systems: Parallel Execution of Local Actions
Processes of Contextual Nets and their Characteristics
Simulating Turing Machines by P Systems with External Output
Incidence Calculus on Lukasiewicz's Three-valued Logic
Information in a Two-Stage Decision Process. General Idea and Classification
Construction and Enumeration of All Binary Duadic Codes of Length p m
State Complexity of Basic Operations on Non-Returning Regular Languages
On the Computational Power of Querying the History
Detecting Insider Malicious Activities in Cloud Collaboration Systems
Approximating a Shortest Watchman Route
Descriptional independence and the formal definition of sequential control structure
Dynamic Exploration of Multi-agent Systems with Periodic Timed Tasks
AUTHOR INDEX VOLUME 156
Romanian Academy Calea Victoriei 125, Bucharest, Romania Locally Derivable Graphs
Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example
Graph Transformation Systems for Modeling Three Dimensional Finite Element Method. Part I
On P Systems and Almost Periodicity
A New Multi-Step Backward Cloud Transformation Algorithm Based on Normal Cloud Model
Rule-Based Constraint Programming
Congruences Generated by Extended Ground Term Rewrite Systems
Compile the Hypothesis Space: Do it Once, Use it Often
Decision Prediction Using Visual Patterns
Decidability and Universality in Symbolic Dynamical Systems
Operation Properties and Algebraic Application of Covering Rough Sets
A Note on Métivier's Construction of Asynchronous Automata for Triangulated Graphs
A Method for Automatic Program Inversion Based on LR(0) Parsing
On Grammatical inference and derivational complexity of context grammars
Deep Learning Optimization Tasks and Metaheuristic Methods
Andrzej Grzegorczyk: Logic and Philosophy
On message deliverability and non-uniform receptivity
Smart Tile Self-Assembly and Replication
Artificial Bee Colony Algorithm for the Protein Structure Prediction Based on the Toy Model
Rough Approximations Based on Valued Tolerance Relations
On Topological Hierarchies of Temporal Properties
Weighted Spiking Neural P Systems with Rules on Synapses
Rough-Set Reasoning about Uncertain Data
Bijective Counting of Involutive Baxter Permutations
The Halting Probability via Wang Tiles
Type Inference with Extended Pattern Matching and Subtypes
Heuristics to Solve a Real-world Asymmetric Vehicle Routing Problem with Side Constraints
On Infinite Divisibility of Convolution and Mapping Kernels
GPU-optimized Direct Fourier Method for On-line Tomography
Relaxed Update and Partition Network Games
Universal Reversible Turing Machines with a Small Number of Tape Symbols
Checking Consistency of an ABox w.r.t. Global Assumptions in PDL
On Minimal Inhibitory Rules for Almost All k-Valued Information Systems
Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation
Regulated Nondeterminism in Pushdown Automata: The Non-Regular Case
Information Divergence Criterion in Speech Signal Recognition
A qualitative theory of uncertainty
Synthesis and Analysis of Net Structures and Transition Graphs with Inhibitor Relations
Synthesis of Petri Net Models: A Rough Set Approach
Cellular Resource-Driven Automata
The Outline of an Ontology for the Rough Set Theory and its Applications
SAT-based Reachability Checking for Timed Automata with Diagonal Constraints
Names, Equations, Relations: Practical Ways to Reason About New
Applications of Kolmogorov Complexity and Universal Codes to Nonparametric Estimation of Characteristics of Time Series
On Quasi-discrete Fuzzy Closure Spaces
Dominance Diagrams: A Tool for Qualitative Reasoning About Continuous Systems
Survey: Weighted Extended Top-down Tree Transducers Part II - Application in Machine Translation
A Value-propagating Transformation Technique for Datalog Programs Based on Non-Deterministic Constructs
Efficient Parallel Query Processing by Graph Ranking
Hybridization of the Gravitational Search Algorithm and Big Bang-Big Crunch Algorithm for Data Clustering
A Logic-Algebraic Approach to Graded Inclusion
Fast Data Compression with Antidictionaries
Constructing the Least Models for Positive Modal Logic Programs
Graph Theoretical and Algorithmic Characterizations of Positive Definite Symmetric Quasi-Cartan Matrices
Application of Rule Induction and Rough Sets to Verification of Magnetic Resonance Diagnosis
A Generalization of Join and an Algorithmic Recognition Problem
The Complexity of Restricted Variants of the Stable Paths Problem
Directed Overlap-inclusion Graphs as Representations of Ciliate Genes
Interpreted Trajectories
Designing and Learning Substitutable Plane Graph Grammars
Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees
Best Fairness Hierarchy in Elementary Nets
A Classification Theory of Semantics of Normal Logic Programs: I. Strong Properties
A Computational Model for The Access to Medical Service in a Basic Prototype of a Healthcare System
Languages Accepted by Weighted Restarting Automata
Generation of Database Transactions with Petri Nets
Reasoning about Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure
Function Approximation and Quality Measures in Rough-Granular Systems
Fast VQ Codebook Generation Method Using Codeword Stability Check and Finite State Concept
An Experimental Comparison of Algebraic Crossover Operators for Permutation Problems
On Synchronization in P Systems
Expressiveness of Petri Nets with Stopwatches. Discrete-time Part
Adaptive Rough Entropy Clustering Algorithms in Image Segmentation
Oritatami System; a Survey and the Impossibility of Simple Simulation at Small Delays
A Characterization of Regular Languages as Equality Sets of HDT0L Sequences
Multi-agent Approach to Dynamic Pick-up and Delivery Problem with Uncertain Knowledge about Future Transport Demands
Periodic Partial Words and Random Bipartite Graphs
Set-theoretic Approaches to Granular Computing
Reasoning in Information Maps
On Decomposition for Incomplete Data
Finite Completeness of Categories of Petri Nets
A Rough Set Theoretic Approach to Clustering
Spatio-Temporal Approximate Reasoning over Complex Objects
Points in point-free mereotopology
Public Announcement Logic in Geometric Frameworks
The State Complexity of Two Combined Operations: Star of Catenation and Star of Reversal
Chameleon Hash Functions and One-Time Signature Schemes from Inner Automorphism Groups
Tolerance Soft Set Relation on a Soft Set and its Matrix Applications
On the power of two-dimensional synchronized alternating finite automata
Simple EOL forms under uniform interpretation generating CF languages
AC is Equivalent to the Coherence Principle. Corrigendum to my Paper "Induction Principles for Sets"
Structures of Opposition in Fuzzy Rough Sets
Decidability Questions for Insertion Systems and Related Models
Distinguishability Operations and Closures
Reachability in Contextual Nets
An Improved Harmony Search Algorithm with Differential Mutation Operator
Infinite Unfolding and Transformations of Nondeterministic Programs
Formalisation of a Production System Modelling Language The operational semantics of c Core
Assessing Rough Classifiers
Contextual P Systems
On Seeking Consensus Between Document Similarity Measures
A Non-linear Split Error Detection Code
A Generic Methodological Framework for Cyber-ITS: Using Cyber-infrastructure in ITS Data Analysis Cases
On Commuting Parikh q -Matrices
Discrete Duality for Tense Łukasiewicz-Moisil Algebras
Discrete Tomography Data Footprint Reduction via Natural Compression
Calculi of Approximation Spaces
Towards a Behavioral Algebraic Theory of Logical Valuations
Perception and Classification. A Note on Near Sets and Rough Sets
On the Branching Complexity of P Systems
Machines, Computations and Universality
Utilizing BDI Agents and a Topological Theory for Mining Online Social Networks
Continuation Semantics for Asynchronous Concurrency
On Cooperating Distributed Grammar Systems with Competence Based Start and Stop Conditions
Simple Gene Assembly Is Deterministic
A Partial Order Representation of Processes of Transforming Graphs
Experimental Study on Multivalued Phantoms Using Different Filters in the DART Algorithm
The Hamiltonian Cycle and Travelling Salesman Problems in cP Systems
On Sets of Terms: A Study of a Generalisation Relation and of Its Algorithmic Properties
A Rough Set Model of Information Retrieval
(Un-)Decidability of Geometric Properties of Pictures Generated by Collage Grammars
Unveiling the Hidden Dimension of Pedestrian Crowds: Introducing Personal Space and Crowding into Simulations
Application of a Rough Set-Based Inductive Learning System
Concurrency Semantics in Continuation-Passing Style
Multi-Relational Model Tree Induction Tightly-Coupled with a Relational Database
Ellipse Invariant Algorithm for Texture Classification
A New Partial Semantics for Disjunctive Deductive Databases
Dynamic Hierarchical Machines
Using Distance Functions to Solve Representation Choice Problems
The metric space of infinite trees. Algebraic and topological properties
Adaptive Method of Adjusting Flowgraph for Route Reconstruction in Video Surveillance Systems
A logical approach to control. The concept of Inner Implication
Discovering Object-centric Petri Nets
Tissue P Systems with Protein on Cells
On Computing Extensions and Restrictions of Information Systems Noting Some Order Properties
Duality via Truth for Information Algebras Based on De Morgan Lattices
Balances of m-bonacci Words
Undecidability in Integer Weighted Finite Automata
On Computing Average Common Substring Over Run Length Encoded Sequences
A Formal Syntax of Natural Languages and the Deductive Grammar
Design of Epidemic Computer Virus Model with Effect of Quarantine in the Presence of Immunity
Public-Key Cryptography Based on a Cubic Extension of the Lucas Functions
Communities of Interacting Automata for Modelling Distributed Systems with Dynamic Structure
A Lower Bound on the Growth of Functions Computed by Tree Transducers
Di-Algebraic Semantics of Logics
A Modal Logic for Indiscernibility and Complementarity in Information Systems
On Simsun and Double Simsun Permutations Avoiding a Pattern of Length Three
Bounded Model Checking for the Universal Fragment of CTL
Myhill-Nerode Theorem for Higher-Dimensional Automata
Some Novel Pythagorean Fuzzy Interaction Aggregation Operators in Multiple Attribute Decision Making
On Average Time Complexity of Decision Trees and Branching Programs
A New Algorithm for Building Alphabetic Minimax Trees
On {ℓ}-Metric Dimensions in Graphs
Path Languages of Random Permitting Context Tree Grammars are Regular
Intersection Types from a Proof-theoretic Perspective
for Data: Differentiating Data Structures
Attribute Reduction Using Extension of Covering Approximation Space
Dynamic Behaviour of Spatial Signal OR-Graphs
Intermediate Results Materialization Selection and Format for Data-Intensive Flows
Supporting Textual Input by Using Multiple Entropy Models
Rough Fuzzy Concept Analysis
Categories and Algebras from Rough Sets: New Facets
Local Face Antimagic Evaluations and Coloring of Plane Graphs
Instruction Sequences with Dynamically Instantiated Instructions
Compact Suffix Array - A Space-Efficient Full-Text Index
Logic Programming Representation of the Compound Term Composition Algebra
Synthesis of Transition Systems from Quantum Logics
About the Depth of Decision Trees Computing Boolean Functions
Modelling Search Engines Performance Using Coloured Petri Nets
Decision problems in generalized vector addition systems
Attribute Exploration of Properties of Functions on Sets
Linearity, Non-determinism and Solvability
An Algebraic Formalization of the Relationship between Evidential Structures and Data Tables
The AltaRica Formalism for Describing Concurrent Systems
Finite Markov Chain Results in Evolutionary Computation: A Tour d'Horizon
A New Sandpile Model with Smoothness Assumptions
omega-rewriting the Collatz Problem
Size Constrained Distance Clustering: Separation Properties and Some Complexity Results
Synthesis of Reo Connectors for Strategies and Controllers
Maximally Parallel Probabilistic Semantics for Multiset Rewriting
On the Representation of Action and Agency in the Theory of Normative Positions
On Minimization and Learning of Deterministic ω-Automata in the Presence of Don't Care Words
A Multi-level Refinement Approach for Structural Synthesis of Optimal Probabilistic Models
Some Issues on Inner Structure of Information. A Definition of the Decision Making Problem
Minimal Description and Maximal Description in Covering-based Rough Sets
Describing Membrane Computations with a Chemical Calculus
On Deterministic Reduction of Factoring Integers to Computing the Exponents of Elements in Modular Group
Universality of Splicing Test Tube Systems with Two Tubes
Naming a Channel with Beeps
Friendly Color Visual Secret Sharing by Random Grids
High Accuracy Asymptotic Bounds on the BDD Size and Weight of the Hardest Functions
A Unified Definition of Consistent Functions
Reducts and Constructs in Attribute Reduction