Temat: programming systems

Skocz do pozycji: 1.

Tytuł:: Programowanie rozwoju w standardach Unii Europejskiej
Development Programming within the European Union’s Standards
Autorzy:: Bartoszewicz Artur
Data publikacji:: 2013-06-01
Tematy:: programowanie
NUTS
systemy programowania
polityka strukturalna
polityka spójności
programming
programming systems
structural policy
cohesion policy; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Programowanie rozwoju w standardach Unii Europejskiej
Development Programming within the European Union’s Standards
Autorzy:: Bartoszewicz, Artur
Data publikacji:: 2013-06-01
Wydawca:: Szkoła Główna Handlowa w Warszawie
Tematy:: programowanie
NUTS
systemy programowania
polityka strukturalna
polityka spójności
programming
programming systems
structural policy
cohesion policy; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Synthesis of an electronic control module for a selected technological node with a focus on its automation
Autorzy:: Szcześniak, Zbigniew
Data publikacji:: 2024
Wydawca:: Polska Akademia Nauk. Czasopisma i Monografie PAN
Tematy:: analysis of technological processes
system graph
algorithmic method
programming sequential systems; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Synthesis of an electronic control module for a selected technological node with a focus on its automation
Autorzy:: Szcześniak, Zbigniew
Data publikacji:: 2024
Słowa kluczowe:: analysis of technological processes
system graph
algorithmic method
programming sequential systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Algorytmiczna metoda w programowaniu układów sterowania
Autorzy:: Szcześniak, J.
Szcześniak, Z.
Data publikacji:: 2013
Słowa kluczowe:: analiza procesu technologicznego
graf układu
programowanie sekwencyjnych układów
analysis of technological processes
system graph
programming sequential systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Programowanie systemów sygnalizacji włamania i napadu
Autorzy:: Rosiński, A.
Data publikacji:: 2009
Słowa kluczowe:: systemy bezpieczeństwa
systemy sygnalizacji włamania i napadu
programowanie
security systems
programming of intrusion and hold-up systems
programming; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Quantification in Programming Languages.
Kwantyfikacja w Językach Programowania
Autorzy:: Gaiński, Piotr
Słowa kluczowe:: teoria typów, rachunek lambda, sprawdzanie typu, kwantyfikacja, języki programowania, systemy typów
type theory, lambda calculus, type-checking, quantification, programming languages, type systems; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: From EBNF to PEG
Autorzy:: Redziejowski, R. R.
Data publikacji:: 2013
Słowa kluczowe:: language
linear systems
programming languages
computer systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: An Abstract Interpretation Framework for Type and Effect Systems
Autorzy:: Galletta, L.
Data publikacji:: 2014
Słowa kluczowe:: semantics
programming languages
software frameworks
computer programming
systems theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Rescaled multilevel least-change almost secant methods
Autorzy:: Grzegorski, S. M.
Data publikacji:: 1991
Wydawca:: Polskie Towarzystwo Matematyczne
Tematy:: Systems of equations
Nonlinear programming; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Variables diversity in systems identification based on extended genetic programming
Autorzy:: Winkler, S.
Affenzeller, M.
Wagner, S.
Data publikacji:: 2008
Słowa kluczowe:: systems identification
genetic programming
genetic diversity; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: A simple and cost-effective method to construct reliable real-time programs
Autorzy:: Elzer, P. F.
Gollub, M.
Trenkel, S.
Data publikacji:: 2010
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: real-time systems
real-time programming
structured programming
reliability
graphical representation; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: A simple and cost-effective method to construct reliable real-time programs
Autorzy:: Elzer, P. F.
Gollub, M.
Trenkel, S.
Data publikacji:: 2010
Słowa kluczowe:: real-time systems
real-time programming
structured programming
reliability
graphical representation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Parametric minimization of influence of stochastic didtribution in linear systems
Autorzy:: Banek, T.
Data publikacji:: 1998
Słowa kluczowe:: linear systems
minimisation
nonlinear programming
optimal control
stability
stochastic systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Interaction Independent Quantum Probing
Autorzy:: Sarbicki, G.
Tukiainen, M.
Lyyra, H.
Maniscalco, S.
Data publikacji:: 2017-07
Wydawca:: Polska Akademia Nauk. Instytut Fizyki PAN
Tematy:: quantum entropies
quantum programming
open quantum systems; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Implementation and Analysis of Elliptic Curves-Based Cryptographic Algorithms in the Integrated Programming Environment
Autorzy:: Lukaszewski, R.
Sobieszek, M.
Bilski, P.
Data publikacji:: 2011
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: cryptography
distributed measurement systems
integrated programming environments; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Implementation and Analysis of Elliptic Curves-Based Cryptographic Algorithms in the Integrated Programming Environment
Autorzy:: Lukaszewski, R.
Sobieszek, M.
Bilski, P.
Data publikacji:: 2011
Słowa kluczowe:: cryptography
distributed measurement systems
integrated programming environments; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Trying to Understand PEG
Autorzy:: Redziejowski, R. R.
Data publikacji:: 2018
Słowa kluczowe:: parsing
backtrack programming
syntax
computer algorithms
scanning systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: Assignment of unexpected tasks in embedded system design process using genetic programming
Autorzy:: Górski, Adam
Ogorzałek, Maciej
Data publikacji:: 2024
Wydawca:: Springer
Słowa kluczowe:: developmental genetic programming
optimization
unexpected tasks
embedded systems; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: Adaptive Virtual Organisms : A Compositional Model for Complex Hardware-software Binding
Autorzy:: Paduraru, Ciprian Ionut
Stefanescu, Gheorghe
Data publikacji:: 2020
Słowa kluczowe:: 2D regular expressions
agapia programming
distributed programming languages
hardware-software binding
heterogeneous systems
hybrid systems
self-organizing autonomic computing; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 21.

