E-LIB Suche - Ergebnisse für: Hana

1

Challenges of Cyber Security in Insurance Business:

, In: Research and Innovation Forum 2023; Springer Proceedings in Complexity,

Maja, Mihelja Žaja ; Mihovil, Andelinovic ; Hana, Stverkova - p. 95-105 , 2024

Link: https://doi.org/10.1007/..

2

Road insecurity: towards the development of a new proactive..:

, In: 2024 IEEE 15th International Colloquium on Logistics and Supply Chain Management (LOGISTIQUA),

Besma, Souissi ; Saoussen, Ben Ammar ; Hana, Mosbahi - p. 1-6 , 2024

Link: https://doi.org/10.1109/..

3

Proof of Security Properties: Application to JavaCard Virtu..:

, In: Guide to Software Verification with Frama-C; Computer Science Foundations and Applied Logic,

Djoudi, Adel ; Hána, Martin ; Kosmatov, Nikolai - p. 659-683 , 2024

Link: https://doi.org/10.1007/..

4

Evaluating Image Segmentation Algorithms: Mean Shift, K-mea..:

, In: 2024 International Conference on Circuit, Systems and Communication (ICCSC),

Haouari, Oussama El ; Khrissi, Lahbib ; Akkad, Nabil El. - p. 1-7 , 2024

Link: https://doi.org/10.1109/..

5

The Dependence of the Characteristics of the Dispersion Cur..:

, In: Applied Condition Monitoring; Advances in Acoustics and Vibration IV,

Hana, Driss ; Abderrahim, El Mahi ; Mourad, Bentahar.. - p. 180-188 , 2023

Link: https://doi.org/10.1007/..

6

Regional Identity as a Marketing Strategy for Breweries in ..:

, In: The Geography of Beer,

Lepič, Martin ; Semian, Michal ; Hána, David. - p. 215-226 , 2023

Link: https://doi.org/10.1007/..

7

Formal Verification of a JavaCard Virtual Machine with Fram..:

, In: Formal Methods; Lecture Notes in Computer Science,

Djoudi, Adel ; Hána, Martin ; Kosmatov, Nikolai - p. 427-444 , 2021

Link: https://doi.org/10.1007/..

8

Contributors:

, In: Machine Learning and Data Science in the Oil and Gas Industry,

Bangert, Patrick ; Cann, Geoffrey ; Crompton, Jim... - p. xi , 2021

Link: https://doi.org/10.1016/..

9

Evaluation of Psychological Load of Air Defense Members by ..:

, In: 2020 19th International Conference on Mechatronics - Mechatronika (ME),

Kutilek, Patrik ; Hejda, Jan ; Volf, Petr... - p. 1-4 , 2020

Link: https://doi.org/10.1109/..

10

E-IOTA: an efficient and fast metamorphism for IOTA:

, In: 2020 2nd Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS),

Bu, Gewu ; Hana, Wassim ; Potop-Butucaru, Maria - p. 9-16 , 2020

Link: https://doi.org/10.1109/..

11

Non-contact Measurement Systems for Physiological Data Moni..:

, In: 2019 International Conference on Military Technologies (ICMT),

Kutilek, Patrik ; Kacer, Jiri ; Cicmanec, Ludek... - p. 1-6 , 2019

Link: https://doi.org/10.1109/..

12

Dynamic digital twin for predictive maintenance in flexible..:

, In: IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society,

Barthelmey, Andre ; Lee, Eunseo ; Hana, Ramy. - p. 4209-4214 , 2019

Link: https://doi.org/10.1109/..

13

Software Solution Incorporating Activation Congnitive Memor..:

, In: Lecture Notes in Electrical Engineering; Applied Physics, System Science and Computers III,

Josef, Provaznik ; Zbynek, Kopecky ; Josef, Brozek... - p. 74-80 , 2019

Link: https://doi.org/10.1007/..

14

Assessment of Postural Stability Using the Method of Postur..:

, In: IFMBE Proceedings; World Congress on Medical Physics and Biomedical Engineering 2018,

Melecky, Roman ; Rasev, Eugen ; Kutilek, Patrik... - p. 697-701 , 2018

Link: https://doi.org/10.1007/..

15

Physiological Data Monitoring of Members of Air Forces Duri..:

, In: IFMBE Proceedings; World Congress on Medical Physics and Biomedical Engineering 2018,

Kacer, Jiri ; Krivanek, Vaclav ; Cicmanec, Ludek... - p. 855-860 , 2018

Link: https://doi.org/10.1007/..