Search Results - "Information and General Works::005: Computer Programming"

EdgeMiner: Distributed Process Mining at the Data Sources

Authors: Andersen, Julia Rathje, Patrick Imenkamp, Christian et al.

Source: Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing. :705-713

Subject Terms: In-Network Processing, Computer Science, Information and General Works::004: Computer Sciences, Computer Science - Databases, Computer Science - Distributed, Parallel, and Cluster Computing, Distributed Process Mining, Internet of Things, Scalability, Technology::621: Applied Physics::621.3: Electrical Engineering, Electronic Engineering, Event Data Stream, Computer Science, Information and General Works::005: Computer Programming, Programs, Data and Security

Access URL: http://arxiv.org/abs/2405.03426

MADE-WIC: Multiple Annotated Datasets for Exploring Weaknesses In Code

Authors: Mock, Moritz Melegati, Jorge Kretschmann, Max et al.

Source: Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering. :2346-2349

Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, dataset annotation | SATD | security | vulnerabilities, Computer Science, Information and General Works::005: Computer Programming, Programs, Data and Security

Access URL: http://arxiv.org/abs/2408.05163

Approximate Minimum Tree Cover in All Symmetric Monotone Norms Simultaneously

Authors: Kaul, Matthias Luo, Kelin Mnich, Matthias et al.

Contributors: Kaul, Matthias Luo, Kelin Mnich, Matthias et al.

Subject Terms: all-norm approximation, FOS: Computer and information sciences, Computer Science, Information and General Works::004: Computer Sciences, Computer Science - Data Structures and Algorithms, Technology::621: Applied Physics::621.3: Electrical Engineering, Electronic Engineering, Data Structures and Algorithms (cs.DS), ddc:004, spanning trees, Natural Sciences and Mathematics::519: Applied Mathematics, Probabilities, Clustering, Computer Science, Information and General Works::005: Computer Programming, Programs, Data and Security::005.1: Programming

File Description: application/pdf

Access URL: http://arxiv.org/abs/2501.05048
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.57

A quasi-polynomial time algorithm for multi-arrival on tree-like multigraphs

Authors: Ghorbani, Ebrahim Hoff, Jonah Leander Mnich, Matthias et al.

Contributors: Ghorbani, Ebrahim Hoff, Jonah Leander Mnich, Matthias et al.

Subject Terms: Fixed-Parameter Tractability, Computer Science, Information and General Works::004: Computer Sciences, Rotor-routing, Arrival, Path-Like Multigraph, Tree-like Multigraph, ddc:004, Natural Sciences and Mathematics::519: Applied Mathematics, Probabilities, Computer Science, Information and General Works::005: Computer Programming, Programs, Data and Security::005.1: Programming

File Description: application/pdf

Access URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.39

Using Learning Objective-based Course Modeling for Complete Exercise Generation: From Course Material to an Aggregated Knowledge Representation

Authors: Schmidt, Deniz Uzulis, Max Vincent

Source: 2023 IEEE International Conference on Teaching, Assessment and Learning for Engineering (TALE). :1-8

Subject Terms: 4. Education, 0602 languages and literature, 05 social sciences, 06 humanities and the arts, Computer Science, Information and General Works::006: Special computer methods::006.3: Artificial Intelligence, 0503 education, Technology::629: Other Branches::629.8: Control and Feedback Control Systems, Technology::620: Engineering, Computer Science, Information and General Works::005: Computer Programming, Programs, Data and Security

Data-driven fault localization in cyber-physical systems using dependency graphs and anomaly detection

Authors: Grünhagen, Arne Eichler, Annika Tropmann-Frick, Marina et al.

Subject Terms: Data Mining, Fault Analysis, Dependency Graph, Cyber-Physical System, 0: Computer Science, Information and General Works::005: Computer Programming, Programs, Data and Security::005.8: Computer Security, 6: Technology::620: Engineering

File Description: application/pdf

Relation: Frontiers in artificial intelligence and applications; https://hdl.handle.net/11420/58920; https://doi.org/10.15480/882.16192

Availability: https://hdl.handle.net/11420/58920
https://doi.org/10.15480/882.16192

Discrete prompt optimization using genetic algorithm for secure Python code generation

Authors: Tony, Catherine Pintor, Maura Kretschmann, Max et al.

