Fachbereich SecInt-Secure and Intelligent Human-Centric Digital Technologies

Organization Name (de) Name der Organisation (de)
E056-10 - Fachbereich SecInt-Secure and Intelligent Human-Centric Digital Technologies
 
Code Kennzahl
E056-10
 
Type of Organization Organisationstyp
Division
Parent OrgUnit Übergeordnete Organisation
 
Active Aktiv
 


Results 1-20 of 30 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Kofnov, Andrey ; Bartocci, Ezio ; Bura, Efstathia Moment-based Density Elicitation with Applications in Probabilistic LoopsArticle Artikel Apr-2025
2Boobier, Samuel ; Heeley, Joseph ; Gärtner, Thomas ; Hierst, Jonathan D. Interactive Knowledge-Based Kernel PCA for Solvent SelectionArticle Artikel 13-Mar-2025
3Lechner, Martin ; Jantsch, Axel OptiSim: A Hardware-Aware Optimization Space Exploration Tool for CNN ArchitecturesInproceedings Konferenzbeitrag 1-Jan-2025
4Moosbrugger, Marcel ; Müllner, Julian ; Bartocci, Ezio ; Kovacs, Laura Polar: An Algebraic Analyzer for (Probabilistic) LoopsBook Contribution Buchbeitrag 2025
5Landauer, Julian ; Gasparini, Luca ; Kugi, Andreas ; Steinboeck, Andreas Empirical Modeling of Unsteady Bulging in Continuous Slab CastersInproceedings Konferenzbeitrag 2025
6Coutelier-2024-Formal Methods in System Design-vor.pdf.jpgCoutelier, Robin ; Rath, Jakob ; Rawson, Michael ; Biere, Armin ; Kovacs, Laura SAT solving for variants of first-order subsumptionArticle Artikel 11-Nov-2024
7Iglesias, Félix ; Martínez, Conrado ; Zseby, Tanja Impact of the Neighborhood Parameter on Outlier Detection AlgorithmsInproceedings Konferenzbeitrag 25-Oct-2024
8Rath, Jakob ; Eisenhofer, Clemens ; Kaufmann, Daniela ; Bjørner, Nikolaj ; Kovacs, Laura PolySAT: Word-level Bit-vector Reasoning in Z3Presentation Vortrag14-Oct-2024
9Joshi, Rucha Bhalchandra ; Indri, Patrick ; Mishra, Subhankar GraphPrivatizer: Improved Structural Differential Privacy for Graph Neural NetworksArticle Artikel 1-Oct-2024
10Oelerich-2024-Language-guided Manipulator Motion Planning with Bounded Ta...-vor.pdf.jpgOelerich, Thies ; Hartl-Nesic, Christian ; Kugi, Andreas Language-guided Manipulator Motion Planning with Bounded Task SpaceInproceedings Konferenzbeitrag 6-Sep-2024
11Chen, Florian ; Gärtner, Thomas Scalable Interactive Data VisualizationInproceedings Konferenzbeitrag 22-Aug-2024
12Coutelier-2024-Lazy Reimplication in Chronological Backtracking-vor.pdf.jpgCoutelier, Robin ; Fleury, Mathias ; Kovacs, Laura Lazy Reimplication in Chronological BacktrackingInproceedings Konferenzbeitrag 19-Aug-2024
13Hader, Thomas ; Kaufmann, Daniela ; Irfan, Ahmed ; Graham-Lengrand, Stéphane ; Kovács, Laura MCSat-Based Finite Field Reasoning in the Yices2 SMT Solver (Short Paper)Inproceedings Konferenzbeitrag 1-Jul-2024
14Pluska-2024-Logical Distillation of Graph Neural Networks-vor.pdf.jpgPluska, Alexander ; Welke, Pascal ; Gärtner, Thomas ; Malhotra, Sagar Logical Distillation of Graph Neural NetworksInproceedings Konferenzbeitrag 24-Jun-2024
15Lenz, René ; Deutschmann-Olek, Andreas ; Kugi, Andreas ; Kemmetmüller, Wolfgang Optimal fault-tolerant control with radial force compensation for multiple open-circuit faults in multiphase PMSMs - A comparison of n-phase and multiple three-phase systemsArticle Artikel Jun-2024
16Seyedfaraji, Saeed ; Jager, Severin ; Shakibhamedan, Salar ; Aftab, Asad ; Rehman, Semeen OPTIMA: Design-Space Exploration of Discharge-Based In-SRAM Computing: Quantifying Energy-Accuracy Trade-offsInproceedings Konferenzbeitrag Jun-2024
17Reyhani-2024-Mechatronics-vor.pdf.jpgReyhani, Moien ; Marko, Lukas ; Janisch, Georg ; Kugi, Andreas Real-time observer designs for elastic-joint industrial robots: Experimental comparison and new strategiesArticle Artikel May-2024
18Leopold, Thomas ; Jantsch, Axel Colorado Potato Beetle Dataset and Detection for Monitoring and Management in Potato FieldsInproceedings Konferenzbeitrag 26-Mar-2024
19Oelerich, Thies ; Hartl-Nesic, Christian ; Kugi, Andreas Model Predictive Trajectory Planning for Human-Robot HandoversInproceedings Konferenzbeitrag2024
20Hader-2024-An SMT-LIB Theory of Finite Fields-vor.pdf.jpgHader, Thomas ; Ozdemir, Alex An SMT-LIB Theory of Finite FieldsInproceedings Konferenzbeitrag 2024