Michael F. Dossis

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 4

Top Topics

Air Conditioning

Robotic Manipulator

Inverse Kinematics

Top Venues

Panhellenic Conference on Informatics

Int. J. Manuf. Mater. Mech. Eng.

Publications

Konstantinos Korakis, Michael F. Dossis
"Technician of Refrigeration, Ventilation, and Air Conditioning Installations": ANew Approach of the Modern Curricula in the Mechanical Sector of the 3rd Class of the Vocational School. SEEDA-CECNSM (2023)
George Sisias, Sotirios Kontogiannis, Myrto Konstantinidou, Michael F. Dossis
Preliminary results of a proposed CNN framework for use in motorway applicable detection systems. SEEDA-CECNSM (2020)
Nikolaos E. Karkalos, Angelos P. Markopoulos, Michael F. Dossis
Optimal Model Parameters of Inverse Kinematics Solution of a 3R Robotic Manipulator Using ANN Models. Int. J. Manuf. Mater. Mech. Eng. 7 (3) (2017)
Angelos P. Markopoulos, Michael F. Dossis, Anastasios Fragkou, Petros D. Kasidiaris
Gamifying e-learning as a Means of Overcoming Its Deficiencies. SEEDA-CECNSM (2016)
Michael F. Dossis
A Floating-Point Paradigm for High-level Synthesis. Panhellenic Conference on Informatics (2014)
Michael F. Dossis
Formal ESL Synthesis for Control-Intensive Applications. Adv. Softw. Eng. 2012 (2012)
Michael F. Dossis
Intermediate Predicate Format for Design Automation Tools. J. Next Gener. Inf. Technol. 1 (1) (2010)
Michael F. Dossis
Using an XML schema to validate a formal hardware compiler. SMAP (2010)
Michael F. Dossis
Provably-Correct, Behavioural High-Level Synthesis of Program Accelerators via the Web. J. Next Gener. Inf. Technol. 1 (1) (2010)
Michael F. Dossis
Synthesis of provably-correct hardware with options. ICECS (2010)
Michael F. Dossis
Automatic Generation of Massively Parallel Hardware from Control-Intensive Sequential Programs. ISVLSI (2010)
Michael F. Dossis
Automated Extraction of Hardware Accelerators Via an Intelligent Knowledge-based System. Int. J. Intell. Inf. Process. 1 (2) (2010)
Michael F. Dossis, T. Themelis, L. Markopoulos
A Web Service to Generate Program Coprocessors. SMAP (2009)