|
Size: 926
Comment:
|
Size: 2640
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 1: | Line 1: |
| ||Previous years: ||[[Publications/2015|2015]]||[[Publications/2014|2014]] ||[[Publications/2013|2013]] ||[[Publications/2012|2012]] ||[[Publications/2011|2011]] ||[[Publications/2010|2010]] ||[[Publications/2009|2009]] ||[[Publications/2008|2008]] ||[[Publications/2007|2007]] ||[[Publications/2006|2006]] ||[[Publications/2005|2005]] || | Previous years (20xx): ||[[Publications/2021|2021]] || [[Publications/2022|2022]] || [[Publications/2023|2023]] || ||[[Publications/2020|2020]] ||[[Publications/2019|2019]] ||[[Publications/2018|2018]] ||[[Publications/2017|2017]] ||[[Publications/2016|2016]] || ||[[Publications/2015|2015]] ||[[Publications/2014|2014]] ||[[Publications/2013|2013]] ||[[Publications/2012|2012]] ||[[Publications/2011|2011]] || ||[[Publications/2010|2010]] ||[[Publications/2009|2009]] ||[[Publications/2008|2008]] ||[[Publications/2007|2007]] ||[[Publications/2006|2006]] || |
| Line 3: | Line 7: |
== Recent Publications == |
== 2024 == |
| Line 8: | Line 9: |
| * Eraşcu, M., Hong, H., Real quantifier elimination for the synthesis of optimal numerical algorithms (Case study: Square root computation), Journal of Symbolic Computation 75, pp. 110-126, 2016 ==== Book chapters ==== |
1. '''Kaslik, E.''', '''Kökövics, E.-A.''', Rădulescu, A., Stability of coupled Wilson–Cowan systems with distributed delays, Chaos, Solitons and Fractals 179,114420, 2024 1. Neculae, A., Barnett, Z.C., '''Miok, K.''', (...), Stoeckel, J.A., Pârvulescu, L., Living on the edge: Crayfish as drivers to anoxification of their own shelter microenvironment, PLoS ONE 19(1 January),e0287888, 2024 1. Díaz-del-Río, F., Molina-Abril, H., Real, P., '''Onchis, D.''', Blanco-Trejo, S., Parallel homological calculus for 3D binary digital images, Annals of Mathematics and Artificial Intelligence, 2024 |
| Line 14: | Line 14: |
* Drămnesc, I., Jebelean, T., Stratulat, S., Proof–based synthesis of sorting algorithms for trees, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 9618, pp. 562-575, 2016 |
1. '''Bogdan, V.''', '''Bonchiş, C.''', Orhei, C., An Image Sharpening Technique Based on Dilated Filters and 2D-DWT Image Fusion Proceedings of the International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, 3, pp. 591–598, 2024 1. '''Drămnesc, I.''', '''Jebelean, T.''', Stratulat, S., Certification of Sorting Algorithms Using Theorema and Coq, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 14991 LNAI, pp. 38–56, 2024 1. '''Eraşcu, M.''', Fast and Exact Synthesis of Application Deployment Plans using Graph Neural Networks and Satisfiability Modulo Theory, Proceedings of the International Joint Conference on Neural Networks, 2024 1. '''Urechiatu, R.''', '''Frincu, M.''', Improved Galaxy Morphology Classification with Convolutional Neural Networks, Universe, 2024, 10(6), 230 1. '''Puiu, I.-L.''', '''Fortiș, T.-F.''', The Efficiency of Building Maintenance Using Digital Twins: A Literature Review, Lecture Notes on Data Engineering and Communications Technologies, 203, pp. 201–211, 2024 1. '''Iuhasz, G.''', '''Panica, S.''', '''Fortis, F.''', Duma, A., A Distributed Platform for Cycle Detection and Analysis in Cyber-Physical Systems, Lecture Notes on Data Engineering and Communications Technologies, 2024, 200, pp. 437–450 |
Previous years (20xx):
2024
Journal papers
Kaslik, E., Kökövics, E.-A., Rădulescu, A., Stability of coupled Wilson–Cowan systems with distributed delays, Chaos, Solitons and Fractals 179,114420, 2024
Neculae, A., Barnett, Z.C., Miok, K., (...), Stoeckel, J.A., Pârvulescu, L., Living on the edge: Crayfish as drivers to anoxification of their own shelter microenvironment, PLoS ONE 19(1 January),e0287888, 2024
Díaz-del-Río, F., Molina-Abril, H., Real, P., Onchis, D., Blanco-Trejo, S., Parallel homological calculus for 3D binary digital images, Annals of Mathematics and Artificial Intelligence, 2024
Conference papers
Bogdan, V., Bonchiş, C., Orhei, C., An Image Sharpening Technique Based on Dilated Filters and 2D-DWT Image Fusion
Proceedings of the International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, 3, pp. 591–598, 2024
Drămnesc, I., Jebelean, T., Stratulat, S., Certification of Sorting Algorithms Using Theorema and Coq, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 14991 LNAI, pp. 38–56, 2024
Eraşcu, M., Fast and Exact Synthesis of Application Deployment Plans using Graph Neural Networks and Satisfiability Modulo Theory, Proceedings of the International Joint Conference on Neural Networks, 2024
Urechiatu, R., Frincu, M., Improved Galaxy Morphology Classification with Convolutional Neural Networks, Universe, 2024, 10(6), 230
Puiu, I.-L., Fortiș, T.-F., The Efficiency of Building Maintenance Using Digital Twins: A Literature Review, Lecture Notes on Data Engineering and Communications Technologies, 203, pp. 201–211, 2024
Iuhasz, G., Panica, S., Fortis, F., Duma, A., A Distributed Platform for Cycle Detection and Analysis in Cyber-Physical Systems, Lecture Notes on Data Engineering and Communications Technologies, 2024, 200, pp. 437–450