Results 121 to 130 of about 1,031,530 (335)
, 2016 The treatment of equality as a type in type theory gives rise to an interesting type-theoretic structure known as `identity type'. The idea is that, given terms $a,b$ of a type $A$, one may form the type $Id_{A}(a,b)$, whose elements are proofs that $a$ and $b$ are equal elements of type $A$.
Ramos, Arthur Freitas +2 more
openaire +2 more sources
Additive Gaussian Process Regression for Predictive Design of High‐Performance, Printable Silicones
Advanced Engineering Materials, EarlyView.A chemistry‐aware design framework for tuning printable polydimethylsiloxane (PDMS) for vat photopolymerization (VPP) is developed using additive Gaussian process (GP) modeling. Polymer network mechanics informs variable groupings, feasible formulation constraints, and interaction variables.
Roxana Carbonell +3 more
wiley +1 more source
Advanced Engineering Materials, EarlyView.Geometry‐driven thermal behavior in wire‐arc additive manufacturing (WAAM) influences microstructural evolution during nonequilibrium solidification of a chemically complex Fe–Cr–Nb–W–Mo–C nanocomposite system. By comparing different deposits configurations, distinct entropy–cooling rate correlations, segregation, and carbide evolution are revealed ...
Blanca Palacios +5 more
wiley +1 more source
Four-bit input linear optical quantum computing with liquid crystal devices
APL QuantumFour-bit input linear quantum computing with liquid crystal (LC) devices was studied using the Deutsch–Jozsa algorithm. A laser beam is split into four paths and passed through a configuration of twisted nematic (TN) LC device/(λ/2 waveplate)/TN LC ...
Satoshi Yokotsuka, Hiroyuki Okada
doaj +1 more source
Advanced Engineering Materials, EarlyView.The presented study focuses on the fracture behaviour of carbon‐bonded magnesia MgO–C refractories, where environmentally friendly fructose, collagen and lignin serve as temporary binding agents. The partial substitution of the source material with recycled MgO–C reduces the fracture resistance, which can be counteracted by the additional introduction ...
Marc Neumann +6 more
wiley +1 more source
Cloud Computing in The World and Türkiye: Challenges, Opportunities and A Path Forward
, 2023 Gönül Dinçer +5 more
openalex +2 more sources
A Novel Strategy for Computing Routing Paths for Software-Defined Networks Based on MOCell Optimization [PDF]
, 2022 Jose E. Gonzalez-Trejo +6 more
openalex +1 more source
Advanced Engineering Materials, EarlyView.Four‐point bending tests are conducted in an argon atmosphere on commercial MgO‐C brick grades with and without MgO‐C recyclate from room temperature up to 1300 °C. No detrimental effect of the MgO‐C recyclates on bending strength is found. Instead, a decisive influence of the total carbon content is observed, with lower total carbon contents ...
Alexander Schramm +5 more
wiley +1 more source
Secure and high throughput routing protocol with QoS constraints in cognitive wireless Mesh networks
Tongxin xuebao, 2014 A routing metric SIEB which includes link security，link conflict，link reliability and link available bandwidth was proposed.The SIEB includes link security and link performance two aspects.In order to resist various hole attack，the link trust value based
Zhu-fang KUANG +3 more
doaj +2 more sources
ORGANIZATION OF THE COMPUTATIONAL PROCESS IN SUPERCOMPUTERS WITH DYNAMICALLY CONTROLLED PARTITIONS
Современные информационные технологии и IT-образование, 2019 Worldwide interest in high-performance computing is constantly growing. It is prompted by the needs of various branches of science, education, medicine, engineering and other practical activities of mankind. This article is devoted to the organization of
Stanislav V. Nazarov, Alexey G. Barsukov
doaj +1 more source