About: Computational models and complexity of computations

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Computational models and complexity of computations Goto Sponge Distinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Projekt, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	http://linked.opendata.cz/ontology/domain/vavai/Projekt
rdfs:seeAlso	http://www.isvav.cz/projectDetail.do?rowId=GA201/98/0717
Description	A basic research project in informatics whose main aim is to contribute further to the development of the computational complexity theory.It is centered around various universal and restricted computational models whose computational and descriptional power and efficiency will be studied.The respective research will proceed along two main research lines: -investigation of computational complexity within classical computational paradigms of sequential computing , represented by Turing machines , RAMs,Boolean circuits branching programs, etc. - computational complexity studied within the framework of recent pradigms of parallel computing, neurocomputing, genetic computing, cognitive computing, etc. The proposed research team consists from 5 key researchers complemented by their 5 PhD students. (en) Jde o projekt základního výzkumu v informatice, jehož cílem je přispět k rozvoji teorie výpočetní složitosti. Soustřeďuje se na různé univerzální i omezené výpočetní modely, kde zkoumá jejich výpočetní a deskriptivní sílu a efektivitu. Výzkum bude probíhat ve dvou vzájemně se doplňujících liniích: - výzkum výpočetní složitosti v rámci klasických výpočetních paradigmat, representovaných Turingovými stroji, RAMy, booleovskými obvody, větvícími se programy, apod. - výpočetní složitost v rámci nových paradigmat paralelních výpočtů, neurovýpočtů, genetických výpočtů, analogových výpočtů, apod. Projekt volně navazuje na předchozí projekt GAČR (1995-1997). Účastní se ho 5 klíčových pracovníků a 5 doktorandů.
Title	Computational models and complexity of computations (en) Výpočetní modely a složitost výpočtů
skos:notation	GA201/98/0717
http://linked.open...avai/cep/aktivita	Standard projects
http://linked.open...kovaStatniPodpora	http://linked.opendata.cz/resource/domain/vavai/projekt/GA201%2F98%2F0717/celkovaStatniPodpora
http://linked.open...ep/celkoveNaklady	http://linked.opendata.cz/resource/domain/vavai/projekt/GA201%2F98%2F0717/celkoveNaklady
http://linked.open...ep/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open.../cep/fazeProjektu	600634
http://linked.open...ai/cep/hlavniObor	BA - Obecná matematika
http://linked.open...hodnoceniProjektu	V - Vynikající výsledky (s mezinárodním významem apod.). Zároveň byly splněny cíle a předpokládané výsledky uvedené ve smlouvě / rozhodnutí o poskytnutí podpory.
http://linked.open...ep/partnetrHlavni	Ústav informatiky AV ČR, v.v.i.
http://linked.open...inujicichPrijemcu	0 (xsd:int)
http://linked.open...cep/pocetPrijemcu	1 (xsd:int)
http://linked.open...ocetSpoluPrijemcu	0 (xsd:int)
http://linked.open.../pocetVysledkuRIV	47 (xsd:int)
http://linked.open...enychVysledkuVRIV	47 (xsd:int)
http://linked.open...iciPoslednihoRoku	2001
http://linked.open...atUdajeProjZameru	2001
http://linked.open...usZobrazovaneFaze	DUU
http://linked.open...ai/cep/typPojektu	P - Projekt výzkumu a vývoje financovaný ze státního rozpočtu
http://linked.open...jektu+dodavatelem	Přínosem řešitelského kolektivu jsou jednak průkopnické práce přinášející nové modely výpočtů (J. Wiedermann), které získali významný publikační a prezentační prostor, jednak řadu technických výsledků, které mají značný stupeň obtížnosti (Savický, Šíma, (cs)
http://linked.open...tniCyklusProjektu	ZBKU
is http://linked.open...vavai/riv/projekt of	On the Influence of the Variable Ordering for Algorithmic Learning using OBDDs The Computational Limits to the Cognitive Power of the Neuroidal Tabula Rasa. On Uncertainity versus Size in Branching Programs. Introduction to Neural Networks. The Cogitoid: A Computational Model of Cognitive Behaviour. (Revised Version). The Computational Limits to the Cognitive Power of the Neuroidal Tabula Rasa. Computational Power of Neuroidal Nets. The Computational Limits to the Cognitive Power of the Neuroidal Tabula Rasa. N/A Table Rounding Problem. Upper Bounds for Gentle Branching Programs. Utilizing Unique Parametrization Property in Approximate Genetic Learning of Feed-Forward Networks. Creating Hybrid AI Models with Bang. The Computational Theory of Neural Networks. Implementation Remarks on Learning Algorithm Based on Kolmogorov Theorem. Genetic Algorithms and Neural Networks: Making Use of Parameter Space Symetries. Neural Knowledge Processing in Expert Systems. On Uncertainty versus Size in Branching Programs. On Uncertainty versus Size in Branching Programs. The Turing Machine Paradigm in Contemporary Computing. A Probabilistic Nonequivalence Test for Syntactic (1,+k)-branching Programs. Back Propagation in Realistic Parallel Environment. A Probabilistic Nonequivalence Test for Syntactic (1,+k)-branching Programs. The Turing Machine Paradigm in Contemporary Computing. On Branching Programs with Bounded Uncertainty. On Functions with Many Good Variable Orderings for Parity OBDDs. Simulating the Mind: A Gauntlet Thrown to Computer Science. Towards Algorithmic Explanation of Mind Evolution and Functioning. Speeding-Up Nondeterministic Single-Tape Off-Line Computations by One Alternation. Splendor and Misery of Parallel Machine Models. A Continuous-Time Hopfield Net Simulation of Discrete Neural Networks. Approximations by OBDDs and the Variable Ordering Problem. Intelligence as Large-Scale Computational Learning Phenomenon. (A Short Version). N/A Simulating the Mind: A Gauntlet Thrown to Computer Science. Some Afterthoughts on Hopfield Networks. Some Afterthoughts on Hopfield Networks. A Read-once Lower Bound and a (1,+k) - Hierarchy for Branching Programs. A Continuous-Time Hopfield Net Simulation of Discrete Neural Networks. A subexponential lower bound on read-once branching programs by a new argument. A Hierarchy Result for Read-Once Branching Programs with Restricted Parity Nondeterminism. DNF tautologies with a limited number of occurrences of every variable. On Algorithms and Interaction. On the Power of Interative Computing. On the Computational Power of Continuous-Time Symmetric Hopfield Nets. On Random Orderings of Variables for Parity Ordered Binary decision Diagrams. Some Notes on the Information Flow in Read-Once Branching Programs.
is http://linked.open...vavai/cep/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F98%2F0717/1998/ico%3A67985807 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F98%2F0717/1999/ico%3A67985807 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F98%2F0717/2000/ico%3A67985807 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F98%2F0717/2001/ico%3A67985807

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software