Publikace



Počet publikací: 267

A Comparative Analysis of Techniques for Predicting Student Performance

BYDŽOVSKÁ Hana

A Model Checking Approach to Discrete Bifurcation Analysis

ŠAFRÁNEK DavidBRIM LubošBENEŠ NikolaDEMKO MartinPASTVA Samuel

A Model Checking Approach to Dynamical Systems Analysis

BRIM LubošŠAFRÁNEK DavidBENEŠ NikolaDEMKO MartinPASTVA SamuelHAJNAL Matej

A Performance Benchmark of NetFlow Data Analysis on Distributed Stream Processing Systems

ČERMÁK MilanTOVARŇÁK DanielLAŠTOVIČKA MartinČELEDA Pavel

A quantitative evaluation of ethylene production in the recombinant cyanobacterium Synechocystis sp. PCC 6803 harboring the ethylene-forming enzyme by membrane inlet mass spectrometry

ZAVŘEL Tomáš — KNOOP Hening — STEUER Ralf — PATRIK Jones — ČERVENÝ Jan — TRTÍLEK Martin

A Survey on Network Security Monitoring Systems

GHAFIR IbrahimPŘENOSIL Václav — SVOBODA Jakub — HAMMOUDEH Mohammad

Accelerated RMSD Calculation for Molecular Metadynamics

FILIPOVIČ JiříPAZÚRIKOVÁ JanaKŘENEK AlešSPIWOK Vojtěch

Accelerated Visualization of Transparent Molecular Surfaces in Molecular Dynamics

JURČÍK Adam — PARULEK Julius — SOCHOR JiříKOZLÍKOVÁ Barbora

Accelerating Temporal Verification of Simulink Diagrams Using Satisfiability Modulo Theories

BAUCH Petr — HAVEL Vojtěch — BARNAT Jiří

Adaptive Geography Practice Data Set

PAPOUŠEK JanPELÁNEK RadekSTANISLAV Vít

Předchozí 1 2 3 4 5 6 7 27 Další

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info