Filtry
Verifikace protokolů chování: řešení problému
Typický problém při použití techniky automatického ověřování je velikost stavového prostoru. Dokonce i v případě malého systému narůstá stavový prostor exponenciálně (problém "state explosion"). V tomto článku prezentujeme novou reprezentaci stavovéh...
JC - Počítačový hardware a software
- 2005 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
The stopping power and energy straggling of the energetic C and O ions in polyimide
BG - Jaderná, atomová a molekulová fyzika, urychlovače
- 2016 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Ion track etching in polyethylene-terephthalate studied by charge particle transmission technique
Nuclear physics
- 2019 •
- JSC •
- Odkaz
Rok uplatnění
JSC - Článek v periodiku v databázi SCOPUS
Výsledek na webu
Time-of-flight spectra for mapping of charge density of ionsproduced by laser
BL - Fyzika plasmatu a výboje v plynech
- 2014 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Distance-of-flight spectra of charge density of ions generated with a low laser intensity
BL - Fyzika plasmatu a výboje v plynech
- 2014 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Mapping of charge density of ion beams produced by laser
BL - Fyzika plasmatu a výboje v plynech
- 2014 •
- D
Rok uplatnění
D - Stať ve sborníku
Ion emission from plasmas produced by femtosecond pulses of short-wavelength free-electron laser radiation focused on massive targets: an overview and comparison with long-wavelength laser ablation
Fluids and plasma physics (including surface physics)
- 2023 •
- D •
- Odkaz
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Scientific program of DERICA-prospective accelerator and storage ring facility for radioactive ion beam research
Nuclear physics
- 2019 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Handling and dosimetry of laser-driven ion beams for applications
Fluids and plasma physics (including surface physics)
- 2021 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Self Assembly of Ionic Liquids at the Air/Water Interface
CE - Biochemie
- 2015 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
- 1 - 10 z 4 902