Results 51 to 60 of about 74,863 (264)

Type−Directed Weaving of Aspects for Higher−order Functional Languages [PDF]

, 2006
Aspect-oriented programming (AOP) has been shown to be a useful model for software development. Special care must be taken when we try to adapt AOP to strongly typed functional languages which come with features like a type inference mechanism ...
Chen, Kung, Siau-cheng Khoo, Kung Chen, Khoo, Siau−Cheng, Khoo, S.-C., Chen, K., Khoo, Siau-Cheng, Meng Wang, Wang, Meng, Wang, M.   +9 more
core   +1 more source

A Categorical Programming Language

CoRR, 2020
A theory of data types based on category theory is presented. We organize data types under a new categorical notion of F,G-dialgebras which is an extension of the notion of adjunctions as well as that of T-algebras. T-algebras are also used in domain theory, but while domain theory needs some primitive data types, like products, to start with, we do ...
openaire   +2 more sources

EDNRB‐dependent endothelin signaling reduces proliferation and promotes proneural‐to‐mesenchymal transition in gliomas

Molecular Oncology, EarlyView.
Glioma cells mainly express the endothelin receptor EDNRB, while EDNRA is restricted to a perivascular tumor subpopulation. Endothelin signaling reduces glioma cell proliferation while promoting migration and a proneural‐to‐mesenchymal transition associated with poor prognosis. This pathway activates Ca2+, K+, ERK, and STAT3 signalings and is regulated
Donovan Pineau, Leonor Garcia, Hugo Arnold, Antonija Hanžek, Maialen Arrieta, Laurent R Gauthier, Christine Granotier‐Beckers, François D Boussin, Amaury Herbet, Marie Hautière, Valentin Asei‐Ceschino, Clémentin Jacques, Laura Brard, Thomas Harnois, Valérie Coronas, Bruno Constantin, Aurélien Chatelier, Jean Chemin, Serge Urbach, Martial Seveno, Szimonetta Hideg, Chantal Ripoll, Kasandra Aguilar‐Cázarez, Min Zheng, Guo‐Hao Huang, Sheng‐Qing Lv, Lei Zhang, Philippe Rondard, Laurent Prezeau, Jean‐Philippe Pin, Hugues Duffau, Luc Bauchet, Valérie Rigau, Franck Denat, Charles Truillet, Didier Boquet, Jean‐Philippe Hugnot   +36 more
wiley   +1 more source

Exploiting parallelism in coalgebraic logic programming [PDF]

, 2014
We present a parallel implementation of Coalgebraic Logic Programming (CoALP) in the programming language Go. CoALP was initially introduced to reflect coalgebraic semantics of logic programming, with coalgebraic derivation algorithm featuring both ...
Schmidt, Martin, Heras, Jonathan, Heras, J. [0000-0003-4775-1306], Komendantskaya, Ekaterina, Komendantskaya, E. [0000-0002-3240-0987], Schmidt, M.   +5 more
core   +1 more source

Interrogating the immune landscape of microsatellite stable RAS‐mutated colon cancer

Molecular Oncology, EarlyView.
COLOSSUS project RAS‐mutated MSS colon cancer study explored transcriptomics and immune cell density by immunohistochemistry (IHC), Immunoscore (IS), ISIC/TuLIS scores, mutation counts, and detected different prevalences but similar microenvironment composition across immune markers with clinical relevance for future immunotherapy combination ...
Rodrigo Dienstmann, Eduardo García‐Galea, Alice O'Farrell, Zak Kinsella, Maxime Meylan, Florent Petitprez, Ingrid Arijs, Tom Venken, Hari Ps, Adrian Lärkeryd, Ian Miller, Janick Selves, Nadja Meindl‐Beinker, Fiorella Ruiz‐Pace, Elena Élez, Raquel Comas‐Navarro, Frank Lincoln, Dirk Fey, Gift Nyamundanda, Aoife Nolan, Joern Lewin, Raquel Perez‐Lopez, Jonathan Briody, Kathleen Bennett, Walter Kolch, David Matallanas, Alexander Kel, Enrique Arenas, Joaquín Arribas, Bart Ghesquière, Josep Tabernero, Julie Meilleroux, Deborah McNamara, Ray McDermott, Marvin Lim, Mary O'Reilly, Brian Bird, Lisa Stack, Lucia Moloney, Patrick Morris, Keith Egan, Maciej Milewski, Lars Scheuer, Joachim Behringer, Georg Bolz, Ramon Salazar, Cristina Santos, Andrea Ruiz, Orla Casey, Verena Murphy, Matthias Ebert, Livio Trusolino, Diether Lambrechts, Anguraj Sadanandam, Catherine Sautès‐Fridman, Jochen Prehn, Paolo Nuciforo, Jacques Fieschi, Florence Monville, Darran O'Connor, Wolf Fridman, Annette Byrne   +61 more
wiley   +1 more source

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

A Graph Rewriting Visual Language for Database Programming [PDF]

, 1997
Textual database programming languages are computationally complete, but have the disadvantage of giving the user a non-intuitive view of the database information that is being manipulated.
Rodgers, Peter, Rodgers, Peter J.H., King, P.J.H., Rodgers, P.J.   +3 more
core   +1 more source

Logic and programming languages [PDF]

Communications of the ACM, 1977
Logic has been long interested in whether answers to certain questions are computable in principle, since the outcome puts bounds on the possibilities of formalization. More recently, precise comparisons in the efficiency of decision methods have become available through the developments in complexity theory.
openaire   +3 more sources

Interpreting the effects of DNA polymerase variants at the structural level

Molecular Oncology, EarlyView.
Using MAVISp and molecular dynamics simulations, we analyzed over 60 000 missense variants in POLE and POLD1 from ClinVar, COSMIC, cBioPortal, and saturation mutagenesis. Identified mechanistic indicators, including stability, binding, and long‐range, enable structural interpretation, providing ACMG‐like evidence for possible reclassification of VUS ...
Matteo Arnaudi, Karolina Krzesińska, Ludovica Beltrame, Pablo Sánchez‐Izquierdo Besora, Matteo Tiberti, Mef Nilbert, Anna Rohlin, Elena Papaleo   +7 more
wiley   +1 more source

Frame-Based Editing: Easing the Transition from Blocks to Text-Based Programming [PDF]

, 2015
Block-based programming systems, such as Scratch or Alice, are the most popular environments for introducing young children to programming. However, mastery of text-based programming continues to be the educational goal for stu- dents who continue to ...
Neil C. C. Brown, Brown, Neil C.C., Amjad Altadmri, Altadmri, Amjad, Michael Kölling, Kölling, Michael   +5 more
core   +1 more source