Results 91 to 100 of about 6,691,628 (330)
A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search
, 2015 We present a labelled sequent calculus for Boolean BI, a classical variant of O'Hearn and Pym's logic of Bunched Implication. The calculus is simple, sound, complete, and enjoys cut-elimination.
Gore, Rajeev, Hou, Zhe, Tiu, Alwen
core +1 more source
Airway narrowing and internal structural constraints [PDF]
Journal of Applied Physiology, 2000 A computer model has been developed to simulate the movement restriction in the lamina propria-submucosa (L-S) layer (sandwiched by the basement membrane and the muscle layer) in a cartilage-free airway due to constriction of the smooth muscle layer. It is assumed that the basement membrane is inextensible; therefore, in the two-dimensional simulation,
C Y, Seow, L, Wang, P D, Paré
openaire +2 more sources
Pathogenic Neurofibromatosis type 1 gene variants in tumors of non‐NF1 patients and role of R1276
FEBS Open Bio, EarlyView.Somatic variants of the neurofibromatosis type 1 (NF1) gene occur across neoplasms without clinical manifestation of the disease NF1. We identified emerging somatic pathogenic NF1 variants and hotspots, for example, at the arginine finger 1276. Those missense variants provide fundamental information about neurofibromin's role in cancer.
Mareike Selig +7 more
wiley +1 more source
Modern Monetary Theory and Employer of Last Resort in Colombia
Apuntes del CENESThis paper critically examines the applicability of Modern Monetary Theory (MMT) in Colombia, focusing specifically on the Employer of Last Resort (ELR) program as a possible development policy.
Medardo-Alfonso Palomino-Arias
doaj +1 more source
FEBS Open Bio, EarlyView.Tandem VHH targeting distinct EGFR epitopes were engineered into a monovalent bispecific antibody (7D12‐EGA1‐Fc) with more potent ADCC without increasing affinity to EGFR. Structural modeling of 7D12‐EGA1‐Fc showed cross‐linking of separate EGFR domains to enhance CD16a engagement on NK cells.
Yuqiang Xu +5 more
wiley +1 more source
Constraints over Structured Domains [PDF]
, 2006 The computer will be the most marvellous of all tools as soon as program writing and debugging will be no longer necessary-Jean-Louis Laurière (1976) A wide range of combinatorial search problems find a natural formulation in the language of sets, multisets, strings, functions, graphs or other structured objects.
openaire +2 more sources
Beyond Structural Causal Models: Causal Constraints Models [PDF]
, 2019 Structural Causal Models (SCMs) provide a popular causal modeling framework. In this work, we show that SCMs are not flexible enough to give a complete causal representation of dynamical systems at equilibrium. Instead, we propose a generalization of the
Blom, Tineke +2 more
core +1 more source
Structure-Guided Recombination Creates an Artificial Family of Cytochromes P450 [PDF]
, 2006 Creating artificial protein families affords new opportunities to explore the determinants of structure and biological function free from many of the constraints of natural selection.
Arnold, Frances H. +5 more
core +1 more source
FEBS Open Bio, EarlyView.Unique biological samples, such as site‐specific mutant proteins, are available only in limited quantities. Here, we present a polarization‐resolved transient infrared spectroscopy setup with referencing to improve signal‐to‐noise tailored towards tracing small signals. We provide an overview of characterizing the excitation conditions for polarization‐
Clark Zahn, Karsten Heyne
wiley +1 more source
Uncertainty in Crowd Data Sourcing under Structural Constraints [PDF]
, 2014 Applications extracting data from crowdsourcing platforms must deal with the uncertainty of crowd answers in two different ways: first, by deriving estimates of the correct value from the answers; second, by choosing crowd questions whose answers are ...
A Parameswaran +3 more
core +1 more source