About: Institute of Theoretical Computer Science (Center of Young Science)

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

About: Institute of Theoretical Computer Science (Center of Young Science) Goto Sponge NotDistinct 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=LN00A056
Description	Intensive basic research in theoretical computer science, namely in the areas that make use of discrete mathematical methods, including applications. Main subjects will include design and analysis of discrete algorithms,computational complexity, computational geometry, mathematical logic and mathematical foundations of computer science, structural issues of computer science and computer science aspects of combinatorics, geometry and topology.From the organizational point of view the project will benefit from the internationa centre DIMATIA at Charles University. One of the main goals is preparation of young researchers. (en) Intenzivní základní výzkum v teoretické informatice, zejména v oblastech využívajících metody diskretní matematiky, včetně aplikací. Jedná se především o navrhování a analýzu diskrétních algoritmů,výpočetní složitost, výpočetní geometrii, matematickou logiku a matematické základy informatiky, strukturální otázky informatiky, informatické aspekty kombinatoriky, geometrie a topologie.Po organizační stránce bude projekt vycházet z činnosti mezinárodního centra DIMATIA na MFF UK. Hlavní důraz bude kladen na zapojení a výchovu mladých vědeckých pracovníků.
Title	Institute of Theoretical Computer Science (Center of Young Science) (en) Institut teoretické informatiky - Centrum mladé vědy
skos:notation	LN00A056
http://linked.open...avai/cep/aktivita	Research centres
http://linked.open...kovaStatniPodpora	http://linked.opendata.cz/resource/domain/vavai/projekt/LN00A056/celkovaStatniPodpora
http://linked.open...ep/celkoveNaklady	http://linked.opendata.cz/resource/domain/vavai/projekt/LN00A056/celkoveNaklady
http://linked.open...datumDodatniDoRIV	2008-05-28 (xsd:date)
http://linked.open...i/cep/druhSouteze	VS - Veřejná soutěž ve výzkumu a vývoji
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	1757518
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...vai/cep/kategorie	NV - Aplikovaný výzkum s výjimkou průmyslového výzkumu (tzv. %22neprůmyslový výzkum%22)
http://linked.open.../cep/klicovaSlova	basic research, theoretical computer science, discrete mathematics, mathematical logic, computational complexity, computational and discrete geometry, combinatorics (en)
http://linked.open...ep/partnetrHlavni	Matematicko-fyzikální fakulta
http://linked.open...inujicichPrijemcu	0 (xsd:int)
http://linked.open...cep/pocetPrijemcu	1 (xsd:int)
http://linked.open...ocetSpoluPrijemcu	3 (xsd:int)
http://linked.open.../pocetVysledkuRIV	347 (xsd:int)
http://linked.open...enychVysledkuVRIV	347 (xsd:int)
http://linked.open...okUkonceniPodpory	2004
http://linked.open...okZahajeniPodpory	2000
http://linked.open...iciPoslednihoRoku	2005
http://linked.open...atUdajeProjZameru	2005
http://linked.open.../vavai/cep/soutez	SMSM0031008
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	Rozsáhlý teoretický výzkum v hraniční oblasti matematiky, informatiky a aplikací. Špičkové vědecké pracoviště mezinárodního významu. Za celkové trvání projektu ITI bylo uspořádáno 29 konferencí a workshopů, publikováno 289 prací, 9 mezinárodních sborníků (cs) Broadly based theoretical interdisciplinary research (in mathematics, computer science and applications). Top research institute is internationally recognized. During its existence ITI as NRC organized 29 conferences and workshops, published 289 scientif (en)
http://linked.open...tniCyklusProjektu	ZBBBKU
http://linked.open.../cep/klicoveSlovo	basic research computational complexity discrete mathematics mathematical logic computational and discrete geometry theoretical computer science
is http://linked.open...vavai/riv/projekt of	Desk-mates (Stable Matching) with Privacy of Preferences and a new Distributed CSP Framework Conflict-based Statistics Constraint Satisfaction for Planning and Scheduling Counting list homomorphisms for graphs with bounded degrees Crossing number, pair-crossing number, and expansion Cycles through given vertices and closures Diagonalization in proof complexity Computer-aided complexity classification of dial-a-ride problems Group coloring and list group coloring are Pi_2^P-complete Geometric separation and exact solutions for the parameterized independent set problem on disk graphs Ground State Incongruence in Spin Glasses Revisited Graphs and Homomorphisms Graphs, Morphisms and Statistical Physics The greedy algorithm for the minimum common string partition problem Hamiltonian decompositions of prisms over cubic graphs The greedy algorithm for the minimum common string partition problem Functions that have read-twice constant width branching programs are not necessarily testable Mixed hypercacti Locally consistent constraint satisfaction problems Mathematical Foundations of Computer Science Minimum Common String Partition Problem: Hardness and Approximations Locally Satisfiable Formulas Low-distortion embeddings of discrete metric spaces Long alternating paths in bicolored point sets Methods for Multidimensional Event Classification: A Case Study using Images from a Cherenkov Gamma-Ray Telescope Propagating Deletions in Tabular Constraints Propagating Deletions in Tabular Constraints Prague Midsummer Combinatorial Workshop XI Cantor-Bernstein type theorem for locally constrained graph homomorphisms Progressions aritm`etiques de nombres primers Independence and coloring problems on intersection graphs of disks Complexity Issues in Basic Logic On the Non-Learnability of a Single Spiking Neuron Generating Sequential Triangle Strips by using Hopfield Nets A Hierarchy Result for Read-Once Branching Programs with Restricted Parity Nondeterminism Arithmetical Complexity of Fuzzy Predicate Logics - A Survey Graph Theory Filtering Algorithms for Tabular Constraints Mathematical Foundations of Computer Science 2001, 26th International Symposium Complexity of hypergraph coloring and Seidel's switching Continuous DCPOS as complete information systems Davenport-Schinzel trees The computational complexity of the role assignment problem, Constraint satisfaction with countable homogeneous templates Coloring and homomorphisms of minor closed classes Counting even and odd partitions Constraint-based Scheduling: An Introduction for Newcomers. Contractibility techniques as a closure concept Combining Pairwise Classifiers with Stacking. Deductive Systems of Fuzzy Logic. Coloring graphs from lists with bounded size of their union. KAM-DIMATIA. Series 2003-641 and ITI Series 2003-156. Iterative Forward Search: Combining Local Search with Maintaining Arc Consistency and a Conflict-based Statistics Incomplete Depth-First Search Techniques: A Short Survey Integrating Planning into Production Scheduling: A Formal View Implementing Propagators for Tabular Constraints Implicit proofs Improved online algorithms for buffer management in QoS switches It is tough to be a plumber Joint EMS mathematical weekend KAM-DIMATA Series 2004-662 and ITI Series 2004-186. A simple combinatorial proof of duality of multiroute flows and cuts

Faceted Search & Find service v1.16.116 as of Feb 22 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

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