|
Size: 5161
Comment:
|
Size: 926
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 1: | Line 1: |
| ||Previous years: ||[[Publications/2009|2009]]||[[Publications/2008|2008]]||[[Publications/2007|2007]]||[[Publications/2006|2006]]||[[Publications/2005|2005]]|| | ||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]] || |
| Line 4: | Line 6: |
| ==== Journal Publications ==== | |
| Line 6: | Line 7: |
| * A.M.Balint, St.Balint - Second order nonlinear differential equations describing convex equilibrium surfaces, Mathematics in Engineering, Science and Aerospace 1(2), (2010) 1-16 | ==== Journal papers ==== * 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 |
| Line 8: | Line 10: |
| * St.Balint, A.M. Balint and R.Szabo - Nonlinear boundary value problem for concave capillary surface occurring in single crystal ribbon growth from the melt, Nonlinear Studies 17(1) (2010) 57-68 | ==== Book chapters ==== |
| Line 11: | Line 13: |
| * St.Balint, A.M.Balint and M.Darau - Linear stability analysis of the uniform mean flow in a rectangular lined duct with respect to normal modes type initial perturbations- Applied Mathematical Modelling(2010) doi:10.1016/j.apm.2010.07.054 | ==== Conference papers ==== |
| Line 13: | Line 15: |
| * St.Balint, L.Tanasie- Determination of the angles appearing in the system which describes the dynamics of the outer and inner radius of a tube, grown by the edge-defined film-fed growth (E.F.G.) technique, Nonlinear Analysis – Real World 11(5)(2010) 4043-4053 * A.M.Balint and St.Balint – Dynamics and control of the shape and size of a sitting drop-like meniscus, occurring in single crystal growth –J. Franklin Institute 347 (2010) 30–52 * St.Balint and A.M.Balint - Inequalities for single crystal rod growth by edge-defined film-fed growth (E.F.G.) technique, J. Mathematical Analysis and Applications 362 (2010) 231–240 * St.Balint, A.M. Balint, E.Kaslik - Existence of oscillatory solutions along the path of longitudinalflight equilibria of an unmanned aircraft, when the automatic flight control system fails, J. Mathematical Analysis and Applications 363 (2010) 366–382 * St.Balint, E.Kaslik, A.M.Balint - Numerical analysis of the oscillation susceptibility along the path of the longitudinal flight equilibria, in the case of the ALFLEX reentry vehicle, Nonlinear Analysis: Real World Applications, 11 (2010) 1953-1962 * M.E. Frincu, D. Petcu, OSyRIS: a Nature Inspired Workflow Engine for Service Oriented Environments, Scalable Computing: Practice and Experience, Volume 11, Number 1, ISSN 1895-1767, 2010, 81–97 * D. Gorgan, V. Bacu, D. Rodila, F. Pop and D. Petcu, Experiments on ESIP - Environment oriented satellite data processing platform, Earth Science Informatics, Vol. 3, no. 4, December 2010, DOI: 10.1007/s12145-010-0065-0, ISSN 1865-0473 * E. Kaslik, St. Balint. Existence of oscillatory solutions in longitudinal flight dynamics - I. J. Non- Linear Mechanics , 45(2), (2010) 159-168. * E.Kaslik, St.Balint - Existence of heteroclinic orbits in simplified longitudinal flight dynamics – J.Math. Analysis and Applications, 373(1)(2011)94-101 * D. Petcu, S. Panica, M. Neagul, M. Frincu, D. Zaharie, R. Ciorba, A. Dinis, Earth Observation Data Processing in Distributed Systems, Informatica 34 (2010) ,463–476 * L.Tanasie and St.Balint - Model based, pulling rate, thermal and capillary conditions setting for silicon tube growth - Journal of Crystal Growth- in press (2010) doi: 10.1016/j.jcrysgro.2010.09.002 ==== Conference Publications ==== * E. Kaslik, S. Sivasundaram. Impulsive hybrid synchronization of chaotic discrete-time delayed neural networks. Proceedings of WCCI 2010 - IEEE World Congress on Computational Intelligence, Barcelona, Spain, July 18-23, 2010, IEEE Computer Society Press, 2010, 2359{2366. * D. Petcu, Identifying Cloud Computing Usage Patterns, 2010 IEEE International Conference on Cluster Computing, Workshops, IEEE Computer Press. * D. Petcu, G. Macariu, A. Carstea, M.E. Frincu, Service-Oriented Symbolic Computing. Chapter 15 in Handbook of Research on P2P and Grid Systems for Service-Oriented Computing: Models, Methodologies and Applications, Eds. N. Antonopoulos, G. Exarchakos, A. Liotta, M. Li, ISBN: 978-1-61520-686-5, Information Science Reference, January 2010, pp. 1053-1075 * D.Petcu, From Grid Computing towards Sky Computing. Case study for Earth Observation, Invited talk at CGW 2010 - Cracow Grid Workshop, October 11-13, 2010 * D. Petcu, D. Zaharie, S. Panica, M. Frincu, M. Neagul, D. Gorgan, and T. Stefanut, Grid-based platform for training in Earth Observation, Geophysical Research Abstracts, Vol. 12, EGU2010-6713-1, 2010 * D. Petcu, D. Zaharie, D. Gorgan, S. Panica, M. Neagul, M. Frincu, V. Bacu, T. Stefanut, On demand Grid services for training in Earth Observation, 5th EGEE User Forum / Contributions book, 68-69. *D. Petcu, S. Panica, M. Neagul, M. Frincu, D. Zaharie, D. Gorgan, T. Stefanut, V. Bacu, GiSHEO: On-line Platform for Training in Earth Observation, ICVL 2010: 5th International Conf. on Virtual Learning, Targu Mures, October 2010, Procs., M. Vlada, G. Albeanu, D.M. Popovici (eds.), Bucharest University Press, ISSN 1844-8933, pp. 290-297 * S. Panica, M. Neagul, D. Petcu, Processing remote sensing images on a Grid-based platform, ICWI2010: IADIS Int. Conference WWW/Internet 2010, Timisoara, October 2010, Procs., B. White, P. Isaias, D. Andone (eds). pp. 397-399 |
* 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 |
Recent Publications
Journal papers
- 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
Conference papers
- 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