Inscriere cercetatori

Premii Ad Astra

premii Ad Astra

Asociația Ad Astra a anunțat câștigătorii Premiilor Ad Astra 2022: http://premii.ad-astra.ro/. Proiectul și-a propus identificarea și popularizarea modelelor de succes, a rezultatelor excepționale ale cercetătorilor români din țară și din afara ei.

Asociatia Ad Astra a cercetatorilor romani lanseaza BAZA DE DATE A CERCETATORILOR ROMANI DIN DIASPORA. Scopul acestei baze de date este aceea de a stimula colaborarea dintre cercetatorii romani de peste hotare dar si cu cercetatorii din Romania. Cercetatorii care doresc sa fie nominalizati in aceasta baza de date sunt rugati sa trimita un email la cristian.presura@gmail.com

Publicaţii

Domenii publicaţii: Biologie | Chimie | Economie | Fizica | Interes general | Matematica | Ştiinţe informatice | Stiinte ingineresti | Ştiinţe medicale | Ştiinţe politice | Ştiinţe sociale | Stiinte umaniste | Ştiinţele pământului şi planetare

Tipuri publicaţii: Articol în revistã ştiinţificã | Articol în volumul unei conferinţe | Capitol de carte | Carte | Teze şi Dizertaţii | Tezã de doctorat (nepublicatã) | Tezã de masterat (nepublicatã)


G. Albeanu On some methods for non-stationary time series analysis: a Java – based software. International Journal of Computers, Communications & Control, Supplementary issue - Proceedings of ICCCC 2006, p.62-67, 2006.

Ana-Maria Marhan, F. Paterno', Carmen Santoro Designing Distributed Task Performance In Safety-Critical Systems Equipped With Mobile Devices. Proceedings of HESSD 2004, IFIP TC13/WG13.5 7th Working Conference on Human Error, Safety and Systems Development, Toulouse, France, 22-27 August 2004, p. 301-317, 2004.

Razvan Racu, Kai Richter, Rolf Ernst Calculating Task Output Event Models to Reduce Distributed System Cost. GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2004.

Razvan Racu, Marek Jersak, Rolf Ernst Applying Sensitivity Analysis in Real-Time Distributed Systems. 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2005.

Razvan Racu, Rolf Ernst Scheduling Anomaly Detection and Optimization for Distributed Systems with Preemptive Task-Sets. 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2006.

Razvan Racu, Arne Hamann, Rolf Ernst A Formal Approach to Multi-Dimensional Sensitivity Analysis of Embedded Real-Time Systems. Proceedings of the 18th Euromicro Conference on Real-Time Systems (ECRTS), 2006.

Grigore ALBEANU, Poul Thyregod, Henrik Madsen and Florin Popentiu-Vladicescu On Using Six Sigma Methodology for Software Quality Assurance. Proceedings of ENBIS-6 Wroclaw, 2006.

Stefan Trausan-Matu Metaphor Processing for Learning Terminology on the Web. Lecture Notes in Artificial Intelligence, p.232-241, 2000.

Rãzvan V. Florian, Raul C. Mureşan Phase precession and recession with STDP and anti-STDP. Lecture Notes in Computer Science, p.718-727, 2006.

Mihai Dupac, David Beale and Ruel A. Overfelt 3D Lumped Mass/Lumped Spring Modeling and Nonlinear Behavior of a Levitated Droplet. Nonlinear Dynamics, p.25-42, 2005.

Rãzvan V. Florian Spiking neural controllers for pushing objects around. Lecture Notes in Artificial Intelligence, p.570-581, 2006.

Ariton Viorel Handling Qualitative Aspects of Human Knowledge in Diagnosis. Journal of Intelligent Manufacturing, p.615-634, 2005.

Florentin Ipate Bounded Sequence Testing from Non-deterministic Finite State Machines. TestCom 2006, p.55-70, 2006.

Florentin Ipate Testing against a non-controllable stream X-machine using state counting. Theor. Comput. Sci., p.291-316, 2006.

F.L. Tiplea, A. Tiplea A Simulation Preorder for Abstraction of Reactive Systems. Proceedings of 3rd International Workshop on "Verification, Model Checking and Abstract Interpretation", Lecture Notes in Computer SCience, p.272-288, 2002.

F.L. Tiplea, E. Mäkinen, D. Trinca, C. Enea Characterization Results for Time-Varying Codes. Fundamenta Informaticae, p.1-13, 2002.

F.L. Tiplea, D.C. Marinescu Structural Soundness for Workflow Nets is Decidable. Information Processing Letters, p.54-58, 2005.

F.L. Tiplea, C. Enea Abstractions of Data Types. Acta Informatica, p.639-671, 2006.

Martin Abadi, Bogdan Warinschi Security Analysis of Cryptographically Controlled Access to XML Documents. Proceedings of Principles of Database Systems -- PODS'05, 2005.

Sorin A. Matei From Counterculture to Cyberculture: Virtual Community Discourse and the Dilemma of Modernity. Journal of Computer Mediated Communication, 2005.

EGAN C., STEVEN G., QUICK P., ANGUERA R., VINTAN L. Two-Level Branch Prediction using Neural Networks. Journal of Systems Architecture, 2003.