Tytuł:: Graphics editors in CPDev environment
Autorzy:: Jamro, M.
Data publikacji:: 2012
Słowa kluczowe:: IEC 61131-3
graphical languages
visual programming
control systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 22.

Tytuł:: Scaling evolutionary programming with the use of apache spark
Autorzy:: Funika, W.
Koperek, P.
Data publikacji:: 2016
Słowa kluczowe:: distributed systems
evolutionary programming
symbolic regression
scaling
Apache Spark; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 23.

Tytuł:: Programowanie w języku ST sterownika SMC LUMEL dla minisystemu rozproszonego
Autorzy:: Rzońca, D.
Sadolewski, J.
Stec, A.
Świder, Z.
Trybus, B.
Trybus, L.
Data publikacji:: 2009
Słowa kluczowe:: programowanie
systemy kontrolno-pomiarowe
programming
control and measurement systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:: Rule - based constraint programming
Autorzy:: Kirchner, C.
Ringeissen, C.
Data publikacji:: 1998
Słowa kluczowe:: constraint programming
constraint solving
unification
rewriting logic
computational systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 25.

Tytuł:: An optimum scheduling method for multi-option product flows through production lineswithout intermediate buffers
Autorzy:: Magiera, Marek
Data publikacji:: 2020
Słowa kluczowe:: Flexible Manufacturing Systems
integer programming
linear programming
no-wait scheduling
hybrid flow shop
makespan
decision making; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 26.

Tytuł:: Obserwatory stanu i programowanie genetyczne w identyfikacji i diagnostyce systemów przemysłowych
Observers and genetic programming in identification and fault diagnosis of industrial systems
Autorzy:: Korbicz, J.
Witczak, M.
Obuchowicz, A.
Data publikacji:: 2003
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: obserwatory stanu
programowanie genetyczne
identyfikacja systemów
systemy przemysłowe
diagnostyka systemów przemysłowych
observers programming
genetic programming
identification of industrial systems
fault diagnosis of industrial systems; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 27.

Tytuł:: Adaptive GP-based algorithm for hardware/software co-design of distributed embedded systems
Autorzy:: Górski, Adam
Ogorzałek, Maciej
Data publikacji:: 2014
Wydawca:: SciTePress
Słowa kluczowe:: hardware/software co-design
genetic algorithm
adaptive systems
architecture
genetic programming
embedded systems; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 28.

Tytuł:: Scaling evolutionary programming with the use of apache spark
Autorzy:: Funika, W.
Koperek, P.
Data publikacji:: 2016
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: distributed systems
evolutionary programming
symbolic regression
scaling
Apache Spark; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 29.

Tytuł:: More About Converting BNF to PEG
Autorzy:: Redziejowski, R. R.
Data publikacji:: 2014
Słowa kluczowe:: parsing
coding theory
computer systems
computer software
programming languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 30.

Tytuł:: Fast Designing Ladder Diagram of Programmable Logic Controller for a Technological Process
Autorzy:: Szcześniak, Adam
Szcześniak, Zbigniew
Data publikacji:: 2022
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: synthesis and verification of sequential systems
ladder diagram
PLC programming; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 31.

