Technologie
Automatické dokazování, verifikace softwaru i hardwaru
Matematika , Neživá příroda , Technologie | 13.09.2013
formální ověření správnosti programu je velmi podobné formálnímu ověření matematických vět, a tedy i v tomto případě mohou automatické dokazovače podstatně usnadnit práci. více
Automatické dokazování vět
Matematika , Neživá příroda , Technologie | 12.09.2013
Automatické dokazování lze použít k řešení logických problémů a hlavolamů, od sudoku přes rozestavování dam na šachovnici tak, aby se neohrožovaly, až po problém složení Rubikovy kostky. více
První český elektromotocykl vznikl na Západočeské univerzitě
Aktuality , Technologie | 12.09.2013
Designový styl spadající do kategorie ‘chopper‘ osloví všechny věkové generace řidičů... více
Měděné trny odstraní z vody ropu
Technologie | 10.09.2013
Trny inspirované pouštními kaktusy mají průměr asi 0,5 milimetru. Jsou uchyceny na nosnou strukturu, kterou lze znečištěnou vodou pohybovat. více
Matlab a Simulink 2013b: nové nadstavby i změny v základních modulech
Aktuality , Technologie | 09.09.2013
Mnoho funkcí lze nyní urychlit pomocí vestavěné podpory GPU výpočtů. více
První představení racku napájeného křemíkovou fotonikou
Aktuality , Technologie | 09.09.2013
Přenos může dosahovat rychlostí až 1,6 Tb/s a na vzdálenost až 300 metrů v rámci datového centra. více
Elektronová mikroskopie také pro živé organismy
Aktuality , Biologie , Technologie | 05.09.2013
Brněnskému týmu se opakovaně daří elektronovým svazkem pozorovat živé roztoče, kteří experiment bez zjevných následků přežijí. více
V Brně se vyvíjí keramická náhrada čelistních kostí tištěná 3D
Aktuality , Člověk , Medicína , Technologie | 04.09.2013
Inkoust bude obsahovat keramické mikrogranule, které se působením vysokých teplot slepí a pozůstatky inkoustu degradují. více
Ukrytí kódu – co na to matematika?
Matematika , Neživá příroda , Technologie | 03.09.2013
Profesor computer science Amit Sahai a jeho kolegové z University of California v Los Angeles tvrdí, že přišli s konceptem kódu softwaru, který vylučuje zpětné (reverzní) inženýrství. více
