Wszystkie pola: logical methods

Skocz do pozycji: 1.

Tytuł:: O pewnych zastosowaniach eliminacji kwantyfikatorów w robotyce
Autorzy:: Szałas, A.
Data publikacji:: 2006
Wydawca:: Warszawska Wyższa Szkoła Informatyki
Tematy:: kwantyfikatory
robotyka
techniki logistyczne
quantifiers
robotics
logical methods; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Combining logical and distributional methods in type-logical grammars
Autorzy:: Moot, R.
Data publikacji:: 2018
Wydawca:: Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Tematy:: type-logical grammar
Lambek calculus
theorem proving; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Uwagi na temat kombinacji metod logicznych i jakościowych w diagnozie środowiska architektonicznego
Notes on the combination of logical argumentation and qualitative methods in diagnosis of the built environment
Autorzy:: Lasiewicz-Sych, A.
Data publikacji:: 2017
Wydawca:: Politechnika Wrocławska. Oficyna Wydawnicza Politechniki Wrocławskiej
Tematy:: architektura
środowisko
badania
analiza planu
metody jakościowe
mapowanie behawioralne
spacesyntax; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Metody optymalizacyjne oparte na ogólnym schemacie modelu algebraiczno-logicznego
Optimization methods based on general schema of algebraic-logical model
Autorzy:: Dutkiewicz, L.
Kucharska, E.
Data publikacji:: 2011
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: model algebraiczno-logiczny
proces decyzyjny
optymalizacja lokalna
symulacja dyskretna
algebraic-logical model
decision process
local optimization
discrete simulation; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Neural methods of knowledge extraction
Autorzy:: Duch, W.
Adamczak, R.
Grąbczewski, K.
Jankowski, N.
Data publikacji:: 2000
Wydawca:: Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:: diagnostyka medyczna
optymalizacja
reguła logiczna
reguła rozmyta
wspomaganie decyzji
data mining
decision support
fuzzy rules
logical rules
medical diagnosis
optimization; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 6.

Tytuł:: New Methods for Designing and Reduction of Neuro-Fuzzy Systems
Autorzy:: Cpałka, K.
Data publikacji:: 2010
Wydawca:: Społeczna Akademia Nauk w Łodzi
Tematy:: algorithm of best global eliminations
algorithm of best local eliminations
consecutive eliminations algorithm
consecutive mergings algorithm
interpretability
logical approach
neuro-fuzzy system; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Metody realizacji operacji bitowych języka LD w urządzeniach sterujących opartych o architekturę AVR
The methods of the binary operations in control devices based on AVR architecture
Autorzy:: Herb, Ł.
Data publikacji:: 2016
Wydawca:: Wydawnictwo Druk-Art
Tematy:: operacja logiczna
mikroprocesor
architektura AVR
logical operation
microprocessor
AVR architecture; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Construction of Scientific Facts – Why is Relativism Essential in Bypassing Incommensurable Gaps in Humanities. Case of Personal Involvement – Biased Scientific Facts
Autorzy:: Mulej, Lucija
Data publikacji:: 2008-04-30
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: Comparative methods
Interdisciplinary research
Paradigm (gestalt) shift
Relativism
Incommensurability
Psychoanalysis
Interpretative gaps
Epistemology
Logical inconsistency
Logic; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Metody porównawcze stosowane w badaniach systemów wyborczych
The use of comparative methods in the study of electoral systems
Autorzy:: Michalak, Bartłomiej
Data publikacji:: 2016-09-30
Wydawca:: Wydawnictwo Adam Marszałek
Tematy:: komparatystyka
metoda porównawcza
systemy wyborcze
metoda instytucjonalna-prawna
metoda statystyczno-empiryczna
metoda logiczno-empiryczna
metoda historyczno-empiryczna
comparative method
electoral systems
institutional method
historical-empirical method
statistical-empirical method
quantitatively predictive logical models; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

Szczegóły

Informacja