Results 71 to 80 of about 69,366 (304)
Fostering Innovation: Streamlining Magnetocaloric Materials Research by Digitalization
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
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
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]
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
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
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
: 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
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
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
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

