Assessing the Impact of Different Technological Strategies on the Fate of <i>Salmonella</i> in Chicken Dry-Fermented Sausages by Means of Challenge Testing and Predictive Models by Anna Austrich-Comas, Anna Jofré, Pere Gou, Sara Bover-Cid

Get full text

Key Factors Determining the Behavior of Pathogens in Dry-Cured Ham after High Pressure Processing by Cristina Serra-Castelló, Noémie Desriac, Anna Jofré, Nicoletta Belletti, Louis Coroller, Sara Bover-Cid

Get full text

An Optimized Single Nucleotide Polymorphism-Based Detection Method Suggests That Allelic Variants in the 3’ Untranslated Region of <i>RRAS2</i> Correlate with Treatment Response in... by Alejandro Hortal, Marta Lacuna, Claudia Cifuentes, Miguel Alcoceba, Xosé R. Bustelo, Marcos González, Balbino Alarcón

Get full text

A reflection−based proof tactic for lattices in Coq by James, D, Hinze, R

“…We will paint the essence of the approach in broad strokes and discuss the use of certified functional programs to aid the automation of formal reasoning.…”

Zinc Protoporphyrin-Rich Pork Liver Homogenates as Coloring Ingredients in Nitrite-Free Liver Pâtés by Mar Llauger, Luis Guerrero, Jacint Arnau, Afra Morera, Jun-ichi Wakamatsu, José M. Lorenzo, Ricard Bou

Get full text

Alterations of NK Cell Phenotype in the Disease Course of Multiple Myeloma by Tatiana Pazina, Alexander W. MacFarlane, Luca Bernabei, Essel Dulaimi, Rebecca Kotcher, Clinton Yam, Natalie A. Bezman, Michael D. Robbins, Eric A. Ross, Kerry S. Campbell, Adam D. Cohen

Get full text

Utilization of Porcine Livers through the Formation of Zn-Protoporphyrin Pigment Optimized by a Response Surface Methodology by Mar Llauger, Jacint Arnau, Michela Albano-Gaglio, Sara Bover-Cid, Belén Martín, Ricard Bou

Get full text

Formal Derivation of a Pattern Matching Algorithm by Bird, R, Gibbons, J, Jones, G

“…The novel aspects of the present treatment are: (i) the result is expressed as a (very short) functional program; and (ii) the derivation makes use of the calculus of lists described by Bird.…”

IO vs OI in Higher-Order Recursion Schemes by Axel Haddad

“…Given that higher-order recursion schemes can be used as a model of functional programs, innermost-outermost derivations policy represents a theoretical view point of call by value evaluation strategy.…”
Get full text

VerSum: Verifiable Computations over Large Public Logs by van den Hooff, Jelle, Kaashoek, M. Frans, Zeldovich, Nickolai

“…VerSum's contribution lies in achieving low server-side overhead for both incremental re-computation and conflict resolution, using three key ideas: (1) representing the computation as a functional program, which allows memoization of previous results; (2) recording the evaluation trace of the functional program in a carefully designed computation history to help clients determine which server made a mistake; and (3) introducing a new authenticated data structure for sequences, called SeqHash, that makes it efficient for servers to construct summaries of computation histories in the presence of incremental re-computation. …”
Get full text
Get full text
Get full text
Get full text

Foundational Integration Verification of a Cryptographic Server by Erbsen, Andres, Philipoom, Jade, Jamner, Dustin, Lin, Ashley, Gruetter, Samuel, Pit-Claudel, Clément, Chlipala, Adam

“…Connecting these components is a minimalistic specification style based on functional programs and assertions over simple objects, omnisemantics for program execution, and basic separation logic for memory layout. …”
Get full text

Polygraphic programs and polynomial-time functions by Guillaume Bonfante, Yves Guiraud

“…For that, we consider polygraphic programs, a subclass of these objects, as a formal description of first-order functional programs. We explain their semantics and prove that they form a Turing-complete computational model. …”
Get full text

Lymphocyte Exhaustion in AML Patients and Impacts of HMA/Venetoclax or Intensive Chemotherapy on Their Biology by Dmitry Zhigarev, Asya Varshavsky, Alexander W. MacFarlane, Prathiba Jayaguru, Laura Barreyro, Marina Khoreva, Essel Dulaimi, Reza Nejati, Christina Drenberg, Kerry S. Campbell

Get full text

Termination of canonical context-sensitive rewriting and productivity of rewrite systems by Salvador Lucas

“…Termination of programs, i.e., the absence of infinite computations, ensures the existence of normal forms for all initial expressions, thus providing an essential ingredient for the definition of a normalization semantics for functional programs. In lazy functional languages, though, infinite data structures are often delivered as the outcome of computations. …”
Get full text

Relational compilation: Functional-to-imperative code generation for performance-critical applications by Pit-Claudel, Clément

“…Purely functional programs verified using interactive theorem provers typically need to be translated to run: either by extracting them to a similar language (like Coq to OCaml) or by proving them equivalent to deeply embedded implementations (like C programs). …”
Get full text
Get full text

Housing and the Pandemic: How Has Covid-19 Influenced Residents’ Needs and Aspirations? by Stachura Ewa Joanna, Jagiełło-Kowalczyk Magdalena

“…The Covid-19 pandemic, which humankind had been experiencing for two years, influenced all spheres of human life, especially inhabitation. The functional program of homes has changed, as well as public spaces, transportation and social ties. …”
Get full text

A Light Modality for Recursion by Paula Severi

“…We investigate the interplay between a modality for controlling the behaviour of recursive functional programs on infinite structures which are completely silent in the syntax. …”
Get full text

Theory and Practice of Fusion by Hinze, R, Harper, T, James, D

“…There are a number of approaches for eliminating intermediate data structures in functional programs—this elimination is commonly known as fusion. …”

Theory and Practice of Fusion by Hinze, R, James, D, Harper, T

“…There are a number of approaches for eliminating intermediate data structures in functional programs - this elimination is commonly known as fusion. …”

Theory and Practice of Fusion by Hinze, R, Harper, T, James, D

“…There are a number of approaches for eliminating intermediate data structures in functional programs—this elimination is commonly known as fusion. …”