Wszystkie pola: logical methods

Skocz do pozycji: 1.

Tytuł:: Logical Methods in Computer Science
Współwytwórcy:: Scott, Dana S.
Data publikacji:: 2005-
Wydawca:: International Federation of Computational Logic
Słowa kluczowe:: automatyczne dowodzenie twierdzeń
teoria informatyki
logika w informatyce
sztuczna inteligencja
programowanie logiczne
automatyczne wnioskowanie; Pokaż więcej
Dostawca treści:: Jagiellońska Biblioteka Cyfrowa

Inne

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Continuous-Logical Methods in Mathematical Economics
Autorzy:: Vitaly I. Levin
Data publikacji:: 2016-03-01
Tematy:: continuous logic
logical determinant
mathematical economics; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: O pewnych zastosowaniach eliminacji kwantyfikatorów w robotyce
Autorzy:: Szałas, A.
Data publikacji:: 2006
Słowa kluczowe:: kwantyfikatory
robotyka
techniki logistyczne
quantifiers
robotics
logical methods; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

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ł

na półce

Szczegóły

Skocz do pozycji: 5.

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ł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Combining logical and distributional methods in type-logical grammars
Autorzy:: Moot, R.
Data publikacji:: 2018
Słowa kluczowe:: type-logical grammar
Lambek calculus
theorem proving; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Analiza i eksploracja danych metodami syntezy logicznej
Autorzy:: Łuba, Tadeusz
Wąsicki, Dariusz
Data publikacji:: 2020
Słowa kluczowe:: eksploracja danych
redukcja atrybutów
sekwencyjne pokrywanie
funkcja rozróżnialności
macierz rozróżnialności
indukcja reguł
pokrycie kolumnowe
transformacja CNF na DNF
postać normalna
data mining
attributes reduction
sequential covering
discernibility function
discernibility matrix
rule induction
column covering
conjunctive normal form
disjunctive normal form
CNF on to DNF transformation
normal form; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Metody syntezy logicznej w optymalizacji sprzętowej systemów eksploracji danych
Autorzy:: Wąsicki, Dariusz
Malinowska, Agnieszka
Data publikacji:: 2020
Słowa kluczowe:: dekompozycja funkcjonalna
dekompozycja liniowa
funkcja generowania indeksów
generator indeksów
metoda s-Min
program Błyskawica
functional decomposition
index generation functions
index generation unit
Lightning (Błyskawica) application
linear decomposition
s-Min method; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Analysis, verification and design of tabular systems. Logical, algebraic and graphical methods
Autorzy:: Ligęza, A.
Nalepa, G. J.
Szmuc, T.
Szpyrka, M.
Szwed, P.
Wojnicki, I.
Data publikacji:: 2001
Słowa kluczowe:: systemy tablicowe
tabular systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: An overview of structural and logical coverage measurement methods and an implementation of modified condition/decision coverage measurement
Przegląd metod pomiaru pokrycia strukturalnego oraz logicznego i implementacja pomiaru pokrycia warunków znaczących
Autorzy:: Morszczyński, Artur
Słowa kluczowe:: software testingcode coveragestructural coveragelogical coveragemodified condition/decision coveragesoftware engineeringPython
testowanie oprogramowaniapokrycie kodupokrycie strukturalnepokrycie logicznepokrycie warunków znaczącychinżynieria oprogramowaniaPython; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 11.

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, Angelika. Autor
Współwytwórcy:: Szałamacha, Tadeusz. Tłumaczenie
Data publikacji:: 2017
Tematy:: Teoria architektury
Architektura
Psychologia środowiskowa
Metodologia
Środowisko człowieka; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

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 Angelika
Tematy:: architektura
środowisko
badania
analiza planu
metody jakościowe
mapowanie behawioralne
architecture
environment
research
space-syntax
qualitative methods
behavioral mapping; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

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ł

na półce

Szczegóły

Skocz do pozycji: 14.

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:: A. Lasiewicz-Sych
Data publikacji:: 2017
Tematy:: architektura
środowisko
badania
analiza planu
metody jakościowe
mapowanie behawioralne
spacesyntax; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Uwagi na temat kombinacji metod logicznych i jakościowych w diagnozie środowiska architektonicznego
Autorzy:: Lasiewicz-Sych, A.
Data publikacji:: 2017
Słowa kluczowe:: architektura
środowisko
badania
analiza planu
metody jakościowe
mapowanie behawioralne
architecture
environment
research
spacesyntax
qualitative methods
behavioral mapping; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Metody synchronizacji czasu w sieciach komputerowych
Autorzy:: Woch, M.
Data publikacji:: 2004
Słowa kluczowe:: synchronizacja czasu
metoda Cristiana
algorytm z Berkeley
NTP
relacja uprzedniości zdarzeń
zegar logiczny
time synchronization
Cristian method
algorithm from Berkeley
happened-before relation
casual ordering
logical clock; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: QUANTITAIVE METHODS APPLIED IN ECONOMIC RESEARCH (Metody ilosciowe w badaniach ekonomicznych)
Autorzy:: Rogowski Jozef
Tematy:: CRITICAL RATIONALISM
ECONOMETRIC SCIENCES' METHODOLOGY
INSTRUMENTALISM
LOGICAL POSITIVISM
ECONOMICS; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 18.

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ł

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: Prediction of protein secondary structure using logical analysis of data algorithm
Autorzy:: Błażewicz, J.
Hammer, P.
Łukasiak, P.
Data publikacji:: 2001
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: Metody optymalizacyjne oparte na ogólnym schemacie modelu algebraiczno-logicznego
Autorzy:: Dutkiewicz, L.
Kucharska, E.
Data publikacji:: 2011
Słowa kluczowe:: model algebraiczno-logiczny
proces decyzyjny
optymalizacja lokalna
symulacja dyskretna
algebraic-logical model
decision process
local optimization
discrete simulation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 21.

