OOIR: Observatory of International Research

Papers

(The TQCC of Logic Journal of the Igpl is 2. The table below lists those papers that are above that threshold based on CrossRef citation counts [max. 250 papers]. The publications cover those that have been published in the past four years, i.e., from 2020-05-01 to 2024-05-01.)

Article	Citations
Blockchain-based architecture for the control of logistics activities: Pharmaceutical utilities case study	19
Machine learning techniques for computer-based decision systems in the operating theatre: application to analgesia delivery	15
Hybrid Intelligent Model to Predict the Remifentanil Infusion Rate in Patients Under General Anesthesia	15
A hybrid genetic algorithm, list-based simulated annealing algorithm, and different heuristic algorithms for the travelling salesman problem	12
A hybrid fuzzy clustering approach for diagnosing primary headache disorder	12
A One-class Classifier Based on a Hybrid Topology to Detect Faults in Power Cells	11
Intelligent model for active power prediction of a small wind turbine	10
A novel method for anomaly detection using beta Hebbian learning and principal component analysis	9
Employees balance and stability as key points in organizational performance	8
A comparative analysis of intelligent techniques to predict energy generated by a small wind turbine from atmospheric variables	8
One-Class-Based Intelligent Classifier for Detecting Anomalous Situations During the Anesthetic Process	8
Intelligent models for movement detection and physical evolution of patients with hip surgery	8
Modeling the Turbulent Wake Behind a Wall-Mounted Square Cylinder	7
Deep Convolutional Neural Networks on Automatic Classification for Skin Tumour Images	7
The logic of orthomodular posets of finite height	6
Unsupervised network traffic anomaly detection with deep autoencoders	5
The logic languages of the TPTP world	5
Blockchain-based land registry platforms: a survey on their implementation and potential challenges	5
A three-stage hybrid clustering system for diagnosing children with primary headache disorder	5
A hybrid machine learning system to impute and classify a component-based robot	5
Fragments of Quasi-Nelson: The Algebraizable Core	4
An efficient IoT forensic approach for the evidence acquisition and analysis based on network link	4
Entity alignment via summary and attribute embeddings	4
A modified biogeography-based optimization algorithm with improved mutation operator for job shop scheduling problem with time lags	4
∞-Groupoid Generated by an Arbitrary Topological λ-Model	4

New Tableau Characterizations for Non-clausal MaxSAT Problem	4
Insider attack detection in database with deep metric neural network with Monte Carlo sampling	4
Secure traveling salesman problem with intelligent transport systems features	4
Improving wearable-based fall detection with unsupervised learning	4
Generation of Synthetic Data with Conditional Generative Adversarial Networks	4
Test Case Prioritization—ANT Algorithm With Faults Severity	4
A composite framework for supporting user emotion detection based on intelligent taxonomy handling	4
Complexity of rule sets in mining incomplete data using characteristic sets and generalized maximal consistent blocks	3
Network security situation awareness forecasting based on statistical approach and neural networks	3
Advanced Visualization of Intrusions in Flows by Means of Beta-Hebbian Learning	3
Uncertainty estimation in the forecasting of the 222Rn radiation level time series at the Canfranc Underground Laboratory	3
On bivalent semantics and natural deduction for some infectious logics	3
Practical Approach in Verification of Security Systems Using Satisfiability Modulo Theories	3
Nelson’s logic ?	3
Hourly pollutants forecasting using a deep learning approach to obtain the AQI	3
Air Pollution Monitoring Using WSN Nodes with Machine Learning Techniques: A Case Study	3
Fake news detection platform—conceptual architecture and prototype	3
Boolean negation and non-conservativity I: Relevant modal logics	3
Cn algebras with Moisil possibility operators	3
The Algebra of Non-deterministic Programs: Demonic Operations, Orders and Axioms	3
Modal Logic With Non-Deterministic Semantics: Part II—Quantified Case	3
Towards real-time DNA biometrics using GPU-accelerated processing	2
Undecidability of the Logic of Partial Quasiary Predicates	2
Algorithmic correspondence for hybrid logic with binder	2
On registration methods for SLAM with low resolution LiDAR sensor	2
Robust schedules for tardiness optimization in job shop with interval uncertainty	2
Free choice permission, legitimization and relating semantics	2
Solving Highly Cyclic Distributed Optimization Problems Without Busting the Bank: A Decimation-based Approach	2
The Effect of Iterative Learning Control on the Force Control of a Hydraulic Cushion	2
The cardinality of the partitions of a set in the absence of the Axiom of Choice	2
The Impact of Different System Call Representations on Intrusion Detection	2
Who Finds the Short Proof?	2
Parsimonious Modelling for Estimating Hospital Cooling Demand to Improve Energy Efficiency	2
A restricted second-order logic for non-deterministic poly-logarithmic time	2
On the Impact of Interpretability Methods in Active Image Augmentation Method	2
Crisp Bi-Gödel modal logic and its paraconsistent expansion	2
A probabilistic temporal epistemic logic: Strong completeness	2
Logics of (In)sane and (Un)reliable Beliefs	2
Predicate counterparts of modal logics of provability: High undecidability and Kripke incompleteness	2
Restricted Rules of Inference and Paraconsistency	2
Boolean negation and non-conservativity III: the Ackermann constant	2
The subformula property of natural deduction derivations and analytic cuts	2
Biometric recognition system performance measures for lossy compression on EEG signals	2
Cyclic proofs for the first-order µ-calculus	2
Frame-validity Games and Lower Bounds on the Complexity of Modal Axioms	2
A new approach for writer verification based on segments of handwritten graphemes	2
Proof Systems for 3-valued Logics Based on Gödel’s Implication	2
Logic of informal provability with truth values	2
Surrogate-based optimization of learning strategies for additively regularized topic models	2