Descriere
Sumar
Despre autori
Prezentul volum conține lucrările acceptate la cea de-a 5-a ediție a Conferinței Internaționale privind Fundamentele Matematice în Informatică, ce va avea loc în perioada 3-6 iulie 2019 la Universitatea „Alexandru Ioan Cuza” din Iași, România. Scopul acestui demers științific este acela de a adăuga sinergie eforturilor cercetătorilor care lucrează la dezvoltarea fundamentelor matematice în informatică. Asistăm, de fapt, la o dezbatere deschisă privind stadiul tehnicii și noile direcții de cercetare și cooperare în matematică și informatică.
Invited Talks:
Fuzzy Models in Deep Learning Networks - A Bridge between Symbolic and Connectionist Methods of AI, Alexei Averki;
Several Definitions for Infinity in Finitely Supported Mathematics ,
Andrei Alexandru, Gabriel Ciobanu;
Applied Statistics in Information Security, Emil Simion;
Demystifying Deep Learning Breakthroughs for Computer Vision, Alexandru Lucian Ginsca; Algebra, Logic, and Cryptography:
Boneh-Gentry-Hamburg's Identity-based Encryption Schemes Revisited,
George Teseleanu, Ferucio Laurențiu Țiplea, Sorin Iftene, Anca-Maria Nica; Four-dimensional Finite Non-commutative Associative Algebra and its Application,
Alexandr Moldovyan, Dmitrii Moldovyan, Victor Shcherbacov; On Anonymization of Cocks' Identity-based Encryption Scheme, Anca-Maria Nica, Ferucio Laurențiu Țiplea;
Attacks on Generalized Markovski Crypto-algorithm, Nadezhda Malyutina;
On Weak Unpredictability of Legendre Sequences, Victor Pescaru;
On Formalization Styles and SAD System, Alexander Lyaletski, Alexandre Lyaletsky;
Approximations of Finitely Supported Sets, Andrei Alexandru, Gabriel Ciobanu;
Compositions of Automata Defined on Fnite Quasigroups, Volodymyr G. Skobelev, Volodymyr V. Skobelev;
On Some Groupoids with Bol-Moufang Type Identities, Grigorii Horos, Victor Shcherbacov, Alexandr Tcachenco, Tatiana Yatsko;
Maximal Slupecki Iterative Algebras of the 4-valued Diagonalizable Algbera and Related Algorithms, Andrei Rusu and Elena Rusu;
Some Developments of Aggregate Theory, Ioachim Drugus, Volodymyr Skobelev;
General Boolean Algebras, Boolean Rings and Extension Algebras, Eugene Kuznetsov, Elena Kuznetsova;
Completeness of the Logic of Partial Quasiary Predicates with the Complement Composition, Mykola Nikitchenko, Oksana Shkilniak, Stepan Shkilniak, Tohrul Mamedov;
Reliability of Erasure Coding Schemes for Distributed Storage Systems, Andrei Bogdan Baran, Adrian Iftene, Hugues Mercier;
Mathematical Formalization of Local Sensitivity Analysis in Computational Models,
Julian Dimitrov; Computer Science in Applications:
Recognition of Heterogeneous Documents: Problems and Challenges, Alexandru Colesnicov, Svetlana Cojocaru, Ludmila Malahov;
Early Detection of Signs of Anorexia in Social Media, Ciprian-Gabriel Cușmuliuc, Lucia-Georgiana Coca, Adrian Iftene;
Building a Diachronic Parallel Corpus for the Alignment of the Old Romanian Texts, Tudor Bumbu;
Iasi City Explorer, Camelia Milut, Adrian Iftene, Daniela Gîfu;
Pocket World AR. Let's learn New Things in a Pleasant Way, Roxana Pantea, Adrian Iftene, Daniela Gîfu;
Smart Museums with Augmented Reality, Andrei Porfireanu, Alexandru Ungurean, Andreea Dascalu, Adrian Iftene, Daniela Gîfu;
Solar System Explorer, Diana Elena Gusa, Adrian Iftene, Daniela Gîfu;
Research Centered on Investigating the Ethical Attitudes towards Information Technology, Liliana Mâță, Ioana Boghian;
Achievements - A Way to Engage Students in Educational Process, Olesea Caftanatov;
AI Based Multilayered Approach for Management of Mass Casualty Situations, Constantin Gaindric, Svetlana Cojocaru, Stefan Pickl, Iulian Secrieru, Olga Popcova;
Performing Cricothyroidotomy Incision Using AI, Cătălin Crișan;
User Recognition Based on Keystroke Dynamics, Constantin-Răzvan Cazuc, Adrian Iftene;
Approaches in Formalization of a Distributed Transaction Compensation, Ștefan Șaramet, Florin Olariu;
Comparison between Modern JavaScript Frameworks Performance, Ionuț Robert Iacob, Florin Olariu;
Opportunities for Phone Account Recharging from Card Using the Possibilities Oered by Optical Character Recognition, Cristian Coșneanu, Inga Titchiev;
SmartID - a PrivateSKY Based Platform for Medical Usage in Respect with GDPR,
Mircea Hulea, Mihai Mart, Andrei Panu, Ștefan Romanescu, Ștefana Toader, Corneliu Munteanu, Andrei Scutelnicu.
Daniela Gîfu (n. 1973, Bârlad) este cercetător științific II dr. la Facultatea de Informatică a Universității „Alexandru Ioan Cuza” din Iași, cu afiliere și la Institutul de Informatică Teoretică a Academiei Române – Filiala Iași; se bucură de vizibilitate științifică în domeniul prelucrării limbajului natural. Preocupările sale vizează prin excelență aspectele semantice și pragmatice ale discursului. O regăsim în comitete de organizare și comitete științifice ale celor mai importante conferințe internaționale în domeniul inteligenței artificiale/prelucrarea limbajului natural: ACL, EMNLP, JCDL, TPDL, LREC etc.
Bogdan Aman (n. 1982, Dorohoi) este cercetător științific II dr. la Institutul de Informatică Teoretică a Academiei Române – Filiala Iași și cercetător științific III la Facultatea de Informatică, Universitatea „Alexandru Ioan Cuza” din Iași; preocupat în special de următoarele domenii: calcul membranar, algebre de procese, rețele Petri, limbaje formale, teoria automatelor. Totodată, este și editor adjunct la Analele Știintifice de Informatică.
Adrian Iftene (n. 1973, Bârlad) este conferențiar universitar doctor la Facultatea de Informatică a Universității „Alexandru Ioan Cuza” din Iași; preocupat în special de următoarele domenii: prelucrarea limbajului natural, folosirea tehnologiilor noi în informatică, realitatea virtuală șu realitatea augmentată.
Diana Trandabăț (n. 1980, Iași) este conferențiar universitar doctor la Facultatea de Informatică a Universității „Alexandru Ioan Cuza” din Iași; preocupată în special de următoarele domenii: prelucrarea limbajului natural, inteligență artificială.
