Technische Fakultät

Development of a lightweight hardware for controlling multiple dielectric elastomer actuators (2014) Landgraf M, Reitelshöfer S, Yoo IS, Franke J Conference contribution, Abstract of a poster Burnout optimization of staged small-scale fluidized bed combustion systems (2014) Müller D, Karl J Conference contribution, Conference Contribution Active functionality of piezoceramic modules integrated in aluminum high pressure die castings (2014) Schwankl M, Rübner M, Flössel M, Gebhardt S, Michaelis A, Singer R, Körner C Journal article, Original article Scalable BFT for Multi-Cores: Actor-based Decomposition and Consensus-oriented Parallelization (2014) Behl J, Distler T, Kapitza R Conference contribution Biomass heat pipe reformer—design and performance of an indirectly heated steam gasifier (2014) Karl J Journal article Realms: A structure for consolidating knowledge about mathematical theories (2014) Carette J, Farmer W, Kohlhase M Conference contribution, Original article Flexary operators for formalized mathematics (2014) Horozal F, Rabe F, Kohlhase M Conference contribution, Original article Extension proposal: Records in pragmatic open math (2014) Kohlhase M Conference contribution, Conference Contribution Discourse-level parallel markup and meaning adoption in flexiformal theory graphs (2014) Kohlhase M, Iancu M Conference contribution, Original article A data model and encoding for a semantic, multilingual terminology of mathematics (2014) Kohlhase M Conference contribution