Keyword:model

Papers
Self-Extensionality of Finitely-Valued Logics: Advances Alexej Pynko EasyChair Preprint no. 6563
Syntactic Computation of Model Composites of Enactment Logic. Frank Appiah EasyChair Preprint no. 6194
Theorem Proving of Enactment Model Composites with Appiah-Kleene Axiomatic Expressions (Eel Proof) Frank Appiah EasyChair Preprint no. 6193
Axiomatical Computation of Model Composites of Enactment Logic. Frank Appiah EasyChair Preprint no. 6192
The Mapping of the Logical Structure, Enact to the Engagement Structure of Enact. Frank Appiah EasyChair Preprint no. 6187
Semantic Computation of the Propositional Model Composites in Enactment Logic. Frank Appiah EasyChair Preprint no. 6186
Estimating Community Feedback Effect on Topic Choice in Social Media David I. Adelani, Ryota Kobayashi, Ingmar Weber and Przemyslaw A. Grabowicz EasyChair Preprint no. 6122
Self-Extensionality of Finitely-Valued Logics Alexej Pynko EasyChair Preprint no. 4928
Four-Valued Expansions of Belnap's Logic: Inheriting Basic Peculiarities Alexej Pynko EasyChair Preprint no. 3118
Study of an Industrial Electrode Dryer of a Lithium-Ion Battery Manufacturing Plant: Dynamic Modelling Emil Oppegård, Asanthi Jinasena, Anders Hammer Strømman, Jon Are Suul and Odne Stokke Burheim EasyChair Preprint no. 4314
Miscellaneous Extensions of Four-Valued Expansions of Belnap's Logic Alexej Pynko EasyChair Preprint no. 4078
Subprevarieties of Algebraic Systems Versus Extensions of Logics: Application to Some Many-Valued Logics Alexej Pynko EasyChair Preprint no. 3942
Automatically Protecting Network Communities by Malware Epidemiology Xiao-Si Wang, Jessica Welding and Tek Chung EasyChair Preprint no. 3283
Quantum Computer: Quantum Model and Reality Vasil Penchev EasyChair Preprint no. 3294
COVID-19 Outbreak Prediction with Machine Learning Sina Ardabili, Amir Mosavi, Pedram Ghamisi, Filip Ferdinand, Annamária R. Várkonyi-Kóczy, Uwe Reuter, Timon Rabczuk and Peter M. Atkinson EasyChair Preprint no. 3193
Improving Transport Infrastructure in the Context of the Transition to the Smart City Concept in Small Towns Regina Nikolaeva and Rustem Sakhapov EasyChair Preprint no. 3098
Use of geoinformation systems in environmental monitoring Olena Pomortseva, Sergiy Kobzan, Andrey Yevdokimov and Maksym Kukhar EasyChair Preprint no. 2965
Design of visual simulation model based on virtual display system Duan Xiaojun and Xiao Ben EasyChair Preprint no. 2819
Simulation of a wave propagation using Finite Difference Time domain Modeling (FDTD) by Matlab Amro Ali EasyChair Preprint no. 2291
Modelling of Population Consumption in Conditions of Instability Ganna Kharlamova, Oleksandr Chernyak and Andriy Stavytskyy EasyChair Preprint no. 1006
Global model of the carbon cycle as instrument of primary agriculture production assessment Man Nguyen Xuan, Phong Nguyen Duyen, Krapivin V.F. and Mkrtchyan F.A. EasyChair Preprint no. 68
Hybrid Automata Model of the Heart for Formal Verification of Pacemakers Sidharta Andalam, Avinash Malik, Partha Roop and Mark Trew In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
The Thousands of Models for Theorem Provers (TMTP) Model Library - First Steps Geoff Sutcliffe and Stephan Schulz In:IWIL-2015. 11th International Workshop on the Implementation of Logics