A5073056593- Metal and Thin Film Mechanics
- Logic, programming, and type systems
- Diamond and Carbon-based Materials Research
- Occupational and environmental lung diseases
- Natural Language Processing Techniques
- Chronic Obstructive Pulmonary Disease (COPD) Research
- Semantic Web and Ontologies
- Advanced materials and composites
- Inhalation and Respiratory Drug Delivery
- Logic, Reasoning, and Knowledge
- Occupational exposure and asthma
- Laser-Plasma Interactions and Diagnostics
- Pleural and Pulmonary Diseases
- Semiconductor materials and devices
- Ion-surface interactions and analysis
- Interstitial Lung Diseases and Idiopathic Pulmonary Fibrosis
- Laser-induced spectroscopy and plasma
- Formal Methods in Verification
- Mathematics, Computing, and Information Processing
- nanoparticles nucleation surface interactions
- COVID-19 epidemiological studies
- Poisoning and overdose treatments
- Air Quality and Health Impacts
- High-pressure geophysics and materials
- Computability, Logic, AI Algorithms
Central Michigan University
2024
HVM Plasma (Czechia)
2011-2023
Center for Advanced Systems Understanding
2022-2023
Helmholtz-Zentrum Dresden-Rossendorf
2022-2023
University of West Bohemia
2022
Czech Technical University in Prague
2010-2020
Masaryk Memorial Cancer Institute
2018-2019
Czech Academy of Sciences, Institute of Physics
1987-2018
Charles University
2006-2009
Národný Onkologický Ústav
2008
ELI-Beamlines (ELI-BL), one of the three pillars Extreme Light Infrastructure endeavour, will be in a unique position to perform research high-energy-density-physics (HEDP), plasma physics and ultra-high intensity (UHI) (1022W/cm2) laser–plasma interaction. Recently need for HED laboratory was identified P3 (plasma platform) installation under construction ELI-BL an answer. The 10 PW laser makes possible fundamental topics from high-field new extreme states matter such as radiation-dominated...
Bremsstrahlung emission from interactions of short ultra-intense laser pulses with solid foils is studied using particle-in-cell (PIC) simulations. A module for simulating bremsstrahlung has been implemented in the PIC loop to self-consistently account dynamics laser–plasma interaction, plasma expansion, and gamma ray photons. This made it possible study thin targets, where refluxing hot electrons plays an important role. It shown that angular distribution emitted photons exhibits a...
This article analyzes the present status of cathodic arc evaporation. Advantages this technique are given by some characteristic features metallic plasma, e.g., high ionization degree, multiple ionization, operation up to ultrahigh vacuum conditions, etc. The first part paper outlines development evaporation and focuses on plasma methods for suppression macroparticle content in growing films. second deals with both theoretical experimental results processes during interaction substrate film,...
Emission of high energy gamma rays via the non-linear inverse Compton scattering process (ICS) in interactions ultra-intense laser pulses with thin solid foils is studied using particle-in-cell simulations. It shown that angular distribution ICS photons has a forward-oriented two-directional structure centred at an angle $\vartheta = \pm 30^\circ$, value predicted by theoretical model based on standing wave approximation to electromagnetic field front target, which only increases highest...
In recent years, the Metis prover based on ordered paramodulation and model elimination has replaced earlier built-in methods for general-purpose proof automation in HOL4 Isabelle/HOL. annual CASC competition, leanCoP system connection tableaux however performed better than Metis. this paper we show how leanCoP's core algorithm can be implemented inside HOL Light. flagship feature, namely its minimalistic core, results a very simple system. This plays crucial role extending MESON...