Tytuł:: Optimal control problem for Roesser systems
Autorzy:: Biły, Barbara
Data publikacji:: 1990
Wydawca:: Polskie Towarzystwo Matematyczne
Tematy:: Methods of nonlinear programming type
Computational methods
Discrete-time systems; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 32.

Tytuł:: Linear programming models for optimal workload and batching in pick-and-pass warehousing systems
Autorzy:: TARCZYŃSKI Grzegorz
Tematy:: linear programming
order-picking
optimal storage
pick-and-pass systems; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 33.

Tytuł:: A Hierarchy of Languages with Catenation and Shuffle
Autorzy:: Kudlek, M.
Flick, N. E.
Data publikacji:: 2013
Słowa kluczowe:: hierarchy
programming languages
iterative methods
fixed point theory
computer systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 34.

Tytuł:: An optimum scheduling method for multi-option product flows through production lineswithout intermediate buffers
Autorzy:: Magiera, Marek
Data publikacji:: 2020
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: Flexible Manufacturing Systems
integer programming
linear programming
no-wait scheduling
hybrid flow shop
makespan
decision making; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 35.

Tytuł:: Obserwatory stanu i programowanie genetyczne w identyfikacji i diagnostyce systemów przemysłowych
Autorzy:: Korbicz, J.
Witczak, M.
Obuchowicz, A.
Data publikacji:: 2003
Słowa kluczowe:: obserwatory stanu
programowanie genetyczne
identyfikacja systemów
systemy przemysłowe
diagnostyka systemów przemysłowych
observers programming
genetic programming
identification of industrial systems
fault diagnosis of industrial systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 36.

Tytuł:: Zastosowanie nowoczesnych narzędzi informatycznych w obliczeniach symulacyjnych układów elektromechanicznych
Autorzy:: Macek-Kamińska, K.
Kamiński, M.
Data publikacji:: 2009
Słowa kluczowe:: badania symulacyjne
układy elektromechaniczne
programowanie
języki programowania
techniki informatyczne
simulation test
electromechanical systems
programming
programming languages
information technology; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 37.

Tytuł:: Programowanie obiektowe w modelowaniu układów napędowych w energetyce
Autorzy:: Kamiński, M.
Data publikacji:: 2011
Słowa kluczowe:: badania symulacyjne
układy elektromechaniczne
programowanie
języki programowania
techniki informatyczne
simulation test
electromechanical systems
programming
programming languages
information technology; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 38.

Tytuł:: Design of intelligent decision support systems using ontological approach
Autorzy:: Lytvyn, V.
Data publikacji:: 2013
Wydawca:: Polska Akademia Nauk. Oddział w Lublinie PAN
Tematy:: intelligent decision support systems
adaptive ontology
intelligent agents
precedents
dynamic programming; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 39.

Tytuł:: Parallel Dynamic Programming Algorithms : Multitransputer Systems
Autorzy:: Sadecki, J.
Data publikacji:: 2002
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: automatyka
dynamic programming
parallel computations
transputers
multitransputer systems
parallel optimization algorithms; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 40.

Tytuł:: TECHNOLOGICKÝ PARADOX A HODNOTENIE PRÍNOSOV INFORMATIZÁCIE
Technological paradox and evaluation of the benefits of informatization
Autorzy:: Szudzina František
Kmec Peter
Tematy:: FACTOR ANALYSIS
INFORMATION SYSTEMS
LOGIC PROGRAMMING
NFORMATION TECHNOLOGY
PERFORMANCE
REGRESSION
ECONOMICS; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 41.

Tytuł:: Polski kompilator oraz sterowniki programowane za pomocą języka IL normy IEC 61131-3
Autorzy:: Sadolewski, J.
Szmyd, E.
Data publikacji:: 2009
Słowa kluczowe:: systemy kontrolno-pomiarowe
języki programowania
control and measurement systems
programming languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 42.

Tytuł:: A new iterative method for solution of the dual problem of geometric programming
Autorzy:: Yatsko, A.
Sudakov, R.
Data publikacji:: 2007
Słowa kluczowe:: programowanie geometryczne
układy nieliniowe
iteracja
geometric programming
nonlinear systems
iteration; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 43.

