Wszystkie pola: P-NET - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Zastosowanie sterownika z maszyną wirtualną Javy w projekcie "Inteligentny dom"
Autorzy:: Pietraszek, T.
Zawadiak, F.
Data publikacji:: 2001
Słowa kluczowe:: język Java
magistrala OneWire
inteligentny dom
X10
P-NET
EIB
LonWorks; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: System diagnosis using Petri nets
Autorzy:: Tabakow, I.
Data publikacji:: 2002
Słowa kluczowe:: system diagnosis
Petri net P-invariants
net oriented fault classification
D-partition
place-transition net
net k-distinguishability
fault identification
net simulator
fault-free transition
structural properties
net fault distinguishability measure; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Wyznaczanie P-inwariantów i pokrycia sieci Petriego z wykorzystaniem programowania liniowego
Autorzy:: Dylewski, R.
Adamski, M.
Data publikacji:: 2012
Słowa kluczowe:: programowanie liniowe
SM- dekomponowana sieć Petriego
pokrycie sieci Petriego
Petri net
linear programming
P-invariants
state machine decomposable net
Petri net cover; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: An Operational Petri Net Semantics for A2CCS
Autorzy:: Gorrieri, R.
Versari, C.
Data publikacji:: 2011
Słowa kluczowe:: Labelled Transition Systems (LTS)
P/T Petri nets
language A2CCS
step semantics
net transitions
DDM semantics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Zastosowanie programowania liniowego do badania sieci Petriego
Autorzy:: Dylewski, R.
Adamski, M.
Jabłoński, J.
Data publikacji:: 2011
Słowa kluczowe:: sieć Petriego
sterownik rekonfigurowalny
sterownik logiczny
proramowanie liniowe
programowanie całkowitoliczbowe
P-inwariant
elektrotechnika
elektroenergetyka
Peri net
Reconfigurable logic Controllers
Integer Linear Programming
P-invariants
SM-components
electrical technology
electrical power engineering; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Time-independent Liveness in Time Petri Nets
Autorzy:: Bachmann, J.P.
Popova-Zeugmann, L.
Data publikacji:: 2010
Słowa kluczowe:: Petri net
Time Petri Net; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Time Distribution in Structural Workflow Nets
Autorzy:: Chrząstowski-Wachtel, P.
Findeisen, P.
Wolny, G.
Data publikacji:: 2008
Słowa kluczowe:: Petri net
workflow nets; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: A high-level Petri net model of queueing production system
Autorzy:: Kuzmin, O.
Bazylevych, P
Data publikacji:: 2014
Wydawca:: Polskie Towarzystwo Promocji Wiedzy
Tematy:: queueing production system
Petri net; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Platforma .NET i język znaczników XML w systemie projektowania programów dla
Autorzy:: Bubacz, P.
Adamski, M.
Data publikacji:: 2006
Słowa kluczowe:: SFC
XML
XSD
IEC 61131-3
NET
.NET; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: A high-level Petri net model of queueing production system
Autorzy:: Kuzmin, O.
Bazylevych, P.
Data publikacji:: 2014
Słowa kluczowe:: queueing production system
Petri net; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Determining Sound Markings in Structured Nets
Autorzy:: Chrząstowski-Wachtel, P.
Data publikacji:: 2006
Słowa kluczowe:: structures nets
Petri net; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Separability in Persistent Petri Nets
Autorzy:: Best, E.
Darondeau, P.
Data publikacji:: 2011
Słowa kluczowe:: persistency
Petri net
separability; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Making Petri Nets Safe and Free of Internal Transitions
Autorzy:: Best, E.
Darondeau, P.
Wimmel, H.
Data publikacji:: 2007
Słowa kluczowe:: Petri net; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: On Generating Hierarchical Workflow Nets and their Extensions and Verifying Hierarchicality
Autorzy:: Sroka, J.
Chrząstowski-Wachtel, P.
Hidders, J.
Data publikacji:: 2015
Słowa kluczowe:: workflow net
Petri net
soundness
hierarchical nets
extended hierarchical nets; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Project PV-NET: Promotion of photovoltaic energy through net metering optimization
Autorzy:: Virtič, P.
Mrak, P.
Papagiannis, G.
Christoforidis, G. C.
Koumparou, I.
Hadjipanayi, M.
Georghiou, G. E.
Data publikacji:: 2015
Słowa kluczowe:: photovoltaics
energy production
energy consumption
net metering
fotowoltaika
produkcja energii
konsumpcja energii
pomiar sieci; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Petri net synthesis based on model behavior
Autorzy:: Piech, H.
Borowik, P.
Data publikacji:: 2012
Słowa kluczowe:: sieć Petriego
metoda syntezy
Petri net
synthesis method; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Disassembly Scheduling with Parts Commonality Using Petri Nets with Timestamps
Autorzy:: Neuendorf, K-P.
Lee, D-H.
Kiritsis, D.
Xirouchakis, P.
Data publikacji:: 2001
Słowa kluczowe:: disassembly
scheduling
Time Petri Net; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: System Wspomagania Pracy Nauczyciela
Autorzy:: Litwiniuk, P.
Chudzikiewicz, J.
Data publikacji:: 2010
Słowa kluczowe:: aplikacja internetowa
usługi sieciowe
UML
ASP.NET
AJAX ASP.NET
web application
web services; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: A Hybrid Petri Net Model of the Akt-Wnt-mTOR-p70S6K Signalling Network in Neurons
Autorzy:: Fortin, M. P.
Hardy, S. V.
Data publikacji:: 2018
Słowa kluczowe:: computational biology
cell signaling
hybrid Petri net modelling
simulation
mTOR
synaptic plasticity; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: System Wspomagania Pracy Nauczyciela
A teacher assistant system
Autorzy:: Litwiniuk, P.
Chudzikiewicz, J.
Data publikacji:: 2010
Wydawca:: Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Tematy:: aplikacja internetowa
usługi sieciowe
UML
ASP.NET
AJAX ASP.NET
web application
web services; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 21.

