Wszystkie pola: logic in computer science

Skocz do pozycji: 1.

Tytuł:: Linear logic in computer science
Autorzy:: Steingartner, W.
Poláková, A.
Prazňák, P.
Novitzká, V.
Data publikacji:: 2015
Wydawca:: Politechnika Częstochowska. Wydawnictwo Politechniki Częstochowskiej
Tematy:: linear logic
resources
proofs; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Logika temporalna w informatyce
Temporal Logic in Computer Science
Autorzy:: Trzęsicki, Kazimierz
Data publikacji:: 2010
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:: logika
informatyka
logika temporalna
weryfikowanie systemów informatycznych
logic
computer science
temporal logic
verification of software systems; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Linear logic in computer science
Autorzy:: Steingartner, W.
Poláková, A.
Prazňák, P.
Novitzká, V.
Data publikacji:: 2015
Słowa kluczowe:: linear logic
resources
proofs; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Personal Reflections on the Role of Mathematical Logic in Computer Science
Autorzy:: Kfoury, Assaf
Data publikacji:: 2019
Słowa kluczowe:: computer logic
symbolic logic
mathematical logic
history of accounting
reflections; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based Model Checking
Autorzy:: Amat, Nicolas
Berthomieu, Bernard
Dal Zilio, Silvano
Data publikacji:: 2022
Słowa kluczowe:: Computer Science - Logic in Computer Science; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: A Note on Calculi for Non-deterministic Many-valued Logics
Autorzy:: Kaminski, Michael
Data publikacji:: 2022
Słowa kluczowe:: computer science
logic in computer science; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Towards Syntactic Epistemic Logic
Autorzy:: Artemov, Sergei
Data publikacji:: 2022
Słowa kluczowe:: logic in computer science
F.4.1; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Solving Infinite Games in the Baire Space
Autorzy:: Brütsch, Benedikt
Thomas, Wolfgang
Data publikacji:: 2022
Słowa kluczowe:: computer science
game theory
logic in computer science; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: On the Expressive Power of Non-deterministic and Unambiguous Petri Nets over Infinite Words
Autorzy:: Finkel, Olivier
Skrzypczak, Michał
Data publikacji:: 2021
Słowa kluczowe:: automata and formal languages
Petri nets
infinite words
logic in computer science
cantor topology
borel hierarchy
wadge degrees
highly undecidable properties
unambiguous Petri nets; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Applications of Algebra in Logic and Computer Science – the Past and the Future
Autorzy:: Grygiel, Joanna
Data publikacji:: 2018
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: conference
algebra
logic
applications; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: TEMPORAL LOGIC MODEL CHECKERS AS APPLIED IN COMPUTER SCIENCE
Autorzy:: Trzesicki Kazimierz
Tematy:: MODEL CHECKING
TEMPORAL LOGIC
LIBRARY & INFORMATION SCIENCE; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Satisfiability versus Finite Satisfiability in Elementary Modal Logics
Autorzy:: Michaliszyn, J.
Otop, J.
Witkowski, P.
Data publikacji:: 2018
Słowa kluczowe:: modality
satisfiability
computer science
logic
mathematics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: INFORMAL LOGIC AND LOGIC
Autorzy:: Blair J. Anthony
Tematy:: ARGUMENT SCHEMES
ARGUMENT SCHEMES IN COMPUTER SYSTEMS
ARGUMENTATION SCHEMES
CRITICAL QUESTIONS
FALLACY THEORY
FORMAL LOGIC
INFORMAL LOGIC
RELEVANCE AND SUFFICIENCY
WARRANTS
LIBRARY & INFORMATION SCIENCE; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Hierarchical fuzzy logic systems and controlling vehicles in computer games
Autorzy:: Renkas, K.
Niewiadomski, A.
Data publikacji:: 2014
Słowa kluczowe:: fuzzy logic systems
fuzzy controller
hierarchical fuzzy logic systems
hierarchical fuzzy controller
simulation in computer games
agents in computer games
system logiki rozmytej
regulator rozmyty
hierarchiczny system logiki rozmytej
hierarchiczny regulator rozmyty
symulacja w grach komputerowych
agenty w grach komputerowych; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: XOR-based decomposition and its application in memory-based and reversible logic synthesis
Autorzy:: Mazurkiewicz, Tomasz
Data publikacji:: 2023
Słowa kluczowe:: dimensionality reduction
computer science
Boolean functions
input variables
memory management
logic gate
minimization
redukcja wymiarowości
informatyka
funkcje boolowskie
zmienna wejściowa
zarządzanie pamięcią
bramka logiczna
minimalizacja; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Fuzzy Logic Tools in Intelligent Micro-Bearing Systems
Autorzy:: Wierzcholski, K. Ch.
Data publikacji:: 2009
Słowa kluczowe:: sztuczna inteligencja
mikrołożyska
fuzzy logic tools
artificial intelligence
micro-bearings; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Calculation model of teaching costs in a university
Autorzy:: Jucha, M.
Bocewicz, G.
Matuszek, J.
Data publikacji:: 2010
Słowa kluczowe:: teaching costs
fuzzy logic
decision support systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: Fuzzy logic in rationalization of production systems on the basis of simulation project
Autorzy:: Kukla, S.
Data publikacji:: 2010
Słowa kluczowe:: modelling and simulation
multicriterion evaluation of variants
fuzzy logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: Execution of parallel logic-algebraic algorithms in expert system SymLog
Autorzy:: Borzemski, L.
Fraś, M.
Data publikacji:: 2002
Słowa kluczowe:: SymLog
przetwarzanie równoległe
metoda logiczno-algebraiczna
parallel processing
logic-algebraic method; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: Dynamic fuzzy model for detecting verbal violence in real time
Autorzy:: Campos, Obed
Pancardo, Pablo
Hernandez-Nolasco, Jose Adan
Data publikacji:: 2022
Słowa kluczowe:: fuzzy logic
dynamic
verbal violence
real time; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 21.

