Temat: functional programming - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: Using erlang in research and education in a technical university
Autorzy:: Petrov, I.
Alexeyenko, A.
Ivanova, G.
Powiązania:: https://bibliotekanauki.pl/articles/305254.pdf
Data publikacji:: 2018
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: parallel programming
distributed programming
teaching
graph theory
concurrency
recursion
survey
functional programming
Opis:: This paper addresses the problem of using functional programming (FP) languages for research and educational purposes. In order to identify the problems associated with the use of FP languages such as Erlang, an experiment consisting of two surveys was performed. The first survey was anonymous and aimed at establishing whether the participants prefer object-oriented or functional coding. The second one was a survey made after the students finished an Erlang course. The results of these two surveys demonstrate that functional programming is underrated with no apparent reasons. Possible steps to address this problem are suggested.
Źródło:: Computer Science; 2018, 19 (3); 333-343
1508-2806
2300-7036
Pojawia się w:: Computer Science
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 2.

Tytuł:: ChR: Dynamic Functional Constraints Checking in R
Autorzy:: Grzanek, K.
Powiązania:: https://bibliotekanauki.pl/articles/108643.pdf
Data publikacji:: 2017
Wydawca:: Społeczna Akademia Nauk w Łodzi
Tematy:: formal software verification
software quality
dynamic type-checking
functional programming
category theory
R
Opis:: Dynamic typing of R programming language may issue some quality problems in large scale data-science and machine-learning projects for which the language is used. Following our efforts on providing gradual typing library for Clojure we come with a package chR - a library that offers functionality of run-time type-related checks in R. The solution is not only a dynamic type checker, it also helps to systematize thinking about types in the language, at the same time offering high expressivenes and full adherence to functional programming style.
Źródło:: Journal of Applied Computer Science Methods; 2017, 9 No. 1; 65-78
1689-9636
Pojawia się w:: Journal of Applied Computer Science Methods
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 3.

Tytuł:: Łączą nas wspólne cele. Analiza zasad uspołecznienia procesów programowania strategicznego gmin i powiatów
We are united by common goals. Analyzing the rules of socialisation of strategic programming for communes and municipalities
Autorzy:: Frątczak-Müller, Joanna
Powiązania:: https://bibliotekanauki.pl/articles/423696.pdf
Data publikacji:: 2017
Wydawca:: Lubuskie Towarzystwo Naukowe
Tematy:: programowanie strategiczne
działania pozorne
niesprawność funkcjonalna
sfera publiczna
proces uspołecznienia
strategic programming
functional inefficiency
the public sphere
socialisation process
Opis:: The aim of the article is to analyse how efficient the functioning of self-governments is in the sphere of strategic programming. The authors pay particular attention to the rules used for the socialisation of this process and their consequences for social life practice. Strategic planning is essential for coordinating activities of institutions and persons around development goals provided in strategic documents. Planning depends on the strength of the innovation capability of the persons holding executive positions in local self-government units and on the competence of the teams cooperating with them. An interesting paradox results from giving divergent meanings to the programming documents for local self-government units by the legislator, organizers, and participants in the planning process, and by inhabitants of the areas influenced by these documents. The author presents manifestations of this situation and analyses its causes. She also describes its potential consequences from the perspective of the adequacy of undertaken activities for local development effective programming and efficiency in the public sphere.
Celem artykułu jest analiza sprawnościowego aspektu funkcjonowania samorządów w sferze planowania strategicznego. Szczególnym zainteresowaniem zostały objęte stosowane reguły uspołecznienia tego procesu i ich konsekwencje dla praktyki życia społecznego. Planowanie strategiczne stanowi istotny element koordynacji działań instytucji i osób wokół celów rozwojowych przyjętych w dokumentach strategicznych. Zależy od siły potencjału innowacyjnego osób sprawujących funkcje kierownicze w organizacjach samorządu oraz od kompetencji współpracujących z nimi zespołów. Występuje tu interesujący paradoks, będący skutkiem nadawania rozbieżnych znaczeń dokumentom programowym jednostek samorządu terytorialnego przez jego podstawowych aktorów, tj. ustawodawcę, organizatorów procesu planowania i ich uczestników oraz mieszkańców terenów obejmowanych ich oddziaływaniem. Autorka przedstawia w artykule przejawy i analizuje przyczyny tej sytuacji. Opisuje także jej potencjalne konsekwencje z punktu widzenia adekwatności podejmowanych działań dla programowania efektywnego rozwoju lokalnego, a poprzez to sprawności sfery publicznej.
Źródło:: Rocznik Lubuski; 2017, 43, 2; 49-63
0485-3083
Pojawia się w:: Rocznik Lubuski
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 4.

