Functional Data Science for Secondary-School Students by Paul Biberstein, Thomas Castleman, Luming Chen, Shriram Krishnamurthi

Subjects: Get full text

Modelling and Assertion-Based Verification of Run-Time Reconfigurable Designs Using Functional Programming Abstractions by Bahram N. Uchevler, Kjetil Svarstad

“…A complete design and assertion-based verification flow for Run-Time Reconfigurable (RTR) designs using functional programming abstractions of Haskell are proposed in this article, in which partially reconfigurable hardware is used as the implementation platform. …”
Get full text

A Brief Overview of the Pawns Programming Language by Lee Naish

Subjects: Get full text

Pattern-Based Test Suite Reduction Method for Smart Contracts by Tomasz Górski

Subjects: Get full text

<b>Computational Semantics with Functional Programming Jan van Eijck* and Christina Unger^‡</b> (*CWI, Amsterdam and Utrecht University; ^‡University of Bielefeld) Cambridge: Cambridge University Press, 2010, xv+405 pp; hardbound, ISBN 978-0-521-76030-0, $99.00; paperbound, ISBN 978-0-521-75760-7, $40.00 by Robin Cooper

Get full text

Theoretical framework of life circles in Chinese small towns and the optimization of spatial layout for public service facilities based on residents’ distance sensitivity by Yue Wang, Haihui Xie, Yi Hua, Bo Jin, Zhi Qiu

“…Previously, the authors have investigated the functional programming of facilities, proposing a “required + optional item” public service facility guidance-control system based on the actual needs of residents, which addresses the issue of what types of facilities should be provided to residents. …”
Get full text

A minimal gene set characterizes TIL specific for diverse tumor antigens across different cancer types by Zhen Zeng, Tianbei Zhang, Jiajia Zhang, Shuai Li, Sydney Connor, Boyang Zhang, Yimin Zhao, Jordan Wilson, Dipika Singh, Rima Kulikauskas, Candice D. Church, Thomas H. Pulliam, Saumya Jani, Paul Nghiem, Suzanne L. Topalian, Patrick M. Forde, Drew M. Pardoll, Hongkai Ji, Kellie N. Smith

“…Collectively, we show that MANAscore is a robust tool that can greatly enrich candidate tumor-specific T cells and be used to understand the functional programming of tumor-reactive TIL.…”
Get full text

Impaired Resolution of Inflammation in the Endoglin Heterozygous Mouse Model of Chronic Colitis by Madonna R. Peter, Mirjana Jerkic, Valentin Sotov, David N. Douda, Daniela S. Ardelean, Niousha Ghamami, Flavia Lakschevitz, Meraj A. Khan, Susan J. Robertson, Michael Glogauer, Dana J. Philpott, Nades Palaniyar, Michelle Letarte

Get full text

Research on energy-efficient physical-layer secure transmission mechanism in decode-and-forward cooperative networks by Dong WANG, Yong-cheng LI, Bo BAI, Man-xi WANG

“…The maximization problem of secure energy efficiency (EE) in decode-and-forward relay networks was investigated considering the power and energy constraints in physical-layer secure transmission.An iterative algorithm for power allocation was proposed based on fractional programming and DC (difference of convex functions) programming.This algorithm jointly allocated power for source and relay nodes to achieve energy-efficient secure transmission,subject to the peak power constraint of each node and the minimum secrecy rate requirement of the system.Simulation results demonstrate that the propose algorithm can improve the secure EE significantly compared with the conventional secrecy rate maximization strategy.…”
Get full text

ANALYSIS OF HIGH SPEED HYDROSTATIC BEARING’S PERFORMANCE CONSIDERING THERMAL EFFECT OF LUBRICATION FLUID by CHEN Yuan, LIU GuiPing, LIN LuSheng

“…To study the influence to high speed hydrostatic bearing’s performance from lubrication fluid characteristics of oil film,the thermal effect of lubricating fluid’s viscosity,density and specific heat capacity is considered,and put forward a method to solve the Navier-Stokes（ N-S） equations combined with a custom function program to introduce lubricating fluid relations under thermal effect. …”
Get full text

Design for disassembly and cultural sites. The use of modular architecture and prefabrication in exhibition venues by Giuseppe Resta, Samuel Gonçalves

“…Through four concrete experimentations, we discuss ways of repurposing precast modules in new layouts with different functional programs in line with the “design for disassembly” concept. …”
Get full text

Inverse methods and integral-differential model demonstration for optimal mechanical operation of power plants – numerical graphical optimization for second generation of tribology... by Casesnoves Francisco

“…The method(s) developed are classical numerical optimization settings for objective functions, programming optimization and simulations, and special software for imaging in 3D. …”
Get full text

De la logique à l’algorithme : la traduction dans le design de programmes by Kim Sacks

“…Program design is at the interface between machine logic and the production of functional programs. This essay explores the technical modalities of logic translations inherent to machines within the context of program design. …”
Get full text

BACH2 in TRegs Limits the Number of Adipose Tissue Regulatory T Cells and Restrains Type 2 Immunity to Fungal Allergens by Amanda Contreras, Darin L. Wiesner, Brock Kingstad-Bakke, Woojong Lee, John P. Svaren, Bruce S. Klein, M. Suresh

“…In summary, we ascribe vital roles for Bach2 in peripheral Tregs: as a transcriptional checkpoint to limit precocious differentiation into effector Tregs in lymphoid tissues and as a regulator of the functional program that restrains Type 2 but not Type 1 inflammation in lungs. …”
Get full text

Interaction of production areas of settlements with regional settlement systems at the municipal level of territorial planning by N. G. Yushkova

“…However, the planning of the territory of this level is able to reduce the acuteness of contradictions between short-term and long-term prospects of regional development, as well as to ensure the accuracy of linking the formed objects of different sizes with non-typical functional programs.Materials and methods. The methodological basis was provided by general scientific methods (system approach, system-structural analysis, comparative analysis, theoretical modelling) and special interdisciplinary methods (methods of graph-analytical modelling), scientific literature, data from official sites of statistical bodies and municipalities, open cartographic sources, urban planning documents of territorial planning.Results. …”
Get full text

Plasma membrane remodeling determines adipocyte expansion and mechanical adaptability by María C. M. Aboy-Pardal, Marta C. Guadamillas, Carlos R. Guerrero, Mauro Català-Montoro, Mónica Toledano-Donado, Sara Terrés-Domínguez, Dácil M. Pavón, Víctor Jiménez-Jiménez, Daniel Jimenez-Carretero, Moreno Zamai, Cintia Folgueira, Ana Cerezo, Fidel-Nicolás Lolo, Rubén Nogueiras, Guadalupe Sabio, Miguel Sánchez-Álvarez, Asier Echarri, Ricardo Garcia, Miguel A. Del Pozo

Get full text