Subject Terms: Genetic algorithms, LLMs, Prompt optimization, Secure code generation, 0: Computer Science, Information and General Works::004: Computer Sciences, Information and General Works::005: Computer Programming, Programs, Data and Security

File Description: application/pdf

Relation: The journal of systems and software; Journal of Systems and Software 232: 112682 (2026); https://hdl.handle.net/11420/59052; https://doi.org/10.15480/882.16244

Availability: https://hdl.handle.net/11420/59052
https://doi.org/10.15480/882.16244

Randomized algorithms to generate hypergraphs with given degree sequences

Authors: Ascolese, Michela Lienau, Matthias Schulte, Matthias et al.

Subject Terms: 5: Natural Sciences and Mathematics::510: Mathematics, 0: Computer Science, Information and General Works::005: Computer Programming, Programs, Data and Security

File Description: application/pdf

Relation: The electronic journal of combinatorics; Electronic Journal of Combinatorics 32 (2): P2.15 (2025); https://hdl.handle.net/11420/55735; https://doi.org/10.15480/882.15226

Availability: https://hdl.handle.net/11420/55735
https://doi.org/10.15480/882.15226

Prompting techniques for secure code generation: a systematic investigation

Authors: Tony, Catherine Díaz Ferreyra, Nicolás E. Mutas, Markus et al.

Subject Terms: LLMs, secure code generation, prompt engineering, 0: Computer Science, Information and General Works::004: Computer Sciences, Information and General Works::005: Computer Programming, Programs, Data and Security

File Description: application/pdf

Relation: ACM transactions on software engineering and methodology; https://hdl.handle.net/11420/58459; https://doi.org/10.15480/882.16085

Availability: https://hdl.handle.net/11420/58459
https://doi.org/10.15480/882.16085

Robust LFSR-based scrambling to mitigate stencil attack on main memory

Authors: Kumar, Gaurav Nanote, Kushal Pravin Lal, Sohan et al.

Subject Terms: DRAM security, LFSR, memory disclosure attacks, memory scrambling, stencil attack, 0: Computer Science, Information and General Works::004: Computer Sciences, Information and General Works::005: Computer Programming, Programs, Data and Security, 6: Technology::621: Applied Physics

File Description: application/pdf

Relation: ACM transactions on embedded computing systems; ACM Transactions on Embedded Computing Systems 24 (5s): 102 (2025); https://hdl.handle.net/11420/58290; https://doi.org/10.15480/882.16050

Availability: https://hdl.handle.net/11420/58290
https://doi.org/10.15480/882.16050

Space-efficient parameterized algorithms on graphs of low shrubdepth

Authors: Bergougnoux, Benjamin Chekan, Vera Ganian, Robert et al.

Subject Terms: Parameterized complexity, shrubdepth, space complexity, algebraic methods, 0: Computer Science, Information and General Works::004: Computer Sciences, Information and General Works::005: Computer Programming, Programs, Data and Security::005.1: Programming, 5: Natural Sciences and Mathematics::510: Mathematics, 5: Natural Sciences and Mathematics::519: Applied Mathematics, Probabilities

File Description: application/pdf

Relation: ACM transactions on computation theory; https://hdl.handle.net/11420/54699; https://doi.org/10.15480/882.14875; 2307.01285

Availability: https://hdl.handle.net/11420/54699
https://doi.org/10.15480/882.14875

A microservice based control architecture for mobile robots in safety-critical applications

Authors: Schrick, Manuel Hinckeldeyn, Johannes Thiel, Marko et al.

Subject Terms: 0: Computer Science, Information and General Works::005: Computer Programming, Programs, Data and Security

File Description: application/pdf

Relation: Robotics and autonomous systems; Projekt DEAL; Robotics and autonomous systems 183: 104795 (2025); https://hdl.handle.net/11420/50350

Availability: https://hdl.handle.net/11420/50350
https://doi.org/10.15480/882.13627

Exploring Explainable AI for Symbol Detection in Construction Drawings

Authors: Michalak, Jan Faltin, Benedikt

