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. …”

Reovirus Activated Cell Death Pathways by Carly DeAntoneo, Pranav Danthi, Siddharth Balachandran

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. …”

Consumer Attitudes toward Consumption of Meat Products Containing Offal and Offal Extracts by Mar Llauger, Anna Claret, Ricard Bou, Laura López-Mas, Luis Guerrero

Get full text

Post-industrial robotics: exploring informed architectures in the post-digital era by Angelo Figliola

“…Fusta Robotica, is the result of a tectonic exploration deriving from the use of non-engineered material, Digital Urban Orchard is the formal expression of a complex functional program arising from the relationship amongst form (shape), function and context. …”
Get full text

Rehearsal rooms in the context of norwegian standard ns 8178:2014 by Warzocha Karolina

“…The aim of the article is to verify whether the areas of rehearsal rooms given in functional programs attached to architectural contests for music schools, are sufficient to provide required acoustic conditions inside the chamber such as sound power level (SPL) and reverberation time (RT) which is preferred by musicians. …”
Get full text

Stromal circuits involving tumor-associated macrophages and cancer-associated fibroblasts by Eleonora Timperi, Emanuela Romano, Emanuela Romano

“…Today, single cell-RNA sequencing (sc-RNA seq) technologies allowed a more granular knowledge about TAMs and CAFs phenotypical and functional programs. In this mini-review we discuss the recent discoveries in the sc-RNA seq field focusing on TAM and CAF identity and their crosstalk in the tumor microenvironment (TME) of solid cancers.…”
Get full text

Integration of data analysis and data acquisition software in prototype photo-CELIV set-up by Meyyappan, Ramasamy

“…The aim of this project is to create function program using the LabVIEW platform to analyze optical electrical measurement data and extracting the set of essential parameters which are useful for assessing device performance. …”
Get full text

Functional Pearl Trouble Shared is Trouble Halved by Bird, R, Hinze, R

“…Shared nodes are created in almost every functional program - for instance, when updating a purely functional data structure - though programmers are seldom aware of this. …”

Verification of Programs via Intermediate Interpretation by Alexei P. Lisitsa, Andrei P. Nemytykh

“…We show that several safety properties of functional programs modeling a class of cache coherence protocols can be proved by a supercompiler and compare the results with our earlier work on direct verification via supercompilation not using intermediate interpretation. …”
Get full text

From Góngora to JavaScript: reading a poem from Critical Code Studies by Alejandro Del Vecchio

“…Although Corredor Parra's text appears originally published on paper, it is a functional program, a fact that shakes the status of the artistic piece, by unfolding it into two dimensions: one linked to its significant materiality (as a literary text) and another with its performative potential in a digital device (as computer code).…”
Get full text

Challenges of the next generation hospitals: Rethinking the Emergency Department by Ivo Casagranda, Marco Gola, Andrea Bellone, Daniele Coen, Andrea Brambilla, Grazia Guiddo, Ciro Paolillo, Roberto Lerza, Stefano Capolongo, Stefano Boeri

“…The immediate urgency to create strictly distinct pathways became also a strategic aspect for reducing possible sources of contagion inside the hospital.1 This need has often clashed with inadequate structural conditions of the hospital: in fact, the rigidity of many EDs is due to the hospital typology and its localization (affected by functional program);2,3 and it prevents them from being quickly adapted to new needs in the case of maxi-emergencies.4 In several recent international projects, the presence of a multifunctional space and/or a buffer area guarantees different scenarios in relation to the healthcare/emergency needs.5 [...] …”
Get full text

Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus by Naoki Kobayashi, C. -H. Luke Ong

“…This study was motivated by Kobayashi's recent work showing that the resource usage verification of functional programs can be reduced to the model checking of recursion schemes. …”
Get full text

Digital tools for improving medication adherence by D. I. Nozdrachev, K. A. Zamyatin, E. O. Taratukhin

“…A practitioner ability to increase medication adherence is raised with the implementation of functional programs that are consistent with the aims.…”
Get full text

Kami: a platform for high-level parametric hardware specification and its modular verification by Choi, Joonwon, Vijayaraghavan, Muralidaran, Sherman, Benjamin, Chlipala, Adam, Arvind

“…<jats:p>It has become fairly standard in the programming-languages research world to verify functional programs in proof assistants using induction, algebraic simplification, and rewriting. …”
Get full text

Program Optimisation‚ Naturally by Bird, R, Gibbons, J, Jones, G

“…Such laws are part and parcel of the basic toolkit for improving the efficiency of functional programs. More rarely, some polymorphic functions also possess a <em>higher-order</em> naturality property. …”

Program Optimisation‚ Naturally by Bird, R, Gibbons, J, Jones, G

“…Such laws are part and parcel of the basic toolkit for improving the efficiency of functional programs. More rarely, some polymorphic functions also possess a <em>higher-order</em> naturality property. …”

Higher-order model checking with traversals by Neatherway, R

“…These additions provide us with a more natural and succinct target for abstraction from functional programs: encoding data using functions inevitably results in an increase in the order and arity of the scheme, which have a direct impact on the worst-case complexity of the problem. …”

Longitudinal torsional vibrations of the chain drive system of mine scraper conveyor by Jinnan Lu, Runkun Yang, Jun Mao, Chunxue Xie

“…Based on the Kelvin‒Voigt model and the point-by-point tension method, a model of the coupled longitudinal and torsional vibrations of the scraper chain drive system is established. Then the functional program is constructed and the numerical simulation is carried out. …”
Get full text

CLUB HOUSES IN A MAJOR CITY: DEFINITION, PHILOSOPHY, REASONS by Ziyatdinov Zufar Z., Mihalcheva Svetlana G.

“…The specifics of club houses in cities in comparison with large cities are shown. The functional program of club houses is determined, which makes it possible to distinguish them as a separate morphological type of residential buildings, including five principal urban planning functions. …”
Get full text