Informační systém výzkumu,
vývoje a inovací

Centrální evidence výzkumných záměrů

Jednoduché vyhledávání

Zpět na hledáníMSM0021622419 - Vysoce paralelní a distribuované výpočetní systémy (2005-2011, MSM)

Identifikační kód MSM0021622419
Důvěrnost údajů S - Není předmětem státního či obchodního tajemství a data lze v souladu s právními předpisy poskytnout do veřejně přístupných informačních systémů včetně mezinárodních
Název záměru v českém jazyce Vysoce paralelní a distribuované výpočetní systémy
Poskytovatel MSM - Ministerstvo školství, mládeže a tělovýchovy (MŠMT)
Kategorie VaV NV - Aplikovaný výzkum s výjimkou průmyslového výzkumu
Hlavní obor - skupina I - Informatika
Hlavní obor IN - Informatika
Vedlejší obor -
Další vedlejší obor -
Zahájení řešení 01.01.2005
Ukončení řešení 31.12.2011
Datum posledního uvolnění účelové podpory 26.01.2011
Číslo smlouvy 144/2010-31
Poslední stav řešení U - Ukončený, tj. výzkumný záměr, který skončil v roce 2009 a v roce sběru dat 2010 se dodávají údaje předepsané pro ukončené a zastavené výzkumné záměry
Kčtis. Kč **
Finance záměru		2005200620072008200920102011celkem
Výše podpory ze státního rozpočtu13 598 000,001359813 598 000,001359813 935 000,001393513 935 000,001393515 426 000,00154269 290 000,0092904 645 000,00464584 427 000,0084427
Neveřejné tuzem. a zahr. zdroje financování-------13 935 000,0013935
Celkové uznané náklady13 598 000,001359813 598 000,001359813 935 000,001393513 935 000,001393515 426 000,001542613 935 000,001393513 935 000,001393598 362 000,0098362
Typčerpanéčerpanéčerpanéčerpanéčerpanéčerpanéčerpané

** Finance v tisících Kč jsou automaticky zaokrouhleny z částky v jednotkách Kč s přesností na 2 desetinná místa
Cíle řešení v českém jazyce Rozpracování teoretických základů a vývoj metod pro efektivní výstavbu a analýzu rozsáhlých, komplexních, rozšiřitelných, vysoce spolehlivých a bezpečných souběžných systémů a pro efektivní využití výpočetního a komunikačního potenciálu velkých, distribuovaně a paralelně pracujících systémů tvořených heterogenními i homogenními sítěmi výpočetních zdrojů. Výzkumné a vývojové aktivity se soustředí na využití paralelních a distribuovaných výpočetních systémů k řešení výpočetně enormně náročných úloh a na zpracování extrémně velkých objemů distribuovaných dat, dále na vývoj automatizovaných metod pro analýzu, verifikaci a validaci těchto systémů, na výzkum nových prostředků kvantového paralelismu a přístupů vedoucích ke kombinaci paralelních a distribuovaných technik k řešení výpočetně těžkých problémů s využitím nového paradigmatu tvorby rozlehlých výpočetních sítí typu GRID, speciálně v oblasti automatické analýzy důležitých multidimenzionálních biomedicínských dat získaných pomocí optické mikroskopie.
Klíčová slova v anglickém jazyce Distributed Computing Systems; parallel Computing Systems
Kontrolní číslo stavu záměru v letech 2005: 33093470
2006: 33097997
2007: 33052787
2008: 32977591
2009: 33031337
2010: 33031819
2011: 33075262
2012: 33097866
Datum dodání posledního záznamu o záměru 17.08.2012
Systémové označení dodávky dat CEZ12-MSM-U/01:1

Účastníci záměru

Počet příjemců 0
Počet dalších účastníků záměru 1
Další účastník záměru Masarykova univerzita / Fakulta informatiky
Řešitelprof. RNDr. Jozef Gruska, DrSc. (státní příslušnost: CZ - Česká republika, vedidk: 9594744)

Kčtis. Kč **
Finance účastníků záměruPoznámka: Finance účastníků záměru jsou sledovány od roku 2007

Celkové uznané náklady2005200620072008200920102011
Masarykova univerzita0,0000,0000,0000,0000,0000,0000,000
Masarykova univerzita / Fakulta informatiky0,0000,00013 935 000,001393513 935 000,001393515 426 000,001542613 935 000,001393513 935 000,0013935
Výše podpory ze státního rozpočtu2005200620072008200920102011
Masarykova univerzita0,0000,0000,0000,0000,0000,0000,000
Masarykova univerzita / Fakulta informatiky0,0000,00013 935 000,001393513 935 000,001393515 426 000,00154269 290 000,0092904 645 000,004645

** Finance v tisících Kč jsou automaticky zaokrouhleny z částky v jednotkách Kč s přesností na 2 desetinná místa

Výsledky výzkumných záměrů v RIV