Subject Terms: Machine Learning, Symbol Detection, Computer Science, Information and General Works::004: Computer Sciences, Computer Science, Information and General Works::006: Special computer methods, XAI, XAI | Machine Learning | Symbol Detection | YOLO | Eigen-CAM, YOLO, Arts::720: Architecture, Eigen-CAM, Computer Science, Information and General Works::005: Computer Programming, Programs, Data and Security

Joint triple Extraction for construction regulatory documents using graph neural networks

Authors: Ali, Sherief

Subject Terms: Information extraction, Code Compliance, Joint entity recognition, Technology::621: Applied Physics::621.3: Electrical Engineering, Electronic Engineering, Relation extraction, Technology::624: Civil Engineering, Environmental Engineering, Graph neural networks, Computer Science, Information and General Works::005: Computer Programming, Programs, Data and Security

LLM Assistant for heterogeneous multi-robot system dynamic task planning

Authors: Guzmán-Merino, Miguel Krause, Nils Sören

Subject Terms: Technology::658: Marketing::658.5: Of Production, Large language model, Technology::690: Building, Construction, Multi-robot systems, Task planning, Human-robot interaction, Construction robotics, Computer Science, Information and General Works::005: Computer Programming, Programs, Data and Security

Using 2D scene graphs as an enabler for DT topology

Authors: Kim, Nayun Atacan, Kural Avgoren Alrabab’h, Mohammad Adnan Mohammad et al.

Subject Terms: Closed-Vocabulary 2D Scene-Graph | Computer Vision | Rule-Based ML | Transfer Learning | Digital Twin, Digital Twin, Computer Science, Information and General Works::006: Special computer methods, Computer Vision, Closed-Vocabulary 2D Scene-Graph, Arts::720: Architecture, Transfer Learning, Rule-Based ML, Computer Science, Information and General Works::005: Computer Programming, Programs, Data and Security

Integration of multi-criteria decision-making in heritage building information management

Authors: Fernandez Resta, Laura

Subject Terms: Computer Science, Information and General Works::006: Special computer methods, HBIM, Arts::711: Area Planning (Civic Art), heritage preservation, Arts::720: Architecture, decision-making, MCDM, HBIM | MCDM | decision-making | heritage preservation, Computer Science, Information and General Works::005: Computer Programming, Programs, Data and Security

Kombination von Thermographie und Laserscanning zur Erfassung und Visualisierung von Störstellen mittels BIM

Authors: Müßle, Melanie

Subject Terms: Technology::621: Applied Physics::621.3: Electrical Engineering, Electronic Engineering, ddc:690, Building information modeling (BIM), Arts::720: Architecture, Bestandserfassung, Buildings, Thermographie, Technology::624: Civil Engineering, Environmental Engineering, Datenfusion, Computer Science, Information and General Works::005: Computer Programming, Programs, Data and Security

File Description: application/pdf

Access URL: https://publikationen.bibliothek.kit.edu/1000179706
https://doi.org/10.5445/IR/1000179706
https://publikationen.bibliothek.kit.edu/1000179706/157393226

Enhancing Machining Feature Recognition in CAD Models through Transfer Learning on BRepNet

Authors: Gkrispanis, Konstantinos

Subject Terms: B-Rep, CAD learning, CAD segmentation, Geometric Deep Learning, Machining features, 0: Computer Science, Information and General Works::006: Special computer methods::006.3: Artificial Intelligence, 6: Technology::620: Engineering, Information and General Works::004: Computer Sciences, Information and General Works::005: Computer Programming, Programs, Data and Security

File Description: application/pdf

Relation: 35. Forum Bauinformatik, fbi 2024; https://hdl.handle.net/11420/49647

Availability: https://hdl.handle.net/11420/49647
https://doi.org/10.15480/882.13539

Methodical support for identifying and selecting data and analysis tools in the data-driven development of complex mechatronic systems

Authors: Wagenmann, Steffen Rall, Jakob Weidinger, Felicia et al.

Subject Terms: Data Analytics, Design methodology, Methodical Support, technologies, tools, 0: Computer Science, Information and General Works::004: Computer Sciences, Information and General Works::005: Computer Programming, Programs, Data and Security

File Description: application/pdf

Relation: Procedia CIRP; 34th CIRP Design Conference, CIRP 2024; https://hdl.handle.net/11420/52082

Availability: https://hdl.handle.net/11420/52082
https://doi.org/10.15480/882.13715