Results 21 to 30 of about 66,342 (310)
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
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
Re-formalization of Individual Fairness [PDF]
, 2023 The notion of individual fairness is a formalization of an ethical principle, "Treating like cases alike," which has been argued such as by Aristotle. In a fairness-aware machine learning context, Dwork et al. firstly formalized the notion.
Kamishima, Toshihiro
core
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
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
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 +4 more sources
JSkel: Towards a Formalization of JavaScript's Semantics [PDF]
, 2021 National audienceWe present JSkel, a formalization of the semantics of JavaScript in Skel, the concrete language used to write skeletal semantics.
Khayam, Adam +2 more
core
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 +5 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
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] +1 more
core +1 more source