Results 41 to 50 of about 45,469 (261)
Dowód matematyczny – argumentacja czy derywacja? – część I
Zagadnienia Filozoficzne w Nauce, 2011 The article is devoted to the problem of status of mathematical proofs, in particular it tries to capture the relationship between the real, „semantic” notion of mathematical proof, and its formal (algorithmic) counterpart.
Krzysztof Wójtowicz
doaj
Limiting the Number of Possible CFG Derivative Trees During Grammar Induction with Catalan Numbers
MathematicsGrammar induction runs into a serious problem due to the exponential growth of the number of possible derivation trees as sentence length increases, which makes unsupervised parsing both computationally demanding and highly indeterminate.
Aybeyan Selim +2 more
doaj +1 more source
On noncausal/causal alternations in Tima (Nuba Mountains, Sudan)
Linguistique et Langues Africaines, 2022 Tima, a language spoken in the Nuba Mountains of Sudan, uses three derivation markers (with various allomorphs) to either increase or decrease the valency of the verb. Middle voice and antipassive marking are used to reduce the valency. Causative marking
Gertrud Schneider-Blum
doaj +1 more source
Derivational Morphology of Italian: Principles for Formalization [PDF]
Literary and Linguistic Computing, 2006 The present paper investigates the major derivational strategies underlying the formation of suffixed words in Italian, with the purpose of tackling the issue of their formalization. After having specified the theoretical cognitive premises that orient the work, the interacting component modules of the suffixation process, i.e.
openaire +2 more sources
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
Osobowe nomina attributiva z formantami sufiksalnymi w języku polskim i białoruskim
Zeszyty Cyrylo-Metodiańskie, 2022 Personal Nomina Attributiva with Suffixes in Polish and Belarusian: The paper examines personal nouns belonging to the category of nomina attributiva in Polish and Belarusian.
Goral, Agnieszka
doaj +1 more source
A Visual Interactive Framework for Formal Derivation [PDF]
, 2005 We describe a visual interactive framework that supports the computation of syntactic unifiers of expressions with variables. Unification is specified via built-in transformation rules. A user derives a solution to a unification problem by stepwise application of these rules. The software tool provides both a debugger-style presentation of a derivation
Paul Agron, Leo Bachmair, Frank Nielsen
openaire +1 more source
FEBS Letters, EarlyView.Heterodimeric amino acid transporters consist of SLC7 and SLC3 family proteins arranged in a conserved structural organization. They regulate nutrient transport across cell membranes, supporting essential cellular functions. These transporters also contribute to xenobiotic/drug uptake and distribution.
Mariafrancesca Scalise +5 more
wiley +1 more source
Leucine‐rich glioma inactivated 1 (LGI1) is a ganglioside‐binding protein
FEBS Letters, EarlyView.Neuronal hyperexcitability associated with a decrease/absence of the extracellular protein LGI1 has been suggested to be primarily due to the downregulation of Kv1 channel expression. The molecular mechanisms underlying this decrease have not yet been elucidated.
Kévin Debreux +7 more
wiley +1 more source
Formal moduli problems and formal derived stacks
, 2018 This paper presents a survey on formal moduli problems. It starts with an introduction to pointed formal moduli problems and a sketch of proof of a Theorem (independently proven by Lurie and Pridham) which gives a precise mathematical formulation for Drinfeld's derived deformation theory philosophy, which gives a correspondence between formal moduli ...
Calaque, Damien, Grivaux, Julien
openaire +2 more sources