scholarly journals Genome as a Functional Program

2020 ◽  
Vol 41 (12) ◽  
pp. 2326-2331
Author(s):  
S. V. Kozyrev
Keyword(s):  
1997 ◽  
Vol 7 (5) ◽  
pp. 557-589 ◽  
Author(s):  
S. B. LASSEN

This paper develops the functional part of a theory of action semantics for reasoning about programs. Action notation, the specification language of action semantics, is given an evaluation semantics, and operational techniques from process theory and functional programming are applied in the development of a versatile action theory. The power of the theory is demonstrated by means of action semantic proofs of functional program equivalences.


Author(s):  
Anuj Kumar Sewani

Python provide number of frameworks for web development and other applications by Django, Flask, Bottle, Web2py, CherryPy and many more. Frameworks are efficient and versatile to build, test and optimize software. A web framework is a collection of package or module which allows us to develop web applications or services. It provides a foundation on which software developers can built a functional program for a specific platform. The main purpose of this study about python framework is to analyze which is better framework among Django or flask for web development. The study implement a practical approach on PyCharm. The result of this study is - “Django is better than flask”.


2015 ◽  
pp. 103-109
Author(s):  
Davit Grigoryan

In this paper the interpretation algorithms of typed functional programs are considered. The interpretation algorithm is based on substitutions, β-reduction and canonical δ-reduction. The basic semantics of typed functional program is a function with indeterminate values of arguments, which is the main component of its least solution. If the value of the basic semantics for some values of arguments is indeterminate, then the interpretation algorithm either stops with the value ┴, or works endlessly. It is shown that seven known interpretation algorithms are ┴-depend on canonical notion of δ-reduction. Here are these algorithms: FS (of full substitution), PES (of parallel external substitution), LES (of left external substitution), PIS (of parallel inner substitution), LIS (of left inner substitution), ACT (active algorithm), PAS (passive algorithm).


Author(s):  
Агнеса ТОМАШЕВСЬКА

English «Integrated-skills approach» learning realization of students-pharmacists as the basis for foreign written and oral communication forms in the innovative paradigm system of educational integration technology is considered; taking into account the scientific research discourse practical study of the obtained generalized results of contemporary domestic and foreign investigators, the development and implementation rationality of target functional program incorporated the lexical contextual and procedural components in terms of integrated teaching process organization is substantiated.


1997 ◽  
Vol 96 (2) ◽  
pp. 75-83 ◽  
Author(s):  
Wenjian Liu ◽  
Gongyi Hong ◽  
Dadi Dai ◽  
Lemin Li ◽  
Michael Dolg

2006 ◽  
Vol 80 (8) ◽  
pp. 3923-3934 ◽  
Author(s):  
Vito Racanelli ◽  
Maria Antonia Frassanito ◽  
Patrizia Leone ◽  
Maria Galiano ◽  
Valli De Re ◽  
...  

ABSTRACT There is growing interest in the tendency of B cells to change their functional program in response to overwhelming antigen loading, perhaps by regulating specific parameters, such as efficiency of activation, proliferation rate, differentiation to antibody-secreting cells (ASC), and rate of cell death in culture. We show that individuals persistently infected with hepatitis C virus (HCV) carry high levels of circulating immunoglobulin G (IgG) and IgG-secreting cells (IgG-ASC). Thus, generalized polyclonal activation of B-cell functions may be supposed. While IgGs include virus-related and unrelated antibodies, IgG-ASC do not include HCV-specific plasma cells. Despite signs of widespread activation, B cells do not accumulate and memory B cells seem to be reduced in the blood of HCV-infected individuals. This apparent discrepancy may reflect the unconventional activation kinetics and functional responsiveness of the CD27+ B-cell subset in vitro. Following stimulation with T-cell-derived signals in the absence of B-cell receptor (BCR) engagement, CD27+ B cells do not expand but rapidly differentiate to secrete Ig and then undergo apoptosis. We propose that their enhanced sensitivity to BCR-independent noncognate T-cell help maintains a constant level of nonspecific serum antibodies and ASC and serves as a backup mechanism of feedback inhibition to prevent exaggerated B-cell responses that could be the cause of significant immunopathology.


Blood ◽  
1997 ◽  
Vol 89 (3) ◽  
pp. 863-872 ◽  
Author(s):  
Raffaella Soldi ◽  
Luca Primo ◽  
Maria Felice Brizzi ◽  
Fiorella Sanavio ◽  
Massimo Aglietta ◽  
...  

Abstract Besides the regulation of hematopoiesis, granulocyte-macrophage colony-stimulating factor (GM-CSF) induces the expression of a functional program in endothelial cells (ECs) related to angiogenesis and to their survival in the bone marrow microenvironment. ECs express specific GM-CSF high-affinity binding sites, which mediate the proliferative and migratory response. We now report that ECs express the α and β subunits of GM-CSF receptor (GM-CSFR), and that GM-CSF is able to activate the Janus kinase (JAK)2, a member of the cytosolic tyrosine kinase family, which is known to mediate signals of several non–tyrosine kinase receptors. JAK2 tyrosine phoshorylation, as well as activation of its catalytic activity, is induced by subnanomolar concentrations of GM-CSF and occurs within 3 minutes of stimulation and persists at least for 10 minutes. The effect is specific as inferred by the lack of effect of heat-inactivated GM-CSF or neutralized by specific antibodies and by the finding that interleukin-5, which utilizes a specific α chain and the same β chain of GM-CSFR, does not phosphorylate JAK2. Furthermore, we show that the amount of JAK2 physically associated with GM-CSFR β chain is increased after GM-CSF stimulation and that GM-CSF triggers both β chain and JAK2 tyrosine phosphorylation. Taken together, these results suggest that biologic activities of GM-CSF in vascular endothelium may, in part, be elicited by GM-CSFR–mediated JAK2 activation.


2019 ◽  
Vol 135 ◽  
pp. 03020
Author(s):  
Egor Belash

Architecture acquires its relevance at the moment when the architect shifts his attention from specific architectural issues about space, composition, functional program, etc. to something that goes beyond professional issues. He begins to think about architecture from the perspective of other disciplines, for example, from the perspective of sustainable development and ecology. These changes give rise to new spatial solutions that could not have arisen if the architect had not changed his way of thinking. Ecology is already used by some architects not only as a way to make the building more efficient, but it allows to find a new basis of thinking about architecture, where the shape and space of the building are subject to energy efficiency, environmental friendliness and adaptability. The goal of the article is to identify the methods of generating new architectural and spatial structures in the buildings of modern architectural firms that arose because of changing in the terminological apparatus of thinking about architecture based on an ecological approach. Several illustrative projects are considered in the work and two types of spatial construction, conditionally called natural and artificial, are revealed on their example. These two methods of shaping stem from the ecological approach and enter into an interesting dialogue, which is expressed in new non-standard solutions for shape of a building.


Sign in / Sign up

Export Citation Format

Share Document