Tytuł:: Możliwości zastosowania narzędzi do wspomagania oceny cyklu życia systemów wielofunkcyjnych
Possibilities of using tools supporting the life cycle assessment of multi-functional systems
Autorzy:: Fugiel, A.
Śliwińska, A.
Burchart-Korol, D.
Powiązania:: https://bibliotekanauki.pl/articles/325768.pdf
Data publikacji:: 2017
Wydawca:: Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
Tematy:: ocena cyklu życia
system wielofunkcyjny
alokacja
poszerzenie systemu
model równowagi rynkowej
programowanie liniowe
life cycle assessment (LCA)
multi-functional system
allocation
system expansion
market equilibrium model
linear programming
Opis:: Środowiskowa ocena cyklu życia (LCA – life cycle assessment) służy do analiz obciążeń środowiskowych w cyklu życia technologii i produktów. W przypadku systemów, które pełnią kilka funkcji, tzw. systemów wielofunkcyjnych, np. takich, w których wytwarzanych jest kilka produktów lub przetwarza się kilka rodzajów odpadów, należy podjąć działania pozwalające na rozdzielenie obciążeń środowiskowych na poszczególne produkty. W tym celu może pomóc zastosowanie różnych narzędzi, w tym programowania liniowego oraz modeli równowagi rynkowej i innych narzędzi ekonomicznych. W pracy przedstawiono przegląd wybranych narzędzi, które są pomocne w ocenie cyklu życia systemów wielofunkcyjnych.
The environmental life cycle assessment (LCA) is used for the analysis of environmental burden in the life cycle of technologies and products. For systems that supply several functions, so-called "multi-functional systems", eg. in which several products are produced or several kinds of waste are processed, shares of the environmental burden should be apportioned to the individual products. Using of various tools, including linear programming, market equilibrium models and other economic tools can be helpful in solving this problem. The paper presents an overview of the selected tools that can support the life cycle assessment of multi-functional systems.
Źródło:: Zeszyty Naukowe. Organizacja i Zarządzanie / Politechnika Śląska; 2017, 100; 133-143
1641-3466
Pojawia się w:: Zeszyty Naukowe. Organizacja i Zarządzanie / Politechnika Śląska
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 5.

Tytuł:: Działania pozorne w programowaniu strategicznym jednostek samorządu terytorialnego
Apparent activities in the strategic programming of local government units
Autorzy:: Frątczak-Mueller, Joanna
Powiązania:: https://bibliotekanauki.pl/articles/561421.pdf
Data publikacji:: 2016-12-31
Wydawca:: Collegium Civitas
Tematy:: programowanie strategiczne
działania pozorne
niesprawność funkcjonalna
sfera publiczna
strategic programming
apparent actions
functional incapacity
public sphere
Opis:: Przedmiotem analiz jest sprawnościowy aspekt funkcjonowania samorządów w sferze planowania strategicznego. Autorka artykułu, wykorzystując dane z analizy przeprowadzonej w roku 2015 na próbie 158 dokumentów strategicznych, poszukuje odpowiedzi na pytanie dotyczące przyczyn i przejawów podejmowania błędnych decyzji strategicznych w programowaniu rozwoju gmin i powiatów. Odwołując się do koncepcji działań pozornych wskazuje fikcyjność podejmowanych przedsięwzięć. Określa ich zakres, mechanizmy powstawania oraz przybliżone konsekwencje.
The subject of analyses is the functional aspect of the local governments’ practice in the sphere of strategic planning. The author of the article, exploring the data from the analysis carried out in 2015 on a sample of 158 strategic documents, is looking for answers to the question of the causes and occurrences of making wrong strategic decisions in programming the development of municipalities and counties. Referring to the concept of apparent actions she identifies the fictitious character of the undertaken actions. The author defines the scope, formation mechanisms and the estimated consequences of the actions.
Źródło:: Zoon Politikon; 2016, 7; 257-278
2543-408X
Pojawia się w:: Zoon Politikon
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 6.