Gabriel Istrate, Anders Hansson and Guanhua Yan Packet Reordering Metrics: Some Methodological Considerations. Proceedings of the Second International Conference on Networking and Services (ICNS'06), Workshop on Internet Packet Dynamics, San Jose CA, 2006.

I. Buciu, and I. Pitas DNMF modeling of neural receptive fields involved in human facial expression perception. Journal of Visual Communication and Image Representation, p.958 - 969, 2006.

I. Buciu, C. Kotropoulos, and I. Pitas Demonstrating the stability of support vector machines for classification. Signal Processing, p.2364-2380, 2006.

I. Buciu, A. Caplier, Z. Hammal, N. Nikolaidis, I. Pitas Enhancing the facial expression classification by information fusion. European Signal Processing Conference (EURASIP), 2006.

I. Buciu, N. Nikolaidis, and I. Pitas A comparative study of NMF, DNMF, and LNMF algorithms applied for face recognition. 2006 Second IEEE-EURASIP International Symposium on Control, Communications, and Signal Processing (ISCCSP), Marrakech, Morocco, 2006.

I. Buciu, N. Nikolaidis, and I. Pitas On the initialization of the DNMF algorithm. 2006 IEEE International Symposium on Circuits and Systems (ISCAS 2006), 2006.

S. Zaferious, A. Tefas, I. Buciu, and I. Pitas Class-specific discriminant non-negative matrix factorization for frontal face verification. Proc. 2005 International Conference on Advance in Pattern Recognition (ICAPR 2005), Bath, United Kingdom, 2005.

I. Buciu, I Kotsia and I. Pitas Facial expression recognition under partial occlusion. Proc. 2005 IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP 2005), p.453 – 456, 2005.

I. Buciu and I. Pitas A new sparse image representation algorithm applied to facial expression recognition. Proc. IEEE Workshop on Machine Learning for Signal Processing, Sao Luis, Brasil, p.539 – 548, 2004.

I. Buciu and I. Pitas Application of non-negative and local non negative matrix factorization to facial expression recognition. Proc. 2004 International Conference on Pattern Recognition (ICPR 2004), p.288-291, 2004.

S. Krinidis, I. Buciu and I. Pitas Facial expression analysis and synthesis: A survey (invited paper). Proceedings of HCI International 2003, 10th Int. Conference on Human-Computer Interaction, p.1432 – 143, 2003.

I. Buciu, C. Kotropoulos and I. Pitas ICA and Gabor representations for facial expression recognition. Proc. 2003 IEEE International Conference on Image Processing (ICIP 2003), Barcelona, Spain, p.1054 – 105, 2003.

I. Buciu, C. Kotropoulos, I. Pitas Face detection by using independent component decomposition. Proc. of Workshop Dynamic Perception, Bochum, Germany, p.257 – 252, 2002.

I. Buciu, C. Kotropoulos, I. Pitas On the stability of support vector machines for face detection. 2002 IEEE International Conference on Image Processing (ICIP 2002), Rochester, N. Y., USA, p.121 – 124, 2002.

I. Buciu, C. Kotropoulos, I. Pitas Combining support vector machine for accurate face detector. Proc. 2001 IEEE International Conference on Image Processing (ICIP 2001), p.1054 – 105, 2001.

A. Fazekas, C. Kotropoulos, I. Buciu and I. Pitas Support vector machines on the space of Walsh functions and their properties. 2nd International Symposium on Image and Signal Processing and Analysis, ISPA, Pula, Croatia, p.43-48, 2001.

Anders Hansson, Gabriel Istrate and Shiva Prasad Kasiviswanathan Combinatorics of TCP Reordering. Journal of Combinatorial Optimization, p.57-70, 2006.

Marco Bekooij, Rob Hoes, Orlando Moreira, Peter Poplavko, Milan Pastrnak, Bart Mesman, Jan David Mol, Sander Stuijk, Valentin Gheorghita, Jef van Meerbergen Dataflow Analysis for Real-Time Embedded Multiprocessor System Design. Dynamic and Robust Streaming in and between Connected Consumer-Electronic Devices, p.81-108, 2005.

S.V. Gheorghita, T.Basten, H. Corporaal Intra-task Scenario-aware Voltage Scheduling. Proceedings of the International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES), p.177-184, 2005.

S.V. Gheorghita, S. Stuijk, T.Basten, H. Corporaal Automatic Scenario Detection for Improved WCET Estimation. Proceedings of the 42nd Design Automation Conference, p.101-104, 2005.

H. Madsen, P. Thyregod, B. Burtschy, G. Albeanu, F. Popentiu On Using Soft ComputingTechniques in Software Reliability Engineering. International Journal of Reliability, Quality, and Safety Engineering, p.1-12, 2006.

Gabriel Istrate, Anders Hansson, Madhav V. Marathe, Sunil Thulasidasan and Christopher L. Barrett Semantic compression of TCP traces. Proceedings of the IFIP NETWORKING Conference, F. Boavida et al. (editors), p.123-135, 2006.

Allon Percus, Gabriel Istrate and Cristopher Moore When Statistical Physics Meets Computation. Computational Complexity and Statistical Physics, p.3-30, 2005.

Gabriel Istrate, Madhav V. Marathe and S. S. Ravi Adversarial scheduling in discrete models of social dynamics. Mathematical Structures in Computer Science, p.788-815, 2012.

Cristian Calude, Gabriel Istrate and Marius Zimand Recursive Baire Classification and Speedable Functions. Zeitschrift fur Mathematical Logik und Grundlagen der Mathematik (now called Mathematical Logic Quarterly), p.169-178, 1992.

Cristian Calude and Gabriel Istrate Determining and Stationary Sets for Some Classes of Partial Recursive Functions. Theoretical Computer Science, p. 151-155, 1991.

Gabriel Istrate, Gheorghe Paun Some Combinatorial Properties of Self-reading Sequences. Discrete Applied Mathematics, 1994.

Gabriel Istrate Self-reading sequences. Discrete Applied Mathematics, 1994.

Gabriel Istrate The Strong Equivalence of ET0L Grammars. Information Processing Letters, p. 171-176, 1997.