Suchergebnisse - "Functional programming"

Trends in functional programming von Gilmore, Stephen

“… This book collects the latest research developments in the use of functional programming languages …”
Volltext

Functional Programming for the Internet of Things: A Comparative Study of Implementation of a LoRa-MQTT Gateway Written in Elixir and C++ von Branch, Philip, Weinstock, Phillip

“… Functional programming languages such as Erlang and Elixir have proven to be an effective programming paradigm for such scenarios, notably in large-scale telecommunications switches …”
Volltext

Mastering Functional Programming: Functional Techniques for Sequential and Parallel Programming with Scala von Kmetiuk, Anatolii

“… The solution to these problems is Functional Programming, a paradigm specifically designed to deal with the complexity of software development. Mastering …”
Volltext

Trends in Functional Programming Volume 4 von Gilmore, Stephen

“… This book collects the latest research developments in the use of functional programming languages …”
Volltext

Types of mathematical thinking implemented in the learn process of functional programming von Omar Iván Trejos Buriticá

“… Context: This article presents and analyzes the results of a research carried out in a classroom, in the context of the learning of functional programming at university level in Systems Engineering …”
Volltext

Trends in Functional Programming Volume 4

Volltext

A recurrent neural network for nonlinear convex optimization subject to nonlinear inequality constraints von Xia, Youshen, Wang, Jun

“… This paper presents a novel recurrent neural network for solving nonlinear convex programming problems subject to nonlinear inequality constraints …”
Volltext

Effectful improvement theory von Ceresa, Martín A., Jaskelioff, Mauro J.

“… •Relational cost theory for effectful functional programming languages.•Cost as an algebraic effect …”
Volltext

Verified Functional Programming of an Abstract Interpreter von Lucas Franceschino, Pichardie, David, Talpin, Jean-Pierre

“… , their implementations are subject to bugs, that might question the soundness of their computations. While some formally verified abstract interpreters have been written in the past …”
Volltext

Functional Programming for the Internet of Things: A LoRa-MQTT Gateway written in Elixir von Branch, Philip, Weinstock, Phillip

“… Functional programming languages such as Erlang and Elixir have proven to be an effective programming paradigm for such scenarios, notably in large scale telecommunications switches …”
Volltext

Using Functional Programming to Promote Math Learning von Cameto, Gonzalo, Carboni, Alejandra, Koleszar, Victor, Mendez, Martin, Tejera, Gonzalo, Viera, Marcos, Wagner, Javier

“… Is there a recommended language to start in the world of programming? Does the teaching of programming facilitate the learning of other scientific subjects …”
Volltext

Prioritise the Best Variation von Kokke, Wen, Dardha, Ornela

“… Binary session types guarantee communication safety and session fidelity, but alone they cannot rule out deadlocks arising from the interleaving of different …”
Volltext

Structure verification of deep neural networks at compilation time von Piñeyro, Leonardo, Pardo, Alberto, Viera, Marcos

“… In particular, validating the structure of deep neural networks at compilation time is a complex subject that involves the mathematical validation of all operations that a deep learning model will perform …”
Volltext

Two Medoid-Based Algorithms for Clustering Sets von Nigro, Libero, Fränti, Pasi

“… An example of such data occurs in the analysis of a medical diagnosis, where the goal is to detect human subjects who share common diseases to possibly predict future illnesses from previous medical history …”
Volltext

MateFun: Functional Programming and Math with Adolescents von Carboni, Alejandra, Koleszar, Victor, Tejera, Gonzalo, Viera, Marcos, Wagner, Javier

“… The MateFun project arises with the intention of approaching disciplines that intersect in the field of education, based on the transversality of information …”
Volltext

Functional Programming von Simoni, Mary, Dannenberg, Roger B

“… One advantage of functional programming is that functional programs are often easier to reason about than non-functional alternatives …”
Volltext

Conceptual programming in GIS development von Ya Tsvetkov, V, Buravtsev, A V

“… The connection between conceptual and functional programming through the apparatus of functional grammars is shown …”
Volltext

A Hybrid Approach to the Synthesis of Subarrayed Monopulse Linear Arrays von Rocca, P., Manica, L., Azaro, R., Massa, A.

“… In this paper, a hybrid approach for the synthesis of the ldquooptimalrdquo compromise between sum and difference patterns for subarrayed monopulse antennas is …”
Volltext

Transmitting Values From Past To Future: A Strategic Program Inquiry For Ankara Victory Square (Zafer Meydanı) // Değerlerin Geçmişten Geleceğe Aktarımı: Ankara Zafer Meydanı için Stratejik Program Araştırması von Pınar Dinç Kalaycı, Dilek Aybek Özdemir

“… Visioning the future of a significant urban space should be done via a thorough inquiry process, a process of decoding the values and meanings that make that …”
Volltext

Excel as a Turing-complete Functional Programming Environment von Bartholomew, Peter

“… Since the calculation engine of Excel was the subject of a major upgrade to accommodate Dynamic Arrays in 2018 there has been a series of seismic changes to the art of building spreadsheet solutions …”
Volltext