-
1041
Recursion Schemes, the MSO Logic, and the U quantifier
Published 2020-02-01“…Logical Methods in Computer Science…”
Get full text
Article -
1042
Basics of Intensionalized Data: Presets, Sets, and Nominats
Published 2012-10-01“…Computer Science Journal of Moldova…”
Get full text
Article -
1043
A multi-level classification based ensemble and feature extractor for credit risk assessment
Published 2024-02-01“…PeerJ Computer Science…”
Get full text
Article -
1044
A case study on parametric verification of failure detectors
Published 2023-03-01“…Logical Methods in Computer Science…”
Get full text
Article -
1045
A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes
Published 2009-04-01“…Logical Methods in Computer Science…”
Get full text
Article -
1046
Lazy Evaluation and Delimited Control
Published 2010-07-01“…Logical Methods in Computer Science…”
Get full text
Article -
1047
Logical Reasoning for Higher-Order Functions with Local State
Published 2008-10-01“…Logical Methods in Computer Science…”
Get full text
Article -
1048
A Novel Hybrid Ensemble Clustering Technique for Student Performance Prediction
Published 2022-08-01“…Journal of Universal Computer Science…”
Get full text
Article -
1049
On logical hierarchies within FO^2-definable languages
Published 2012-08-01“…Logical Methods in Computer Science…”
Get full text
Article -
1050
Simulator of P-Systems with String Replication Developed in Framework of P-Lingua 2.1
Published 2010-11-01“…Computer Science Journal of Moldova…”
Get full text
Article -
1051
A realizability semantics for inductive formal topologies, Church's Thesis and Axiom of Choice
Published 2021-05-01“…Logical Methods in Computer Science…”
Get full text
Article -
1052
Hybrid Classification Model for Emotion Prediction from EEG Signals: A Comparative Study
Published 2023-12-01“…Journal of Universal Computer Science…”
Get full text
Article -
1053
Semi-Automatic Construction of a Readability Corpus for the Vietnamese Language
Published 2022-11-01“…Vietnam Journal of Computer Science…”
Get full text
Article -
1054
Integrating hybrid transfer learning with attention-enhanced deep learning models to improve breast cancer diagnosis
Published 2024-02-01“…PeerJ Computer Science…”
Get full text
Article -
1055
Naive Fracterm Calculus
Published 2023-09-01“…Journal of Universal Computer Science…”
Get full text
Article -
1056
Prediction of COVID-19 epidemic situation via fine-tuned IndRNN
Published 2021-11-01“…PeerJ Computer Science…”
Get full text
Article -
1057
Modeling emotional contagion in the COVID-19 pandemic: a complex network approach
Published 2023-11-01“…PeerJ Computer Science…”
Get full text
Article -
1058
Intuitionistic Layered Graph Logic: Semantics and Proof Theory
Published 2018-10-01“…Logical Methods in Computer Science…”
Get full text
Article -
1059
A tier-based typed programming language characterizing Feasible Functionals
Published 2022-02-01“…Logical Methods in Computer Science…”
Get full text
Article -
1060
Identifying optical microscope images of CVD-grown two-dimensional MoS2 by convolutional neural networks and transfer learning
Published 2024-02-01“…PeerJ Computer Science…”
Get full text
Article