Tytuł:: Fast Designing Ladder Diagram of Programmable Logic Controller for a Technological Process
Autorzy:: Szcześniak, Adam
Szcześniak, Zbigniew
Data publikacji:: 2022
Słowa kluczowe:: synthesis and verification of sequential systems
ladder diagram
PLC programming; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 44.

Tytuł:: A safe programmable electronic system
Autorzy:: Halang, W.
Śnieżek, M.
Data publikacji:: 2010
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: programmable electronic systems
safety
fail-safe comparison
function block programming
software verification; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 45.

Tytuł:: Metoda układów wieloczłonowych w systemach CAD
Autorzy:: Czyżewski, T.
Data publikacji:: 2011
Słowa kluczowe:: API
C++
programowanie
system CAD
układy wieloczłonowe
CAD system
multibody systems
programming; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 46.

Tytuł:: Zasady i narzędzia stosowane w procesie tworzenia systemów ekspertowych dedykowanych dla zarządzania
Autorzy:: Filipkowski, P.
Data publikacji:: 2003
Słowa kluczowe:: system ekspertowy
zarządzanie
język programowania
expert systems
management
tools for programming SE; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 47.

Tytuł:: Wyrażanie kontekstu w przestrzeniach informacji
Autorzy:: Bartoszek, J.
Brzykcy, G.
Data publikacji:: 2005
Słowa kluczowe:: przestrzeń informacyjna
systemy informatyczne
programowanie deklaratywne
information space
IT systems
declarative programming; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 48.

Tytuł:: Analyzing Compatibility of Services via Resource Conformance
Autorzy:: Lomazova, I. A.
Romanov, I. V.
Data publikacji:: 2013
Słowa kluczowe:: software compatibility
conformance testing
workflow software
Petri nets
computer systems
programming languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 49.

Tytuł:: On the π-calculus and Co-intuitionistic Logic : Notes on Logic for Concurrency and λP Systems
Autorzy:: Bellin, G.
Menti, A.
Data publikacji:: 2014
Słowa kluczowe:: calculus
intuitionistic mathematics
encoding
linear systems
mathematical proofs
distributed computing
programming languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 50.

Tytuł:: A Two-Step Approach for Optimal Control of Kinetic Batch Reactor with electroneutrality condition
Autorzy:: Drąg, P.
Styczeń, K.
Data publikacji:: 2012
Słowa kluczowe:: sterowanie optymalne
sekwencyjne programowanie kwadratowe
optimal control
sequential quadratic programming
DAE systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 51.

Tytuł:: Adaptive test selection for factorization-based surrogate fitness in genetic programming
Autorzy:: Krawiec, K.
Liskowski, P.
Data publikacji:: 2017
Słowa kluczowe:: genetic programming
matrix factorization
surrogate fitness
test-based problems
recommender systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 52.

Tytuł:: Extending Logic Programming with Labelled Variables : Model and Semantics
Autorzy:: Calegari, R.
Denti, E.
Dovier, A.
Omicini, A.
Data publikacji:: 2018
Słowa kluczowe:: formal semantics
labelled systems
labelled variables
logic programming
metainterpretation
situated intelligence; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 53.

Tytuł:: MPC: A paradigm shift for automatic control
Autorzy:: Maciejowski, J. M.
Data publikacji:: 2000
Słowa kluczowe:: predictive control systems
multivariable control systems
feedback control
constraint theory
algorithms
least squares approximations
quadratic programming; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 54.

Tytuł:: The safety assurance method of railway control systems using object oriented languages
Metoda zapewnienia bezpieczeństwa systemów sterowania ruchem kolejowym w językach obiektowych
Autorzy:: Sumiła, M.
Lewiński, A.
Data publikacji:: 2010
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: sterowanie ruchem kolejowym (SRK)
programowanie obiektowe
sterowanie w czasie rzeczywistym
bezpieczeństwo systemów sterowania
railway control systems
object programming
safety programming; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 55.

Tytuł:: An Agent-based Cyber-Physical Production System using Lego Technology
Autorzy:: Mustafa Yalcin, Metehan
Karaduman, Burak
Kardas, Geylani
Challenger, Moharram
Data publikacji:: 2021
Słowa kluczowe:: multi-agent systems
software agents
SPADE agent programming
cyber-physical production systems
SysML
systemy wieloagentowe
agenci programowi
SPADE; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 56.

Tytuł:: Towards a Formal Representation of Interactive Systems
Autorzy:: Banu-Demergian, I. T.
Stefanescu, G.
Data publikacji:: 2014
Słowa kluczowe:: parallel programming
interactive programming
regular expressions
regular algebra
Kleene theorem
network algebra
2-dimensional languages
finite interactive systems
relational semantics
specification
verification
structured interactive programming; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 57.

