Search results for "theoretical"
showing 9 items of 11439 documents
Ķermeņa fenomenoloģija starpdisciplināru pētījumu kontekstā: tēžu krājums
2023
Projekta "Nogaidošie ķermeņi: vilcināšanās vakcinēties ķermeniskās pieredzes fenomenoloģiska analīze" (lzp-2021/1-0360) ietvaros 2023. gada 29. martā tika organizēta Latvijas Universitātes 81. starptautiskās zinātniskās konferences sekcija "Ķermeņa fenomenoloģija starpdisciplināru pētījumu kontekstā". Tēžu krājumā ir apkopoti sekcijā nolasīto referātu kopsavilkumi.
On the Amount of Nonconstructivity in Learning Recursive Functions
2011
Nonconstructive proofs are a powerful mechanism in mathematics. Furthermore, nonconstructive computations by various types of machines and automata have been considered by e.g., Karp and Lipton [17] and Freivalds [11]. They allow to regard more complicated algorithms from the viewpoint of much more primitive computational devices. The amount of nonconstructivity is a quantitative characterization of the distance between types of computational devices with respect to solving a specific problem. In the present paper, the amount of nonconstructivity in learning of recursive functions is studied. Different learning types are compared with respect to the amount of nonconstructivity needed to lea…
Теория алгоритмов и программ
1986
Сборник посвящен исследованию различных типов вычислительных устройств, таких как альтернирующие вероятностные машины, а также проблемам индуктивного синтеза программ.
Теория алгоритмов и программ. Выпуск 3
1977
Статьи сборника посвящены в основном теории индуктивного вывода. Рассмотрены также вопросы семантики программ (аппарат формального доказательства свойств программ) и теории сводимости.
Вопросы теории познания диалектического материализма. Выпуск 2
1976
В сборнике научных трудов помещены статьи, посвященные вопросам теории познания и методологии научного исследования, в том числе философскому наследию И.Канта и его значению для разработки марксистской гносеологии.
Теоретические вопросы программирования
1988
Сборник посвящен исследованию сложности различных типов вычислительных устройств, таких как альтернирующие и вероятностные машины, а также проблемам индуктивного синтеза программ.
Методологические проблемы критики современной буржуазной философии
1984
В сборнике представлены итоги исследований молодых философов республики по вопросам методологии критики основных направлений философии: фрейдисма, феноменологии, герменевтики и других.
On the ‘expanded local mode’ approach applied to the methane molecule: isotopic substitutions CH3D ←CH4 and CHD3 ←CH4
2014
Operator perturbation theory and the symmetry properties of the axially symmetric XYZ3 (C3v) type molecules are used for the determination of the spectroscopic parameters in the form of functions of structural parameters and parameters of the intramolecular potential function. Several relations between sets of spectroscopic parameters of these molecules are obtained. The ‘expanded local mode’ model and the general isotopic substitution theory are used to estimate the relations between spectroscopic parameters of CH3D and CHD3, on one hand, and with the Td symmetric isotopic species, CH4, on the other hand. Test calculations with the isotopic relations show that even without including prior …
Underground investigation of extensive air showers spectra at high energy range of cosmic rays and other research in the Pyhäsalmi mine
2020
Abstract High energy particles reaching the Earth’s atmosphere are known as cosmic rays. As a result of interactions with nuclei of air molecules, cosmic rays induce showers of secondary particles, which can be divided into 3 components: electromagnetic, hadronic and muonic components. The Experiment with Multi Muon Array (EMMA), located at the depth of 75 m in the Pyhäsalmi mine in Finland, investigates the muonic component of the Extensive Air Showers (EAS) to deduce the direction, energy, and the mass of the primary cosmic ray particles. In this paper we give a concise description and methodology used by EMMA followed by a brief review of the C14 experiment. Finally, we review the feasib…