Temat: functional programming - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: Dual dynamic approach to shape optimization
Autorzy:: Fulmański, P.
Nowakowski, A.
Powiązania:: https://bibliotekanauki.pl/articles/969944.pdf
Data publikacji:: 2006
Wydawca:: Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:: control
deformation
dual dynamic programming
shape functional
Opis:: We consider the control problem with multidimensional integral functional where state and control satisfy a system of the first order hyperbolic PDE. Next, a type of deformation with control of the domain is described and then we define suitable shape functional. Having defined trajectory and control of deformation the dual dynamic programming tools are applied to derive optimality condition for the shape functional with respect to such a deformation.
Źródło:: Control and Cybernetics; 2006, 35, 2; 205-218
0324-8569
Pojawia się w:: Control and Cybernetics
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 2.

Tytuł:: Dekompozycja funkcji logicznych metodą rozwojowego programowania genetycznego
Functional decomposition of logical functions using developmental genetic programming
Autorzy:: Deniziak, S.
Wieczorek, K.
Powiązania:: https://bibliotekanauki.pl/articles/153352.pdf
Data publikacji:: 2010
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: dekompozycja funkcji logicznych
rozwojowe programowanie genetyczne
układy FPGA
functional decomposition
developmental genetic programming
FPGA devices
Opis:: Praca przedstawia metodę wyszukiwania strategii dekompozycji funkcji logicznych za pomocą rozwojowego programowania genetycznego. Strategia dekompozycji jest reprezentowana w formie drzewa decyzyjnego, w którym węzły określają jeden krok dekompozycji. Drzewo podlega ewolucji, której celem jest uzyskanie jak najlepszego rozwiązania. Otrzymane wyniki wykonanych eksperymentów wskazują na wysoką skuteczność przedstawionej metody w porównaniu z dotychczas stosowanym podejściem deterministycznym.
Functional decomposition splits logical function into two simpler functions. For complex functions the decomposition should be repeated iteratively for the result functions. It was observed that types of decomposition applied during each step have strong influence on the final result. Thus, a proper decomposition strategy should be used to find optimal FPGA implementation for a given function. This paper presents the method for searching the decomposition strategy for logical functions specified by cubes. The strategy is represented using the decision diagram, in which each node corresponds to a single decomposition step. In this way the multistage decomposition of a complex logical function can be specified. The diagram is evolved using the developmental genetic programming. In opposite to classical genetic methods, in our approach the methods producing solutions, instead of the solutions, are evolved. The goal of the evolution is to find the decomposition strategy for which the cost of FPGA implementation of a given function is minimal. The experimental results show that our approach gives significantly better solutions than other known methods.
Źródło:: Pomiary Automatyka Kontrola; 2010, R. 56, nr 12, 12; 1430-1432
0032-4140
Pojawia się w:: Pomiary Automatyka Kontrola
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 3.

Tytuł:: Graphical User Interface for Protrace Library
Autorzy:: Grzanek, K.
Powiązania:: https://bibliotekanauki.pl/articles/108776.pdf
Data publikacji:: 2010
Wydawca:: Społeczna Akademia Nauk w Łodzi
Tematy:: Protrace
Clojure
Prefuse
functional programming
Computational Process
visualization
Opis:: Protrace library allows Clojure programmers to investigate an arbitrary computational process at the abstract syntax tree (AST) level. Abandoning pure textual representations and moving towards graphs and trees increased the readability and made the insight into processes easier. It gains special importance when tracing recursive and mutually dependent procedures execution. Prefuse visualization framework provided great features to prepare convenient views of extended ASTs. The paper presents recent Protrace improvements in this matter.
Źródło:: Journal of Applied Computer Science Methods; 2010, 2 No. 2; 127-134
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: 4.

Tytuł:: Store: Embedded Persistent Storage for Clojure Programming Language
Autorzy:: Grzanek, K.
Powiązania:: https://bibliotekanauki.pl/articles/108715.pdf
Data publikacji:: 2010
Wydawca:: Społeczna Akademia Nauk w Łodzi
Tematy:: functional programming
Lisp
Clojure
embedded database
Opis:: Functional programming is the most popular declarative style of programming. Its lack of state leads to an increase of programmers' productivity and software robustness. Clojure is a very effective Lisp dialect, but it misses a solid embedded database implementation. A store is a proposed embedded database engine for Clojure that helps to deal with the problem of the inevitable state by mostly functional, minimalistic interface, abandoning SQL and tight integration with Clojure as a sole query and data-processing language.
Źródło:: Journal of Applied Computer Science Methods; 2010, 2 No. 1; 83-95
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: 5.

Tytuł:: Active object design pattern
Autorzy:: Górski, Łukasz
Powiązania:: https://bibliotekanauki.pl/articles/41204245.pdf
Data publikacji:: 2011
Wydawca:: Uniwersytet Kazimierza Wielkiego w Bydgoszczy
Tematy:: concurrent programming
functional programming
active object
ProActive
confluence
Opis:: Parallelization of software plays nowadays a major role in software efficiency increase. The paper aims to present an active object design pattern and to point out its usefulness in parallel programs design. The ProActive system is also roughly presented, together with the implementation of discussed design pattern.
Źródło:: Studia i Materiały Informatyki Stosowanej; 2011, 5; 21-24
1689-6300
Pojawia się w:: Studia i Materiały Informatyki Stosowanej
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 6.

Tytuł:: Repo: High-Level Persistence Layer for Clojure
Autorzy:: Grzanek, K.
Powiązania:: https://bibliotekanauki.pl/articles/972908.pdf
Data publikacji:: 2011
Wydawca:: Społeczna Akademia Nauk w Łodzi
Tematy:: functional programming
Lisp
Clojure
database
Opis:: One of our previous works was dedicated to creating an effective no-SQL database solution for Clojure. The solution called Store still missed a high-level data definition language, the concept of objects, complex types and other programmers' productivity increasing features of a production-quality database product. The paper presents a new DSL embedded in Clojure that addresses all those expectations and works seamlessly with the site functional language.
Źródło:: Journal of Applied Computer Science Methods; 2011, 3 No. 2; 5-16
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ł:: Prerequisites for Effective Requirements Management
Autorzy:: Grzanek, K.
Powiązania:: https://bibliotekanauki.pl/articles/972917.pdf
Data publikacji:: 2012
Wydawca:: Społeczna Akademia Nauk w Łodzi
Tematy:: requirements engineering
requirements abstraction
functional programming
Opis:: Despite an undeniable progress in the whole software creation process, software development is still more art than science. The requirements analysis is a highly critical step in the software life-cycle. Requirement managements errors are the most common errors in the software projects. The proper and effective requirements management saves the overall project costs. The key motivation behind this work was opening a way of finding approaches to managing the requirements appearing in such large software projects as compilers for various programming languages. This paper is an introduction to a full presentation of requirements management solution in which the requirements and implementation information is placed directly in the source code. We concentrate on describing a context in which the requirements management process takes place, trying to present the most interesting existing solutions, indicating the problems and opening a discussion on what ways to follow in the future scientific research.
Źródło:: Journal of Applied Computer Science Methods; 2012, 4 No. 1; 21-28
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ł:: 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: 9.

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: 10.

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

Skocz do pozycji: 11.

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: 12.

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: 13.

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: 14.

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: 15.

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

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