Tytuł:: Low-Cost Dynamic Constraint Checking for the JVM
Autorzy:: Grzanek, K.
Powiązania:: https://bibliotekanauki.pl/articles/108744.pdf
Data publikacji:: 2016
Wydawca:: Społeczna Akademia Nauk w Łodzi
Tematy:: formal software verification
software quality
dynamic type-checking
functional programming
category theory
Clojure
Opis:: Using formal methods for software verification slowly becomes a standard in the industry. Overall it is a good idea to integrate as many checks as possible with the programming language. This is a major cause of the apparent success of strong typing in software, either performed on the compile time or dynamically, on runtime. Unfortunately, only some of the properties of software may be expressed in the type system of event the most sophisticated programming languages. Many of them must be performed dynamically. This paper presents a flexible library for the dynamically typed, functional programming language running in the JVM environment. This library offers its users a close to zero run-time overhead and strong mathematical background in category theory.
Źródło:: Journal of Applied Computer Science Methods; 2016, 8 No. 2; 115-136
1689-9636
Pojawia się w:: Journal of Applied Computer Science Methods
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 7.

Tytuł:: Monadic Printing Revisited
Autorzy:: Grzanek, K.
Powiązania:: https://bibliotekanauki.pl/articles/108664.pdf
Data publikacji:: 2016
Wydawca:: Społeczna Akademia Nauk w Łodzi
Tematy:: functional programming
monads
Haskell
polymorphism
Opis:: Expressive and clear implementation of monadic printing requires an amount of work to define and design proper abstractions to rely upon when performing the actual programming works. Our previous realization of tree printing library left us with a sense of lack with respect to these considerations. This is why we decided to re-design and re-implement the library with core algorithms based upon new, effective and expressive text printing and concatenation routines. This paper presents the results of our work.
Źródło:: Journal of Applied Computer Science Methods; 2016, 8 No. 1; 66-79
1689-9636
Pojawia się w:: Journal of Applied Computer Science Methods
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 8.

Tytuł:: Parallel patterns for agent-based evolutionary computing
Autorzy:: Stypka, J.
Anielski, P.
Mentel, S.
Krzywicki, D.
Turek, W.
Byrski, A.
Kisiel-Dorohinicki, M.
Powiązania:: https://bibliotekanauki.pl/articles/305684.pdf
Data publikacji:: 2016
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: agent-based computing
functional programming
parallel pattern
Opis:: Computing applications such as metaheuristics-based optimization can greatly benefit from multi-core architectures available on modern supercomputers. In this paper, we describe an easy and efficient way to implement certain population-based algorithms (in the discussed case, multi-agent computing system) on such runtime environments. Our solution is based on an Erlang software library which implements dedicated parallel patterns. We provide technological details on our approach and discuss experimental results.
Źródło:: Computer Science; 2016, 17 (1); 83-98
1508-2806
2300-7036
Pojawia się w:: Computer Science
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 9.

