Mihnea Muraru

  • Citations Per Year
Learn More
The typical approach for declaratively reasoning about phenomena that evolves in time is to use a cognitive system centered on the given problem domain ontology as a vehicle for knowledge representation and processing. Current ontological-based approaches are successful only for the static structural description of a given domain of discourse. We present a(More)
Folosind paradigma “DNA Computing”, explicată în detaliu în cadrul articolului, construim un model de calculator molecular – o Maşina Turing moleculară. Detaliem operaţiile moleculare întrebuinţate şi cadrul de aplicabilitate al acestora. Apoi, pentru modelul astfel construit, realizăm un simulator comportamental al acestuia. Evidenţiem necesitatea(More)
Please cite this as"Lorina Negreanu, Cristian Giumale, Alexandru Agache, Mihnea Muraru, Matei Popovici, Ciprian Dobre, A Formal Approach for the Development of Service-Oriented Applications, in Proc. of 18th International Conference on Control Systems and Computer Science (CSCS-18), Bucharest, Romania, 2011, pp. 804-810, ISSN: 2066-4451, Politehnica Press"
  • 1