Results 181 to 190 of about 14,982 (276)

Genetic Programming + Proof Search = Automatic Improvement. [PDF]

J Autom Reason, 2018
Kocsis ZA, Swan J.
europepmc   +1 more source

Curry-Howard for Sequent Calculus at Last!

, 2015
This paper tries to remove what seems to be the remaining stumbling blocks in the way to a full understanding of the Curry-Howard isomorphism for sequent calculus, namely the questions: What do variables in proof terms stand for? What is co-control and a co-continuation?
openaire   +3 more sources

Promiscuous stimulation of HSP70 ATPase activity by parasite‐derived J‐domains

FEBS Open Bio, EarlyView.
The malaria parasite Plasmodium falciparum exports three highly homologous yet functionally divergent J‐domain proteins into human erythrocytes. Here, we show that J‐domains isolated from all three proteins effectively stimulate the ATPase activity of both endogenous host and exported parasite HSP70 chaperones.
Julian Barth, Moritz Koch, Le‐Han Rössner, Johanna Eichhorn, Denys Pogoryelov, Matthias P. Mayer, Jude M. Przyborski   +6 more
wiley   +1 more source

Identification of functional murine mitochondrial formyl peptides and their effects on myeloid‐derived suppressor cell generation

FEBS Open Bio, EarlyView.
We first identified functional murine mitochondrial N‐formyl peptides (MT‐FPs) and investigated their effects on the in vitro myeloid‐derived suppressor cell (MDSC) generation from bone marrow cells. We demonstrated that MT‐FPs acted directly on bone marrow cells to promote MDSC generation and modulated the polymorphonuclear (PMN)‐MDSC/monocyte (M ...
Miyako Ozawa, Saori Kagoshima, Akira Yamada   +2 more
wiley   +1 more source

Applicability of mitotic figure counting by deep learning: a development and pan‐cancer validation study

FEBS Open Bio, EarlyView.
In this study, we developed a deep learning method for mitotic figure counting in H&E‐stained whole‐slide images and evaluated its prognostic impact in 13 external validation cohorts from seven different cancer types. Patients with more mitotic figures per mm2 had significantly worse patient outcome in all the studied cancer types except colorectal ...
Joakim Kalsnes, Maria X. Isaksen, Frida Julbø, Manohar Pradhan, Andreas Kleppe, Sepp De Raedt, Ole‐Johan Skrede, Turid Torheim, John Arne Nesheim, Hans Martin Mohn, Hanne A. Askautrud, Karolina Cyll, Wanja Kildal, Emma Rewcastle, Melinda Lillesand, Vebjørn Kvikstad, Emiel Janssen, Robert Jones, Odd Terje Brustugun, Bjørn Brennhovd, Erik Skaaheim Haug, Lill‐Tove Rasmussen Busund, Elin Richardsen, Sigve Andersen, Tom Dønnem, Kristina Lindemann, Gunnar Kristensen, Neil A. Shepherd, Marco Novelli, Knut Liestøl, David Kerr, Håvard E. Danielsen, Tarjei S. Hveem   +32 more
wiley   +1 more source

Chameleon sequences reveal structural effects in proteins representing micelle‐like distribution of hydrophobicity

FEBS Open Bio, EarlyView.
Amino acids sequence of two different proteins with the same sequence (chameleon sequence—black boxes) represent in 3D structure of the proteins different secondary structures: HHHH—helical and BBB—Beta‐structural. The chains folded in water environment adopt different III‐order structures in which the chameleon fragments appear to adopt similar status
Irena Roterman, Katarzyna Stapor, Leszek Konieczny, Krzysztof Gądek, Piotr Nowakowski   +4 more
wiley   +1 more source