Wszystkie pola: verification of algorithms

Skocz do pozycji: 1.

Tytuł:: Algorithmic Logic + SpecVer = The Methodology for High Integrity Programming - Invited Paper
Autorzy:: Mirkowska, G.
Salwicki, A.
Świda, O.
Data publikacji:: 2008
Słowa kluczowe:: verification of algorithms
specification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Symulacyjna weryfikacja algorytmów w środowisku Ptolemy II
Simulation verification of algorithms in Ptolemy II environment
Autorzy:: Szcześniak, W.
Data publikacji:: 2013
Wydawca:: Politechnika Gdańska. Wydział Elektrotechniki i Automatyki
Tematy:: systemy wbudowane
symulacja algorytmów
system Ptolemy
embedded systems
Ptolemy system
algorithmic simulation; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: A Logic Framework for Verification of Timed Algorithms
Autorzy:: Slissenko, A.
Data publikacji:: 2004
Słowa kluczowe:: First Order Timed Logic
FOTL
verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Stanowisko badawcze do weryfikacji algorytmów sterowania
Research stand for verification of control algorithms
Autorzy:: Skoneczny, P.
Zawalich, J.
Data publikacji:: 2005
Wydawca:: Politechnika Gdańska. Wydział Elektrotechniki i Automatyki
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Symulacyjna weryfikacja algorytmów w środowisku Ptolemy II
Autorzy:: Szcześniak, W.
Data publikacji:: 2013
Słowa kluczowe:: systemy wbudowane
symulacja algorytmów
system Ptolemy
embedded system
Ptolemy system
algorithmic simulation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Weryfikacja czasów obliczeń heurystycznych algorytmów redukcji poboru mocy układów cyfrowych CMOS
Computational time verification of heuristic algorithms forlIow power design of CMOSs circuits
Autorzy:: Szcześniak, W.
Data publikacji:: 2008
Wydawca:: Politechnika Gdańska. Wydział Elektrotechniki i Automatyki
Tematy:: redukcja poboru mocy
cyfrowe układy CMOS
heurystyczne algorytmy redukcji poboru mocy
low power design
digital CMOS circuits
heuristic low power design algorithms; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Verification of ships trajectory planning algorithms using real navigational data
Autorzy:: Lazarowska, A.
Data publikacji:: 2019
Wydawca:: Uniwersytet Morski w Gdyni. Wydział Nawigacyjny
Tematy:: Visibility Graph-search Algorithm (VGA)
Discrete Artificial Potential Field (DAPF)
real navigational data
ARPA
ship's trajectory planning
ship's trajectory planning algorithms
Ant Colony Optimization (ACO)
Trajectory Base Algorithm (TBA); Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Stanowisko badawcze do weryfikacji algorytmów sterowania
Autorzy:: Skoneczny, P.
Zawalich, J.
Data publikacji:: 2005
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Weryfikacja czasów obliczeń heurystycznych algorytmów redukcji poboru mocy układów cyfrowych CMOS
Autorzy:: Szcześniak, W.
Data publikacji:: 2008
Słowa kluczowe:: redukcja poboru mocy
cyfrowe układy CMOS
heurystyczne algorytmy redukcji poboru mocy
low power design
digital CMOS circuits
heuristic low power design algorithms; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Zastosowanie nowoczesnych metod oceny jakości obrazów do weryfikacji algorytmów splattingu w subpikselowej metodzie Image Based Rendering
Application of modern image quality assessment methods to verification of splatting algorithms in the sub-pixel Image Based Rendering
Autorzy:: Okarma, K.
Tecław, M.
Data publikacji:: 2012
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: metoda IBR
splatting
ocena jakości obrazów
IBR
image quality assessment; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Wspomagana komputerowo specyfikacja i weryfikacja algorytmów sterownia obszarowego
Autorzy:: Kawalec, P.
Sobieszuk-Durka, S.
Data publikacji:: 2010
Słowa kluczowe:: ruch drogowy
sterowanie obszarowe
algorytmy sterowania adaptacyjnego
traffic control
algorithms of adaptive area control
hierarchical graphs
FPGA devices; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Zastosowanie nowoczesnych metod oceny jakości obrazów do weryfikacji algorytmów splattingu w subpikselowej metodzie Image Based Rendering
Autorzy:: Okarma, K.
Tecław, M.
Data publikacji:: 2012
Słowa kluczowe:: metoda IBR
splatting
ocena jakości obrazów
IBR
image quality assessment; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Verification of ship's trajectory planning algorithms using real navigational data
Autorzy:: Lazarowska, A.
Data publikacji:: 2019
Słowa kluczowe:: Visibility Graph-search Algorithm (VGA)
Discrete Artificial Potential Field (DAPF)
real navigational data
ARPA
ship trajectory planning
ship trajectory planning algorithm
Ant Colony Optimization (ACO)
Trajectory Base Algorithm (TBA); Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Weryfikacja temporalnych własności algorytmów niedeterministycznych
Autorzy:: Kacprzak, M.
Data publikacji:: 2001
Słowa kluczowe:: algorytmy niedeterministyczne
własności temporalne
Temporalna Logika Procesów
nondeterministic algorithms
temporal properties
Process Temporal Logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: The application of computational geometry algorithms to the timed verification of communication protocols
Autorzy:: Brzeziński, J.
Sajkowski, M.
Data publikacji:: 2000
Słowa kluczowe:: protokół komunikacyjny
computational geometry algorithms
communication protocols; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Verification of Scenarios in Petri Nets Using Compact Tokenflows
Autorzy:: Bergenthum, R.
Lorenz, R.
Data publikacji:: 2015
Słowa kluczowe:: Petri nets
information theory
algorithms
problem solving
language; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: An algorithmic form of verification of appointed phases of the project documentation for a building investment
Autorzy:: Kochanek, A.
Data publikacji:: 2015
Słowa kluczowe:: database
project documentation
building project
Zoning Scheme
verification algorithms
baza wiedzy
dokumentacja projektowa
projekt budowlany
plan zagospodarowania przestrzennego
algorytmy weryfikacji; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction
Autorzy:: Cassez, Franck
Jensen, Peter Gjøl
Guldstrand Larsen, Kim
Data publikacji:: 2021
Słowa kluczowe:: machine theory
hybrid systems
Petri nets
algorithms; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: Eksperymentalna weryfikacja algorytmów sterowania zrzutem spadochronowym z wykorzystaniem GPS
Control algorithms of parafoil airdrop with GPS experimental verification
Autorzy:: Kiczyński, K.
Żuk, J.
Data publikacji:: 2011
Wydawca:: Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Tematy:: elektronika
spadochron szybujący
GPS
electronics
parafoil; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: Realizacja programowa algorytmów filtracji, estymacji i sterowania w PLC/PAC
Autorzy:: Tarnawski, J.
Data publikacji:: 2013
Słowa kluczowe:: sterowniki programowalne PLC/PAC
dyskretny algorytm sterowania
strojenie i weryfikacja oprogramowania
estymacja RLS_FF
programmable logic controller (PLC)
discrete control algorithms
tuning and verification of software
estimation RLS_FF; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 21.

