Improving ontology-based text classification: An occupational health and security application Fulltext Access 11 Pages 2016
Tableau reductions: Towards an optimal decision procedure for the modal necessity Fulltext Access 11 Pages 2016
An intelligent fault detection system for a heat pump installation based on a geothermal heat exchanger Fulltext Access 12 Pages 2016
The poset of all copies of the random graph has the 2-localization property Fulltext Access 14 Pages 2016
A problem of Laczkovich: How dense are set systems with no large independent sets? Fulltext Access 18 Pages 2016
Measuring inaccuracy of uncertain doxastic states in many-valued logical systems Fulltext Access 18 Pages 2016
Behavioral equivalence of hidden k-logics: An abstract algebraic approach Fulltext Access 20 Pages 2016
Translation of first order formulas into ground formulas via a completion theory Fulltext Access 20 Pages 2016
Henkin sentences and local reflection principles for Rosser provability Fulltext Access 22 Pages 2016
Multi-posets in algebraic logic, group theory, and non-commutative topology Fulltext Access 22 Pages 2016
Counterexamples to countable-section Π21 uniformization and Π31 separation Fulltext Access 22 Pages 2016
Reasoning about negligibility and proximity in the set of all hyperreals Fulltext Access 23 Pages 2016
A constructive manifestation of the Kleene–Kreisel continuous functionals Fulltext Access 24 Pages 2016
Separating club-guessing principles in the presence of fat forcing axioms Fulltext Access 25 Pages 2016
Iterated elementary embeddings and the model theory of infinitary logic Fulltext Access 26 Pages 2016
On (uniform) hierarchical decompositions of finite structures and model-theoretic geometry Fulltext Access 30 Pages 2016
Classifying torsion free groups in o-minimal expansions of real closed fields Fulltext Access 31 Pages 2016
Formal assessment of reliability specifications in embedded cyber-physical systems Fulltext Access 34 Pages 2016
An efficient Reverse Distribution System for solving sustainable supply chain network design problem Fulltext Access 9 Pages 2015
A hybrid evolutionary model for supplier assessment and selection in inbound logistics Fulltext Access 10 Pages 2015
Recognition of damaged letters based on mathematical fuzzy logic analysis Fulltext Access 11 Pages 2015
Simplified method based on an intelligent model to obtain the extinction angle of the current for a single-phase half wave controlled rectifier with resistive and inductive load Fulltext Access 11 Pages 2015
Models of intuitionistic set theory in subtoposes of nested realizability toposes Fulltext Access 11 Pages 2015
Information retrieval from hospital information system: Increasing effectivity using swarm intelligence Fulltext Access 12 Pages 2015
Implementation and testing of a soft computing based model predictive control on an industrial controller Fulltext Access 12 Pages 2015
The members of thin and minimal Π10 classes, their ranks and Turing degrees Fulltext Access 12 Pages 2015
Categorical characterizations of the natural numbers require primitive recursion Fulltext Access 13 Pages 2015