Results 61 to 70 of about 817,451 (339)
, 2016 Classical (or Boolean) type theory is the type theory that allows the type inference $\sigma \to \bot) \to \bot => \sigma$ (the type counterpart of double-negation elimination), where $\sigma$ is any type and $\bot$ is absurdity type.
Akiba, Ken
core +2 more sources
Exciton Radiative Lifetimes in Hexagonal Diamond Ge and SixGe1–x Alloys
Advanced Optical Materials, EarlyView.Strong room‐temperature photoluminescence reported in hexagonal Ge conflicts with theory predicting a nearly dark band edge. First‐principles calculations of excitonic radiative lifetimes fill a key gap in this debate, showing that pristine hexagonal Ge remains intrinsically weakly emissive, while Si alloying only modestly shortens the lifetime and ...
Michele Re Fiorentin +2 more
wiley +1 more source
A Monte Carlo Study of Correlations in Quantum Spin Ladders
, 1996 We study antiferromagnetic spin--1/2 Heisenberg ladders, comprised of $n_c$ chains ($2 \leq n_c \leq 6$) with ratio $J_{\bot}/J_{\|}$ of inter-- to intra--chain couplings.
D.C. Johnston +28 more
core +1 more source
Pengelolaan Dan Pemanfaatan Aset Desa Melalui Perjanjian Bangun Guna Serah (Build, Operate And Transfer/BOT) [PDF]
, 2022 Niken Ayu Istifani +1 more
openalex +1 more source
Advanced Optical Materials, EarlyView.It is demonstrated that in chiral ferroelectric nematic liquid crystals sandwiched between electrically conducting transparent plates, the reflection color can be reversibly tuned by electric fields applied along the helix axis. The proposed theoretical model, assuming field‐induced coiling of the helix axis, accounts for all observations.
Md Sakhawat Hossain Himel +5 more
wiley +1 more source
Anomalous scaling and spin-charge separation in coupled chains
, 1995 We use a bosonization approach to show that the three dimensional Coulomb interaction in coupled metallic chains leads to a Luttinger liquid for vanishing inter-chain hopping $t_{\bot}$, and to a Fermi liquid for any finite $t_{\bot}$. However, for small
A. Houghton +17 more
core +1 more source
Information Transmission Strategies for Self‐Organized Robotic Aggregation
Advanced Robotics Research, EarlyView.In this review, we discuss how information transmission influences the neighbor‐based self‐organized aggregation of swarm robots. We focus specifically on local interactions regarding information transfer and categorize previous studies based on the functions of the information exchanged.
Shu Leng +5 more
wiley +1 more source
Hepatology, EarlyView., 2022 A deleterious variant of FCHSD1 results in mTOR pathway overactivation and may cause porto‐sinusoidal vascular disorder (PSVD). The pedigree of the family demonstrated an autosomal dominant disease with variable expressivity. Whole‐genome sequencing and Sanger sequencing both validated the existence of the FCHSD1 variant and the heterozygosity of c ...
Jingxuan Shan +19 more
wiley +1 more source
Effects of light, temperature and mesocarp on seed germination of Euterpe edulis (Juçara-palm)
Bioscience Journal, 2017 The study exposed in this paper aimed at evaluating the influence of light, temperature and presence or absence of mesocarp in seeds on the germination of Euterpe edulis Mart. (juçara-palm).
Francismar Francisco Alves Aguiar +5 more
doaj
Analysis of Algorithms for AI Virtual Player in the Production Management Training Platform
Production Engineering ArchivesThe article presents research focused on design, testing and evaluation of the Artificial Intelligence (AI) algorithms dedicated for Virtual Player (VP/bot) embedded in the Production Management Training Platform (TP).
Gąbka Joanna, Przybyś Krzysztof
doaj +1 more source