Tytuł:: Evaluation of face detection algorithms for the bank client identity verification
Autorzy:: Szczodrak, M.
Czyżewski, A.
Data publikacji:: 2017
Słowa kluczowe:: video analysis
face detection
banking; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 22.

Tytuł:: An application of Bezier curves in the off-line verification of handwritten signatures
Autorzy:: Gawor, P.
Kołodziej, J.
Data publikacji:: 2007
Słowa kluczowe:: algorytmy
krzywa Beziera
podpis elektroniczny
Bezier curves
algorithms method
handwritten signature in electronics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 23.

Tytuł:: Realizacja programowa algorytmów filtracji, estymacji i sterowania w PLC/PAC
The software implementation of filtering, estimation and control algorithms in PLC / PAC
Autorzy:: Tarnawski, J.
Data publikacji:: 2013
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: sterowniki programowalne PLC/PAC
dyskretne algorytmy sterowania
strojenie i weryfikacja oprogramowania
estymacja RLS_FF
programmable logic controller (PLC)
discrete control algorithms
tuning and verification of software
estimation RLS_FF; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:: Eksperymentalna weryfikacja algorytmów sterowania zrzutem spadochronowym z wykorzystaniem GPS
Autorzy:: Kiczyński, K.
Żuk, J.
Data publikacji:: 2011
Słowa kluczowe:: elektronika
spadochron szybujący
GPS
electronics
parafoil; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 25.

