Search results for "ASO"

showing 3 items of 6403 documents

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…

μ operatorClass (set theory)TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESTheoretical computer sciencePrimitive recursive functionData_CODINGANDINFORMATIONTHEORYInductive reasoningMathematical proofUpper and lower boundsAlgorithmμ-recursive functionAutomatonMathematics
researchProduct

KMR spektroskopijas pielietojums fluorbenzoskābju un fluorbenzamīdu kristalizācijas pētījumos

2019

Kresse I. Darba vadītājs Dr. Chem. Bobrovs R. Maģistra darbs, 53 lapaspuse, 34 attēli, 10 tabulas, 37 literatūras avoti. Latviešu valodā. Darba literatūras apskatā aplūkotas fluorbenzoskābju un fluorbenzamīdu kristāliskās struktūras, starpmolekulārie mijiedarbību veidi, kur īpaša uzmanība pievērsta ūdeņraža saitēm un π-π mijiedarbībām, uzskaitītas kodolu magnētiskās rezonanses metodes, kuras tiek izmantotas pašasociācijas pētījumos un aprakstīts kristalizācijas process. Eksperimentālajā daļā uzņemti protonu, oglekļa un fluora kodolmagnētiskās rezonanses spektri dažādu koncentrāciju etanola-d6, dioksāna-d8, acetona-d6 un DMSO-d6 šķīdumiem visām izmantotajām fluorbenzoskābēm un fluorbenzamīdi…

π-π MIJIEDARBĪBASFLUORBENZAMĪDIŪDEŅRAŽA SAIŠU DIMĒRIPAŠASOCIĀCIJAĶīmijaFLUORBENZOSKĀBES
researchProduct

Caterina Martínez Martínez, «Origen i evolució dels connectors de contrast en català», Alacant / Barcelona, Institut Interuniversitari de Filologia V…

2021

Ressenya sobre el llibre de Caterina Martínez Martínez, Origen i evolució dels connectors de contrast en català, Alacant / Barcelona, Institut Interuniversitari de Filologia Valenciana / Publicacions de l’Abadia de Montserrat, «Biblioteca Sanchis Guarner», 2021, 247 p., isbn: 978-84-9191-152-4.

“UNESCO:CIENCIAS DE LAS ARTES Y LAS LETRAS”Linguistics and Languagemythologyrecepció de garcilaso de la vegamodern catalan literaturemitologiabaroque literaturereception of garcilaso de la vegacomparative literaturefrancesc fontanellaliteratura comparadaLanguage and Linguisticsliteratura catalana modernaliteratura barrocaelegiac poetrypoesia elegíacaCaplletra. Revista Internacional de Filologia
researchProduct