Results 101 to 110 of about 11,002,643 (373)

A Brief Overview of the Pawns Programming Language

Software
This paper describes the Pawns programming language, currently under development, which uses several novel features to combine the functional and imperative programming paradigms.
Lee Naish
doaj   +1 more source

Integrative systems‐level analysis reveals a contextual crosstalk between hypoxia and global metabolism in human breast tumors

Molecular Oncology, EarlyView.
Breast tumor samples scored for metabolic deregulation (M1 to M3) were given a hypoxia score (HS). The highest HS occurred in patients with strongest metabolic deregulation (M3), supporting tumor aggressiveness. HS correlated with the highest number of metabolic pathways in M1. This suggests hypoxia to be an early event in metabolic deregulation.
Raefa Abou Khouzam, Salem Chouaib, Mohammad Askandar Iqbal   +2 more
wiley   +1 more source

Formation of cloud-based learning environment for professional training in programming

CTE Workshop Proceedings, 2014
The article is devoted the question of forming a full functional based on cloud technology to study subjects from programming cycle for specialists in programming. The object of the research – the process applying cloud technologies in learning.
N. A. Kharadzjan
doaj   +1 more source

A Proof Theoretic Approach to Failure in Functional Logic Programming [PDF]

Theory and Practice of Logic Programming, vol. 4, no. 1&2, 2004, 2004
How to extract negative information from programs is an important issue in logic programming. Here we address the problem for functional logic programs, from a proof-theoretic perspective. The starting point of our work is CRWL (Constructor based ReWriting Logic), a well established theoretical framework for functional logic programming, whose ...
arxiv  

Crosstalk between gut microbiota and tumor: tumors could cause gut dysbiosis and metabolic imbalance

Molecular Oncology, EarlyView.
In this research, we analyzed the relationship between gut microbiota and tumor. We discovered that both subcutaneous and metastatic tumors would alter the composition and metabolic function of gut microbiota. Meanwhile, fecal microbiota transplantation also indicated the anti‐tumor role of the gut microbiota, revealing the crosstalk between tumor and ...
Siyuan Zhang, Haimei Wen, Ying Chen, Jingya Ning, Di Hu, Yujiao Dong, Chenyu Yao, Bo Yuan, Shuanying Yang   +8 more
wiley   +1 more source

Types of mathematical thinking implemented in the learn process of functional programming

Tecnura, 2018
Context: This article presents and analyzes the results of a research carried out in a classroom, in the context of the learning of functional programming at university level in Systems Engineering and Computing program, from the application of the types
Omar Iván Trejos Buriticá
doaj   +1 more source

Functional programming with combinators

Journal of Symbolic Computation, 1987
Combinators are shown to provide a very suitable basis for implementations of functional and symbolic computation in computer architecture. A powerful combinator reduction system is developed which meets programmers and machine requirements for (i) efficiency of representation and execution of symbolic algorithms, and (ii) availability of algebraic ...
openaire   +2 more sources

Integrative analysis of circulating tumor cells (CTCs) and exosomes from small‐cell lung cancer (SCLC) patients: a comprehensive approach

Molecular Oncology, EarlyView.
This study simultaneously investigated circulating tumor cells (CTCs) and exosomes from small‐cell lung cancer (SCLC) patients. The elevated expression of JUNB and CXCR4 in CTCs was a poor prognostic factor for SCLC patients, whereas exosomal overexpression of these biomarkers revealed a high discrimination ability of patients from healthy individuals,
Dimitrios Papakonstantinou, Argyro Roumeliotou, Evangelia Pantazaka, Athanasios‐Nasir Shaukat, Athina Christopoulou, Angelos Koutras, Foteinos‐Ioannis Dimitrakopoulos, Vassilis Georgoulias, Anastasia Xagara, Evangelia Chantzara, Fillipos Koinis, Athanasios Kotsakis, Constantinos Stathopoulos, Galatea Kallergi   +13 more
wiley   +1 more source

3D Dynamic Programming Approach to Functional Equations with Applications

Journal of Function Spaces, 2020
This article demonstrates the graphical existence of a single fixed point while imposing the contractive condition of Chatterjea type F-contraction on F-metric space (briefly as F-MS). We present two examples that verify the validity of the results given
Awais Asif, Sami Ullah Khan, Thabet Abdeljawad, Muahammad Arshad, Amjad Ali   +4 more
doaj   +1 more source

Deciding subset relationship of co-inductively defined set constants [PDF]

, 2005
Static analysis of different non-strict functional programming languages makes use of set constants like Top, Inf, and Bot denoting all expressions, all lists without a last Nil as tail, and all non-terminating programs, respectively.
Sabel, David, Schmidt-Schauß, Manfred, Schütz, Marko   +2 more
core   +2 more sources