Results 71 to 80 of about 69,366 (304)

Fostering Innovation: Streamlining Magnetocaloric Materials Research by Digitalization

open access: yesAdvanced Engineering Materials, EarlyView.
Magnetocaloric cooling (MCE) is an environmentally friendly refrigeration method with great potential. Optimizing MCE materials involves the preparation and screening of large quantities of samples, which in turn generates a large amount of data. A digitalization approach is presented that uses ontologies, knowledge graphs, and digital workflows to ...
Simon Bekemeier   +17 more
wiley   +1 more source

Interview on Symbol Grounding

open access: yes, 2013
As Alan Turing showed in his epochal work, computation is formal symbol-manipulation—reading and writing symbols based on rules that operate only on the arbitrary shapes of the symbols (whether 0’s and 1’s or the words of a natural language) not on their
Harnad, Stevan
core   +1 more source

Fatigue Crack Initiation and Growth in Nanocrystalline Ni at Multiple Length‐Scales

open access: yesAdvanced Engineering Materials, EarlyView.
Overview of miniaturized in situ SEM fatigue setup and resultant fatigue crack growth data for nanocrystalline Ni. The presented study focuses on the analysis of fatigue crack growth rate (FCGR) in focused ion beam‐notched microcantilevers prepared from nanocrystalline (NC) Ni as a model material.
Igor Moravcik   +7 more
wiley   +1 more source

Symbolic Representation of Time Series: A Hierarchical Coclustering Formalization [PDF]

open access: yes, 2016
The choice of an appropriate representation remains crucial for mining time series, particularly to reach a good trade-off between the dimensionality reduction and the stored information. Symbolic representations constitute a simple way of reducing the dimensionality by turning time series into sequences of symbols.
Bondu, Alexis   +2 more
openaire   +4 more sources

Creep‐Induced Microstructural Evolution in an A2‐B2 Superalloy

open access: yesAdvanced Engineering Materials, EarlyView.
A 27.3Ta‐27.3Mo‐27.3Ti‐8Cr‐10Al (at.%) refractory high‐entropy alloy with precipitation‐strengthened A2‐B2 microstructure was studied by creep tests at 1030°C, which demonstrate a transition in deformation mechanisms in the range of 100–150 MPa applied stress. This is associated with changes in dislocation–precipitate interactions. Relevant deformation
Liu Yang   +10 more
wiley   +1 more source

Inferring RPO Symbol Ordering

open access: yes, 2023
International audienceWe study the recursive path ordering (RPO) in the context of string-rewriting systems. We are interested in finding a symbol ordering in RPO such that for every rule in the rewriting system, the left hand side is higher than the ...
Narendran, Paliath   +2 more
core   +1 more source

MAKNA SIMBOL SASTRA LISAN TANDUK MASYARAKAT ADAT GENAHARJO KABUPATEN TUBAN

open access: yesDialektika: Jurnal Bahasa, Sastra, dan Pendidikan Bahasa dan Sastra Indonesia, 2017
: This research aims to understand the meaning of tanduk oral literary symbol of the indigenous society of Genaharjo, Tuban. Through the semiotic theory of Charles S.
Suantoko S
doaj   +1 more source

Creep Properties and Deformation Mechanism of Additively Manufactured NiAl‐CrMo Composites

open access: yesAdvanced Engineering Materials, EarlyView.
Additively manufactured NiAl‐CrMo composites contain numerous interfaces and cell boundaries that control their creep response. At 700°C under high applied stress, creep is dominated by dislocation‐controlled power‐law mechanisms. At 800°C–900°C and lower stresses, creep is primarily diffusion‐controlled along cell boundaries.
Jan Vollhüter   +9 more
wiley   +1 more source

Development of the garden design of 18th century in Sankt Petersburg and comparison with main European patterns

open access: yesActa Universitatis Agriculturae et Silviculturae Mendelianae Brunensis, 2007
The 18th century was the period when the Russian empire started to open to the western culture. The economic and cultural development of this country started after the reforms of the emperor Petr I.
Anna Acostová
doaj   +1 more source

Symbolic techniques for formally verifying industrial systems

open access: yesScience of Computer Programming, 1997
AbstractThe design of correct computer systems is extremely difficult. However, it is also a very important task. Such systems are frequently used in applications where failures can have catastrophic consequences, or cause significant financial losses.
Sérgio Vale Aguiar Campos   +2 more
openaire   +1 more source

Home - About - Disclaimer - Privacy