Tytuł:: Algorytmy sprawdzania deszyfrowalności kodów
Algorithms for code decipherability verification
Autorzy:: Bilanyk, Olha
Słowa kluczowe:: figury skierowane, teoria kodów zmiennej długości, rozstrzygalność kodów, algorytm poliomionowy
directed figures, theory of variable length codes, codes decidability, algorithm for directed figures; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 26.

Tytuł:: Simulation based verification of the Bayesian approach in single-pool hemodialysis modelling
Autorzy:: Korohoda, P.
Data publikacji:: 2010
Słowa kluczowe:: urea kinetic modelling
Bayesian approach
comparative study
modelowanie kinetyczne mocznika
podejście bayesowskie
studium porównawcze; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 27.

Tytuł:: Computer Science For Pharmacy Students. Verification Of Earned Abilities By Using The Internet
Autorzy:: Śmietański, J.
Data publikacji:: 2006
Słowa kluczowe:: e-learning
computer science
pharmacy
test
informatyka
farmacja; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 28.

Tytuł:: First PET Studies of a FLASH Proton Beam: Summary and Future Prospects
Autorzy:: Cesar, John P.
Abouzahr, Firas
Crespo, Paulo
Gajda, Michael
Kuo, Alex
Mawlawi, Osama
Morozov, Andrey
Ojha, Aryan
Poenisch, Falk
Proga, Marek
Sahoo, Narayan
Seco, Joao
Takaoka, Takeshi
Tavienier, Stefan
Titt, Uwe
Wang, Xiaochun
Zhu, Xiaorong
Lang, Karol
Data publikacji:: 2024
Słowa kluczowe:: PET
proton therapy
FLASH
image-guidance
proton range verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 29.

Tytuł:: Towards high sensitivity and high-resolution PET scanners: imaging-guided proton therapy and total body imaging
Autorzy:: Lang, Karol
Data publikacji:: 2022
Słowa kluczowe:: proton therapy
imaging-guidance proton therapy
proton range verification
PET scanner
total-body PET
time-of-flight PET scanner
TOF PET
nuclear medical imaging
radiopharmaceuticals
hypoxia
cancer
theranostics
FLASH treatment
multi-modal treatment
TPPT Consortium; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 30.

Tytuł:: Implementacja algorytmu regulacji predykcyjnej MPC w sterownikach programowalnych
Autorzy:: Tarnawski, J.
Data publikacji:: 2013
Słowa kluczowe:: hierarchiczny model systemu sterowania
zaawansowane algorytmy sterowania
regulacja predykcyjna MPC
sterowniki programowalne
norma IEC 61131-3
ograniczenia platformy PLC
proces implementacji algorytmu regulatora MPC
weryfikacja w pętli sprzętowej
hierarchical control system
advanced control algorithms
model predictive control
programmable logic controller (PLC)
norm IEC-61131-3
PLC programming limits
process of MPC implementation
verification in hardware-in-the-loop; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 31.

Tytuł:: Konstrukcja sekwencji konsensusowych rodziny białek β-spektryn o różnych parametrach progowych oraz weryfikacja ich użyteczności
Autorzy:: Fogtman, A.
Leluk, J.
Lesyng, B.
Data publikacji:: 2005
Słowa kluczowe:: homologia
podobieństwo białek
dopasowanie sekwencji
sekwencja konsensusowa
identyczność
protein homology
multiple alignment
consensus sequence
identity; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 32.

Tytuł:: Implementacja algorytmu regulacji predykcyjnej MPC w sterownikach programowalnych
Implementation of Predictive Control Algorithm in Programmable Logic Controllers
Autorzy:: Tarnawski, J.
Data publikacji:: 2013
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: hierarchiczny model systemu sterowania
zaawansowane algorytmy sterowania
regulacja predykcyjna MPC
sterowniki programowalne
norma IEC 61131-3
ograniczenia platformy PLC
proces implementacji algorytmu regulatora MPC
weryfikacja w pętli sprzętowej
hierarchical control system
advanced control algorithms
model predictive control
programmable logic controller (PLC)
norm IEC-61131-3
PLC programming limits
process of MPC implementation
verification in hardware-in-the-loop; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "verification of algorithms" wg kryterium: Wszystkie pola