|
Size: 5911
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 6: | Line 9: |
| * Dundua, B., Florido, M., Kutsia, T., Marin, M., CLP (H): Constraint logic programming for hedges, Theory and Practice of Logic Programming 16 (02), 141-162, 2016 * 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 * Petcu D., Iuhasz, G., Pop D., Talia D., Carretero J., Prodan R., Fahringer T. et al., On Processing Extreme Data, Scalable Computing: Practice and Experience 16 (4), 467-490, 2016 * Pop, D., Iuhasz, G., Petcu, D., Distributed Platforms and Cloud Services: Enabling Machine Learning for Big Data, Data Science and Big Data Computing, 139-159, 2016 ==== Book chapters ==== * Pop, D.,Echeverria, A., Petcu, D., Conesa, G., Enabling Open and Collaborative Public Service Advertising through Cloud Technologies, in Cloud Computing Technologies for Connected Government, DOI: 10.4018/978-1-4666-8629-8.ch011, 2016 |
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 15: | Line 14: |
| * DiNitto E., Casale G., Petcu D., On MODAClouds’ Toolkit Support for DevOps, Advances in Service-Oriented and Cloud Computing: Workshops of ESOCC 2015, Taormina, Italy, September 15-17, 2015, Revised Selected Papers, vol 567, pp.430, 2016 * 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 * Drămnesc, I., Jebelean, T., Stratulat, S., A case study on algorithm discovery from proofs: The insert function on binary trees, 2016 IEEE 11th International Symposium on Applied Computational Intelligence and Informatics (SACI), 231-236, 2016 * Dramnesc, I., Jebelean, T., Stratulat, S., Combinatorial Techniques for Proof-Based Synthesis of Sorting Algorithms, Proceedings - 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015,7426074, pp. 137-144, 2016 * Fortis, A.E., Balint, S., Numerical Investigations of Equilibriums in a Flight with High Angle of Attack,Proceedings - 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, 7426066, pp. 85-89, 2016 * Irimie, B.-C., Petcu, D., Scalable and Fault Tolerant Monitoring of Security Parameters in the Cloud, Proceedings - 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, 7426097, pp. 289-295, 2016 * Istrate, G., Bonchiş, C., Dinu, L.P., The minimum entropy submodular set cover problem, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)9618, pp. 295-306, 2016 * Istrate, G., Bonchis, C., Heapability, Interactive Particle Systems, Partial Orders: Results and Open Problems, International Workshop on Descriptional Complexity of Formal Systems, pp 18-28, 2016 * Ivascu, T., An Energy Efficient Intelligent Wireless Body Area Network for Real-Time Vital Signs Monitoring, Proceedings - 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, 7426094, pp. 265-270, 2016 * Ivascu, T., Manate, B., Negru, V., A Multi-agent Architecture for Ontology-Based Diagnosis of Mental Disorders, Proceedings - 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, 7426113, pp. 423-430, 2016 * Marin, M., Kutsia, T., Dundua, B., A Rewrite-based Computational Model for Functional Logic Programming, Procs. of SCSS, 95-106, 2016 * Panica S., Petcu D., Unattended Deployment of Enabling Platforms for Cloud-Based Applications, 2016 30th International Conference on Advanced Information Networking and Applications Workshops (WAINA), 144-149, 2016 * Radoaca, A., Simple Venn Diagrams for Multisets, Proceedings - 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, 7426080, pp. 181-184, 2016 * Radoaca, A., Properties of Multisets Compared to Sets, Proceedings - 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, 7426081, pp. 187-188 * Radoaca, A., Properties of Multiset Orders by Minimal and Maximal Submultisets, Proceedings - 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, 7426075, pp. 145-152 * Selea, T., Spataru, A., Frincu, M., Reusing Resource Coalitions for Efficient Scheduling on the Intercloud, Proceedings - 2016 16th IEEE/ACM International Symposium on Cluster, Cloud, and Grid Computing, CCGrid 2016, 7515748, pp. 621-626, 2016 * Tirea, M., Negru, V., Text Mining News System - Quantifying Certain Phenomena Effect on the Stock Market Behavior, Proceedings - 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, 7426109, pp. 391-398, 2016 * Tirea, M., Negru, V., Stock Market Trading Strategies Applying Risk and Decision Analysis Models for Detecting Financial Turbulence, Proceedings - 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, 7426086, pp. 216-223, 2016 * Vulpe, A., Frincu, M., Exploring Scalability in Pattern Finding in Galactic Structure Using MapReduce, Proceedings - 2016 16th IEEE/ACM International Symposium on Cluster, Cloud, and Grid Computing, CCGrid 2016, 7515748, pp. 621-626, 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