Tytuł:: New Methods for Designing and Reduction of Neuro-Fuzzy Systems
Autorzy:: Cpałka, K.
Data publikacji:: 2010
Słowa kluczowe:: 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:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 22.

Tytuł:: Metody realizacji operacji bitowych języka LD w urządzeniach sterujących opartych o architekturę AVR
Autorzy:: Herb, Ł.
Data publikacji:: 2016
Słowa kluczowe:: operacja logiczna
mikroprocesor
architektura AVR
logical operation
microprocessor
AVR architecture; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 23.

Tytuł:: Niekonwencjonalne metody detekcji zwarć w systemach elektroenergetycznych
Autorzy:: Musierowicz, K.
Data publikacji:: 2004
Słowa kluczowe:: analiza falkowa
zwarcie doziemne
zabezpieczenie
inercja logiczna
protective device
wavelet analysis
earth fault
logical inertia; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:: Asymetria funkcjonalna mózgu a wykorzystanie mnemotechnik w procesie dydaktycznym
Functional brain asymmetry and mnémotechniques in the didactic process
Autorzy:: Skibska, Joanna
Data publikacji:: 2010
Wydawca:: Oficyna Wydawnicza "Humanitas"
Słowa kluczowe:: functional brain asymmetry
gestalt hemisphere
memory methods
nervous system concentration
metaobwody
transpozycja
mnemotechniques
półkula logiczna
logical hemisphere
mnemotechniki
asymetria funkcjonalna mózgu
półkula gestalt; Pokaż więcej
Dostawca treści:: Repozytorium Centrum Otwartej Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 25.

Tytuł:: Metody programowania sterowników PLC – zagadnienia wybrane
Autorzy:: Kuczyński, Karol
Parzonko, Grzegorz
Data publikacji:: 2019
Słowa kluczowe:: sterownik PLC
funkcja logiczna
język programowania
blok funkcyjny
operacja logiczna
PLC
logic function
programming language
function block
logical operation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 26.

Tytuł:: Walidować? Weryfikować? Nie ruszać? O niestatystycznych, statystycznych i stochastycznych metodach oceny jakości danych ilościowych opowieść
Autorzy:: Konrad Gałuszko
Joanna Lewczuk
Krystian Kuźma
Tematy:: data quality assessment,
statistical methods,
logical control,
statistical tests,
normal distribution; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 27.

Tytuł:: Neural methods of knowledge extraction
Autorzy:: Duch, W.
Adamczak, R.
Grąbczewski, K.
Jankowski, N.
Data publikacji:: 2000
Słowa kluczowe:: 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:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 28.

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ł

na półce

Szczegóły

Skocz do pozycji: 29.

Tytuł:: Wybrane problemy diagnostyki z wykorzystaniem metod bayesowskich
Autorzy:: Jaźwiński, J.
Grabski, F.
Data publikacji:: 2004
Słowa kluczowe:: stan obiektu
klasa
rozpoznanie
diagnostyka logiczna
metoda bayesowska
state of object
class
recognition
logical diagnostics
Bayesian method; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 30.

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ł

na półce

Szczegóły

Skocz do pozycji: 31.

Tytuł:: Application of minimization methods in modeling of converter drives
Autorzy:: Beniak, R.
Waindok, A.
Zimon, J.
Data publikacji:: 2007
Słowa kluczowe:: modelowanie matematyczne
napęd przekształtnikowy
metoda zmiennej struktury
funkcja logiczna
schemat kodowania
mathematical model
converter drive
logical function
coding scheme; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 32.

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ł

na półce

Szczegóły

Skocz do pozycji: 33.

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ł

na półce

Szczegóły

Skocz do pozycji: 34.

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ł

na półce

Szczegóły

Skocz do pozycji: 35.

Tytuł:: Metody porównawcze stosowane w badaniach systemów wyborczych
The use of comparative methods in the study of electoral systems
Autorzy:: Bartłomiej Michalak
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:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 36.

Tytuł:: Functional brain asymmetry and mnémotechniques in the didactic process
Asymetria funkcjonalna mózgu a wykorzystanie mnemotechnik w procesie dydaktycznym
Autorzy:: Skibska, Joanna
Współwytwórcy:: Akademia Techniczno-Humanistyczna w Bielsku-Białej
Data publikacji:: 2010
Wydawca:: Oficyna Wydawnicza "Humanitas"
Słowa kluczowe:: functional brain asymmetry
transpozycja
półkula logiczna
mnemotechniques
mnemotechniki
logical hemisphere
metaobwody
nervous system concentration
gestalt hemisphere
półkula gestalt
memory methods
asymetria funkcjonalna mózgu; Pokaż więcej
Dostawca treści:: Repozytorium Centrum Otwartej Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 37.

Tytuł:: Roman Ingarden and metaphilosophical discussions
Roman Ingarden i dyskusje metafilozoficzne
Autorzy:: Kleszcz, Ryszard
Tematy:: F. Brentano
R. Ingarden
T. Kotarbiński
logical positivism
Lvov-Warsaw School
metaphilosophy
methods of philosophy
philosophy and science
philosophy and worldview
Vienna Circle
filozofia a nauka
filozofia a światopogląd
Koło Wiedeńskie
metafilozofia
metody filozofii
pozytywizm logiczny
Szkoła Lwowsko-Warszawska
Nauki Humanistyczne i Społeczne; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "logical methods" wg kryterium: Wszystkie pola