Tytuł:: Application of deontic logic in role-based access control
Autorzy:: Kołaczek, G.
Data publikacji:: 2002
Słowa kluczowe:: logika formalna
kontrola dostępu
RBAC
bezpieczeństwo systemu
formal logic
access control
system security
reasoning automation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 22.

Tytuł:: CP approach to design of steady-state flow of repetitive manufacturing processes in SME
Autorzy:: Wójcik, R.
Bocewicz, G.
Data publikacji:: 2005
Słowa kluczowe:: production planning
waiting-free schedules design
constraint logic programming; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 23.

Tytuł:: Data Mining-Based Intelligent Equipment Maintenance System in Telecommunication Network
Autorzy:: Sodiya, A. S.
Longe, H. O. D.
Ibrahim, S. A.
Data publikacji:: 2005
Słowa kluczowe:: artificial intelligence
deduction
induction
predicate logic
resolution
theorem proving; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:: Practical application of fuzzy logic in production control systems of engineer to order SMES
Autorzy:: Cieśla, Bartosz
Mleczko, Janusz
Data publikacji:: 2021
Słowa kluczowe:: production control
SMEs
ETO
Mass Customization
Fuzzy Logic
kontrola produkcji
MŚP
Masowa personalizacja
logika rozmyta; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 25.

Tytuł:: Experimental analysis of some computation rules in a simple parallel reasoning system for the ALC description logic
Autorzy:: Meissner, A.
Data publikacji:: 2011
Słowa kluczowe:: wnioskowanie równoległe
logika opisowa
parallel reasoning
lean deduction
ALC description logic
Oz language; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 26.

Tytuł:: Fuzzy-Logic Fault Isolation in Large-Scale Systems
Autorzy:: Kościelny, J. M.
Sędziak, D.
Zakroczymski, K.
Data publikacji:: 1999
Słowa kluczowe:: logika rozmyta
wyodrębnianie uszkodzeń
system na wielką skalę
diagnostics
fuzzy logic
fault isolation
large-scale systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 27.

Tytuł:: Decomposition of the fuzzy inference system for implementation in the FPGA structure
Autorzy:: Wyrwoł, B.
Hrynkiewicz, E.
Data publikacji:: 2013
Słowa kluczowe:: fuzzy logic
fuzzy inference algorithm
decomposition
digital fuzzy logic controller
FPGA
logika rozmyta
algorytm wnioskowania rozmytego
sterownik rozmyty; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 28.

