Skocz do pozycji: 1.

Tytuł:

Improving Reachability Analysis of Infinite State Systems by Specialization

Autorzy:

Fioravanti, F.
Pettorossi, A.
Proietti, M.
Senni, V.

Data publikacji:

2012

Słowa kluczowe:

reachability analysis
automatic verification
program transformation
constraint logic programming (CLP)

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:

Software Testing classes support system
Platforma do wspomagania zajęć laboratoryjnych z Testowania Oprogramowania

Autorzy:

Laskowski, Maciej

Słowa kluczowe:

Software Testing, software system, tasks verification, automatic verification
Testowanie Oprogramowania, system informatyczny, weryfikacja zadań, sprawdzanie zadań, automatyczna weryfikacja

Pokaż więcej

Dostawca treści:

Repozytorium Uniwersytetu Jagiellońskiego

/5

Inne

• na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:

Software Testing classes support system
Platforma do wspomagania zajęć laboratoryjnych z Testowania Oprogramowania

Autorzy:

Szklarzewicz, Michał

Słowa kluczowe:

Software Testing, software system, tasks verification, automatic verification
Testowanie Oprogramowania, system informatyczny, weryfikacja zadań, sprawdzanie zadań, automatyczna weryfikacja

Pokaż więcej

Dostawca treści:

Repozytorium Uniwersytetu Jagiellońskiego

/5

Inne

• na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:

An automatic formal verification tool for schematic-level design of an electrical project

Autorzy:

Szelest, Marcin

Data publikacji:

2014

Dostawca treści:

Academica

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:

The Effect of Voice over IP Transmission Degradations on MAP-EM-GMM Speaker Verification Performance

Autorzy:

Maciejko, W.

Data publikacji:

2015

Słowa kluczowe:

automatic speaker verification
packet loss
speech compression
voice over IP

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:

Model checking processes specified in join-calculus algebra

Autorzy:

Maludziński, S.
Dobrowolski, G.

Data publikacji:

2014

Słowa kluczowe:

join-calculus
model checking
formal methods
automatic software verification

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:

Model checking processes specified in join-calculus algebra

Autorzy:

Maludziński, S.
Dobrowolski, G.

Data publikacji:

2014

Wydawca:

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH

Tematy:

join-calculus
model checking
formal methods
automatic software verification

Pokaż więcej

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:

The Effect of Voice over IP Transmission Degradations on MAP-EM-GMM Speaker Verification Performance

Autorzy:

Maciejko, W.

Data publikacji:

2015

Wydawca:

Polska Akademia Nauk. Czytelnia Czasopism PAN

Tematy:

automatic speaker verification
packet loss
speech compression
voice over IP

Pokaż więcej

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:

An automatic formal verification tool for schematic-level design of an electrical project

Autorzy:

Szelest, M.

Data publikacji:

2014

Słowa kluczowe:

Electrical Fault Detection
Formal Verification
Design Rule Checking
Electrical Rule Checking
wykrywanie błędów
weryfikacja formalna
sprawdzanie reguł projektowych
sprawdzanie reguł elektrycznych

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:

Implementacja algorytmu estymacji cech sygnału mowy systemu automatycznej weryfikacji mówcy w układzie FPGA

Autorzy:

Staworko, M.
Rawski, M.

Data publikacji:

2010

Słowa kluczowe:

weryfikacja mówcy
LFCC
FPGA
niski pobór mocy
terms-automatic speaker verification
low power application

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:

Automatyczna weryfikacja klienta bankowego w oparciu o multimodalne technologie biometryczne

Autorzy:

Czyżewski, A.
Hoffmann, P.
Bogdanis, G.

Data publikacji:

2015

Słowa kluczowe:

biometria
rozpoznawanie mówcy
podpis dynamiczny
Finger/Hand Vein
biometric verification
speaker identification
dynamic signature verification
Finger Vein
Hand Vein

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:

Automatic generation and verification of railway interlocking control tables using FSM and NuSMV

Autorzy:

Mirabadi, Ahmad

Współwytwórcy:

Yazdi, Mohammad B.

Data publikacji:

2009

Dostawca treści:

Academica

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:

An improved ant colony optimization algorithm and its application to text-independent speaker verification system

Autorzy:

Aghdam, M. H.

Data publikacji:

2012

Słowa kluczowe:

