Results 91 to 100 of about 4,652 (266)
Game Semantics in the Nominal Model
Electronic Notes in Theoretical Computer Science, 2012 AbstractWe present a model of games based on nominal sequences, which generalise sequences with atoms and a new notion of coabstraction. This gives a new, precise, and compositional mathematical treatment of justification pointers in game semantics.
Murdoch Gabbay, Dan R. Ghica
openaire +1 more source
Advanced Materials, EarlyView.Magnetic tunnel junctions (MTJs) using MgO tunnel barriers face challenges of high resistance‐area product and low tunnel magnetoresistance (TMR). To discover alternative materials, Literature Enhanced Ab initio Discovery (LEAD) is developed. The LEAD‐predicted materials are theoretically evaluated, showing that MTJs with dusting of ScN or TiN on ...
Sabiq Islam +6 more
wiley +1 more source
Closed‐Loop Solid‐State Synthesis Planning for Materials Discovery With Large Language Models
Advanced Materials, EarlyView.Leveraging literature data, we build a large‐language‐model‐driven workflow that extracts synthesis steps from 4407 papers, retrieves similar precedents, and generates candidate solid‐state synthesis recipes. The system benchmarks against ground‐truth and then operates in a closed loop with experiments to synthesize oxy‐selenide electrolyte materials ...
Dong Won Jeon +9 more
wiley +1 more source
The Stochastic Geometric Machine Model
Trends in Computational and Applied Mathematics, 2004 This paper introduces the stochastic version of the Geometric Machine Model for the modelling of sequential, alternative, parallel (synchronous) and nondeterministic computations with stochastic numbers stored in a (possibly infinite) shared memory.
R.H.S. Reiser, G.P. Dimuro, A.C.R. Costa
doaj +1 more source
Summarizing Semantic Model Differences
CoRR, 2014 10 pages, 7 figures. ME 2011 - Models and Evolution, Wellington, New Zealand. Ed: B. Sch\"atz, D. Deridder, A. Pierantonio, J. Sprinkle, D.
Shahar Maoz +2 more
openaire +2 more sources
Turning Water Into a Tool: From Degradation Pathways to Functional Engineering in Halide Perovskites
Advanced Materials Technologies, EarlyView.Water exhibits a threshold‐dependent dual role in lead halide perovskites, acting either as a degradation trigger or as a powerful tool for defect passivation, recrystallization, and structural engineering. This review discusses how controlled water‐mediated interactions govern stability, dimensionality, and optoelectronic performance, providing ...
Raphaella T. S. Gonçalves +4 more
wiley +1 more source
NanomaterialsThis study presents an exact analytical investigation into the static response of helical single-walled carbon nanotube (SWCNT) beams based on Eringen’s differential nonlocal elasticity theory, which captures nanoscale effects arising from interatomic ...
Ali Murtaza Dalgıç +3 more
doaj +1 more source
Advanced Materials Technologies, EarlyView.Extrusion‐based bioprinting (EBB) has emerged as a versatile biofabrication platform capable of precisely depositing bioinks composed of biomaterials, cells, and bioactive agents to generate patient‐specific, biomimetic skin constructs. This paper presents a state‐of‐the‐art and forward‐looking overview of EBB for wound healing, encompassing printing ...
Hien‐Phuong Le +4 more
wiley +1 more source
Scalable Task Planning via Large Language Models and Structured World Representations
Advanced Robotics Research, EarlyView.This work efficiently combines graph‐based world representations with the commonsense knowledge in Large Language Models to enhance planning techniques for the large‐scale environments that modern robots will need to face. Planning methods often struggle with computational intractability when solving task‐level problems in large‐scale environments ...
Rodrigo Pérez‐Dattari +4 more
wiley +1 more source
D2T2 Analysis of a Loss of Main Feed Water Accident
SystemsThe availability of accurate models capturing the realistic behaviour of complex systems is critical for the safe operation and optimal management of nuclear installations.
Silvia Tolo, John Andrews
doaj +1 more source