Tytuł:: Digital Works jako narzędzie wspomagające kształcenie inżynierów informatyki w zakresie symulacji cyfrowych układów logicznych
Digital Works as a Tool Supporting the Education of Computer Engineers in the Field of Digital Logic Circuit Simulation
Autorzy:: GAUDA KONRAD
Data publikacji:: 2019
Tematy:: architektura komputerów
proces kształcenia
informatyka
Digital Works
computer architecture
education process
computer science
Digital Works application; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 29.

Tytuł:: Digital Works jako narzędzie wspomagające kształcenie inżynierów informatyki w zakresie symulacji cyfrowych układów logicznych
Digital Works as a Tool Supporting the Education of Computer Engineers in the Field of Digital Logic Circuit Simulation
Autorzy:: GAUDA, KONRAD
Data publikacji:: 2019
Wydawca:: Uniwersytet Rzeszowski
Tematy:: architektura komputerów
proces kształcenia
informatyka
Digital Works
computer architecture
education process
computer science
Digital Works application; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 30.

Tytuł:: Realization of multiplexer logic-based 2-D block firfilter using distributed arithmetic
Autorzy:: Chowdari, Ch. Pratyusha
Seventline, J. Beatrice
Data publikacji:: 2023
Wydawca:: Instytut Podstawowych Problemów Techniki PAN
Tematy:: 2-D FIR filter
switching-based LUT
distributed arithmetic
block processing
2-D FIR filtr
arytmetyka rozproszona
przetwarzanie blokowe; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 31.

Tytuł:: The set of PrAl+valid in a finite structure is undecidable
Autorzy:: Borowska, A.
Data publikacji:: 2013
Słowa kluczowe:: Probabilistic Algorithmic Logic
existential iteration quantifier
probabilistyczna logika algorytmiczna
kwantyfikator egzystencjalny iteracji; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 32.

Tytuł:: Risk assessement in multi-project environment
Autorzy:: Tomczuk-Piróg, I.
Banaszak, Z.
Data publikacji:: 2007
Słowa kluczowe:: constraint logic programming
constraint satisfaction problem (CSP)
decision support system
knowledge engineering
projects management
multi-project environment; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 33.

Tytuł:: Fuzzy logic system for rectification of erroneous measurements caused by human intervention in HPFF installation
Autorzy:: Wenerski, M.
Tomala, R.
Marciniak, P.
Kotas, R.
Data publikacji:: 2011
Słowa kluczowe:: logika rozmyta
HPFF
wykrywanie
system ekspertowy
fuzzy logic
high-pressure fluid-filled cables
detection
expert system; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 34.

Tytuł:: Reduction in the number of PAL macrocells in the ciruit of a Moore FSM
Autorzy:: Barkalov, A. A.
Titarenko, L.
Chmielewski, S.
Data publikacji:: 2007
Słowa kluczowe:: Moore finite-state machine
complex programmable logic devices
design
logic circuit
pseudoequivalent states
automat Moore'a
złożone programowalne układy logiczne
układ logiczny
stan pseudorównoważny; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 35.

Tytuł:: Realization of logic integrated circuits in VeSTIC process - design, fabrication, and characterization
Autorzy:: Domański, Krzysztof
Głuszko, Grzegorz
Sierakowski, Andrzej
Tomaszewski, Daniel
Szmigiel, Dariusz
Data publikacji:: 2018
Słowa kluczowe:: VeSTIC
VeSFET
logic cell
logic integrated circuit
ring oscillator
parasitic element
oscillation frequency
compact modeling
komórka logiczna
logiczny układ scalony
generator pierścieniowy
częstotliwość oscylacji
kompaktowe modelowanie; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 36.

Tytuł:: A textbook with tasks in logic and set theory for applied computer science
Podręcznik z zadaniami z logiki i teorii mnogości dla informatyki stosowanej
Autorzy:: Sitarz, Andrzej
Hadasz, Leszek
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Książka

na półce

Szczegóły

Skocz do pozycji: 37.

