Results 71 to 80 of about 147,549 (388)
Tool support for reasoning in display calculi [PDF]
, 2016 We present a tool for reasoning in and about propositional sequent calculi. One aim is to support reasoning in calculi that contain a hundred rules or more, so that even relatively small pen and paper derivations become tedious and error prone.
Balco, Samuel +4 more
core +2 more sources
Vacuolar transport and function of Saccharomyces cerevisiae sterol ester hydrolase Tgl1
FEBS Letters, EarlyView.Tgl1, one of yeast sterol ester hydrolases, had been found on the lipid droplets where sterol esters are mainly stored. This study revealed that Tgl1 is transported into the vacuole depending on the ESCRT‐I–III complex, and that it exhibits intra‐vacuolar sterol ester hydrolase activity.
Takumi Nakatsuji +5 more
wiley +1 more source
A termination proof of reduction in a simply typed calculus with constructors [PDF]
, 2011 The well-known proof of termination of reduction in simply typed calculi is adapted to a monomorphically typed lambda-calculus with case and constructors and recursive data types. The proof differs at several places from the standard proof. Perhaps it is
Sabel, David, Schmidt-Schauß, Manfred
core
, 2011 We consider two styles of proof calculi for a family of tense logics, presented in a formalism based on nested sequents. A nested sequent can be seen as a tree of traditional single-sided sequents.
Alwen Tiu +13 more
core +1 more source
An intracellular transporter mitigates the CO2‐induced decline in iron content in Arabidopsis shoots
FEBS Letters, EarlyView.This study identifies a gene encoding a transmembrane protein, MIC, which contributes to the reduction of shoot Fe content observed in plants under elevated CO2. MIC is a putative Fe transporter localized to the Golgi and endosomal compartments. Its post‐translational regulation in roots may represent a potential target for improving plant nutrition ...
Timothy Mozzanino +7 more
wiley +1 more source
Treatment of renal stones by extracorporeal shockwave lithotripsy - An update [PDF]
, 2001 Aim: Despite the extensive experience with minimal invasive stone therapy, there are still different views on the ideal management of renal stones. Materials and Methods: Analysis of the literature includes more than 14,000 patients.
Chaussy, Christian +3 more
core +1 more source
BMC Urology, 2014 BackgroundLaser lithotripsy is an established endourological modality. Ho:YAG laser have broadened the indications for ureteroscopic stone managements to include larger stone sizes throughout the whole upper urinary tract.
W. Khoder +4 more
semanticscholar +1 more source
A Cre‐dependent lentiviral vector for neuron subtype‐specific expression of large proteins
FEBS Letters, EarlyView.We designed a versatile and modular lentivector comprising a Cre‐dependent switch and self‐cleaving 2A peptide and tested it for co‐expression of GFP and a 2.8 kb gene of interest (GOI) in mouse cortical parvalbumin (PV+) interneurons and midbrain dopamine (TH+) neurons.
Weixuan Xue +6 more
wiley +1 more source
Citric Acid Loaded Hydrogel-Coated Stent for Dissolving Pancreatic Duct Calculi
GelsIn recent years, the incidence of chronic pancreatitis has increased significantly. Pancreatic calculi obstruct the pancreatic duct and induce abdominal pain in the patients. Pancreatic duct stenting is the major treatment option for chronic pancreatitis
Jing Li +4 more
doaj +1 more source
Twisting of quantum differentials and the Planck scale Hopf algebra
, 1998 We show that the crossed modules and bicovariant different calculi on two Hopf algebras related by a cocycle twist are in 1-1 correspondence. In particular, for quantum groups which are cocycle deformation-quantisations of classical groups the calculi ...
Majid, Shahn, Oeckl, Robert
core +1 more source