Results 21 to 30 of about 13,047 (268)
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 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
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
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
A Review on Mechanical Proving and Formalization of Mathematical Theorems
IEEE AccessThe field of artificial intelligence represents a frontier and a focal point of contemporary technological development. As an important embodiment of artificial intelligence applied to theoretical-level research, mechanical proving has been a subject of ...
Si Chen +3 more
doaj +1 more source
Formal Languages, Formally and Coinductively
Logical Methods in Computer Science, 2017 Traditionally, formal languages are defined as sets of words. More recently, the alternative coalgebraic or coinductive representation as infinite tries, i.e., prefix trees branching over the alphabet, has been used to obtain compact and elegant proofs of classic results in language theory.
openaire +6 more sources
INFORMAL PROOF, FORMAL PROOF, FORMALISM [PDF]
The Review of Symbolic Logic, 2015 AbstractIncreases in the use of automated theorem-provers have renewed focus on the relationship between the informal proofs normally found in mathematical research and fully formalised derivations. Whereas some claim that any correct proof will be underwritten by a fully formal proof, sceptics demur.
openaire +1 more source
Enhancing the Ostrom social-ecological system framework through formalization
Ecology and Society, 2014 Frameworks play an important role in analyzing social-ecological systems (SESs) because they provide shared concepts and variables that enable comparison between and accumulation of knowledge across multiple cases. One prominent SES framework focusing on
Jochen Hinkel +2 more
doaj +1 more source
The formalization of Interpretability [PDF]
Studia Logica, 1991 The author discusses interpretability in weak theories without \(\Sigma_ 1\)-collection principle for details and gives a careful derivation of principles of Interpretability Logic valid in any extension of I\(\Delta_ 0+\Omega_ 1\). The case containing the \(\Sigma_ 1\)- collection principle is also discussed in relation with cut and with the ...
openaire +4 more sources
Kajian Formalisasi PKL di Kawasan Pasar Waru Semarang
Jurnal Pembangunan Wilayah dan Kota, 2014 Formalization of street vendors in the city of Semarang such official site at Waru Market Area in Kaligawe to accommodate that activities. In 2007, the market is prepared to accommodate the relocated Waru merchants of Kartini, Progo and Citarum with ...
Nurani Nurul Hidayati, Nurini Nurini
doaj +1 more source