Search

Your search keyword '"Kulik, Tomas"' showing total 41 results

Search Constraints

Start Over You searched for: Author "Kulik, Tomas" Remove constraint Author: "Kulik, Tomas"
41 results on '"Kulik, Tomas"'

Search Results

1. State of the Art Report: Verified Computation

3. A Survey of Practical Formal Methods for Security

4. Formal Model In-The-Loop for Secure Industrial Control Networks

5. Towards Secure Digital Twins

7. Formal Security Analysis of Cloud-Connected Industrial Control Systems

10. Randomized comparison of atrioventricular node re-entry tachycardia and atrial flutter catheter ablation with and without fluoroscopic guidance: ZeroFluoro study

15. OPTIMZIED CT SCANNING PROTOCOL OF THE LEFT ATRIUM PRIOR TO RADIOFREQUENCY CATHETER ABLATION IN PATIENTS WITH ATRIAL FIBRILLATION

16. Reduced Radiation Exposure Protocol during Computer Tomography of the Left Atrium Prior to Catheter Ablation in Patients with Atrial Fibrillation

20. Formal Methods in Security Survey

21. Provable Cyber-Security for Industrial Control Systems

31. Three-dimensional rotational angiography of the left atrium and the oesophagus: the short-term mobility of the oesophagus and the stability of the fused three-dimensional model of the left atrium and the oesophagus during catheter ablation for atrial fibrillation

34. Comparison of clinical outcomes and safety of catheter ablation for atrial fibrillation supported by data from CT scan or three-dimensional rotational angiogram of left atrium and pulmonary veins

35. Detailed analysis of the relationship between the left atrium and esophagus in patients prior to catheter ablation of atrial fibrillation: an analysis using 3D computed tomography.

36. Feasibility and safety of right and left ventricular three-dimensional rotational angiography for guiding catheter ablation of ventricular arrhythmias.

37. Comparison of radiation exposure, contrast agent consumption and cost effectiveness between computer tomography and 3D rotational angiography of the left atrium to guide catheter ablation in patients with atrial fibrillation.

38. Three-dimensional rotational angiography of the left atrium and the oesophagus: the short-term mobility of the oesophagus and the stability of the fused three-dimensional model of the left atrium and the oesophagus during catheter ablation for atrial fibrillation.

40. Randomized comparison of atrioventricular node re-entry tachycardia and atrial flutter catheter ablation with and without fluoroscopic guidance: ZeroFluoro study.

41. Three-dimensional rotational angiography of the left atrium and the oesophagus: the short-term mobility of the oesophagus and the stability of the fused three-dimensional model of the left atrium and the oesophagus during catheter ablation for atrial fibrillation.

Catalog

Books, media, physical & digital resources