Results 41 to 50 of about 112,777 (227)

Step-Indexed Normalization for a Language with General Recursion [PDF]

, 2012
The Trellys project has produced several designs for practical dependently typed languages. These languages are broken into two fragments-a_logical_fragment where every term normalizes and which is consistent when interpreted as a logic, and ...
Adam Chlipala, Adam Chlipala, Amal Ahmed, Amal Ahmed, Andrew K. Wright, Andrew W. Appel, Aquinas Hobor, Benjamin C. Pierce, Chris Casinghino, Garrin Kimmell, Hiroshi Nakano, James Chapman, Jean-Yves Girard, Karl Crary, Lars Birkedal, Limin Jia, Neelakantan Krishnaswami, Neelakantan Krishnaswami, Nils Anders Danielsson, Nils Anders Danielsson, Paul Blain Levy, Robert Dockins, Robert L. Constable, Stephanie Weirich, The Coq Development Team, The Coq Development Team, Thierry Coquand, Tom Murphy, VII, Tom Murphy, VII, Ulf Norell, Venanzio Capretta, Vilhelm Sjöberg, William W. Tait   +32 more
core   +6 more sources

Cotargeting TREM2 and IL2 pathways triggers multipronged anticancer immunity

Molecular Oncology, EarlyView.
Von Locquenghien et al. report that MiTE‐144, a triggering receptor expressed on myeloid cells 2 (TREM2) blocking antibody fused to interleukin‐2 (IL2) variant with tumour microenvironment restricted activation, demonstrates superior anticancer efficiency in a preclinical setting.
Isaure Vanmeerbeek, Jenny Sprooten, Abhishek D. Garg   +2 more
wiley   +1 more source

Phobos: A front-end approach to extensible compilers (long version) [PDF]

, 2002
This paper describes a practical approach for implementing certain types of domain-specific languages with extensible compilers. Given a compiler with one or more front-end languages, we introduce the idea of a "generic" front-end that allows the ...
Granicz, Adam, Hickey, Jason
core   +2 more sources

Compilation of extended recursion in call-by-value functional languages [PDF]

, 2009
This paper formalizes and proves correct a compilation scheme for mutually-recursive definitions in call-by-value functional languages. This scheme supports a wider range of recursive definitions than previous methods.
A.K. Wright, A.W. Appel, C.V. Russo, D. Dreyer, D. Dreyer, D. Kranz, D. Syme, D.J. Dougherty, E. Moggi, G. Boudol, G. Cousineau, G.D. Plotkin, J. B. Wells, J. Gosling, J. Nordlander, K. Crary, L. Cardelli, L. Erkök, O. Shivers, O. Waddell, P. Sewell, R. Kelsey, R. Milner, T. Hirschowitz, T. Hirschowitz, T. Hirschowitz, T. Hirschowitz, Tom Hirschowitz, Xavier Leroy, Z.M. Ariola   +29 more
core   +5 more sources

Object-Oriented Programming in the Beta Programming Language [PDF]

, 1993
This is a book on object-oriented programming and the BETA programming language. Object-oriented programming originated with the Simula languages developed at the Norwegian Computing Center, Oslo, in the 1960s. The first Simula language, Simula I, was intended for writing simulation programs.
Madsen, Ole Lehrmann, Møller-Pedersen, Birger, Nygaard, Kristen   +2 more
openaire  

E2A selectively regulates TGF‐β–induced apoptosis in KRAS‐mutant non‐small cell lung cancer

Molecular Oncology, EarlyView.
Ability to induce apoptosis by TGF‐β is frequently lost in advanced lung adenocarcinoma despite intact TGF‐β signaling. We identify E2A as a mutant KRAS–dependent mediator of resistance to TGF‐β–induced apoptosis. TGF‐β induces E2A via SMAD3 in mutant KRAS cells, and E2A silencing restores apoptosis and enhances radiation response in cell lines ...
Sergei Chuikov, Shiva Krishna Katkam, Zhefan Wang, Venkateshwar G. Keshamouni   +3 more
wiley   +1 more source

Enzymatic degradation of biopolymers in amorphous and molten states: mechanisms and applications

FEBS Open Bio, EarlyView.
This review explains how polymer morphology and thermal state shape enzymatic degradation pathways, comparing amorphous and molten biopolymer structures. By integrating structure–reactivity principles with insights from thermodynamics and enzyme engineering, it highlights mechanisms that enable efficient polymer breakdown.
Anđela Pustak, Aleksandra Maršavelski
wiley   +1 more source

On generic context lemmas for lambda calculi with sharing [PDF]

, 2007
This paper proves several generic variants of context lemmas and thus contributes to improving the tools to develop observational semantics that is based on a reduction semantics for a language.
Sabel, David, Schmidt-Schauß, Manfred
core   +2 more sources

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

Cinnamons: A Computation Model Underlying Control Network Programming

, 2017
We give the easily recognizable name "cinnamon" and "cinnamon programming" to a new computation model intended to form a theoretical foundation for Control Network Programming (CNP).
Kratchanov, Kostadin
core   +1 more source