Tytuł:: Modelowanie wspomagane przez czasowe sieci Petriego
Autorzy:: Szymczyk, P.
Data publikacji:: 1999
Słowa kluczowe:: czasowe sieci Petriego
sieci Petriego
Petri net; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 22.

Tytuł:: Wykorzystanie języka Python i platformy .NET w aplikacji do projektowania i analizy sekwencyjnych diagramów funkcyjnych SFC
Autorzy:: Polak, A.
Bubacz, P.
AdamskI, M.
Data publikacji:: 2007
Słowa kluczowe:: SFC
CASE
platforma .NET
Python
automatyzacja
.NET
automation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 23.

Tytuł:: Project of an open information technology system supporting farm management
Autorzy:: Fojud, A.
Zaborowicz, M.
Boniecki, P.
Okoń, P.
Data publikacji:: 2018
Słowa kluczowe:: farm management
IT
agriculture
Internet application
.NET Framework
zarządzanie gospodarstwem rolnym
rolnictwo
aplikacja internetowa
NET Framework; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:: Changes in net primary production in cultures of certain phytoplankton algae
Autorzy:: Nycz-Wasilec P.
Tematy:: biomass
laboratory culture
alga
abiotic factor
phytoplankton
biotic factor
net primary production
freshwater alga; Pokaż więcej
Dostawca treści:: AGRO

Artykuł

na półce

Szczegóły

Skocz do pozycji: 25.

Tytuł:: Porównanie mechanizmów dostępu do danych LINQ i ADO.NET na przykładzie aplikacji webowej budowanej w modelu spiralnym
Autorzy:: Świderski, M.
Bugla, P.
Data publikacji:: 2013
Słowa kluczowe:: LINQ
ADO.NET
ORM; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 26.

Tytuł:: Technologie OLEDB, ADO i ADO.NET w systemach informatycznych wspomagających proces weryfikacji wiedzy studentów
OLEDB and ADO.NET technologies in information systems supporting verification of the students’ knowledge
Autorzy:: Mueller, W.
Boniecki, P.
Kujawa, S.
Data publikacji:: 2005
Wydawca:: Polskie Towarzystwo Inżynierii Rolniczej
Tematy:: weryfikacja wiedzy
student
OLEDB
ADO
ADO.NET
knowledge verification; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 27.

Tytuł:: Net primary production of algal monocultures in an experimental CELSS ecosystem
Autorzy:: Nycz-Wasilec P.
Tematy:: Mus musculus
mouse
mice
algal culture
CELSS ecosystem
Controlled Ecological Life Support System
net primary production; Pokaż więcej
Dostawca treści:: AGRO

Artykuł

na półce

Szczegóły

Skocz do pozycji: 28.

