Temat: hybrid logic - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: Quantification in frame semantics with binders and nominals of hybrid logic
Autorzy:: Kallmeyer, L.
Osswald, R.
Pogodalla, S.
Data publikacji:: 2017
Wydawca:: Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Tematy:: frame semantics
quantification
hybrid logic
Abstract Categorial Grammar
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Identity, equality, nameability and completeness. Part II
Autorzy:: Manzano, María
Moreno, Manuel Crescencio
Data publikacji:: 2018
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: identity
equality
completeness
nameability
first-order modal logic
hybrid logic
hybrid type theory
equational hybrid propositional type theory
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Analytic Non-Labelled Proof-Systems for Hybrid Logic: Overview and a couple of striking facts
Autorzy:: Braüner, Torben
Data publikacji:: 2022-01-07
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: hybrid logic
natural deduction systems
sequent systems
normalization
cut-elimination
analycity
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Hybrid position control technique of induction motor drive
Autorzy:: Júnior, A. B. S.
Diniz, E. C. de
Honório, D. A.
Barreto, L. H. S. C.
Reis, L. L. N. dos
Data publikacji:: 2013
Wydawca:: Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:: vector control
predictive control
hybrid control
fuzzy logic
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: An Improved Method of Serial Balancing of Hybrid Boiler Station Systems
Autorzy:: Jaworski, Łukasz
Shkarovskiy, Alexander
Chernykh, Aleksandr
Data publikacji:: 2021
Wydawca:: Politechnika Koszalińska. Wydawnictwo Uczelniane
Tematy:: thermo-hydraulic distributor
hybrid boiler station
system balancing
temperature logic
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Comparison of two controllers for directional control of a hybrid electric vehicle
Autorzy:: Dash, B. K.
Subudhi, B.
Data publikacji:: 2012
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: directional control
active steering
fuzzy logic control
PID control
hybrid vehicle
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Hybrid Learning of Interval Type-2 Fuzzy Systems Based on Orthogonal Least Squares and Back Propagation for Manufacturing Applications
Autorzy:: Mendez, G.
Hernandez, A.
Data publikacji:: 2008
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: type-2 fuzzy inference systems
type-2 neuro-fuzzy systems
hybrid learning
uncertain rule-based fuzzy logic systems
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Modeling and simulation of stand-alone hybrid power system with fuzzy MPPT for remote load application
Autorzy:: Bogaraj, T.
Kanakaraj, J.
Chelladurai, J.
Data publikacji:: 2015
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: Solar PV system
Wind energy conversion system
Hybrid power system
DC-DC converters
fuzzy logic based MPPT
Three phase PWM inverter
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Monitoring and control of energy management system for fuel cell hybrid in electrical vehicle using fuzzy approach
Autorzy:: Tifour, Benali
Boukhnifer, Moussa
Hafaifa, Ahmed
Tanougast, Camel
Data publikacji:: 2020
Wydawca:: Polska Akademia Nauk. Polskie Towarzystwo Diagnostyki Technicznej PAN
Tematy:: energy monitoring
fuel cell hybrid
particle swarm
fuel economy
fuzzy logic
monitorowanie energii
zarządzanie energią
ogniwo paliwowe
zużycie paliwa
logika rozmyta
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Speed control of doubly fed induction motor using backstepping control with interval type-2 fuzzy controller
Autorzy:: Herizi, Abdelghafour
Rouabhi, Riyadh
Zemmit, Abderrahim
Data publikacji:: 2023
Wydawca:: Polska Akademia Nauk. Polskie Towarzystwo Diagnostyki Technicznej PAN
Tematy:: double fed induction motor
type-2 fuzzy logic
backstepping control
hybrid control
robust
silnik indukcyjny
logika rozmyta typu 2
kontrola wsteczna
sterowanie hybrydowe
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Application of constraint logic programming to decision support for the supply chain management
Zastosowanie programowania w logice z ograniczeniami do wspomagania decyzji zarządzania łańcuchem dostaw
Autorzy:: Sitek, P.
Data publikacji:: 2013
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: zarządzanie łańcuchem dostaw
wspomaganie decyzji
programowanie w logice z ograniczeniami
modelowanie hybrydowe
Supply Chain Management (SCM)
decision support
constraint satisfaction problem (CSP)
constraint logic programming (CLP)
hybrid modeling
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Multi-objective optimization of in-situ bioremediation of groundwater using a hybrid metaheuristic technique based on differential evolution, genetic algorithms and simulated annealing
Wielozadaniowa optymalizacja bioremediacji wód gruntowych in situ z zastosowaniem hybrydowej techniki metaheurystycznej opartej na zróżnicowanej ewolucji, algorytmach genetycznych i symulowanym wyżarzaniu
Autorzy:: Kumar, D.
Ch, S.
Mathur, S.
Adamowski, J.
Data publikacji:: 2015
Wydawca:: Instytut Technologiczno-Przyrodniczy
Tematy:: differential evolution
fuzzy logic
genetic algorithm
groundwater
hybrid algorithm
in situ bioremediation
simulated annealing
support vector machine (SVM)
bioremediacja in situ
algorytm hybrydowy
algorytm genetyczny
logika rozmyta
maszyna wektorów nośnych SVM
wyżarzanie symulowane
wody gruntowe
zróżnicowana ewolucja
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Szczegóły

Informacja

Wyszukujesz frazę "hybrid logic" wg kryterium: Temat