Results 51 to 60 of about 14,639 (283)
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
No solvable lambda-value term left behind [PDF]
Logical Methods in Computer Science, 2016 In the lambda calculus a term is solvable iff it is operationally relevant. Solvable terms are a superset of the terms that convert to a final result called normal form.
Á. García-Pérez, P. Nogueira
doaj +1 more source
Logical Methods in Computer Science, 2020 The main scientific heritage of Corrado B\"ohm consists of ideas about computing, concerning concrete algorithms, as well as models of computability. The following will be presented. 1. A compiler that can compile itself. 2.
Henk P. Barendregt
doaj +1 more source
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
Java & Lambda: a Featherweight Story [PDF]
Logical Methods in Computer Science, 2018 We present FJ&$\lambda$, a new core calculus that extends Featherweight Java (FJ) with interfaces, supporting multiple inheritance in a restricted form, $\lambda$-expressions, and intersection types.
Lorenzo Bettini +4 more
doaj +1 more source
GLC actors, artificial chemical connectomes, topological issues and knots [PDF]
, 2013 Based on graphic lambda calculus, we propose a program for a new model of asynchronous distributed computing, inspired from Hewitt Actor Model, as well as several investigation paths, concerning how one may graft lambda calculus and knot ...
Buliga, Marius, Kauffman, Louis H.
core
FEBS Open Bio, EarlyView.This study explores the feasibility of expressing the antitumoral protein Amblyomin‐X through a suicide gene therapy approach and investigates its intracellular fate after gene delivery. Although the gene is efficiently expressed, melanoma cells rapidly degrade the Amblyomin‐X protein via proteasome activity.
Victor Dal Posolo Cinel +4 more
wiley +1 more source
Evaluating functions as processes [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 A famous result by Milner is that the lambda-calculus can be simulated inside the pi-calculus. This simulation, however, holds only modulo strong bisimilarity on processes, i.e. there is a slight mismatch between beta-reduction and how it is simulated in
Beniamino Accattoli
doaj +1 more source
FEBS Open Bio, EarlyView.Evolutionary analysis across 32 placental mammals identified positive selection at residues H148 and W149 in the immune receptor FcγR1. Ancestral reconstruction combined with molecular dynamics simulations reveals how these mutations may influence receptor structure and dynamics, providing insight into the evolution of antibody recognition and immune ...
David A. Young +7 more
wiley +1 more source
Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus [PDF]
Logical Methods in Computer Science, 2017 We study an extension of Plotkin's call-by-value lambda-calculus via two commutation rules (sigma-reductions). These commutation rules are sufficient to remove harmful call-by-value normal forms from the calculus, so that it enjoys elegant ...
Giulio Guerrieri +2 more
doaj +1 more source