Results 31 to 40 of about 37,638 (267)
Metal: a formalism to specify formalisms
Science of Computer Programming, 1983 syntax # end definition 15.5 In Appendix 1 we give the complete Metal program defining ASPLE. In Appendix 2 we give the Metal program that defines Metal itself. The reader who is curious about the complete structure of a Metal program is referred to these appendixes.
Gilles Kahn +3 more
openaire +1 more source
Formalization of the Equivalence among Completeness Theorems of Real Number in Coq
Mathematics, 2020 The formalization of mathematics based on theorem prover becomes increasingly important in mathematics and computer science, and, particularly, formalizing fundamental mathematical theories becomes especially essential.
Yaoshun Fu, Wensheng Yu
doaj +1 more source
The effect of insurance industry deregulation on insurance companies' organizational structure [PDF]
Iranian Journal of Insurance Research, 2013 The current research is based on the hypothesis that deregulation as a change factor or independent variable has an effect on the organizational structure of insurance companies as a dependent variable.
A.R. Shirani, S. Sehat, F. Tomzar
doaj +1 more source
Formalization of the classification pattern: Survey of classification modeling in information systems engineering [PDF]
, 2016 Formalization is becoming more common in all stages of the development of information systems, as a better understanding of its benefits emerges. Classification systems are ubiquitous, no more so than in domain modeling.
Mitchell, A +7 more
core +1 more source
Template for a Hypothesis Description paper [PDF]
Research Ideas and OutcomesHypothesis Descriptions are a type of manuscript dedicated to the formal description of a hypothesis, as introduced in an accompanying editorial and an examplary Hypothesis Description for the Enemy Release Hypothesis that is used in invasion biology ...
Tina Heger +2 more
doaj +3 more sources
On the Role of Formalization in Computational Mathematics [PDF]
, 2013 In this paper, we will report on the developments carried out in Isabelle/HOL, ACL2 and Coq/SSReflect on Computational Algebraic Topology, in the frame of the For Math European project.
Rubio, J. [0000-0002-4282-3692]
core +1 more source
On formal concepts of random formal contexts [PDF]
Information Sciences, 2021 In formal concept analysis, it is well-known that the number of formal concepts can be exponential in the worst case. To analyze the average case, we introduce a probabilistic model for random formal contexts and prove that the average number of formal concepts has a superpolynomial asymptotic lower bound.
openaire +3 more sources
On Formal Theories - And Formalisms for Virtual Enterprises [PDF]
, 2007 One of the issues in development and implementation of Virtual Enterprise (VE) is a formal theory, or formal theories, Of VE. There are serious problems concerning VE, formal theory(ies) development, Besides the ones which are commonly known and easily perceived, one of the biggest problems is a general misunderstanding about formalisms and formal ...
Goran D. Putnik, Rui M. Sousa
openaire +2 more sources
An Ontology-Based Knowledge Representation Method for Typhoon Events from Chinese News Reports
ISPRS International Journal of Geo-Information, 2023 Typhoons are destructive weather events. News media reports contain large amounts of typhoon information. Transforming this information into useful knowledge to provide a basis for mining typhoon knowledge and supporting disaster prevention and relief is
Danjie Chen +3 more
doaj +1 more source
Formalization of Quasilattices
Formalized Mathematics, 2020 Summary The main aim of this article is to introduce formally one of the generalizations of lattices, namely quasilattices, which can be obtained from the axiomatization of the former class by certain weakening of ordinary absorption laws.
Kulesza, Dominik, Grabowski, Adam
openaire +3 more sources