Tytuł:: Analytical criteria of static output feedback problem feasibility for second-order systems
Autorzy:: Pakhsin, P.
Pozdyaev, V.
Data publikacji:: 2009
Słowa kluczowe:: control theory and engineering
matrix inequalities
semidefinite programming
linear systems
static output feedback; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 58.

Tytuł:: GP-based methodology for HW/SW co-synthesis of multiprocessor embedded systems with increasing number of individuals obtained by mutation
Autorzy:: Górski, Adam
Ogorzałek, Maciej
Data publikacji:: 2015
Wydawca:: SciTePress
Słowa kluczowe:: hardware/software co-design
multiprocessor system
architecture
genetic programming
genetic algorithm
embedded systems; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 59.

Tytuł:: Programowanie obiektowe w symulacji układów elektromechanicznych i estymacji parametrów
Autorzy:: Macek-Kamińska, K.
Kamiński, M.
Korbaś, G. P.
Data publikacji:: 2011
Słowa kluczowe:: układy elektromechaniczne
modelowanie
języki programowania
programowanie obiektowe
electromechanical systems
modeling
programming languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 60.

Tytuł:: Genetic programming based constructive algorithm with penalty function for hardware/software cosynthesis of embedded systems
Autorzy:: Ogorzałek, Maciej
Górski, Adam
Data publikacji:: 2021
Wydawca:: SciTePress
Słowa kluczowe:: penalty function
artificial intelligence
embedded systems
hardware/software co-synthesis.
genetic programming; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 61.

Tytuł:: Programowanie obiektowe w symulacji układów elektromechanicznych i estymacji parametrów
Object oriented programming in simulation of electromechanical systems and parameter estimation
Autorzy:: Macek-Kamińska, K.
Kamiński, M.
Korbaś, G. P.
Data publikacji:: 2011
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: układy elektromechaniczne
modelowanie
języki programowania
programowanie obiektowe
electromechanical systems
modeling
programming languages; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 62.

Tytuł:: Optimal boundary control problems of retarded parabolic systems
Autorzy:: Kowalewski, A.
Krakowiak, A.
Data publikacji:: 2013
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: boundary control
parabolic systems
time delays
linear quadratic problem
quadratic programming method; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 63.

Tytuł:: Optimal distributed control problems of retarded parabolic systems
Autorzy:: Kowalewski, A.
Krakowiak, A.
Data publikacji:: 2009
Słowa kluczowe:: distributed control
parabolic systems
time lags
linear quadratic problem
quadratic programming method; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 64.

Tytuł:: Optimal boundary control problems of retarded parabolic systems
Autorzy:: Kowalewski, A.
Krakowiak, A.
Data publikacji:: 2013
Słowa kluczowe:: boundary control
parabolic systems
time delays
linear quadratic problem
quadratic programming method; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 65.

Tytuł:: A safe programmable electronic system
Autorzy:: Halang, W.
Śnieżek, M.
Data publikacji:: 2010
Słowa kluczowe:: programmable electronic systems
safety
fail-safe comparison
function block programming
software verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 66.

Tytuł:: Genetic programming based algorithm for HW/SW cosynthesis of distributed embedded systems specified using conditional task graph
Autorzy:: Górski, Adam
Ogorzałek, Maciej
Data publikacji:: 2022
Wydawca:: [s.n.]
Słowa kluczowe:: architecture
hardware/software co-synthesis
conditional task graph
genetic programming.
embedded systems; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 67.

Tytuł:: The safety assurance method of railway control systems using object oriented languages
Autorzy:: Sumiła, M.
Lewiński, A.
Data publikacji:: 2010
Słowa kluczowe:: sterowanie ruchem kolejowym (SRK)
programowanie obiektowe
sterowanie w czasie rzeczywistym
bezpieczeństwo systemów sterowania
railway control systems
object programming
safety programming; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 68.

Tytuł:: Interactive Systems with Registers and Voices
Autorzy:: Stefanescu, G.
Data publikacji:: 2006
Słowa kluczowe:: interactive systems
programming languages
syntax
semantics
temporal specifications
registers
voice
object oriented
finite interactive systems
rv-systems
rv-programs
grids
space-time duality; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 69.