Tytuł:: What is not clear in fuzzy control systems?
Autorzy:: Piegat, A.
Data publikacji:: 2006
Słowa kluczowe:: sterowanie rozmyte
system rozmyty
arytmetyka rozmyta
logika rozmyta
możliwość
fuzzy control
fuzzy systems
fuzzy arithmetic
fuzzy logic
necessity
possibility; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 38.

Tytuł:: Application of a fuzzy controller in the process of automated polyethylene film thickness control
Autorzy:: Jardzioch, Andrzej
Marczak, Wioletta
Data publikacji:: 2021
Słowa kluczowe:: fuzzy logic
fuzzy sets
fuzzy controller
simulation model
Matlab
SIMULINK
logika rozmyta
zbiory rozmyte
kontroler rozmyty
model symulacyjny; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 39.

Tytuł:: Automatic risk control based on FSA methodology adaptation for safety assessment in intelligent buildings
Autorzy:: Mikulik, J.
Zajdel, M.
Data publikacji:: 2009
Słowa kluczowe:: ryzyko
ocena bezpieczeństwa
logika rozmyta
inteligentny budynek
risk
formal safety assessment
fuzzy logic
intelligent building; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 40.

Tytuł:: Application of fuzzy logic in a secure beacon-based guidance system for public transportation
Autorzy:: Molina-Gil, Jezabel
Caballero-Gil, Pino
Quesada-Arencibia, Alexis
de Blasio, Gabriele Salvatore
Data publikacji:: 2022
Słowa kluczowe:: public transport
guidance system
location system
Bluetooth Low Energy
fuzzy logic
transport publiczny
system naprowadzania
system lokalizacji
logika rozmyta; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 41.

Tytuł:: Fault detection in nonlinear systems via linear methods
Autorzy:: Zhirabok, A.
Shumsky, A.
Solyanik, S.
Suvorov, A.
Data publikacji:: 2017
Słowa kluczowe:: 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:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 42.

Tytuł:: Automated generation of business process models using constraint logic programming in Python
Autorzy:: Paszun, Tymoteusz
Wiśniewski, Piotr
Kluza, Krzysztof
Ligęza, Antoni
Data publikacji:: 2019
Słowa kluczowe:: business process management
process composition
workflow log
constraint programming
BPMN
zarządzanie procesami biznesowymi
przepływ pracy
programowanie z ograniczeniami; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 43.

Tytuł:: Realization of multiplexer logic-based 2-D block firfilter using distributed arithmetic
Autorzy:: Chowdari, Ch. Pratyusha
Seventline, J. Beatrice
Data publikacji:: 2023
Słowa kluczowe:: 2-D FIR filter
switching-based LUT
distributed arithmetic
block processing
2-D FIR filtr
arytmetyka rozproszona
przetwarzanie blokowe; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 44.

Tytuł:: Handling of categorical data in software development effort estimation: a systematic mapping study
Autorzy:: Amazal, Fatima Azzahra
Idri, Ali
Data publikacji:: 2019
Słowa kluczowe:: fuzzy logic
fuzzy set theory
pattern clustering
project management
regression analysis
software cost estimation
software development management
logika rozmyta
teoria zbiorów rozmytych
zarządzanie projektami
analiza regresji
szacowanie kosztów
zarządzanie rozwojem oprogramowania; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 45.

Tytuł:: Beta Fuzzy Logic Systems: Approximation Properties in the Siso Case
Autorzy:: Alimi, A. M.
Hassine, R.
Selmi, M.
Data publikacji:: 2000
Słowa kluczowe:: funkcja beta
własność aproksymacyjna
model rozmyty
beta function
universal approximation property
best approximation property
interpolation property
Sugeno fuzzy model
SISO systems; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 46.

Tytuł:: Beta Fuzzy Logic Systems: Approximation Properties in the mimo Case
Autorzy:: Alimi, A. M.
Hassine, R.
Selmi, M.
Data publikacji:: 2003
Słowa kluczowe:: funkcja beta
właściwość przybliżenia
model rozmyty Sugeno
beta function
universal approximation property
best approximation property
interpolation property
Sugeno fuzzy model
MIMO system; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "logic in computer science" wg kryterium: Wszystkie pola