Search results for " functions"
showing 10 items of 972 documents
Unions of identifiable classes of total recursive functions
1992
J.Barzdin [Bar74] has proved that there are classes of total recursive functions which are EX-identifiable but their union is not. We prove that there are no 3 classes U1, U2, U3 such that U1∪U2,U1∪U3 and U2∪U3 would be in EX but U1∪U2∪U3∉ EX. For FIN-identification there are 3 classes with the above-mentioned property and there are no 4 classes U1, U2, U3, U4 such that all 4 unions of triples of these classes would be identifiable but the union of all 4 classes would not. For identification with no more than p minchanges a (2p+2−1)-tuple of such classes do exist but there is no (2p+2)-tuple with the above-mentioned properly.
Hilbert Space Embeddings for Gelfand–Shilov and Pilipović Spaces
2017
We consider quasi-Banach spaces that lie between a Gelfand–Shilov space, or more generally, Pilipovi´c space, \(\mathcal{H}\), and its dual, \(\mathcal{H}^\prime\) . We prove that for such quasi-Banach space \(\mathcal{B}\), there are convenient Hilbert spaces, \(\mathcal{H}_{k}, k=1,2\), with normalized Hermite functions as orthonormal bases and such that \(\mathcal{B}\) lies between \(\mathcal{H}_1\; \mathrm{and}\;\mathcal{H}_2\), and the latter spaces lie between \(\mathcal{H}\; \mathrm{and}\;\mathcal{H}^\prime\).
Writting practice for developp mind and language
2016
This thesis wanted to put on the opposite between established culture, transmitted by School, and private culture, the VAE candidates’ concerned by this research, as well as the author’s. This putting on the opposite is fed by a purpose: to show to what extent the individual and collective work of writing on practical, allows to articulate first the peculiarity of the subjects, the trajectories, the experiences, the situations and the activities, with the generalization of the institutional speech linked with the standardized procedures of the device VAE ? In a second time does this work of writing allows to build knowledges from the experience, object and source of development, and to make…
Using Technologies to Teach Different Age Groups Meaningfully
2018
Increasing use of technologies in schools is inevitable as technologies provide new opportunities for innovative ways of learning and naturally attract students’ attention as modern and even playful tools. However, use of technologies can be most effective if the tasks are suitable for the specific age of students. It is necessary for teachers to be aware of cognitive development of children in different age groups in order to offer teaching methods and tasks that can be well-perceived by students and that foster the development of their cognitive abilities. This chapter provides a brief overview of cognitive development of children at different school ages, including development of executi…
Exploring parallel capabilities of an innovative numerical method for recovering image velocity vectors field
2010
In this paper an efficient method devoted to estimate the velocity vectors field is investigated. The method is based on a quasi-interpolant operator and involves a large amount of computation. The operations characterizing the computational scheme are ideal for parallel processing because they are local, regular and repetitive. Therefore, the spatial parallelism of the process is studied to rapidly proceed in the computation on distributed multiprocessor systems. The process has shown to be synchronous, with good task balancing and requiring a small amount of data transfer.
Datorzinātne un informācijas tehnoloģijas: Datu bāzes un informācijas sistēmas: doktorantu konsorcijs. Sestā Starptautiskā Baltijas konference Baltic…
2004
The Baltic Conference on Databases and Information Systems is a biannual international forum for technical discussion among researchers and developers of database and information systems. The objective of the conference is to bring together researchers as well as practitioners and PhD students in the field of computing research that will improve the construction of future information systems. On the other hand, the conference is giving opportunities to developers, users and researchers of advanced IS technologies to present their work and to exchange their ideas and at the same time providing a feedback to database community.
Sequence Learning in a Single Trial: A Spiking Neurons Model Based on Hippocampal Circuitry.
2020
ABSTRACTIn contrast with our everyday experience using brain circuits, it can take a prohibitively long time to train a computational system to produce the correct sequence of outputs in the presence of a series of inputs. This suggests that something important is missing in the way in which models are trying to reproduce basic cognitive functions. In this work, we introduce a new neuronal network architecture that is able to learn, in a single trial, an arbitrary long sequence of any known objects. The key point of the model is the explicit use of mechanisms and circuitry observed in the hippocampus, which allow the model to reach a level of efficiency and accuracy that, to the best of our…
Cognitive assessment of OCD patients: Neurovr vs neuropsychological test
2014
This study aimed to evaluate the reliability and validity of the Neuro- Virtual Reality as tool for the neuropsychological assessment in OCD patients. We used the neuropsychological battery and a virtual version of the Multiple Errand Test (V-MET), developed using the NeuroVR software, in order to evaluate the executive functions, the ability to plan ahead on complex problem solving tasks in daily life in 30 obsessive compulsive disorder (OCD) patients and 30 healthy controls. The results showed the presence of difficulties of OCD patients: lower levels of divided attention and higher levels of errors; higher mean rank of inefficiencies, interpretation failures and rule breaks and longer ti…
Introduction to the GiNaC Framework for Symbolic Computation within the C++ Programming Language
2002
AbstractThe traditional split into a low level language and a high level language in the design of computer algebra systems may become obsolete with the advent of more versatile computer languages. We describe GiNaC, a special-purpose system that deliberately denies the need for such a distinction. It is entirely written in C++and the user can interact with it directly in that language. It was designed to provide efficient handling of multivariate polynomials, algebras and special functions that are needed for loop calculations in theoretical quantum field theory. It also bears some potential to become a more general purpose symbolic package.
Memory limited inductive inference machines
1992
The traditional model of learning in the limit is restricted so as to allow the learning machines only a fixed, finite amount of memory to store input and other data. A class of recursive functions is presented that cannot be learned deterministically by any such machine, but can be learned by a memory limited probabilistic leaning machine with probability 1.