|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 73 occurrences of 63 keywords
|
|
|
Results
Found 324 publication records. Showing 268 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
219 | Daiju Inaba, Tateaki Sasaki |
A numerical study of extended Hensel series. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNC ![In: Symbolic-Numeric Computation, SNC 2007, International Workshop, 25-27 July 2007, University of Western Ontario, London, Ontario, Canada, pp. 103-109, 2007, ACM, 978-1-59593-744-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
many-valuedness, multivariate algebraic function, series expansion, convergence, singular point |
87 | Martin E. Avendano, Teresa Krick, Ariel Pacetti |
Newton-Hensel Interpolation Lifting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Found. Comput. Math. ![In: Found. Comput. Math. 6(1), pp. 82-120, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Newton-Hensel lifting, Adic integers, Sparse polynomial interpolation |
87 | Dario Catalano, Phong Q. Nguyen, Jacques Stern |
The Hardness of Hensel Lifting: The Case of RSA and Discrete Logarithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT ![In: Advances in Cryptology - ASIACRYPT 2002, 8th International Conference on the Theory and Application of Cryptology and Information Security, Queenstown, New Zealand, December 1-5, 2002, Proceedings, pp. 299-310, 2002, Springer, 3-540-00171-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Paillier, Hensel, One-wayness, RSA, Lattice, Discrete logarithm, Public-key |
62 | Seyed Mohammad Mahdi Javadi, Michael B. Monagan |
On factorization of multivariate polynomials over algebraic number and function fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2009, Seoul, Republic of Korea, July 29-31, 2009, Proceedings, pp. 199-206, 2009, ACM, 978-1-60558-609-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
hensel lifting, sparse interpolation, factorization algorithms, algebraic function fields |
52 | Jakub Tyc, Defne Sunguroglu Hensel, Erica Isabella Parisi, Grazia Tucci, Michael Ulrich Hensel |
Integration of Remote Sensing Data into a Composite Voxel Model for Environmental Performance Analysis of Terraced Vineyards in Tuscany, Italy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 13(17), pp. 3483, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
48 | Tateaki Sasaki, Satoshi Yamaguchi |
An Analysis of Cancellation Error in Multivariate Hensel Construction with Floating-Point Number Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, ISSAC '98, Rostock, Germany, August 13-15, 1998, pp. 1-8, 1998, ACM, 1-58113-002-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
approximate algebraic computation, cancellation error, multivariate Hensel construction, error analysis |
48 | Christopher J. Zarowski, Howard C. Card |
On Addition and Multiplication with Hensel Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 39(12), pp. 1417-1423, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Farey fractions, digital arithmetic, codes, multiplication, addition, Hensel codes |
48 | Asish Mukhopadhyay |
A Solution to the Polynomial Hensel Code Conversion Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 36(5), pp. 634-637, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
rational function representation, Algebraic simplification, algorithm design, Euclidean algorithm, Hensel code |
48 | E. V. Krishnamurthy |
On the Conversion of Hensel Codes to Farey Rationals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 32(4), pp. 331-337, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
reduced residue system, Euclidean filtering algorithm, Euler's totient function, Farey rationals, isobaric set, multiplicative inverse, p-adic arithmetic, primitive root, factorization, Conversion, index, greatest common divisor, Hensel code, extended Euclidean algorithm |
47 | E. V. Krishnamurthy, Venu K. Murthy |
Fast Iterative Division of p-adic Numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 32(4), pp. 396-398, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
Hensel lemma, higher order convergence, p-adic numbers, iterate, reciprocal, Newton method, quadratic convergence, Hensel code |
43 | Alin Bostan, Grégoire Lecerf, Bruno Salvy, Éric Schost, B. Wiebelt |
Complexity issues in bivariate polynomial factorization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium ISSAC 2004, Santander, Spain, July 4-7, 2004, Proceedings, pp. 42-49, 2004, ACM, 1-58113-827-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Hensel lifting, multi-moduli, tellegen, transposition principle, computer algebra, polynomial factorization |
39 | Masayuki Noro, Kazuhiro Yokoyama |
Yet another practical implementation of polynomial factorization over finite fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium ISSAC 2002, Lille, France, July 7-10, 2002, Proceedings, pp. 200-206, 2002, ACM, 1-58113-484-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
39 | Carla Limongelli, Marco Temperini |
On the Uniform Representation of Mathematical Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISCO ![In: Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993, Proceedings, pp. 319-330, 1993, Springer, 3-540-57235-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
26 | Hensel Donato Jahja, Novanto Yudistira, Sutrisno 0003 |
Mask usage recognition using vision transformer with transfer learning and data augmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intell. Syst. Appl. ![In: Intell. Syst. Appl. 17, pp. 200186, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Sebastian Hensel, Yuning Liu |
The Sharp Interface Limit of a Navier-Stokes/Allen-Cahn System with Constant Mobility: Convergence Rates by a Relative Energy Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Math. Anal. ![In: SIAM J. Math. Anal. 55(5), pp. 4751-4787, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Stefan Hensel, Marin B. Marinov, Raphael Panter |
Design and Implementation of a Camera-Based Tracking System for MAV Using Deep Learning Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. ![In: Comput. 11(12), pp. 244, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Laura Birka Hensel, Nutchanon Yongsatianchot, Parisa Torshizi, Elena Minucci, Stacy Marsella |
Large language models in textual analysis for gesture selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.13705, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Jera Hensel, Jürgen Giesl |
Proving Termination of C Programs with Lists. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.12159, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Frank Emrich, Jera Hensel, Jürgen Giesl |
AProVE: Modular Termination Analysis of Memory-Manipulating C Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.02382, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Jera Hensel, Jürgen Giesl |
Automated Termination Proofs for C Programs with Lists (Short WST Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.11024, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Hendrik Hensel, Christoph Joergens, Markus Clemens |
Simulation of Permittivity and Conductivity Graded Materials for HVDC GIL for Different Voltage Forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.14405, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Felix Hensel, Charles Arnal, Mathieu Carrière, Théo Lacombe, Hiroaki Kurihara, Yuichi Ike, Frédéric Chazal |
MAGDiff: Covariate Data Set Shift Detection via Activation Graphs of Deep Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.13271, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Gabriele Caselli, Maurice Hensel, Irwin Yousept |
Quasilinear Variational Inequalities in Ferromagnetic Shielding: Well-Posedness, Regularity, and Optimal Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Control. Optim. ![In: SIAM J. Control. Optim. 61(4), pp. 2043-2068, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Constanze Neupetsch, Eric Hensel, Andreas Heinke, Tom Stapf, Nico Stecher, Hagen Malberg, Christoph-Eckhard Heyde, Welf-Guntram Drossel |
Approach for Non-Intrusive Detection of the Fit of Orthopaedic Devices Based on Vibrational Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 23(14), pp. 6500, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Pasquale D'Alterio, Christian Hensel, Bashar Awwad Shiekh Hasan |
Can Unpaired Textual Data Replace Synthetic Speech in ASR Model Adaptation? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASRU ![In: IEEE Automatic Speech Recognition and Understanding Workshop, ASRU 2023, Taipei, Taiwan, December 16-20, 2023, pp. 1-8, 2023, IEEE, 979-8-3503-0689-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Laura Birka Hensel, Nutchanon Yongsatianchot, Parisa Torshizi, Elena Minucci, Stacy Marsella |
Large language models in textual analysis for gesture selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMI ![In: Proceedings of the 25th International Conference on Multimodal Interaction, ICMI 2023, Paris, France, October 9-13, 2023, pp. 378-387, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Jera Hensel, Jürgen Giesl |
Proving Termination of C Programs with Lists. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings, pp. 266-285, 2023, Springer, 978-3-031-38498-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Paul Kritschgau, Irene Alby, Rebecca Brown Adelman, Robin Hensel, Kristin Brewster, Susie A. Huggins, Karen Rambo-Hernandez |
Theatre in Engineering Classes: An Interdisciplinary Approach to Address Bias in Student Engineering Teams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FIE ![In: IEEE Frontiers in Education Conference, FIE 2023, College Station, TX, USA, October 18-21, 2023, pp. 1-9, 2023, IEEE, 979-8-3503-3642-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Simon Hensel, Benjamin Jagusch, Thomas Lux |
Introduction of Artificial Intelligence in Healthcare Lectures: An Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICCSA ![In: 20th ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2023, Giza, Egypt, December 4-7, 2023, pp. 1-5, 2023, IEEE, 979-8-3503-1943-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Maurice Hensel, Irwin Yousept |
Numerical Analysis for Maxwell Obstacle Problems in Electric Shielding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Numer. Anal. ![In: SIAM J. Numer. Anal. 60(3), pp. 1083-1110, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Kurt Rachlitz, Benjamin Grossmann-Hensel, Ronja Friedl |
The demoralization of society and the proliferation of organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Kybernetes ![In: Kybernetes 51(5), pp. 1849-1867, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk 0001 |
The probabilistic model checker Storm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 24(4), pp. 589-610, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Stefan Hensel, Marin B. Marinov, Markus Obert |
3D LiDAR Based SLAM System Evaluation with Low-Cost Real-Time Kinematics GPS Solution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. ![In: Comput. 10(9), pp. 154, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Hensel Donato Jahja, Novanto Yudistira, Sutrisno 0003 |
Mask Usage Recognition using Vision Transformer with Transfer Learning and Data Augmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2203.11542, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Thibault de Surrel, Felix Hensel, Mathieu Carrière, Théo Lacombe, Yuichi Ike, Hiroaki Kurihara, Marc Glisse, Frédéric Chazal |
RipsNet: a general architecture for fast and robust estimation of the persistent homology of point clouds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2202.01725, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
26 | Abozar Nasirahmadi, Oliver Hensel |
Toward the Next Generation of Digitalization in Agriculture Based on Digital Twin Paradigm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 22(2), pp. 498, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Simone Parisi, Davide Tateo, Maximilian Hensel, Carlo D'Eramo, Jan Peters 0001, Joni Pajarinen |
Long-Term Visitation Value for Deep Exploration in Sparse-Reward Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithms ![In: Algorithms 15(3), pp. 81, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Willy Fritzsche, Steffen Goebbels, Simon Hensel, Marco Rußinski, Nils Schuch |
Inpainting Applied to Facade Images: A Comparison of Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPRAI (1) ![In: Pattern Recognition and Artificial Intelligence - Third International Conference, ICPRAI 2022, Paris, France, June 1-3, 2022, Proceedings, Part I, pp. 410-422, 2022, Springer, 978-3-031-09036-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Thibault de Surrel, Felix Hensel, Mathieu Carrière, Théo Lacombe, Yuichi Ike, Hiroaki Kurihara, Marc Glisse, Frédéric Chazal |
RipsNet: a general architecture for fast and robust estimation of the persistent homology of point clouds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAG-ML ![In: Topological, Algebraic and Geometric Learning Workshops 2022, 25-22 July 2022, Virtual, pp. 96-106, 2022, PMLR. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
26 | Maja Fehlberg, Kwang-Seop Kim, Knut Drewing, René Hensel, Roland Bennewitz |
Perception of Friction in Tactile Exploration of Micro-structured Rubber Samples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroHaptics ![In: Haptics: Science, Technology, Applications - 13th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2022, Hamburg, Germany, May 22-25, 2022, Proceedings, pp. 21-29, 2022, Springer, 978-3-031-06248-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Jera Hensel, Constantin Mensendiek, Jürgen Giesl |
AProVE: Non-Termination Witnesses for C Programs - (Competition Contribution). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (2) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II, pp. 403-407, 2022, Springer, 978-3-030-99526-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Stefan Hensel, Marin B. Marinov, Max Schmitt |
Evaluation of an Inertial and Optical Sensors Based Mapping and Localization System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FABULOUS ![In: Future Access Enablers for Ubiquitous and Intelligent Infrastructures - 6th EAI International Conference, FABULOUS 2022, Virtual Event, May 4, 2022, Proceedings, pp. 3-15, 2022, Springer, 978-3-031-15100-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Felix Hensel, Michael Moor, Bastian Rieck |
A Survey of Topological Machine Learning Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Artif. Intell. ![In: Frontiers Artif. Intell. 4, pp. 681108, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Kibebew Wakjira, Taye Negera, Aleksejs Zacepins, Armands Kviesis, Vitalijs Komasilovs, Sascha Fiedler, Sascha Kirchner, Oliver Hensel, Dwi M. J. Purnomo, Marlis Nawawi, Amanda Paramita, Okie Fauzi Rachman, Aditya Pratama, Nur Al Faizah, Markos Lemma, Stefanie Schaedlich, Angela Zur, Magdalena Sperl, Katrin Proschek, Kristina Gratzer, Robert Brodschneider |
Smart apiculture management services for developing countries - the case of SAMS project in Ethiopia and Indonesia. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PeerJ Comput. Sci. ![In: PeerJ Comput. Sci. 7, pp. e484, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Jan Philipp Graesch, Susanne Hensel-Börner, Jörg Henseler |
Information technology and marketing: an important partnership for decades. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ind. Manag. Data Syst. ![In: Ind. Manag. Data Syst. 121(1), pp. 123-157, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Przemyslaw G. Hensel, Agnieszka Kacprzak |
Curbing cyberloafing: studying general and specific deterrence effects with field evidence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Inf. Syst. ![In: Eur. J. Inf. Syst. 30(2), pp. 219-235, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Constanze Neupetsch, Eric Hensel, Burkhard Kranz, Welf-Guntram Drossel, Thomas Felderhoff, Christoph-Eckhard Heyde |
Proof of Concept for the Detection of Local Pressure Marks in Prosthesis Sockets Using Structural Dynamics Measurement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 21(11), pp. 3821, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Milan Ceska 0002, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen |
Counterexample-guided inductive synthesis for probabilistic systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 33(4-5), pp. 637-667, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Simon Hensel, Steffen Goebbels, Martin Kada |
LSTM Architectures for Facade Structure Completion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VISIGRAPP (1: GRAPP) ![In: Proceedings of the 16th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2021, Volume 1: GRAPP, Online Streaming, February 8-10, 2021., pp. 15-24, 2021, SCITEPRESS, 978-989-758-488-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Simon Hensel, Steffen Goebbels, Martin Kada |
Facade Layout Completion with Long Short-Term Memory Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VISIGRAPP (Revised Selected Papers) ![In: Computer Vision, Imaging and Computer Graphics Theory and Applications - 16th International Joint Conference, VISIGRAPP 2021, Virtual Event, February 8-10, 2021, Revised Selected Papers, pp. 21-40, 2021, Springer, 978-3-031-25476-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Stefan Hensel, Marin B. Marinov, Max Schmitt |
Object Detection and Mapping with Unmanned Aerial Vehicles Using Convolutional Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FABULOUS ![In: Future Access Enablers for Ubiquitous and Intelligent Infrastructures - 5th EAI International Conference, FABULOUS 2021, Virtual Event, May 6-7, 2021, Proceedings, pp. 254-267, 2021, Springer, 978-3-030-78458-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Stefan Hensel, Marin B. Marinov, Tino Schwilk, Dimitar Nikolov |
Application of Gaussian Process Estimation for Magnetic Field Mapping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FABULOUS ![In: Future Access Enablers for Ubiquitous and Intelligent Infrastructures - 5th EAI International Conference, FABULOUS 2021, Virtual Event, May 6-7, 2021, Proceedings, pp. 284-298, 2021, Springer, 978-3-030-78458-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Sarah C. Brüningk, Felix Hensel, Louis P. Lukas, Merel Kuijs, Catherine R. Jutzeler, Bastian Rieck |
Back to the basics with inclusion of clinical domain knowledge - A simple, scalable and effective model of Alzheimer's Disease classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MLHC ![In: Proceedings of the Machine Learning for Healthcare Conference, MLHC 2021, 6-7 August 2021, Virtual Event., pp. 730-754, 2021, PMLR. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
26 | Stephan Hensel |
Semantische Revisionskontrolle für die Evolution von Informations- und Datenmodellen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2021 |
RDF |
|
26 | Barbara Sturm, Sharvari Raut, Boris Kulig, Jakob Münsterer, Klaus Kammhuber, Oliver Hensel, Stuart O. J. Crichton |
In-process investigation of the dynamics in drying behavior and quality development of hops using visual and environmental sensors combined with chemometrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Electron. Agric. ![In: Comput. Electron. Agric. 175, pp. 105547, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Randal E. Bryant, Randy H. Katz, Chase Hensel, Erwin P. Gianchandani |
From Data to Knowledge to Action: Enabling the Smart Grid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2008.00055, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
26 | Sarah C. Brüningk, Felix Hensel, Catherine R. Jutzeler, Bastian Rieck |
Image analysis for Alzheimer's disease prediction: Embracing pathological hallmarks for model architecture design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2011.06531, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
26 | Simone Parisi, Davide Tateo, Maximilian Hensel, Carlo D'Eramo, Jan Peters 0001, Joni Pajarinen |
Long-Term Visitation Value for Deep Exploration in Sparse Reward Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2001.00119, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
26 | Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk 0001 |
The Probabilistic Model Checker Storm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2002.07080, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
26 | Christel Baier, Christian Hensel, Lisa Hutschenreiter, Sebastian Junges, Joost-Pieter Katoen, Joachim Klein 0001 |
Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 272, pp. 104504, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Sebastian Höppner, Holger Eisenreich, Dennis Walter, André Scharfe, Alexander Oefelein, Florian Schraut, Jörg Schreiter, Thorsten Riedel, Heiner Bauer, Robert Niebsch, Stephan Scherzer, Thomas Hocker, Stefan Scholze, Stephan Henker, Matthias Nossmann, Ulrich Hensel, Helmut Prengel |
Adaptive Body Bias Aware Implementation for Ultra-Low-Voltage Designs in 22FDX Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. II Express Briefs ![In: IEEE Trans. Circuits Syst. II Express Briefs 67-II(10), pp. 2159-2163, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Zijia Li, Georg Nawratil, Florian Rist, Michael Hensel |
Invertible Paradoxic Loop Structures for Transformable Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Graph. Forum ![In: Comput. Graph. Forum 39(2), pp. 261-275, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Stefan Hensel, Marin B. Marinov, Christoph Kehret, Maria Stefanova-Pavlova |
Experimental Set-up for Evaluation of Algorithms for Simultaneous Localization and Mapping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroSPI ![In: Systems, Software and Services Process Improvement - 27th European Conference, EuroSPI 2020, Düsseldorf, Germany, September 9-11, 2020, Proceedings, pp. 433-444, 2020, Springer, 978-3-030-56440-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Julian Jørgensen Teule, Marius Frilund Hensel, Victor Büttner, Jonathan Velgaard Sørensen, Magnus Melgaard, Rasmus Løvenstein Olsen |
Examining the Cyber Security of a Real World Access Control Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CyberSA ![In: 2020 International Conference on Cyber Situational Awareness, Data Analytics and Assessment, CyberSA 2020, Dublin, Ireland, June 15-19, 2020, pp. 1-3, 2020, IEEE, 978-1-7281-6690-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Laura B. Hensel, Jiayu Zhan, R. Thora Bjornsdottir, Oliver G. B. Garrod, Philippe G. Schyns, Rachael E. Jack |
Psychologically Valid Social Face Features for Virtual Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IVA ![In: IVA '20: ACM International Conference on Intelligent Virtual Agents, Virtual Event, Scotland, UK, October 20-22, 2020, pp. 26:1-26:3, 2020, ACM, 978-1-4503-7586-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Abozar Nasirahmadi, Barbara Sturm, Anne-Charlotte Olsson, Knut-Håkan Jeppsson, Simone Müller, Sandra A. Edwards, Oliver Hensel |
Automatic scoring of lateral and sternal lying posture in grouped pigs using image processing and Support Vector Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Electron. Agric. ![In: Comput. Electron. Agric. 156, pp. 475-481, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Christian Hensel, Maxi Becker, Sandra Düzel, Ilja Demuth, Kristina Norman, Elisabeth Steinhagen-Thiessen, Jürgen Gallinat, Ulman Lindenberger, Simone Kühn |
Influence of nutritional tyrosine on cognition and functional connectivity in healthy old humans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 193, pp. 139-145, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Milan Ceska 0002, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen |
Counterexample-Driven Synthesis for Probabilistic Program Sketches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1904.12371, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
26 | Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen 0001, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk 0001 |
Parameter Synthesis for Markov Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1903.07993, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
26 | Abozar Nasirahmadi, Barbara Sturm, Sandra A. Edwards, Knut-Håkan Jeppsson, Anne-Charlotte Olsson, Simone Müller, Oliver Hensel |
Deep Learning and Machine Vision Approaches for Posture Detection of Individual Pigs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 19(17), pp. 3738, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Sebastian Höppner, Jörg Schreiter, Robert Niebsch, Stephan Scherzer, Ulrich Hensel, Jörg Winkler, Mario Orgis, Holger Eisenreich, Dennis Walter, Uwe Steeb, André Scharfe, Clifford Dmello, Robert Sinkwitz, Heiner Bauer, Alexander Oefelein, Florian Schraut |
How to Achieve World-Leading Energy Efficiency using 22FDX with Adaptive Body Biasing on an Arm Cortex-M4 IoT SoC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESSDERC ![In: 49th European Solid-State Device Research Conference, ESSDERC 2019, Cracow, Poland, September 23-26, 2019, pp. 66-69, 2019, IEEE, 978-1-7281-1539-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Milan Ceska 0002, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen |
Counterexample-Driven Synthesis for Probabilistic Program Sketches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, pp. 101-120, 2019, Springer, 978-3-030-30941-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Tim Ameler, Kai Blohme, Lilith Brandt, Raphael Brüngel, Alice Hensel, Lisa Huber, Francis Kuper, Jessica Swoboda, Maren Warnecke, Michaela Warzecha, Daniel Heß, Johannes Frömke, Annette Schmitz-Stolbrink, Christoph M. Friedrich |
A Comparative Evaluation of SteamVR Tracking and the OptiTrack System for Medical Device Tracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2019, Berlin, Germany, July 23-27, 2019, pp. 1465-1470, 2019, IEEE, 978-1-5386-1311-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Ernst Moritz Hahn, Arnd Hartmanns, Christian Hensel, Michaela Klauck, Joachim Klein 0001, Jan Kretínský, David Parker 0001, Tim Quatmann, Enno Ruijters, Marcel Steinmetz |
The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (3) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III, pp. 69-92, 2019, Springer, 978-3-030-17501-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Chaona Chen, Laura B. Hensel, Yaocong Duan, Robin A. A. Ince, Oliver G. B. Garrod, Jonas Beskow, Rachael E. Jack, Philippe G. Schyns |
Equipping social robots with culturally-sensitive facial expressions of emotion using data-driven methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FG ![In: 14th IEEE International Conference on Automatic Face & Gesture Recognition, FG 2019, Lille, France, May 14-18, 2019, pp. 1-8, 2019, IEEE, 978-1-7281-0089-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Stefan Hensel, Marin B. Marinov, Raphael Schwarz, Ivan Topalov |
Ground Sky Imager Based Short Term Cloud Coverage Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FABULOUS ![In: Future Access Enablers for Ubiquitous and Intelligent Infrastructures - 4th EAI International Conference, FABULOUS 2019, Sofia, Bulgaria, March 28-29, 2019, Proceedings, pp. 372-385, 2019, Springer, 978-3-030-23975-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Laura Fink, Nora Hensel, Daniela Markov-Vetter, Christoph Weber, Oliver G. Staadt, Marc Starnrninqer |
Hybrid Mono-Stereo Rendering in Virtual Reality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VR ![In: IEEE Conference on Virtual Reality and 3D User Interfaces, VR 2019, Osaka, Japan, March 23-27, 2019, pp. 88-96, 2019, IEEE, 978-1-7281-1377-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Jera Hensel, Jürgen Giesl, Florian Frohn, Thomas Ströder |
Termination and complexity analysis for programs with bitvector arithmetic by symbolic execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 97, pp. 105-130, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Franz Román, Oliver Hensel |
A humidistat to control a solar powered DC fan for grain drying and ventilation in remote areas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Electron. Agric. ![In: Comput. Electron. Agric. 152, pp. 215-220, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Marcin Milkowski, Witold M. Hensel, Mateusz Hohol |
Replicability or reproducibility? On the replication crisis in computational neuroscience and sharing only relevant detail. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Neurosci. ![In: J. Comput. Neurosci. 45(3), pp. 163-172, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Burkhard Hensel, Klaus Kabitzsch |
Software Supporting Parameter Optimization of Finite Element Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UKSim ![In: 20th UKSim-AMSS International Conference on Computer Modelling and Simulation, UKSim 2018, Cambridge, United Kingdom, March 27-29, 2018, pp. 55-60, 2018, IEEE, 978-1-5386-5877-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Henry Bloch, Tobias Grebner, Alexander Fay, Stephan Hensel, Anna Menschner, Leon Urbas, Mario Hoernicke, Torsten Knohl, Jens Bernshausen, Bayer Ag |
Orchestration of Services in Modular Process Plants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IECON ![In: IECON 2018 - 44th Annual Conference of the IEEE Industrial Electronics Society, Washington, DC, USA, October 21-23, 2018, pp. 2935-2940, 2018, IEEE, 978-1-5090-6684-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Christian Hensel |
The probabilistic model checker Storm: symbolic methods for probabilistic model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
26 | Christian Walther, Andreas Wenzel, Frank Beneke, Oliver Hensel, Jochen Huster |
Determination of working states of the rotating cutting assembly in forage harvesters by artificial neural networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 65(3), pp. 198, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Peter Müller, Eric Hensel |
Investigation on similarity laws for dynamic properties of presses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Prod. Eng. ![In: Prod. Eng. 11(6), pp. 655-664, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Burkhard Hensel, Steffen Schröder, Klaus Kabitzsch |
New Coordination Software for Parameter Identification Applied to Thermal Models of an Actuator Strut. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Eng. ![In: J. Comput. Eng. 2017, pp. 3169785:1-3169785:14, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Thomas Ströder, Jürgen Giesl, Marc Brockschmidt, Florian Frohn, Carsten Fuhs, Jera Hensel, Peter Schneider-Kamp, Cornelius Aschermann |
Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 58(1), pp. 33-65, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Jürgen Giesl, Cornelius Aschermann, Marc Brockschmidt, Fabian Emmes, Florian Frohn, Carsten Fuhs, Jera Hensel, Carsten Otto, Martin Plücker, Peter Schneider-Kamp, Thomas Ströder, Stephanie Swiderski, René Thiemann |
Analyzing Program Termination and Complexity Automatically with AProVE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 58(1), pp. 3-31, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Florian Frohn, Jürgen Giesl, Jera Hensel, Cornelius Aschermann, Thomas Ströder |
Lower Bounds for Runtime Complexity of Term Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 59(1), pp. 121-163, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Jera Hensel, Frank Emrich, Florian Frohn, Thomas Ströder, Jürgen Giesl |
AProVE: Proving and Disproving Termination of Memory-Manipulating C Programs - (Competition Contribution). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (2) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II, pp. 350-354, 2017, 978-3-662-54579-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Henry Bloch, Alexander Fay, Torsten Knohl, Mario Hoernicke, Jens Bernshausen, Stephan Hensel, Anna Hahn, Leon Urbas |
A microservice-based architecture approach for the automation of modular process plants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: 22nd IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2017, Limassol, Cyprus, September 12-15, 2017, pp. 1-8, 2017, IEEE, 978-1-5090-6505-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Markus Graube, Stephan Hensel, Chris Paul Iatrou, Leon Urbas |
Information models in OPC UA and their advantages and disadvantages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: 22nd IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2017, Limassol, Cyprus, September 12-15, 2017, pp. 1-8, 2017, IEEE, 978-1-5090-6505-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Henry Bloch, Alexander Fay, Torsten Knohl, Stephan Hensel, Anna Hahn, Leon Urbas, Sachari Wassilew, Jens Bernshausen, Mario Hoernicke, Axel Haller |
Model-based engineering of CPPS in the process industries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INDIN ![In: 15th IEEE International Conference on Industrial Informatics, INDIN 2017, Emden, Germany, July 24-26, 2017, pp. 1153-1159, 2017, IEEE, 978-1-5386-0837-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Burkhard Hensel |
Einstellung von PI-Reglern bei Send-on-Delta-Abtastung: Regelkreisoptimierung unter Berücksichtigung von Energieeffizienz, Netzlast und Regelgüte ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
RDF |
|
26 | Abozar Nasirahmadi, Oliver Hensel, Sandra A. Edwards, Barbara Sturm |
Automatic detection of mounting behaviours among pigs using image analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Electron. Agric. ![In: Comput. Electron. Agric. 124, pp. 295-302, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Laura Desveaux, Payal Agarwal, Jay Shaw, Jennifer M. Hensel, Geetha Mukerji, Nike Onabajo, Husayn Marani, Trevor Jamieson, Onil Bhattacharyya, Danielle Martin, Muhammad Mamdani, Lianne Jeffs, Walter P. Wodchis, Noah M. Ivers, R. Sacha Bhatia |
A randomized wait-list control trial to evaluate the impact of a mobile application to improve self-management of individuals with type 2 diabetes: a study protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Medical Informatics Decis. Mak. ![In: BMC Medical Informatics Decis. Mak. 16, pp. 144:1-144:11, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Marcin Kopaczka, Carlo Hensel, Dorit Merhof |
An automated method for realistic face simulation and facial landmark annotation and its application to active appearance models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPTA ![In: Sixth International Conference on Image Processing Theory, Tools and Applications, IPTA 2016, Oulu, Finland, December 12-15, 2016, pp. 1-6, 2016, IEEE, 978-1-4673-8910-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Hanno Becker, Juan Manuel Crespo, Jacek Galowicz, Ulrich Hensel, Yoichi Hirai, César Kunz, Keiko Nakata 0001, Jorge Luis Sacchini, Hendrik Tews, Thomas Tuerk |
Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings, pp. 69-84, 2016, 978-3-319-48988-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Florian Frohn, Matthias Naaf, Jera Hensel, Marc Brockschmidt, Jürgen Giesl |
Lower Runtime Bounds for Integer Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings, pp. 550-567, 2016, Springer, 978-3-319-40228-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Markus Graube, Stephan Hensel, Leon Urbas |
Open Semantic Revision Control with R43ples: Extending SPARQL to access revisions of Named Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMANTiCS ![In: Proceedings of the 12th International Conference on Semantic Systems, SEMANTiCS 2016, Leipzig, Germany, September 12-15, 2016, pp. 49-56, 2016, ACM, 978-1-4503-4752-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 268 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ >>] |
|