Tytuł:: Rapid design and development of control applications for electrical engineering
Autorzy:: Wojnicki, I.
Rad, M.
Data publikacji:: 2013
Słowa kluczowe:: programming
control systems
software design
electric machines
programowanie
systemy sterowania
projektowanie oprogramowania
maszyny elektryczne; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 70.

Tytuł:: Sequential target tracking using constrained nonlinear estimators
Autorzy:: Stubberud, A.R.
Data publikacji:: 2003
Słowa kluczowe:: time varying system
sensors
probability
Lagrange multipliers
constraint theory
nonlinear programming
linear systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 71.

Tytuł:: Optymalizacja technologii wytwarzania energii elektrycznej – symulacje programem eMix
Autorzy:: Łyżwa, W.
Olek, B.
Wierzbowski, M.
Data publikacji:: 2014
Słowa kluczowe:: optymalizacja w energetyce
programowanie liniowe całkowitoliczbowe
eMix
miks energetyczny
modelowanie systemów energetycznych
optimization
linear programming
mixed-integer programming
energy mix
energy systems modelling; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 72.

Tytuł:: Object-oriented programming as a method for developing software in rail-traffic-control computer systems
Programowanie obiektowe jako metoda tworzenia oprogramowania w komputerowych systemach sterowania ruchem kolejowym
Autorzy:: Sumiła, M.
Lewiński, A.
Data publikacji:: 2010
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: sterowanie ruchem kolejowym
programowanie obiektowe
bezpieczne oprogramowanie
rail control systems
object-oriented programming
safe software; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 73.

Tytuł:: Automated assessment system as a supportive tool for teaching programming in Academic Secondary School of SUT
System automatycznej oceny jako narzędzie wspierające nauczanie programowania w Akademickim Liceum Ogólnokształcącym SUT
Autorzy:: Wieczorek, Bożena
Data publikacji:: 2022
Wydawca:: Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
Tematy:: edukacja programowania
analiza transakcyjna
systemy oceny automatycznej
automated assessment systems
transactional analysis
computer programming education; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 74.

Tytuł:: Programowanie nie jest takie trudne
Autorzy:: Tęgoborski, K.
Data publikacji:: 2009
Słowa kluczowe:: programowanie
systemy sterowania numerycznego
instalacja programu
obrabiarka
programming
CNC control systems
program installation
machine tool; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 75.

Tytuł:: Programmable Web services for logistics purposes
Autorzy:: Grochowski, L.
Data publikacji:: 2009
Słowa kluczowe:: systemy komputerowe
programowanie sieciowe
sieć komputerowa Web
logistyka
computing systems
network programming
Web Computing
logistic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 76.

Tytuł:: Safety of CMS experiment systems operation – integration of a new CO2 fire extinguishing weighing system to the CMS safety panel
Autorzy:: Górniak, Patrycja
Sobczyk, Andrzej
Pobędza, Janusz
Data publikacji:: 2019
Słowa kluczowe:: safety systems
Python programming
sensors
WinCC OA
CERN
systemy bezpieczeństwa
język programowania Python
czujniki; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 77.

Tytuł:: Safety of CMS experiment systems operation – integration of a new CO2 fire extinguishing weighing system to the CMS safety panel
Autorzy:: Górniak, Patrycja
Sobczyk, Andrzej
Pobędza, Janusz
Data publikacji:: 2019
Wydawca:: Stowarzyszenie Menedżerów Jakości i Produkcji
Tematy:: safety systems
Python programming
sensors
WinCC OA
CERN
systemy bezpieczeństwa
język programowania Python
czujniki; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 78.

Tytuł:: Rapid design and development of control applications for electrical engineering
Szybkie tworzenie aplikacji kontrolno-pomiarowych na potrzeby elektrotechniki
Autorzy:: Wojnicki, I.
Rad, M.
Data publikacji:: 2013
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: programming
control systems
software design
electric machines
programowanie
systemy sterowania
projektowanie oprogramowania
maszyny elektryczne; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 79.

Tytuł:: Czynniki krytyczne w operacyjnym sterowaniu systemami
Critical factors in operational control systems
Autorzy:: Stolc, L.
Data publikacji:: 2011
Wydawca:: Politechnika Gdańska. Wydział Elektrotechniki i Automatyki
Tematy:: sterowanie systemami
analiza wrażliwości
niedeterministyczne programowanie liniowe
control systems
sensitivity analysis
nondeterministic linear programming; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 80.