Tytuł:: Prosumer dilemma: does choosing net billing lower household electricity costs?
Opłacalność mikroinstalacji PV w nowej wersji prosumenckiej - studium przypadku
Autorzy:: Mielziuk P.
Klepacka A.
Florkowski W.
Tematy:: prosumer
electricity
net-billing; Pokaż więcej
Dostawca treści:: AGRO

Artykuł

na półce

Szczegóły

Skocz do pozycji: 29.

Tytuł:: Nowe siatki katalityczne produkowane w Mennicy-Metale Szlachetne Sp. z o.o. i wpływ jakości drutu na proces ich wytwarzania
Autorzy:: Bielski, P.
Marciniak, I.
Sonczuk, T.
Wojciechowski, A.
Motel, W.
Data publikacji:: 2007
Słowa kluczowe:: siatka katalityczna
siatka tkana
siatka dziana
struktura splotu
catalytic net
weaving net
knitting net
weave structure; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 30.

Tytuł:: Multiset Pushdown Automata
Autorzy:: Kudlek, M.
Totzke, P.
Zetzsche, G.
Data publikacji:: 2009
Słowa kluczowe:: commutative grammars and automata
Petri net
multiset rewriting and languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 31.

Tytuł:: System obiegu wniosków jako przykład zastosowania ASP.NET 2.0 oraz MS SQL 2005 Express
Autorzy:: Janowski, P.
Pelikant, A.
Data publikacji:: 2007
Słowa kluczowe:: ASP.NET
MS SQL Server
system obiegu wniosków; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 32.

Tytuł:: Technologie OLEDB, ADO i ADO.NET w systemach informatycznych wspomagających proces weryfikacji wiedzy studentów
Autorzy:: Mueller, W.
Boniecki, P.
Kujawa, S.
Data publikacji:: 2005
Słowa kluczowe:: weryfikacja wiedzy
student
OLEDB
ADO
ADO.NET
knowledge verification; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 33.

Tytuł:: Assigning the cover of Petri nets with subnets of the automatic type
Autorzy:: Dylewski, R.
Data publikacji:: 2013
Słowa kluczowe:: Petri net
P-invariant
state machine
linear programming
pokrycie sieci Petriego
P-inwariant
składowe automatowe
programowanie liniowe; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 34.

Tytuł:: Techniki radionawigacyjne na wodach śródlądowych
Autorzy:: Zalewski, P.
Data publikacji:: 2011
Słowa kluczowe:: GNSS
EUPOS
pozycjonowanie sieciowe
AIS-B
mobile net positioning; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 35.

Tytuł:: Decidability Analysis of Self-Stabilization for Infinite-State Systems
Autorzy:: Yen, H-C.
Yu, L-P.
Data publikacji:: 2006
Słowa kluczowe:: decidability
infinite-state systems
self-stabilization
Petri net; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 36.

Tytuł:: Project of an open information technology system supporting farm management
Projekt otwartego systemu informatycznego wspomagającego zarządzanie gospodarstwem rolnym
Autorzy:: Fojud, A.
Zaborowicz, M.
Boniecki, P.
Okoń, P.
Data publikacji:: 2018
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Maszyn Rolniczych
Tematy:: farm management
IT
agriculture
Internet application
.NET Framework
zarządzanie gospodarstwem rolnym
rolnictwo
aplikacja internetowa
NET Framework; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 37.

Tytuł:: System informatyczny do zarządzania badaniami prowadzonymi w obszarze inżynierii rolniczej bazujący na technologii .NET oraz XML
Autorzy:: Mueller, W.
Rogacki, P.
Weres, J.
Jarysz, M.
Data publikacji:: 2005
Słowa kluczowe:: zarządzanie badaniami
system informatyczny
ASP.NET
XML
research management
information system; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 38.

Tytuł:: Inteligentna kontrola
Autorzy:: Ciborowski P.
Tematy:: firma Heavy-Net
logistyka
Grupa Wandalex
oferty handlowe
transport wewnetrzny
wozki widlowe
magazynowanie; Pokaż więcej
Dostawca treści:: AGRO

Artykuł

na półce

Szczegóły

Skocz do pozycji: 39.

Tytuł:: Petri Net Semantics of the Finite p-calculus Terms
Autorzy:: Devillers, R.
Klaudel, H.
Koutny, M.
Data publikacji:: 2006
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 40.

