3,152 research outputs found
Are there Hilbert-style Pure Type Systems?
For many a natural deduction style logic there is a Hilbert-style logic that
is equivalent to it in that it has the same theorems (i.e. valid judgements
with empty contexts). For intuitionistic logic, the axioms of the equivalent
Hilbert-style logic can be propositions which are also known as the types of
the combinators I, K and S. Hilbert-style versions of illative combinatory
logic have formulations with axioms that are actual type statements for I, K
and S. As pure type systems (PTSs)are, in a sense, equivalent to systems of
illative combinatory logic, it might be thought that Hilbert-style PTSs (HPTSs)
could be based in a similar way. This paper shows that some PTSs have very
trivial equivalent HPTSs, with only the axioms as theorems and that for many
PTSs no equivalent HPTS can exist. Most commonly used PTSs belong to these two
classes. For some PTSs however, including lambda* and the PTS at the basis of
the proof assistant Coq, there is a nontrivial equivalent HPTS, with axioms
that are type statements for I, K and S.Comment: Accepted in Logical Methods in Computer Scienc
The use and effectiveness of the eLib subject gateways: a preliminary investigation
Internet subject gateways were set up under the Electronic Libraries Programme (eLib) in order to address some of the problems of searching the Internet which have been identified by information professionals, i.e. locating relevant, good quality information. This preliminary study examines the extent to which academics in two universities use three eLib subject gateways (EEVL, OMNI and SOSIG). The results are generally encouraging for the eLib programme, but it is necessary for the gateways to be more effectively promoted. The study also found that academics do not have the same misgivings about the general search engines as the information professionals and seem to use them more readily than the gateways
Accuracy of Genomic Prediction when Accounting for Population Structure and Polygenic Effects
Accuracy of genomic estimated breeding values obtained using the standard marker effect model was compared with models that account for population structure, either by applying a transmission disequilibrium test (TDT) approach or by fitting polygenic effects. The TDT approach was inferior to the standard model, whereas fitting polygenic effects in addition to marker effects increased the accuracy of estimated breeding values of the progeny of training individuals but also seven generations after training. Thus, fitting polygenic effects enhances utilization of genomic information both in the short and long-term
ΠΠΎΠΌΡΠ½ΡΠΊΠ°ΡΠΈΠ²Π½ΠΎ-ΠΌΠ°Π½ΡΠΏΡΠ»ΡΡΠΈΠ²Π½Ρ ΡΠΈΠ½Π½ΠΈΠΊΠΈ ΠΏΠΎΠ»ΡΡΠΈΡΠ½ΠΎΡ ΠΌΠΎΡΠΈΠ²Π°ΡΡΡ
ΠΠ½Π°Π»ΡΠ·ΡΡΡΡΡΡ ΠΎΡΠ½ΠΎΠ²Π½Ρ ΠΊΠΎΠΌΡΠ½ΡΠΊΠ°ΡΠΈΠ²Π½ΠΎ-ΠΌΠ°Π½ΡΠΏΡΠ»ΡΡΠΈΠ²Π½Ρ ΡΠΈΠ½Π½ΠΈΠΊΠΈ ΠΏΠΎΠ»ΡΡΠΈΡΠ½ΠΎΡ ΠΌΠΎΡΠΈΠ²Π°ΡΡΡ, ΡΠΊΡ Π²ΠΈΠ·Π½Π°ΡΠΈΠ»ΠΈ ΡΠΎΡΠΌΡΠ²Π°Π½Π½Ρ Π²ΡΠ΄ΠΏΠΎΠ²ΡΠ΄Π½ΠΈΡ
Π΅Π»Π΅ΠΊΡΠΎΡΠ°Π»ΡΠ½ΠΈΡ
ΡΠ΅ΠΎΡΡΠΉ. ΠΠΎΠΊΡΠ΅ΠΌΠ°, ΡΠ²Π°Π³Ρ ΠΏΡΠΈΠ΄ΡΠ»Π΅Π½ΠΎ ΠΌΠ΅ΡΠ°ΡΠΎΡΠΈΡΠ½ΠΈΠΌ ΠΌΠΎΠ΄Π΅Π»ΡΠΌ, ΠΏΠΎΠ»ΡΡΠΈΠΊΠΎ-ΠΊΠΎΠΌΡΠ½ΡΠΊΠ°ΡΠΈΠ²Π½ΡΠΉ ΡΠ΅ΠΎΡΡΡ, ΡΠ΅ΠΎΡΡΡ ΠΌΠΎΡΠΈΠ²ΠΎΠ²Π°Π½ΠΎΠ³ΠΎ ΠΏΠΎΠ»ΡΡΠΈΡΠ½ΠΎΠ³ΠΎ ΠΌΠΈΡΠ»Π΅Π½Π½Ρ, ΡΠ΅Ρ
Π½ΠΎΠ»ΠΎΠ³ΡΡΠ½ΠΈΠΌ (ΠΌΠ°ΡΠΊΠ΅ΡΠΈΠ½Π³ΠΎΠ²ΠΈΠΌ) ΡΠ΅ΠΎΡΡΡΠΌ ΡΠ° ΡΠ½.ΠΠ½Π°Π»ΠΈΠ·ΠΈΡΡΡΡΡΡ ΠΎΡΠ½ΠΎΠ²Π½ΡΠ΅ ΠΊΠΎΠΌΠΌΡΠ½ΠΈΠΊΠ°ΡΠΈΠ²Π½ΠΎ-ΠΌΠ°Π½ΠΈΠΏΡΠ»ΡΡΠΈΠ²Π½ΡΠ΅ ΡΠ°ΠΊΡΠΎΡΡ ΠΏΠΎΠ»ΠΈΡΠΈΡΠ΅ΡΒΠΊΠΎΠΉ ΠΌΠΎΡΠΈΠ²Π°ΡΠΈΠΈ, ΠΊΠΎΡΠΎΡΡΠ΅ ΠΎΠΏΡΠ΅Π΄Π΅Π»ΠΈΠ»ΠΈ ΡΠΎΡΠΌΠΈΡΠΎΠ²Π°Π½ΠΈΠ΅ ΡΠΎΠΎΡΠ²Π΅ΡΡΡΠ²ΡΡΡΠΈΡ
ΡΠ»Π΅ΠΊΡΠΎΡΠ°Π»ΡΠ½ΡΡ
ΡΠ΅ΠΎΡΠΈΠΉ. Π ΡΠ°ΡΡΠ½ΠΎΡΡΠΈ, Π²Π½ΠΈΠΌΠ°Π½ΠΈΠ΅ ΡΠ΄Π΅Π»Π΅Π½ΠΎ ΠΌΠ΅ΡΠ°ΡΠΎΡΠΈΡΠ΅ΡΠΊΠΈΠΌ ΠΌΠΎΠ΄Π΅Π»ΡΠΌ, ΠΏΠΎΠ»ΠΈΡΠΈΠΊΠΎ-ΠΊΠΎΠΌΠΌΡΠ½ΠΈΠΊΠ°ΡΠΈΠ²Π½ΠΎΠΉ ΡΠ΅ΠΎΡΠΈΠΈ, ΡΠ΅ΠΎΡΠΈΠΈ ΠΌΠΎΡΠΈΠ²ΠΈΡΠΎΠ²Π°Π½Π½ΠΎΠ³ΠΎ ΠΏΠΎΠ»ΠΈΡΠΈΡΠ΅ΡΠΊΠΎΠ³ΠΎ ΠΌΡΡΠ»Π΅Π½ΠΈΡ, ΡΠ΅Ρ
Π½ΠΎΠ»ΠΎΠ³ΠΈΡΠ΅ΒΡΠΊΠΈΠΌ (ΠΌΠ°ΡΠΊΠ΅ΡΠΈΠ½Π³ΠΎΠ²ΡΠΌ) ΡΠ΅ΠΎΡΠΈΡΠΌ ΠΈ Π΄Ρ.The article analyzes the basic communicative, manipulative political motivation factors that have determined the formation of the electoral theories. In particular, attention is given to metaphorical models, political and communication theory, the theory of reasoned political thought, technological (marketing) theories, etc
- β¦