Počet výsledků záměru v RIV celkem 1313
Výsledek druhu J RIV/00216208:11130/06:441 - Hypertenze u dětí a adolescentů. (2006)
Výsledek druhu J RIV/00216208:11130/06:441 - Hypertenze u dětí a adolescentů. (2006)
Výsledek druhu D RIV/00216224:14110/06:00021698 - Environmental Modelling with Uncertainty (2006)
Výsledek druhu D RIV/00216224:14110/06:00021698 - Environmental Modelling with Uncertainty (2006)
Výsledek druhu D RIV/00216224:14220/08:00025036 - Dealing with uncertainties in Grids through the event-based scheduling approach (2008)
Výsledek druhu D RIV/00216224:14220/08:00025036 - Dealing with uncertainties in Grids through the event-based scheduling approach (2008)
Výsledek druhu D RIV/00216224:14310/05:00013562 - Haptically Driven Travelling Through Conformational Space (2005)
Výsledek druhu D RIV/00216224:14310/05:00013562 - Haptically Driven Travelling Through Conformational Space (2005)
Výsledek druhu D RIV/00216224:14310/05:00013562 - Haptically Driven Travelling Through Conformational Space (2005)
Výsledek druhu D RIV/00216224:14310/05:00013752 - Distribuované výpočty složitých stavových prostorů (2005)
Výsledek druhu D RIV/00216224:14310/05:00013752 - Distribuované výpočty složitých stavových prostorů (2005)
Výsledek druhu D RIV/00216224:14310/05:00013752 - Distribuované výpočty složitých stavových prostorů (2005)
Výsledek druhu D RIV/00216224:14310/05:00013767 - Kvalitativní teorie diferenciálních rovnic pro studenty ekonomie (2005)
Výsledek druhu D RIV/00216224:14310/05:00013767 - Kvalitativní teorie diferenciálních rovnic pro studenty ekonomie (2005)
Výsledek druhu D RIV/00216224:14310/05:00013767 - Kvalitativní teorie diferenciálních rovnic pro studenty ekonomie (2005)
Výsledek druhu D RIV/00216224:14310/05:00021330 - Perun -- Fault-Tolerant Management of Grid Resources (2005)
Výsledek druhu D RIV/00216224:14310/05:00021330 - Perun -- Fault-Tolerant Management of Grid Resources (2005)
Výsledek druhu J RIV/00216224:14310/05:00024538 - Continuous-variable quantum-state sharing via quantum disentanglement (2005)
Výsledek druhu J RIV/00216224:14310/05:00024538 - Continuous-variable quantum-state sharing via quantum disentanglement (2005)
Výsledek druhu J RIV/00216224:14310/07:00020393 - No Approximate Complex Fermion Coherent States (2007)
Výsledek druhu J RIV/00216224:14310/07:00020393 - No Approximate Complex Fermion Coherent States (2007)
Výsledek druhu J RIV/00216224:14310/07:00020393 - No Approximate Complex Fermion Coherent States (2007)
Výsledek druhu C RIV/00216224:14310/07:00024551 - Quantum state sharing with continuous variables (2007)
Výsledek druhu C RIV/00216224:14310/07:00024551 - Quantum state sharing with continuous variables (2007)
Výsledek druhu J RIV/00216224:14310/08:00024661 - Highly non-Gaussian states created via cross-Kerr nonlinearity (2008)
Výsledek druhu J RIV/00216224:14310/08:00024661 - Highly non-Gaussian states created via cross-Kerr nonlinearity (2008)
Výsledek druhu O RIV/00216224:14310/08:00025158 - Entanglement distribution: New concepts and the continuous variable toolbox (2008)
Výsledek druhu O RIV/00216224:14310/08:00025158 - Entanglement distribution: New concepts and the continuous variable toolbox (2008)
Výsledek druhu J RIV/00216224:14310/08:00025915 - Gaussian Quantum Marginal Problem (2008)
Výsledek druhu J RIV/00216224:14310/08:00025915 - Gaussian Quantum Marginal Problem (2008)
Výsledek druhu O RIV/00216224:14310/08:00026079 - Physics of everyday life (2008)
Výsledek druhu O RIV/00216224:14310/08:00026079 - Physics of everyday life (2008)
Výsledek druhu O RIV/00216224:14310/08:00026466 - Engineering invisibility cloaks, black holes and superantennas with optical fibres (2008)
Výsledek druhu O RIV/00216224:14310/08:00026466 - Engineering invisibility cloaks, black holes and superantennas with optical fibres (2008)
Výsledek druhu O RIV/00216224:14310/08:00026567 - Superantenna made of transformation media (2008)
Výsledek druhu O RIV/00216224:14310/08:00026567 - Superantenna made of transformation media (2008)
Výsledek druhu D RIV/00216224:14310/08:00026804 - Job Provenance - Insight into Very Large Provenance Datasets (2008)
Výsledek druhu D RIV/00216224:14310/08:00026804 - Job Provenance - Insight into Very Large Provenance Datasets (2008)
Výsledek druhu J RIV/00216224:14310/08:00026848 - Superantenna made of transformation media (2008)
Výsledek druhu J RIV/00216224:14310/08:00026848 - Superantenna made of transformation media (2008)
Výsledek druhu J RIV/00216224:14310/08:00026849 - Transmutation of singularities in optical instruments (2008)
Výsledek druhu D RIV/00216224:14310/08:00027252 - Super-antenna (2008)
Výsledek druhu O RIV/00216224:14310/08:00027252 - Super-antenna (2008)
Výsledek druhu J RIV/00216224:14310/09:00034472 - Broadband Invisibility by Non-Euclidean Cloaking (2009)
Výsledek druhu D RIV/00216224:14310/09:00035348 - On-Line Precomputation Algorithm for Real-Time Haptic Interaction with Non-Linear Deformable Bodies (2009)
Výsledek druhu J RIV/00216224:14310/09:00035872 - Influence of modal loss on the quantum state generation via cross-Kerr nonlinearity (2009)
Výsledek druhu R RIV/00216224:14310/09:00037314 - FastGrid -- The Accelerated Computation of Potential Maps for Molecular Docking (2009)
Výsledek druhu R RIV/00216224:14310/09:00037314 - FastGrid -- The Accelerated Computation of Potential Maps for Molecular Docking (2009)
Výsledek druhu D RIV/00216224:14310/09:00037320 - FastGrid -- The Accelerated AutoGrid Potential Maps Generation for Molecular Docking (2009)
Výsledek druhu O RIV/00216224:14310/09:00038693 - Invisibility devices (2009)
Výsledek druhu O RIV/00216224:14310/09:00038693 - Invisibility devices (2009)
Výsledek druhu O RIV/00216224:14310/10:00043440 - The Physics of Everyday Life (2008)
Výsledek druhu O RIV/00216224:14310/10:00043676 - Neviditelnost aneb fyzika neviditelného pláště (2010)
Výsledek druhu J RIV/00216224:14310/10:00043881 - Non-Euclidean Cloaking for Light Waves (2010)
Výsledek druhu O RIV/00216224:14310/10:00051464 - Unusual phenomena of a usual day (2010)
Výsledek druhu J RIV/00216224:14310/11:00052163 - Evidence for subwavelength imaging with positive refraction (2011)
Výsledek druhu J RIV/00216224:14310/11:00052250 - Conformal cloak for waves (2011)
Výsledek druhu J RIV/00216224:14310/11:00053840 - METATOYs and optical vortices (2011)
Výsledek druhu O RIV/00216224:14310/11:00054272 - Sub-diffraction-limited imaging in the far-field (2011)
Výsledek druhu J RIV/00216224:14330/05:00012348 - Characteristic Patterns for LTL (2005)
Výsledek druhu J RIV/00216224:14330/05:00012348 - Characteristic Patterns for LTL (2005)
Výsledek druhu D RIV/00216224:14330/05:00012348 - Characteristic Patterns for LTL (2005)
Výsledek druhu D RIV/00216224:14330/05:00012349 - On the Decidability of Temporal Properties of Probabilistic Pushdown Automata (2005)
Výsledek druhu D RIV/00216224:14330/05:00012349 - On the Decidability of Temporal Properties of Probabilistic Pushdown Automata (2005)
Výsledek druhu D RIV/00216224:14330/05:00012349 - On the Decidability of Temporal Properties of Probabilistic Pushdown Automata (2005)
Výsledek druhu J RIV/00216224:14330/05:00012369 - Distributed Partial Order Reduction of State Spaces (2005)
Výsledek druhu J RIV/00216224:14330/05:00012369 - Distributed Partial Order Reduction of State Spaces (2005)
Výsledek druhu J RIV/00216224:14330/05:00012369 - Distributed Partial Order Reduction of State Spaces (2005)
Výsledek druhu J RIV/00216224:14330/05:00012428 - Introductory paper: Parallel and Distributed Model Checking (2005)
Výsledek druhu J RIV/00216224:14330/05:00012428 - Introductory paper: Parallel and Distributed Model Checking (2005)
Výsledek druhu J RIV/00216224:14330/05:00012428 - Introductory paper: Parallel and Distributed Model Checking (2005)
Výsledek druhu J RIV/00216224:14330/05:00012429 - Assumption-based distribution of CTL model checking (2005)
Výsledek druhu J RIV/00216224:14330/05:00012429 - Assumption-based distribution of CTL model checking (2005)
Výsledek druhu J RIV/00216224:14330/05:00012429 - Assumption-based distribution of CTL model checking (2005)
Výsledek druhu J RIV/00216224:14330/05:00012493 - From Distributed Memory Cycle Detection to Parallel LTL Model Checking (2005)
Výsledek druhu J RIV/00216224:14330/05:00012493 - From Distributed Memory Cycle Detection to Parallel LTL Model Checking (2005)
Výsledek druhu J RIV/00216224:14330/05:00012493 - From Distributed Memory Cycle Detection to Parallel LTL Model Checking (2005)
Výsledek druhu D RIV/00216224:14330/05:00012515 - Quantitative Analysis of Probabilistic Pushdown Automata: Expectations and Variances (2005)
Výsledek druhu D RIV/00216224:14330/05:00012515 - Quantitative Analysis of Probabilistic Pushdown Automata: Expectations and Variances (2005)
Výsledek druhu D RIV/00216224:14330/05:00012515 - Quantitative Analysis of Probabilistic Pushdown Automata: Expectations and Variances (2005)
Výsledek druhu D RIV/00216224:14330/05:00012538 - Analysis of biomedical image data acquired using optical microscopy (2005)
Výsledek druhu D RIV/00216224:14330/05:00012538 - Analysis of biomedical image data acquired using optical microscopy (2005)
Výsledek druhu D RIV/00216224:14330/05:00012538 - Analysis of biomedical image data acquired using optical microscopy (2005)
Výsledek druhu D RIV/00216224:14330/05:00012538 - Analysis of biomedical image data acquired using optical microscopy (2005)
Výsledek druhu J RIV/00216224:14330/05:00012554 - The stuttering principle revisited (2005)
Výsledek druhu J RIV/00216224:14330/05:00012554 - The stuttering principle revisited (2005)
Výsledek druhu J RIV/00216224:14330/05:00012554 - The stuttering principle revisited (2005)
Výsledek druhu J RIV/00216224:14330/05:00012580 - Refining Undecidability Border of Weak Bisimilarity. (2005)
Výsledek druhu J RIV/00216224:14330/05:00012580 - Refining Undecidability Border of Weak Bisimilarity. (2005)
Výsledek druhu J RIV/00216224:14330/05:00012580 - Refining Undecidability Border of Weak Bisimilarity. (2005)
Výsledek druhu A RIV/00216224:14330/05:00012581 - Refining Undecidability Border of Weak Bisimilarity. (full version of INFINITY 2005 paper) (2005)
Výsledek druhu A RIV/00216224:14330/05:00012581 - Refining Undecidability Border of Weak Bisimilarity. (full version of INFINITY 2005 paper) (2005)
Výsledek druhu A RIV/00216224:14330/05:00012581 - Refining Undecidability Border of Weak Bisimilarity. (full version of INFINITY 2005 paper) (2005)
Výsledek druhu D RIV/00216224:14330/05:00012582 - Reachability of Hennessy - Milner properties for weakly extended PRS (2005)
Výsledek druhu J RIV/00216224:14330/05:00012582 - Reachability of Hennessy - Milner properties for weakly extended PRS (2005)
Výsledek druhu J RIV/00216224:14330/05:00012582 - Reachability of Hennessy - Milner properties for weakly extended PRS (2005)
Výsledek druhu A RIV/00216224:14330/05:00012608 - MACEK: A software package for real structural computations with representable matroids (2005)
Výsledek druhu A RIV/00216224:14330/05:00012608 - MACEK: A software package for real structural computations with representable matroids (2005)
Výsledek druhu A RIV/00216224:14330/05:00012608 - MACEK: A software package for real structural computations with representable matroids (2005)
Výsledek druhu D RIV/00216224:14330/05:00012664 - VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures (2005)
Výsledek druhu D RIV/00216224:14330/05:00012664 - VCD: A Visual Formalism for Specification of Heterogeneous Software Architectures (2005)
Výsledek druhu D RIV/00216224:14330/05:00012708 - Analysis and Prediction of the Long-Run Behavior of Probabilistic Sequential Programs with Recursion (2005)
Výsledek druhu D RIV/00216224:14330/05:00012708 - Analysis and Prediction of the Long-Run Behavior of Probabilistic Sequential Programs with Recursion (2005)
Výsledek druhu D RIV/00216224:14330/05:00012708 - Analysis and Prediction of the Long-Run Behavior of Probabilistic Sequential Programs with Recursion (2005)
Výsledek druhu D RIV/00216224:14330/05:00012714 - Reachability Analysis of Multithreaded Software with Asynchronous Communication (2005)
Výsledek druhu J RIV/00216224:14330/05:00012714 - Reachability Analysis of Multithreaded Software with Asynchronous Communication (2005)
Výsledek druhu J RIV/00216224:14330/05:00012714 - Reachability Analysis of Multithreaded Software with Asynchronous Communication (2005)
Výsledek druhu D RIV/00216224:14330/05:00012726 - On Sampled Semantics of Timed Systems (2005)
Výsledek druhu D RIV/00216224:14330/05:00012726 - On Sampled Semantics of Timed Systems (2005)
Výsledek druhu D RIV/00216224:14330/05:00012726 - On Sampled Semantics of Timed Systems (2005)
Výsledek druhu D RIV/00216224:14330/05:00012727 - Enhancing Random Walk State Space Exploration (2005)
Výsledek druhu D RIV/00216224:14330/05:00012727 - Enhancing Random Walk State Space Exploration (2005)
Výsledek druhu D RIV/00216224:14330/05:00012727 - Enhancing Random Walk State Space Exploration (2005)
Výsledek druhu D RIV/00216224:14330/05:00012728 - Concrete Search with Abstract Matching and Refinement (2005)
Výsledek druhu D RIV/00216224:14330/05:00012728 - Concrete Search with Abstract Matching and Refinement (2005)
Výsledek druhu D RIV/00216224:14330/05:00012728 - Concrete Search with Abstract Matching and Refinement (2005)
Výsledek druhu J RIV/00216224:14330/05:00012729 - Deeper Connections between LTL and Alternating Automata (2005)
Výsledek druhu J RIV/00216224:14330/05:00012729 - Deeper Connections between LTL and Alternating Automata (2005)
Výsledek druhu D RIV/00216224:14330/05:00012729 - Deeper Connections between LTL and Alternating Automata (2005)
Výsledek druhu D RIV/00216224:14330/05:00012779 - Computing the Expected Accumulated Reward and Gain for a Subclass of Infinite Markov Chains (2005)
Výsledek druhu J RIV/00216224:14330/05:00012779 - Computing the Expected Accumulated Reward and Gain for a Subclass of Infinite Markov Chains (2005)
Výsledek druhu J RIV/00216224:14330/05:00012779 - Computing the Expected Accumulated Reward and Gain for a Subclass of Infinite Markov Chains (2005)
Výsledek druhu J RIV/00216224:14330/05:00012780 - On the Controller Synthesis for Finite-State Markov Decision Processes (2005)
Výsledek druhu J RIV/00216224:14330/05:00012780 - On the Controller Synthesis for Finite-State Markov Decision Processes (2005)
Výsledek druhu D RIV/00216224:14330/05:00012780 - On the Controller Synthesis for Finite-State Markov Decision Processes (2005)
Výsledek druhu A RIV/00216224:14330/05:00012922 - CRC64 Algorithm Analysis and Verification (2005)
Výsledek druhu A RIV/00216224:14330/05:00012922 - CRC64 Algorithm Analysis and Verification (2005)
Výsledek druhu A RIV/00216224:14330/05:00012922 - CRC64 Algorithm Analysis and Verification (2005)
Výsledek druhu D RIV/00216224:14330/05:00012970 - Analysis of biomedical image data acquired using optical microscopy (2005)
Výsledek druhu D RIV/00216224:14330/05:00012970 - Analysis of biomedical image data acquired using optical microscopy (2005)
Výsledek druhu D RIV/00216224:14330/05:00012970 - Analysis of biomedical image data acquired using optical microscopy (2005)
Výsledek druhu J RIV/00216224:14330/05:00013043 - Quantum Complexity Theory Goals and Challenges (2005)
Výsledek druhu J RIV/00216224:14330/05:00013043 - Quantum Complexity Theory Goals and Challenges (2005)
Výsledek druhu J RIV/00216224:14330/05:00013043 - Quantum Complexity Theory Goals and Challenges (2005)
Výsledek druhu J RIV/00216224:14330/05:00013043 - Quantum Complexity Theory Goals and Challenges (2005)
Výsledek druhu J RIV/00216224:14330/05:00013046 - Universal Sets of Quantum Information Processing Primitives and their optimal use (2005)
Výsledek druhu J RIV/00216224:14330/05:00013046 - Universal Sets of Quantum Information Processing Primitives and their optimal use (2005)
Výsledek druhu J RIV/00216224:14330/05:00013046 - Universal Sets of Quantum Information Processing Primitives and their optimal use (2005)
Výsledek druhu J RIV/00216224:14330/05:00013047 - Scattering model for quantum random walks on a hypercube (2005)
Výsledek druhu J RIV/00216224:14330/05:00013047 - Scattering model for quantum random walks on a hypercube (2005)
Výsledek druhu J RIV/00216224:14330/05:00013047 - Scattering model for quantum random walks on a hypercube (2005)
Výsledek druhu J RIV/00216224:14330/05:00013047 - Scattering model for quantum random walks on a hypercube (2005)
Výsledek druhu J RIV/00216224:14330/05:00013048 - Description of Quantum Dynamics of Open Systems Based on Collision-Like Models (2005)
Výsledek druhu J RIV/00216224:14330/05:00013048 - Description of Quantum Dynamics of Open Systems Based on Collision-Like Models (2005)
Výsledek druhu J RIV/00216224:14330/05:00013048 - Description of Quantum Dynamics of Open Systems Based on Collision-Like Models (2005)
Výsledek druhu J RIV/00216224:14330/05:00013048 - Description of Quantum Dynamics of Open Systems Based on Collision-Like Models (2005)
Výsledek druhu J RIV/00216224:14330/05:00013049 - Concurrence versus purity: Influence of local channels on Bell states of two qubits (2005)
Výsledek druhu J RIV/00216224:14330/05:00013049 - Concurrence versus purity: Influence of local channels on Bell states of two qubits (2005)
Výsledek druhu J RIV/00216224:14330/05:00013049 - Concurrence versus purity: Influence of local channels on Bell states of two qubits (2005)
Výsledek druhu J RIV/00216224:14330/05:00013049 - Concurrence versus purity: Influence of local channels on Bell states of two qubits (2005)
Výsledek druhu J RIV/00216224:14330/05:00013050 - Bounds on action of local quantum channels (2005)
Výsledek druhu J RIV/00216224:14330/05:00013050 - Bounds on action of local quantum channels (2005)
Výsledek druhu J RIV/00216224:14330/05:00013050 - Bounds on action of local quantum channels (2005)
Výsledek druhu J RIV/00216224:14330/05:00013050 - Bounds on action of local quantum channels (2005)
Výsledek druhu J RIV/00216224:14330/05:00013051 - All (qubit) decoherences: Complete characterization and physical implementation (2005)
Výsledek druhu J RIV/00216224:14330/05:00013051 - All (qubit) decoherences: Complete characterization and physical implementation (2005)
Výsledek druhu J RIV/00216224:14330/05:00013051 - All (qubit) decoherences: Complete characterization and physical implementation (2005)
Výsledek druhu J RIV/00216224:14330/05:00013051 - All (qubit) decoherences: Complete characterization and physical implementation (2005)
Výsledek druhu J RIV/00216224:14330/05:00013052 - Nonmaximally entangled bases and their application in entanglement purification via swapping (2005)
Výsledek druhu J RIV/00216224:14330/05:00013052 - Nonmaximally entangled bases and their application in entanglement purification via swapping (2005)
Výsledek druhu J RIV/00216224:14330/05:00013052 - Nonmaximally entangled bases and their application in entanglement purification via swapping (2005)
Výsledek druhu J RIV/00216224:14330/05:00013052 - Nonmaximally entangled bases and their application in entanglement purification via swapping (2005)
Výsledek druhu J RIV/00216224:14330/05:00013053 - Instability and Entanglement of the Ground State of the Dicke Model (2005)
Výsledek druhu J RIV/00216224:14330/05:00013053 - Instability and Entanglement of the Ground State of the Dicke Model (2005)
Výsledek druhu J RIV/00216224:14330/05:00013053 - Instability and Entanglement of the Ground State of the Dicke Model (2005)
Výsledek druhu J RIV/00216224:14330/05:00013053 - Instability and Entanglement of the Ground State of the Dicke Model (2005)
Výsledek druhu J RIV/00216224:14330/05:00013054 - Direct versus measurement-assisted bipartite entanglement in multiqubit systems and their dynamical generation in spin systems (2005)
Výsledek druhu J RIV/00216224:14330/05:00013054 - Direct versus measurement-assisted bipartite entanglement in multiqubit systems and their dynamical generation in spin systems (2005)
Výsledek druhu J RIV/00216224:14330/05:00013054 - Direct versus measurement-assisted bipartite entanglement in multiqubit systems and their dynamical generation in spin systems (2005)
Výsledek druhu J RIV/00216224:14330/05:00013054 - Direct versus measurement-assisted bipartite entanglement in multiqubit systems and their dynamical generation in spin systems (2005)
Výsledek druhu J RIV/00216224:14330/05:00013055 - Probabilistic programmable quantum processors with multiple copies of program states (2005)
Výsledek druhu J RIV/00216224:14330/05:00013055 - Probabilistic programmable quantum processors with multiple copies of program states (2005)
Výsledek druhu J RIV/00216224:14330/05:00013055 - Probabilistic programmable quantum processors with multiple copies of program states (2005)
Výsledek druhu J RIV/00216224:14330/05:00013055 - Probabilistic programmable quantum processors with multiple copies of program states (2005)
Výsledek druhu J RIV/00216224:14330/05:00013057 - Quantum interference with molecules: The role of internal states (2005)
Výsledek druhu J RIV/00216224:14330/05:00013057 - Quantum interference with molecules: The role of internal states (2005)
Výsledek druhu J RIV/00216224:14330/05:00013057 - Quantum interference with molecules: The role of internal states (2005)
Výsledek druhu J RIV/00216224:14330/05:00013057 - Quantum interference with molecules: The role of internal states (2005)
Výsledek druhu J RIV/00216224:14330/05:00013058 - Process reconstruction: From unphysical to physical maps via maximum likelihood (2005)
Výsledek druhu J RIV/00216224:14330/05:00013058 - Process reconstruction: From unphysical to physical maps via maximum likelihood (2005)
Výsledek druhu J RIV/00216224:14330/05:00013058 - Process reconstruction: From unphysical to physical maps via maximum likelihood (2005)
Výsledek druhu J RIV/00216224:14330/05:00013058 - Process reconstruction: From unphysical to physical maps via maximum likelihood (2005)
Výsledek druhu J RIV/00216224:14330/05:00013060 - Realization of positive-operator-valued measures using measurement-assisted programmable quantum processors (2005)
Výsledek druhu J RIV/00216224:14330/05:00013060 - Realization of positive-operator-valued measures using measurement-assisted programmable quantum processors (2005)
Výsledek druhu J RIV/00216224:14330/05:00013060 - Realization of positive-operator-valued measures using measurement-assisted programmable quantum processors (2005)
Výsledek druhu J RIV/00216224:14330/05:00013060 - Realization of positive-operator-valued measures using measurement-assisted programmable quantum processors (2005)
Výsledek druhu J RIV/00216224:14330/05:00013061 - Process reconstruction from incomplete and/or inconsistent data (2005)
Výsledek druhu J RIV/00216224:14330/05:00013061 - Process reconstruction from incomplete and/or inconsistent data (2005)
Výsledek druhu J RIV/00216224:14330/05:00013061 - Process reconstruction from incomplete and/or inconsistent data (2005)
Výsledek druhu J RIV/00216224:14330/05:00013061 - Process reconstruction from incomplete and/or inconsistent data (2005)
Výsledek druhu J RIV/00216224:14330/05:00013064 - Entanglement-induced state ordering under local operations (2005)
Výsledek druhu J RIV/00216224:14330/05:00013064 - Entanglement-induced state ordering under local operations (2005)
Výsledek druhu J RIV/00216224:14330/05:00013064 - Entanglement-induced state ordering under local operations (2005)
Výsledek druhu J RIV/00216224:14330/05:00013064 - Entanglement-induced state ordering under local operations (2005)
Výsledek druhu J RIV/00216224:14330/05:00013066 - Towards quantum-based privacy and voting (2005)
Výsledek druhu J RIV/00216224:14330/05:00013066 - Towards quantum-based privacy and voting (2005)
Výsledek druhu J RIV/00216224:14330/05:00013066 - Towards quantum-based privacy and voting (2005)
Výsledek druhu J RIV/00216224:14330/05:00013066 - Towards quantum-based privacy and voting (2005)
Výsledek druhu W RIV/00216224:14330/05:00013170 - 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (2005)
Výsledek druhu W RIV/00216224:14330/05:00013170 - 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (2005)
Výsledek druhu D RIV/00216224:14330/05:00013242 - Component-Interaction Automata for Specification and Verification of Component Interactions (2005)
Výsledek druhu C RIV/00216224:14330/05:00013247 - Exact and approximate encryption of quantum information (2005)
Výsledek druhu C RIV/00216224:14330/05:00013247 - Exact and approximate encryption of quantum information (2005)
Výsledek druhu C RIV/00216224:14330/05:00013247 - Exact and approximate encryption of quantum information (2005)
Výsledek druhu C RIV/00216224:14330/05:00013250 - Quantum complexity theory tools, goals and challenges (2005)
Výsledek druhu C RIV/00216224:14330/05:00013250 - Quantum complexity theory tools, goals and challenges (2005)
Výsledek druhu C RIV/00216224:14330/05:00013250 - Quantum complexity theory tools, goals and challenges (2005)
Výsledek druhu C RIV/00216224:14330/05:00013251 - Universality and optimality of quantum information processing primitives (2005)
Výsledek druhu C RIV/00216224:14330/05:00013251 - Universality and optimality of quantum information processing primitives (2005)
Výsledek druhu C RIV/00216224:14330/05:00013251 - Universality and optimality of quantum information processing primitives (2005)
Výsledek druhu J RIV/00216224:14330/05:00013253 - Reconstruction of superoperators from incomplete data (2005)
Výsledek druhu J RIV/00216224:14330/05:00013253 - Reconstruction of superoperators from incomplete data (2005)
Výsledek druhu J RIV/00216224:14330/05:00013253 - Reconstruction of superoperators from incomplete data (2005)
Výsledek druhu J RIV/00216224:14330/05:00013253 - Reconstruction of superoperators from incomplete data (2005)
Výsledek druhu C RIV/00216224:14330/05:00013254 - Security in quantum cryptography and quantum networks (2005)
Výsledek druhu C RIV/00216224:14330/05:00013254 - Security in quantum cryptography and quantum networks (2005)
Výsledek druhu C RIV/00216224:14330/05:00013254 - Security in quantum cryptography and networks (2005)
Výsledek druhu J RIV/00216224:14330/05:00013255 - A broader view on limitations of information processing and communication by nature (2005)
Výsledek druhu J RIV/00216224:14330/05:00013255 - A broader view on limitations of information processing and communication by nature (2005)
Výsledek druhu J RIV/00216224:14330/05:00013255 - A broader view on limitations of information processing and communication by nature (2005)
Výsledek druhu J RIV/00216224:14330/05:00013255 - A broader view on limitations of information processing and communication by nature (2005)
Výsledek druhu J RIV/00216224:14330/05:00013256 - Approximate programmable quantum processors (2005)
Výsledek druhu J RIV/00216224:14330/05:00013256 - Approximate programmable quantum processors (2005)
Výsledek druhu J RIV/00216224:14330/05:00013256 - Approximate programmable quantum processors (2005)
Výsledek druhu J RIV/00216224:14330/05:00013256 - Approximate programmable quantum processors (2005)
Výsledek druhu W RIV/00216224:14330/05:00013289 - KIAS-KAIST 2005 Workshop on Quantum Information Science (2005)
Výsledek druhu W RIV/00216224:14330/05:00013289 - Organizing commitee membership. KIAS-KAIST 2005 Workshop on Quantum Information Science (2005)
Výsledek druhu W RIV/00216224:14330/05:00013289 - Organizing commitee membership. KIAS-KAIST 2005 Workshop on Quantum Information Science (2005)
Výsledek druhu M RIV/00216224:14330/05:00013290 - Steering Chair. EQIS 2005 ERATO conference on Quantum Information Science (2005)
Výsledek druhu M RIV/00216224:14330/05:00013290 - Steering Chair. EQIS 2005 ERATO conference on Quantum Information Science (2005)
Výsledek druhu M RIV/00216224:14330/05:00013290 - EQIS 2005 ERATO conference on Quantum Information Science (2005)
Výsledek druhu O RIV/00216224:14330/05:00013294 - Imaging of mitochondrial apoptogenic proteins released during apoptosis in living and fixed cells. (2005)
Výsledek druhu O RIV/00216224:14330/05:00013294 - Imaging of mitochondrial apoptogenic proteins released during apoptosis in living and fixed cells. (2005)
Výsledek druhu D RIV/00216224:14330/05:00013294 - Imaging of mitochondrial apoptogenic proteins released during apoptosis in living and fixed cells. (2005)
Výsledek druhu D RIV/00216224:14330/05:00013294 - Imaging of mitochondrial apoptogenic proteins released during apoptosis in living and fixed cells. (2005)
Výsledek druhu W RIV/00216224:14330/05:00013425 - MTCoord 2005 1st International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (2005)
Výsledek druhu W RIV/00216224:14330/05:00013425 - MTCoord 2005 1st International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (2005)
Výsledek druhu W RIV/00216224:14330/05:00013425 - MTCoord 2005 1st International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (2005)
Výsledek druhu D RIV/00216224:14330/05:00013835 - Stereoscopic Video over IP networks (2005)
Výsledek druhu D RIV/00216224:14330/05:00013835 - Stereoscopic Video over IP networks (2005)
Výsledek druhu D RIV/00216224:14330/05:00013836 - cDNA Microarray Technology as a Tool for Better Understanding of Progress of Malignant Diseases (2005)
Výsledek druhu D RIV/00216224:14330/05:00013836 - cDNA Microarray Technology as a Tool for Better Understanding of Progress of Malignant Diseases (2005)
Výsledek druhu D RIV/00216224:14330/05:00013836 - cDNA Microarray Technology as a Tool for Better Understanding of Progress of Malignant Diseases (2005)
Výsledek druhu D RIV/00216224:14330/05:00013836 - cDNA Microarray Technology as a Tool for Better Understanding of Progress of Malignant Diseases (2005)
Výsledek druhu A RIV/00216224:14330/05:00014277 - User Management for Virtual Organizations (2005)
Výsledek druhu A RIV/00216224:14330/05:00014277 - User Management for Virtual Organizations (2005)
Výsledek druhu D RIV/00216224:14330/05:00014518 - Mosaicking of High-resolution Biomedical Images Acquired from Wide-field Optical Microscope (2005)
Výsledek druhu D RIV/00216224:14330/05:00014518 - Mosaicking of High-resolution Biomedical Images Acquired from Wide-field Optical Microscope (2005)
Výsledek druhu D RIV/00216224:14330/05:00014518 - Mosaicking of High-resolution Biomedical Images Acquired from Wide-field Optical Microscope (2005)
Výsledek druhu D RIV/00216224:14330/05:00014518 - Mosaicking of High-resolution Biomedical Images Acquired from Wide-field Optical Microscope (2005)
Výsledek druhu W RIV/00216224:14330/05:00014755 - 2nd Central European Quantum Information Processing Workshop (2005)
Výsledek druhu W RIV/00216224:14330/05:00014755 - 2nd Central European Quantum Information Processing Workshop (2005)
Výsledek druhu W RIV/00216224:14330/05:00014755 - 2nd Central European Quantum Information Processing Workshop (2005)
Výsledek druhu J RIV/00216224:14330/05:00014771 - Minimal Perturbation Problem in Course Timetabling (2005)
Výsledek druhu J RIV/00216224:14330/05:00014771 - Minimal Perturbation Problem in Course Timetabling (2005)
Výsledek druhu J RIV/00216224:14330/05:00014771 - Minimal Perturbation Problem in Course Timetabling (2005)
Výsledek druhu D RIV/00216224:14330/05:00014771 - Minimal Perturbation Problem in Course Timetabling (2005)
Výsledek druhu D RIV/00216224:14330/05:00014772 - Grid Scheduling and Monitoring (2005)
Výsledek druhu J RIV/00216224:14330/05:00014772 - Grid Scheduling and Monitoring (2005)
Výsledek druhu J RIV/00216224:14330/05:00014772 - Grid Scheduling and Monitoring (2005)
Výsledek druhu D RIV/00216224:14330/05:00014773 - Model of Grid Scheduling Problem (2005)
Výsledek druhu D RIV/00216224:14330/05:00014773 - Model of Grid Scheduling Problem (2005)
Výsledek druhu D RIV/00216224:14330/05:00014773 - Model of Grid Scheduling Problem (2005)
Výsledek druhu M RIV/00216224:14330/05:00014776 - The 18th International FLAIRS Conference (2005)
Výsledek druhu M RIV/00216224:14330/05:00014776 - The 18th International FLAIRS Conference (2005)
Výsledek druhu M RIV/00216224:14330/05:00014776 - The 18th International FLAIRS Conference (2005)
Výsledek druhu M RIV/00216224:14330/05:00014777 - Practice and Theory of Automated Timetabling V, Selected Revised Papers (2005)
Výsledek druhu M RIV/00216224:14330/05:00014777 - Practice and Theory of Automated Timetabling V, Selected Revised Papers (2005)
Výsledek druhu M RIV/00216224:14330/05:00014777 - Practice and Theory of Automated Timetabling V, Selected Revised Papers (2005)
Výsledek druhu W RIV/00216224:14330/05:00014779 - 7th International Workshop on Preferences and Soft Constraints (2005)
Výsledek druhu W RIV/00216224:14330/05:00014779 - 7th International Workshop on Preferences and Soft Constraints (2005)
Výsledek druhu W RIV/00216224:14330/05:00014779 - 7th International Workshop on Preferences and Soft Constraints (2005)
Výsledek druhu D RIV/00216224:14330/05:00014801 - Limited Assignments: A New Cutoff Strategy for Incomplete Depth-First Search (2005)
Výsledek druhu D RIV/00216224:14330/05:00014801 - Limited Assignments: A New Cutoff Strategy for Incomplete Depth-First Search (2005)
Výsledek druhu D RIV/00216224:14330/05:00014801 - Limited Assignments: A New Cutoff Strategy for Incomplete Depth-First Search (2005)
Výsledek druhu D RIV/00216224:14330/05:00014836 - Enhancement of Images Acquired using Optical Microscope (2005)
Výsledek druhu D RIV/00216224:14330/05:00014836 - Enhancement of Images Acquired using Optical Microscope (2005)
Výsledek druhu D RIV/00216224:14330/05:00014836 - Enhancement of Images Acquired using Optical Microscope (2005)
Výsledek druhu D RIV/00216224:14330/05:00014842 - Quantitative Analysis of Intracellular Processes in Living Cells (2005)
Výsledek druhu D RIV/00216224:14330/05:00014842 - Quantitative Analysis of Intracellular Processes in Living Cells (2005)
Výsledek druhu D RIV/00216224:14330/05:00014842 - Quantitative Analysis of Intracellular Processes in Living Cells (2005)
Výsledek druhu D RIV/00216224:14330/05:00014842 - Quantitative Analysis of Intracellular Processes in Living Cells (2005)
Výsledek druhu J RIV/00216224:14330/05:00020099 - Entanglement swapping of noisy states: A kind of superadditivity in nonclassicality (2005)
Výsledek druhu J RIV/00216224:14330/05:00020099 - Entanglement swapping of noisy states: A kind of superadditivity in nonclassicality (2005)
Výsledek druhu J RIV/00216224:14330/05:00020099 - Entanglement swapping of noisy states: A kind of superadditivity in nonclassicality (2005)
Výsledek druhu O RIV/00216224:14330/05:00025745 - Automated confocal in vivo microscopy based on spinning disks (2005)
Výsledek druhu O RIV/00216224:14330/05:00028398 - Analysis of biomedical image data acquired using optical microscopy (2005)
Výsledek druhu O RIV/00216224:14330/05:00028962 - Security in quantum cryptography and networks (2005)
Výsledek druhu O RIV/00216224:14330/05:00028963 - Challenges of QIPC (2005)
Výsledek druhu O RIV/00216224:14330/05:00028964 - A broader view on the limitations of information processing and communication by nature (2005)
Výsledek druhu O RIV/00216224:14330/05:00028965 - The challenges of information technology for globalization era (2005)
Výsledek druhu O RIV/00216224:14330/05:00028966 - Quantum information processing primitives (2005)
Výsledek druhu O RIV/00216224:14330/05:00028967 - Quantum complexity theory potential and challenges for QIPC and quantum mechanics (2005)
Výsledek druhu O RIV/00216224:14330/05:00028968 - Physics of qubit applications (2005)
Výsledek druhu O RIV/00216224:14330/05:00028969 - Dynamics of open quantum systems: Quantum information theory approach (2005)
Výsledek druhu O RIV/00216224:14330/05:00028970 - Optimal manipulations with quantum information: Programmable quantum processors (2005)
Výsledek druhu O RIV/00216224:14330/05:00028971 - Quantum information processing with three qubits (2005)
Výsledek druhu O RIV/00216224:14330/05:00028972 - Optimal manipulations with quantum information: Programmable quantum processors (2005)
Výsledek druhu O RIV/00216224:14330/05:00028973 - Reconstruction of quantum states and processes (2005)
Výsledek druhu O RIV/00216224:14330/05:00041130 - Využití deformabilních modelů v obrazové cytometrii (2005)
Výsledek druhu O RIV/00216224:14330/05:00041131 - 3D Reconstruction of Interphase Chromosomes (2005)
Výsledek druhu J RIV/00216224:14330/06:00015279 - Fast Point-Based 3D Alignment of Live Cells (2006)
Výsledek druhu J RIV/00216224:14330/06:00015279 - Fast Point-Based 3D Alignment of Live Cells (2006)
Výsledek druhu J RIV/00216224:14330/06:00015279 - Fast Point-Based 3D Alignment of Live Cells (2006)
Výsledek druhu D RIV/00216224:14330/06:00015292 - Refining Undecidability Border of Weak Bisimilarity (2006)
Výsledek druhu D RIV/00216224:14330/06:00015292 - Refining Undecidability Border of Weak Bisimilarity. (2006)
Výsledek druhu J RIV/00216224:14330/06:00015292 - Refining Undecidability Border of Weak Bisimilarity (2006)
Výsledek druhu J RIV/00216224:14330/06:00015299 - Comparative transcriptome maps: a new approach to the diagnosis of colorectal carcinoma patients using cDNA microarrays (2006)
Výsledek druhu J RIV/00216224:14330/06:00015299 - Comparative transcriptome maps: a new approach to the diagnosis of colorectal carcinoma patients using cDNA microarrays (2006)
Výsledek druhu J RIV/00216224:14330/06:00015299 - Comparative transcriptome maps: a new approach to the diagnosis of colorectal carcinoma patients using cDNA microarrays (2006)
Výsledek druhu J RIV/00216224:14330/06:00015299 - Comparative transcriptome maps: a new approach to the diagnosis of colorectal carcinoma patients using cDNA microarrays (2006)
Výsledek druhu D RIV/00216224:14330/06:00015311 - Formal Verification of a FIFO Component in Design of Network Monitoring Hardware (2006)
Výsledek druhu D RIV/00216224:14330/06:00015311 - Formal Verification of a FIFO Component in Design of Network Monitoring Hardware (2006)
Výsledek druhu D RIV/00216224:14330/06:00015311 - Formal Verification of a FIFO Component in Design of Network Monitoring Hardware (2006)
Výsledek druhu D RIV/00216224:14330/06:00015335 - Routing and Level 2 Addressing in a Hardware Accelerator for Network Applications (2006)
Výsledek druhu D RIV/00216224:14330/06:00015335 - Routing and Level 2 Addressing in a Hardware Accelerator for Network Applications (2006)
Výsledek druhu D RIV/00216224:14330/06:00015335 - Routing and Level 2 Addressing in a Hardware Accelerator for Network Applications (2006)
Výsledek druhu D RIV/00216224:14330/06:00015346 - Architectural Interoperability Checking in Visual Coordination Networks (2006)
Výsledek druhu D RIV/00216224:14330/06:00015369 - Test Input Generation for Java Containers using State Matching (2006)
Výsledek druhu D RIV/00216224:14330/06:00015369 - Test Input Generation for Java Containers using State Matching (2006)
Výsledek druhu D RIV/00216224:14330/06:00015369 - Test Input Generation for Java Containers using State Matching (2006)
Výsledek druhu J RIV/00216224:14330/06:00015417 - On Decidability of LTL Model Checking for Process Rewrite Systems (2006)
Výsledek druhu D RIV/00216224:14330/06:00015417 - On Decidability of LTL Model Checking for Process Rewrite Systems (2006)
Výsledek druhu D RIV/00216224:14330/06:00015417 - On Decidability of LTL Model Checking for Process Rewrite Systems (2006)
Výsledek druhu A RIV/00216224:14330/06:00015439 - On Decidability of LTL Model Checking for Weakly Extended Process Rewrite Systems (2006)
Výsledek druhu D RIV/00216224:14330/06:00015442 - On Combining Partial Order Reduction with Fairness Assumptions (2006)
Výsledek druhu D RIV/00216224:14330/06:00015443 - DiVinE -- A Tool for Distributed Verification (2006)
Výsledek druhu D RIV/00216224:14330/06:00015443 - DiVinE -- A Tool for Distributed Verification (2006)
Výsledek druhu J RIV/00216224:14330/06:00015443 - DiVinE -- A Tool for Distributed Verification (2006)
Výsledek druhu J RIV/00216224:14330/06:00015443 - DiVinE -- A Tool for Distributed Verification (2006)
Výsledek druhu D RIV/00216224:14330/06:00015450 - Distributed Qualitative LTL Model Checking of Markov Decision Processes (2006)
Výsledek druhu J RIV/00216224:14330/06:00015451 - Cluster-Based LTL Model Checking of Large Systems (2006)
Výsledek druhu J RIV/00216224:14330/06:00015451 - Cluster-Based LTL Model Checking of Large Systems (2006)
Výsledek druhu D RIV/00216224:14330/06:00015451 - Cluster-Based LTL Model Checking of Large Systems (2006)
Výsledek druhu D RIV/00216224:14330/06:00015451 - Cluster-Based LTL Model Checking of Large Systems (2006)
Výsledek druhu J RIV/00216224:14330/06:00015452 - Distributed breadth-first search LTL model checking (2006)
Výsledek druhu J RIV/00216224:14330/06:00015452 - Distributed breadth-first search LTL model checking (2006)
Výsledek druhu J RIV/00216224:14330/06:00015452 - Distributed breadth-first search LTL model checking (2006)
Výsledek druhu J RIV/00216224:14330/06:00015452 - Distributed breadth-first search LTL model checking (2006)
Výsledek druhu J RIV/00216224:14330/06:00015453 - How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors (2006)
Výsledek druhu J RIV/00216224:14330/06:00015453 - How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors (2006)
Výsledek druhu J RIV/00216224:14330/06:00015453 - How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors (2006)
Výsledek druhu J RIV/00216224:14330/06:00015466 - Model Checking of RegCTL (2006)
Výsledek druhu J RIV/00216224:14330/06:00015466 - Model Checking of RegCTL (2006)
Výsledek druhu J RIV/00216224:14330/06:00015466 - Model Checking of RegCTL (2006)
Výsledek druhu J RIV/00216224:14330/06:00015466 - Model Checking of RegCTL (2006)
Výsledek druhu J RIV/00216224:14330/06:00015470 - Component-Interaction Automata as a Verification-Oriented Component-Based System Specification (2006)
Výsledek druhu J RIV/00216224:14330/06:00015470 - Component-Interaction Automata as a Verification-Oriented Component-Based System Specification (2006)
Výsledek druhu J RIV/00216224:14330/06:00015470 - Component-Interaction Automata as a Verification-Oriented Component-Based System Specification (2006)
Výsledek druhu O RIV/00216224:14330/06:00015476 - Weakly Extended Process Rewrite Systems (2006)
Výsledek druhu D RIV/00216224:14330/06:00015552 - Formal Analysis of Component-Based Systems in View of Comp. Interactions (2006)
Výsledek druhu D RIV/00216224:14330/06:00015552 - Formal Analysis of Component-Based Systems in View of Comp. Interactions (2006)
Výsledek druhu D RIV/00216224:14330/06:00015552 - Formal Analysis of Component-Based Systems in View of Comp. Interactions (2006)
Výsledek druhu J RIV/00216224:14330/06:00015564 - Lower and Upper Bounds in Zone-Based Abstractions of Timed Automata (2006)
Výsledek druhu J RIV/00216224:14330/06:00015564 - Lower and Upper Bounds in Zone-Based Abstractions of Timed Automata (2006)
Výsledek druhu J RIV/00216224:14330/06:00015564 - Lower and Upper Bounds in Zone-Based Abstractions of Timed Automata (2006)
Výsledek druhu J RIV/00216224:14330/06:00015568 - Crossing Number is Hard for Cubic Graphs (2006)
Výsledek druhu J RIV/00216224:14330/06:00015568 - Crossing Number is Hard for Cubic Graphs (2006)
Výsledek druhu J RIV/00216224:14330/06:00015568 - Crossing Number is Hard for Cubic Graphs (2006)
Výsledek druhu J RIV/00216224:14330/06:00015569 - Branch-Width, Parse Trees, and Monadic Second-Order Logic for Matroids (2006)
Výsledek druhu J RIV/00216224:14330/06:00015569 - Branch-Width, Parse Trees, and Monadic Second-Order Logic for Matroids (2006)
Výsledek druhu J RIV/00216224:14330/06:00015569 - Branch-Width, Parse Trees, and Monadic Second-Order Logic for Matroids (2006)
Výsledek druhu J RIV/00216224:14330/06:00015570 - Trees, grids, and MSO decidability: From graphs to matroids (2006)
Výsledek druhu J RIV/00216224:14330/06:00015570 - Trees, grids, and MSO decidability: From graphs to matroids (2006)
Výsledek druhu J RIV/00216224:14330/06:00015570 - Trees, grids, and MSO decidability: From graphs to matroids (2006)
Výsledek druhu D RIV/00216224:14330/06:00015590 - Improved 3D Reconstruction of Interphase Chromosomes Based on Nonlinear Diffusion Filtering (2006)
Výsledek druhu D RIV/00216224:14330/06:00015590 - Improved 3D Reconstruction of Interphase Chromosomes Based on Nonlinear Diffusion Filtering (2006)
Výsledek druhu D RIV/00216224:14330/06:00015590 - Improved 3D Reconstruction of Interphase Chromosomes Based on Nonlinear Diffusion Filtering (2006)
Výsledek druhu J RIV/00216224:14330/06:00015726 - Computing the Tutte Polynomial on Graphs of Bounded Clique-Width (2006)
Výsledek druhu J RIV/00216224:14330/06:00015726 - Computing the Tutte Polynomial on Graphs of Bounded Clique-Width (2006)
Výsledek druhu J RIV/00216224:14330/06:00015726 - Computing the Tutte Polynomial on Graphs of Bounded Clique-Width (2006)
Výsledek druhu J RIV/00216224:14330/06:00015726 - Computing the Tutte Polynomial on Graphs of Bounded Clique-Width (2006)
Výsledek druhu J RIV/00216224:14330/06:00015770 - Automatic Detection of Histones on Chromosome X in Images of Cell Nuclei (2006)
Výsledek druhu J RIV/00216224:14330/06:00015770 - Automatic Detection of Histones on Chromosome X in Images of Cell Nuclei (2006)
Výsledek druhu J RIV/00216224:14330/06:00015770 - Automatic Detection of Histones on Chromosome X in Images of Cell Nuclei (2006)
Výsledek druhu J RIV/00216224:14330/06:00015770 - Automatic Detection of Histones on Chromosome X in Images of Cell Nuclei (2006)
Výsledek druhu D RIV/00216224:14330/06:00015952 - Fast and Robust Segmentation of Low Contrast Biomedical Images (2006)
Výsledek druhu D RIV/00216224:14330/06:00015952 - Fast and Robust Segmentation of Low Contrast Biomedical Images (2006)
Výsledek druhu D RIV/00216224:14330/06:00015952 - Fast and Robust Segmentation of Low Contrast Biomedical Images (2006)
Výsledek druhu D RIV/00216224:14330/06:00015972 - Formal Verification of the CRC Algorithm Properties (2006)
Výsledek druhu D RIV/00216224:14330/06:00015981 - Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols (2006)
Výsledek druhu D RIV/00216224:14330/06:00015990 - LanQ - an Imperative Quantum Programming Language (2006)
Výsledek druhu D RIV/00216224:14330/06:00015990 - LanQ - an Imperative Quantum Programming Language (2006)
Výsledek druhu D RIV/00216224:14330/06:00015990 - LanQ - an Imperative Quantum Programming Language (2006)
Výsledek druhu O RIV/00216224:14330/06:00016014 - Proceedings of the Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2006) (2006)
Výsledek druhu O RIV/00216224:14330/06:00016014 - Proceedings of the Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2006) (2006)
Výsledek druhu W RIV/00216224:14330/06:00016090 - CEQIP 2006 (2006)
Výsledek druhu W RIV/00216224:14330/06:00016090 - CEQIP 2006 (2006)
Výsledek druhu D RIV/00216224:14330/06:00016095 - From informatics to quantum informatics (2006)
Výsledek druhu D RIV/00216224:14330/06:00016095 - From informatics to quantum informatics (2006)
Výsledek druhu D RIV/00216224:14330/06:00016095 - From informatics to quantum informatics (2006)
Výsledek druhu D RIV/00216224:14330/06:00016095 - From informatics to quantum informatics (2006)
Výsledek druhu J RIV/00216224:14330/06:00016096 - The Emergence and Challenges of Quantum Informatics (2006)
Výsledek druhu J RIV/00216224:14330/06:00016096 - The Emergence and Challenges of Quantum Informatics (2006)
Výsledek druhu J RIV/00216224:14330/06:00016096 - The Emergence and Challenges of Quantum Informatics (2006)
Výsledek druhu J RIV/00216224:14330/06:00016163 - Universal sets of quantum information processing primitives and their optimal use (2006)
Výsledek druhu J RIV/00216224:14330/06:00016163 - Universal sets of quantum information processing primitives and their optimal use (2006)
Výsledek druhu J RIV/00216224:14330/06:00016163 - Universal sets of quantum information processing primitives and their optimal use (2006)
Výsledek druhu J RIV/00216224:14330/06:00016163 - Universal sets of quantum information processing primitives and their optimal use (2006)
Výsledek druhu J RIV/00216224:14330/06:00016165 - Quantum finite automata (2006)
Výsledek druhu J RIV/00216224:14330/06:00016165 - Quantum finite automata (2006)
Výsledek druhu J RIV/00216224:14330/06:00016165 - Quantum finite automata (2006)
Výsledek druhu J RIV/00216224:14330/06:00016166 - Different time solutions for the firing squad synchronization problem on basic grid networks (2006)
Výsledek druhu J RIV/00216224:14330/06:00016166 - Different time solutions for the firing squad synchronization problem on basic grid networks (2006)
Výsledek druhu J RIV/00216224:14330/06:00016166 - Different time solutions for the firing squad synchronization problem on basic grid networks (2006)
Výsledek druhu J RIV/00216224:14330/06:00016166 - Different time solutions for the firing squad synchronization problem on basic grid networks (2006)
Výsledek druhu J RIV/00216224:14330/06:00016169 - When Non-Gaussian States are Gaussian: Generalization of Non-Separability Criterion for Continous Variables (2006)
Výsledek druhu J RIV/00216224:14330/06:00016169 - When Non-Gaussian States are Gaussian: Generalization of Non-Separability Criterion for Continous Variables (2006)
Výsledek druhu J RIV/00216224:14330/06:00016169 - When Non-Gaussian States are Gaussian: Generalization of Non-Separability Criterion for Continous Variables (2006)
Výsledek druhu J RIV/00216224:14330/06:00016169 - When Non-Gaussian States are Gaussian: Generalization of Non-Separability Criterion for Continous Variables (2006)
Výsledek druhu J RIV/00216224:14330/06:00016170 - Quantum walks with random phase shifts (2006)
Výsledek druhu J RIV/00216224:14330/06:00016170 - Quantum walks with random phase shifts (2006)
Výsledek druhu J RIV/00216224:14330/06:00016170 - Quantum walks with random phase shifts (2006)
Výsledek druhu J RIV/00216224:14330/06:00016170 - Quantum walks with random phase shifts (2006)
Výsledek druhu J RIV/00216224:14330/06:00016172 - Entanglement, purity and energy: Two qubits vs Two modes (2006)
Výsledek druhu J RIV/00216224:14330/06:00016172 - Entanglement, purity and energy: Two qubits vs Two modes (2006)
Výsledek druhu J RIV/00216224:14330/06:00016172 - Entanglement, purity and energy: Two qubits vs Two modes (2006)
Výsledek druhu J RIV/00216224:14330/06:00016172 - Entanglement, purity and energy: Two qubits vs Two modes (2006)
Výsledek druhu J RIV/00216224:14330/06:00016173 - Programmable quantum state discriminators with simple programs (2006)
Výsledek druhu J RIV/00216224:14330/06:00016173 - Programmable quantum state discriminators with simple programs (2006)
Výsledek druhu J RIV/00216224:14330/06:00016173 - Programmable quantum state discriminators with simple programs (2006)
Výsledek druhu J RIV/00216224:14330/06:00016173 - Programmable quantum state discriminators with simple programs (2006)
Výsledek druhu J RIV/00216224:14330/06:00016175 - Simulation of generators of Markovian dynamics on programmable quantum processors (2006)
Výsledek druhu J RIV/00216224:14330/06:00016175 - Simulation of generators of Markovian dynamics on programmable quantum processors (2006)
Výsledek druhu J RIV/00216224:14330/06:00016175 - Simulation of generators of Markovian dynamics on programmable quantum processors (2006)
Výsledek druhu J RIV/00216224:14330/06:00016175 - Simulation of generators of Markovian dynamics on programmable quantum processors (2006)
Výsledek druhu J RIV/00216224:14330/06:00016177 - Estimation of potentially unphysical maps (2006)
Výsledek druhu J RIV/00216224:14330/06:00016177 - Estimation of potentially unphysical maps (2006)
Výsledek druhu J RIV/00216224:14330/06:00016177 - Estimation of potentially unphysical maps (2006)
Výsledek druhu J RIV/00216224:14330/06:00016177 - Estimation of potentially unphysical maps (2006)
Výsledek druhu J RIV/00216224:14330/06:00016180 - Programmable Quantum Processors (2006)
Výsledek druhu J RIV/00216224:14330/06:00016180 - Programmable Quantum Processors (2006)
Výsledek druhu J RIV/00216224:14330/06:00016180 - Programmable Quantum Processors (2006)
Výsledek druhu J RIV/00216224:14330/06:00016180 - Programmable Quantum Processors (2006)
Výsledek druhu J RIV/00216224:14330/06:00016182 - Universality and optimality of programmable quantum processors (2006)
Výsledek druhu J RIV/00216224:14330/06:00016182 - Universality and optimality of programmable quantum processors (2006)
Výsledek druhu J RIV/00216224:14330/06:00016182 - Universality and optimality of programmable quantum processors (2006)
Výsledek druhu J RIV/00216224:14330/06:00016186 - The firing squad synchronization problem on squares, toruses and rings (2006)
Výsledek druhu J RIV/00216224:14330/06:00016186 - The firing squad synchronization problem on squares, toruses and rings (2006)
Výsledek druhu J RIV/00216224:14330/06:00016186 - The firing squad synchronization problem on squares, toruses and rings (2006)
Výsledek druhu J RIV/00216224:14330/06:00016186 - The firing squad synchronization problem on square arrays, toruses and rings (2006)
Výsledek druhu M RIV/00216224:14330/06:00016226 - Steering chair. AQIS Asian Conference on Quantum Information Science 2006 (2006)
Výsledek druhu M RIV/00216224:14330/06:00016226 - Steering chair. AQIS Asian Conference on Quantum Information Science 2006 (2006)
Výsledek druhu M RIV/00216224:14330/06:00016226 - Steering chair. AQIS Asian Conference on Quantum Information Science 2006 (2006)
Výsledek druhu J RIV/00216224:14330/06:00016575 - Methods for Quantitative Analysis of Probabilistic Pushdown Automata (2006)
Výsledek druhu J RIV/00216224:14330/06:00016575 - Methods for Quantitative Analysis of Probabilistic Pushdown Automata (2006)
Výsledek druhu J RIV/00216224:14330/06:00016575 - Methods for Quantitative Analysis of Probabilistic Pushdown Automata (2006)
Výsledek druhu J RIV/00216224:14330/06:00016670 - Model Checking Probabilistic Pushdown Automata (2006)
Výsledek druhu J RIV/00216224:14330/06:00016670 - Model Checking Probabilistic Pushdown Automata (2006)
Výsledek druhu J RIV/00216224:14330/06:00016670 - Model Checking Probabilistic Pushdown Automata (2006)
Výsledek druhu J RIV/00216224:14330/06:00016792 - Equivalence-free exhaustive generation of matroid representations (2006)
Výsledek druhu J RIV/00216224:14330/06:00016792 - Equivalence-free exhaustive generation of matroid representations (2006)
Výsledek druhu J RIV/00216224:14330/06:00016792 - Equivalence-free exhaustive generation of matroid representations (2006)
Výsledek druhu J RIV/00216224:14330/06:00016828 - Equivalence-Checking on Infinite-State Systems: Techniques and Results (2006)
Výsledek druhu J RIV/00216224:14330/06:00016828 - Equivalence-Checking on Infinite-State Systems: Techniques and Results (2006)
Výsledek druhu J RIV/00216224:14330/06:00016828 - Equivalence-Checking on Infinite-State Systems: Techniques and Results (2006)
Výsledek druhu D RIV/00216224:14330/06:00016888 - Virtual Grid Execution Environment (2006)
Výsledek druhu D RIV/00216224:14330/06:00016888 - Virtual Grid Execution Environment (2006)
Výsledek druhu D RIV/00216224:14330/06:00016888 - Virtual Grid Execution Environment (2006)
Výsledek druhu J RIV/00216224:14330/06:00016917 - Matroid Tree-Width (2006)
Výsledek druhu J RIV/00216224:14330/06:00016917 - Matroid Tree-Width (2006)
Výsledek druhu J RIV/00216224:14330/06:00016917 - Matroid Tree-Width (2006)
Výsledek druhu J RIV/00216224:14330/06:00017031 - A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications (2006)
Výsledek druhu J RIV/00216224:14330/06:00017031 - A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications (2006)
Výsledek druhu J RIV/00216224:14330/06:00017031 - A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications (2006)
Výsledek druhu D RIV/00216224:14330/06:00017081 - Reachability in Recursive Markov Decision Processes (2006)
Výsledek druhu J RIV/00216224:14330/06:00017081 - Reachability in Recursive Markov Decision Processes (2006)
Výsledek druhu J RIV/00216224:14330/06:00017081 - Reachability in Recursive Markov Decision Processes (2006)
Výsledek druhu J RIV/00216224:14330/06:00017102 - Best Practices of User Account Management with Virtual Organization Based Access to Grid (2006)
Výsledek druhu J RIV/00216224:14330/06:00017102 - Best Practices of User Account Management with Virtual Organization Based Access to Grid (2006)
Výsledek druhu J RIV/00216224:14330/06:00017102 - Best Practices of User Account Management with Virtual Organization Based Access to Grid (2006)
Výsledek druhu D RIV/00216224:14330/06:00017108 - Stochastic Games with Branching-Time Winning Objectives (2006)
Výsledek druhu D RIV/00216224:14330/06:00017108 - Stochastic Games with Branching-Time Winning Objectives (2006)
Výsledek druhu D RIV/00216224:14330/06:00017108 - Stochastic Games with Branching-Time Winning Objectives (2006)
Výsledek druhu M RIV/00216224:14330/06:00017564 - PATAT 2006: Proceedings of the 6th International Conference on the Practice and Theory of Automated Timetabling (2006)
Výsledek druhu D RIV/00216224:14330/06:00017566 - Scheduling with Soft CLP(FD) Solver (2006)
Výsledek druhu D RIV/00216224:14330/06:00017566 - Scheduling with Soft CLP(FD) Solver (2006)
Výsledek druhu D RIV/00216224:14330/06:00017566 - Scheduling with Soft CLP(FD) Solver (2006)
Výsledek druhu D RIV/00216224:14330/06:00018293 - Automated analysis of multi-dimensional biomedical image data acquired using optical microscopy (2006)
Výsledek druhu D RIV/00216224:14330/06:00018293 - Automated analysis of multi-dimensional biomedical image data acquired using optical microscopy (2006)
Výsledek druhu D RIV/00216224:14330/06:00018293 - Automated analysis of multi-dimensional biomedical image data acquired using optical microscopy (2006)
Výsledek druhu D RIV/00216224:14330/06:00018293 - Automated analysis of multi-dimensional biomedical image data acquired using optical microscopy (2006)
Výsledek druhu D RIV/00216224:14330/06:00018341 - Focus Function for Biomedical Images as a Result of Genetic Programming (2006)
Výsledek druhu D RIV/00216224:14330/06:00018341 - Focus Function for Biomedical Images as a Result of Genetic Programming (2006)
Výsledek druhu D RIV/00216224:14330/06:00018341 - Focus Function for Biomedical Images as a Result of Genetic Programming (2006)
Výsledek druhu D RIV/00216224:14330/06:00019343 - Component Placement in Distributed Environment w.r.t. Component Interaction (2006)
Výsledek druhu D RIV/00216224:14330/06:00019343 - Component Placement in Distributed Environment w.r.t. Component Interaction (2006)
Výsledek druhu D RIV/00216224:14330/06:00019343 - Component Placement in Distributed Environment w.r.t. Component Interaction (2006)
Výsledek druhu O RIV/00216224:14330/06:00020052 - Single-cell image analysis of cellular localization and colocalization of endonuclease G, AIF and AMID in living cells (2006)
Výsledek druhu O RIV/00216224:14330/06:00020052 - Single-cell image analysis of cellular localization and colocalization of endonuclease G, AIF and AMID in living cells (2006)
Výsledek druhu D RIV/00216224:14330/06:00020061 - The Primitive beyond Voting Schemes (2006)
Výsledek druhu D RIV/00216224:14330/06:00020061 - The Primitive beyond Voting Schemes (2006)
Výsledek druhu D RIV/00216224:14330/06:00020072 - Quantum informatics paradigms and tools for QIPC (2006)
Výsledek druhu D RIV/00216224:14330/06:00020072 - Quantum informatics paradigms and tools for QIPC (2006)
Výsledek druhu D RIV/00216224:14330/06:00020072 - Quantum informatics paradigms and tools for QIPC (2006)
Výsledek druhu O RIV/00216224:14330/06:00024118 - Analýza lokalizace a interakce fluorescenčně značených molekul v živých i fixovaných lidských buňkách. (2006)
Výsledek druhu O RIV/00216224:14330/06:00024118 - Analýza lokalizace a interakce fluorescenčně značených molekul v živých i fixovaných lidských buňkách. (2006)
Výsledek druhu A RIV/00216224:14330/06:00024121 - Component-Interaction Automata Modelling Language (2006)
Výsledek druhu A RIV/00216224:14330/06:00024121 - Component-Interaction Automata Modelling Language (2006)
Výsledek druhu R RIV/00216224:14330/06:00024474 - DiVinE Library (2006)
Výsledek druhu R RIV/00216224:14330/06:00024474 - DiVinE Library (2006)
Výsledek druhu O RIV/00216224:14330/06:00024564 - Entanglement vs. local operations (2006)
Výsledek druhu O RIV/00216224:14330/06:00024654 - On the Crossing Number of Almost Planar Graphs (2006)
Výsledek druhu O RIV/00216224:14330/06:00024654 - On the Crossing Number of Almost Planar Graphs (2006)
Výsledek druhu O RIV/00216224:14330/06:00025545 - Videokonference s vysokou kvalitou (2006)
Výsledek druhu O RIV/00216224:14330/06:00025545 - Videokonference s vysokou kvalitou (2006)
Výsledek druhu O RIV/00216224:14330/06:00025546 - iGrid2005 (2006)
Výsledek druhu O RIV/00216224:14330/06:00025546 - iGrid2005 (2006)
Výsledek druhu D RIV/00216224:14330/06:00025574 - HDTV streaming (2006)
Výsledek druhu D RIV/00216224:14330/06:00025574 - HDTV streaming (2006)
Výsledek druhu R RIV/00216224:14330/06:00025587 - Software for the computation and visualization of optical flow between two images (2006)
Výsledek druhu R RIV/00216224:14330/06:00025587 - Software for the computation and visualization of optical flow between two images (2006)
Výsledek druhu R RIV/00216224:14330/06:00025587 - Software for the computation and visualization of optical flow between two images (2006)
Výsledek druhu O RIV/00216224:14330/06:00028953 - Quantum entanglement and non-locality as new resources for quantum computation and communication (2006)
Výsledek druhu O RIV/00216224:14330/06:00028954 - Challenges of quantum informatics (2006)
Výsledek druhu O RIV/00216224:14330/06:00028955 - From informatics to quantum informatics (2006)
Výsledek druhu O RIV/00216224:14330/06:00028956 - Primitives of QIPC (2006)
Výsledek druhu O RIV/00216224:14330/06:00028957 - From quantum physics to quantum informatics and back (2006)
Výsledek druhu O RIV/00216224:14330/06:00028958 - Quantum automata (2006)
Výsledek druhu O RIV/00216224:14330/06:00028959 - Quantum complexity impacts on quantum physics (2006)
Výsledek druhu O RIV/00216224:14330/06:00028960 - Universality and optimality questions of programmable quantum processors (2006)
Výsledek druhu O RIV/00216224:14330/06:00028961 - Quantum process estimation procedures (2006)
Výsledek druhu O RIV/00216224:14330/06:00031784 - Visual Coordination Networks (2006)
Výsledek druhu O RIV/00216224:14330/06:00033148 - Automated confocal live cell microscopy based on spinning disks (2006)
Výsledek druhu O RIV/00216224:14330/06:00033148 - Automated confocal live cell microscopy based on spinning disks (2006)
Výsledek druhu O RIV/00216224:14330/06:00035935 - Návrh algoritmů II (2006)
Výsledek druhu O RIV/00216224:14330/06:00035935 - Návrh algoritmů II (2006)
Výsledek druhu O RIV/00216224:14330/06:00041813 - Optimizing light throughput in fluorescence microscopy (2006)
Výsledek druhu J RIV/00216224:14330/07:00019031 - New insights into gene positional clustering and its properties supported by large-scale analysis of various differentiation pathways (2007)
Výsledek druhu J RIV/00216224:14330/07:00019031 - New insights into gene positional clustering and its properties supported by large-scale analysis of various differentiation pathways (2007)
Výsledek druhu D RIV/00216224:14330/07:00019329 - Verifying VHDL Designs with Multiple Clocks in SMV (2007)
Výsledek druhu D RIV/00216224:14330/07:00019329 - Verifying VHDL Designs with Multiple Clocks in SMV (2007)
Výsledek druhu D RIV/00216224:14330/07:00019356 - Model Checking Large Finite-State Systems and Beyond (2007)
Výsledek druhu D RIV/00216224:14330/07:00019356 - Model Checking Large Finite-State Systems and Beyond (2007)
Výsledek druhu D RIV/00216224:14330/07:00019374 - Parallel Algorithms for Finding SCCs in Implicitly Given Graphs (2007)
Výsledek druhu D RIV/00216224:14330/07:00019374 - Parallel Algorithms for Finding SCCs in Implicitly Given Graphs (2007)
Výsledek druhu J RIV/00216224:14330/07:00019374 - Parallel Algorithms for Finding SCCs in Implicitly Given Graphs (2007)
Výsledek druhu D RIV/00216224:14330/07:00019426 - I/O Efficient Accepting Cycle Detection (2007)
Výsledek druhu D RIV/00216224:14330/07:00019426 - I/O Efficient Accepting Cycle Detection (2007)
Výsledek druhu D RIV/00216224:14330/07:00019426 - I/O Efficient Accepting Cycle Detection (2007)
Výsledek druhu D RIV/00216224:14330/07:00019427 - Scalable Multi-core LTL Model-Checking (2007)
Výsledek druhu D RIV/00216224:14330/07:00019427 - Scalable Multi-core LTL Model-Checking (2007)
Výsledek druhu J RIV/00216224:14330/07:00019427 - Scalable Multi-core LTL Model-Checking (2007)
Výsledek druhu J RIV/00216224:14330/07:00019439 - Component Substitutability via Equivalencies of Component-Interaction Automata (2007)
Výsledek druhu J RIV/00216224:14330/07:00019439 - Component Substitutability via Equivalencies of Component-Interaction Automata (2007)
Výsledek druhu J RIV/00216224:14330/07:00019458 - Improved Distributed Algorithms for SCC Decomposition (2007)
Výsledek druhu J RIV/00216224:14330/07:00019458 - Improved Distributed Algorithms for SCC Decomposition (2007)
Výsledek druhu J RIV/00216224:14330/07:00019459 - Shared Hash Tables in Parallel Model Checking (2007)
Výsledek druhu J RIV/00216224:14330/07:00019459 - Shared Hash Tables in Parallel Model Checking (2007)
Výsledek druhu D RIV/00216224:14330/07:00019460 - Parallel Model Checking and the FMICS-jETI Platform (2007)
Výsledek druhu D RIV/00216224:14330/07:00019460 - Parallel Model Checking and the FMICS-jETI Platform (2007)
Výsledek druhu D RIV/00216224:14330/07:00019460 - Parallel Model Checking and the FMICS-jETI Platform (2007)
Výsledek druhu O RIV/00216224:14330/07:00019467 - On Decidability of LTL+Past Model Checking for Process Rewrite Systems (2007)
Výsledek druhu D RIV/00216224:14330/07:00019472 - ProbDiVinE: A Parallel Qualitative LTL Model Checker (2007)
Výsledek druhu D RIV/00216224:14330/07:00019472 - ProbDiVinE: A Parallel Qualitative LTL Model Checker (2007)
Výsledek druhu D RIV/00216224:14330/07:00019472 - ProbDiVinE: A Parallel Qualitative LTL Model Checker (2007)
Výsledek druhu A RIV/00216224:14330/07:00019480 - Parallel Analysis of Genetic Regulatory Networks (2007)
Výsledek druhu O RIV/00216224:14330/07:00019480 - Parallel Analysis of Genetic Regulatory Networks (2007)
Výsledek druhu D RIV/00216224:14330/07:00019481 - Effective verification of systems with a dynamic number of components (2007)
Výsledek druhu D RIV/00216224:14330/07:00019481 - Effective verification of systems with a dynamic number of components (2007)
Výsledek druhu D RIV/00216224:14330/07:00019482 - Subject-observer specification with component-interaction automata (2007)
Výsledek druhu D RIV/00216224:14330/07:00019482 - Subject-observer specification with component-interaction automata (2007)
Výsledek druhu D RIV/00216224:14330/07:00019497 - Relaxed Cycle Condition Improves Partial Order Reduction (2007)
Výsledek druhu D RIV/00216224:14330/07:00019497 - Relaxed Cycle Condition Improves Partial Order Reduction (2007)
Výsledek druhu A RIV/00216224:14330/07:00019613 - Formalisms and Tools for Design and Specification of Network Protocols (2007)
Výsledek druhu A RIV/00216224:14330/07:00019613 - Formalisms and Tools for Design and Specification of Network Protocols (2007)
Výsledek druhu S RIV/00216224:14330/07:00019614 - DiVinE Multi-Core (2007)
Výsledek druhu R RIV/00216224:14330/07:00019614 - DiVinE Multi-Core (2007)
Výsledek druhu R RIV/00216224:14330/07:00019614 - DiVinE Multi-Core (2007)
Výsledek druhu D RIV/00216224:14330/07:00020059 - Estimating Large Local Motion in Live-Cell Imaging Using Variational Optical Flow (2007)
Výsledek druhu D RIV/00216224:14330/07:00020059 - Estimating Large Local Motion in Live-Cell Imaging Using Variational Optical Flow (2007)
Výsledek druhu J RIV/00216224:14330/07:00020060 - Bioinformatic and image analyses of the cellular localization of the apoptotic proteins endonuclease G, AIF, and AMID during apoptosis in human cells (2007)
Výsledek druhu J RIV/00216224:14330/07:00020060 - Bioinformatic and image analyses of the cellular localization of the apoptotic proteins endonuclease G, AIF, and AMID during apoptosis in human cells (2007)
Výsledek druhu J RIV/00216224:14330/07:00020060 - Bioinformatic and image analyses of the cellular localization of the apoptotic proteins endonuclease G, AIF, and AMID during apoptosis in human cells (2007)
Výsledek druhu J RIV/00216224:14330/07:00020090 - Width Parameters Beyond Tree-width and Their Applications (2007)
Výsledek druhu J RIV/00216224:14330/07:00020090 - Width Parameters Beyond Tree-width and Their Applications (2007)
Výsledek druhu J RIV/00216224:14330/07:00020090 - Width Parameters Beyond Tree-width and Their Applications (2007)
Výsledek druhu J RIV/00216224:14330/07:00020185 - Distinct patterns of histone methylation and acetylation in human interphase nuclei (2007)
Výsledek druhu J RIV/00216224:14330/07:00020185 - Distinct patterns of histone methylation and acetylation in human interphase nuclei (2007)
Výsledek druhu D RIV/00216224:14330/07:00020275 - Problematika plánování úloh v prostředí Gridu (2007)
Výsledek druhu D RIV/00216224:14330/07:00020275 - Problematika plánování úloh v prostředí Gridu (2007)
Výsledek druhu J RIV/00216224:14330/07:00020331 - Optimality of private quantum channels (2007)
Výsledek druhu J RIV/00216224:14330/07:00020331 - Optimality of private quantum channels (2007)
Výsledek druhu J RIV/00216224:14330/07:00020331 - Optimality of private quantum channels (2007)
Výsledek druhu D RIV/00216224:14330/07:00020381 - Tutorial: Parallel Model Checking (2007)
Výsledek druhu D RIV/00216224:14330/07:00020381 - Tutorial: Parallel Model Checking (2007)
Výsledek druhu J RIV/00216224:14330/07:00020381 - Tutorial: Parallel Model Checking (2007)
Výsledek druhu D RIV/00216224:14330/07:00020506 - Local Search for Deadline Driven Grid Scheduling (2007)
Výsledek druhu D RIV/00216224:14330/07:00020506 - Local Search for Deadline Driven Grid Scheduling (2007)
Výsledek druhu D RIV/00216224:14330/07:00020506 - Local Search for Deadline Driven Grid Scheduling (2007)
Výsledek druhu A RIV/00216224:14330/07:00020507 - Grid Simulator with Production Scheduling Algorithms (abstract) (2007)
Výsledek druhu A RIV/00216224:14330/07:00020507 - Grid Simulator with Production Scheduling Algorithms (abstract) (2007)
Výsledek druhu A RIV/00216224:14330/07:00020507 - Grid Simulator with Production Scheduling Algorithms (abstract) (2007)
Výsledek druhu D RIV/00216224:14330/07:00020537 - Syntactic Type Soundness in Structured Imperative Languages (2007)
Výsledek druhu D RIV/00216224:14330/07:00020537 - Syntactic Type Soundness in Structured Imperative Languages (2007)
Výsledek druhu D RIV/00216224:14330/07:00020538 - Reflecting Creation and Destruction of Instances in CBSs Modelling and Verification (2007)
Výsledek druhu D RIV/00216224:14330/07:00020538 - Reflecting Creation and Destruction of Instances in CBSs Modelling and Verification (2007)
Výsledek druhu D RIV/00216224:14330/07:00020560 - Equivalence of Programmable Quantum Processors (2007)
Výsledek druhu D RIV/00216224:14330/07:00020560 - Equivalence of Programmable Quantum Processors (2007)
Výsledek druhu D RIV/00216224:14330/07:00020608 - Classical Winning Strategies for the Matching Game (2007)
Výsledek druhu D RIV/00216224:14330/07:00020608 - Classical Winning Strategies for the Matching Game (2007)
Výsledek druhu O RIV/00216224:14330/07:00020613 - Bioinformatic predictions and image analysis of localization and interactions of endonuclease G, AIF, and AMID in human cells (2007)
Výsledek druhu O RIV/00216224:14330/07:00020613 - Bioinformatic predictions and image analysis of localization and interactions of endonuclease G, AIF, and AMID in human cells (2007)
Výsledek druhu J RIV/00216224:14330/07:00020633 - Quantum Informatics and the relations between Informatics, Physics and Mathematics: A dialogue of C. Calude with J. Gruska (part I) (2007)
Výsledek druhu J RIV/00216224:14330/07:00020633 - Quantum Informatics and the relations between Informatics, Physics and Mathematics: A dialogue of C. Calude with J. Gruska (part I) (2007)
Výsledek druhu D RIV/00216224:14330/07:00020634 - Algebraic Methods in Quantum Informatics (2007)
Výsledek druhu D RIV/00216224:14330/07:00020634 - Algebraic Methods in Quantum Informatics (2007)
Výsledek druhu D RIV/00216224:14330/07:00020634 - Algebraic Methods in Quantum Informatics (2007)
Výsledek druhu O RIV/00216224:14330/07:00020659 - Fluorescent microscopy of living cells (2007)
Výsledek druhu D RIV/00216224:14330/07:00020659 - Fluorescent microscopy of living cells (2007)
Výsledek druhu D RIV/00216224:14330/07:00020659 - Fluorescent microscopy of living cells (2007)
Výsledek druhu D RIV/00216224:14330/07:00020659 - Fluorescent microscopy of living cells (2007)
Výsledek druhu J RIV/00216224:14330/07:00020701 - Unambiguous coherent state identification: Searching quantum database (2007)
Výsledek druhu J RIV/00216224:14330/07:00020701 - Unambiguous coherent state identification: Searching quantum database (2007)
Výsledek druhu J RIV/00216224:14330/07:00020701 - Unambiguous coherent state identification: Searching quantum database (2007)
Výsledek druhu J RIV/00216224:14330/07:00020702 - Applications of quantum algorithms to the study of group automorphisms (2007)
Výsledek druhu J RIV/00216224:14330/07:00020702 - Applications of quantum algorithms to the study of group automorphisms (2007)
Výsledek druhu J RIV/00216224:14330/07:00020702 - Applications of quantum algorithms to the study of group automorphisms (2007)
Výsledek druhu J RIV/00216224:14330/07:00020703 - Quantum Parrondo's game with random strategies (2007)
Výsledek druhu J RIV/00216224:14330/07:00020703 - Quantum Parrondo's game with random strategies (2007)
Výsledek druhu J RIV/00216224:14330/07:00020703 - Quantum Parrondo's game with random strategies (2007)
Výsledek druhu C RIV/00216224:14330/07:00020704 - Towards Quantum-based Election Scheme (2007)
Výsledek druhu C RIV/00216224:14330/07:00020704 - Towards Quantum-based Election Scheme (2007)
Výsledek druhu C RIV/00216224:14330/07:00020704 - Towards Quantum-based Election Scheme (2007)
Výsledek druhu C RIV/00216224:14330/07:00020705 - Entanglement measures: state ordering vs local operations (2007)
Výsledek druhu C RIV/00216224:14330/07:00020705 - Entanglement measures: state ordering vs local operations (2007)
Výsledek druhu C RIV/00216224:14330/07:00020705 - Entanglement measures: state ordering vs local operations (2007)
Výsledek druhu J RIV/00216224:14330/07:00020813 - Quantum Informatics and the relations between Informatics, Physics and Mathematics: A dialogue of C. Calude with J. Gruska (second part) (2007)
Výsledek druhu J RIV/00216224:14330/07:00020813 - Quantum Informatics and the relations between Informatics, Physics and Mathematics: A dialogue of C. Calude with J. Gruska (second part) (2007)
Výsledek druhu W RIV/00216224:14330/07:00020815 - CEQIP 2007 (2007)
Výsledek druhu W RIV/00216224:14330/07:00020815 - CEQIP 2007 (2007)
Výsledek druhu O RIV/00216224:14330/07:00020821 - Spatial Organization, Dynamics, and Associations of Telomeres in Healthy, Telomerase-Positive and ALT Human Cell Lines (2007)
Výsledek druhu O RIV/00216224:14330/07:00020821 - Spatial Organization, Dynamics, and Associations of Telomeres in Healthy, Telomerase-Positive and ALT Human Cell Lines (2007)
Výsledek druhu M RIV/00216224:14330/07:00020853 - AQIS (Asia Conference on Quantum Information Science). Steering Committee Chair. (2007)
Výsledek druhu M RIV/00216224:14330/07:00020853 - AQIS (Asia Conference on Quantum Information Science). Steering Committee Chair. (2007)
Výsledek druhu M RIV/00216224:14330/07:00020853 - AQIS (Asia Conference on Quantum Information Science). Steering Committee Chair. (2007)
Výsledek druhu D RIV/00216224:14330/07:00021396 - Combinatorial Generation of Matroid Representations: Theory and Practice (2007)
Výsledek druhu D RIV/00216224:14330/07:00021396 - Combinatorial Generation of Matroid Representations: Theory and Practice (2007)
Výsledek druhu D RIV/00216224:14330/07:00021694 - On the Crossing Number of Almost Planar Graphs (2007)
Výsledek druhu D RIV/00216224:14330/07:00021694 - On the Crossing Number of Almost Planar Graphs (2007)
Výsledek druhu J RIV/00216224:14330/07:00021694 - On the Crossing Number of Almost Planar Graphs (2007)
Výsledek druhu J RIV/00216224:14330/07:00021744 - On Symbolic Verification of Weakly Extended PAD (2007)
Výsledek druhu D RIV/00216224:14330/07:00021744 - On Symbolic Verification of Weakly Extended PAD (2007)
Výsledek druhu D RIV/00216224:14330/07:00021744 - On Symbolic Verification of Weakly Extended PAD (2007)
Výsledek druhu D RIV/00216224:14330/07:00021771 - Modeling and Solution of a Complex University Course Timetabling Problem (2007)
Výsledek druhu D RIV/00216224:14330/07:00021771 - Modeling and Solution of a Complex University Course Timetabling Problem (2007)
Výsledek druhu D RIV/00216224:14330/07:00021771 - Modeling and Solution of a Complex University Course Timetabling Problem (2007)
Výsledek druhu D RIV/00216224:14330/07:00021798 - Pseudo-real Image Sequence Generator for Optical Flow Computations (2007)
Výsledek druhu D RIV/00216224:14330/07:00021798 - Pseudo-real Image Sequence Generator for Optical Flow Computations (2007)
Výsledek druhu D RIV/00216224:14330/07:00021798 - Pseudo-real Image Sequence Generator for Optical Flow Computations (2007)
Výsledek druhu D RIV/00216224:14330/07:00021980 - On Generating Ground-truth Time-lapse Image Sequences and Flow Fields (2007)
Výsledek druhu D RIV/00216224:14330/07:00021980 - On Generating Ground-truth Time-lapse Image Sequences and Flow Fields (2007)
Výsledek druhu D RIV/00216224:14330/07:00021980 - On Generating Ground-truth Time-lapse Image Sequences and Flow Fields (2007)
Výsledek druhu D RIV/00216224:14330/07:00022109 - Virtualizace rozsáhlé výpočetní infrastruktury (2007)
Výsledek druhu D RIV/00216224:14330/07:00022109 - Virtualizace rozsáhlé výpočetní infrastruktury (2007)
Výsledek druhu D RIV/00216224:14330/07:00022191 - Towards Reliable Autofocusing in Automated Microscopy (2007)
Výsledek druhu D RIV/00216224:14330/07:00022191 - Towards Reliable Autofocusing in Automated Microscopy (2007)
Výsledek druhu D RIV/00216224:14330/07:00022191 - Towards Reliable Autofocusing in Automated Microscopy (2007)
Výsledek druhu D RIV/00216224:14330/07:00022195 - An Algorithm of State-Space Precomputation Allowing Non-linear Haptic Deformation Modelling Using Finite Element Method (2007)
Výsledek druhu D RIV/00216224:14330/07:00022195 - An Algorithm of State-Space Precomputation Allowing Non-linear Haptic Deformation Modelling Using Finite Element Method (2007)
Výsledek druhu D RIV/00216224:14330/07:00022195 - An Algorithm of State-Space Precomputation Allowing Non-linear Haptic Deformation Modelling Using Finite Element Method (2007)
Výsledek druhu D RIV/00216224:14330/07:00022470 - Finding branch-decomposition and rank-decomposition (Extended abstract) (2007)
Výsledek druhu D RIV/00216224:14330/07:00022470 - Finding branch-decomposition and rank-decomposition (Extended abstract) (2007)
Výsledek druhu D RIV/00216224:14330/07:00022491 - Virtualized Access to the Grid Computational Resources (2007)
Výsledek druhu D RIV/00216224:14330/07:00022491 - Virtualized Access to the Grid Computational Resources (2007)
Výsledek druhu B RIV/00216224:14330/07:00022529 - Practice and Theory of Automated Timetabling VI (2007)
Výsledek druhu B RIV/00216224:14330/07:00022529 - Practice and Theory of Automated Timetabling VI (2007)
Výsledek druhu M RIV/00216224:14330/07:00022529 - Practice and Theory of Automated Timetabling VI, Revised Selected Papers (2007)
Výsledek druhu J RIV/00216224:14330/07:00022681 - Effect of Videoconferencing Environments on Perception of Communication (2007)
Výsledek druhu J RIV/00216224:14330/07:00022681 - Effect of Videoconferencing Environments on Perception of Communication (2007)
Výsledek druhu D RIV/00216224:14330/07:00022769 - A Comparison of Fast Level Set-like Algorithms for Image Segmentation in Fluorescence Microscopy (2007)
Výsledek druhu D RIV/00216224:14330/07:00022769 - A Comparison of Fast Level Set-Like Algorithms for Image Segmentation in Fluorescence Microscopy (2007)
Výsledek druhu D RIV/00216224:14330/07:00022769 - A Comparison of Fast Level Set-Like Algorithms for Image Segmentation in Fluorescence Microscopy (2007)
Výsledek druhu D RIV/00216224:14330/07:00022788 - Magrathea -- Grid Management Using Virtual Machine (2007)
Výsledek druhu D RIV/00216224:14330/07:00022788 - Magrathea -- Grid Management Using Virtual Machine (2007)
Výsledek druhu D RIV/00216224:14330/07:00022788 - Magrathea -- Grid Management Using Virtual Machine (2007)
Výsledek druhu B RIV/00216224:14330/07:00022892 - Reactive Systems: Modelling, Specification and Verification (2007)
Výsledek druhu D RIV/00216224:14330/07:00022905 - Regularity in Model Checking PDA Games (2007)
Výsledek druhu D RIV/00216224:14330/07:00022905 - Regularity in Model Checking PDA Games (2007)
Výsledek druhu D RIV/00216224:14330/07:00022905 - Regularity in Model Checking PDA Games (2007)
Výsledek druhu D RIV/00216224:14330/07:00022945 - Stochastic Game Logic (2007)
Výsledek druhu D RIV/00216224:14330/07:00022945 - Stochastic Game Logic (2007)
Výsledek druhu D RIV/00216224:14330/07:00023038 - Scheduling Virtual Grids: the Magrathea System (2007)
Výsledek druhu D RIV/00216224:14330/07:00023729 - Optimizing light throughput in image cytometry (2007)
Výsledek druhu D RIV/00216224:14330/07:00023729 - Optimizing light throughput in image cytometry (2007)
Výsledek druhu D RIV/00216224:14330/07:00023729 - Optimizing light throughput in image cytometry (2007)
Výsledek druhu O RIV/00216224:14330/07:00023729 - Optimizing light throughput in image cytometry (2007)
Výsledek druhu R RIV/00216224:14330/07:00024472 - ProbDiVinE (2007)
Výsledek druhu R RIV/00216224:14330/07:00024472 - ProbDiVinE (2007)
Výsledek druhu O RIV/00216224:14330/07:00024593 - Bioinformatic and image analyses of cellular localization of apoptotic proteins endonuclease G, AIF, and AMID (2007)
Výsledek druhu O RIV/00216224:14330/07:00024593 - Bioinformatic and image analyses of cellular localization of apoptotic proteins endonuclease G, AIF, and AMID (2007)
Výsledek druhu O RIV/00216224:14330/07:00024593 - Bioinformatic and image analyses of cellular localization of apoptotic proteins endonuclease G, AIF, and AMID (2007)
Výsledek druhu W RIV/00216224:14330/07:00025150 - MEMICS 2007: Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (2007)
Výsledek druhu W RIV/00216224:14330/07:00025150 - MEMICS 2007: Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (2007)
Výsledek druhu J RIV/00216224:14330/07:00025608 - Secure and Pervasive Collaborative Platform for Medical Applications (2007)
Výsledek druhu J RIV/00216224:14330/07:00025608 - Secure and Pervasive Collaborative Platform for Medical Applications (2007)
Výsledek druhu J RIV/00216224:14330/07:00025608 - Secure and Pervasive Collaborative Platform for Medical Applications (2007)
Výsledek druhu D RIV/00216224:14330/07:00025654 - Videoconferencing Design for Remote Groups (2007)
Výsledek druhu D RIV/00216224:14330/07:00025654 - Videoconferencing Design for Remote Groups (2007)
Výsledek druhu D RIV/00216224:14330/07:00041393 - Automatic generation of circuits for approximate string matching (2007)
Výsledek druhu D RIV/00216224:14330/07:00041408 - Genomic PCR simulation with hardware-accelerated approximate sequence matching (2007)
Výsledek druhu O RIV/00216224:14330/07:00041521 - PATAT 2006 Conference (2007)
Výsledek druhu O RIV/00216224:14330/07:00041526 - Strengthened Integer Programming Formulation of Constraints Counting Matches of Patterns in Timetables (2007)
Výsledek druhu O RIV/00216224:14330/07:00041549 - Local Search for Grid Scheduling (2007)
Výsledek druhu O RIV/00216224:14330/07:00041602 - Dynamic Scheduling I. (2007)
Výsledek druhu O RIV/00216224:14330/07:00047829 - Branching-Time Model-Checking of Probabilistic Pushdown Automata (2007)
Výsledek druhu O RIV/00216224:14330/07:00047919 - 32nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2007) (2007)
Výsledek druhu O RIV/00216224:14330/07:00049559 - MEMICS 2007: Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (2007)
Výsledek druhu O RIV/00216224:14330/07:00049567 - Programmable quantum devices (Quantum programmable processors) (2007)
Výsledek druhu O RIV/00216224:14330/07:00049568 - Lecture on Quantum Estimation (2007)
Výsledek druhu O RIV/00216224:14330/07:00049569 - Quantum-based privacy (2007)
Výsledek druhu O RIV/00216224:14330/07:00049570 - Quantum Entanglement (2007)
Výsledek druhu O RIV/00216224:14330/07:00049571 - Short introduction to quantum entanglement (2007)
Výsledek druhu C RIV/00216224:14330/08:00024133 - Component-Interaction Automata Approach (CoIn) (2008)
Výsledek druhu C RIV/00216224:14330/08:00024133 - Component-Interaction Automata Approach (CoIn) (2008)
Výsledek druhu D RIV/00216224:14330/08:00024143 - Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE (2008)
Výsledek druhu D RIV/00216224:14330/08:00024143 - Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE (2008)
Výsledek druhu J RIV/00216224:14330/08:00024164 - Petri Nets Are Less Expressive Than State-Extended PA (2008)
Výsledek druhu J RIV/00216224:14330/08:00024164 - Petri Nets Are Less Expressive Than State-Extended PA (2008)
Výsledek druhu J RIV/00216224:14330/08:00024165 - Improved Distributed Algorithms for SCC Decomposition (2008)
Výsledek druhu J RIV/00216224:14330/08:00024165 - Improved Distributed Algorithms for SCC Decomposition (2008)
Výsledek druhu J RIV/00216224:14330/08:00024166 - Shared Hash Tables in Parallel Model Checking (2008)
Výsledek druhu J RIV/00216224:14330/08:00024166 - Shared Hash Tables in Parallel Model Checking (2008)
Výsledek druhu J RIV/00216224:14330/08:00024171 - A Case Study in Parallel Verification of Component-Based Systems (2008)
Výsledek druhu D RIV/00216224:14330/08:00024175 - From Simple Regulatory Motifs to Parallel Model Checking of Complex Transcriptional Networks (2008)
Výsledek druhu D RIV/00216224:14330/08:00024177 - Revisiting Resistance Speeds Up I/O Efficient LTL Model Checking (2008)
Výsledek druhu D RIV/00216224:14330/08:00024177 - Revisiting Resistance Speeds Up I/O Efficient LTL Model Checking (2008)
Výsledek druhu A RIV/00216224:14330/08:00024265 - Partial Order Reduction for State/Event LTL (2008)
Výsledek druhu D RIV/00216224:14330/08:00024282 - Semi-external LTL Model Checking (2008)
Výsledek druhu D RIV/00216224:14330/08:00024282 - Semi-external LTL Model Checking (2008)
Výsledek druhu D RIV/00216224:14330/08:00024294 - The CoIn Tool: Modelling and Verification of Interactions in Component-Based Systems (2008)
Výsledek druhu D RIV/00216224:14330/08:00024313 - Model Checking of Control-User Component-Based Parametrised Systems (2008)
Výsledek druhu D RIV/00216224:14330/08:00024313 - Model Checking of Control-User Component-Based Parametrised Systems (2008)
Výsledek druhu O RIV/00216224:14330/08:00024337 - Estimating State Space Parameters (2008)
Výsledek druhu O RIV/00216224:14330/08:00024337 - Estimating State Space Parameters (2008)
Výsledek druhu D RIV/00216224:14330/08:00024388 - A Case Study in Parallel Verification of Component-Based Systems (2008)
Výsledek druhu R RIV/00216224:14330/08:00024418 - ProbDiVinE-MC (2008)
Výsledek druhu R RIV/00216224:14330/08:00024418 - ProbDiVinE-MC (2008)
Výsledek druhu R RIV/00216224:14330/08:00024473 - DiVinE Cluster (2008)
Výsledek druhu R RIV/00216224:14330/08:00024473 - DiVinE Cluster (2008)
Výsledek druhu O RIV/00216224:14330/08:00024490 - Mathematical Knowledge Management in the DML-CZ project (2008)
Výsledek druhu O RIV/00216224:14330/08:00024490 - Mathematical Knowledge Management in the DML-CZ project (2008)
Výsledek druhu O RIV/00216224:14330/08:00024490 - Mathematical Knowledge Management in the DML-CZ project (invited talk 27.11.2008, Kyushu Univ.,JP) (2008)
Výsledek druhu O RIV/00216224:14330/08:00024491 - Mathematical Document Representation and Processing (2008)
Výsledek druhu O RIV/00216224:14330/08:00024491 - Mathematical Knowledge Management in the DML-CZ project (2008)
Výsledek druhu D RIV/00216224:14330/08:00024579 - Alea - Grid Scheduling Simulation Environment (2008)
Výsledek druhu D RIV/00216224:14330/08:00024579 - Alea - Grid Scheduling Simulation Environment (2008)
Výsledek druhu J RIV/00216224:14330/08:00024683 - Reachability in Recursive Markov Decision Processes (2008)
Výsledek druhu J RIV/00216224:14330/08:00024683 - Reachability in Recursive Markov Decision Processes (2008)
Výsledek druhu D RIV/00216224:14330/08:00024689 - Comparison of Multi-Criteria Scheduling Techniques (2008)
Výsledek druhu D RIV/00216224:14330/08:00024689 - Comparison of Multi-Criteria Scheduling Techniques (2008)
Výsledek druhu J RIV/00216224:14330/08:00024698 - The crossing number of a projective graph is quadratic in the face--width (2008)
Výsledek druhu J RIV/00216224:14330/08:00024698 - The crossing number of a projective graph is quadratic in the face--width (2008)
Výsledek druhu D RIV/00216224:14330/08:00024727 - Comparison of Multi-Criteria Scheduling Techniques (2008)
Výsledek druhu D RIV/00216224:14330/08:00024727 - Comparison of Multi-Criteria Scheduling Techniques (2008)
Výsledek druhu J RIV/00216224:14330/08:00024729 - ON THE POWER OF QUANTUM TAMPER-PROOF DEVICES (2008)
Výsledek druhu J RIV/00216224:14330/08:00024729 - ON THE POWER OF QUANTUM TAMPER-PROOF DEVICES (2008)
Výsledek druhu O RIV/00216224:14330/08:00024764 - Bioinformatic prediction, molecular modelling and image analysis of localization and interactions of apoptotic proteins endonuclease G, AIF, and AMID (2008)
Výsledek druhu O RIV/00216224:14330/08:00024764 - Bioinformatic prediction, molecular modelling and image analysis of localization and interactions of apoptotic proteins endonuclease G, AIF, and AMID (2008)
Výsledek druhu O RIV/00216224:14330/08:00024764 - Bioinformatic prediction, molecular modelling and image analysis of localization and interactions of apoptotic proteins endonuclease G, AIF, and AMID (2008)
Výsledek druhu J RIV/00216224:14330/08:00024782 - Unambiguous comparison of ensembles of quantum states (2008)
Výsledek druhu J RIV/00216224:14330/08:00024782 - Unambiguous comparison of ensembles of quantum states (2008)
Výsledek druhu J RIV/00216224:14330/08:00024783 - Discrimination of quantum observables using limited resources (2008)
Výsledek druhu J RIV/00216224:14330/08:00024783 - Discrimination of quantum observables using limited resources (2008)
Výsledek druhu O RIV/00216224:14330/08:00024784 - Discrimination of quantum observables (2008)
Výsledek druhu O RIV/00216224:14330/08:00024784 - Discrimination of quantum observables (2008)
Výsledek druhu D RIV/00216224:14330/08:00024825 - Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives (2008)
Výsledek druhu D RIV/00216224:14330/08:00024825 - Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives (2008)
Výsledek druhu J RIV/00216224:14330/08:00024848 - Semantics of quantum programming language LanQ (2008)
Výsledek druhu J RIV/00216224:14330/08:00024848 - Semantics of quantum programming language LanQ (2008)
Výsledek druhu J RIV/00216224:14330/08:00024875 - Finding branch-decomposition and rank-decomposition (2008)
Výsledek druhu J RIV/00216224:14330/08:00024875 - Finding branch-decomposition and rank-decomposition (2008)
Výsledek druhu D RIV/00216224:14330/08:00025042 - Noise and the Mermin-GHZ Game (2008)
Výsledek druhu D RIV/00216224:14330/08:00025042 - Noise and the Mermin-GHZ Game (2008)
Výsledek druhu D RIV/00216224:14330/08:00025042 - Noise and the Mermin-GHZ Game (2008)
Výsledek druhu J RIV/00216224:14330/08:00025109 - Separation between Classical and Quantum Winning Strategies for the Matching Game (2008)
Výsledek druhu J RIV/00216224:14330/08:00025109 - Separation between Classical and Quantum Winning Strategies for the Matching Game (2008)
Výsledek druhu O RIV/00216224:14330/08:00025122 - Fundamentals of quantum computing (2008)
Výsledek druhu O RIV/00216224:14330/08:00025122 - Fundamentals of quantum computing (2008)
Výsledek druhu O RIV/00216224:14330/08:00025124 - Challenges of quantum cryptography (2008)
Výsledek druhu O RIV/00216224:14330/08:00025124 - Challenges of quantum cryptography (2008)
Výsledek druhu M RIV/00216224:14330/08:00025125 - AQIS 2008 (8th Asian Conference on Quantum Information Science), Steering Committee Chair (2008)
Výsledek druhu M RIV/00216224:14330/08:00025125 - AQIS 2008 (8th Asian Conference on Quantum Information Science), Steering Committee Chair (2008)
Výsledek druhu W RIV/00216224:14330/08:00025126 - MEMICS 2008 (Mathematical and Engineering Methods in Computer Science), Programme Committee member (2008)
Výsledek druhu W RIV/00216224:14330/08:00025126 - MEMICS 2008 (Mathematical and Engineering Methods in Computer Science), Programme Committee member (2008)
Výsledek druhu W RIV/00216224:14330/08:00025127 - CEQIP 2008 (5th Central European Quantum Information Processing Workshop) (2008)
Výsledek druhu W RIV/00216224:14330/08:00025127 - CEQIP 2008 (5th Central European Quantum Information Processing Workshop) (2008)
Výsledek druhu O RIV/00216224:14330/08:00025130 - QUANTUM INFORMATION PRIMITIVES and QUANTUM COMPLEXITY THEORY (2008)
Výsledek druhu O RIV/00216224:14330/08:00025130 - QUANTUM INFORMATION PRIMITIVES and QUANTUM COMPLEXITY THEORY (2008)
Výsledek druhu O RIV/00216224:14330/08:00025138 - New directions in quantum cryptography (2008)
Výsledek druhu O RIV/00216224:14330/08:00025138 - New directions in quantum cryptography (2008)
Výsledek druhu O RIV/00216224:14330/08:00025139 - Globalizácia a veda v ére informatiky (2008)
Výsledek druhu O RIV/00216224:14330/08:00025139 - Globalizácia a veda v ére informatiky (2008)
Výsledek druhu O RIV/00216224:14330/08:00025140 - Multiple observations of quantum systems (2008)
Výsledek druhu O RIV/00216224:14330/08:00025140 - Multiple observations of quantum systems (2008)
Výsledek druhu O RIV/00216224:14330/08:00025141 - Quantum observation: Optimal estimation of quantum states and processes from incomplete measurements (2008)
Výsledek druhu O RIV/00216224:14330/08:00025141 - Quantum observation: Optimal estimation of quantum states and processes from incomplete measurements (2008)
Výsledek druhu J RIV/00216224:14330/08:00025142 - Guide to Mathematical Concepts of Quantum Theory (2008)
Výsledek druhu J RIV/00216224:14330/08:00025142 - Guide to Mathematical Concepts of Quantum Theory (2008)
Výsledek druhu J RIV/00216224:14330/08:00025143 - Repeatable quantum memory channels (2008)
Výsledek druhu J RIV/00216224:14330/08:00025143 - Repeatable quantum memory channels (2008)
Výsledek druhu J RIV/00216224:14330/08:00025144 - Incomplete quantum process tomography and principle of maximal entropy (2008)
Výsledek druhu J RIV/00216224:14330/08:00025144 - Incomplete quantum process tomography and principle of maximal entropy (2008)
Výsledek druhu J RIV/00216224:14330/08:00025145 - Process positive operator valued measure: A mathematical framework for the description of process tomography experiments (2008)
Výsledek druhu J RIV/00216224:14330/08:00025145 - Process positive operator valued measure: A mathematical framework for the description of process tomography experiments (2008)
Výsledek druhu C RIV/00216224:14330/08:00025146 - Optimal Approximation of Nonphysical Maps via Maximum Likelihood Estimation (2008)
Výsledek druhu C RIV/00216224:14330/08:00025146 - Optimal Approximation of Nonphysical Maps via Maximum Likelihood Estimation (2008)
Výsledek druhu J RIV/00216224:14330/08:00025148 - Quantum homogenization and state randomization in semi-quantal spin systems (2008)
Výsledek druhu J RIV/00216224:14330/08:00025148 - Quantum homogenization and state randomization in semi-quantal spin systems (2008)
Výsledek druhu O RIV/00216224:14330/08:00025176 - Accreditation Process of Academic Institutions in Slovakia (2008)
Výsledek druhu O RIV/00216224:14330/08:00025176 - Accreditation Process of Academic Institutions in Slovakia (2008)
Výsledek druhu R RIV/00216224:14330/08:00025193 - Alea - Grid Scheduling Simulation Environment (2008)
Výsledek druhu R RIV/00216224:14330/08:00025193 - Alea - Grid Scheduling Simulation Environment (2008)
Výsledek druhu D RIV/00216224:14330/08:00025638 - Penalising Patterns in Timetables: Novel Integer Programming Formulations (2008)
Výsledek druhu D RIV/00216224:14330/08:00025638 - Penalising Patterns in Timetables: Novel Integer Programming Formulations (2008)
Výsledek druhu J RIV/00216224:14330/08:00025760 - On the Controller Synthesis for Finite-State Markov Decision Processes (2008)
Výsledek druhu J RIV/00216224:14330/08:00025760 - On the Controller Synthesis for Finite-State Markov Decision Processes (2008)
Výsledek druhu J RIV/00216224:14330/08:00025864 - Deciding probabilistic bisimilarity over infinite-state probabilistic systems (2008)
Výsledek druhu J RIV/00216224:14330/08:00025864 - Deciding probabilistic bisimilarity over infinite-state probabilistic systems (2008)
Výsledek druhu O RIV/00216224:14330/08:00026068 - Image analysis of localization and translocation of apoptotic proteins in living cells (2008)
Výsledek druhu O RIV/00216224:14330/08:00026068 - Image analysis of localization and translocation of apoptotic proteins in living cells (2008)
Výsledek druhu O RIV/00216224:14330/08:00026068 - Image analysis of localization and translocation of apoptotic proteins in living cells (2008)
Výsledek druhu D RIV/00216224:14330/08:00026077 - Arbitrarily-Oriented Anisotropic 3D Gaussian Filtering Computed with 1D Convolutions without Interpolation (2008)
Výsledek druhu D RIV/00216224:14330/08:00026077 - Arbitrarily-Oriented Anisotropic 3D Gaussian Filtering Computed with 1D Convolutions without Interpolation (2008)
Výsledek druhu D RIV/00216224:14330/08:00026095 - CoUniverse: Framework for Building Self-organizing Collaborative Environments Using Extreme-Bandwidth Media Applications (2008)
Výsledek druhu D RIV/00216224:14330/08:00026095 - CoUniverse: Framework for Building Self-organizing Collaborative Environments Using Extreme-Bandwidth Media Applications (2008)
Výsledek druhu D RIV/00216224:14330/08:00026095 - CoUniverse: Framework for Building Self-organizing Collaborative Environments Using Extreme-Bandwidth Media Applications (2008)
Výsledek druhu D RIV/00216224:14330/08:00026096 - High Quality Large Scale Virtual Classroom (2008)
Výsledek druhu D RIV/00216224:14330/08:00026224 - The Satisfiability Problem for Probabilistic CTL (2008)
Výsledek druhu D RIV/00216224:14330/08:00026224 - The Satisfiability Problem for Probabilistic CTL (2008)
Výsledek druhu O RIV/00216224:14330/08:00026398 - Interactions of apoptotic proteins AIF and endonuclease G analyzed by bioinformatic predictions, molecular docking, and fluorescent microscopy (2008)
Výsledek druhu O RIV/00216224:14330/08:00026398 - Interactions of apoptotic proteins AIF and endonuclease G analyzed by bioinformatic predictions, molecular docking, and fluorescent microscopy (2008)
Výsledek druhu O RIV/00216224:14330/08:00026398 - Interactions of apoptotic proteins AIF and endonuclease G analyzed by bioinformatic predictions, molecular docking, and fluorescent microscopy (2008)
Výsledek druhu D RIV/00216224:14330/08:00026471 - Infinite Runs in Weighted Timed Automata with Energy Constraints (2008)
Výsledek druhu D RIV/00216224:14330/08:00026471 - Infinite Runs in Weighted Timed Automata with Energy Constraints (2008)
Výsledek druhu J RIV/00216224:14330/08:00026472 - Undecidability of Bisimilarity by Defender's Forcing (2008)
Výsledek druhu J RIV/00216224:14330/08:00026472 - Undecidability of Bisimilarity by Defender's Forcing (2008)
Výsledek druhu D RIV/00216224:14330/08:00026496 - Encapsulation of a Communication Reflector into a Virtual Machine (2008)
Výsledek druhu D RIV/00216224:14330/08:00026496 - Encapsulation of a Communication Reflector into a Virtual Machine (2008)
Výsledek druhu O RIV/00216224:14330/08:00026665 - New approaches to automated cell image acquisition and analysis using fluorescence microscopy (2008)
Výsledek druhu O RIV/00216224:14330/08:00026665 - New approaches to automated cell image acquisition and analysis using fluorescence microscopy (2008)
Výsledek druhu O RIV/00216224:14330/08:00026665 - New approaches to automated cell image acquisition and analysis using fluorescence microscopy (2008)
Výsledek druhu D RIV/00216224:14330/08:00026776 - Discounted Properties of Probabilistic Pushdown Automata (2008)
Výsledek druhu D RIV/00216224:14330/08:00026776 - Discounted Properties of Probabilistic Pushdown Automata (2008)
Výsledek druhu D RIV/00216224:14330/08:00026782 - Regularity in PDA Games Revisited (2008)
Výsledek druhu D RIV/00216224:14330/08:00026782 - Regularity in PDA Games Revisited (2008)
Výsledek druhu D RIV/00216224:14330/08:00026789 - An Adaptive Algorithm for Multimodal Focus Functions in Automated Fluorescence Microscopy (2008)
Výsledek druhu D RIV/00216224:14330/08:00027038 - Automata Approach to Graphs of Bounded Rank-width (2008)
Výsledek druhu D RIV/00216224:14330/08:00027038 - Automata Approach to Graphs of Bounded Rank-width (2008)
Výsledek druhu D RIV/00216224:14330/08:00027309 - Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets (2008)
Výsledek druhu O RIV/00216224:14330/08:00027309 - Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets (2008)
Výsledek druhu R RIV/00216224:14330/08:00027476 - CoUniverse (2008)
Výsledek druhu R RIV/00216224:14330/08:00027476 - CoUniverse (2008)
Výsledek druhu O RIV/00216224:14330/08:00028409 - On Algorithmic Analysis of Biological Networks (2008)
Výsledek druhu O RIV/00216224:14330/08:00029124 - MEMICS 2008, Fourth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (2008)
Výsledek druhu J RIV/00216224:14330/08:00029328 - Multipartitle EPR states (2008)
Výsledek druhu O RIV/00216224:14330/08:00041927 - A Branch-and-Cut Procedure for the Udine Course Timetabling Problem (2008)
Výsledek druhu O RIV/00216224:14330/08:00041928 - Dynamic Scheduling (2008)
Výsledek druhu O RIV/00216224:14330/08:00042057 - Improving QoS in Computational Grids through Schedule-based Approach (2008)
Výsledek druhu O RIV/00216224:14330/08:00042207 - AI Planning and Scheduling, 15-17 May (2008)
Výsledek druhu O RIV/00216224:14330/08:00044260 - 20 years of Negami's planar cover conjecture (2008)
Výsledek druhu D RIV/00216224:14330/09:00028439 - On Decidability of LTL+Past Model Checking for Process Rewrite Systems (2009)
Výsledek druhu D RIV/00216224:14330/09:00028468 - Partial Order Reduction for State/Event LTL (2009)
Výsledek druhu J RIV/00216224:14330/09:00028490 - Reachability is decidable for weakly extended process rewrite systems (2009)
Výsledek druhu D RIV/00216224:14330/09:00028497 - Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete (2009)
Výsledek druhu D RIV/00216224:14330/09:00028497 - Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete (2009)
Výsledek druhu M RIV/00216224:14330/09:00028509 - DML 2009 (2009)
Výsledek druhu M RIV/00216224:14330/09:00028509 - DML 2009 workshop (2009)
Výsledek druhu O RIV/00216224:14330/09:00028532 - DML 2009 Towards a Digital Mathematics Library (2009)
Výsledek druhu O RIV/00216224:14330/09:00028532 - Proceedings of DML 2009 Towards a Digital Mathematics Library (2009)
Výsledek druhu R RIV/00216224:14330/09:00028602 - BioDiVinE (2009)
Výsledek druhu D RIV/00216224:14330/09:00028612 - An Experience with Building Digital Open Access Repository DML-CZ (2009)
Výsledek druhu D RIV/00216224:14330/09:00028617 - Computational Analysis of Large-Scale Multi-Affine ODE Models (2009)
Výsledek druhu D RIV/00216224:14330/09:00028618 - BioDiVinE: A Framework for Parallel Analysis of Biological Models (2009)
Výsledek druhu D RIV/00216224:14330/09:00028658 - Can Flash Memory Help in Model Checking? (2009)
Výsledek druhu D RIV/00216224:14330/09:00028659 - DiVinE 2.0: High-Performance Model Checking (2009)
Výsledek druhu J RIV/00216224:14330/09:00028691 - DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking (2009)
Výsledek druhu D RIV/00216224:14330/09:00028692 - CUDA Accelerated LTL Model Checking (2009)
Výsledek druhu D RIV/00216224:14330/09:00028695 - A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties (2009)
Výsledek druhu D RIV/00216224:14330/09:00028696 - Cluster-Based I/O-Efficient LTL Model Checking (2009)
Výsledek druhu J RIV/00216224:14330/09:00028732 - Digitisation Workflow in the Czech Digital Mathematics Library (2009)
Výsledek druhu D RIV/00216224:14330/09:00028733 - DML 2009 Towards a Digital Mathematics Library Grand Bend, Ontario, Canada July 8-9th, 2009 Proceedings Preface (2009)
Výsledek druhu R RIV/00216224:14330/09:00028808 - DiVinE Cuda (2009)
Výsledek druhu D RIV/00216224:14330/09:00028809 - Space Effective Model Checking for Component-Interaction Automata (2009)
Výsledek druhu R RIV/00216224:14330/09:00028810 - DiVinE 2.0 (2009)
Výsledek druhu R RIV/00216224:14330/09:00028846 - CoIn Tool Set (2009)
Výsledek druhu J RIV/00216224:14330/09:00029078 - On Decidability of LTL Model Checking for Process Rewrite Systems (2009)
Výsledek druhu D RIV/00216224:14330/09:00029117 - Approximating the Crossing Number of Apex Graphs (poster) (2009)
Výsledek druhu D RIV/00216224:14330/09:00029117 - Approximating the Crossing Number of Apex Graphs (poster) (2009)
Výsledek druhu J RIV/00216224:14330/09:00029126 - Prediction of localization and interactions of apoptotic proteins (2009)
Výsledek druhu J RIV/00216224:14330/09:00029126 - Prediction of localization and interactions of apoptotic proteins (2009)
Výsledek druhu C RIV/00216224:14330/09:00029142 - Quantum computing (2009)
Výsledek druhu C RIV/00216224:14330/09:00029142 - Quantum computing (2009)
Výsledek druhu J RIV/00216224:14330/09:00029225 - On Algorithmic Analysis of Transcriptional Regulation by LTL Model Checking (2009)
Výsledek druhu J RIV/00216224:14330/09:00029225 - On Algorithmic Analysis of Transcriptional Regulation by LTL Model Checking (2009)
Výsledek druhu O RIV/00216224:14330/09:00029288 - Interactive Course Timetabling (2009)
Výsledek druhu J RIV/00216224:14330/09:00029297 - From classical cryptography to quantum physics through quantum cryptography (2009)
Výsledek druhu J RIV/00216224:14330/09:00029298 - Unambiguous comparison of unitary channels (2009)
Výsledek druhu J RIV/00216224:14330/09:00029298 - Unambiguous comparison of unitary channels (2009)
Výsledek druhu J RIV/00216224:14330/09:00029307 - On Determinism in Modal Transition Systems (2009)
Výsledek druhu J RIV/00216224:14330/09:00029310 - Nonmalleable encryption of quantum information (2009)
Výsledek druhu J RIV/00216224:14330/09:00029311 - Random unitary qubit channels: entropy relations,private quantum channels and non-malleability (2009)
Výsledek druhu D RIV/00216224:14330/09:00029324 - Efficient Large-Scale Model Checking (2009)
Výsledek druhu J RIV/00216224:14330/09:00029329 - Quantum searches on highly symmetric graphs (2009)
Výsledek druhu J RIV/00216224:14330/09:00029341 - PROPOSAL OF A SEMIFORMAL MODEL OF ANONYMOUS COMMUNICATION (2009)
Výsledek druhu J RIV/00216224:14330/09:00029511 - Noise and the Mermin-GHZ Game (2009)
Výsledek druhu J RIV/00216224:14330/09:00029511 - Noise and the Mermin-GHZ Game (2009)
Výsledek druhu D RIV/00216224:14330/09:00029614 - Cryptographic Applications of Pseudo-Telepathy Games (2009)
Výsledek druhu D RIV/00216224:14330/09:00029617 - Better Polynomial Algorithms on Graphs of Bounded Rank-width. (2009)
Výsledek druhu D RIV/00216224:14330/09:00029617 - Better Polynomial Algorithms on Graphs of Bounded Rank-width. (2009)
Výsledek druhu D RIV/00216224:14330/09:00029627 - Towards True Random Number Generation in Mobile Environments (2009)
Výsledek druhu D RIV/00216224:14330/09:00029631 - Almost Linear Büchi Automata (2009)
Výsledek druhu J RIV/00216224:14330/09:00029685 - Parallel Algorithms for Mean-Payoff Games: An Experimental Evaluation (2009)
Výsledek druhu D RIV/00216224:14330/09:00029685 - Parallel Algorithms for Mean-Payoff Games: An Experimental Evaluation (2009)
Výsledek druhu D RIV/00216224:14330/09:00029686 - Faster Algorithm for Mean-Payoff Games (2009)
Výsledek druhu J RIV/00216224:14330/09:00029692 - Coexistence of quantum operations (2009)
Výsledek druhu J RIV/00216224:14330/09:00029693 - Quantum Machines (2009)
Výsledek druhu J RIV/00216224:14330/09:00029694 - Unambiguous identification of coherent states II: Multiple resources (2009)
Výsledek druhu J RIV/00216224:14330/09:00029695 - Unambiguous comparison of quantum measurements (2009)
Výsledek druhu J RIV/00216224:14330/09:00029696 - Quantum Finite-Depth Memory Channels: Case Study (2009)
Výsledek druhu O RIV/00216224:14330/09:00029697 - Unambiguous identification of coherent states (2009)
Výsledek druhu O RIV/00216224:14330/09:00029697 - Unambiguous identification of coherent states (2009)
Výsledek druhu O RIV/00216224:14330/09:00029698 - Process POVM (2009)
Výsledek druhu O RIV/00216224:14330/09:00029698 - Process POVM (2009)
Výsledek druhu O RIV/00216224:14330/09:00029712 - From quantum informatics towards a new perception of informatics (2009)
Výsledek druhu O RIV/00216224:14330/09:00029712 - From quantum informatics towards a new perception of informatics (2009)
Výsledek druhu O RIV/00216224:14330/09:00029713 - Informatic and physics as two windows to explore the world (2009)
Výsledek druhu O RIV/00216224:14330/09:00029713 - Informatic and physics as two windows to explore the world (2009)
Výsledek druhu D RIV/00216224:14330/09:00029749 - On Digraph Width Measures in Parameterized Algorithmics (2009)
Výsledek druhu D RIV/00216224:14330/09:00029949 - Faster Algorithm for Mean-Payoff Games (2009)
Výsledek druhu R RIV/00216224:14330/09:00029958 - Alea 2 - job scheduling simulator (2009)
Výsledek druhu R RIV/00216224:14330/09:00029958 - Alea 2 - job scheduling simulator (2009)
Výsledek druhu W RIV/00216224:14330/09:00029960 - CEQIP 2009 (2009)
Výsledek druhu R RIV/00216224:14330/09:00029962 - BIOMS: Biological Models Specification Tool (2009)
Výsledek druhu D RIV/00216224:14330/09:00034150 - A Fast Level Set-Like Algorithm with Topology Preserving Constraint (2009)
Výsledek druhu D RIV/00216224:14330/09:00034252 - Qualitative Reachability in Stochastic BPA Games (2009)
Výsledek druhu D RIV/00216224:14330/09:00034294 - Segmentation of Touching Cell Nuclei using a Two-Stage Graph Cut Model (2009)
Výsledek druhu D RIV/00216224:14330/09:00034316 - A Two-Phase Segmentation of Cell Nuclei Using Fast Level Set-Like Algorithms (2009)
Výsledek druhu D RIV/00216224:14330/09:00035044 - jSon: Network of Active Elements with Peer-to-Peer Control Plane (2009)
Výsledek druhu O RIV/00216224:14330/09:00035046 - Obraz jako Brno (2009)
Výsledek druhu C RIV/00216224:14330/09:00035527 - Data-mining protein structure by clustering, segmentation and evolutionary algorithms (2009)
Výsledek druhu J RIV/00216224:14330/09:00035554 - Information Content Analysis in Automated Microscopy Imaging using an Adaptive Autofocus Algorithm for Multimodal Functions (2009)
Výsledek druhu O RIV/00216224:14330/09:00036811 - Prediction of localization and interactions of proteins involved in caspase-independent apoptosis (2009)
Výsledek druhu O RIV/00216224:14330/09:00036811 - Prediction of localization and interactions of proteins involved in caspase-independent apoptosis (2009)
Výsledek druhu O RIV/00216224:14330/09:00036856 - Automated spinning disk confocal microscopy in 3D live cell imaging (2009)
Výsledek druhu O RIV/00216224:14330/09:00036856 - Automated spinning disk confocal microscopy in 3D live cell imaging (2009)
Výsledek druhu O RIV/00216224:14330/09:00037219 - Free tools for automated cell image acquisition and analysis (2009)
Výsledek druhu O RIV/00216224:14330/09:00037415 - Prediction of localization and interactions of apoptotic proteins (2009)
Výsledek druhu O RIV/00216224:14330/09:00037415 - Prediction of localization and interactions of apoptotic proteins (2009)
Výsledek druhu D RIV/00216224:14330/09:00037432 - GPU-Based DWT Acceleration for JPEG2000 (2009)
Výsledek druhu R RIV/00216224:14330/09:00037778 - gpudwt (2009)
Výsledek druhu D RIV/00216224:14330/09:00038050 - TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets (2009)
Výsledek druhu D RIV/00216224:14330/09:00038050 - TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets (2009)
Výsledek druhu D RIV/00216224:14330/09:00038052 - Teaching Concurrency: Theory in Practice (2009)
Výsledek druhu D RIV/00216224:14330/09:00038052 - Teaching Concurrency: Theory in Practice (2009)
Výsledek druhu D RIV/00216224:14330/09:00038704 - Continuous-Time Stochastic Games with Time-Bounded Reachability (2009)
Výsledek druhu D RIV/00216224:14330/09:00042205 - CoUniverse: Framework for Building Self-Organizing Collaborative Environments Using Extreme-Bandwidth Media Applications (2009)
Výsledek druhu O RIV/00216224:14330/09:00042249 - SOFSEM 2009: Theory and Practice of Computer Science: 35th Conference on Current Trends in Theory and Practice of Computer Science : Špindlerův Mlýn, Czech Republic, January 2009, Proceedings (2009)
Výsledek druhu O RIV/00216224:14330/09:00042658 - GPU Acceleration of Equations Assembly in Finite Elements Method -- Preliminary Results (2009)
Výsledek druhu O RIV/00216224:14330/09:00042694 - Autofocusing software issues in automated fluorescence microscopy (2009)
Výsledek druhu O RIV/00216224:14330/09:00042695 - Automated search for information content in fluorescence microscopy images using modified autofocusing approach (2009)
Výsledek druhu O RIV/00216224:14330/09:00042870 - Complex Real-life Data Sets in Grid Simulations (2009)
Výsledek druhu O RIV/00216224:14330/09:00043151 - MEMICS 2009, Fifth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, selected papers (2009)
Výsledek druhu J RIV/00216224:14330/09:00043829 - Branching-Time Model-Checking of Probabilistic Pushdown Automata (2009)
Výsledek druhu J RIV/00216224:14330/09:00043830 - Regularity in PDA Games Revisited (2009)
Výsledek druhu J RIV/00216224:14330/09:00045615 - Bound on trace distance based on super-fidelity (2009)
Výsledek druhu O RIV/00216224:14330/09:00045888 - Towards a new perception of Informatics (Německo) (2009)
Výsledek druhu O RIV/00216224:14330/09:00045889 - From classical cryptography to quantum physics through quantum cryptography (2009)
Výsledek druhu O RIV/00216224:14330/09:00045890 - Classical and quantum complexity theory (2009)
Výsledek druhu O RIV/00216224:14330/09:00045921 - Recent developments in quantum cryptography (2009)
Výsledek druhu O RIV/00216224:14330/09:00045922 - Quantum complexity theory (2009)
Výsledek druhu O RIV/00216224:14330/09:00045923 - Towards a new perception of informatics (Čína) (2009)
Výsledek druhu O RIV/00216224:14330/09:00045985 - Towards a new perception of informatics (Itálie) (2009)
Výsledek druhu O RIV/00216224:14330/09:00047049 - External Memory LTL Model Checking (2009)
Výsledek druhu O RIV/00216224:14330/09:00047618 - SOFSEM 2009: Theory and Practice of Computer Science (2009)
Výsledek druhu D RIV/00216224:14330/09:00065770 - Partial Order Reduction for State/Event LTL (2009)
Výsledek druhu D RIV/00216224:14330/09:00065771 - Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete (2009)
Výsledek druhu D RIV/00216224:14330/09:00065776 - Can Flash Memory Help in Model Checking? (2009)
Výsledek druhu D RIV/00216224:14330/09:00065777 - A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties (2009)
Výsledek druhu D RIV/00216224:14330/09:00065851 - Approximating the Crossing Number of Apex Graphs (2009)
Výsledek druhu J RIV/00216224:14330/09:00065858 - PROPOSAL OF A SEMIFORMAL MODEL OF ANONYMOUS COMMUNICATION (2009)
Výsledek druhu D RIV/00216224:14330/09:00065861 - Better Polynomial Algorithms on Graphs of Bounded Rank-width. (2009)
Výsledek druhu D RIV/00216224:14330/09:00065862 - Towards True Random Number Generation in Mobile Environments (2009)
Výsledek druhu D RIV/00216224:14330/09:00065865 - Parallel Algorithms for Mean-Payoff Games: An Experimental Evaluation (2009)
Výsledek druhu D RIV/00216224:14330/09:00065869 - On Digraph Width Measures in Parameterized Algorithmics (2009)
Výsledek druhu D RIV/00216224:14330/09:00067104 - A Fast Level Set-Like Algorithm with Topology Preserving Constraint (2009)
Výsledek druhu D RIV/00216224:14330/09:00067107 - Segmentation of Touching Cell Nuclei using a Two-Stage Graph Cut Model (2009)
Výsledek druhu D RIV/00216224:14330/09:00067108 - A Two-Phase Segmentation of Cell Nuclei Using Fast Level Set-Like Algorithms (2009)
Výsledek druhu D RIV/00216224:14330/09:00067124 - Data-mining protein structure by clustering, segmentation and evolutionary algorithms (2009)
Výsledek druhu D RIV/00216224:14330/09:00067164 - TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets (2009)
Výsledek druhu D RIV/00216224:14330/09:00067165 - Teaching Concurrency: Theory in Practice (2009)
Výsledek druhu J RIV/00216224:14330/10:00040530 - Scalable shared memory LTL model checking (2010)
Výsledek druhu J RIV/00216224:14330/10:00042430 - Decomposition, reformulation, and diving in university course timetabling (2010)
Výsledek druhu D RIV/00216224:14330/10:00042889 - Quantification of Fluorescent Spots in Time Series of 3D Confocal Microscopy Images of Endoplasmic Reticulum Exit Sites Based on the HMAX Transform (2010)
Výsledek druhu D RIV/00216224:14330/10:00042890 - Filtering with Anisotropic 3D~Gabor Filter Bank Efficiently Computed with 1D~Convolutions without Interpolation (2010)
Výsledek druhu D RIV/00216224:14330/10:00043102 - Approximating the Crossing Number of Graphs Embeddable in Any Orientable Surface (2010)
Výsledek druhu D RIV/00216224:14330/10:00043276 - Graph Cuts and Approximation of the Euclidean Metric on Anisotropic Grids (2010)
Výsledek druhu D RIV/00216224:14330/10:00043330 - State dependence in performance evaluation of component-based software systems (2010)
Výsledek druhu O RIV/00216224:14330/10:00043375 - Automated spinning disk confocal microscopy in 3D live cell imaging (2009)
Výsledek druhu J RIV/00216224:14330/10:00043408 - Equivalent programmable quantum processors (2010)
Výsledek druhu J RIV/00216224:14330/10:00043450 - Single-shot discrimination of quantum unitary processes (2010)
Výsledek druhu J RIV/00216224:14330/10:00043472 - On parse trees and Myhill-Nerode-type tools for handling graphs of bounded rank-width (2010)
Výsledek druhu D RIV/00216224:14330/10:00043501 - One-Counter Markov Decision Processes (2010)
Výsledek druhu D RIV/00216224:14330/10:00043646 - Decidable Race Condition and Open Coregions in HMSC (2010)
Výsledek druhu J RIV/00216224:14330/10:00043680 - A supernodal formulation of vertex colouring with applications in course timetabling (2010)
Výsledek druhu C RIV/00216224:14330/10:00043752 - Haptic Interaction with Complex Models Based on Precomputations (2010)
Výsledek druhu J RIV/00216224:14330/10:00043753 - Real-time visio-haptic interaction with static soft tissue models having geometric and material nonlinearity (2010)
Výsledek druhu J RIV/00216224:14330/10:00043826 - High-performance analysis of biological systems dynamics with the DiVinE model checker (2010)
Výsledek druhu D RIV/00216224:14330/10:00043909 - Alea 2 - Job Scheduling Simulator (2010)
Výsledek druhu O RIV/00216224:14330/10:00043910 - The importance of complete data sets for job scheduling simulations (2010)
Výsledek druhu O RIV/00216224:14330/10:00043915 - System Demonstration of Interactive Course Timetabling (2010)
Výsledek druhu O RIV/00216224:14330/10:00043916 - Rozvrhování předmetů pro univerzitu (2010)
Výsledek druhu J RIV/00216224:14330/10:00043945 - On the Complexity of Checking Semantic Equivalences between Pushdown Processes and Finite-state Processes (2010)
Výsledek druhu C RIV/00216224:14330/10:00043952 - Effective Analysis of Infinite State Stochastic Processes and Games (2010)
Výsledek druhu D RIV/00216224:14330/10:00043982 - The importance of complete data sets for job scheduling simulations (2010)
Výsledek druhu D RIV/00216224:14330/10:00044015 - Analýza obtížnosti logických úloh na základě modelů lidského chování (2010)
Výsledek druhu O RIV/00216224:14330/10:00044035 - From autofocusing to automatic 3D information content analysis (2010)
Výsledek druhu O RIV/00216224:14330/10:00044036 - Information content analysis in automated microscopy imaging using modified autofocusing approach (2010)
Výsledek druhu O RIV/00216224:14330/10:00044037 - Panel Member (2010)
Výsledek druhu R RIV/00216224:14330/10:00044043 - Parallel Real-time Deformation Simulator (2010)
Výsledek druhu D RIV/00216224:14330/10:00044046 - Improving Accuracy of Optical Flow of Heeger's Original Method on Biomedical Images (2010)
Výsledek druhu O RIV/00216224:14330/10:00044047 - Quantification of Fluorescent Spots in Time Series of 3-D Confocal Microscopy Images Based on the HMAX Transform (2010)
Výsledek druhu O RIV/00216224:14330/10:00044095 - Centre for Biomedical Image Analysis (2010)
Výsledek druhu J RIV/00216224:14330/10:00044105 - Unitary Noise and the Mermin-GHZ Game (2010)
Výsledek druhu M RIV/00216224:14330/10:00044261 - Česko-Slovenská Konference GRAFY 2010 (2010)
Výsledek druhu D RIV/00216224:14330/10:00044298 - Difficulty Rating of Sokoban Puzzle (2010)
Výsledek druhu D RIV/00216224:14330/10:00044329 - Reachability Games on Extended Vector Addition Systems with States (2010)
Výsledek druhu D RIV/00216224:14330/10:00044359 - A Fast Level Set-Like Algorithm for Region-Based Active Contours (2010)
Výsledek druhu M RIV/00216224:14330/10:00044391 - DML 2010 workshop (2010)
Výsledek druhu D RIV/00216224:14330/10:00044415 - Image Division Technique in Automated Fluorescence Microscopy with Complex Content (2010)
Výsledek druhu D RIV/00216224:14330/10:00044430 - Parameterized Reliability Prediction for Component-Based Software Architectures (2010)
Výsledek druhu D RIV/00216224:14330/10:00044431 - Architecture-Driven Reliability and Energy Optimization for Complex Embedded Systems (2010)
Výsledek druhu O RIV/00216224:14330/10:00044594 - Mathematical Foundations of Computer Science 2010 (2010)
Výsledek druhu O RIV/00216224:14330/10:00044595 - Reachability Problems (2010)
Výsledek druhu M RIV/00216224:14330/10:00044596 - 35th International Symposium on Mathematical Foundations of Computer Science (MFCS 2010) (2010)
Výsledek druhu W RIV/00216224:14330/10:00044597 - 4th International Workshop on Reachability Problems (2010)
Výsledek druhu D RIV/00216224:14330/10:00044604 - Z-reachability Problem for Games on 2-dimensional Vector Addition Systems with States is in P (2010)
Výsledek druhu D RIV/00216224:14330/10:00044605 - Using Strategy Improvement to Stay Alive (2010)
Výsledek druhu J RIV/00216224:14330/10:00044622 - The role of chromatin condensation during granulopoiesis in the regulation of gene cluster expression (2010)
Výsledek druhu D RIV/00216224:14330/10:00044676 - Stochastic Real-Time Games with Qualitative Timed Automata Objectives (2010)
Výsledek druhu O RIV/00216224:14330/10:00044700 - Alteration in mitochondrial superoxide production by shRNA gene silencing of AIF in various cell lines (2010)
Výsledek druhu D RIV/00216224:14330/10:00044731 - Simultaneous Tracking of Multiple Objects Using Fast Level Set-Like Algorithm (2010)
Výsledek druhu D RIV/00216224:14330/10:00044732 - A Simple Topology Preserving Max-Flow Algorithm for Graph Cut Based Image Segmentation (2010)
Výsledek druhu D RIV/00216224:14330/10:00044742 - One-Counter Stochastic Games (2010)
Výsledek druhu O RIV/00216224:14330/10:00044817 - Handling Inaccurate Runtime Estimates by Event-based Optimization (2010)
Výsledek druhu D RIV/00216224:14330/10:00044854 - Clustering of Protein Substructures for Discovery of a Novel Class of Sequence-Structure Fragments (2010)
Výsledek druhu O RIV/00216224:14330/10:00045022 - Využití laseru ve světelné mikroskopii při studiu prostorového uspořádání a dynamiky buněčných struktur (2010)
Výsledek druhu D RIV/00216224:14330/10:00045030 - Efficient Computation of Morphological Greyscale Reconstruction (2010)
Výsledek druhu O RIV/00216224:14330/10:00045161 - Unitary Noise and the Mermin-GHZ Game (2010)
Výsledek druhu O RIV/00216224:14330/10:00045184 - Almost Linear Büchi Automata (2010)
Výsledek druhu D RIV/00216224:14330/10:00045212 - Integer Programming for Media Streams Planning Problem (2010)
Výsledek druhu O RIV/00216224:14330/10:00045213 - MEMICS 2010: Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (2010)
Výsledek druhu D RIV/00216224:14330/10:00045214 - Haptic Rendering Based on RBF Approximation from Dynamically Updated Data (2010)
Výsledek druhu D RIV/00216224:14330/10:00045215 - New Results on the Complexity of the Max- and Min-Rep Problems (2010)
Výsledek druhu D RIV/00216224:14330/10:00045216 - Are there any good digraph width measures? (2010)
Výsledek druhu D RIV/00216224:14330/10:00045217 - Better algorithms for satisfiability problems for formulas of bounded rank-width (2010)
Výsledek druhu D RIV/00216224:14330/10:00045256 - A Symbolic Approach to Controlling Piecewise Affine Systems (2010)
Výsledek druhu D RIV/00216224:14330/10:00045258 - Formal Analysis of Piecewise Affine Systems through Formula-Guided Refinement (2010)
Výsledek druhu D RIV/00216224:14330/10:00045259 - Process Algebra for Modal Transition Systemses (2010)
Výsledek druhu O RIV/00216224:14330/10:00045269 - The Use of Incremental Schedule-based Approach for Efficient Job Scheduling (2010)
Výsledek druhu O RIV/00216224:14330/10:00045275 - Comparison of CP and IP Techniques for Data Transfer Planning (2010)
Výsledek druhu O RIV/00216224:14330/10:00045338 - Alteration in mitochondrial superoxide production by shRNA gene silencing of AIF in various cell line (2010)
Výsledek druhu O RIV/00216224:14330/10:00045345 - Information Content Analysis in Automated Fluorescence Microscopy (2010)
Výsledek druhu J RIV/00216224:14330/10:00045366 - Stars and Bonds in Crossing-Critical Graphs (2010)
Výsledek druhu D RIV/00216224:14330/10:00045419 - Parameter Scanning by Parallel Model Checking with Applications in Systems Biology (2010)
Výsledek druhu D RIV/00216224:14330/10:00045628 - An Experiment with Using Google Tools for Project Supervision at Tertiary Education (2010)
Výsledek druhu O RIV/00216224:14330/10:00045635 - From Quantum Informatics to a New Perception of Informatics (2010)
Výsledek druhu J RIV/00216224:14330/10:00045669 - Finding structural anomalies in graphs by means of quantum walks (2010)
Výsledek druhu J RIV/00216224:14330/10:00045670 - Efficient compression of unknown quantum information (2010)
Výsledek druhu J RIV/00216224:14330/10:00045671 - Searching via walking: How to find a marked clique of a complete graph using quantum walks (2010)
Výsledek druhu J RIV/00216224:14330/10:00045699 - Recycling of qubits (2010)
Výsledek druhu O RIV/00216224:14330/10:00045734 - Významnou asijskou konferenci vede profesor z České republiky (2010)
Výsledek druhu J RIV/00216224:14330/10:00045746 - Approximating incompatible von Neumann measurements simultaneously (2010)
Výsledek druhu J RIV/00216224:14330/10:00045753 - Entanglement-annihilating and entanglement-breaking channels (2010)
Výsledek druhu J RIV/00216224:14330/10:00045786 - FastGrid -- The Accelerated AutoGrid Potential Maps Generation for Molecular Docking (2010)
Výsledek druhu O RIV/00216224:14330/10:00045895 - LTL to Büchi Automata: Improved Once Again (2010)
Výsledek druhu D RIV/00216224:14330/10:00045912 - Parallel Partial Order Reduction with Topological Sort Proviso (2010)
Výsledek druhu O RIV/00216224:14330/10:00046039 - Quantum Informatics - a Revolution in Making (2010)
Výsledek druhu O RIV/00216224:14330/10:00046050 - Quantum automata, algorithms and complexity (2010)
Výsledek druhu O RIV/00216224:14330/10:00046116 - Physics and informatics as two roads to understand the world (2010)
Výsledek druhu O RIV/00216224:14330/10:00046157 - Quantum cryptography (2010)
Výsledek druhu O RIV/00216224:14330/10:00046233 - Informatics approaches to quantum information processing (2010)
Výsledek druhu O RIV/00216224:14330/10:00046459 - A new perception of informatics (2010)
Výsledek druhu O RIV/00216224:14330/10:00046499 - Formal Verification of Component-based Architectures - Motivation, Methods & Challenges (2010)
Výsledek druhu R RIV/00216224:14330/10:00047901 - E-photosynthesis: web software for modeling and analysis of biological processes behind photosynthesis (2010)
Výsledek druhu R RIV/00216224:14330/10:00047902 - MWC-DiVinE (2010)
Výsledek druhu R RIV/00216224:14330/10:00047904 - DiVinE 2.4 (2010)
Výsledek druhu D RIV/00216224:14330/10:00049648 - Employing Multiple CUDA Devices to Accelerate LTL Model Checking (2010)
Výsledek druhu J RIV/00216224:14330/10:00049900 - 20 years of Negami's planar cover conjecture (2010)
Výsledek druhu C RIV/00216224:14330/10:00051381 - Virtual Multicast (2010)
Výsledek druhu O RIV/00216224:14330/10:00051418 - Experiments with Job Scheduling in MetaCentrum (2010)
Výsledek druhu O RIV/00216224:14330/10:00051510 - Special issue on applications and methodologies for planning and scheduling: editorial (2010)
Výsledek druhu J RIV/00216224:14330/10:00056739 - AIFM2 (apoptosis-inducing factor, mitochondrion-associated, 2) (2010)
Výsledek druhu D RIV/00216224:14330/10:00057180 - GPU-Based Sample-Parallel Context Modeling for EBCOT in JPEG2000 (2010)
Výsledek druhu J RIV/00216224:14330/10:00065778 - Scalable shared memory LTL model checking (2010)
Výsledek druhu D RIV/00216224:14330/10:00065875 - Reachability Games on Extended Vector Addition Systems with States (2010)
Výsledek druhu D RIV/00216224:14330/10:00065878 - Z-reachability Problem for Games on 2-dimensional Vector Addition Systems with States is in P (2010)
Výsledek druhu D RIV/00216224:14330/10:00065879 - Stochastic Real-Time Games with Qualitative Timed Automata Objectives (2010)
Výsledek druhu D RIV/00216224:14330/10:00065886 - Are there any good digraph width measures? (2010)
Výsledek druhu D RIV/00216224:14330/10:00067169 - Graph Cuts and Approximation of the Euclidean Metric on Anisotropic Grids (2010)
Výsledek druhu D RIV/00216224:14330/10:00067181 - The importance of complete data sets for job scheduling simulations (2010)
Výsledek druhu D RIV/00216224:14330/10:00067184 - Improving Accuracy of Optical Flow of Heeger's Original Method on Biomedical Images (2010)
Výsledek druhu D RIV/00216224:14330/10:00067193 - A Fast Level Set-Like Algorithm for Region-Based Active Contours (2010)
Výsledek druhu D RIV/00216224:14330/10:00067194 - Image Division Technique in Automated Fluorescence Microscopy with Complex Content (2010)
Výsledek druhu D RIV/00216224:14330/10:00067197 - Parameterized Reliability Prediction for Component-Based Software Architectures (2010)
Výsledek druhu D RIV/00216224:14330/10:00067198 - Architecture-Driven Reliability and Energy Optimization for Complex Embedded Systems (2010)
Výsledek druhu D RIV/00216224:14330/10:00067213 - Clustering of Protein Substructures for Discovery of a Novel Class of Sequence-Structure Fragments (2010)
Výsledek druhu J RIV/00216224:14330/10:00067250 - Isolation of granulocytes: Which transcriptome do we analyze neutrophils or eosinophils? (2010)
Výsledek druhu J RIV/00216224:14330/11:00049402 - Flash memory efficient LTL model checking (2011)
Výsledek druhu J RIV/00216224:14330/11:00049494 - Distributed Algorithms for SCC Decomposition (2011)
Výsledek druhu J RIV/00216224:14330/11:00049598 - Efficient Grid Scheduling through the Incremental Schedule-based Approach (2011)
Výsledek druhu J RIV/00216224:14330/11:00049617 - Complex university course timetabling (2011)
Výsledek druhu J RIV/00216224:14330/11:00049649 - Partial Order Reduction for State/Event LTL with Application to Component-Interaction Automata (2011)
Výsledek druhu J RIV/00216224:14330/11:00049652 - E-photosynthesis: Web-based platform for modeling of complex photosynthetic processes (2011)
Výsledek druhu J RIV/00216224:14330/11:00049663 - Distributed Construction of Configuration Spaces for Real-Time Haptic Deformation Modeling (2011)
Výsledek druhu D RIV/00216224:14330/11:00049671 - Efficient JPEG2000 EBCOT Context Modeling for Massively Parallel Architectures (2011)
Výsledek druhu D RIV/00216224:14330/11:00049676 - Thread graphs, linear rank-width and their algorithmic applications (2011)
Výsledek druhu D RIV/00216224:14330/11:00049681 - Computing Strongly Connected Components in Parallel on CUDA (2011)
Výsledek druhu D RIV/00216224:14330/11:00049746 - GPU-Based Sample-Parallel Context Modeling for EBCOT in JPEG2000 (2011)
Výsledek druhu O RIV/00216224:14330/11:00049760 - Event-based Optimization of Schedules for Grid Jobs (2011)
Výsledek druhu D RIV/00216224:14330/11:00049786 - Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata (2011)
Výsledek druhu J RIV/00216224:14330/11:00049903 - Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation (2011)
Výsledek druhu D RIV/00216224:14330/11:00049927 - Scope-Based Route Planning (2011)
Výsledek druhu D RIV/00216224:14330/11:00049932 - Fixed-delay Events in Generalized Semi-Markov Processes Revisited (2011)
Výsledek druhu D RIV/00216224:14330/11:00049979 - A Tighter Insertion-based Approximation of the Crossing Number (2011)
Výsledek druhu D RIV/00216224:14330/11:00049980 - Runtime Analysis of Probabilistic Programs with Unbounded Recursion (2011)
Výsledek druhu D RIV/00216224:14330/11:00049981 - Approximating the Termination Value of One-Counter MDPs and Stochastic Games (2011)
Výsledek druhu D RIV/00216224:14330/11:00049982 - Modal Transition Systems: Composition and LTL Model Checking (2011)
Výsledek druhu D RIV/00216224:14330/11:00049983 - Parametric Modal Transition Systems (2011)
Výsledek druhu D RIV/00216224:14330/11:00049987 - Process Algebra for Modal Transition Systemses (2011)
Výsledek druhu D RIV/00216224:14330/11:00049992 - Twin-Cover: Beyond Vertex Cover in Parameterized Algorithmics (2011)
Výsledek druhu J RIV/00216224:14330/11:00049996 - Low GPU Occupancy Approach to Fast Arithmetic Coding in JPEG2000 (2011)
Výsledek druhu D RIV/00216224:14330/11:00050170 - How Not to Characterize Planar-emulable Graphs (2011)
Výsledek druhu J RIV/00216224:14330/11:00050201 - Platform Dependent Verification: On Engineering Verification Tools for 21st Century (2011)
Výsledek druhu J RIV/00216224:14330/11:00050202 - Computing Optimal Cycle Mean in Parallel on CUDA (2011)
Výsledek druhu J RIV/00216224:14330/11:00050261 - Faster algorithms for mean-payoff games (2011)
Výsledek druhu D RIV/00216224:14330/11:00051457 - An Improved Riemannian Metric Approximation for Graph Cuts (2011)
Výsledek druhu J RIV/00216224:14330/11:00051479 - Image Division Technique in Pre-acquisition Analysis of Information Content for Automated Microscopy (2011)
Výsledek druhu J RIV/00216224:14330/11:00051514 - Boundary Treatment for Young-van Vliet Recursive Zero-Mean Gabor Filtering (2011)
Výsledek druhu D RIV/00216224:14330/11:00051516 - On Euclidean Metric Approximation via Graph Cuts (2011)
Výsledek druhu C RIV/00216224:14330/11:00051536 - Turn-Based Stochastic Games (2011)
Výsledek druhu J RIV/00216224:14330/11:00051537 - Qualitative Reachability in Stochastic BPA Games (2011)
Výsledek druhu J RIV/00216224:14330/11:00051561 - Impacts of informatics on QIPC (2011)
Výsledek druhu O RIV/00216224:14330/11:00051572 - History of TC1 - Foundations of Computer Science (2011)
Výsledek druhu D RIV/00216224:14330/11:00051805 - A Simple Topology Preserving Max-Flow Algorithm for Graph Cut Based Image Segmentation (2011)
Výsledek druhu O RIV/00216224:14330/11:00051868 - SOFSEM 2011: Theory and Practice of Computer Science 37th Conference on Current Trends in Theory and Practice of Computer Science (2011)
Výsledek druhu D RIV/00216224:14330/11:00051907 - Simultaneous Tracking of Multiple Objects Using Fast Level Set-Like Algorithm (2011)
Výsledek druhu O RIV/00216224:14330/11:00051908 - Fast Tracking Algorithm of GFP-Transfected Living Cells Based on the Chan-Vese Model (2011)
Výsledek druhu J RIV/00216224:14330/11:00052071 - Data Transfer Planning with Tree Placement for Collaborative Environments (2011)
Výsledek druhu O RIV/00216224:14330/11:00052079 - Fast Anisotropic Filtering and Performance Evaluation Tool for Optical Flow in Biomedical Image Analysis (2011)
Výsledek druhu D RIV/00216224:14330/11:00052132 - Efficient Computation of Morphological Greyscale Reconstruction (2011)
Výsledek druhu D RIV/00216224:14330/11:00052185 - Integer Programming for Media Streams Planning Problem (2011)
Výsledek druhu O RIV/00216224:14330/11:00052462 - Media Streams Planning for Larger Groups (2011)
Výsledek druhu J RIV/00216224:14330/11:00052463 - Integer Linear Programming Models for Media Streams Planning (2011)
Výsledek druhu O RIV/00216224:14330/11:00052464 - Integer Linear Programming Models and Cycle Avoidance Methods for Media Streams Planning (2011)
Výsledek druhu O RIV/00216224:14330/11:00052465 - Media Streams Planning (2011)
Výsledek druhu O RIV/00216224:14330/11:00052527 - Tool for Generation of Synthetic Image Datasets for Time-Lapse Fluorescence Microscopy (2011)
Výsledek druhu J RIV/00216224:14330/11:00052648 - Recruitment and activation of a lipid kinase by hepatitis C virus NS5A is essential for integrity of the membranous replication compartment. (2011)
Výsledek druhu D RIV/00216224:14330/11:00052768 - Efficient Computation of Convolution of Huge Images (2011)
Výsledek druhu D RIV/00216224:14330/11:00052771 - Haptic Rendering Based on RBF Approximation from Dynamically Updated Data (2011)
Výsledek druhu J RIV/00216224:14330/11:00053105 - Parameterized Problems Related to Seidel's Switching (2011)
Výsledek druhu O RIV/00216224:14330/11:00053111 - Cycle Avoidance in Integer Programming for Media Streams Planning (2011)
Výsledek druhu J RIV/00216224:14330/11:00053127 - Convolution of Large 3D Images on GPU and its Decomposition (2011)
Výsledek druhu J RIV/00216224:14330/11:00053149 - Micro axial tomography: A miniaturized, versatile stage device to overcome resolution anisotropy in fluorescence light microscopy (2011)
Výsledek druhu O RIV/00216224:14330/11:00053157 - Endonuclease G interacts with histone H2B, AIF, and DNA topoisomerase II alpha during apoptosis as revealed by FRET analysis of living cells (2011)
Výsledek druhu D RIV/00216224:14330/11:00053280 - Efficient Data Representation of Large Job Schedules (2011)
Výsledek druhu O RIV/00216224:14330/11:00053487 - Interaction of endonuclease G with histone H2B, AIF, and DNA topoisomerase II alpha during apoptosis as revealed by FRET imaging of living cells (2011)
Výsledek druhu D RIV/00216224:14330/11:00053773 - Entanglement and new Perception of Informatics (2011)
Výsledek druhu J RIV/00216224:14330/11:00054163 - QUANTUM COMMUNICATION BETWEEN ANONYMOUS SENDER AND ANONYMOUS RECEIVER IN THE PRESENCE OF STRONG ADVERSARY (2011)
Výsledek druhu O RIV/00216224:14330/11:00054232 - Rapid Development of University Course Timetable (2011)
Výsledek druhu J RIV/00216224:14330/11:00054279 - Multi-letter quantum finite automata: decidability of the equivalence and minimization of states (2011)
Výsledek druhu J RIV/00216224:14330/11:00054287 - Automatic Fusions of CUDA-GPU Kernels for Parallel Map (2011)
Výsledek druhu O RIV/00216224:14330/11:00054295 - Informatics as basis of new methodology for science (2011)
Výsledek druhu O RIV/00216224:14330/11:00054326 - Entanglement and new perception of Informatics (2011)
Výsledek druhu O RIV/00216224:14330/11:00054332 - Physics and Informatics as two ways to see and explore the world (Indie) (2011)
Výsledek druhu O RIV/00216224:14330/11:00054333 - New perception of Informatics (Japonsko) (2011)
Výsledek druhu O RIV/00216224:14330/11:00054334 - New perception of Informatics (Nový Zéland) (2011)
Výsledek druhu O RIV/00216224:14330/11:00054335 - De-randomization and de-quantisation (2011)
Výsledek druhu O RIV/00216224:14330/11:00054336 - Physics and Informatics as two ways to see and explore the world (Rakousko) (2011)
Výsledek druhu O RIV/00216224:14330/11:00054337 - Physics and Informatics as two ways to see and explore the world (Čína) (2011)
Výsledek druhu O RIV/00216224:14330/11:00054338 - De- quantisation (Čína) (2011)
Výsledek druhu O RIV/00216224:14330/11:00054339 - New perception of informatics (Čína) (2011)
Výsledek druhu O RIV/00216224:14330/11:00054340 - Physics and Informatics as two ways to see and explore the world (Alžírsko) (2011)
Výsledek druhu O RIV/00216224:14330/11:00054342 - De-quantisation (Alžírsko) (2011)
Výsledek druhu O RIV/00216224:14330/11:00054343 - Physics and Informatics as two ways to see and explore the world (USA) (2011)
Výsledek druhu O RIV/00216224:14330/11:00054344 - New perception of Informatics (USA) (2011)
Výsledek druhu O RIV/00216224:14330/11:00054345 - New perception of Informatics (Německo) (2011)
Výsledek druhu J RIV/00216224:14330/11:00054358 - Toward protocols for quantum-ensured privacy and secure voting (2011)
Výsledek druhu D RIV/00216224:14330/11:00054360 - Open system dynamics of simple collision models (2011)
Výsledek druhu O RIV/00216224:14330/11:00054361 - Pseudo-Telepathy Games (2011)
Výsledek druhu J RIV/00216224:14330/11:00054378 - Normalizing for Individual Cell Population Context in the Analysis of High-Content Cellular Screens (2011)
Výsledek druhu O RIV/00216224:14330/11:00054541 - Verification of Timed-Arc Petri Nets (invited talk) (2011)
Výsledek druhu D RIV/00216224:14330/11:00054542 - Verification of Timed-Arc {P}etri Nets (2011)
Výsledek druhu D RIV/00216224:14330/11:00054546 - Tool Supported Analysis of Web Services Protocols (2011)
Výsledek druhu R RIV/00216224:14330/11:00055021 - MUSE framework (2011)
Výsledek druhu J RIV/00216224:14330/11:00056672 - Fair and Optimistic Quantum Contract Signing (2011)
Výsledek druhu O RIV/00216224:14330/11:00057221 - Using Neighborhood Diversity to Solve Hard Problems (2011)
Výsledek druhu J RIV/00216224:14330/11:00059862 - Unitary Noise and the Mermin-GHZ Game (2011)
Výsledek druhu D RIV/00216224:14330/11:00065885 - New Results on the Complexity of the Max- and Min-Rep Problems (2011)
Výsledek druhu D RIV/00216224:14330/11:00065893 - Thread graphs, linear rank-width and their algorithmic applications (2011)
Výsledek druhu D RIV/00216224:14330/11:00065910 - CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems (2011)
Výsledek druhu D RIV/00216224:14330/11:00067211 - An Improved Riemannian Metric Approximation for Graph Cuts (2011)
Výsledek druhu D RIV/00216224:14330/11:00067229 - On Euclidean Metric Approximation via Graph Cuts (2011)
Výsledek druhu D RIV/00216224:14330/11:00067234 - Roots and stimuli to a new perception of informatics (2011)
Výsledek druhu D RIV/00216224:14330/11:00067340 - Verification of Timed-Arc {P}etri Nets (2011)
Výsledek druhu D RIV/00216224:14330/11:00067341 - Modelling and Verification of Web Services Business Activity Protocol (2011)
Výsledek druhu D RIV/00216224:14330/11:00067342 - opaal: A Lattice Model Checker (2011)
Výsledek druhu D RIV/00216224:14330/11:00067343 - Energy Games in Multiweighted Automata (2011)
Výsledek druhu J RIV/00216224:14330/11:00081759 - Optimal unambiguous comparison of two unknown squeezed vacua (2011)
Výsledek druhu J RIV/00216224:14330/11:00081781 - Scavenging quantum information: Multiple observations of quantum systems (2011)
Výsledek druhu J RIV/00216224:14330/12:00057076 - On-the-fly Parallel Model Checking Algorithm that is Optimal for Verification of Weak LTL Properties (2012)
Výsledek druhu J RIV/00216224:14330/12:00057181 - Almost linear Büchi automata (2012)
Výsledek druhu J RIV/00216224:14330/12:00057196 - On Parameter Synthesis by Parallel Model Checking (2012)
Výsledek druhu J RIV/00216224:14330/12:00057198 - Smooth Chan-Vese Segmentation via Graph Cuts (2012)
Výsledek druhu J RIV/00216224:14330/12:00057210 - Designing Fast LTL Model Checking Algorithms for Many-core GPUs (2012)
Výsledek druhu J RIV/00216224:14330/12:00057211 - Temporal Logic Control of Discrete-Time Piecewise Affine Systems (2012)
Výsledek druhu D RIV/00216224:14330/12:00057212 - Timed Automata Approach to Verification of Systems with Degradation (2012)
Výsledek druhu D RIV/00216224:14330/12:00057222 - LTL to Büchi Automata Translation: Fast and More Deterministic (2012)
Výsledek druhu C RIV/00216224:14330/12:00058925 - Pseudo-Telepathy Games (2012)
Výsledek druhu C RIV/00216224:14330/12:00058929 - Quantum finite automata (2012)
Výsledek druhu J RIV/00216224:14330/12:00058937 - A Branch-and-cut Procedure for the Udine Course Timetabling Problem (2012)
Výsledek druhu J RIV/00216224:14330/12:00059138 - Endonuclease G interacts with histone H2B and DNA topoisomerase II alpha during apoptosis (2012)
Výsledek druhu J RIV/00216224:14330/12:00059140 - Live cell assays to identify regulators of ER to Golgi trafficking (2012)
Výsledek druhu D RIV/00216224:14330/12:00059150 - One-way finite automata with quantum and classical states (2012)
Výsledek druhu D RIV/00216224:14330/12:00059151 - De-quantisation (2012)
Výsledek druhu J RIV/00216224:14330/12:00059158 - Noise and the Magic Square Game (2012)
Výsledek druhu B RIV/00216224:14330/12:00059159 - The Mathematical Language of Quantum Theory (2012)
Výsledek druhu M RIV/00216224:14330/12:00062223 - AQIS 2008 (12th Asian Conference on Quantum Information Science), Steering Committee Chair (2012)
Výsledek druhu D RIV/00216224:14330/12:00065901 - Low GPU Occupancy Approach to Fast Arithmetic Coding in JPEG2000 (2012)
Výsledek druhu D RIV/00216224:14330/12:00067325 - STANSE: Bug-finding Framework for C Programs (2012)
Výsledek druhu J RIV/00216224:14330/15:00080555 - GPU Implementation of Linear Morphological Openings with Arbitrary Angle (2015)
Výsledek druhu J RIV/00216224:14330/16:00100544 - Meta-kernelization with structural parameters (2016)
Výsledek druhu J RIV/00216224:14330/16:00100545 - Model Checking Existential Logic on Partially Ordered Sets (2016)
Výsledek druhu D RIV/00216224:14330/18:00106816 - Sum-of-Products with Default Values: Algorithms and Complexity Results (2018)
Výsledek druhu J RIV/00216224:14330/18:00106818 - A single-exponential fixed-parameter algorithm for distance-hereditary vertex deletion (2018)
Výsledek druhu J RIV/00216224:14330/18:00106819 - Meta-kernelization using well-structured modulators (2018)
Výsledek druhu J RIV/00216224:14330/18:00106820 - On the complexity of rainbow coloring problems (2018)
Výsledek druhu J RIV/00216224:14330/18:00106821 - Solving Problems on Graphs of High Rank-Width (2018)
Výsledek druhu J RIV/00216224:14330/18:00106822 - The complexity landscape of decompositional parameters for ILP (2018)
Výsledek druhu J RIV/00216224:14610/05:00013675 - Scalability and Robustness of Virtual Multicast for Synchronous Multimedia Distribution (2005)
Výsledek druhu J RIV/00216224:14610/05:00013675 - Scalability and Robustness of Virtual Multicast for Synchronous Multimedia Distribution (2005)
Výsledek druhu D RIV/00216224:14610/05:00013675 - Scalability and Robustness of Virtual Multicast for Synchronous Multimedia Distribution (2005)
Výsledek druhu A RIV/00216224:14610/05:00019304 - CHARON System - A Framework for Comfortable Grid Applications & Jobs Management (2005)
Výsledek druhu A RIV/00216224:14610/05:00019304 - CHARON System - A Framework for Comfortable Grid Applications & Jobs Management (2005)
Výsledek druhu D RIV/00216224:14610/05:00019305 - CHARON System - Framework for Applications and Jobs Management in Grid Environment (2005)
Výsledek druhu D RIV/00216224:14610/05:00021324 - Implementace P2P sítě zrcadel v prostředí JXTA (2005)
Výsledek druhu D RIV/00216224:14610/05:00021334 - Distribuované Datové Sklady (2005)
Výsledek druhu J RIV/00216224:14610/05:00021411 - Distribuované datové sklady a protokol IBP (2005)
Výsledek druhu O RIV/00216224:14610/05:00021411 - Distribuované datové sklady a protokol IBP (2005)
Výsledek druhu O RIV/00216224:14610/05:00021411 - Distribuované datové sklady a protokol IBP (2005)
Výsledek druhu D RIV/00216224:14610/06:00015632 - Packet Filtering for FPGA-Based Routing Accelerator (2006)
Výsledek druhu D RIV/00216224:14610/06:00015705 - Quality of Service Oriented Active Router Design (2006)
Výsledek druhu D RIV/00216224:14610/06:00015968 - Routing, L2 Addressing, and Packet Filtering in a Hardware Engine (2006)
Výsledek druhu D RIV/00216224:14610/06:00016809 - Capability languages in C-GMA (2006)
Výsledek druhu D RIV/00216224:14610/06:00016848 - Active Elements for High-Definition Video Distribution (2006)
Výsledek druhu J RIV/00216224:14610/06:00017099 - High-definition multimedia for multiparty low-latency interactive communication (2006)
Výsledek druhu J RIV/00216224:14610/06:00017099 - High-definition multimedia for multiparty low-latency interactive communication (2006)
Výsledek druhu J RIV/00216224:14610/06:00017099 - High-definition multimedia for multiparty low-latency interactive communication (2006)
Výsledek druhu J RIV/00216224:14610/06:00017100 - Distributed and collaborative visualization of large data sets using high-speed networks (2006)
Výsledek druhu J RIV/00216224:14610/06:00017100 - Distributed and collaborative visualization of large data sets using high-speed networks (2006)
Výsledek druhu J RIV/00216224:14610/06:00017100 - Distributed and collaborative visualization of large data sets using high-speed networks (2006)
Výsledek druhu D RIV/00216224:14610/06:00017269 - Improving Security in Grids Using the Smart Card Technology (2006)
Výsledek druhu D RIV/00216224:14610/06:00017384 - Building Biomedical Grid Infrastructure with P-GRADE Portal and GEMLCA (2006)
Výsledek druhu D RIV/00216224:14610/06:00017384 - Building Biomedical Grid Infrastructure with P-GRADE Portal and GEMLCA (2006)
Výsledek druhu D RIV/00216224:14610/06:00017384 - Building Biomedical Grid Infrastructure with P-GRADE Portal and GEMLCA (2006)
Výsledek druhu D RIV/00216224:14610/06:00017816 - Secure References for Reliable Knowledge Sharing on the Biomedical Grid (2006)
Výsledek druhu D RIV/00216224:14610/06:00017816 - Bezpečné reference pro spolehlivé sdílení znalostí v biomedicinském gridu (2006)
Výsledek druhu D RIV/00216224:14610/06:00017816 - Bezpečné reference pro spolehlivé sdílení znalostí v biomedicinském gridu (2006)
Výsledek druhu A RIV/00216224:14610/06:00017947 - Virtualized Access to the Grid Computational Resources (2006)
Výsledek druhu A RIV/00216224:14610/06:00017947 - Virtualized Access to the Grid Computational Resources (2006)
Výsledek druhu A RIV/00216224:14610/06:00017947 - Virtualized Access to the Grid Computational Resources (2006)
Výsledek druhu A RIV/00216224:14610/07:00022062 - Enabling Technologies for Teaching an HPC Class as a Distributed Course. (2007)
Výsledek druhu O RIV/00216224:14610/07:00022062 - Enabling Technologies for Teaching an HPC Class as a Distributed Course. (2007)
Výsledek druhu O RIV/00216224:14610/07:00022062 - Enabling Technologies for Teaching an HPC Class as a Distributed Course. (2007)
Výsledek druhu A RIV/00216224:14610/07:00022103 - Network Overhead in Virtual Machines (2007)
Výsledek druhu A RIV/00216224:14610/07:00022103 - Network Overhead in Virtual Machines (2007)
Výsledek druhu A RIV/00216224:14610/07:00022112 - Community Building in Distance Learning Environments: Using uncompressed high-definition videos as a medium for classroom interactivity. (2007)
Výsledek druhu A RIV/00216224:14610/07:00022112 - Community Building in Distance Learning Environments: Using uncompressed high-definition videos as a medium for classroom interactivity. (2007)
Výsledek druhu D RIV/00216224:14610/07:00022122 - Streaming HD videa (2007)
Výsledek druhu D RIV/00216224:14610/07:00022175 - Distributed Active Element in 10Gbps Network (2007)
Výsledek druhu J RIV/00216224:14610/07:00022202 - Videokonference za zdí (2007)
Výsledek druhu O RIV/00216224:14610/07:00022202 - Videokonference za zdí (2007)
Výsledek druhu O RIV/00216224:14610/07:00022202 - Videokonference za zdí (2007)
Výsledek druhu D RIV/00216224:14610/07:00022273 - HD Collaborative Framework for Distributed Distance Learning (2007)
Výsledek druhu D RIV/00216224:14610/07:00022477 - Secure Logistical Networking in Virtual Organizations (2007)
Výsledek druhu D RIV/00216224:14610/07:00022477 - Secure Logistical Networking in Virtual Organizations (2007)
Výsledek druhu A RIV/00216224:14610/07:00022736 - HD Video in Teaching Environment (2007)
Výsledek druhu A RIV/00216224:14610/07:00022736 - HD Video in Teaching Environment (2007)
Výsledek druhu A RIV/00216224:14610/07:00022736 - HD Video in Teaching Environment (2007)
Výsledek druhu D RIV/00216224:14610/07:00050821 - Designing a distributed mediator for the C-GMA monitoring architecture (2007)
Výsledek druhu D RIV/00216224:14610/07:00051077 - Multiple Ligand Trajectory Docking Study: Semiautomatic Analysis of Molecular Dynamics Simulations Using EGEE gLite Services (2008)
Výsledek druhu W RIV/00216224:14610/08:00025049 - MEMICS 2008, Fourth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (2008)
Výsledek druhu W RIV/00216224:14610/08:00025049 - MEMICS 2008, Fourth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (2008)
Výsledek druhu O RIV/00216224:14610/08:00025765 - Úvod do IPv6 (2008)
Výsledek druhu O RIV/00216224:14610/08:00025765 - Úvod do IPv6 (2008)
Výsledek druhu D RIV/00216224:14610/08:00026791 - Efficient Precomputation of Configuration Space for Haptic Deformation Modeling (2008)
Výsledek druhu D RIV/00216224:14610/08:00026791 - Efficient Precomputation of Configuration Space for Haptic Deformation Modeling (2008)
Výsledek druhu D RIV/00216224:14610/08:00026792 - Haptic Interaction with Soft Tissues Based on State-Space Approximation (2008)
Výsledek druhu D RIV/00216224:14610/08:00026792 - Haptic Interaction with Soft Tissues Based on State-Space Approximation (2008)
Výsledek druhu D RIV/00216224:14610/08:00026792 - Haptic Interaction with Soft Tissues Based on State-Space Approximation (2008)
Výsledek druhu O RIV/00216224:14610/08:00026803 - VirtCloud & CoUniverse: On E2E Services for Grids and Multimedia (2008)
Výsledek druhu O RIV/00216224:14610/08:00026803 - VirtCloud & CoUniverse: On E2E Services for Grids and Multimedia (2008)
Výsledek druhu J RIV/00216224:14610/08:00056801 - gLite Job Provenance - a job-centric view (2008)
Výsledek druhu D RIV/00216224:14610/08:00056812 - Job Centric Monitoring on the Grid 7 years of experience with L&B and JP services (2008)
Výsledek druhu D RIV/00216224:14610/09:00051136 - MetaCenter Virtual Networks (2009)
Výsledek druhu D RIV/00216224:14610/10:00045333 - Compression of Vector Field Changing in Time (2010)
Výsledek druhu D RIV/00216224:14610/10:00051336 - Virtual Clusters as a New Service of MetaCentrum, the Czech NGI (2010)
Výsledek druhu D RIV/00216224:14610/10:00051370 - User Centric Authentication for Web Applications (2010)
Výsledek druhu D RIV/00216224:14610/10:00051379 - GColl: enhancing trust in flexible group-to-group videoconferencing (2010)
Výsledek druhu D RIV/00216224:14610/10:00051380 - Design and Implementation of a Production Dynamically Configurable Testbed (2010)
Výsledek druhu D RIV/00216224:14610/11:00052110 - Compression of Vector Field Changing in Time (2011)
Výsledek druhu R RIV/00216224:14610/11:00054611 - multiOUT (2011)
Výsledek druhu D RIV/00216224:14610/11:00055000 - Automated trust negotiation in identity federations using OWL-based abduction of missing credentials (2011)

Hodnocení dokončeného záměru

Hodnocení výsledků V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Zhodnocení výsledků řešení česky Bylo dosaženo vynikajících výsledků, jež přispěly k udržení špičkového postavení informatiky na FI MU v mezinárodním měřítku, zejména v oblastech gridových výpočtů, rozsáhlých grafových úloh, kvantových počítačů, biomedicínském zpracování obrazu. Aktivity záměru přispěly k výraznému kvalifikačnímu růstu kolektivu a k zapojení doktorandů a mladých pracovníků do výzkumu.
Vyhledávání ...