Fakultät für Informatik

View Statistics Email Alert RSS Feed

Details

Informatik.jpg picture
 
Organization Name (en) Name der Organisation (en)
E180 - Faculty of Informatics
 
Organization Name (de) Name der Organisation (de)
E180 - Fakultät für Informatik
 
Code Kennzahl
E180
 
Type of Organization Organisationstyp
Faculty
Parent OrgUnit Übergeordnete Organisation
 
Active Aktiv
 

OrgUnit's Publications


Results 301-320 of 4881 (Search time: 0.014 seconds).

PreviewAuthor(s)TitleTypeIssue Date
301Sessa, Vincenzo Performance Analysis of Column-Store Extensions for Modern-Day Business SegmentsThesis Hochschulschrift2022
302Brayer, Michael Techniques for Bytecode Analysis of Smart ContractsThesis Hochschulschrift2022
303Karabeg, Adna Computational Thinking als Methode zum Erlernen von Französisch als FremdspracheThesis Hochschulschrift2022
304Böhm, Florian Simulating the impact of a bonus-malus system in casco car insurance with Markov chainsThesis Hochschulschrift2022
305Schweidler, Andreas “Mixed Reality Bike” – Development and Evaluation of a Virtual Reality Cycling SimulatorThesis Hochschulschrift2022
306Geyer Lukas - 2022 - Adaptive Sampling in position based fluids.pdf.jpgGeyer, Lukas Adaptive Sampling in position based fluidsThesis Hochschulschrift 2022
307Sing Alexander Odvar Peter - 2022 - Learning 3D pose and target ID for accurate...pdf.jpgSing, Alexander Odvar Peter Learning 3D pose and target ID for accurate multi-target trackingThesis Hochschulschrift 2022
308Deisl Katrin - 2022 - Blurred Boundaries between work And non-work In flexible...pdf.jpgDeisl, Katrin Blurred Boundaries between work And non-work In flexible working arrangements: How to Mentally detach from work In non-work timeThesis Hochschulschrift 2022
309Suhih Anja - 2022 - Incentive mechanisms in fog computing.pdf.jpgSuhih, Anja Incentive mechanisms in fog computingThesis Hochschulschrift 2022
310Sippl Tobias - 2022 - Stereoscopic panorama stitching.pdf.jpgSippl, Tobias Stereoscopic panorama stitchingThesis Hochschulschrift 2022
311Auer Andreas - 2022 - VT-KGNN A Valid time knowledge graph neural network.pdf.jpgAuer, Andreas VT-KGNN: A Valid time knowledge graph neural networkThesis Hochschulschrift 2022
312Mayerhofer Jonas - 2022 - Minimizing makespan in flow shops with a reinforcement...pdf.jpgMayerhofer, Jonas Minimizing makespan in flow shops with a reinforcement learning like approach : A learning beam search for the no-wait flow shop scheduling problem with release timesThesis Hochschulschrift 2022
313Ruiss Martin - 2022 - Game semantics - The full abstraction problem for PCF.pdf.jpgRuiss, Martin Game semantics - The full abstraction problem for PCFThesis Hochschulschrift 2022
314Kuroll Alexander - 2022 - A system for the automated creation of book-like...pdf.jpgKuroll, Alexander A system for the automated creation of book-like documents from lecture slidesThesis Hochschulschrift 2022
315Hofer Mathias - 2022 - Towards parallel algorithms for abstract dialectical...pdf.jpgHofer, Mathias Towards parallel algorithms for abstract dialectical frameworksThesis Hochschulschrift 2022
316Lackner Andreas - 2022 - Non-Linear reasoning in the superposition calculus.pdf.jpgLackner, Andreas Non-Linear reasoning in the superposition calculusThesis Hochschulschrift 2022
317Hader Thomas - 2022 - Non-linear SMT-reasoning over finite fields.pdf.jpgHader, Thomas Non-linear SMT-reasoning over finite fieldsThesis Hochschulschrift 2022
318Wiedemair Florian - 2022 - Large-scale multi-agent meeting scheduling using an...pdf.jpgWiedemair, Florian Large-scale multi-agent meeting scheduling using an altruistic matching heuristicThesis Hochschulschrift 2022
319Furutanpey Alireza - 2022 - Persistable distributable and versionable...pdf.jpgFurutanpey, Alireza Persistable, distributable and versionable application state for cloud service emulatorsThesis Hochschulschrift 2022
320Gallauner Alexander - 2022 - Area monitoring with gossip for...pdf.jpgGallauner, Alexander Area monitoring with gossip for spatially-distributed internet of thingsThesis Hochschulschrift 2022