Cellular automata are a discrete dynamical system which models massively parallel computation. Much attention is devoted to computations with small time complexity for which the parallelism may provide further possibilities. In this paper, we investigate the ability of cellular automata related to functional computation. We introduce several functional classes of low time complexity which conta...

Polysulfone was investigated as an alternative base-polymer for polymer inclusion membranes (PIM’s) that could withstand harsh environmental conditions and have good transport efficiency of metal ions. PIM’s were prepared using polysulfone as a base polymer and Aliquat 336 as a carrier in the absence of a plasticizer. Chromium (VI) was used as standard to study the extraction efficiency of the ...

Many students complete PhDs in functional programming each year. As a service to the community, twice per year Journal of Functional Programming publishes abstracts from PhD dissertations completed during previous The are made freely available on JFP website, i.e. not behind any paywall. They do require transfer copyright, merely license author. A dissertation is eligible for inclusion if parts...

Functional dependencies (FDs) and inclusion dependencies (INDs) are the most fundamental integrity constraints that arise in practice in relational databases. We introduce null inclusion dependencies (NINDs) to cater for the situation when a database is incomplete and contains null values. We show that the implication problem for NINDs is the same as that for INDs. We then present a sound and c...

Unlike relational tables in a database, data sources on the Web typically can only be accessed in limited ways. In particular, some of the source fields may be required as input and thus need to be mandatorily filled in order to access the source. Answering queries over sources with access limitations is a complex task that requires a possibly recursive evaluation even when the query is non-rec...

One of the most efficient methods for the study of boundary and periodic problems for nonlinear differential equations and inclusions, consists in the operator treatment of these problems in suitable functional spaces. However, for a number of problems of this sort, the maps constructed in functional spaces do not possess “nice” properties on the whole domain, but only on some open neighborhood...

Various static analyses of functional programming languages that permit infinite data structures make use of set constants like Top, Inf, and Bot, denoting all terms, all lists not eventually ending in Nil, and all non-terminating programs, respectively. We use a set language that permits union, constructors and recursive definition of set constants with a greatest fixpoint semantics in the set...

Information Integration is the problem of providing a uniform access to multiple and heterogeneous data sources. The most common approach to this problem, called Globalas-View, consists in providing a global schema of data in which each relation of such a schema is defined as a view over a set of data sources. Recent works deal with this problem in the case of limited source capabilities, where...

G-protein-coupled receptors (GPCRs), the largest family of integral membrane proteins, participate in the regulation of many physiological functions and are the targets of approximately 30% of currently marketed drugs. However, knowledge of the structural and molecular bases of GPCR functions remains limited owing to difficulties related to their overexpression, purification and stabilization. ...