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

Informacja

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