• česky
  • english
Přejít na obsah | Přejít na menu

Informační systém výzkumu, experimentálního vývoje a inovací
výzkum, vývoj a inovace podporované z veřejných prostředků ČR

    • Poskytovatelé podpory ve výzkumu, vývoji a inovacích (RPO)
    • Programy výzkumu, vývoje a inovací (RPG)
    • Subjekty ve výzkumu, vývoji a inovacích (RPR)
  • Veřejné soutěže ve výzkumu, vývoji a inovacích (VES)
  • Projekty výzkumu, vývoje a inovací (CEP)
  • Výzkumné záměry (CEZ)
  • Výsledky výzkumu, vývoje a inovací (RIV)

Projekt LN00A056 - Institut teoretické informatiky - Centrum mladé vědy (2000-2004, MSM/LN)

Údaje o projektu
Identifikační kódLN00A056
Důvěrnost údajůS - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
Název v původním jazyceInstitut teoretické informatiky - Centrum mladé vědy
PoskytovatelMSM - Ministerstvo školství, mládeže a tělovýchovy (MŠMT)
ProgramLN - Výzkumná centra (2000-2004)
Kategorie VaVNV - Aplikovaný výzkum s výjimkou průmyslového výzkumu (tzv. "neprůmyslový výzkum")
Hlavní oborBA - Obecná matematika
Zahájení řešení07/2000
Ukončení řešení12/2004
Zahájení poskytování účelové podpory07/2000
Ukončení poskytování účelové podpory12/2004
Poslední stav řešeníU - Ukončený projekt, tj. jednoletý nebo víceletý projekt, který skončil v předcházejícím roce, v příslušném roce sběru dat jsou dodány údaje vztahující se k jeho ukončení
Finance projektu
Období20002001200220032004za celou dobu řešení
Výše podpory ze státního rozpočtu4 477 tis. Kč10 865 tis. Kč13 510 tis. Kč14 578 tis. Kč17 393 tis. Kč60 823 tis. Kč
Celkové uznané náklady5 986 tis. Kč14 131 tis. Kč17 242 tis. Kč18 985 tis. Kč22 577 tis. Kč78 921 tis. Kč
Typskutečně čerpanéskutečně čerpanéskutečně čerpanéskutečně čerpanéskutečně čerpanéskutečně čerpané
Druh soutěžeVS - Veřejná soutěž ve výzkumu a vývoji
Veřejná soutěž ve výzkumu, vývoji a inovacíchSMSM0031008 - Veřejná soutěž (MSM/LN)
Cíle řešení v původním jazyceIntenzivní 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ů.
Klíčová slova v anglickém jazycebasic research, theoretical computer science, discrete mathematics, mathematical logic, computational complexity, computational and discrete geometry, combinatorics
Hodnocení výsledků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.
Zhodnocení výsledků řešení českyRozsá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ů
Rok dodání údajů do CEP2005
Systémové označení dodávky datCEP/2005/MSM/MSM5LN/U/N/4:2
Účastníci projektu
Počet příjemců1
Počet dalších účastníků projektu3
Příjemce / Organizační jednotka garantující řešeníUniverzita Karlova v Praze / Matematicko-fyzikální fakulta
ŘešitelProf. RNDr. Jaroslav Nešetřil, DrSc. (státní příslušnost: CZ - Česká republika; tel.: +420-(0)2-21914229; fax: +420-(0)2-57 32 07 26)
Další účastník projektuZápadočeská univerzita v Plzni
ŘešitelProf.RNDr. Zdeněk Ryjáček, CSc. (státní příslušnost: CZ - Česká republika)
Další účastník projektuÚstav informatiky AV ČR, v. v. i.
ŘešitelProf. RNDr. Petr Hájek, DrSc. (státní příslušnost: CZ - Česká republika)
Další účastník projektuMatematický ústav AV ČR, v. v. i.
ŘešitelRNDr Pavel Pudlák, DrSc (státní příslušnost: CZ - Česká republika)
Výsledky projektu v RIV
Počet výsledků v RIV347
Výsledek druhu JRIV/00216208:11320/06:00002232 - Cantor-Bernstein type theorem for locally constrained graph homomorphisms (2006)
Výsledek druhu DRIV/00216208:11320/06:00206161 - Independence and coloring problems on intersection graphs of disks (2006)
Výsledek druhu JRIV/00216208:11320/06:00002417 - Progressions aritm`etiques de nombres primers (2006)
Výsledek druhu JRIV/00216208:11320/05:00001155 - A Brooks-type Theorem for the Generalized List T-coloring (2005)
Výsledek druhu JRIV/00216208:11320/05:00000519 - A complete complexity classification of the role assignment problem (2005)
Výsledek druhu JRIV/67985807:_____/05:00405528 - A Hierarchy Result for Read-Once Branching Programs with Restricted Parity Nondeterminism (2005)
Výsledek druhu JRIV/00216208:11320/05:00000605 - A note on group colorings (2005)
Výsledek druhu JRIV/49777513:23520/05:00000211 - A note on the shortness coefficient and the Hamiltonicity of 4-connected line graphs (2005)
Výsledek druhu DRIV/00216208:11320/05:00206179 - An asymptotically optimal linear-time algorithm for locally consistent constraint satisfaction problems (2005)
Výsledek druhu JRIV/00216208:11320/05:00000527 - An Exact Algorithm for Channel Assignment Problem (2005)
Výsledek druhu JRIV/67985807:_____/05:00405556 - Arithmetical Complexity of Fuzzy Predicate Logics - A Survey (2005)
Výsledek druhu JRIV/67985840:_____/05:00027497 - Coloring graphs from lists with bounded size of their union (2005)
Výsledek druhu JRIV/67985807:_____/05:00405291 - Complexity Issues in Basic Logic (2005)
Výsledek druhu JRIV/00216208:11320/05:00001212 - Cyclic, diagonal and facial coloring (2005)
Výsledek druhu JRIV/00216208:11320/05:00001298 - Generalized list T-colorings of cycles (2005)
Výsledek druhu DRIV/67985807:_____/05:00405294 - Generating Sequential Triangle Strips by using Hopfield Nets (2005)
Výsledek druhu JRIV/00216208:11320/05:00000805 - Group coloring is Pi_2^P-complete (2005)
Výsledek druhu JRIV/00216208:11320/05:00001035 - Hamilton Cycles in Strong Products of Graphs (2005)
Výsledek druhu JRIV/67985840:_____/05:00022096 - Hardness assumptions in the foundations of theoretical computer science (2005)
Výsledek druhu JRIV/00216208:11320/05:00000924 - Locally consistent constraint satisfaction problems (2005)
Výsledek druhu JRIV/00216208:11320/05:00001309 - On integrality and periodicity of the Motzkin numbers (2005)
Výsledek druhu JRIV/00216208:11320/05:00005597 - On the Chromatic Number of the Visibility Graph of a Set of Points in the Plane (2005)
Výsledek druhu JRIV/00216208:11320/05:00001009 - On the computational complexity of partial covers of Theta graphs (2005)
Výsledek druhu JRIV/67985807:_____/05:00405292 - On the Non-Learnability of a Single Spiking Neuron (2005)
Výsledek druhu DRIV/67985840:_____/05:00022091 - Proof complexity (2005)
Výsledek druhu JRIV/67985840:_____/05:00022098 - Structured pigeonhole principle, search problems and hard tautologies (2005)
Výsledek druhu JRIV/00216208:11320/05:00001362 - Systems of distant representatives (2005)
Výsledek druhu DRIV/00216208:11320/05:00206150 - Three optimal algorithms for balls of three colors (2005)
Výsledek druhu DRIV/67985840:_____/05:00027504 - Two algorithms for general list matrix partitions (2005)
Výsledek druhu JRIV/00216208:11320/05:00001363 - Unions of perfect matchings in cubic graphs (2005)
Výsledek druhu JRIV/00216208:11320/04:00002720 - A combinatorial proof of Kneser's conjecture (2004)
Výsledek druhu JRIV/00216208:11320/04:00002960 - A Discrete Non-Pfaffian Aproach to the Ising Problem (2004)
Výsledek druhu DRIV/00216208:11320/04:00002968 - A Flexible Constraint Model for Validating Plans with Durative Actions (2004)
Výsledek druhu VRIV/00216208:11320/04:00003075 - A new algorithm for maintaining arc consistency after constraint retraction (2004)
Výsledek druhu JRIV/00216208:11320/04:00002553 - A New Algorithm for Maintaining Arc Consistency After Constraint Retraction (2004)
Výsledek druhu DRIV/00216208:11320/04:00002680 - A New Algorithm for Singleton Arc Consistency (2004)
Výsledek druhu JRIV/00216208:11320/04:00002958 - A New Approach to Modelling and Solving Minimal Perturbation Problems (2004)
Výsledek druhu JRIV/00216208:11320/04:00002877 - A note on Hajos' theorem for list coloring (2004)
Výsledek druhu JRIV/00216208:11320/04:00003490 - A note on injective spaces (2004)
Výsledek druhu JRIV/00216208:11320/04:00003254 - A note on some separable location problems - A multicriterial approach. (2004)
Výsledek druhu JRIV/00216208:11320/04:00002829 - A Ramsey property of planar graphs (2004)
Výsledek druhu JRIV/49777513:23520/04:00000257 - A revival of the girth conjecture (2004)
Výsledek druhu CRIV/67985807:_____/04:00103380 - A True Unprovable Formula of Fuzzy Predicate Logic (2004)
Výsledek druhu JRIV/00216208:11320/04:00002847 - An Algorithm for Cyclic Edge Connectivity of Cubic Graphs (2004)
Výsledek druhu JRIV/00216208:11320/04:00003498 - Antiflows, Oriented and Strong Oriented Colorings of Graphs (2004)
Výsledek druhu JRIV/00216208:11320/04:00002568 - Antisymmetric flows and edge connectivity (2004)
Výsledek druhu JRIV/67985840:_____/04:00106824 - Approximate Euler characteristic, dimension, and weak pigeonhole principles (2004)
Výsledek druhu JRIV/67985840:_____/04:00106943 - Approximation schemes for scheduling on uniformly related and identical parallel machines (2004)
Výsledek druhu DRIV/00216208:11320/04:00002902 - Barvení map a grafů (2004)
Výsledek druhu JRIV/00216208:11320/04:00002743 - Borodin's Conjecture on Diagonal Coloring is False (2004)
Výsledek druhu JRIV/00216208:11320/04:00002695 - Bounded VC-dimension implies a fractional Helly theorem (2004)
Výsledek druhu JRIV/00216208:11320/04:00002690 - Coloring Face Hypergraphs on Surfaces (2004)
Výsledek druhu JRIV/00216208:11320/04:00003561 - Coloring powers of chordal graphs (2004)
Výsledek druhu JRIV/67985840:_____/04:00106827 - Combinatorics of first order structures and propositional proof systems (2004)
Výsledek druhu JRIV/67985840:_____/04:00106940 - Computer-aided complexity classification of dial-a-ride problems (2004)
Výsledek druhu DRIV/00216208:11320/04:00002749 - Conflict-based Statistics (2004)
Výsledek druhu CRIV/00216208:11320/04:00003212 - Constraint Satisfaction for Planning and Scheduling (2004)
Výsledek druhu JRIV/00216208:11320/04:00003360 - Counting list homomorphisms for graphs with bounded degrees (2004)
Výsledek druhu JRIV/00216208:11320/04:00003414 - Crossing number, pair-crossing number, and expansion (2004)
Výsledek druhu JRIV/49777513:23520/04:00000263 - Cycles through given vertices and closures (2004)
Výsledek druhu DRIV/00216208:11320/04:00002717 - Desk-mates (Stable Matching) with Privacy of Preferences and a new Distributed CSP Framework (2004)
Výsledek druhu JRIV/67985840:_____/04:00106897 - Diagonalization in proof complexity (2004)
Výsledek druhu MRIV/00216208:11320/04:00003695 - DIMATIA-ITI Young Graph Theory Day X (2004)
Výsledek druhu JRIV/00216208:11320/04:00002619 - Edge decompositions of multigraphs into multi-2-paths (2004)
Výsledek druhu JRIV/00216208:11320/04:00003504 - Edge-Disjoint Odd Cycles in Planar Graphs (2004)
Výsledek druhu JRIV/00216208:11320/04:00002837 - Elegant distance constrained labelings of trees (2004)
Výsledek druhu JRIV/00216208:11320/04:00005516 - The Erdos-Turan property for a class of bases (2004)
Výsledek druhu DRIV/67985807:_____/04:00105191 - Experimental Study of Leaf Confidences for Random Forest (2004)
Výsledek druhu JRIV/00216208:11320/04:00002893 - Extremal problems for ordered (hyper) graphs: applications of Davenport-Schinzel sequences (2004)
Výsledek druhu JRIV/00216208:11320/04:00002839 - Extremal problems for ordered hypergraphs: small patterns and some enumeration (2004)
Výsledek druhu JRIV/00216208:11320/04:00002748 - Finitely generated varieties of distributive double p-algebras universal modulo a group (2004)
Výsledek druhu JRIV/00216208:11320/04:00003359 - Forbidden forests in Priestley spaces (2004)
Výsledek druhu JRIV/67985840:_____/04:00106942 - Functions that have read-twice constant width branching programs are not necessarily testable (2004)
Výsledek druhu JRIV/00216208:11320/04:00002887 - Geometric separation and exact solutions for the parameterized independent set problem on disk graphs (2004)
Výsledek druhu BRIV/00216208:11320/04:00003147 - Graphs and Homomorphisms (2004)
Výsledek druhu BRIV/00216208:11320/04:00003289 - Graphs, Morphisms and Statistical Physics (2004)
Výsledek druhu DRIV/67985840:_____/04:00106921 - The greedy algorithm for the minimum common string partition problem (2004)
Výsledek druhu JRIV/00216208:11320/04:00003543 - The greedy algorithm for the minimum common string partition problem (2004)
Výsledek druhu JRIV/00216208:11320/04:00003099 - Ground State Incongruence in Spin Glasses Revisited (2004)
Výsledek druhu JRIV/00216208:11320/04:00002572 - Group coloring and list group coloring are Pi_2^P-complete (2004)
Výsledek druhu JRIV/49777513:23520/04:00000256 - Hamiltonian decompositions of prisms over cubic graphs (2004)
Výsledek druhu JRIV/00216208:11320/04:00003293 - Implementing Propagators for Tabular Constraints (2004)
Výsledek druhu JRIV/67985840:_____/04:00106826 - Implicit proofs (2004)
Výsledek druhu DRIV/67985840:_____/04:00106923 - Improved online algorithms for buffer management in QoS switches (2004)
Výsledek druhu DRIV/00216208:11320/04:00002712 - Incomplete Depth-First Search Techniques: A Short Survey (2004)
Výsledek druhu DRIV/00216208:11320/04:00002951 - Integrating Planning into Production Scheduling: A Formal View (2004)
Výsledek druhu JRIV/67985840:_____/04:00106941 - It is tough to be a plumber (2004)
Výsledek druhu DRIV/00216208:11320/04:00002654 - Iterative Forward Search: Combining Local Search with Maintaining Arc Consistency and a Conflict-based Statistics (2004)
Výsledek druhu MRIV/00216208:11320/04:00003694 - Joint EMS mathematical weekend (2004)
Výsledek druhu VRIV/67985840:_____/04:00106814 - KAM-DIMATA Series 2004-657 and ITI Series 2004-180. An improved approximation algorithm for the asymmetric TSP with strengthened triangle inequality (2004)
Výsledek druhu VRIV/67985840:_____/04:00106813 - KAM-DIMATA Series 2004-658 and ITI Series 2004-181. Improved online algorithms for buffer management in QoS switches (2004)
Výsledek druhu VRIV/67985840:_____/04:00106812 - KAM-DIMATA Series 2004-659 and ITI Series 2004-182. Online scheduling of equal-length jobs: Randomization and restarts help (2004)
Výsledek druhu VRIV/67985840:_____/04:00106811 - KAM-DIMATA Series 2004-662 and ITI Series 2004-186. A simple combinatorial proof of duality of multiroute flows and cuts (2004)
Výsledek druhu VRIV/67985840:_____/04:00106925 - KAM-DIMATIA Series 2004-688 and ITI Series 2004-208. On the complexity of cake cutting (2004)
Výsledek druhu VRIV/67985840:_____/04:00106926 - KAM-DIMATIA Series 2004-695 and ITI Series 2004-216. On the Non-Learnability of a Single Spiking Neuron (2004)
Výsledek druhu JRIV/00216208:11320/04:00003033 - Locally consistent constraint satisfaction problems (2004)
Výsledek druhu DRIV/00216208:11320/04:00003340 - Locally Satisfiable Formulas (2004)
Výsledek druhu JRIV/00216208:11320/04:00005506 - Long alternating paths in bicolored point sets (2004)
Výsledek druhu CRIV/00216208:11320/04:00003433 - Low-distortion embeddings of discrete metric spaces (2004)
Výsledek druhu BRIV/00216208:11320/04:00003092 - Mathematical Foundations of Computer Science (2004)
Výsledek druhu JRIV/67985807:_____/04:00103275 - Methods for Multidimensional Event Classification: A Case Study using Images from a Cherenkov Gamma-Ray Telescope (2004)
Výsledek druhu JRIV/00216208:11320/04:00003200 - Minimum Common String Partition Problem: Hardness and Approximations (2004)
Výsledek druhu JRIV/00216208:11320/04:00002751 - Mixed hypercacti (2004)
Výsledek druhu JRIV/00216208:11320/04:00002772 - New constructions of weak epsilon-nets (2004)
Výsledek druhu JRIV/00216208:11320/04:00002589 - New lower bounds on the weighted chromatic number of a graph (2004)
Výsledek druhu JRIV/00216208:11320/04:00003320 - No Helly theorem for stabbing translates by lines in R^3 (2004)
Výsledek druhu JRIV/00216208:11320/04:00002842 - Noncrossing Hamiltonian Paths in Geometric Graphs (2004)
Výsledek druhu JRIV/00216208:11320/04:00003046 - Note on projective graphs (2004)
Výsledek druhu JRIV/00216208:11320/04:00003142 - On covers of graphs (2004)
Výsledek druhu JRIV/00216208:11320/04:00003373 - On distance constrained labeling of disk graphs (2004)
Výsledek druhu JRIV/00216208:11320/04:00003519 - On Feasible Sets of Mixed Hypergraphs (2004)
Výsledek druhu DRIV/00216208:11320/04:00003506 - On Generators of Random Quasigroup Problems (2004)
Výsledek druhu VRIV/00216208:11320/04:00003563 - On Generators of Random Quasigroup Problems (2004)
Výsledek druhu JRIV/49777513:23520/04:00000247 - On local and global independence numbers of a graph (2004)
Výsledek druhu JRIV/00216208:11320/04:00003257 - On Maximum Face-Constrained Coloring of Plane Graphs with no Short Face Cycles (2004)
Výsledek druhu JRIV/00216208:11320/04:00003267 - On relative universality and Q-universality (2004)
Výsledek druhu JRIV/00216208:11320/04:00003431 - On sparse graphs with given colorings and homomorphisms (2004)
Výsledek druhu JRIV/00216208:11320/04:00002769 - On the least exponential growth admitting uncountably many closed permutation classes (2004)
Výsledek druhu JRIV/49777513:23520/04:00000249 - On traceability and 2-factors in claw-free graphs (2004)
Výsledek druhu JRIV/00216208:11320/04:00003108 - On weak lattice and frame homomorphisms (2004)
Výsledek druhu JRIV/00216208:11320/04:00002604 - The one-round Voronoi game (2004)
Výsledek druhu DRIV/67985840:_____/04:00106816 - Online competitive algorithms for maximizing weighted throughput of unit jobs (2004)
Výsledek druhu CRIV/67985840:_____/04:00106919 - Online scheduling (2004)
Výsledek druhu DRIV/67985840:_____/04:00106922 - Online scheduling of equal-length jobs: Randomization and restarts help (2004)
Výsledek druhu DRIV/67985840:_____/04:00106815 - Optimal and online preemptive scheduling on uniformly related machines (2004)
Výsledek druhu JRIV/00216208:11320/04:00003473 - Optimal and online preemtive scheduling on uniformly related machines (2004)
Výsledek druhu JRIV/00216208:11320/04:00002785 - Pancyclicity of Strong Products of Graphs (2004)
Výsledek druhu JRIV/49777513:23520/04:00000260 - Planar graph colorings without short monochromatic cycles (2004)
Výsledek druhu JRIV/00216208:11320/04:00003534 - Planar point sets with a small number of empty convex polygons (2004)
Výsledek druhu WRIV/00216208:11320/04:00003696 - Prague Midsummer Combinatorial Workshop XI (2004)
Výsledek druhu DRIV/00216208:11320/04:00003606 - Propagating Deletions in Tabular Constraints (2004)
Výsledek druhu VRIV/00216208:11320/04:00002507 - Propagating Deletions in Tabular Constraints (2004)
Výsledek druhu JRIV/00216208:11320/04:00002807 - Prvočísla obsahují libovolně dlouhé aritmetické posloupnosti (2004)
Výsledek druhu DRIV/00216208:11320/04:00003549 - RANDOM EDGE can be exponential on abstract cubes (2004)
Výsledek druhu JRIV/67985840:_____/04:00106818 - Randomized On-line Scheduling on 3 processors (2004)
Výsledek druhu JRIV/67985807:_____/04:00108848 - Robust RBF Finite Automata (2004)
Výsledek druhu JRIV/00216208:11320/04:00002880 - Simple On-Line Algorithms for the Maximum Disjoint Paths Problem (2004)
Výsledek druhu JRIV/00216208:11320/04:00002957 - Topological lower bounds for the chromatic number: A hierarchy (2004)
Výsledek druhu JRIV/00216208:11320/04:00003358 - Triangles in random graphs (2004)
Výsledek druhu JRIV/00216208:11320/04:00003088 - Two results on intersection graphs of polygons (2004)
Výsledek druhu JRIV/00216208:11320/04:00002978 - Unary Resource Constraint with Optional Activities (2004)
Výsledek druhu JRIV/00216208:11320/04:00002931 - The unit distance problem on spheres (2004)
Výsledek druhu VRIV/00216208:11320/04:00002868 - Validating plans with durative actions via integrating Boolean and numerical constraints (2004)
Výsledek druhu JRIV/00216208:11320/04:00002532 - VC-dimension of exterior visibility (2004)
Výsledek druhu JRIV/67985840:_____/04:00106920 - The weighted 2-server problem (2004)
Výsledek druhu MRIV/00216208:11320/04:00003697 - 29th International Symposium on Mathematical Foundations of Computer Science (2004)
Výsledek druhu JRIV/00216208:11320/04:00003607 - 3D Visibility Representations of Complete Graphs (2004)
Výsledek druhu JRIV/00216208:11320/03:00002876 - A bijection between nonnegative words and sparse $abba$-free partitions (2003)
Výsledek druhu JRIV/00216208:11320/03:00002777 - A canonical Ramsey-type theorem for finite subsets of N (2003)
Výsledek druhu JRIV/00216208:11320/03:00002171 - A constructive view of complete regularity (2003)
Výsledek druhu JRIV/00216208:11320/03:00002227 - A Counter-Example to Voloshin's Hypergraph Co-perfectness Conjecture (2003)
Výsledek druhu JRIV/00216208:11320/03:00002321 - A fractional Helly theorem for convex lattice sets (2003)
Výsledek druhu DRIV/67985840:_____/03:05030096 - A lower bound for cake cutting. (2003)
Výsledek druhu JRIV/00216208:11320/03:00002624 - A lower bound for cake cutting. (2003)
Výsledek druhu JRIV/00216208:11320/03:00002629 - A lower bound on the size of Lipschitz subsets in dimension 3 (2003)
Výsledek druhu DRIV/00216208:11320/03:00002393 - A New Labeling Algorithm to Solve Minimal Perturbation Problems: A Preliminary Report (2003)
Výsledek druhu JRIV/67985840:_____/03:05030188 - A note on monotone complexity and the rank of matrices. (2003)
Výsledek druhu JRIV/00216208:11320/03:00002220 - A note on random homomorphisms from arbitrary graphs to Z (2003)
Výsledek druhu JRIV/00216208:11320/03:00002029 - A Note on the Greedy Algorithm for the Unsplittable Flow Problem (2003)
Výsledek druhu JRIV/00216208:11320/03:00002180 - A Theorem about the Channel Assignment Problem (2003)
Výsledek druhu JRIV/00216208:11320/03:00002162 - Almost empty polygons (2003)
Výsledek druhu JRIV/67985840:_____/03:05030140 - An Application of Hindman.and.s Theorem to a Problem on Communication Complexity. (2003)
Výsledek druhu JRIV/00216208:11320/03:00002531 - Analysis of the {Harmonic} algorithm for three servers. (2003)
Výsledek druhu DRIV/67985840:_____/03:05030097 - Analysis of the { Harmonic } algorithm for three servers. (2003)
Výsledek druhu JRIV/00216208:11320/03:00002847 - Antisymmetric flows and strong oriented coloring of planar graphs (2003)
Výsledek druhu JRIV/00216208:11320/03:00002272 - Bell numbers, their relatives, and algebraic differential equations (2003)
Výsledek druhu MRIV/49777513:23520/03:00000149 - Česko-slovenská konference Grafy 2003 (2003)
Výsledek druhu DRIV/00216208:11320/03:00002222 - Coloring and homomorphisms of minor closed classes (2003)
Výsledek druhu VRIV/67985840:_____/03:05030198 - Coloring graphs from lists with bounded size of their union. KAM-DIMATIA. Series 2003-641 and ITI Series 2003-156. (2003)
Výsledek druhu DRIV/67985807:_____/03:06030079 - Combining Pairwise Classifiers with Stacking. (2003)
Výsledek druhu DRIV/00216208:11320/03:00002033 - Complexity of hypergraph coloring and Seidel's switching (2003)
Výsledek druhu DRIV/00216208:11320/03:00002127 - The computational complexity of the role assignment problem, (2003)
Výsledek druhu JRIV/00216208:11320/03:00002206 - Constraint satisfaction with countable homogeneous templates (2003)
Výsledek druhu DRIV/00216208:11320/03:00002894 - Constraint-based Scheduling: An Introduction for Newcomers. (2003)
Výsledek druhu JRIV/00216208:11320/03:00002074 - Continuous DCPOS as complete information systems (2003)
Výsledek druhu JRIV/49777513:23520/03:00000218 - Contractibility techniques as a closure concept (2003)
Výsledek druhu JRIV/00216208:11320/03:00002299 - Counting even and odd partitions (2003)
Výsledek druhu JRIV/00216208:11320/03:00002093 - Davenport-Schinzel trees (2003)
Výsledek druhu CRIV/67985807:_____/03:06030110 - Deduktivní systémy fuzzy logiky. (2003)
Výsledek druhu WRIV/00216208:11320/03:00002993 - DIMATIA-ITI Category Theory Day (2003)
Výsledek druhu WRIV/00216208:11320/03:00002992 - DIMATIA-ITI Graph Theory Day (2003)
Výsledek druhu JRIV/00216208:11320/03:00002718 - Disjunctive optimization, max-separable problems and extremal algebras (2003)
Výsledek druhu JRIV/00216208:11320/03:00002334 - Dynamic Global Constraints in Backtracking Based Environments (2003)
Výsledek druhu JRIV/00216208:11320/03:00002603 - The enumeration of simple permutations (2003)
Výsledek druhu JRIV/67985840:_____/03:05030037 - Equilateral sets in ln/p. (2003)
Výsledek druhu BRIV/00216208:11320/03:00002792 - EUROCOMB 01 (2003)
Výsledek druhu BRIV/00216208:11320/03:00002288 - Eurocomb 2003 - Abstracts (2003)
Výsledek druhu MRIV/00216208:11320/03:00002996 - Eurocomb'03 - 2nd European conference on Combinatorics, Graph Theory (2003)
Výsledek druhu DRIV/00216208:11320/03:00002197 - Examples for different sobrieties in fixed-basis topology (2003)
Výsledek druhu CRIV/00216208:11320/03:00002181 - Frames (2003)
Výsledek druhu DRIV/00216208:11320/03:00002201 - Freiman's theorem (2003)
Výsledek druhu JRIV/00216208:11320/03:00002144 - Generalized H-coloring and H-covering of trees (2003)
Výsledek druhu MRIV/00216208:11320/03:00002997 - Graph Colorings (2003)
Výsledek druhu JRIV/00216208:11320/03:00002512 - Graph Subcolorings: Complexity and Algorithms (2003)
Výsledek druhu WRIV/00216208:11320/03:00002985 - HOMONOLO'03 - Workshop on graph homomorphisms and related topics (2003)
Výsledek druhu DRIV/00216208:11320/03:00002170 - Implementing Propagators for Tabular Constraints (2003)
Výsledek druhu DRIV/00216208:11320/03:00002145 - Integrating Planning into Production Scheduling: Visopt Shopfloor System (2003)
Výsledek druhu DRIV/00216208:11320/03:00002709 - Lattice-valued frames, functor categories, and classes of sober spaces (2003)
Výsledek druhu JRIV/67985807:_____/03:06030005 - Mathematical Fuzzy Logic - State of Art 2001. (2003)
Výsledek druhu JRIV/00216208:11320/03:00002702 - Minimal Perturbation Problem A Formal View (2003)
Výsledek druhu DRIV/00216208:11320/03:00002087 - Minimal Perturbation Problem A Formal View (2003)
Výsledek druhu JRIV/00216208:11320/03:00002501 - Minimum Degree and the Number of Chords (2003)
Výsledek druhu JRIV/00216208:11320/03:00002354 - Mixed Hypegraphs with Bounded Degree: Edge-Coloring of Mixed Multigraphs (2003)
Výsledek druhu VRIV/49777513:23520/03:00000226 - Modelová úloha optimalizace vsázek EDU (2003)
Výsledek druhu DRIV/00216208:11320/03:00002689 - New constructions of weak epsilon-nets (2003)
Výsledek druhu JRIV/00216208:11320/03:00002722 - Non-P-recursiveness of numbers of matchings or linear chord diagrams with many crossings (2003)
Výsledek druhu JRIV/00216208:11320/03:00002056 - NP-completeness of the edge precoloring extension problem on bipartite graphs (2003)
Výsledek druhu JRIV/67985807:_____/03:06030118 - Observations on Non-commutative Fuzzy Logic. (2003)
Výsledek druhu JRIV/49777513:23520/03:00000145 - On growth rates of closed permutation classes (2003)
Výsledek druhu JRIV/00216208:11320/03:00002364 - On maximal finite antichains in the homomorphism order of directed graphs (2003)
Výsledek druhu DRIV/00216208:11320/03:00002868 - On Measuring of Images (2003)
Výsledek druhu JRIV/67985840:_____/03:05030044 - On reducibility and symmetry of disjoint NP pairs. (2003)
Výsledek druhu JRIV/00216208:11320/03:00005529 - On restricted min-wise independence of permutations (2003)
Výsledek druhu JRIV/00216208:11320/03:00002770 - On some arithmetic properties of polynomial expressions involving Stirling numbers of the second kind (2003)
Výsledek druhu DRIV/67985807:_____/03:06030045 - On the Complexity of Training a Single Perceptron with Programmable Synaptic Delays. (2003)
Výsledek druhu JRIV/00216208:11320/03:00002924 - On the Number of Intersections of Polygons (2003)
Výsledek druhu JRIV/00216208:11320/03:00002333 - On the order of countable graphs (2003)
Výsledek druhu JRIV/67985807:_____/03:06020142 - On Uncertainity versus Size in Branching Programs. (2003)
Výsledek druhu JRIV/00216208:11320/03:00002803 - One line and n points (2003)
Výsledek druhu VRIV/67985840:_____/03:05030142 - Online competitive algorithms for maximizing weighzed throughput of unit jobs. ITI Series 2003-172. (2003)
Výsledek druhu VRIV/67985840:_____/03:05030199 - Optimal and online preemptive scheduling on uniformly related machines. ITI Series 2003-171. (2003)
Výsledek druhu JRIV/00216208:11320/03:00002764 - Optimal Broadcast on Parallel Locality Models (2003)
Výsledek druhu MRIV/00216208:11320/03:00002982 - Planet technology information day (2003)
Výsledek druhu JRIV/00216208:11320/03:00002253 - Point configurations in $d$-space without large subsets in convex position (2003)
Výsledek druhu DRIV/00216208:11320/03:00002790 - Practical Constraints: A Tutorial on Modelling with Constraints. (2003)
Výsledek druhu WRIV/00216208:11320/03:00002991 - Prague Midsummer Combinatorial Workshop (2003)
Výsledek druhu JRIV/67985840:_____/03:05030084 - Preemptive scheduling in overloaded systems. (2003)
Výsledek druhu DRIV/00216208:11320/03:00002147 - Real-life Manufacturing Problems: A Challenge (2003)
Výsledek druhu JRIV/49777513:23520/03:00000223 - Regular clique covers of graphs (2003)
Výsledek druhu JRIV/00216208:11320/03:00002621 - Review 2003m:52021 (2003)
Výsledek druhu DRIV/00216208:11320/03:00002352 - ShopFloor System: Integrating Planning into Production Scheduling (2003)
Výsledek druhu DRIV/00216208:11320/03:00002149 - Short Length Menger's Theorem and it's Relation to Reliable Optical Routing (2003)
Výsledek druhu MRIV/00216208:11320/03:00002990 - STTI'03 - Současné trendy teoretické informatiky (2003)
Výsledek druhu JRIV/00216208:11320/03:00002915 - Towards a Theory of Frustrated Degeneracy (2003)
Výsledek druhu DRIV/00216208:11320/03:00002782 - Turan-type extremal theory of convex geometric graphs (2003)
Výsledek druhu JRIV/00216208:11320/03:00002700 - Universal topological unary varieties (2003)
Výsledek druhu BRIV/00216208:11320/03:00002210 - Using the Borsuk-Ulam theorem (Lecture notes on topological methods in combinatorics and geometry) (2003)
Výsledek druhu DRIV/00216208:11320/03:00002594 - Visopt ShopFloor: Going Beyond Traditional Scheduling (2003)
Výsledek druhu JRIV/00216208:11320/03:00002090 - 2003e:05085 (2003)
Výsledek druhu JRIV/00216208:11320/03:00002233 - 2003h:52025 (2003)
Výsledek druhu JRIV/00216208:11320/03:00002759 - 2003k:52013 (2003)
Výsledek druhu WRIV/49777513:23520/03:00000163 - 4th workshop on the Matthews-Sumner conjecture (2003)
Výsledek druhu DRIV/67985840:_____/02:00106817 - A Lower Bound for Restricted Randomized On-line Algorithms for Scheduling (2002)
Výsledek druhu JRIV/00216208:11320/02:00003805 - A lower bound for weak epsilon-nets in high dimension (2002)
Výsledek druhu JRIV/67985807:_____/02:06020016 - A New Small Emendation of Gödel's Ontological Proof. (2002)
Výsledek druhu JRIV/67985840:_____/02:05020031 - A note on conservativity relations among bounded arithmetic theories. (2002)
Výsledek druhu VRIV/00216208:11320/02:00003947 - A Note on the Greedy Algorithm Unsplittable Flow Problem (2002)
Výsledek druhu JRIV/00216208:11320/02:00003590 - A sufficient condition for the existence of large empty convex polygons (2002)
Výsledek druhu DRIV/00216208:11320/02:00003207 - Algorithms for Fault-Tolerant Routing in Circuit Switched Networks (2002)
Výsledek druhu JRIV/00216208:11320/02:00003981 - Algorithms for transitive closure (2002)
Výsledek druhu VRIV/67985840:_____/02:05020116 - Analysis of the Harmonic algorithm for three servers. (2002)
Výsledek druhu MRIV/00216208:11320/02:00004076 - COMBSTRU kick-off meeting (2002)
Výsledek druhu JRIV/00216208:11320/02:00003988 - Complexity of Compatible Decomposition of Eulerian Graphs and Their Transformations (2002)
Výsledek druhu DRIV/00216208:11320/02:00003192 - Complexity of Pattern Coloring of Cycle Systems (2002)
Výsledek druhu MRIV/00216208:11320/02:00004072 - DIMATIA-ITI Graph theory day VI (2002)
Výsledek druhu JRIV/00216208:11320/02:00003960 - Endomorphism monoids of chained graphs (2002)
Výsledek druhu JRIV/00216208:11320/02:00003969 - Equipartition of two measures by a 4-fan (2002)
Výsledek druhu JRIV/00216208:11320/02:00003439 - Generalized Davenport-Schinzel sequences: results, problems, and applications (2002)
Výsledek druhu DRIV/00216208:11320/02:00003842 - Generalized H-coloring and H-covering of trees, (2002)
Výsledek druhu DRIV/00216208:11320/02:00003338 - Geometric separation and exact solutions for the parameterized independent set problem on disk graphs (2002)
Výsledek druhu DRIV/00216208:11320/02:00003097 - Geometric systems of disjoint representatives (2002)
Výsledek druhu WRIV/00216208:11320/02:00004069 - Homonolo 2002 (2002)
Výsledek druhu DRIV/00216208:11320/02:00003833 - Improved Bounds for the Unsplittable Flow Problem (2002)
Výsledek druhu JRIV/67985840:_____/02:05030186 - Interpolation and approximate semantic derivations. (2002)
Výsledek druhu VRIV/67985840:_____/02:05020118 - It is tough to be a plumber. (2002)
Výsledek druhu WRIV/00216208:11320/02:00004073 - ITI-TCS Day VII (2002)
Výsledek druhu VRIV/00216208:11320/02:00003826 - Kaleidoskop teorie čísel (7. kapitola) (2002)
Výsledek druhu MRIV/00216208:11320/02:00004068 - Konference českých matematiků (2002)
Výsledek druhu JRIV/00216208:11320/02:00003081 - Largest Planar Matching in Random Bipartite Graphs (2002)
Výsledek druhu BRIV/00216208:11320/02:00003997 - Lectures on Discrete Geometry (2002)
Výsledek druhu JRIV/49777513:23520/02:00000410 - Line transversals to unit disks (2002)
Výsledek druhu JRIV/00216208:11320/02:00003750 - Low-distortion embeddings of trees (2002)
Výsledek druhu DRIV/00216208:11320/02:00003154 - Modelling Planning and Scheduling Problems with Time and Resources (2002)
Výsledek druhu JRIV/67985807:_____/02:06020007 - Monadic Fuzzy Predicate Logic. (2002)
Výsledek druhu JRIV/67985840:_____/02:05030043 - Monotone simulations of non-monotone proofs. (2002)
Výsledek druhu VRIV/67985840:_____/02:05030203 - Multiprocessor Randomized On-line Scheduling. (2002)
Výsledek druhu JRIV/67985840:_____/02:05020112 - Off-line temporary tasks assignment. (2002)
Výsledek druhu DRIV/00216208:11320/02:00003840 - On Intersection Graphs of Segments with Prescribed Slopes (2002)
Výsledek druhu DRIV/00216208:11320/02:00003804 - On the b-chromatic number of graphs (2002)
Výsledek druhu JRIV/00216208:11320/02:00003642 - On the chromatic number of Kneser hypergraphs (2002)
Výsledek druhu JRIV/00216208:11320/02:00003707 - On the complexity of bicoloring clique hypergraphs of graphs (2002)
Výsledek druhu JRIV/00216208:11320/02:00003233 - On the Dimer Problem and the Ising Problem in finite 3-dimensional lattices (2002)
Výsledek druhu JRIV/00216208:11320/02:00003169 - On the injective chromatic number of graphs (2002)
Výsledek druhu JRIV/49777513:23520/02:00000336 - On weights of incluced paths and cycles in claw-free and K1,r-free graphs (2002)
Výsledek druhu DRIV/00216208:11320/02:00003796 - The one-round Voronoi game (2002)
Výsledek druhu JRIV/00216208:11320/02:00003105 - On-line coloring of geometric intersection graphs (2002)
Výsledek druhu JRIV/00216208:11320/02:00003208 - Optimal embeddings of ladders into a hypercube (2002)
Výsledek druhu DRIV/00216208:11320/02:00003534 - Optimal Free Binary Decision Diagrams for Computation of EAR_n (2002)
Výsledek druhu JRIV/00216208:11320/02:00003946 - Partial covers of graphs (2002)
Výsledek druhu JRIV/00216208:11320/02:00003630 - The partitioned version of the Erdos-Szekeres theorem (2002)
Výsledek druhu DRIV/00216208:11320/02:00003759 - Planar graph coloring with forbidden subgraphs: Why trees and paths are dangerous (2002)
Výsledek druhu WRIV/00216208:11320/02:00004075 - Prague midsummer combinatorial workshop IX (2002)
Výsledek druhu DRIV/00216208:11320/02:00003931 - Preemptive scheduling in overloaded systems (2002)
Výsledek druhu DRIV/67985840:_____/02:05020114 - Preemptive scheduling in overloaded systems. (2002)
Výsledek druhu VRIV/67985840:_____/02:05020117 - Probabilistic proofs and NP-completeness ( A course on the PCP theorem and itsconsequences ). (2002)
Výsledek druhu JRIV/00216208:11320/02:00003243 - Random lifts of graphs III: Independence and chromatic number (2002)
Výsledek druhu JRIV/00216208:11320/02:00003953 - Review 2002f:52018 (2002)
Výsledek druhu JRIV/00216208:11320/02:00003782 - Review 2002g:52024 (2002)
Výsledek druhu JRIV/00216208:11320/02:00003275 - Review 2002i:52012 (2002)
Výsledek druhu DRIV/00216208:11320/02:00003916 - Scheduling of independent dedicated multiprocessor tasks (2002)
Výsledek druhu JRIV/67985840:_____/02:05020111 - Solution of a problem in DNA computing. (2002)
Výsledek druhu MRIV/00216208:11320/02:00004080 - Spring school in combinatorics 2002 (2002)
Výsledek druhu JRIV/67985807:_____/02:06020147 - Training a Single Sigmoidal Neuron is Hard. (2002)
Výsledek druhu JRIV/00216208:11320/02:00003915 - Transversal Numbers for Hypergraphs Arising in Geometry (2002)
Výsledek druhu MRIV/00216208:11320/01:00105909 - Annual conference of Czech and Slovak graph theories with international participation (2001)
Výsledek druhu DRIV/67985840:_____/01:05025170 - The buffer minimization problem for multiprocessor scheduling with conflicts. (2001)
Výsledek druhu JRIV/00216208:11320/01:00105264 - Colorings and homomorphisms of degenerate and bounded degree graphs (2001)
Výsledek druhu BRIV/00216208:11320/01:00105478 - Combinatorics (2001)
Výsledek druhu BRIV/00216208:11320/01:00105808 - Combinatorics, Graph Theory, Algorithms and Applications (2001)
Výsledek druhu DRIV/00216208:11320/01:00105448 - Complexity Note on Mixed Hypergraphs (2001)
Výsledek druhu DRIV/00216208:11320/01:00105419 - Complexity of Coloring Graphs without Forbidden Induced Subgraphs (2001)
Výsledek druhu JRIV/67985840:_____/01:05025164 - The complexity of coloring graphs without long induced paths. (2001)
Výsledek druhu JRIV/67985807:_____/01:06010020 - Complexity of Fuzzy Probability Logic. (2001)
Výsledek druhu DRIV/00216208:11320/01:00105026 - The complexity of graph subcolorings (2001)
Výsledek druhu DRIV/00216208:11320/01:00105228 - Complexity of partial covers of graphs (2001)
Výsledek druhu DRIV/67985807:_____/01:06010033 - The Computational Capabilities of Neural Networks. (2001)
Výsledek druhu DRIV/67985807:_____/01:06010034 - Computing with Continuous-Time Liapunov Systems. (2001)
Výsledek druhu JRIV/00216208:11320/01:00105690 - Construction of sparse graphs with prescribed circular colorings (2001)
Výsledek druhu DRIV/00216208:11320/01:00105425 - Distance constrained labelings of precolored trees (2001)
Výsledek druhu DRIV/00216208:11320/01:00105646 - Dynamic Global Constraints: A First View (2001)
Výsledek druhu DRIV/00216208:11320/01:00105061 - Dynamic Global Constraints: A First View (2001)
Výsledek druhu VRIV/00216208:11320/01:00105453 - Dynamic Global Constraints in Constraint Logic Programming (2001)
Výsledek druhu DRIV/00216208:11320/01:00105521 - Filtering Algorithms for Tabular Constraints (2001)
Výsledek druhu BRIV/00216208:11320/01:00105270 - Graph Theory (2001)
Výsledek druhu JRIV/00216208:11320/01:00105248 - I. Schur, C.E.Shannon and Ramsey Numbers, a short story (2001)
Výsledek druhu DRIV/00216208:11320/01:00105407 - Integrated Modelling for Planning, Scheduling, and Timetabling Problems (2001)
Výsledek druhu DRIV/00216208:11320/01:00105828 - Interactive Timetabling (2001)
Výsledek druhu BRIV/00216208:11320/01:00105575 - Mathematical Foundations of Computer Science 2001, 26th International Symposium (2001)
Výsledek druhu DRIV/00216208:11320/01:00105023 - Off-line and on-line distance constrained labelings of disk graphs (2001)
Výsledek druhu DRIV/00216208:11320/01:00105130 - On Complexity of Colouring Mixed Hypertrees (2001)
Výsledek druhu DRIV/00216208:11320/01:00105431 - On faithful cycle covers of graphs (2001)
Výsledek druhu DRIV/00216208:11320/01:00105775 - On non-P-recursiveness of numbers of matchings (linear chord diagrams) with many crossings (2001)
Výsledek druhu JRIV/00216208:11320/01:00105215 - On Planar Mixed Hypergraphs (2001)
Výsledek druhu ARIV/67985807:_____/01:06010201 - On Uncertainty versus Size in Branching Programs. (2001)
Výsledek druhu DRIV/00216208:11320/01:00105534 - One line and n points (2001)
Výsledek druhu JRIV/00216208:11320/01:00105234 - Optimization via enumeration: a new algorithm for the Max Cut problem (2001)
Výsledek druhu JRIV/00216208:11320/01:00105377 - Otakar Borůvka on minimum spanning tree problem. Translation of both 1926 papers, comments, history (2001)
Výsledek druhu BRIV/00216208:11320/01:00105263 - Proceedings of the 2001 ERCIM Workshop on Constraints (2001)
Výsledek druhu DRIV/67985840:_____/01:05025168 - Proceedings of the 26th Mathematical Foundations of Computational Science. (2001)
Výsledek druhu JRIV/00216208:11320/01:00105760 - Representing graphs by disks and balls (a survey of recognition-complexity results) (2001)
Výsledek druhu JRIV/00216208:11320/01:00105437 - Review 2001b:05157 (2001)
Výsledek druhu JRIV/00216208:11320/01:00105195 - Review 2001h:52012 (2001)
Výsledek druhu DRIV/00216208:11320/01:00105541 - Simple On-Line Algorithms for the Maximum Disjoint Paths Problem (2001)
Výsledek druhu DRIV/00216208:11320/01:00105146 - Theory and Practice of Constraint Propagation (2001)
Výsledek druhu JRIV/00216208:11320/00:00001224 - A new algorithm for the Ising problem (2000)
Výsledek druhu JRIV/00216208:11320/00:00001749 - 2000g:05144 (2000)
Výsledek druhu WRIV/49777513:23520/00:00000045 - 2nd workshop on the Matthews-Sumner conjecture (2000)
Tuto aplikaci pro Radu pro výzkum, vývoj a inovace provozuje Výpočetní a informační centrum Českého vysokého učení technického v Praze. Vyvinul MathAn Praha, s.r.o. v rámci projektu MI20042007. Verze aplikace 1.5.25. Datové schéma ISVAV_WEB5_00115. Podpora uživatelů na e-mailové adresepodpora (zavináč) isvav (tečka) cznebo telefonním čísle 224 234 797 (v pracovních dnech 9-16 hod.).