ant colony
optimization
ant colony optimization
ACO
security
automatic speaker verification
ASV
feature space
Gaussian mixture model universal background model
GMM-UBM

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:

An improved ant colony optimization algorithm and its application to text-independent speaker verification system

Autorzy:

Aghdam, M. H.

Data publikacji:

2012

Wydawca:

Społeczna Akademia Nauk w Łodzi. Polskie Towarzystwo Sieci Neuronowych

Tematy:

ant colony
optimization
ant colony optimization
ACO
security
automatic speaker verification
ASV
feature space
Gaussian mixture model universal background model
GMM-UBM

Pokaż więcej

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:

Zastosowanie środowiska LabView do weryfikacji sygnałów impulsowych wykorzystywanych w badaniach kompatybilności elektromagnetycznej

Autorzy:

Maćkowiak, A.
Sieczkarek, K.

Data publikacji:

2010

Słowa kluczowe:

kompatybilność elektromagnetyczna
LabVIEW
badania EMC
electromagnetic compatibility
EMC testing
LabView software

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:

Automatic generation and verification of railway interlocking control tables using FSM and NuSMV

Autorzy:

Mirabadi, A.
Yazdi, M.

Data publikacji:

2009

Słowa kluczowe:

ruch kolejowy
infrastruktura kolejowa
metoda automatów skończonych
railway traffic
railway infrastructure

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:

Verification of automatic drift calculation accuracy using an automatic radar plotting aid

Autorzy:

Juszkiewicz, W.
Nowy, A.

Data publikacji:

2016

Wydawca:

Akademia Morska w Szczecinie. Wydawnictwo AMSz

Tematy:

automatic drift calculation
ARPA
safety of navigation
radar simulator
radar picture stabilization
IMO performance standards

Pokaż więcej

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:

An automatic formal verification tool for schematic-level design of an electrical project
Narzędzie do automatycznej weryfikacji formalnej schematu ideowego sprawdzające poprawność schematu już we wczesnych etapach procesu projektowego

Autorzy:

Szelest, M.

Data publikacji:

2014

Wydawca:

Stowarzyszenie Inżynierów i Techników Mechaników Polskich

Tematy:

Electrical Fault Detection
Formal Verification
Design Rule Checking
Electrical Rule Checking
wykrywanie błędów
weryfikacja formalna
sprawdzanie reguł projektowych
sprawdzanie reguł elektrycznych

Pokaż więcej

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:

Automatyczna weryfikacja formalna układu elektronicznego w oparciu o schemat ideowy

Autorzy:

Szelest, M.
Izydorczyk, J.
Niemiec, H.
Jabłeka, M.

Data publikacji:

2013

Słowa kluczowe:

reguły projektowe
weryfikacja formalna
design rule checking
electrical rule checking
formal verification

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:

Verification of automatic drift calculation accuracy using an automatic radar plotting aid

Autorzy:

Juszkiewicz, W.
Nowy, A.

Data publikacji:

2016

Słowa kluczowe:

automatic drift calculation
ARPA
safety of navigation
radar simulator
radar picture stabilization
IMO performance standards

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 21.

Tytuł:

Modelowanie i projektowanie systemów informatycznych w języku UML na przykładzie systemu do automatycznej weryfikacji zadań programistycznych
Modelling and designing software systems in UML on the example of platform for automatic software task verification

Autorzy:

Granicki, Wojciech

Słowa kluczowe:

Object Modelling, UML
Modelowanie Obiektowe, UML

Pokaż więcej

Dostawca treści:

Repozytorium Uniwersytetu Jagiellońskiego

/5

Inne

• na półce

Szczegóły

Skocz do pozycji: 22.

Tytuł:

Automatic generation and verification of railway interlocking control tables using FSM and NuSMV
Automatyczna generacja i sprawdzanie tablic zależności dla systemu sterowania ruchem kolejowym z wykorzystaniem metody automatów skończonych i formalnych technik weryfikacji

Autorzy:

Mirabadi, A.
Yazdi, M.

Data publikacji:

2009

Wydawca:

Politechnika Śląska. Wydawnictwo Politechniki Śląskiej

Tematy:

ruch kolejowy
infrastruktura kolejowa
metoda automatów skończonych
railway traffic
railway infrastructure

Pokaż więcej

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 23.

Tytuł:

