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

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

Subjects: 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

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