The tree property at the double successor of a singular cardinal with a larger gap Fulltext Access 17 Pages 2018
The tree property at double successors of singular cardinals of uncountable cofinality Fulltext Access 18 Pages 2018
Intuitionistic nonstandard bounded modified realisability and functional interpretation Fulltext Access 21 Pages 2018
Recognizable sets and Woodin cardinals: computation beyond the constructible universe Fulltext Access 21 Pages 2018
Modularity results for interpolation, amalgamation and superamalgamation Fulltext Access 24 Pages 2018
Determinacy of refinements to the difference hierarchy of co-analytic sets Fulltext Access 33 Pages 2018
Structure and enumeration theorems for hereditary properties in finite relational languages Fulltext Access 37 Pages 2018
Multicomponent proof-theoretic method for proving interpolation properties Fulltext Access 50 Pages 2018
A brief review of the ear recognition process using deep neural networks Fulltext Access 9 Pages 2017
The strength of infinitary Ramseyan principles can be accessed by their densities Fulltext Access 10 Pages 2017
Comparison of classification techniques applied for network intrusion detection and classification Fulltext Access 10 Pages 2017
Hierarchical beam search for solving most relevant explanation in Bayesian networks Fulltext Access 11 Pages 2017
Evolutionary simulation of complex networks' structures with specific functional properties Fulltext Access 11 Pages 2017
Hybrid evolutionary workflow scheduling algorithm for dynamic heterogeneous distributed computational environment Fulltext Access 12 Pages 2017
Summarizing information by means of causal sentences through causal graphs Fulltext Access 13 Pages 2017
On the combination of support vector machines and segmentation algorithms for anomaly detection: A petroleum industry comparative study Fulltext Access 14 Pages 2017
An ordered credibility contrast semantics for finite probability agreement Fulltext Access 14 Pages 2017
Analysis of meteorological conditions in Spain by means of clustering techniques Fulltext Access 14 Pages 2017
Modeling group assessments by means of hesitant fuzzy linguistic term sets Fulltext Access 15 Pages 2017
Using the finite element method and data mining techniques as an alternative method to determine the maximum load capacity in tapered roller bearings Fulltext Access 15 Pages 2017
Parameter selection based on fuzzy logic to improve UAV path-following algorithms Fulltext Access 15 Pages 2017
Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons) Fulltext Access 15 Pages 2017
Honest elementary degrees and degrees of relative provability without the cupping property Fulltext Access 15 Pages 2017
Elementary recursive quantifier elimination based on Thom encoding and sign determination Fulltext Access 17 Pages 2017
50 years of fuzzy set theory and models for supplier assessment and selection: A literature review Fulltext Access 17 Pages 2017
A survey on the inventory-routing problem with stochastic lead times and demands Fulltext Access 17 Pages 2017
Factored performance functions and decision making in continuous time Bayesian networks Fulltext Access 18 Pages 2017
Characterizing model-theoretic dividing lines via collapse of generalized indiscernibles Fulltext Access 21 Pages 2017
Reprint of: Assertion and denial: A contribution from logical notations Fulltext Access 23 Pages 2017
The modelling and design process of coordination mechanisms in the supply chain Fulltext Access 23 Pages 2017
Electronic institutions and neural computing providing law-compliance privacy for trusting agents Fulltext Access 23 Pages 2017
One-dimensional vs. two-dimensional based features: Plant identification approach Fulltext Access 25 Pages 2017