English
Related papers

Related papers: Thinging for Software Engineers

200 papers

A mathematical model, describing some different weaving structures, is made in this article. The terms self-mirror and rotation-stable weaving structure are initiated here. There are used the properties and operations in the set of the…

General Mathematics · Mathematics 2026-02-25 Krasimir Yordzhev , Hristina Kostadinova

This paper represents preliminary work in identifying the foundation for the discipline of Software Engineering and discovering the links between the domains of Software Engineering and Information Technology (IT). Our research utilized…

Software Engineering · Computer Science 2022-10-28 Jones Yeboah , Feifei Pang , Hari Priya Ponnakanti

We spell out a definition of sentience that may be useful for designing and building it in machines. We propose that for sentience to be meaningful for AI, it must be fleshed out in functional, computational terms, in enough detail to allow…

Artificial Intelligence · Computer Science 2025-06-26 Konstantin Demin , Taylor Webb , Eric Elmoznino , Hakwan Lau

The design and analysis of systems that combine computational behaviour with physical processes' continuous dynamics - such as movement, velocity, and voltage - is a famous, challenging task. Several theoretical results from programming…

Systems and Control · Electrical Eng. & Systems 2024-11-22 Pedro Mendes , Ricardo Correia , Renato Neves , José Proença

Theoretical computer science discusses foundational issues about computations. It asks and answers questions such as "What is a computation?", "What is computable?", "What is efficiently computable?","What is information?", "What is…

Logic in Computer Science · Computer Science 2017-10-10 Noson S. Yanofsky

As innovation in deep learning continues, many engineers are incorporating Pre-Trained Models (PTMs) as components in computer systems. Some PTMs are foundation models, and others are fine-tuned variations adapted to different needs. When…

Software Engineering · Computer Science 2025-08-20 Wenxin Jiang , Mingyu Kim , Chingwo Cheung , Heesoo Kim , George K. Thiruvathukal , James C. Davis

Software engineering researchers and practitioners have pursued manners to reduce the amount of time and effort required to develop code and increase productivity since the emergence of the discipline. Generative language models are just…

Software Engineering · Computer Science 2023-09-27 Jorge Melegati , Eduardo Guerra

Researchers in physics education have advocated both for including modeling in science classrooms as well as promoting student engagement with sensemaking. These two processes facilitate the generation of new knowledge by connecting to…

Physics Education · Physics 2023-01-31 Amogh Sirnoorkar , James T. Laverty , Paul D. O. Bergeron

Ocean science is a discipline that employs ocean models as an essential research asset. Such scientific modeling provides mathematical abstractions of real-world systems, e.g., the oceans. These models are then coded as implementations of…

Software Engineering · Computer Science 2022-02-03 Reiner Jung , Sven Gundlach , Wilhelm Hasselbring

Artificial Intelligence (AI) refers to the intelligence demonstrated by machines, and within the realm of AI, Machine Learning (ML) stands as a notable subset. ML employs algorithms that undergo training on data sets, enabling them to carry…

Software Engineering · Computer Science 2023-07-31 Talia Crawford , Scott Duong , Richard Fueston , Ayorinde Lawani , Samuel Owoade , Abel Uzoka , Reza M. Parizi , Abbas Yazdinejad

Integrating different Internet of Things devices from different manufacturers to create a mashup scenario can be a tedious and error-prone task that involves studying non-standard datasheets. A Thing Description (TD) as defined by the World…

Software Engineering · Computer Science 2019-09-12 Hassib Belhaj Hassine , Ege Korkan , Sebastian Steinhorst

Tangle machines are topologically inspired diagrammatic models. Their novel feature is their natural notion of equivalence. Equivalent tangle machines may differ locally, but globally they are considered to share the same information…

Information Theory · Computer Science 2015-06-25 Avishy Y. Carmi , Daniel Moskovich

The given paper considered a generalized model representation of the software system "Instrumental complex for ontological engineering purpose". Represented complete software system development process. Developed relevant formal models of…

Software Engineering · Computer Science 2022-01-04 A. V. Palagin , N. G. Petrenko , V. Yu. Velychko , K. S. Malakhov

This paper makes the case that a powerful new discipline, which we term perception engineering, is steadily emerging. It follows from a progression of ideas that involve creating illusions, from historical paintings and film, to video games…

Technology is currently ubiquitous and is also part of the educational system at all levels. It started with communication technology systems, and later continued with digital competence. Nowadays, although these previous concepts are still…

Computers and Society · Computer Science 2025-02-18 Javier Bilbao , Eugenio Bravo , Olatz Garcia , Carolina Rebollar

We propose a set of precise criteria for saying a neural net learns and uses a "world model." The goal is to give an operational meaning to terms that are often used informally, in order to provide a common language for experimental…

Artificial Intelligence · Computer Science 2025-07-30 Kenneth Li , Fernanda Viégas , Martin Wattenberg

Scientific modeling provides mathematical abstractions of real-world systems and builds software as implementations of these mathematical abstractions. Ocean science is a multidisciplinary discipline developing scientific models and…

Software Engineering · Computer Science 2022-03-15 Reiner Jung , Sven Gundlach , Wilhelm Hasselbring

We describe the Turing Machine, list some of its many influences on the theory of computation and complexity of computations, and illustrate its importance.

Computational Complexity · Computer Science 2013-08-26 P. M. B. Vitanyi

The Turing machine (TM) and the Church thesis have formalized the concept of computable number, this allowed to display non-computable numbers. This paper defines the concept of number "approachable" by a TM and shows that some (if not all)…

Computational Complexity · Computer Science 2010-03-03 Nicolas Brener

Sintering, as a thermal process at elevated temperature below the melting point, is widely used to bond contacting particles into engineering products such as ceramics, metals, polymers, and cemented carbides. Modelling and simulation as…

Materials Science · Physics 2023-02-13 Min Yi , Wenxuan Wang , Ming Xue , Qihua Gong , Bai-Xiang Xu