Temat: dynamic logic - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Static and dynamic vector semantics for lambda calculus models of natural language
Autorzy:: Sadrzadeh, M.
Muskens, R.
Data publikacji:: 2018
Wydawca:: Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Tematy:: simple typed lambda calculus
vector semantic
composition
context update potential
dynamic logic; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Lightweight PUF-Based Gate Replacement Technique to Reduce Leakage of Information through Power Profile Analysis
Autorzy:: Mohankumar, N.
Jayakumar, M.
Nirmala, Devi M.
Data publikacji:: 2022
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: Design for Security
Hardware Security
PUF
TRNG
Wave Dynamic Differential Logic; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: The Dynamic Epistemic Logic for Actual Knowledge
Autorzy:: Wójcik, Arkadiusz
Data publikacji:: 2020
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: Dynamic epistemic logic
logic of public announcements
knowledge representation
problem of logical omniscience
actual knowledge
epistemic change
multi-agent systems; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Fault detection in nonlinear systems via linear methods
Autorzy:: Zhirabok, A.
Shumsky, A.
Solyanik, S.
Suvorov, A.
Data publikacji:: 2017
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: nonlinear dynamic system
diagnostic observer
robustness
nondifferentiable nonlinearity
logic dynamic approach
układ dynamiczny
układ nieliniowy
obserwator diagnostyczny
odporność na uszkodzenia; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Dynamic fuzzy model for detecting verbal violence in real time
Autorzy:: Campos, Obed
Pancardo, Pablo
Hernandez-Nolasco, Jose Adan
Data publikacji:: 2022
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: fuzzy logic
dynamic
verbal violence
real time; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Analysis of High-Performance Near-threshold Dual Mode Logic Design
Autorzy:: Bikki, Pavankumar
Data publikacji:: 2019
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: CMOS logic
dual mode logic
dynamic mode
high performance
minimum energy point
near-threshold; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Dynamicznie rekonfigurowalny sterownik logiczny - łatwo programowalna architektura
Dynamically reconfigurable logic controller - architecture of improved programmability
Autorzy:: Milik, A.
Data publikacji:: 2009
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: sterownik programowalny
dynamiczna rekonfiguracja
FPGA
synteza logiczna
PLC
dynamic reconfiguration
logic synthesis; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Samorekonfigurowalny system cyfrowy
Self Reconfigurable Digital System
Autorzy:: Milik, A.
Mocha, J.
Data publikacji:: 2008
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: PLD
FPGA
dynamiczna rekonfiguracja
układy kontekstowe
synteza logiczna
dynamic reconfiguration
logic synthesis
decomposition; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Neuronowe programowanie dynamiczne w sterowaniu behawioralnym mobilnym robotem kołowym
Neural dynamic programming in behavioural control of a wheeled mobile robot
Autorzy:: Hendzel, M.
Szuster, M.
Data publikacji:: 2011
Wydawca:: Politechnika Białostocka. Oficyna Wydawnicza Politechniki Białostockiej
Tematy:: robot
logika rozmyta
neuronowe programowane dynamiczne
sterowanie
fuzzy logic
neural dynamic programming
control; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Procedura hardware in the loop w syntezie algorytmów sterowania
Hardware in the loop procedure used for the control system synthesis
Autorzy:: Jaszczak, S.
Data publikacji:: 2010
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: HIL
hardware-in-the-loop
PLC
Programmable Logic Controller
OPC (OLE for Process Control)
DDE (Dynamic Data Exchange)
programmable logic controller (PLC); Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "dynamic logic" wg kryterium: Temat