Archiv článků: programování

Programy s matematicky ověřovanou funkčností

V rámci Defense Advanced Research Projects Agency (DARPA) a řady dalších institucí (Tufts University, Princeton University a Microsoft Research) probíhají pokusy o tvorbu kódu, jehož spolehlivost by byla ověřena formálně – tedy podobně jako matematický důkaz. U kódů tohoto typu by mělo být ověřeno, že bez ohledu na podobu vstupu …

více »

MATLAB a Simulink – Release 2016a

Zdroj: Oleg Alexandrov – Wkipedie, licence obrázku public domain

Nový editor pro tvorbu živých dokumentů. Využití vícevrstvých neuronových sítí, větší podpora pro Internet věcí. HUMUSOFT s.r.o. a firma MathWorks®, přední výrobce programových nástrojů pro technické výpočty, modelování a simulace, uvádějí na trh České republiky a Slovenska nové vydání výpočetního, vývojového a simulačního prostředí MATLAB® R2016a. MATLAB R2016a přináší Live …

více »

Problém plukovníka Blotta vyřešen

Počítačoví vědci na University of Maryland, Stanford University a Microsoft Research vyřešili v obecné rovině Problém plukovníka Blotta (Colonel Blotto), úlohu z teorie her známou od roku 1921. Autoři výzkumu uvádějí, že výsledek by mohl pomoci při tvorbě strategií v byznysu nebo v politice. Problém plukovníka Blotta v nejjednodušší podobě …

více »

MATLAB a Simulink – Release 2015b

HUMUSOFT s.r.o. a firma MathWorks, přední výrobce programových nástrojů pro technické výpočty, modelování a simulace, uvádějí na trh České republiky a Slovenska nové vydání výpočetního, vývojového a simulačního prostředí MATLAB R2015b. MATLAB R2015b přináší nové výkonné jádro jazyka MATLAB (execution engine), funkce pro tvorbu a vizualizaci orientovaných grafů a sítí, …

více »

Používáme soubory cookies pro přizpůsobení obsahu webu a sledování návštěvnosti. Data o používání webu sdílíme s našimi partnery pro cílení reklamy a analýzu návštěvnosti. Více informací

The cookie settings on this website are set to "allow cookies" to give you the best browsing experience possible. If you continue to use this website without changing your cookie settings or you click "Accept" below then you are consenting to this.

Close