Smoothly Navigating between Functional Reactive Programming and Actors

We formally define an elegant multi-paradigm unification of Functional Reactive Programming, Actor Systems, and Object-Oriented Programming. This enables an intuitive form of declarative programming, harvesting the power of concurrency while maintaining safety. We use object and reference capabilities to highlight and tame imperative features: reference capabilities track aliasing and mutability, and object capabilities track I/O. Formally, our type system limits the scope, impact and interactions of impure code. - Scope: Expressions whose input is pure will behave deterministically. - Impact: Data-races and synchronisation issues are avoided. The only way for an actor to behave nondeterministically, is by mutating its state based on message delivery order. - Interactions: Signals provide a functional boundary between imperative and functional code, preventing impure code from invalidating functional assumptions.Comment: Part of WFLP 2020 pre-proceedings (updated post-comments

Multiple Description Vector Quantization with Lattice Codebooks: Design and Analysis

The problem of designing a multiple description vector quantizer with lattice codebook Lambda is considered. A general solution is given to a labeling problem which plays a crucial role in the design of such quantizers. Numerical performance results are obtained for quantizers based on the lattices A_2 and Z^i, i=1,2,4,8, that make use of this labeling algorithm. The high-rate squared-error distortions for this family of L-dimensional vector quantizers are then analyzed for a memoryless source with probability density function p and differential entropy h(p) < infty. For any a in (0,1) and rate pair (R,R), it is shown that the two-channel distortion d_0 and the channel 1 (or channel 2) distortions d_s satisfy lim_{R -> infty} d_0 2^(2R(1+a)) = (1/4) G(Lambda) 2^{2h(p)} and lim_{R -> infty} d_s 2^(2R(1-a)) = G(S_L) 2^2h(p), where G(Lambda) is the normalized second moment of a Voronoi cell of the lattice Lambda and G(S_L) is the normalized second moment of a sphere in L dimensions.Comment: 46 pages, 14 figure

FOLFIRINOX after first-line gemcitabine-based chemotherapy in advanced pancreatic cancer: a retrospective comparison with FOLFOX and FOLFIRI schedules

Background: Pancreatic adenocarcinoma is the fourth leading cause of cancer-related death. In cases with metastasis, the combination of 5-fluorouracil, irinotecan, and oxaliplatin (FOLFIRINOX) or gemcitabine-based chemotherapy regimens are considered the standard of care. However, the optimal sequence of these regimens is unclear. Methods: This retrospective study initially evaluated 186 patients with locally advanced/metastatic pancreatic cancer at three Italian institutions between February 2013 and October 2019. All patients had progressed after receiving gemcitabine-based first-line chemotherapy and were subsequently offered second-line FOLFIRINOX, FOLFOX-6, or FOLFIRI treatment. This study evaluated progression-free survival (PFS), overall survival from the start of second-line treatment (OS2), overall survival from the start of first-line treatment (OS1), and safety outcomes. Results: A total of 77 patients received ⩾4 cycles of second-line chemotherapy and were considered eligible: 15 patients received FOLFIRINOX, 32 patients received FOLFOX-6, and 30 patients received FOLFIRI. The FOLFIRINOX group had median PFS of 26.29 weeks and median OS2 of 47.86 weeks, while the FOLFIRI group had median PFS of 10.57 weeks and median OS2 of 25.00 weeks (p = 0.038). No significant differences were observed between the FOLFIRINOX and FOLFOX-6 groups in terms of PFS (26.29 weeks versus 23.07 weeks) or OS2 (47.86 weeks versus 42.00 weeks). The most common grade 3–4 toxicities were anemia, neutropenia, and thrombocytopenia, which occurred more frequently in the FOLFIRINOX and FOLFOX-6 groups. Conclusion: Relative to the FOLFIRI regimen, the FOLFIRINOX regimen had a favorable toxicity profile and better survival outcomes. No significant differences were observed relative to the FOLFOX-6 regimen

Smoothly Navigating between Functional Reactive Programming and Actors

We formally define an elegant multi-paradigm unification of Functional Reactive Programming, Actor Systems, and Object-Oriented Programming. This enables an intuitive form of declarative programming, harvesting the power of concurrency while maintaining safety. We use object and reference capabilities to highlight and tame imperative features: reference capabilities track aliasing and mutability, and object capabilities track I/O. Formally, our type system limits the scope, impact and interactions of impure code. - Scope: Expressions whose input is pure will behave deterministically. - Impact: Data-races and synchronisation issues are avoided. The only way for an actor to behave nondeterministically, is by mutating its state based on message delivery order. - Interactions: Signals provide a functional boundary between imperative and functional code, preventing impure code from invalidating functional assumptions

Multiple Description Lattice Vector Quantization

We consider the problem of designing structured multiple description vector quantizers. We present a general procedure for designing such quantizers based on the algebraic structure of the lattices, and we present detailed results for the hexagonal lattice: algorithms, asymptotic performance, and numerical simulations. A salient property of the proposed construction is that the second moment of the side cells is reduced by 0.2004dB when compared to the side cells of the multiple description scalar quantizer. The relevance of this result is that, although the gain of an optimal two-dimensional quantizer over an optimal scalar quantizer is only 0.1671dB (and that is exactly the improvement attained by the central quantizer), side quantizers are in general not optimal since they are the possibly disjoint union of a number of central cells; our construction is found to compensate for that suboptimality to a certain extent. 1 Introduction 1.1 Multiple Description Source Coding A diversit..

Seasonal trophic ecology of the dominant Antarctic coral Malacobelemnon daytoni (Octocorallia, Pennatulacea, Kophobelemnidae)

This work is contributing to the ICTA “Unit of Excellence” (MinECo, MDM2015-0552).-- 11 pages, 6 figures, 1 tableAntarctic ecosystems present highly marked seasonal patterns in energy input, which in turn determines the biology and ecology of marine invertebrate species. This relationship is stronger at lower levels of the food web, while upper levels may be less dependent on primary production pulses. The pennatulid Malacobelemnon daytoni, is one of the most abundant species in Potter Cove, Antarctica. In order to assess its trophic ecology and energetic strategies, its biochemical (carbohydrates, proteins and lipids), Fatty Acid (FA) and Stable Isotope (SI) (δN and δC) compositions were studied over a year-round period. The FA and SI profiles suggest an omnivorous diet and opportunistic feeding strategy for the species. These results, together with biochemical analysis (higher lipid and carbohydrate concentration observed in July and October 2009), support the hypothesis that resuspension events may be an important source of energy, reducing the seasonality of food depletion periods in winter. The evidence presented here gives us a better insight into the success that this species has in Potter Cove and under the current environmental changes experienced by the Antarctic PeninsulaThis study was supported by the Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET), Fundación Carolina, Dirección Nacional del Antártico (DNA)/Instituto Antártico Argentino (IAA), Universidad Nacional de Córdoba and Intitute of Marine Science (ICM). The work was partially funded by PICTO 2010 - 0019 (ANPCyT-DNA), PIP CONICET Nº11220100100089, SECyT (05/I602), ESF-IMCOAST associated work package of AP-4 of Dr. Sahade and the EU project IMCONet (FP7 404 IRSES, action no. 319718)Peer Reviewe