Results 61 to 70 of about 146,242 (384)
Statistical field theories deformed within different calculi
Within framework of basic-deformed and finite-difference calculi, as well as deformation procedures proposed by Tsallis, Abe, and Kaniadakis to be generalized by Naudts, we develop field-theoretical schemes of statistically distributed fields.
Borysov, S. S. +2 more
core +1 more source
Treatment of renal stones by extracorporeal shockwave lithotripsy - An update [PDF]
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
ERBIN limits epithelial cell plasticity via suppression of TGF‐β signaling
In breast and lung cancer patients, low ERBIN expression correlates with poor clinical outcomes. Here, we show that ERBIN inhibits TGF‐β‐induced epithelial‐to‐mesenchymal transition in NMuMG breast and A549 lung adenocarcinoma cell lines. ERBIN suppresses TGF‐β/SMAD signaling and reduces TGF‐β‐induced ERK phosphorylation.
Chao Li +3 more
wiley +1 more source
Knowing how proteases recognise preferred substrates facilitates matching proteases to applications. The S1′ pocket of protease EA1 directs cleavage to the N‐terminal side of hydrophobic residues, particularly leucine. The S1′ pocket of thermolysin differs from EA's at only one position (leucine in place of phenylalanine), which decreases cleavage ...
Grant R. Broomfield +3 more
wiley +1 more source
Vascular Calcification and Stone Disease: A New Look towards the Mechanism
Calcium phosphate (CaP) crystals are formed in pathological calcification as well as during stone formation. Although there are several theories as to how these crystals can develop through the combined interactions of biochemical and biophysical factors,
Allen J. Yiu +3 more
doaj +1 more source
Several case-control studies have been performed in different populations to uncover the association between interleukin-1 beta gene, interleukin-1 receptor antagonist gene polymorphisms and urolithiasis.
Jiaxuan Qin, Jinchun Xing, Zonglong Cai
doaj +1 more source
Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics [PDF]
This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics.
A Ciabattoni +15 more
core +2 more sources
The Arabidopsis mutants hls1 hlh1 and amp1 lamp1 exhibit pleiotropic developmental phenotypes. Although the functions of the causative genes remain unclear, they act in the same genetic pathway and are thought to generate non‐cell‐autonomous signals.
Takashi Nobusawa, Makoto Kusaba
wiley +1 more source
OBJECTIVE: To evaluate the preventive effects of alkaline citrate on stone recurrence as well as stone growth post-ESWL or PCNL in patients with calcium-containing stones.
B Lojanapiwat +7 more
doaj +1 more source
A termination proof of reduction in a simply typed calculus with constructors [PDF]
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