Tytuł:: NEUROPLASTYCZNOŚĆ MÓZGU WSPARCIEM ROZWOJOWYM DZIECKA WE WCZESNYM DZIECIŃSTWIE
BRAIN NEUROPLASTICITY AS A SUPPORT FOR THE DEVELOPMENT OF CHILDREN IN EARLY CHILDHOOD
Autorzy:: Skibska, Joanna
Powiązania:: https://bibliotekanauki.pl/articles/479939.pdf
Data publikacji:: 2015
Wydawca:: Wyższa Szkoła Humanitas
Tematy:: budowa neuronu,
neuroplastyczność mózgu,
rodzaje plastyczności,
mielinizacja,
połączenia nerwowe,
aktywność funkcjonalna mózgu,
genetyczne programowanie
połączeń nerwowych,
wsparcie rozwojowe dziecka
neuron construction,
brain neuroplasticity,
types of plasticity,
myelination,
nerve connections,
functional activity of the brain,
genetic programming of neural connections,
developmental support of a child
Opis:: Tekst stanowi przegląd badań nad plastycznością mózgu, prowadzonych w ubiegłym wieku oraz współcześnie, które dla tej problematyki okazały się przełomowe i pozwoliły na tworzenie teorii, które w obecnym kształcie umożliwiły kontynuację empirycznych poszukiwań odpowiedzi na pytania: jak działa nasz mózg oraz jakie są jego możliwości. Tekst omawia mikroanatomię mózgu, charakteryzuje proces mielinizacji oraz tworzenia nowych połączeń nerwowych istotnych dla naszego rozwoju poznawczego. Określa rolę i znaczenie doświadczenia życiowego oraz uczenia się dla tworzenia nowych połączeń nerwowych, a także zmian i przeobrażeń zachodzących w naszym mózgu. Przedstawia rodzaje plastyczności oraz jej podział z uwzględnieniem okresów rozwojowych. Omawia znaczenie plastyczności mózgu w rozwoju dziecka jako szczególnej formy wsparcia, nie tylko w sytuacjach uszkodzenia mózgu.
This paper is a review of research on brain plasticity introduced in the last century and conducted until today, which turned out to be a breakthrough for the discussed issue and led to the creation of the theory, which in its present form enabled the continuation of empirical research on answers to the following questions: how our brain works and what its capabilities are. The text discusses micro-anatomy of a human brain and characterizes the process of myelination and creating new neural connections essential for our cognitive development. Furthermore, the study defines the role and significance of life experience and learning in creating new neural connections and the changes and transformations taking place in our brain. It also shows the types of plasticity and its division, taking into account periods of development and discusses the importance of brain plasticity in the development of a child as a form of support, not only in situations of brain damage.
Źródło:: Zeszyty Naukowe Wyższej Szkoły Humanitas. Pedagogika; 2015, 10; 79-92
1896-4591
Pojawia się w:: Zeszyty Naukowe Wyższej Szkoły Humanitas. Pedagogika
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 10.

Tytuł:: Monadic Tree Print
Autorzy:: Grzanek, K.
Powiązania:: https://bibliotekanauki.pl/articles/972906.pdf
Data publikacji:: 2014
Wydawca:: Społeczna Akademia Nauk w Łodzi
Tematy:: functional programming
monads
Haskell
Opis:: Directed acyclic graphs and trees in particular belong to the most extensively used data structures. Visualizing them properly is a key to a success when developing complex algorithms that make use of them. Textual visualizations a la UNIX tree command is essential when the urge is to deal with large trees. Our aim was to design a library that would exploit this approach and to make an implementation of it for a purely functional programming language. The library uses monads to print directly into an output stream or to generate immutable Strings. This paper gives a detailed overview of the solution.
Źródło:: Journal of Applied Computer Science Methods; 2014, 6 No. 2; 147-157
1689-9636
Pojawia się w:: Journal of Applied Computer Science Methods
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 11.

Tytuł:: Persistent Collections with Customizable Equivalence and Identity Semantics
Autorzy:: Grzanek, K.
Powiązania:: https://bibliotekanauki.pl/articles/972904.pdf
Data publikacji:: 2014
Wydawca:: Społeczna Akademia Nauk w Łodzi
Tematy:: Equivalence testing
semantics
identity
functional programming
Clojure
persistent collections
Opis:: Providing a comprehensive set of mechanisms solving the problem of controlling equivalence and identity requires implementing the functionality for non-sequential containers instrumented with the enriched semantics. Functional programming languages, like Clojure, typically miss the functionality by default. The article presents the design considerations, concepts and implementation details of generalized sets and maps aware of the customizable equivalence and identity together with some usage examples.
Źródło:: Journal of Applied Computer Science Methods; 2014, 6 No. 1; 27-42
1689-9636
Pojawia się w:: Journal of Applied Computer Science Methods
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 12.

