Results 81 to 90 of about 131,879,682 (302)
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 +19 more
wiley +1 more source
The Impact of the Lambda Calculus in Logic and Computer Science [PDF]
Bulletin of Symbolic Logic, 1997 AbstractOne of the most important contributions of A. Church to logic is his invention of the lambda calculus. We present the genesis of this theory and its two major areas of application: the representation of computations and the resulting functional programming languages on the one hand and the representation of reasoning and the resulting systems ...
openaire +4 more sources
Advanced Engineering Materials, EarlyView.The community‐driven Platform MaterialDigital Core Ontology (PMDco) 3.0 is introduced as a Basic Formal Ontology‐aligned semantic backbone for the processing–structure–properties paradigm in Materials Science and Engineering. Modular engineering, automated releases, and validation workflows are highlighted and key semantic patterns for materials ...
Markus Schilling +15 more
wiley +1 more source
Initiating and Sustaining Female Networks in Computer Science and IT [PDF]
, 2007 Over the last decade, several networks and communities for women in IT have been initiated. It has been known that specific needs for support exist where members of a minority have difficulties in finding like-minded people in their everyday environment.
Oelinger, Maria, Hinze, Annika
core
Advanced Engineering Materials, EarlyView.Sustainability assessment requires methodologies that appropriately distinguish between additive and non‐additive material properties. A toxicity‐weighted scoring system is developed and applied that accounts for the disproportionate influence of highly toxic constituents through nonlinear weighting functions, providing more realistic estimates than ...
Seth Mehalic +2 more
wiley +1 more source
Department of Computer Science newsletter 2020
, 2020 A Newsletter for Friends and Supporters of the Mines Computer Science ...
core
A Parallel semantics for normal logic programs plus time [PDF]
, 2013 It is proposed that Normal Logic Programs with an explicit time ordering are a suitable basis for a general purpose parallel programming language. Examples show that such a language can accept real-time external inputs and outputs, and mimic assignment ...
Cleary, John G. +2 more
core
Advanced Engineering Materials, EarlyView.This perspective reframes additive manufacturing for electrical machines as a qualification‐limited materials and architecture design problem. It links process–structure–property–performance relationships to magnetic, conducting, dielectric, and thermal property windows, highlighting where AM can enable segmented magnetic circuits, permanent magnet ...
Dénes Fodor, Loránd Szabó
wiley +1 more source
The Science in Computer Science [PDF]
, 2013 The article of record as published may be found at http://dx.doi.org/10.1145/2447976.2447988Computer science is in a period of renaissance as it rediscovers its science roots.The article of record as published may be located at http://dx.doi ...
Denning, Peter J.
core +1 more source