@article{FassbenderVogler1994, author = {Faßbender, Heinz and Vogler, Heiko}, title = {A universal unification algorithm based on unification-driven leftmost outermost narrowing}, series = {Acta Cybernetica. 11 (1994), H. 3}, journal = {Acta Cybernetica. 11 (1994), H. 3}, isbn = {0324-721x}, pages = {139 -- 167}, year = {1994}, language = {en} } @article{FassbenderMoessleVogler1996, author = {Faßbender, Heinz and M{\"o}ßle, Andrea and Vogler, Heiko}, title = {Implementation of a deterministic partial e-unification algorithm for macro tree transducers}, series = {Journal of functional and logic programming. 1996 (1996), H. 2}, journal = {Journal of functional and logic programming. 1996 (1996), H. 2}, isbn = {1080-5230}, year = {1996}, language = {en} } @article{FassbenderManeth1998, author = {Faßbender, Heinz and Maneth, Sebastian}, title = {A strict border for the decidability of e-unification for recursive functions / Faßbender, Heinz ; Maneth, Sebastian}, series = {Journal of functional and logic programming. 1998 (1998), H. 4}, journal = {Journal of functional and logic programming. 1998 (1998), H. 4}, isbn = {1080-5230}, year = {1998}, language = {en} } @article{FassbenderManeth1996, author = {Faßbender, Heinz and Maneth, Sebastian}, title = {A strict border for the decidability of e-unification for recursive functions / Faßbender, Heinz ; Maneth, Sebastian}, series = {Algebraic and logic programming : proceedings / 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Michael Hanus ... (ed.)}, journal = {Algebraic and logic programming : proceedings / 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Michael Hanus ... (ed.)}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-61735-3}, pages = {194 -- 208}, year = {1996}, language = {en} } @article{FassbenderBuehler1999, author = {Faßbender, Heinz and B{\"u}hler, Gerhard}, title = {Making a C2 information system platform independent by using internet and middleware technologies}, series = {Proceedings of the 1999 Command and Control Research and Technology Symposium, Juni 1999, Newport, USA}, journal = {Proceedings of the 1999 Command and Control Research and Technology Symposium, Juni 1999, Newport, USA}, pages = {1 -- 11}, year = {1999}, language = {en} } @article{FassbenderBuehler2000, author = {Faßbender, Heinz and B{\"u}hler, Gerhard}, title = {The join of a geographical situation display system and a platform independent C2 information system}, series = {Proceedings of the 2000 Command and Control Research and Technology Symposium, Juni 2000, Monterey, USA}, journal = {Proceedings of the 2000 Command and Control Research and Technology Symposium, Juni 2000, Monterey, USA}, pages = {1 -- 7}, year = {2000}, language = {en} } @article{FassbenderBuehler2001, author = {Faßbender, Heinz and B{\"u}hler, Gerhard}, title = {Modelling command and control information systems by UML}, series = {Proceedings of the Information Systems Technology Panel Symposium / Information Management Challenges in Achieving Coalition Interoperability, Mai 2001, Quebec City, Kanada}, journal = {Proceedings of the Information Systems Technology Panel Symposium / Information Management Challenges in Achieving Coalition Interoperability, Mai 2001, Quebec City, Kanada}, pages = {7-1 -- 7-9}, year = {2001}, language = {en} } @article{FassbenderBuehler2002, author = {Faßbender, Heinz and B{\"u}hler, Gerhard}, title = {An experimental command and control information system based on Enterprise Java bean technology}, series = {Proceedings of the 7th International Command and Control Research and Technology Symposium, September 2002, Quebec City, Kanada}, journal = {Proceedings of the 7th International Command and Control Research and Technology Symposium, September 2002, Quebec City, Kanada}, pages = {1 -- 8}, year = {2002}, language = {en} } @article{FassbenderBuehler2000, author = {Faßbender, Heinz and B{\"u}hler, Gerhard}, title = {Plattformunabh{\"a}ngige Verwendbarkeit eines F{\"u}hrungsinformationssystems durch den Einsatz von CORBA und Java}, series = {Proceedings zum Workshop}, journal = {Proceedings zum Workshop}, publisher = {Univ. der Bundeswehr, Fak. Informatik}, address = {Neubiberg}, year = {2000}, language = {de} } @article{FassbenderBuehler1999, author = {Faßbender, Heinz and B{\"u}hler, Gerhard}, title = {Applying Ada, Java and CORBA for making a command and control information system platform independent}, series = {Proceedings : (SIGAda '99) ; October 17 - 21, 1999 ; Crowne Plaza, Redondo Beach \& Marine Hotel, Redondo Beach, CA, USA / ACM SIGAda Annual International Conference}, journal = {Proceedings : (SIGAda '99) ; October 17 - 21, 1999 ; Crowne Plaza, Redondo Beach \& Marine Hotel, Redondo Beach, CA, USA / ACM SIGAda Annual International Conference}, publisher = {ACM}, address = {New York, NY}, isbn = {1-58113-127-5}, pages = {83 -- 88}, year = {1999}, language = {en} } @article{Fassbender2001, author = {Faßbender, Heinz}, title = {Reengineering an Ada95-programmed command and control information system by using UML}, series = {Proceedings : September 30 - October 4, 2001, Twin Cities, Best Western The Thunderbird Hotel \& Convention Center, Bloomington, MN, USA / ACM SIGAda Annual International Conference (SIGAda 2001)}, journal = {Proceedings : September 30 - October 4, 2001, Twin Cities, Best Western The Thunderbird Hotel \& Convention Center, Bloomington, MN, USA / ACM SIGAda Annual International Conference (SIGAda 2001)}, publisher = {ACM}, address = {New York, NY}, isbn = {1-58113-392-8}, pages = {53 -- 60}, year = {2001}, language = {en} } @article{Fassbender1993, author = {Faßbender, Heinz}, title = {Implementation of a universal unification algorithm for macro tree transducers}, series = {Fundamentals of computation theory : proceedings / 9th International Conference, FCT '93, Szeged, Hungary, August 23 - 27, 1993. Zolt{\´a}n {\´E}sik (ed.)}, journal = {Fundamentals of computation theory : proceedings / 9th International Conference, FCT '93, Szeged, Hungary, August 23 - 27, 1993. Zolt{\´a}n {\´E}sik (ed.)}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-57163-9}, pages = {222 -- 233}, year = {1993}, language = {en} } @article{Fassbender1995, author = {Faßbender, Heinz}, title = {Implementation of a UU-Algorithm for primitive recursive tree functions}, series = {Fundamentals of computation theory : proceedings / 10th International Conference, FCT '95, Dresden, Germany, August 22 - 25, 1995. Horst Reichel (ed.)}, journal = {Fundamentals of computation theory : proceedings / 10th International Conference, FCT '95, Dresden, Germany, August 22 - 25, 1995. Horst Reichel (ed.)}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-60249-6}, pages = {233 -- 242}, year = {1995}, language = {en} } @article{Fassbender1995, author = {Faßbender, Heinz}, title = {A verified implementation of narrowing}, series = {Programming languages: implementations, logics and programs : proceedings / 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Manuel Hermenegildo ... (ed.)}, journal = {Programming languages: implementations, logics and programs : proceedings / 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Manuel Hermenegildo ... (ed.)}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-60359-X}, pages = {63 -- 80}, year = {1995}, language = {en} } @article{FassbenderSchmittSchoeningetal.2000, author = {Faßbender, F. and Schmitt, G. and Sch{\"o}ning, Michael Josef and L{\"u}th, H. and Buß, G. and Schultze, J. W.}, title = {Optimization of passivation layers for corrosion protection of silicon-based microelectrode arrays}, series = {Sensors and Actuators B. 68 (2000), H. 1-3}, journal = {Sensors and Actuators B. 68 (2000), H. 1-3}, isbn = {0925-4005}, pages = {128 -- 133}, year = {2000}, language = {en} } @article{FassbenderSchmittSchoeningetal.1999, author = {Faßbender, F. and Schmitt, G. and Sch{\"o}ning, Michael Josef and L{\"u}th, H. and Buß, G. and Schultze, J. W.}, title = {Passivation and corrosion of microsensor devices exemplified at microelectrode arrays}, series = {Proceedings : The Hague, The Netherlands, September 12 - 15, 1999 / [ed. by M. Bartek]. Vol 1.}, journal = {Proceedings : The Hague, The Netherlands, September 12 - 15, 1999 / [ed. by M. Bartek]. Vol 1.}, address = {The Hague, The Netherlands}, isbn = {90-76699-02-X}, pages = {953 -- 956}, year = {1999}, language = {en} } @article{FayyaziSardarThomasetal.2023, author = {Fayyazi, Mojgan and Sardar, Paramjotsingh and Thomas, Sumit Infent and Daghigh, Roonak and Jamali, Ali and Esch, Thomas and Kemper, Hans and Langari, Reza and Khayyam, Hamid}, title = {Artificial intelligence/machine learning in energy management systems, control, and optimization of hydrogen fuel cell vehicles}, volume = {15}, number = {6}, publisher = {MDPI}, address = {Basel}, doi = {10.3390/su15065249}, pages = {38}, year = {2023}, abstract = {Environmental emissions, global warming, and energy-related concerns have accelerated the advancements in conventional vehicles that primarily use internal combustion engines. Among the existing technologies, hydrogen fuel cell electric vehicles and fuel cell hybrid electric vehicles may have minimal contributions to greenhouse gas emissions and thus are the prime choices for environmental concerns. However, energy management in fuel cell electric vehicles and fuel cell hybrid electric vehicles is a major challenge. Appropriate control strategies should be used for effective energy management in these vehicles. On the other hand, there has been significant progress in artificial intelligence, machine learning, and designing data-driven intelligent controllers. These techniques have found much attention within the community, and state-of-the-art energy management technologies have been developed based on them. This manuscript reviews the application of machine learning and intelligent controllers for prediction, control, energy management, and vehicle to everything (V2X) in hydrogen fuel cell vehicles. The effectiveness of data-driven control and optimization systems are investigated to evolve, classify, and compare, and future trends and directions for sustainability are discussed.}, language = {en} } @article{FateriHoetterGebhardt2012, author = {Fateri, Miranda and H{\"o}tter, Jan-Steffen and Gebhardt, Andreas}, title = {Experimental and Theoretical Investigation of Buckling Deformation of Fabricated Objects by Selective Laser Melting}, series = {Physics Procedia}, volume = {39}, journal = {Physics Procedia}, publisher = {Elsevier}, address = {Amsterdam}, issn = {1875-3892}, doi = {10.1016/j.phpro.2012.10.062}, pages = {464 -- 470}, year = {2012}, abstract = {Although Selective Laser Melting (SLM) process is an innovative manufacturing method, there are challenges such as inferior mechanical properties of fabricated objects. Regarding this, buckling deformation which is caused by thermal stress is one of the undesired mechanical properties which must be alleviated. As buckling deformation is more observable in hard to process materials, silver is selected to be studied theoretically and experimentally for this paper. Different scanning strategies are utilized and a Finite Element Method (FEM) is applied to calculate the temperature gradient in order to determine its effect on the buckling deformation of the objects from experiments.}, language = {en} } @article{FateriGebhardtThuemmleretal.2014, author = {Fateri, Miranda and Gebhardt, Andreas and Th{\"u}mmler, Stefan and Thurn, Laura}, title = {Experimental investigation on selective laser melting of glass}, series = {Physics procedia : 8th International Conference on Laser Assisted Net Shape Engineering LANE 2014}, volume = {56 (2014)}, journal = {Physics procedia : 8th International Conference on Laser Assisted Net Shape Engineering LANE 2014}, publisher = {Elsevier}, address = {Amsterdam}, issn = {1875-3892 (E-Journal); 1875-3884 (Print)}, doi = {10.1016/j.phpro.2014.08.118}, pages = {357 -- 364}, year = {2014}, language = {en} } @article{FateriGebhardt2015, author = {Fateri, Miranda and Gebhardt, Andreas}, title = {Additive manufactured mechanical disentanglement lock}, series = {RTejournal - Forum f{\"u}r Rapid Technologie}, volume = {12}, journal = {RTejournal - Forum f{\"u}r Rapid Technologie}, publisher = {Fachhochschule Aachen}, address = {Aachen}, issn = {1614-0923}, url = {http://nbn-resolving.de/urn:nbn:de:0009-2-42147}, year = {2015}, language = {en} }