Wdrożenie półautomatycznej metody weryfikacji zgodności pola promieniowania z polem symulacji świetlnej akceleratorów liniowych
Implementation of a semi-automatic method of verification of the compliance of the radiation field with the light simulation field of linear accelerators

Autorzy:

Paluszyńska, Marta
Sobocka-Kurdyk, Urszula
Borowska, Patrycja
Szweda, Hubert
Matuszewski, Krzysztof
Paciorkowska, Katarzyna
Wosicki, Maksymilian
Pawałowski, Bartosz

Data publikacji:

2022

Wydawca:

Indygo Zahir Media

Tematy:

kontrola jakości
dozymetria
Artiscan
pole promieniowania
pole symulacji świetlnej
quality assurance
dosimetry
light field
radiation field

Pokaż więcej

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:

Procedura weryfikacji metrologicznej potokowego, zautomatyzowanego systemu do kontroli przemysłowych wyrobów elektrycznych
The metrological verification procedure of automatic testing system for industrial electrical products

Autorzy:

Kern, J.
Machalica, P.

Data publikacji:

2007

Wydawca:

Stowarzyszenie Inżynierów i Techników Mechaników Polskich

Tematy:

system pomiarowy
weryfikacja metrologiczna
measurement system
metrological verification

Pokaż więcej

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 25.

Tytuł:

Procedura weryfikacji metrologicznej potokowego, zautomatyzowanego systemu do kontroli przemysłowych wyrobów elektrycznych

Autorzy:

Kern, J.
Machalica, P.

Data publikacji:

2007

Słowa kluczowe:

system pomiarowy
weryfikacja metrologiczna
measurement system
metrological verification

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 26.

Tytuł:

Wdrożenie półautomatycznej metody weryfikacji zgodności pola promieniowania z polem symulacji świetlnej akceleratorów liniowych

Autorzy:

Paluszyńska, Marta
Sobocka-Kurdyk, Urszula
Borowska, Patrycja
Szweda, Hubert
Matuszewski, Krzysztof
Paciorkowska, Katarzyna
Wosicki, Maksymilian
Pawałowski, Bartosz

Data publikacji:

2022

Słowa kluczowe:

kontrola jakości
dozymetria
Artiscan
pole promieniowania
pole symulacji świetlnej
quality assurance
dosimetry
light field
radiation field

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 27.

Tytuł:

Research on Metamodel Consistency Verification Based on First-order Logical Inference

Autorzy:

Jiang, T.

Data publikacji:

2012

Słowa kluczowe:

metamodel
DSMML
meta-type
consistency verification
automatic mapping

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 28.

Tytuł:

Verification of data quality from automatic weather stations

Autorzy:

Nyckowiak J.
Lesny J.

Dostawca treści:

AGRO

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 29.

Tytuł:

Assessment of correctness of information obtained from Automatic Identification of Ship's System (AIS)

Autorzy:

Śniegocki, H.

Data publikacji:

2010

Słowa kluczowe:

AIS
ARPA
collision avoiding
data verification

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 30.

Tytuł:

Metrological equipment for verification and calibration of non-automatic weighing instruments – axle and crane weighting instrument

Autorzy:

Gajdosik, Tomas
Kucera, Lubos
Gajdac, Igor
Fric, Anton
Markovic, Jaromir

Data publikacji:

2021

Słowa kluczowe:

metrology
calibration
verification
weights
design

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 31.

Tytuł:

Metrological equipment for verification and calibration of non-automatic weighing instruments – axle and crane weighting instrument

Autorzy:

Gajdosik, Tomas
Kucera, Lubos
Gajdac, Igor
Fric, Anton
Markovic, Jaromir

Data publikacji:

2021

Wydawca:

Polska Akademia Nauk. Czytelnia Czasopism PAN

Tematy:

metrology
calibration
verification
weights
design

Pokaż więcej

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 32.

Tytuł:

Assessment of correctness of information obtained from Automatic Identification of Ships System (AIS)

Autorzy:

Śniegocki, H.

Data publikacji:

2010

Wydawca:

Instytut Techniczny Wojsk Lotniczych

Tematy:

AIS
ARPA
collision avoiding
data verification

Pokaż więcej

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 33.

Tytuł:

PCB exposure and data matrix based job verification

Autorzy:

Marchewka, A.
Wocianiec, R.
Zdrojewski, J.

Data publikacji:

2012

Słowa kluczowe:

PCB production
automatic parameters selection
image recognition
Data Matrix

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 34.

