Bibliographie (komplett)
Treffer 1 - 50 von 10361 Ergebnissen
Blättern
- Sie sind auf Seite:1-50
- 51-100
- 101-150
- letzte Seite
- nächste Seite
- 251-300
-
Quelle
-
[Fachzeitschriftenartikel]
Gao, Lin; Lai, Yu-Kun; Yang, Jie; Zhang, Ling-Xiao; Xia, Shihong; Kobbelt, Leif
Sparse Data Driven Mesh Deformation
IEEE transactions on visualization and computer graphics: TVCG, 27, 3, 2085-2100 (2019)
[DOI: 10.1109/TVCG.2019.2941200] -
[Fachzeitschriftenartikel]
Tönshoff, Jan; Ritzert, Martin; Wolf, Hinrikus; Grohe, Martin
Graph Neural Networks for Maximum Constraint Satisfaction
Frontiers in artificial intelligence, 3, 580607 (2021)
[DOI: 10.3389/frai.2020.580607] -
[Buch]
Barthe, Gilles; Katoen, Joost-Pieter; Silva, Alexandra
Foundations of probabilistic programming
, xiv, 568 Seiten : Illustrationen (2020)
[DOI: 10.1017/9781108770750] -
[Buch, Bericht]
Nagl, Manfred
Process Interaction Diagrams are more than Process Chains or Transport Networks
, 18 Seiten : Diagramme (2021) -
[Buch, Bericht]
Nagl, Manfred
Embedded Systems : Simple Rules to Improve Adaptability
, 23 Seiten : Diagramme (2021) -
[Buch, Bericht]
Nagl, Manfred
An Integrative Approach for Software Architectures
, 26 Seiten : Diagramme (2021) -
[Preprint]
Hofmann, Till; Lakemeyer, Gerhard
Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints
, 10 Seiten (2021) -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Mataré, Victor; Viehmann, Tarik; Hofmann, Till; Lakemeyer, Gerhard; Ferrein, Alexander; Schiffer, Stefan
Portable High-level Agent Programming with golog++
Proceedings of the 13th International Conference on Agents and Artificial Intelligence. / Ana Paula Rocha, Luc Steels, Jaap van den Herik (Eds.). - Volume 2, 218-227 (2021)
[DOI: 10.5220/0010253902180227] -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Hofmann, Till; Viehmann, Tarik; Gomaa, Mostafa; Habering, Daniel; Niemüller, Tim Dieter; Lakemeyer, Gerhard
Multi-Agent Goal Reasoning with the CLIPS Executive in the RoboCup Logistics League
Proceedings of the 13th International Conference on Agents and Artificial Intelligence. / Ana Paula Rocha, Luc Steels, Jaap van den Herik (Eds.). - Volume 1, 80-91 (2021)
[DOI: 10.5220/0010252600800091] -
[Buchbeitrag]
Stierand, I.; Stierand, Ingo; Böhm, Birthe; Vogelsang, Andreas; Vollmar, Jan; Voss, Sebastian; Weyer, Thorsten; Wortmann, Andreas
Engineering of Collaborative Embedded Systems
Model-based engineering of collaborative embedded systems : extensions of the SPES methodology / Wolfgang Böhm, Manfred Broy, Cornel Klein, Klaus Pohl, Bernhard Rumpe, Sebastian Schröck - editors, 15–48 (2021)
[DOI: 10.1007/978-3-030-62136-0] -
[Buchbeitrag]
Towara, Markus; Lotz, Johannes; Naumann, Uwe
Discrete Adjoint Approaches for CHT Applications in OpenFOAM
Advances in Evolutionary and Deterministic Methods for Design, Optimization and Control in Engineering and Sciences / edited by António Gaspar-Cunha, Jacques Periaux, Kyriakos C. Giannakoglou, Nicolas R. Gauger, Domenico Quagliarella, David Greiner, 163-178 (2020)
[DOI: 10.1007/978-3-030-57422-2_11] -
[Fachzeitschriftenartikel]
Richter, Pascal; Tinnes, Janna; Aldenhoff, Lukas
Accurate interpolation methods for the annual simulation of solar central receiver systems using celestial coordinate system
Solar energy, 213, 328-338 (2020)
[DOI: 10.1016/j.solener.2020.10.087] -
[Fachzeitschriftenartikel]
Herty, Michael; Hüser, Jonathan; Naumann, Uwe; Schilden, Thomas; Schröder, Wolfgang
Algorithmic differentiation of hyperbolic flow problems
Journal of computational physics, 430, 110110 (2021)
[DOI: 10.1016/j.jcp.2021.110110] -
[Fachzeitschriftenartikel]
Müller, Adrienne; Bellhäuser, Henrik; Konert, Johannes; Röpke, René
Effects of Group Formation on Student Satisfaction and Performance: A Field Experiment
Small group research, OnlineFirst, n.a. (2021)
[DOI: 10.1177/1046496420988592] -
[Buch]
Burattin, Andrea; De Weerdt, Jochen; van Dongen, Boudewijn; Claes, Jan; van der Aalst, Wil M. P.
Special issue on business process intelligence
Computing : archives for informatics and numerical computation, 103, 1, 177 Seiten : Illustrationen, Diagramme (2021) -
[Fachzeitschriftenartikel]
Karim, Md Rezaul; Beyan, Oya; Zappa, Achille; Costa, Ivan G.; Rebholz-Schuhmann, Dietrich; Cochez, Michael; Decker, Stefan
Deep learning-based clustering approaches for bioinformatics
Briefings in bioinformatics, 22, 1, 393-415 (2021)
[DOI: 10.1093/bib/bbz170] -
[Buchbeitrag]
Butting, Arvid; Wortmann, Andreas
Language Engineering for Heterogeneous Collaborative Embedded Systems
Model-Based Engineering of Collaborative Embedded Systems, 239–253 (2021)
[DOI: 10.1007/978-3-030-62136-0_11] -
[Buchbeitrag]
Hillemacher, Steffen; Jäckel, Nicolas; Kugler, Christopher; Orth, Philipp; Schmalzing, David Pascal; Wachtmeister, Louis
Artifact-Based Analysis for the Development of Collaborative Embedded Systems
Model-based engineering of collaborative embedded systems : extensions of the SPES methodology / Wolfgang Böhm, Manfred Broy, Cornel Klein, Klaus Pohl, Bernhard Rumpe, Sebastian Schröck - editors (2021) -
[Buchbeitrag]
Gandor, Malin; Jäckel, Nicolas; Käser, Lorenz; Schlie, Alexander; Stierand, Ingo; Terfloth, Axel; Toborg, Steffen; Wachtmeister, Louis; Wißdorf, Anna
Architectures for Dynamically Coupled Systems
Model-based engineering of collaborative embedded systems : extensions of the SPES methodology / Wolfgang Böhm, Manfred Broy, Cornel Klein, Klaus Pohl, Bernhard Rumpe, Sebastian Schröck - editors (2021) -
[Buch]
Böhm, Wolfgang; Broy, Manfred; Rumpe, Bernhard; Schröck, Sebastian
Model-Based Engineering of Collaborative Embedded Systems
(2021) -
[Fachzeitschriftenartikel]
Folmer, Erwin; Jakobs, Kai
Standards Development for Smart Systems : A Potential Way Forward
IEEE transactions on engineering management, 68, 1, 75-86 (2020)
[DOI: 10.1109/TEM.2020.2976640] -
[Fachzeitschriftenartikel]
Wiegel, Friedrich; De Din, Edoardo; Monti, Antonello; Wehrle, Klaus; Hiller, Marc; Zitterbart, Martina; Hagenmeyer, Veit
A Novel Receiver Design for Energy Packet‐Based Dispatching
Energy technology, 9, 2, 2000937 (2021)
[DOI: 10.1002/ente.202000937] -
[Fachzeitschriftenartikel]
Liu, Zheng-Ning; Cao, Yan-Pei; Kuang, Zheng-Fei; Kobbelt, Leif; Hu, Shi-Min
High-Quality Textured 3D Shape Reconstruction with Cascaded Fully Convolutional Networks
IEEE transactions on visualization and computer graphics, 27, 1, 83-97 (2021)
[DOI: 10.1109/TVCG.2019.2937300] -
[Buchbeitrag]
Kirchhof, Jörg Christian; Nieke, Michael; Schaefer, Ina; Schmalzing, David; Schulze, Michael
Variant and Product Line Co-Evolution
Model-Based Engineering of Collaborative Embedded Systems : Extensions of the SPES Methodology / edited by Wolfgang Böhm, Manfred Broy, Cornel Klein, Klaus Pohl, Bernhard Rumpe, Sebastian Schröck, 333-351 (2021)
[DOI: 10.1007/978-3-030-62136-0_18] -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Klinkenberg, Lutz; Batz, Kevin; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Moerman, Joshua; Winkler, Tobias
Generating Functions for Probabilistic Programs
Logic-Based Program Synthesis and Transformation : 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings / edited by Maribel Fernández, 231-248 (2021) -
[Fachzeitschriftenartikel]
Vahdati, Sahar; Fathalla, Said; Lange-Bever, Christoph; Behrend, Andreas; Say, Aysegul; Say, Zeynep; Auer, Sören
A comprehensive quality assessment framework for scientific events
Scientometrics : an international journal for all quantitative aspects of the science of science, communication in science and science policy, 126, 1, 641–682 (2020)
[DOI: 10.1007/s11192-020-03758-1] -
[Buchbeitrag, Fachzeitschriftenartikel]
Burattin, Andrea; De Weerdt, Jochen; van Dongen, Boudewijn; Claes, Jan; van der Aalst, Wil M. P.
Special issue on business process intelligence
Computing : archives for informatics and numerical computation, 103, 1, 1-2 (2020)
[DOI: 10.1007/s00607-020-00856-z] -
[Fachzeitschriftenartikel]
Winterer, Leonore; Junges, Sebastian; Wimmer, Ralf; Jansen, Nils; Topcu, Ufuk; Katoen, Joost-Pieter; Becker, Bernd
Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions
IEEE transactions on automatic control, 66, 3, 1040-1054 (2020)
[DOI: 10.1109/TAC.2020.2990140] -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Bork, Alexander; Junges, Sebastian; Katoen, Joost-Pieter; Quatmann, Tim
Verification of Indefinite-Horizon POMDPs
Automated technology for verification and analysis : 18th international symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020 : proceedings / Dang Van Hung, Oleg Sokolsky (eds.), 288-304 (2020)
[DOI: 10.1007/978-3-030-59152-6_16] -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Khan, Shahid; Katoen, Joost-Pieter; Bouissou, Marc
A Compositional Semantics for Repairable BDMPs
Computer safety, reliability, and security : 39th international conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020 : proceedings / António Casimiro, Frank Ortmeier, Friedemann Bitsch, Pedro Ferreira (Eds.), 82-98 (2020)
[DOI: 10.1007/978-3-030-54549-9_6] -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Khan, Shahid; Katoen, Joost-Pieter; Bouissou, Marc
Explaining Boolean-Logic Driven Markov Processes using GSPNs
16th European Dependable Computing Conference : EDCC 2020 : virtual conference, 7-10 September 2020 : proceedings / general chairs: Michael Paulitsch (Intel, Germany), Mario Trapp (Fraunhofer IKS, Germany) ; publisher: IEEE, 119-126 (2020)
[DOI: 10.1109/EDCC51268.2020.00028] -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Westhofen, Lukas; Berger, Philipp; Katoen, Joost-Pieter
Benchmarking Software Model Checkers on Automotive Code
NASA formal methods : 12th international symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020 : proceedings / Ritchie Lee, Susmit Jha, Anastasia Mavridou (eds.), 133-150 (2020)
[DOI: 10.1007/978-3-030-55754-6_8] -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Švejda, Jan; Berger, Philipp; Katoen, Joost-Pieter
Interpretation-Based Violation Witness Validation for C : NITWIT
Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I / edited by Armin Biere, David Parker, 40-57 (2020)
[DOI: 10.1007/978-3-030-45190-5_3] -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Salmani Barzoki, Bahare; Katoen, Joost-Pieter
Bayesian Inference by Symbolic Model Checking
Quantitative Evaluation of Systems : 17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020 : proceedings / Marco Gribaudo, David N. Jansen, Anne Remke (Eds.), 115-133 (2020)
[DOI: 10.1007/978-3-030-59854-9_9] -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Kamali, Mojgan; Katoen, Joost-Pieter
Probabilistic Model Checking of AODV
Quantitative Evaluation of Systems : 17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020 : proceedings / Marco Gribaudo, David N. Jansen, Anne Remke (Eds.), 54-73 (2020)
[DOI: 10.1007/978-3-030-59854-9_6] -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Szymczak, Marcin; Katoen, Joost-Pieter
Weakest Preexpectation Semantics for Bayesian Inference : Conditioning, Continuous Distributions and Divergence
Engineering trustworthy software systems : 5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019 : tutorial lectures / Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.), 44-121 (2020)
[DOI: 10.1007/978-3-030-55089-9_3] -
[Fachzeitschriftenartikel]
Meyer, Max-Arno; Granrath, Christian; Wachtmeister, Louis; Jäckel, Nicolas
Methoden für die Entwicklung kollaborativer eingebetteter Systeme in automatisierten Fahrzeugen
ATZ-Elektronik, 15, 12, 60-65 (2020)
[DOI: 10.1007/s35658-020-0290-3] -
[Masterarbeit]
Riedel, Max
Improved CNN training by filter reinitialization and gradient statistics
, 71 Seiten (2020) -
[Buchbeitrag]
Becker, Franziska; Drichel, Arthur; Muller, Christoph; Ertl, Thomas
Interpretable Visualizations of Deep Neural Networks for Domain Generation Algorithm Detection
2020 IEEE Symposium on Visualization for Cyber Security (VizSec) : [Proceedings] - IEEE, 2020. - ISBN 978-1-7281-8262-9 - doi:10.1109/VizSec51108.2020.00010 (2020)
[DOI: 10.1109/VizSec51108.2020.00010] -
[Fachzeitschriftenartikel]
Brihaye, Thomas; Delgrange, Florent; Oualhadj, Youssouf; Randour, Mickael
Life is Random, Time is Not : Markov Decision Processes with Window Objectives
Logical methods in computer science : LMCS, 16, 4, 13 (2020)
[DOI: 10.23638/LMCS-16(4:13)2020] -
[Preprint]
Herty, Michael; Hüser, Jonathan; Naumann, Uwe; Schilden, Thomas; Schröder, Wolfgang
Algorithmic differentiation of hyperbolic flow problems
(2020) -
[Masterarbeit]
Kohlen, Bram; Spel, Jip Josephine
Parameter synthesis in probabilistic timed automata
, 91 Seiten (2020) -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Knoche, Markus; Sarandi, Istvan; Leibe, Bastian
Reposing Humans by Warping 3D Features
2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops (CVPRW) : [Proceedings] - IEEE, 2020. - ISBN 978-1-7281-9360-1 - doi:10.1109/CVPRW50498.2020.00530 (2020)
[DOI: 10.1109/CVPRW50498.2020.00530] -
[Beitrag zu einem Tagungsband]
Sarandi, Istvan; Linder, Timm; Arras, Kai O.; Leibe, Bastian
Metric-Scale Truncation-Robust Heatmaps for 3D Human Pose Estimation
[The 15th IEEE International Conference on Automatic Face and Gesture Recognition, FG20, 2020-11-16 - 2020-11-20, Buenos Aires, Argentina] (2020)
[DOI: 10.1109/FG47880.2020.00108] -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Frohn, Florian; Hark, Marcel; Giesl, Jürgen
Termination of Polynomial Loops
Static Analysis : 27th International Symposium, SAS 2020 : Virtual Event, November 18–20, 2020 : Proceedings / Pichardie, David, Sighireanu, Mihaela (Eds.), 89-112 (2020)
[DOI: 10.1007/978-3-030-65474-0_5] -
[Beitrag zu einem Tagungsband]
Pennekamp, Jan; Sapel, Patrick; Fink, Ina Berenice; Wagner, Simon; Reuter, Sebastian; Hopmann, Christian; Wehrle, Klaus; Henze, Martin
Revisiting the Privacy Needs of Real-World Applicable Company Benchmarking
[The 8th Workshop on Encrypted Computing & Applied Homomorphic Cryptography, WAHC], 31-44 (2020)
[DOI: 10.25835/0072999] -
[Buchbeitrag, Beitrag zu einem Tagungsband]
Braun, Stefan; Koren, István; Van Dyck, Marc; Jarke, Matthias
An Agricultural Data Platform iStar Model
Proceedings of the Thirteenth International iStar Workshop co-located with 28th IEEE International Requirements Engineering Conference (RE 2020) (2020) -
[Fachzeitschriftenartikel]
Singer, Sanja; Di Napoli, Edoardo; Novaković, Vedran; Čaklović, Gayatri
The LAPW Method with Eigendecomposition Based on the Hari--Zimmermann Generalized Hyperbolic SVD
SIAM journal on scientific computing, 42, 5, C265-C293 (2020)
[DOI: 10.1137/19M1277813] -
[Buchbeitrag, Fachzeitschriftenartikel]
Hamann, Lars; Paige, Richard F.; Pierantonio, Alfonso; Rumpe, Bernhard; Vallecillo, Antonio
Preface to the JOT Special Issue dedicated to Martin Gogolla on his 65th Birthday
Journal of object technology, 19, 3, 1-5 (2020)
[DOI: 10.5381/jot.2020.19.3.e1]
Blättern
- Sie sind auf Seite:1-50
- 51-100
- 101-150
- letzte Seite
- nächste Seite
- 251-300