Results 101 to 110 of about 11,242,110 (313)
Extending E Prover with Similarity Based Clause Selection Strategies
, 2016 E prover is a state-of-the-art theorem prover for first-order logic with equality. E prover is built around a saturation loop, where new clauses are derived by inference rules from previously derived clauses.
Jakubův, Jan, Urban, Josef
core +1 more source
Advanced Functional Materials, EarlyView.A fully transparent, all‐metal‐oxide neuromorphic transistor using a sodium‐embedded alumina (SEA) electrolyte is demonstrated. By precisely tuning the thermal annealing process, the chemical composition of the SEA layer is controlled, allowing for the deterministic realization of both short‐term and long‐term synaptic plasticity within the same device
Yonghyun Albert Kwon +7 more
wiley +1 more source
Philosophical bias is the one bias that science cannot avoid
eLife, 2019 Scientists seek to eliminate all forms of bias from their research. However, all scientists also make assumptions of a non-empirical nature about topics such as causality, determinism and reductionism when conducting research.
Fredrik Andersen +2 more
doaj +1 more source
Multi‐Functional ZnO–Te Heterojunction Devices Enabling Compact Frequency Quadrupler
Advanced Functional Materials, EarlyView.Wafer‐scale ZnO–Te heterojunction devices featuring tunable double negative differential transconductance (D‐NDT) are demonstrated at ≤ 200°C. Leveraging this unique characteristic, a single‐stage frequency quadrupler is realized, achieving a 64%–75% reduction in device count.
Jae Hyeon Jun +8 more
wiley +1 more source
Microengineered Gradient Hydrogels for Mechanobiology
Advanced Healthcare Materials, EarlyView.Gradient hydrogels are used to mimic the mechanical heterogeneity in native tissues, offering powerful in vitro platforms to study cell‐material interactions in diverse pathophysiological contexts. Here, we present a comprehensive review of the design and experimental considerations for stiffness gradient hydrogels, discussing exemplary achievements ...
Shin Wei Chong +4 more
wiley +1 more source
A finite simulation method in a non-deterministic call-by-need calculus with letrec, constructors and case [PDF]
, 2008 The paper proposes a variation of simulation for checking and proving contextual equivalence in a non-deterministic call-by-need lambda-calculus with constructors, case, seq, and a letrec with cyclic dependencies. It also proposes a novel method to prove
Machkasova, Elena +1 more
core +2 more sources
3D Soft Hydrogels Induce Human Mesenchymal Stem Cells “Deep” Quiescence
Advanced Healthcare Materials, EarlyView.Three‐dimensional soft hydrogels mimicking the bone marrow niche induce deep quiescence in human mesenchymal stem cells. Unlike 2D culture, 3D matrices halt proliferation, regulate cell‐cycle and quiescence markers, and downregulate mTORC1 signaling, preserving stem cell phenotype and therapeutic potential ex vivo.
David Boaventura Gomes +11 more
wiley +1 more source
Non-Random Weight Initialisation in Deep Learning Networks for Repeatable Determinism
International Conference on Dependable Systems, Services and Technologies, 2019 This research is examining the change in weight values of deep learning networks after learning. These research experiments require to make measurements and comparisons from a stable set of known weights and biases before and after learning is conducted,
Richard N. M. Rudd-Orthner, L. Mihaylova
semanticscholar +1 more source
Opportunities of Semiconducting Oxide Nanostructures as Advanced Luminescent Materials in Photonics
Advanced Materials, EarlyView.The review discusses the challenges of wide and ultrawide bandgap semiconducting oxides as a suitable material platform for photonics. They offer great versatility in terms of tuning microstructure, native defects, doping, anisotropy, and micro‐ and nano‐structuring. The review focuses on their light emission, light‐confinement in optical cavities, and
Ana Cremades +7 more
wiley +1 more source
Using Sun’s Java Real-Time System to Manage Behavior-Based Mobile Robot Controllers
Journal of Robotics, 2011 Implementing a robot controller that can effectively manage limited resources in a deterministic, real-time manner is challenging. Behavior-based architectures that decompose autonomy into levels of intelligence are popular due to their robustness but do
Andrew McKenzie +3 more
doaj +1 more source