Tytuł:

Metody weryfikujące poziom wiedzy i umiejętności programisty

Autorzy:

Hajduk, Paweł
Wieruszewski, Norbert
Skublewska-Paszkowska, Maria

Data publikacji:

2018

Słowa kluczowe:

programista
ocena automatyczna
metody weryfikacji wiedzy
testy jednostkowe
analiza statyczna kodu
automatic programmers assessment
knowledge verification methods
unit tests
static code analysis

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 35.

Tytuł:

Verification of people based on palm vein with the ROI automatic appointment

Autorzy:

Smorawa, D.

Data publikacji:

2016

Wydawca:

Politechnika Częstochowska. Wydawnictwo Politechniki Częstochowskiej

Tematy:

biometric system
recognition
palm vein
system biometryczny
identyfikacja
naczynia krwionośne dłoni

Pokaż więcej

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 36.

Tytuł:

Metody weryfikujące poziom wiedzy i umiejętności programisty
Verification methods of a programmer’s knowledge and skills

Autorzy:

Hajduk, Paweł
Wieruszewski, Norbert
Skublewska-Paszkowska, Maria

Data publikacji:

2018

Wydawca:

Politechnika Lubelska. Instytut Informatyki

Tematy:

automatyczna ocena programistów
metody weryfikacji wiedzy
testy jednostkowe
analiza statyczna kodu
automatic programmers assessment
knowledge verification methods
unit tests
static code analysis

Pokaż więcej

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 37.

Tytuł:

Mikrozmienność charakterystyk metrologicznych termo- i higrometrycznych urządzeń i układów pomiarowych w automatycznych stacjach meteorologicznych Państwowej Służby Hydrologiczno - Meteorologicznej

Autorzy:

Różdżyński, K.

Data publikacji:

2013

Słowa kluczowe:

niestabilność
dryft charakterystyk meteorologicznych
stacja automatyczna
metody weryfikacji danych meteorologicznych
instability
drift characteristics
automatic meteorological station
method of verification meteorological data

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 38.

Tytuł:

An automatic and effective tooth isolation method for dental radiographs

Autorzy:

Lin, P. L.
Huang, P. W.
Cho, Y. S.
Kuo, C. H.

Data publikacji:

2013

Słowa kluczowe:

dental radiograph
tooth isolation
isolation-curve verification
missing-teeth detection
adaptive windowing

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 39.

Tytuł:

A Framework to Automatic Deadlock Detection in Concurrent Programs

Autorzy:

Mahdian, F.
Rafe, V.
Rafeh, R.

Data publikacji:

2012

Słowa kluczowe:

Bogor
zakleszczenia programu
zgodnośc oprogramnowania
verification
concurrent programming
model checking
BIR

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 40.

Tytuł:

Speaker verification using various dynamic kernels for prosodic features combined with spectral information

Autorzy:

Drgas, S.
Dąbrowski, A.
Zamorski, D.

Data publikacji:

2012

Słowa kluczowe:

rozpoznawanie mówcy automatyczne
SVM
cechy prozodyczne
automatic speaker recognition
prosodic features

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 41.

Tytuł:

Mikrozmienność charakterystyk metrologicznych termo- i higrometrycznych urządzeń i układów pomiarowych w automatycznych stacjach meteorologicznych Państwowej Służby Hydrologiczno - Meteorologicznej
Micro-variability of characteristics of thermo- and hygrometric circuits in automatic meteorological stations of the State Hydrological-Meteorological Service (PSHM)

Autorzy:

Różdżyński, K.

Data publikacji:

2013

Wydawca:

Stowarzyszenie Inżynierów i Techników Mechaników Polskich

Tematy:

niestabilność
dryft charakterystyk meteorologicznych stacji automatycznych
metody weryfikacji danych meteorologicznych
instability
drift characteristics of automatic meteorological station
method of verification meteorological data

Pokaż więcej

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 42.

Tytuł:

Evaluation and verification of the WetSpa model based on selected rural catchments in Poland
Ocena i weryfikacja modelu WetSpa w warunkach wybranych zlewni rolniczych w Polsce

Autorzy:

Porretta-Brandyk L.
Chormanski J.
Ignar S.
Okruszko T.
Brandyk A.
Szymczak T.
Krezalek K.

Tematy:

evaluation
verification
WetSpa model
rural catchment
Poland
automatic calibration
lowland rural catchment
rainfall-run-off process
run-off modelling

