Results 231 to 240 of about 655,566 (261)

Influence of TiC and TiN Ceramic Reinforcements on the Microstructure, Thermal Expansion Behavior, and Tensile Properties of Invar 36 Manufactured by Laser Powder Bed Fusion

Advanced Engineering Materials, EarlyView.
This study examines Invar composites reinforced with titanium carbide (TiC) and titanium nitride (TiN) using laser powder bed fusion (LPBF). It presents the influence of reinforcements on microstructure, tensile properties, and thermal expansion. Results show that TiC effectively strengthens Invar while maintaining low thermal expansion, whereas TiN ...
Ayodeji Nathaniel Oyedeji, Natasha Sacks, Johannes Pötschke, Björn Matthey   +3 more
wiley   +1 more source

A <i>somewhat incredible interpretation</i> of 'that'-clauses: Russell, non-existent kings and false objectives. [PDF]

Synthese
Felappi G.
europepmc   +1 more source

Electrochemical upcycling of spent ITO via charge-induced deconstruction. [PDF]

Nat Commun
Zhao R, Lv X, Lv Z, Li S, Fan Y, He J, Song J.   +6 more
europepmc   +1 more source

Quantity implicature interpretations in bilingual population: the case of Imbabura Kichwa. [PDF]

Front Hum Neurosci
Gualapuro Gualapuro SD.
europepmc   +1 more source

Selecting and testing cultural symbols for character IP: evidence from Mount Tai, China. [PDF]

Front Psychol
Wang Y, Si C.
europepmc   +1 more source

Appealing to superlative clauses: Or how to split the scope of superlative adjectives across intensional verbs. [PDF]

Nat Lang Linguist Theory
Charnavel I.
europepmc   +1 more source

Transforming tropical peatland governance to manage climate risks using the Three Horizons method. [PDF]

PLoS One
Reed MS, Kopansky D, Beechener S, Green A, Scheel P, Kendrick I, Suspense IA, Ewango C, Honorio Coronado EN, Hidalgo Pizango CG, Brañas MM, Del Aguila Villacorta M, Krisnawati H, Fazey I, Page S, Stringer LC, Maynard C, Kieft J, Curtis T, Allen S, Costa-Font M, Everett R, Mihaha EN.   +22 more
europepmc   +1 more source

Disjunctive logic programs with existential quantification in rule heads

Theory and Practice of Logic Programming, 2013
AbstractWe consider disjunctive logic programs without function symbols but with existential quantification in rule heads, under the semantics of general stable models. There are at least two interesting prospects in these programs. The first is that a program can be made more succinct by using existential variables, and the second is on the potential ...
Jia-Huai You, Heng Zhang 0006, Yan Zhang 0003   +2 more
openaire   +4 more sources

Some of the next articles are maybe not open access.

Related searches:

Simple Saturated Sets for Disjunction and Second-Order Existential Quantification

Lecture Notes in Computer Science, 2007
This paper gives simple saturated sets for disjunction and second-order existential quantification by using the idea of segments in Prawitz's strong validity. Saturated sets for disjunction are defined by Pi-0-1 comprehension and those for second-order existential quantification are defined by Sigma-1-1 comprehension.
Makoto Tatsuta
exaly   +2 more sources