Results 41 to 50 of about 37,638 (267)
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
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
Online Tests in the News Browser: Linguistic and Speech Genre Characteristics [PDF]
Жанры речи, 2020 The object of the study are online tests in a news browser (Yandex, Mail.ru). The research focuses on the linguistic and genre characteristics of the test link – a part of this test, presented in the news browser as a link or icon and containing the ...
Vadim Viktorovich Dementyev
doaj +1 more source
Mutant NPM1 in Acute Myeloid Leukemia Initiation and Maintenance
Aging and Cancer, EarlyView.NPM1 mutations drive acute myeloid leukemia by acting as neomorphic transcriptional regulators that cooperate with Menin–MLL and XPO1 to sustain HOX/MEIS1 expression and block differentiation. Targeting these mutant‐specific transcriptional dependencies provides a rational therapeutic strategy for NPM1‐mutated AML.
Yanan Jiang +3 more
wiley +1 more source
Bootstrapping extensionality: Agda formalization
, 2023 Agda formalization covering the mathematical content of the PhD thesis "Bootstrapping Extensionality"
Sestini, Filippo
core +1 more source
LogisticsBackground: Urban mobility management faces growing challenges that require the analysis and optimization of sustainable solutions. Digital twins (DTs) have emerged as innovative tools for this assessment, but their implementation requires standardized ...
Andrea Grotto +3 more
doaj +1 more source
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