Tytuł:: Czynniki krytyczne w operacyjnym sterowaniu systemami
Autorzy:: Stolc, L.
Data publikacji:: 2011
Słowa kluczowe:: sterowanie systemami
analiza wrażliwości
niedeterministyczne programowanie liniowe
control systems
sensitivity analysis
nondeterministic linear programming; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 81.

Tytuł:: An Efficient Hardware Implementation of Smith-Waterman Algorithm Based on the Incremental Approach
Autorzy:: Pułka, A.
Milik, A.
Data publikacji:: 2011
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: DNA-tiles
pattern routing
pipelining
FPGA synthesis
parallelism and concurrency
reconfigurable systems
dynamic programming
systolic arrays; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 82.

Tytuł:: Study on an improved grey dynamic programming model
Autorzy:: Shi, H.
Liu, S.
Fang, Z.
Du, H.
Data publikacji:: 2009
Słowa kluczowe:: grey systems
dynamic programming model
equipollence position degree
superiority position degree
inferior position degree
optimal solution; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 83.

Tytuł:: A graphical tabular model for rule-based logic programming and verification
Autorzy:: Nalepa, G. J.
Ligęza, A.
Data publikacji:: 2005
Słowa kluczowe:: systemy ekspertowe
Prolog
logic programming
expert systems
graphical tabular model
formal verification procedures
visual information modeling; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 84.

Tytuł:: Parallel Dynamic Programming Algorithms : Multitransputer Systems
Autorzy:: Sadecki, J.
Data publikacji:: 2002
Słowa kluczowe:: programowanie dynamiczne
obliczenia równoległe
algorytm optymalizacji
dynamic programming
parallel computations
transputers
multitransputer systems
parallel optimization algorithms; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 85.

Tytuł:: Object-oriented programming as a method for developing software in rail-traffic-control computer systems
Autorzy:: Sumiła, M.
Lewiński, A.
Data publikacji:: 2010
Słowa kluczowe:: sterowanie ruchem kolejowym
programowanie obiektowe
bezpieczne oprogramowanie
rail control systems
object-oriented programming
safe software; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 86.

Tytuł:: Aportaciones de la Programación Neurolingüística a la enseñanza de lenguas extranjeras
Neuro-Linguistic Programming and its Contribution to Foreign Language Teaching
Autorzy:: Pawlak Aneta
Tematy:: Confidence in teaching
profile of a good teacher
Neuro-Linguistic Programming
presuppositions of NLP
representational systems; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 87.

Tytuł:: Shared-Memory Parallelization of an Interval Equations Systems Solver - Comparison of Tools
Autorzy:: Kubica, B.J.
Data publikacji:: 2009
Słowa kluczowe:: przedział obliczeń
nieokreślony układ równań
programowanie wielowątkowe
interval computations
undetermined systems of equations
parallelization
multithreaded programming; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 88.

Tytuł:: Application of mathematical general systems theory-based approach to railway diagram system
Autorzy:: Takahara, Y.
Yano, Y.
Data publikacji:: 2004
Słowa kluczowe:: railway diagram system
set theory
mathematical general systems theory
Prolog programming
information system
problem solving system; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 89.

Tytuł:: Controlling Polyvariance for Specialization-based Verification
Autorzy:: Fioravanti, F.
Pettorossi, A.
Proietti, M.
Senni, V.
Data publikacji:: 2013
Słowa kluczowe:: constraint logic programming
generalization
polyvariance
program specialization
unfold/fold transformation
verification of infinite state reactive systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 90.

Tytuł:: Wykorzystanie systemów komputerowych w celu przygotowania produkcji
Autorzy:: Michalczuk, H.
Tubielewicz, K.
Chmielik, P.
Data publikacji:: 2013
Słowa kluczowe:: systemy komputerowe
produkcja
wykrojnik do blach
środowisko programistyczne
computer systems
production
sheet metal punch
programming environment; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 91.

Tytuł:: An Efficient Hardware Implementation of Smith-Waterman Algorithm Based on the Incremental Approach
Autorzy:: Pułka, A.
Milik, A.
Data publikacji:: 2011
Słowa kluczowe:: DNA-tiles
pattern routing
pipelining
FPGA synthesis
parallelism and concurrency
reconfigurable systems
dynamic programming
systolic arrays; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 92.

