Results 91 to 100 of about 39,363,930 (284)

A Semantic Infosphere [PDF]

, 2003
We describe a prototype implementation of a semantic filtering capability added to an existing XML-based publish and subscribe infrastructure. An ontology is used to provide vocabulary for expressing both 1) the semantic annotations that characterize the published documents and 2) the subscriptions specifying the class of documents to be routed to a ...
Uschold, Michael, Clark, Peter, Dickey, Fred, Fung, Casey, Smith, Sonia, Uczekaj, Stephen, Wilke, Michael, Bechhofer, Sean, Horrocks, Ian   +8 more
openaire   +2 more sources

A Lightweight Procedural Layer for Hybrid Experimental–Computational Workflows in Materials Science

Advanced Engineering Materials, EarlyView.
We unveil a prototype hybrid‐workflow framework that fuses automatedcomputation with hands‐on experiments. Built atop pyiron, a lightweight, parameterized layer translates procedure descriptions into executable manual steps, syncing instrument settings, human interventions, and data capture in real‐time today.
Steffen Brinckmann, Sarath Menon, Raphael Röske, Johannes Steinhülb, Michael Selzer, Jan Janssen, Tilmann Hickel, Ruth Schwaiger, Jörg Neugebauer   +8 more
wiley   +1 more source

Underlying Mechanisms of Cooperativity, Input Specificity, and Associativity of Long-Term Potentiation Through a Positive Feedback of Local Protein Synthesis

Frontiers in Computational Neuroscience, 2018
Long-term potentiation (LTP) is a specific form of activity-dependent synaptic plasticity that is a leading mechanism of learning and memory in mammals. The properties of cooperativity, input specificity, and associativity are essential for LTP; however,
Lijie Hao, Zhuoqin Yang, Jinzhi Lei
doaj   +1 more source

On phase semantics and denotational semantics: the exponentials

Annals of Pure and Applied Logic, 2001
An indexed version of propositional linear logic with exponentials is defined together with a sequent calculus for this system. To a formula \(A\) of indexed linear logic are associated: an underlying formula \(\underline{A}\) of linear logic, an interpretation \(|\underline{A}|\) of this formula in the category of sets and relations, and a family ...
Ehrhard, Thomas, Bucciarelli, Antonio
openaire   +2 more sources

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

Programming Language Semantics using Miranda [PDF]

, 1995
This paper explains the use of the functional programming language Miranda as a vehicle for describing the semantics of imperative programming languages.
Simon Thompson, Thompson, Simon
core  

Formal Semantics of ABN Framework

, 2008
This technical document extend upon and give formal meaning to the syntactic definitions presented in [7] and forwards the formal semantics of our argumentation-based negotiation (ABN) dialogue game protocol, which allows agents to argue, negotiate and ...
Karunatillake, Nishan C, Karunatillake, Nishan C., Karunatillake, N., Rahwan, I. ; https://orcid.org/, Jennings, Nicholas R., Jennings, Nicholas R, McBurney, Peter, McBurney, P., Rahwan, Iyad, Jennings, N.   +9 more
core   +2 more sources

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

Gamifying cybersecurity: A narrative-driven approach to teaching steganography

Computers and Education Open
Serious games are increasingly used in educational settings to enhance student engagement and support deeper learning. While research shows that such games can improve holistic understanding and knowledge retention, their application in specialised ...
Femke G.J. Weijsenfeld, Dipti K. Sarmah
doaj   +1 more source

Ontology‐Aligned Structuring and Reuse of Multimodal Materials Data and Workflows Toward Automatic Reproduction

Advanced Engineering Materials, EarlyView.
Reproduction of stacking fault energy calculations from literature with a semi‐automated large language model‐assisted extraction procedure: extraction of simulation protocol, atomistic structures, computational parameters, and reported results, ontology alignment, knowledge graph construction and, finally, recomputation forvalidation.
Sepideh Baghaee Ravari, Abril Azocar Guzman, Sarath Menon, Stefan Sandfeld, Tilmann Hickel, Markus Stricker   +5 more
wiley   +1 more source