We introduce coexponentials, a new set of modalities for Classical Linear Logic. As duals to exponentials, the coexponentials codify distributed form structural rules weakening and contraction. This makes them suitable logical device encapsulating pattern server receiving requests from an arbitrary number clients on single channel. Guided by this intuition we formulate system session types base...

Background: Polyvalent vaccination represents a recent attempt to improve the effectiveness of lung cancer immunotherapy. This study aimed to investigate whether a gene expression pattern of tumor-associated antigens (TAA) would exist indicating that their use will be most appropriate for the polyvalent vaccination of Caucasian non-small cell lung carcinoma (NSCLC) patients. We examined the con...

A main purpose of a multi-objective evolutionary algorithm is to find a good relationship between convergence and diversity of the population. Convergence guides the algorithm to search the optimal solution and diversity tries to avoid a premature stagnation of the search. In multi-objective evolutionary algorithms, diversity has been promoted using different techniques. In this paper, several ...