Pokaż więcej

Dostawca treści:

AGRO

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 43.

Tytuł:

Verification of people based on palm vein with the ROI automatic appointment

Autorzy:

Smorawa, D.

Data publikacji:

2016

Słowa kluczowe:

biometric system
recognition
palm vein
system biometryczny
identyfikacja
naczynia krwionośne dłoni

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 44.

Tytuł:

Feature extraction and template matching algorithm classification for PCB fiducial verification

Autorzy:

Fonseka, C. L. S. C.
Jayasinghe, J. A. K. S.

Data publikacji:

2018

Słowa kluczowe:

Automatic Optical Inspection
AOI
feature extraction
template matching
SIFT
SURF
FAST
box filtering
FLANN
inspekcja automatyczna optyczna
ekstrakcja cech
dopasowanie wzorców

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 45.

Tytuł:

Sposób wykorzystania matematycznych modeli do przygotowania i weryfikacji automatycznie sterowanego manewru omijania ruchomych przeszkód

Autorzy:

Graffstein, Jerzy

Data publikacji:

2023

Słowa kluczowe:

unikanie kolizji
dynamika lotu
automatyczne sterowanie lotem
komputerowa symulacja lotu
collision avoidance
flight dynamics
automatic flight control
computer flight simulation

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 46.

Tytuł:

Verification of the AIS service availability model based on dynamic data streams recorded from three receiving stations in the Polish coastal area

Autorzy:

Jaskólski, Krzysztof
Czapliński, Wojciech

Data publikacji:

2024

Słowa kluczowe:

automatic identification system
reliability theory
fast Fourier transform
spectral analysis
digital signal processing
system identyfikacji
teoria niezawodności
szybka transformacja Fouriera
analiza widmowa
cyfrowe przetwarzanie sygnałów

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 47.

Tytuł:

Sposób wykorzystania matematycznych modeli do przygotowania i weryfikacji automatycznie sterowanego manewru omijania ruchomych przeszkód
Making Use of Mathematical Models for Preparation and Verification of Automatically Controlled, Manoeuvres Carried Out to Avoid Moving Obstacles

Autorzy:

Graffstein, Jerzy

Data publikacji:

2023

Wydawca:

Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów

Tematy:

unikanie kolizji
dynamika lotu
automatyczne sterowanie lotem
komputerowa symulacja lotu
collision avoidance
flight dynamics
automatic flight control
computer flight simulation

Pokaż więcej

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 48.

Tytuł:

Evaluation and verification of the WetSpa model based on selected rural catchments in Poland

Autorzy:

Porretta-Brandyk, L.
Chormański, J.
Ignar, S.
Okruszko, T.
Brandyk, A.
Szymczak, T.
Krężałek, K.

Data publikacji:

2010

Słowa kluczowe:

modele o parametrach rozłożonych
proces opad-odpływ
kalibracja automatyczna
nizinne zlewnie rolnicze
automatic calibration
distributed models
lowland rural catchment
rainfall-runoff process

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 49.

Tytuł:

Evaluation and verification of the WetSpa model based on selected rural catchments in Poland
Ocena i weryfikacja modelu WetSpa w warunkach wybranych zlewni rolniczych w Polsce

Autorzy:

Porretta-Brandyk, L.
Chormański, J.
Ignar, S.
Okruszko, T.
Brandyk, A.
Szymczak, T.
Krężałek, K.

Data publikacji:

2010

Wydawca:

Instytut Technologiczno-Przyrodniczy

Tematy:

modele o parametrach rozłożonych
proces opad-odpływ
automatyczna kalibracja
nizinne zlewnie rolnicze
automatic calibration
distributed models
lowland rural catchment
rainfall-runoff process

Pokaż więcej

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 50.

Tytuł:

Verification of soil compaction degree based on the correlation of static probing during formation of DSM columns

Autorzy:

Jendruś, Rafał
Jendryś, Marek
Łupieżowiec, Marian
Stawiarski, Arkadiusz

Data publikacji:

2025

Słowa kluczowe:

badanie geotechniczne
mieszanie wgłębne gruntu
DSM
stopień zagęszczenia
wzmocnienie podłoża gruntowego
sondowanie statyczne
rejestrator automatyczny
geotechnical investigation
deep soil mixing
compaction degree
ground improvement
static probing
automatic recorder

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły