Lampros Batalas
Frankfurt, Hessen, Deutschland
1187 Follower:innen
500+ Kontakte
Aktivitäten
-
🎥 Unclickable: Το ντοκιμαντέρ του Μπάμπη Μακρίδη και του Guy Krief για τον σκοτεινό κόσμο της ψηφιακής διαφημιστικής απάτης 👉🏻 Γυρισμένη εν…
🎥 Unclickable: Το ντοκιμαντέρ του Μπάμπη Μακρίδη και του Guy Krief για τον σκοτεινό κόσμο της ψηφιακής διαφημιστικής απάτης 👉🏻 Γυρισμένη εν…
Beliebt bei Lampros Batalas
-
Let’s Encrypt, a leading provider of free SSL/TLS certificates, has officially announced its timeline for discontinuing support for the Online…
Let’s Encrypt, a leading provider of free SSL/TLS certificates, has officially announced its timeline for discontinuing support for the Online…
Beliebt bei Lampros Batalas
Berufserfahrung
Ausbildung
Bescheinigungen und Zertifikate
Veröffentlichungen
-
Formal Proofs in Maths: Book 1 First Order Algebra (Volume 1)
CreateSpace Independent Publishing Platform; 1 edition
The scope of Formal Proofs in Maths is to teach students between higher school classes and University undergraduate or postgraduate studies , how to write a formal proof with the true meaning of the concept, of simple theorems in Algebra, particulary in identities concerning equalities, equations and inequalities. This is accomplished by writing four different types of proof namely type(A), type(B), type(C) and type(D) for each theorem or exercise. In TYPE(A) ordinary proofs will be cited in…
The scope of Formal Proofs in Maths is to teach students between higher school classes and University undergraduate or postgraduate studies , how to write a formal proof with the true meaning of the concept, of simple theorems in Algebra, particulary in identities concerning equalities, equations and inequalities. This is accomplished by writing four different types of proof namely type(A), type(B), type(C) and type(D) for each theorem or exercise. In TYPE(A) ordinary proofs will be cited in the usual narrative style used by experienced mathematicians. In TYPE(B) a rigorous proof in steps will be introduced to the reader. Each line of that proof will be justified by an appropriate axiom, theorem or definition. In TYPE(C) we will try for a smooth transition from a rigorous proof to a formal proof exposing the way that the laws of logic apply on one or more statements of the proof. In TYPE(D) we will simply write in tabular stepwise form, the results of TYPE(C) mentioning both: 1) Axioms, theorems or definitions. 2) The laws of logic. Hence, finally producing a formal proof according to the definition given in the preface note of the book.
Andere Autor:innenVeröffentlichung anzeigen
Projekte
-
N-Lex
N-Lex is a European Commission project designed to offer a gateway to National Law; an interface between users and databases on national legislation of EU countries. The aim was to migrate the old CMS website (CWCMS) into a new Drupal website. Involved in the hole lifecycle of the project:
• Analysis and design of requirements
• Design of Drupal target data model (Menus, Context, Content Types, Blocks etc)
• Development of the new website structure
• Development of migration scripts…N-Lex is a European Commission project designed to offer a gateway to National Law; an interface between users and databases on national legislation of EU countries. The aim was to migrate the old CMS website (CWCMS) into a new Drupal website. Involved in the hole lifecycle of the project:
• Analysis and design of requirements
• Design of Drupal target data model (Menus, Context, Content Types, Blocks etc)
• Development of the new website structure
• Development of migration scripts (custom module), pointing to the target data model, using Migrate and Integration contrib. modules; Custom migration scripts used to parse and save the old content (JSON export files of old menus and content) into Drupal.
• Contributing into theme and custom module (custom form and its functionality) development.
• Testing and operational stuffs (installation setup, deployments, checking coding standards, creation of Documents etc)
• Technologies used: Drupal, PHP, JAVA, jQuery, Bootstrap, HTML, CSS, SQL, XML, JSON, GitHub, Drush, CentOS, LAMP, JIRA. -
Thesis: Online Queue Management System
3 Main parts:
• Queue Management System: A typical M/M/1 queue system written in Python.
• Database; stores all data produced by the queue management system
• Web application; displays real time data such as current service number, current number of waiting customers etc. Also, customers can retrieve data such as total number of clients, their average waiting time, and the department with the current minimum waiting time.
• Technologies used: Joomla, PHP, Python, LAMP, MySQL…3 Main parts:
• Queue Management System: A typical M/M/1 queue system written in Python.
• Database; stores all data produced by the queue management system
• Web application; displays real time data such as current service number, current number of waiting customers etc. Also, customers can retrieve data such as total number of clients, their average waiting time, and the department with the current minimum waiting time.
• Technologies used: Joomla, PHP, Python, LAMP, MySQL, AJAX, jQuery, JSON, XML, CSS -
Tiresias
–
Tiresias is a web-based software designed for material, weapons and human resource management. Most major functions of Tiresias are:
• Data input via forms
• Data retrieval and processing via appropriate (dependent) options
• Distinguish between charged and non-charged weapons (guns, bayonets), materials etc
• User reminders for urgent needs such as materials shortage, non-charged soldiers or reservists, weapons in temporary custody (they must return to the person on a given…Tiresias is a web-based software designed for material, weapons and human resource management. Most major functions of Tiresias are:
• Data input via forms
• Data retrieval and processing via appropriate (dependent) options
• Distinguish between charged and non-charged weapons (guns, bayonets), materials etc
• User reminders for urgent needs such as materials shortage, non-charged soldiers or reservists, weapons in temporary custody (they must return to the person on a given date)
• Printing official military documents
• Technologies used: PHP, MySQL, HTML, CSS, AJAX, jQuery
Sprachen
-
English
Fließend
-
Greek
Muttersprache oder zweisprachig
-
Italian
Grundkenntnisse
Weitere Aktivitäten von Lampros Batalas
-
Ministry of Testing #Athens is a community with amazing professionals who inspire, challenge ans grow together! Let’s keep sharing the knowledge! I…
Ministry of Testing #Athens is a community with amazing professionals who inspire, challenge ans grow together! Let’s keep sharing the knowledge! I…
Beliebt bei Lampros Batalas
-
Looking forward to the upcoming #HRScaleUpSummit organized by Startup Pathways! The event will spotlight top corporate practices and integrate them…
Looking forward to the upcoming #HRScaleUpSummit organized by Startup Pathways! The event will spotlight top corporate practices and integrate them…
Beliebt bei Lampros Batalas
-
Today we are back with the second highlight- the reliable operation of Single Intraday Coupling (SIDC). In 2024, #SIDC traded volumes kept growing…
Today we are back with the second highlight- the reliable operation of Single Intraday Coupling (SIDC). In 2024, #SIDC traded volumes kept growing…
Beliebt bei Lampros Batalas
-
Bulgaria and Romania belong fully to the Schengen area. Removing internal controls at land borders is the last hurdle. We welcome the positive…
Bulgaria and Romania belong fully to the Schengen area. Removing internal controls at land borders is the last hurdle. We welcome the positive…
Beliebt bei Lampros Batalas
-
“𝘐𝘯 𝘚𝘦𝘢𝘳𝘤𝘩 𝘰𝘧 𝘌𝘹𝘤𝘦𝘭𝘭𝘦𝘯𝘤𝘦” is a timeless & groundbreaking management book published in 1982 that explores why some companies…
“𝘐𝘯 𝘚𝘦𝘢𝘳𝘤𝘩 𝘰𝘧 𝘌𝘹𝘤𝘦𝘭𝘭𝘦𝘯𝘤𝘦” is a timeless & groundbreaking management book published in 1982 that explores why some companies…
Beliebt bei Lampros Batalas