Results 11 to 20 of about 121,983 (302)
An Equivalent Linear Programming Form of General Linear Fractional Programming: A Duality Approach
Mathematics, 2021 Linear fractional programming has been an important planning tool for the past four decades. The main contribution of this study is to show, under some assumptions, for a linear programming problem, that there are two different dual problems (one linear ...
Mehdi Toloo
doaj +1 more source
Parallelizing Particle Swarm Optimization in a Functional Programming Environment
Algorithms, 2014 Many bioinspired methods are based on using several simple entities which search for a reasonable solution (somehow) independently. This is the case of Particle Swarm Optimization (PSO), where many simple particles search for the optimum solution by ...
Pablo Rabanal +2 more
doaj +1 more source
A Semantic Framework to Debug Parallel Lazy Functional Languages
Mathematics, 2020 It is not easy to debug lazy functional programs. The reason is that laziness and higher-order complicates basic debugging strategies. Although there exist several debuggers for sequential lazy languages, dealing with parallel languages is much harder ...
Alberto de la Encina +3 more
doaj +1 more source
The modified deep first search algorithm: functional implementation [PDF]
Computer Science Journal of MoldovaThe article includes the modified deep first search algorithm (DFS) that allows, at a single traversal of a graph, to check its connectivity/biconnectivity, highlight the cut vertices, and build the spanning tree, the biconnected components, and the ...
Constantin Ciubotaru
doaj +1 more source
Foundations of Total Functional Data-Flow Programming [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 The field of declarative stream programming (discrete time, clocked synchronous, modular, data-centric) is divided between the data-flow graph paradigm favored by domain experts, and the functional reactive paradigm favored by academics.
Baltasar Trancón y Widemann +1 more
doaj +1 more source
Structural Induction Principles for Functional Programmers [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 User defined recursive types are a fundamental feature of modern functional programming languages like Haskell, Clean, and the ML family of languages. Properties of programs defined by recursion on the structure of recursive types are generally proved ...
James Caldwell
doaj +1 more source
Calculating Functional Programs [PDF]
, 2002 Functional programs are merely equations; they may be manipulated by straightforward equational reasoning. In particular, one can use this style of reasoning to calculate programs, in the same way that one calculates numeric values in arithmetic. Many useful theorems for such reasoning derive from an algebraic view of programs, built around datatypes ...
openaire +4 more sources
Semantic Observation Integration
Future Internet, 2012 Although the integration of sensor-based information into analysis and decision making has been a research topic for many years, semantic interoperability has not yet been reached.
Werner Kuhn +3 more
doaj +1 more source
Bricklayer: An Authentic Introduction to the Functional Programming Language SML [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 Functional programming languages are seen by many as instrumental to effectively utilizing the computational power of multi-core platforms. As a result, there is growing interest to introduce functional programming and functional thinking as early as ...
Victor Winter
doaj +1 more source
ANALYSIS OF MECHANISMS AND EFFICIENCY OF SPECIALIZED LANGUAGES OF FUNCTIONAL PROGRAMMING
Nauka ta progres transportu, 2019 Purpose. The authors aim to determine the differences between functional programming languages, to identify the capabilities of the most popular languages by comparing and analyzing them.
I. M. Storchak, O. P. Ivanov
doaj +1 more source