Results 61 to 70 of about 360,109 (345)
Multilayer ferrite inductor prototypes are fabricated by cofiring metallized tapes of NiCuZn ferrite and glass‐ceramic composite. Prerequisites for a predictive component simulation are discussed. An automated data‐pipeline stores and semantically links the experimental data acquired in the study according to a domain ontology.
Björn Mieller+8 more
wiley +1 more source
A Refinement Methodology for Object-Oriented Programs [PDF]
Refinement is a well-known approach for developing correct-byconstruction software. It has been very successful for producing high quality code e.g., as implemented in the B tool. Yet, such refinement techniques are restricted in the sense that they forbid aliasing (and more generally sharing of data-structures), which often happens in usual ...
Tafat, Asma+2 more
openaire +4 more sources
This manuscript presents advances in digital transformation within materials science and engineering, emphasizing the role of the MaterialDigital Initiative. By testing and applying concepts such as ontologies, knowledge graphs, and integrated workflows, it promotes semantic interoperability and data‐driven innovation. The article reviews collaborative
Bernd Bayerlein+44 more
wiley +1 more source
CONSTRUCTORS AND DESTRUCTUR IN OBJECT ORIENTED PROGRAMMING
This paper offers analysis and design of data protection and administration utilizing constructors or special member functions (SMF) and destructor or demolition function (DF) capacities that begin the objects of its class and manipulated the data using
Nadia Moqbel Hassan
doaj
The meaning of a program change is a change to the program's meaning [PDF]
Programming is the activity of modifying a program in order to bring about specific changes in its behaviour. Yet programming language theory almost exclusively focuses on the meaning of programs. We motivate a "change-oriented" viewpoint from which the meaning of a program change is a change to the program's meaning.
arxiv
Static typing for object-oriented programming
We develop a theory of statically typed object-oriented languages. It represents classes as labeled, regular trees, types as finite sets of classes, and subclassing as a partial order on trees. We show that our subclassing order strictly generalizes inheritance, and that a novel genericity mechanism arises as an order-theoretic complement.
Schwartzbach, Michael Ignatieff+1 more
openaire +3 more sources
Smart Rubber Extrusion Line Combining Multiple Sensor Techniques for AI‐Based Process Control
This publication presents a digitalization approach for a laboratory rubber extrusion line, employing innovative measurement methods and artificial intelligence (AI)‐based process control. The results demonstrate that the measurement systems are capable of detecting changes in the process and extrudate quality.
Alexander Aschemann+18 more
wiley +1 more source
Research of the object-oriented programming learning environment
Research and results of the use of C++ Learning Environment for teaching at Vilnius Pedagogical University are described in this paper. Results of questionnaires and Web Ct statistical data were used for the research.
Joana Lipeikienė+2 more
doaj +1 more source
A Unified Programming Model for Heterogeneous Computing with CPU and Accelerator Technologies [PDF]
This paper consists of three parts. The first part provides a unified programming model for heterogeneous computing with CPU and accelerator (like GPU, FPGA, Google TPU, Atos QPU, and more) technologies. To some extent, this new programming model makes programming across CPUs and accelerators turn into usual programming tasks with common programming ...
arxiv
Analisa Konsep Object Oriented Programming pada Bahasa Pemrograman Php [PDF]
In making computer application an important role is the language of programming, without any programming language not be called off computer application desired.
Wibowo, K. (Kadek)
core