English
Related papers

Related papers: Nmag micromagnetic simulation tool - software engi…

200 papers

Industrial robots typically require very structured and predictable working environments, and explicit programming, in order to perform well. Therefore, expensive and time-consuming engineering work is a major obstruction when mediating…

Robotics · Computer Science 2019-05-28 Martin Karlsson

Consumer applications are becoming increasingly smarter and most of them have to run on device ecosystems. Potential benefits are for example enabling cross-device interaction and seamless user experiences. Essential for today's smart…

Human-Computer Interaction · Computer Science 2021-03-30 Muhammad Mehran Sunny , Moritz Berghofer , Ilhan Aslan

Computational science relies on scientific software as its primary instrument for scientific discovery. Therefore, similar to the use of other types of scientific instruments, correct software and the correct operation of the software is…

Software Engineering · Computer Science 2024-05-20 Akash Dhruv , Rajeev Jain , Jared O'Neal , Klaus Weide , Anshu Dubey

Rapid technological progress in computer sciences finds solutions and at the same time creates ever more complex requirements. Due to an evolving complexity todays programming languages provide powerful frameworks which offer standard…

Human-Computer Interaction · Computer Science 2019-05-17 Igor Ivkic , Alexander Wöhrer , Markus Tauber

Due to the complex specifications of current electronic systems, design decisions need to be explored automatically. However, the exploration process is a complex task given the plethora of design choices such as the selection of…

Hardware Architecture · Computer Science 2023-06-22 Sergio Vinagrero Gutiérrez , Giorgio Di Natale , Elena-Ioana Vatajelu

Debugging is often a challenging and infuriating experience for secondary school students learning their first text-based programming language. Many students resort to ineffective debugging strategies, making success with solving errors…

Human-Computer Interaction · Computer Science 2025-08-27 Laurie Gale , Sue Sentance

Quantum simulation is a leading candidate for demonstrating practical quantum advantage over classical computation, as it is believed to provide exponentially more compute power than any classical system. It offers new means of studying the…

Quantum Physics · Physics 2026-01-23 Maja Franz , Lukas Schmidbauer , Joshua Ammermann , Ina Schaefer , Wolfgang Mauerer

Scientific software is one of the key elements for reproducible research. However, classic publications and related scientific software are typically not (sufficiently) linked, and it lacks tools to jointly explore these artefacts. In this…

Digital Libraries · Computer Science 2018-06-21 Anett Hoppe , Jascha Hagen , Helge Holzmann , Günter Kniesel , Ralph Ewerth

Background: Despite the potential benefits of software modelling, developers have shown a considerable reluctance towards its application. There is substantial existing research studying industrial use and technical challenges of modelling.…

Software Engineering · Computer Science 2023-01-05 Shalini Chakraborty , Grischa Liebel

Recent advancements in natural language processing (NLP) have enabled the development of automated tools that support various domains, including software engineering. However, while NLP and artificial intelligence (AI) research has…

Software Engineering · Computer Science 2025-08-25 Sonia Nicoletti , Paolo Ciancarini

In this paper we discuss the theory used in the design of an open source lightmorphic signatures analysis toolkit (LSAT). In addition to providing a core functionality, the software package enables specific optimizations with its modular…

Machine Learning · Computer Science 2023-01-03 D. Damian

Digital Engineering currently relies on costly and often bespoke integration of disparate software products to assemble the authoritative source of truth of the system-of-interest. Tools not originally designed to work together become an…

Systems and Control · Electrical Eng. & Systems 2024-01-05 James S. Wheaton , Daniel R. Herber

Emerging two terminal nanoscale memory devices, known as memristors, have over the past decade demonstrated great potential for implementing energy efficient neuro-inspired computing architectures. As a result, a wide-range of technologies…

Emerging Technologies · Computer Science 2022-07-29 Jinqi Huang , Spyros Stathopoulos , Alex Serb , Themis Prodromakis

As computer systems become more and more complex, software and tools lag more and more behind. This is especially true for scientific software that often demands high performance, and thus needs to take advantage of parallelisms, memory…

Computers and Society · Computer Science 2013-09-11 Anne C. Elster

Monads are a popular tool for the working functional programmer to structure effectful computations. This paper presents polymonads, a generalization of monads. Polymonads give the familiar monadic bind the more general type forall a,b. L a…

Programming Languages · Computer Science 2014-06-10 Michael Hicks , Gavin Bierman , Nataliya Guts , Daan Leijen , Nikhil Swamy

Micromagnetics has made significant strides, particularly due to its wide-ranging applications in magnetic storage design. Numerical simulation is a cornerstone of micromagnetics research, relying on first-principle rules to compute the…

Machine Learning · Computer Science 2024-10-22 Yunqi Cai , Jiangnan Li , Dong Wang

Model-driven engineering (MDE) simplifies software development through abstraction, yet challenges such as time constraints, incomplete domain understanding, and adherence to syntactic constraints hinder the design process. This paper…

Software Engineering · Computer Science 2024-10-17 Meriem Ben Chaaben , Lola Burgueño , Istvan David , Houari Sahraoui

With the large diversity of platforms and devices used by students, web applications increasingly suggest themselves as the solution of choice. Developing adequate educational programming environments in the browser, however, remains a…

Programming Languages · Computer Science 2024-10-10 Clemens Bachmann , Alexandra Maximova , Tobias Kohn , Dennis Komm

Models can be built directly from input and output data trough a process known as system identification. The Nonlinear AutoRegressive with eXogenous inputs (NARMAX) models are among the most used mathematical representations in the area and…

Systems and Control · Electrical Eng. & Systems 2022-11-11 Henrique Carvalho de Castro , Bruno Henrique Groenner Barbosa

We review various changes made in recent years to the software development process of the LAMMPS simulation software package and the software itself. We discuss how those changes have impacted the effort and workflow required to develop and…

Software Engineering · Computer Science 2025-05-13 Axel Kohlmeyer , Richard Berger