Results 41 to 50 of about 231,992 (188)

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

Current Status and Challenges in Data Collection for Aerospace Coatings Deposited by Plasma Spraying

Advanced Engineering Materials, EarlyView.
An innovative approach has been integrated into the GRENAT project to optimize plasma spraying and coating performance. Raw materials are accelerated and melted in the plasma generated by torches, creating coatings. Monitoring sensors collect process data which are combined with ex situ characterization data.
Lila Randriamananjara, Vincent Rat, Quentin Dubreuil, Patrice Valorge, Simon Goutier, Alain Denoirjean, Olivier Messe, Céline Ruelle, Jean‐Philippe Poli   +8 more
wiley   +1 more source

A formal theory of conceptual modeling universals [PDF]

, 2004
Conceptual Modeling is a discipline of great relevance to several areas in Computer Science. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL) and its underlying upper level ontology, proposed in [4,5], to evaluate ...
Guizzardi, Giancarlo, Sinderen, Marten van, Wagner, Gerd   +2 more
core   +3 more sources

Program Synthesis and Linear Operator Semantics

, 2014
For deterministic and probabilistic programs we investigate the problem of program synthesis and program optimisation (with respect to non-functional properties) in the general setting of global optimisation.
Wiklicky, Herbert
core   +2 more sources

Toward Knowledge‐Based Workflows: A Semantic Approach to Atomistic Simulations for Mechanical and Thermodynamic Properties

Advanced Engineering Materials, EarlyView.
Knowledge‐based atomistic workflows are presented for mechanical and thermodynamic properties. By coupling modular simulations with ontology‐aligned metadata and provenance, Fe case studies on elastic behavior, defects, thermal properties, and Hall–Petch strengthening reveal how FAIR, queryable, and reusable simulation data can be generated. Mechanical
Abril Azócar Guzmán, Hoang‐Thien Luu, Sarath Menon, Tilmann Hickel, Nina Merkert, Stefan Sandfeld   +5 more
wiley   +1 more source

The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types

, 2016
We present the guarded lambda-calculus, an extension of the simply typed lambda-calculus with guarded recursive and coinductive types. The use of guarded recursive types ensures the productivity of well-typed programs.
Birkedal, Lars, Bizjak, Aleš, Clouston, Ranald, Grathwohl, Hans Bugge   +3 more
core   +1 more source

Scholarly Big Data: Computational Approaches to Semantic Labeling in Materials Science

, 2021
Work presented at the workshop “Organizing Big Data, Information, and Knowledge” in ACM/JCDL 2020 (Association of Computing Machinery/Joint Conference on Digital Libraries).
Xintong Zhao, Greenberg, Jane, Meschke, Vanessa, Xiaohua Hu, Toberer, Eric S.   +4 more
openaire   +1 more source

Solution‐Processed Two‐Dimensional Indium Oxide on Sodium‐Embedded Alumina for Reconfigurable Optoelectronic Synaptic Transistors

Advanced Functional Materials, EarlyView.
Wafer‐scale two‐dimensioanl In2Se3 oxidized into InOx on sodium‐embedded beta‐alumina enables multifunctional reconfigurable electronics. Sodium ions accumulate within distinct spatial distribution under drain‐controlle and gate‐controlled operation. Drain‐control operation gives controllability of ultraviolet‐driven optoelectronic synaptic conductance
Jinhong Min, Yonghyun Albert Kwon, Hyunbin Kim, Jihyun Kim, Myeongjin Jung, Jaewon Heo, Gwang Ya Kim, Vlastimil Mazanek, Zdeněk Sofer, In Soo Kim, Jeong Ho Cho, Hyesung Park, Sang Min Won, Joohoon Kang   +13 more
wiley   +1 more source

Multimodal Perception and Machine Learning‐Empowered Human Machine Interfaces With Double‐Network Hydrogel Fibers

Advanced Functional Materials, EarlyView.
This work develops polyacrylamide‐alginate (PAM‐Alg) double‐network hydrogel fibers for multimodal perception and intelligent human‐machine interfaces. The covalent‐ionic network provides high strength, toughness, and stable conductivity. Easily woven into wearables and integrated with soft robots, the fibers enable object and temperature recognitions ...
Yujue Yang, Minyu Qiu, Di Tan, Xinlong Liu, Junze Zhang, Ziyu He, Jing Han, Yuanyuan Gao, Zihua Li, Hong Fu, Bingang Xu   +10 more
wiley   +1 more source

On the role of domain ontologies in the design of domain-specific visual modeling langages [PDF]

, 2002
Domain-Specific Visual Modeling Languages should provide notations and abstractions that suitably support problem solving in well-defined application domains.
Ferreira Pires, L., Guizzardi, G., Sinderen, M.J. van   +2 more
core   +3 more sources