Tytuł:: Analiza numeryczna efektywności siatkowych systemów ochrony pojazdów przed pociskami kumulacyjnymi
Numerical analysis of effectiveness for vehicle net systems protecting against shaped charge projectiles
Autorzy:: Żochowski, P.
Podgórzak, P.
Data publikacji:: 2016
Wydawca:: Wojskowy Instytut Techniczny Uzbrojenia
Tematy:: mechanika
symulacje numeryczne
systemy siatkowe
pocisk PG7-WM
mechanics
numerical simulations
net systems
PG-7WM projectile; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 41.

Tytuł:: Diagnosis-time assessment in discrete event systems using timed Petri nets
Autorzy:: Tabakow, I.
Data publikacji:: 2008
Słowa kluczowe:: discrete event system
deterministic-timed Petri net
sequential fault diagnosis
P-invariant
D-partition
time assessment; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 42.

Tytuł:: License protection of a component of Web-applications on Net Framework
Autorzy:: Makas, S.
Urbanovich, P.
Data publikacji:: 2008
Słowa kluczowe:: kryptografia
ochrona informacji
cryptography; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 43.

Tytuł:: Monitorowanie sieci w celu zapobiegania oszustwom
Autorzy:: Trevisan, P.
Mazurkiewicz, M.
Data publikacji:: 2000
Słowa kluczowe:: SS7
NET7
bezpieczeństwo sieci
network security; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 44.

Tytuł:: Analiza numeryczna efektywności siatkowych systemów ochrony pojazdów przed pociskami kumulacyjnymi
Autorzy:: Żochowski, P.
Podgórzak, P.
Data publikacji:: 2016
Słowa kluczowe:: mechanika
symulacje numeryczne
systemy siatkowe
pocisk PG7-WM
mechanics
numerical simulations
net systems
PG-7WM projectile; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 45.

Tytuł:: System informatyczny do zarządzania badaniami prowadzonymi w obszarze inżynierii rolniczej bazujący na technologii .NET oraz XML
Information system based on .NET and XML technologies for managing the research in agricultural engineering
Autorzy:: Mueller, W.
Rogacki, P.
Weres, J.
Jarysz, M.
Data publikacji:: 2005
Wydawca:: Polskie Towarzystwo Inżynierii Rolniczej
Tematy:: zarządzanie badaniami
system informatyczny
ASP.NET
XML
research management
information system; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 46.

Tytuł:: Development of the over-water mist net support system: A novel ecological research tool
Autorzy:: Nelson J.
Barnhart P.
Gillam E.
Dostawca treści:: AGRO

Artykuł

na półce

Szczegóły

Skocz do pozycji: 47.

Tytuł:: Ważki w Sieci. Część 1. Polska
Dragonflies in the Net. Part 1. Poland
Autorzy:: Buczynski P.
Tematy:: Polska
wazki
sieci internetowe; Pokaż więcej
Dostawca treści:: AGRO

Artykuł

na półce

Szczegóły

Skocz do pozycji: 48.

Tytuł:: Schematy wentylacyjne stosowane w górnictwie
Autorzy:: Pach, G.
Różański, Z.
Wrona, P.
Suponik, T.
Popczyk, M.
Data publikacji:: 2015
Słowa kluczowe:: wentylacja kopalń
schematy wentylacyjne
kopalniana sieć wentylacyjna
odwzorowania sieci wyrobisk
mine ventilation
ventilation scheme
mining ventilation net
model of excavations net; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 49.

Tytuł:: Properties of Multiset Language Classes Defined by Multiset Pushdown Automata
Autorzy:: Kudlek, M.
Totzke, P.
Zetzsche, G.
Data publikacji:: 2009
Słowa kluczowe:: commutative grammars and automata
Petri net
multiset rewriting and languages; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 50.

Tytuł:: The impact of noradrenergic neurotoxin DSP-4 and noradrenaline transporter knockout (NET-KO) on the activity of liver cytochrome P450 3A (CYP3A) in male and female mice
Autorzy:: Danek, Przemysław Jan
Wójcikowski, Jacek
Basińska-Ziobroń, Agnieszka
Solich, Joanna
Daniel, Władysława Anna
Pukło, Renata
Bromek, Ewa
Dziedzicka-Wasylewska, Marta
Data publikacji:: 2022
Słowa kluczowe:: brain
liver
noradrenergic system
DSP-4 neurotoxin
NET knockout
neuroendocrine regulation
cytochrome P450; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "P-NET" wg kryterium: Wszystkie pola