Tytuł:: Persistent Sequences with Effective Random Access and Support for Infinity
Autorzy:: Grzanek, K.
Powiązania:: https://bibliotekanauki.pl/articles/972898.pdf
Data publikacji:: 2014
Wydawca:: Społeczna Akademia Nauk w Łodzi
Tematy:: functional programming
Clojure
persistent collections
infinity
random access
Opis:: Persistent sequences are the core data structure in functional programming style. Their typical implementations usually allow creating infinite streams of objects. Unfortunately, asking for length of an infinite data structure never ends or ends with a run-time error. Similarly, there is no default way to make an effective, O[1] or logarithmic access to an arbitrarily chosen sequence element, even when the nature of the correlation between index value and the sequence element is known. This paper presents a Clojure library that meets these limitations and offers an enhanced version of sequences with a support for effective random access and the ability to ask for an infinite length.
Źródło:: Journal of Applied Computer Science Methods; 2014, 6 No. 1; 67-80
1689-9636
Pojawia się w:: Journal of Applied Computer Science Methods
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 13.

Tytuł:: Automated Procedure Behavior Tracing in Functional Programming Style
Autorzy:: Grzanek, K.
Powiązania:: https://bibliotekanauki.pl/articles/972858.pdf
Data publikacji:: 2013
Wydawca:: Społeczna Akademia Nauk w Łodzi
Tematy:: Automated software testing
functional programming
Clojure
Opis:: Modern software testing demands high degree of automation especially in test data generation domain. Comparing procedure call behaviors with diverse, automatically generated data, exhibiting various levels of correctness, allows programmers, test engineers and quality managers to track the impact of software changes over time on the designed and implemented system. There are no well known frameworks offering such functionality for functional programming languages. The paper presents a sketch of such framework for Clojure and allows readers to get a detailed insight into some implementation details of the solution.
Źródło:: Journal of Applied Computer Science Methods; 2013, 5 No. 2; 165-180
1689-9636
Pojawia się w:: Journal of Applied Computer Science Methods
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 14.

Tytuł:: Equivalence in Java and Clojure, Design and Implementation Considerations
Autorzy:: Grzanek, K.
Powiązania:: https://bibliotekanauki.pl/articles/972869.pdf
Data publikacji:: 2013
Wydawca:: Społeczna Akademia Nauk w Łodzi
Tematy:: Equivalence testing
semantics
identity
functional programming
Clojure
Opis:: Immutability and the functional programming style demand an extensible and generic approach in the domain of semantic and structural equivalence testing. The lack of a library or a framework offering such functionality for Clojure programming language led to some design and implementation efforts that this article undertakes to describe. Incidentally it tries to gather and present a collection of most severe mistakes that may be made by a programmer that attempts to test objects of various kinds for their equivalence, both in Clojure and the underlying Java run-time with it's standard library, showing simple yet usable ways to avoid them.
Źródło:: Journal of Applied Computer Science Methods; 2013, 5 No. 2; 137-154
1689-9636
Pojawia się w:: Journal of Applied Computer Science Methods
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 15.

Tytuł:: Store Revisited
Autorzy:: Grzanek, K.
Powiązania:: https://bibliotekanauki.pl/articles/972912.pdf
Data publikacji:: 2013
Wydawca:: Społeczna Akademia Nauk w Łodzi
Tematy:: databases
transactions
functional programming
Clojure
software architecture
Opis:: Building abstraction layers is the key do the creation of reliable, scalable and maintainable software. Large number of database models and implementations together with the requirements coming from agile and TDD methodologies make it even more tangible. The paper is an attempt to present features and abstraction layers of a transactional key → value persistent storage library in which the physical storage is fully transparent for a programmer and exchangeable on the run-time.
Źródło:: Journal of Applied Computer Science Methods; 2013, 5 No. 1; 69-83
1689-9636
Pojawia się w:: Journal of Applied Computer Science Methods
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Informacja

Wyszukujesz frazę "functional programming" wg kryterium: Temat

Źródło danych

Dostawca treści

Kolekcja

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język