Results 181 to 190 of about 2,868 (293)
Extraction of Expansion Trees. [PDF]
J Autom Reason, 2019 Leitsch A, Lolic A.
europepmc +1 more source
A Unified Sequent Calculus for Focused Proofs
, 2009 International audienceWe present a compact sequent calculus LKU for classical logic organized around the concept of polarization. Focused sequent calculi for classical logic, intuitionistic logic, and multiplicative-additive linear logic are derived as ...
Chuck, Liang, Miller, Dale
core
FEBS Open Bio, EarlyView.ERα splice variant ERα∆7 lacks the C‐terminus, and its expression may change phenotypes of breast cancers. Our results showed that ERα∆7 is found in the luminal A subtype, and elevated ERα∆7 levels are linked to improved cell survival with lower proliferation and migration.
Long Wai Tsui +10 more
wiley +1 more source
A Sequent Calculus with Implicit Term Representation
, 2010 International audienceWe investigate a modification of the sequent calculus which separates a first-order proof into its abstract deductive structure and a unifier which renders this structure a valid proof. We define a cut-elimination procedure for this
Hetzl, Stefan
core
Development of human monoclonal antibodies against TARM1 by yeast display
FEBS Open Bio, EarlyView.Human monoclonal antibodies against TARM1 are generated by yeast display‐guided selection. These antibodies bind to soluble and cell‐surface forms of TARM1. Also, these antibodies exhibit agonistic activity in the NFAT‐GFP reporter assay, indicating that TARM1 signaling can be functionally modulated by antibodies and suggesting TARM1 as a potential ...
Rikio Yabe +5 more
wiley +1 more source
FEBS Open Bio, EarlyView.This protocol paper outlines methods to establish the success of a time‐resolved serial crystallographic experiment, by means of statistical analysis of timepoint data in reciprocal space and models in real space. We show how to amplify the signal from excited states to visualise structural changes in successful experiments.
Jake Hill +4 more
wiley +1 more source
Screening and epitope characterization of Nidogen‐2‐specific nanobodies
FEBS Open Bio, EarlyView.Camel immunization and phage display were employed to generate high‐affinity VHH nanobodies against Nidogen‐2. After library construction, biopanning, ELISA screening, sequencing, and recombinant expression, selected nanobodies were purified and characterized, leading to the preliminary exploration of a nanobody‐based sandwich ELISA for specific ...
Jianchuan Wen +9 more
wiley +1 more source