Results 51 to 60 of about 133,077 (308)
Advanced Engineering Materials, EarlyView.High‐temperature interactions between low‐sulfur Al‐killed Mn–B steel and MgO–C refractories (0 and 50 wt% recyclates) are studied via finger immersion tests (1600 °C). Surface‐active elements influence infiltration. MgO/CaS layer forms, along with spinel and calcium silicate.
Matheus Roberto Bellé +5 more
wiley +1 more source
Answer Set Programming for Regular Inference
Applied Sciences, 2020 We propose an approach to non-deterministic finite automaton (NFA) inductive synthesis that is based on answer set programming (ASP) solvers. To that end, we explain how an NFA and its response to input samples can be encoded as rules in a logic program.
Wojciech Wieczorek +2 more
doaj +1 more source
Lambda Calculus for Engineers [PDF]
, 2007 In pure functional programming it is awkward to use a stateful sub-computation in a predominantly stateless computation. The problem is that the state of the subcomputation has to be passed around using ugly plumbing.
Hartel, P.H., Vree, W.G.
core +1 more source
Mendler-style Iso-(Co)inductive predicates: a strongly normalizing approach
, 2012 We present an extension of the second-order logic AF2 with iso-style inductive and coinductive definitions specifically designed to extract programs from proofs a la Krivine-Parigot by means of primitive (co)recursion principles.
Elaine Pimentel +3 more
core +2 more sources
Advanced Engineering Materials, EarlyView.Bimetallic (NiFe) and trimetallic (NiFeCr) nanoalloys (NAs) are synthesized using corresponding oxide mixtures using microwave hydrogen plasma within a few milliseconds. The process simultaneously 1) reduces metal oxides to metals; 2) downsizes the particles from micrometers to nanometers; and 3) blends the metals to form NAs.
Sachin Kumar +5 more
wiley +1 more source
Synchrotron Radiation for Quantum Technology
Advanced Functional Materials, EarlyView.Materials and interfaces underpin quantum technologies, with synchrotron and FEL methods key to understanding and optimizing them. Advances span superconducting and semiconducting qubits, 2D materials, and topological systems, where strain, defects, and interfaces govern performance.
Oliver Rader +10 more
wiley +1 more source
XAI Human-Machine collaboration applied to network security
Frontiers in Computer ScienceCyber attacking is easier than cyber defending—attackers only need to find one breach, while the defenders must successfully repel all attacks. This research demonstrates how cyber defenders can increase their capabilities by joining forces with ...
Steve Moyle +2 more
doaj +1 more source
NUML International Journal of Engineering and Computing, 2023 Industries widely use three-phase inductive loads, such as induction motors, due to their cost-effectiveness, low maintenance, reliability, and durability.
Amir Hamza +4 more
doaj +1 more source
Hierarchically sorted inductive logic programming and its application to information extraction [PDF]
, 2000 This thesis extends a conventional framework of Inductive Logic Prgramming(ILP)[35]to that of hierarchically sorted Inductive Logic Programming and applies the extended ILP ...Thesis (Ph. D. in Engineering)--University of Tsukuba, (B), no.
Sasaki Yutaka, 佐々木 裕
core
Advanced Functional Materials, EarlyView.A self‐sustaining solar photoelectrochemical cell (SS‐PEC) is developed to recover uranium from aqueous UO22+ with concurrent organic oxidation and electricity production. The monolithical photoanode directly captures electrons from organic compounds, leading to the oxidation of organic compounds and the decomposition of uranium‐organic complexes ...
Yumei Wang +7 more
wiley +1 more source