Results 31 to 40 of about 66,342 (310)
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 +7 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 effect of formalization in the enterprise [PDF]
, 2020 Formalization is one of the pillars of a bureaucratic company. It is manifested by a high number of formally given rules, procedures and written guidelines. These documents guide the way of employees’ conducting and their activities.
Zuzana Skorková, Skorková Zuzana
core +1 more source
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
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
Algebraization Levels in the Study of Probability
Mathematics, 2021 The paper aims to analyze how the different degrees of mathematical formalization can be worked in the study of probability at non-university educational levels.
María Burgos +2 more
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
FEBS Letters, EarlyView.How do genomes gain new functional parts? In eukaryotes, which tend to evolve under weak selection, much of the genome is junk. Palazzo and Qiu borrow the logic of Markov chains to show how non‐functional DNA becomes functional through the appearance of intermediate states, which arise due to epistasis, buffering, and biochemical messiness, allowing ...
Alexander F. Palazzo, Yi Qiu
wiley +1 more source