Tytuł:: Robotyzacja procesów produkcyjnych z wykorzystaniem graficznych czujników wizyjnych w zadaniach edukacyjnych
Robotization of Production Processes Using Graphic Vision Sensors in Educational Exercise
Autorzy:: ŁABA, GRZEGORZ
TWARÓG, BOGUSŁAW
Data publikacji:: 2019
Wydawca:: Uniwersytet Rzeszowski
Tematy:: systemy sterowania
robotyzacja
czujniki wizyjne
programowanie robotów nowoczesna edukacja
control systems
robotization
vision sensors
robot programming
modern education; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 93.

Tytuł:: DisCODe: komponentowa struktura ramowa do przetwarzania danych sensorycznych
DisCODe: a component framework for sensory data processing
Autorzy:: Kornuta, T.
Stefańczyk, M.
Data publikacji:: 2012
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: układy sterowania robotów
podsystemy sensoryczne
przetwarzanie danych sensorycznych
struktury ramowe
robot control systems
sensory data processing
programming frameworks; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 94.

Tytuł:: Robotyzacja procesów produkcyjnych z wykorzystaniem graficznych czujników wizyjnych w zadaniach edukacyjnych
Robotization of Production Processes Using Graphic Vision Sensors in Educational Exercise
Autorzy:: ŁABA GRZEGORZ
TWARÓG BOGUSŁAW
Data publikacji:: 2019
Tematy:: systemy sterowania
robotyzacja
czujniki wizyjne
programowanie robotów nowoczesna edukacja
control systems
robotization
vision sensors
robot programming
modern education; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 95.

Tytuł:: Optymalne sterowanie siecią gazową wysokiego ciśnienia z wykorzystaniem dwóch różnych metod
Autorzy:: Osiadacz, A. J.
Data publikacji:: 2000
Słowa kluczowe:: sterowanie optymalne
sieci gazowe
nieliniowe programowanie
teoria systemów hierarchicznych
optimal control
gas networks
nonlinear programming
hierarchical systems theory; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 96.

Tytuł:: Metody zarządzania zasobami na przykładzie służby zdrowia
Methods of resource management – the case of healthcare
Autorzy:: Justyna UZIAŁKO
Edward RADOSIŃSKI
Tematy:: zasoby opieki zdrowotnej
zarządzanie zasobami służby zdrowia
programowanie liniowe
programowanie całkowitoliczbowe
programowanie celowe
programowanie sieciowe
teoria kolejek
modelowanie symulacyjne
systemy hybrydowe
metody kosztowo-efektywnościowe
healthcare resources
healthcare resource management
linear programming
integer programming
goal programming
network programming
queuing theory
simulation
hybrid systems
costeffectiveness methods; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 97.

Tytuł:: Metody zarządzania zasobami na przykładzie służby zdrowia
Autorzy:: Uziałko, J.
Radosiński, E.
Data publikacji:: 2009
Słowa kluczowe:: zasoby opieki zdrowotnej
zarządzanie zasobami służby zdrowia
programowanie liniowe
programowanie całkowitoliczbowe
programowanie celowe
programowanie sieciowe
teoria kolejek
modelowanie symulacyjne
systemy hybrydowe
metody kosztowo-efektywnościowe
healthcare resources
healthcare resource management
linear programming
integer programming
goal programming
network programming
queuing theory
simulation
hybrid systems
cost-effectiveness methods; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 98.

Tytuł:: Analiza porównawcza trzech metod planowania produkcji dla systemów przepływowych bez magazynów
Autorzy:: Magiera, M.
Data publikacji:: 2007
Słowa kluczowe:: planowanie produkcji
programowanie całkowitoliczbowe
elastyczne systemy produkcyjne
szeregowanie zadań
production planning
integer programming
flexible manufacturing systems
scheduling; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 99.

Tytuł:: Zastosowanie standardu OpenMP do projektowania systemów wbudowanych
Use of OpenMP standard for embedded systems describing
Autorzy:: Wierciński, T.
Data publikacji:: 2009
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: systemy wbudowane
programowanie równoległe
OpenMP
języki opisu sprzętu
SystemC
embedded systems
parallel programming
hardware description languages
VHDL; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 100.

Tytuł:: Wykorzystanie kompilacji iteracyjnej do optymalizacji warstwy programowej systemów wbudowanych
Exploiting iterative compilation in the software layer of embedded systems optimization
Autorzy:: Wierciński, T.
Radziewicz, M.
Burak, D.
Data publikacji:: 2010
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: systemy wbudowane
kompilacja iteracyjna
programowanie równoległe
algorytm DES
embedded systems
iterative compilation
parallel programming
Data Encryption Standard; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "programming systems" wg kryterium: Temat