Grahonis/math.auth.gr
WebSep 13, 2016 · George Rahonis We consider a first-order logic, a linear temporal logic, star-free expressions and counter-free Büchi automata, with weights, over idempotent, zerodivisor free and totally... WebDepartment of Mathematics Aristotle University of Thessaloniki 54124 Thessaloniki, Greece Office: Glass building, 3rd floor, No 3'.16 E-mail: [email protected] Phone: +302310998330 Fax: +302310998327. Research Interests
Grahonis/math.auth.gr
Did you know?
WebOct 29, 2024 · Kokkaleniou Alexandra. "Ελαχιστοποίηση και υπερ-ελαχιστοποίηση αυτομάτων με βάρη και χωρίς βάρη" WebDepartment of Mathematics Aristotle University of Thessaloniki 54124 Thessaloniki, Greece [email protected], [email protected] Abstract One of the main issues in component-based design is the e cient modelling of the underlying software architecture that determines the topology and the interaction prin-ciples among the components of a ...
WebΌνομα: Ανέστης Φωτιάδης Έτος γέννησης: 1978 Εθνικότητα: Ελληνική Διεύθυνση: Τμήμα Μαθηματικών, Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης, 54124 Θεσσαλονίκη, Ελλάδα Email: [email protected] Εκπαίδευση 10/2002 – 07/2006: Διδακτορικό στα ... WebΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ. www.math.auth.gr . Γραμματεία. Τμήμα Μαθηματικών. Σχολή Θετικών Επιστημών
WebE-mail: {mpittou,grahonis}@math.auth.gr DOI: 10.14232/actacyb.23.1.2024.16 284 Maria Pittou and George Rahonis In this paper we intend to study automata models over infinite alphabets in the quantitative setup. Our motivation origins from the fact that several applications require a quantitative analysis of systems, for instance the resource ... WebFall 2024. Undergraduate. Introduction to Computer Programming (C++) Graduate. Automata over Semirings. Spring 2024.
WebΜαθηματικά Γ' Γυμνασίου: Λύσεις Σχολικού Βιβλίου - Θέματα με Απαντήσεις για τις Προαγωγικές Εξετάσεις - Βοήθημα σε pdf/βιβλίο - Μαθήματα Ιδιαίτερα ή σε Τμήμα
WebDepartment of Mathematics Aristotle University of Thessaloniki 54124 Thessaloniki, Greece [email protected], [email protected] Abstract One of the main issues in component-based design is the e cient modelling of the underlying software … solheim norwayWebDepartment of Mathematics. Aristotle Universityof Thessaloniki. 54124 Thessaloniki,Greece. Office: Glass building, 3rd floor, No 3'.16. E-mail: [email protected]. Phone: +302310998330. Fax: +302310998327. Research … sma grinston backgroundWebOct 4, 2015 · Ο ∆ Η Γ Ο Σ Σ Π Ο Υ ∆ Ω Ν 2 0 1 5 - 2 0 1 6 12 Τομέας ΓΕΩΜΕΤΡΙΑΣ ∆ιευθυντής: Αναπληρωτής Καθηγητής Στυλιανός Σταματάκης Γραμματέας: Μαρία Τσιτσιλιάνου 2310998096 2310998096 [email protected] ΜΕΛΗ ∆.Ε.Π. Αναπληρωτές ... solheim lutheran home facilityWebDepartment of Mathematics Aristotle University of Thessaloniki 54124 Thessaloniki, Greece [email protected] April 17, 2007 Abstract We introduce a weighted logic with discounting and we establish Bu¨chi’s and El-got’s theorem for weighted automata over finite words and arbitrary commutative semirings. sma grinston army body compositionWebDepartmental Coordinator: Full name: Professor Rahonis George Department: School of Mathematics Address: University Campus, 54124 Thessaloniki, Greece Tel: +302310998330 Fax: +302310998330 Email: [email protected] solheim old age home germistonWeb2 Department of Mathematics, Aristotle University of Thessaloniki 54124 Thessaloniki, Greece [email protected] Abstract. We introduce a weighted logic with discounting and we es-tablish B¨uchi’s and Elgot’s theorem for weighted automata over finite words and arbitrary commutative semirings. Then we investigate B¨uchi solheim pronunciation[email protected],[email protected] Abstract In this paper we are interested in the modelling of parametric component-based sys-tems, and more precisely in the specification of their architectures. The topology of parametric systems is described by architectures which characterize the permissible inter-actions among their components. solheim place