Results 51 to 60 of about 3,012,120 (253)

PASTA‐ELN: Simplifying Research Data Management for Experimental Materials Science

Advanced Engineering Materials, EarlyView.
Research data management faces ongoing hurdles as many ELNs remain complex and restrictive. PASTA‐ELN offers an open‐source, cross‐platform solution that prioritizes simplicity, offline access, and user control. Its in tuitive folder structure, modular Python add‐ons, and open formats enable seamless documentation, FAIR data practices, and easy ...
S. Brinckmann, G. Winkens, R. Schwaiger
wiley   +1 more source

Development of legal and technical regulation in the sphere of quantum communications

Правоприменение
Subject. The article examines the latest changes in Russian legislation, reflecting the active processes of production and implementation of quantum communications industry products in the information security market, caused, among other things, by the ...
A. V. Minbaleev, K. S. Evsikov
doaj   +1 more source

DigiChrom: A Domain Ontology for Semantic Representation of Trivalent Chromium Platings and Its Large Language Model‐Based Alignment With Multiple Mid‐Level Ontologies

Advanced Engineering Materials, EarlyView.
Digitalizing electroplating requires both domain knowledge and interoperability. This work introduces PlatOn, a domain ontology for trivalent chromium plating and coating characterization, and a hybrid pipeline that aligns it to a mid‐level reference ontology by combining eight similarity metrics with language model reasoning. Expert‐validated mappings
Janik Harter, Elena Garcia Trelles, Christoph Schweizer, Thomas Seifert, Christoph Baumer, Mahmoud Elkady, Katja Feige, Daniel Grimme, Edgar Hoffmann, Andreas Waibel, Anke Walter   +10 more
wiley   +1 more source

Logic program specialisation through partial deduction: Control Issues [PDF]

, 2002
Program specialisation aims at improving the overall performance of programs by performing source to source transformations. A common approach within functional and logic programming, known respectively as partial evaluation and partial deduction, is to ...
Bruynooghe, Maurice, Leuschel, Michael
core   +2 more sources

Program Transformation for Development, Verification, and Synthesis of Software [PDF]

, 2008
In this paper we briefly describe the use of the program transformation methodology for the development of correct and efficient programs. We will consider, in particular, the case of the transformation and the development of constraint logic ...
Pettorossi, Alberto, Senni, Valerio, Proietti, Maurizio   +2 more
core  

A Practical Type Analysis for Verification of Modular Prolog Programs [PDF]

, 2008
Regular types are a powerful tool for computing very precise descriptive types for logic programs. However, in the context of real life, modular Prolog programs, the accurate results obtained by regular types often come at the price of efficiency.
Pietrzak, Pawel, Puebla, German, Hermenegildo, Manuel, Pawel S. Pietrzak, Jesús Correas Fernández, Manuel V. Hermenegildo, Hermenegildo, Manuel V., Correas Fernandez, Jesús, Correas, Jesus, Germán Puebla, Puebla Sánchez, Alvaro Germán   +10 more
core   +1 more source

OntOMat: Toward Ontology‐Based Product and Process Design Engineering and Optimization Solutions Fueling Circular Value Chains

Advanced Engineering Materials, EarlyView.
The OntOMat ontology establishes a structured framework for polymer matrix fiber reinforced composite materials, integrating manufacturing processes, characterization methods, and multiscale design through the VDI/VDE 3682 formalized process description standard.
Nicolas Christ, Jörg Hohe, Martin Kördel, Michael Giese, Niklas Toffert, Christian Seidel, Olaf Rehme, Patrik Schneider, Oliver Focke, Elie Abi Aoun, Claas Falldorf, Beñat Gutierrez, Alexandra Kühn, Sven Torstrick-von der Lieth, Christoph Herden, Erik Johannsen, Jan‐Uwe R. Schmidt, Felix Winkelmann, Andreas Schott, Daniel Schott   +19 more
wiley   +1 more source

Negation and Constraint Logic Programming

Information and Computation, 1995
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

A practical approach to the global analysis of CLP programs [PDF]

, 1993
This paper presents and illustrates with an example a practical approach to the dataflow analysis of programs written in constraint logic programming (CLP) languages using abstract interpretation. It is first argued that, from the framework point of view,
Hermenegildo, Manuel V., M. García de la Banda, M. Hermenegildo, García de la Banda, M.   +3 more
core  

Anti-unification in Constraint Logic Programming [PDF]

Theory and Practice of Logic Programming, 2019
AbstractAnti-unification refers to the process of generalizing two (or more) goals into a single, more general, goal that captures some of the structure that is common to all initial goals. In general one is typically interested in computing what is often called a most specific generalization, that is a generalization that captures a maximal amount of ...
Gonzague Yernaux, Wim Vanhoof
openaire   +4 more sources