Formal Model of IDS Based on BDI Logic von Perháč, Ján, Novitzká, Valerie, Steingartner, William, Bilanová, Zuzana

Volltext

Between syntax and semantics of resource oriented logic for IDS behavior description von Perháč, Ján, Mihályi, Daniel, Novitzká, Valerie

Volltext

Web-Based Questionnaires for Type Theory Course von MIHÁLYI, Daniel, PENIAŠKOVÁ, Monika, PERHÁČ, Ján, MIHELIČ, Jurij

Volltext

Logical Time and Space of the Network Intrusion von Mihalyi, Daniel, Perhac, Jan, Balint, Patrik

Volltext

INTRUSION DETECTION SYSTEM BEHAVIOR AS RESOURCE-ORIENTED FORMULA von PERHÁČ, Ján, MIHÁLYI, Daniel

Volltext

Logic Analysis of Natural Language Based on Predicate Linear Logic von Bilanová, Zuzana, Perháč, Ján, Chovancová, Eva, Chovanec, Martin

Volltext

Elimination of network intrusions via a resource oriented BDI architecture von Perháč, Ján, Mihályi, Daniel, Maťaš, Lukáš

Volltext

Formalization and Modeling of Communication within Multi-Agent Systems Based on Transparent Intensional Logic von Novotný, Samuel, Michalko, Miroslav, Perháč, Ján, Novitzká, Valerie, Jakab, František

Volltext

Modeling Synchronization Problems: From Composed Petri Nets to Provable Linear Sequents von Perháč, Ján, Mihályi, Daniel, Novitzká, Valerie

Volltext

A novel decision support tool for climate-responsive urban design von Zhong, Sailin, Nevat, Ido, Acero, Juan Angel, Rüfenacht, Lea Alexandra, Jan, Perhac, Koh, Elliot

Volltext

Participatory multi-objective optimization for planning dense and green cities von Wicki, Sergio, Schwaab, Jonas, Perhac, Jan, Grêt-Regamey, Adrienne

Volltext

Security architecture based on multilayer distributed intrusion detection system von Chovanec, M., Vokorkos, L., Perhac, J.

Volltext bestellen

Simulating Infantry and Crowd Behaviors von Petz, I., Sobota, B., Perhac, J.

Volltext

Architecture of DFC-1 computer with data driven computation model von Vokorokos, L., Mados, B., Perhac, J., Chovanec, M.

Volltext bestellen

Decision Support System: User research, usability analysis and computational build von Chan, Michelle, Ye, Cong, Perhac, Jan

Volltext bestellen

Parallel system module for prepare photorealistic rendering in grid and cluster von Latka, O., Mados, B., Perhac, J., Kleinova, A.

Volltext bestellen

PRIDAVNE ZARIADENIE PRE ZLEPSENIE PRIRODZENEHO OBEHU KVAPALNEHO CHLADIVA von PERHAC JOZEF, KAROL JAN, MIREK TEODOR, TUREK ALOJZ

Volltext bestellen

ADDITIONAL APPARATUS FOR NATURAL CIRCULATION IMPROVING OF A LIQUID COOLING SUBSTANCE von KAROL,JAN,CS, TUREK,ALOJZ,CS, PERHAC,JOZEF,CS, MIREK,TEODOR,CS

Volltext bestellen

DEVICE FOR PLATED DOUBLE JERSEY INTERLOCK FABRIC PRODUCTON von PERHAC JOZEF,CS, BOJNANSKY AUGUSTIN,CS, JANOV JAN ,CS, VARGA VALENT,CS, MARTOCKO JOZEF,CS, KUKLA JAN,CS, FRLICKA MILAN ,CS

Volltext bestellen

DEVICE FOR PLATED DOUBLE JERSEY INTERLOCK FABRIC PRODUCTON von PERHAC JOZEF,CS, BOJNANSKY AUGUSTIN,CS, JANOV JAN ,CS, VARGA VALENT,CS, MARTOCKO JOZEF,CS, KUKLA JAN,CS, FRLICKA MILAN ,CS

Volltext bestellen