Results 101 to 110 of about 9,900 (232)
pCF analysis of SecA-GFP and GFP-SecY. [PDF]
, 2016 A. pCF(6) for a typical cell expressing SecA-GFP with the times characteristic for various diffusive species shown on the right of the graph. B. pCF(6) for a typical cell expressing GFP-SecY with the times characteristic for various diffusive species ...
Elizabeth Hinde (830780) +3 more
core +1 more source
A Fully Abstract Model of PCF Based on Extended Addressing Machines [PDF]
Logical Methods in Computer ScienceExtended addressing machines (EAMs) have been introduced to represent higher-order sequential computations. Previously, we have shown that they are capable of simulating -- via an easy encoding -- the operational semantics of PCF, extended with explicit ...
Benedetto Intrigila +2 more
doaj +1 more source
Polymer Engineering &Science, EarlyView.Understanding Solids Conveying in Injection Molding Machines – Dimensions. ABSTRACT Solids conveying is a key aspect for the design of polymer processing machines, especially for processes with high screw speeds, grooved feed sections, and material with low bulk density.
Jan Landgraeber +4 more
wiley +1 more source
Abstract Operational and Axiomatic Semantics of PCF [PDF]
, 2008 PCF, as considered in this paper, is a lazy typed lambda calculus with functions, pairing, fixed-point operators and arbitrary algebraic data types. The natural equational axioms for PCF include η-equivalence and the so-called “surjective pairing ” axiom
core
Shelah's pcf theory and its applications [PDF]
, 1990 This is a survey paper giving a self-contained account of Shelah's theory of the pcf function pcf(a)={cf(Πa/D,
Burke, Maxim R., Magidor, Menachem
core +1 more source
, 1997 The pcf theorem (of the possible cofinality theory) was proved for reduced products prod_{i< kappa} lambda_i/I, where kappa < min_{i< kappa} lambda_i. Here we prove this theorem under weaker assumptions such as wsat(I)< min_{i< kappa} lambda_i, where wsat(I) is the minimal theta such that kappa cannot be delivered to theta sets notin I ...
openaire +2 more sources
Polymer International, EarlyView.Near‐edge X‐ray absorption fine structure, X‐ray photoelectron spectroscopy and multi‐configuration self‐consistent field results show, respectively, preferential edge‐on and face‐on orientations for the thiophene and naphthalene diimide units of the PBDB‐T‐SF:P(NDI2OD‐T2) all‐polymer blend, and surface accumulation of the acceptor.
Cássia Ferreira Coutinho Pereira +3 more
wiley +1 more source
Dependency on energy for PCF-collapsed. [PDF]
, 2016 Dependency on energy for PCF-collapsed.
J. Maah (2697262) +7 more
core +1 more source
PM&R, EarlyView.Abstract Background High‐intensity interval training (HIIT) and moderate‐intensity continuous training (MICT) have been widely studied in individuals with chronic conditions. However, no studies have compared these two exercise modalities in COVID‐19 survivors. Objective To compare the feasibility, safety, adherence, and short‐term efficacy of HIIT and
Vinicius Afonso Gomes +11 more
wiley +1 more source
Small, EarlyView.This review charts the material evolution of bifunctional electrocatalysts for rechargeable lithium‐gas batteries. It highlights the journey from heteroatom‐doped, metal‐free carbon architectures to precision‐engineered carbon‐supported single‐atom sites. The discussion focuses on mechanistic insights into how these catalysts govern reversible O2, CO2,
Daming Ren +5 more
wiley +1 more source