IBN
  



  














    
  


    
Закрыть

Afiliat la Universitatea Tehnică a Moldovei

2023 - 3

National and international experience regarding development of bicycle infrastructure
Plămădeală Vasile , Goian Vladimir , Rusu Elena
Journal of Engineering Sciences
Vol. 30, Nr. 1 / 2023 / ISSN 2587-3474 / ISSNe 2587-3482
Disponibil online 16 April, 2023
-----------------------------------------------------------------------------------------------------------------------------------
On some pre-complete relative to positive expressibility classes of formulas in the 8-valued para-consistent extension of the logic S5
Rusu Andrei , Rusu Elena
Workshop on Intelligent Information Systems
2023. Chişinau, Moldova. Valnex. 199-206.
Disponibil online 8 December, 2023
-----------------------------------------------------------------------------------------------------------------------------------
On some classes of formulas in S5 which are pre-complete relative to existential expressibility
Rusu Andrei , Rusu Elena
Computer Science Journal of Moldova
Vol. 31, Nr. 3(93) / 2023 / ISSN 1561-4042 / ISSNe 2587-4330
Disponibil online 16 January, 2024
-----------------------------------------------------------------------------------------------------------------------------------

2021 - 2

Design aspects of installation devices of the support rings
Botez Alexei , Rusu Elena
Journal of Engineering Sciences
Vol. 28, Nr. 3 / 2021 / ISSN 2587-3474 / ISSNe 2587-3482
Disponibil online 17 September, 2021
-----------------------------------------------------------------------------------------------------------------------------------
On Algorithms Related to Expressibility of Functions of Diagonalizable Algebras
Rusu Andrei , Rusu Elena
Studies in Fuzziness and Soft Computing
2021. Berlin, Germania. Springer Science and Business Media Deutschland GmbH. 257-277.
Disponibil online 7 April, 2021
-----------------------------------------------------------------------------------------------------------------------------------

2020 - 1

On weak-functionally complete systems of formulas containing paraconsistent negation in a paraconsistent logic
Rusu Andrei , Rusu Elena
International Conference on Intelligent Information Systems
2020. Chișinău. "VALINEX" SRL. 170-175.
Disponibil online 10 December, 2020
-----------------------------------------------------------------------------------------------------------------------------------

2019 - 1

On completeness as to ¬-expressibility in a 4-valued provability logic
Rusu Andrei , Rusu Elena
Proceedings IMCS-55The Fifth Conference of Mathematical Society of the Republic of Moldova
2019. Chișinău, Republica Moldova. "VALINEX" SRL. 142-145.
Disponibil online 28 November, 2019
-----------------------------------------------------------------------------------------------------------------------------------

2018 - 2

Genetic algorithm for optimization of software process
Bondarenco Vladimir , Rusu Andrei , Rusu Elena
Conference on Applied and Industrial Mathematics CAIM 2018
Ediţia a 26-a. 2018. Chișinău, Republica Moldova. Casa Editorial-Poligrafică „Bons Offices”. 116-116.
Disponibil online 2 June, 2022
-----------------------------------------------------------------------------------------------------------------------------------
On weak expressibility of formulas in the simplest non-trivial propositional provability logic
Rusu Andrei , Rusu Elena
Conference on Applied and Industrial Mathematics CAIM 2018
Ediţia a 26-a. 2018. Chișinău, Republica Moldova. Casa Editorial-Poligrafică „Bons Offices”. 100-100.
Disponibil online 1 June, 2022
-----------------------------------------------------------------------------------------------------------------------------------

2017 - 1

On existential expressibility of formulas in the simplest non-trivial super-intuitionistic propositional logic
Rusu Andrei , Rusu Elena
Conference of Mathematical Society of the Republic of Moldova
4. 2017. Chişinău. Centrul Editorial-Poligrafic al USM. 153-156.
Disponibil online 4 October, 2017
-----------------------------------------------------------------------------------------------------------------------------------

2016 - 1

On computer aided knowledge discovery in logic and related Areas
Rusu Andrei , Rusu Elena
Conference on Mathematical Foundations of Informatics
2016. Chișinău, Republica Moldova. "VALINEX" SRL. 299-306.
Disponibil online 30 March, 2018
-----------------------------------------------------------------------------------------------------------------------------------

2015 - 1

On e-Infrastructure for SSO in R&D and education organizations of Republic of Moldova
Rusu Andrei , Rusu Elena
Telecommunications, Electronics and Informatics
Ed. 5. 2015. Chișinău, Republica Moldova. . 294-295.
Disponibil online 22 May, 2018
-----------------------------------------------------------------------------------------------------------------------------------
 
 

1-12 of 12