Skocz do pozycji: 1.

Tytuł:

Logic Programming Representation of the Compound Term Composition Algebra

Autorzy:

Analyti, A.
Pachoulakis, I.

Data publikacji:

2006

Słowa kluczowe:

faceted taxonomies
Logic Programming (LP)
computational complexity
application

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:

FSM encoding for BDD representations

Autorzy:

Gosti, W.
Villa, T.
Saldanha, A.
Sangiovanni-Vincentelli, A. L.

Data publikacji:

2007

Słowa kluczowe:

binarny diagram decyzyjny
kodowanie
automat skończony
synteza logiczna
weryfikacja formalna
binary decision diagram
encoding
finite state machine
logic synthesis
formal verification
logic representation

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:

FSM encoding for BDD representations

Autorzy:

Gosti, W.
Villa, T.
Saldanha, A.
Sangiovanni-Vincentelli, A. L.

Data publikacji:

2007

Wydawca:

Uniwersytet Zielonogórski. Oficyna Wydawnicza

Tematy:

binarny diagram decyzyjny
kodowanie
automat skończony
synteza logiczna
weryfikacja formalna
binary decision diagram
encoding
finite state machine
logic synthesis
formal verification
logic representation

Pokaż więcej

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:

MIMO LOGIKY REPREZENTÁCIE. PROBLÉM NEREPREZENTOVATEĽNÉHO VO FILOZOFII OBRAZU J. RANCIERA
Beyond the logic of representation: The problem of the unrepresentable in the philosphy of image of J. Ranciere

Autorzy:

Fišerová Michaela

Tematy:

PHILOSOPHY OF IMAGE
POLITICAL PHILOSOPHY
RANCIERE J.
UNREPRESENTABLE
VISUALITY
PHILOSOPHY

Pokaż więcej

Dostawca treści:

CEJSH

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:

Application of ALSV(FD) logic and XTT knowledge representation in the range of ADI properties

Autorzy:

Regulski, K.
Wilk-Kołodziejczyk, D.
Rojek, B.
Kluska-Nawarecka, S.
Adrian, W. T.

Data publikacji:

2016

Wydawca:

Polska Akademia Nauk. Czytelnia Czasopism PAN

Tematy:

foundry production
computer aided foundry
application of information technologies
ADI
ALSV
rule based XTT format
odlewnia
odlewy
komputerowe wspomaganie odlewni
zastosowanie technologii informatycznych

Pokaż więcej

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:

Explicit Constructive Logic ECL : a New Representation of Construction and Selection of Logical Information by an Epistemic Agent

Autorzy:

Gentilini, P.
Martelli, M.
Rosolini, G.

Data publikacji:

2015

Słowa kluczowe:

constructivism in logic
higher order logic
intuitionistic logic
constructive paraconsistent logic

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:

Application of ALSV(FD) logic and XTT knowledge representation in the range of ADI properties

Autorzy:

Regulski, K.
Wilk-Kołodziejczyk, D.
Rojek, B.
Kluska-Nawarecka, S.
Adrian, W. T.

Data publikacji:

2016

Słowa kluczowe:

foundry production
computer aided foundry
application of information technologies
ADI
ALSV
rule based XTT format
odlewnia
odlewy
komputerowe wspomaganie odlewni
zastosowanie technologii informatycznych

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:

Reprezentacja przestrzeni stanów sterownika logicznego z wykorzystaniem kodowanych diagramów decyzyjnych

Autorzy:

Bubacz, P.
Adamski, M.

Data publikacji:

2007

Słowa kluczowe:

binarne diagramy decyzyjne
OBDD
rekonfigurowane sterowniki logiczne
kodowanie stanów
synteza logiczna
weryfikacja formalna
Ordered Binary Decision Diagram
Reconfugurable Logic Controller
state encoding
logic synthesis
formal verification

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:

Reprezentacja przestrzeni stanów sterownika logicznego z wykorzystaniem kodowanych diagramów decyzyjnych
Reconfigurable Logic Controller state space representation using encoded Binary Decision Diagrams

Autorzy:

Bubacz, P.
Adamski, M.

Data publikacji:

2007

Wydawca:

Stowarzyszenie Inżynierów i Techników Mechaników Polskich

Tematy:

1st order nonstationary measurement system
rekonfigurowane sterowniki logiczne
kodowanie stanów
synteza logiczna
weryfikacja formalna
Ordered Binary Decision Diagram
Reconfugurable Logic Controller
state encoding
logic synthesis
formal verification

Pokaż więcej

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:

A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution

Autorzy:

Eiter, T.
Erdem, E.
Faber, W.
Senko, J.

Data publikacji:

2007

Słowa kluczowe:

knowledge representation
reasoning about actions
logic-based planning
explanations
execution monitoring
computational complexity

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:

On the Representation of Action and Agency in the Theory of Normative Positions

Autorzy:

Sergot, M.
Richards, F.

Data publikacji:

2001

Słowa kluczowe:

deontic logic
normative systems
logic of action
logic of agency
theory of rights
knowledge representation
computer system specification

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:

Knowledge representation framework based on epistemic logic

Autorzy:

Przymusinski, Teodor

Data publikacji:

2013

Dostawca treści:

Academica

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:

Towards Deriving Conclusions from Cause-effect Relations

Autorzy:

Fandinno, J.

Data publikacji:

2016

Słowa kluczowe:

logic programming
semantics
knowledge representation
performance evaluation
computer algorithms

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:

Hilbert algebras with a necessity modal operator

Autorzy:

Celani, S. A.
Montangie, D.

Data publikacji:

2014

Słowa kluczowe:

Hilbert algebras
modal operator
modal logic
theory of representation
topological duality

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:

A Knowledge Representation Framework Based on Epistemic Logic

Autorzy:

Przymusiński, T.

Data publikacji:

2014

Wydawca:

Warszawska Wyższa Szkoła Informatyki

Tematy:

non-monotonic reasoning
semantics of logic programs
disjunctive logic programs
deductive databases

Pokaż więcej

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:

Computation of extensions of seminormal default theories

Autorzy:

Su, K.
Li, W.

Data publikacji:

1999

Słowa kluczowe:

reasoning
knowledge representation
default logic
ordered default theory
extension

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:

Features Reduction Using Logic Minimization Techniques

Autorzy:

Borowik, G.
Łuba, T.
Zydek, D.

Data publikacji:

2012

Słowa kluczowe:

machine learning
knowledge representation
discernibility function
logic minimization
attribute reduction
complement

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:

FROM DEDUCTION TO KNOWLEDGE REPRESENTATION

Autorzy:

Michal Vince
Ján Šefránek

Tematy:

COMMON SENSE
REASONING
DEFAULT LOGIC
KNOWLEDGE
NON-MONOTONIC LOGIC

Pokaż więcej

Dostawca treści:

CEJSH

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:

A representation theorem for co-diagonalizable algebras

Autorzy:

Buszkowski, W.

Data publikacji:

2004

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:

The Dynamic Epistemic Logic for Actual Knowledge

Autorzy:

Wójcik, Arkadiusz

Data publikacji:

2020

Wydawca:

Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego

Tematy:

Dynamic epistemic logic
logic of public announcements
knowledge representation
problem of logical omniscience
actual knowledge
epistemic change
multi-agent systems

Pokaż więcej

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 21.

Tytuł:

Answer Set Programming Modulo Acyclicity

Autorzy:

Bomanson, J.
Janhunen, T.
Schaub, T.
Gebser, M.
Kaufmann, B.

Data publikacji:

2016

Słowa kluczowe:

logic programming
knowledge representation
constraint satisfaction
performance evaluation
computer algorithms

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 22.

Tytuł:

Perfect Hilbert algebras

Autorzy:

Gonzáles, Luciano J.

Data publikacji:

2024

Słowa kluczowe:

Hilbert algebras
irreducible element
ordered set
representation

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 23.

Tytuł:

A Knowledge Representation Framework Based on Epistemic Logic

Autorzy:

Przymusiński, T.

Data publikacji:

2014

Słowa kluczowe:

non-monotonic reasoning
semantics of logic programs
disjunctive logic programs
deductive databases

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:

Features Reduction Using Logic Minimization Techniques

Autorzy:

Borowik, G.
Łuba, T.
Zydek, D.

Data publikacji:

2012

Wydawca:

Polska Akademia Nauk. Czytelnia Czasopism PAN

Tematy:

machine learning
knowledge representation
discernibility function
logic minimization
attribute reduction
complement

Pokaż więcej

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 25.

Tytuł:

Hybrid knowledge representation in BMS

Autorzy:

Bień, J.
Rawa, P.

Data publikacji:

2004

Słowa kluczowe:

mosty
sieci neuronowe
knowledge representation
Bridge Management Systems
hybrid networks
neural networks
fuzzy logic

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 26.

Tytuł:

Discourse interpretation based on dynamic constraints

Autorzy:

Piasecki, M.

Data publikacji:

2005

Słowa kluczowe:

anaphora
compositionality
dynamic semantics
Generalized Quantifiers
variable free logic
plurality
formal semantics
discourse representation

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 27.

Tytuł:

European Trade Union Confederation at the Crossroad: New Challenges and New Roles

Autorzy:

Kurczewska Urszula

Tematy:

ETUC
trade unions
interest representation
EU
logic of influence
logic of membership

Pokaż więcej

Dostawca treści:

CEJSH

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 28.

Tytuł:

European Trade Union Confederation at the Crossroad: New Challenges and New Roles

Autorzy:

Kurczewska, Urszula

Data publikacji:

2013

Wydawca:

Szkoła Główna Handlowa w Warszawie

Tematy:

ETUC
trade unions
interest representation
EU
logic of influence
logic of membership

Pokaż więcej

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 29.

Tytuł:

Matematyczne narzędzia stosowane do reprezentacji wiedzy o wadach wyrobów metalowych

Autorzy:

Kluska-Nawarecka, S.
Adrian, A.
Durak, J.
Mrzygłód, B.
Wilk-Kołodziejczyk, D.

Data publikacji:

2005

Słowa kluczowe:

diagnostyka wad
wyroby hutnicze
reprezentacja wiedzy
formalizacja wiedzy
logiki
wnioskowanie
język logiki
diagnostics of defects
steel products
knowledge representation
knowledge formalization
logic
deductions
language of logic

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 30.

Tytuł:

Institutional Logics as orchestras’ strategic dilemma

Autorzy:

Andreas Heinen
Ursula Weisenfeld

Data publikacji:

2015-10-01

Tematy:

orchestra
strategic management
institutional logic
representation
entertainment
contemplation
purism

Pokaż więcej

Dostawca treści:

CEJSH

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 31.

Tytuł:

Dynamic Mereotopology: A Point-free Theory of Changing Regions. I. Stable and unstable mereotopological relations

Autorzy:

Vakarelov, D.

Data publikacji:

2010

Słowa kluczowe:

dynamic mereotopology
point-free theory of space and time
topological representation theorem
spatio-temporal logic

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 32.

Tytuł:

Diagnostics of crack formation in castings using the logic of plausible reasoning

Autorzy:

Kluska-Nawarecka, S.
Górny, Z.
Wilk-Kołodziejczyk, D.
Smolarek-Grzyb, A.

Data publikacji:

2007

Słowa kluczowe:

właściwości mechaniczne
wady odlewnicze
pęknięcia
reprezentacja wiedzy
mechanical properties
casting defects
cracks
knowledge representation
logic of plausible reasoning

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 33.

Tytuł:

ExpTime Tableaux with Global Caching for Graded Propositional Dynamic Logic

Autorzy:

Nguyen, L. A.

Data publikacji:

2016

Słowa kluczowe:

description logics
knowledge representation
computational complexity
reasoning
mathematical terminology

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 34.

Tytuł:

Relative Sets and Rough Sets

Autorzy:

Mousavi, A.
Jabedar-Maralani, P.

Data publikacji:

2001

Słowa kluczowe:

teoria mnogości
analiza danych
przedstawienie wiedzy
rough sets
set theory
data analysis
multi-valued logic
interval sets
knowledge representation

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 35.

Tytuł:

Graph-based representation of design properties in creating building floorplans

Autorzy:

Ślusarczyk, Grażyna

Data publikacji:

2018

Słowa kluczowe:

graph grammars
hierarchical graphs
logic formulas
graph requirements
knowledge-based reasoning

Pokaż więcej

Dostawca treści:

Repozytorium Uniwersytetu Jagiellońskiego

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 36.

Tytuł:

TOULMIN'S MODEL OF ARGUMENT AND THE 'LOGIC' OF SCIENTIFIC DISCOVERY

Autorzy:

Zarebski Tomasz

Tematy:

ARGUMENT
DISCOVERY
METHODS OF REPRESENTATION
PHILOSOPHY OF SCIENCE
SUBSTANTIAL ARGUMENT
TOULMIN
LIBRARY & INFORMATION SCIENCE

Pokaż więcej

Dostawca treści:

CEJSH

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 37.

Tytuł:

Self-organising Logic of Structures as a Basis for a Dependency-based Dynamic Semantics Model

Autorzy:

Maciej Piasecki

Data publikacji:

2015-06-21

Tematy:

Dynamic Semantics
compositionality
reference
quantification
anaphora
Polish
variableless semantic representation

Pokaż więcej

Dostawca treści:

CEJSH

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 38.

Tytuł:

A Logic-Based System for e-Tourism

Autorzy:

Ricca, F.
Dimasi, A.
Grasso, G.
Ielpa, S.M.
Iiritano, S.
Manna, M.
Leone, N.

Data publikacji:

2011

Słowa kluczowe:

answer set programming
ASP
E-Tourism
Knowledge Representation and Reasoning

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 39.

Tytuł:

Metody sztucznej inteligencji w digitalizacji filozofii
Artificial Intelligence Methods in Digital Philosophy

Autorzy:

Garbacz, Paweł

Data publikacji:

2020-01-03

Wydawca:

Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL

Tematy:

humanistyka cyfrowa
inżynieria ontologii
logika
reprezentacja wiedzy
digital humanities
logic
knowledge representation
ontological engineering

Pokaż więcej

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 40.

Tytuł:

Metody sztucznej inteligencji w digitalizacji filozofii
Artificial Intelligence Methods in Digital Philosophy

Autorzy:

Paweł Garbacz

Tematy:

humanistyka cyfrowa
inżynieria ontologii
logika
reprezentacja wiedzy
digital humanities
logic
knowledge representation
ontological engineering

Pokaż więcej

Dostawca treści:

CEJSH

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 41.

Tytuł:

Construction of Generalized Rademacher Functions in Terms of Ternary Logic : Solving the Problem of Visibility of Using Galois Fields for Digital Signal Processing

Autorzy:

Vitulyova, Elizaveta S.
Matrassulova, Dinara K.
Suleimenov, Ibragim E.

Data publikacji:

2022

Słowa kluczowe:

digital signal processing
non-binary Galois fields
fourier transform
rademacher functions
walsh function
multivalued logic
visibility problem
algebraic extensions
ternary representation of number

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 42.

Tytuł:

Reprezentacja danych w rozmytych modelach relacyjnych baz danych.

Autorzy:

Biedrzycka, B.
Mazur, Z.

Data publikacji:

2002

Słowa kluczowe:

logika rozmyta
rozmyty model danych
fuzzy logic
fuzzy database

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 43.

Tytuł:

Relative Sets and Rough Sets

Autorzy:

Mousavi, A.
Jabedar-Maralani, P.

Data publikacji:

2001

Wydawca:

Uniwersytet Zielonogórski. Oficyna Wydawnicza

Tematy:

teoria mnogości
analiza danych
przedstawienie wiedzy
rough sets
set theory
data analysis
multi-valued logic
interval sets
knowledge representation

Pokaż więcej

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 44.

Tytuł:

Automatic Learning of Temporal Relations Under the Closed World Assumption

Autorzy:

Nicoletti, M. C.
Lisboa, F. O. S. S.
Hruschka Jr, E. R.

Data publikacji:

2013

Słowa kluczowe:

Allen's temporal algebra
automatic learning of temporal relations
inductive logic programming
learning under closed world assumption
time intervals
time points
time representation

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 45.

Tytuł:

The logistic of plausible reasoning in the diagnosis of castings defects

Autorzy:

Kluska-Nawarecka, S.
Górny, Z.
Wilk-Kołodziejczyk, D.
Smolarek-Grzyb, A.

Data publikacji:

2007

Słowa kluczowe:

wady odlewów
pęknięcie
reprezentacja wiedzy
LPR
system ekspertowy
cracks
casting defects
knowledge representation
logic of plausible reasoning
expert systems

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 46.

Tytuł:

Toulmins Model od Argument and the "Logic" of Scientific Discovery

Autorzy:

Zarębski, Tomasz

Data publikacji:

2009

Wydawca:

Uniwersytet w Białymstoku

Słowa kluczowe:

Toulmin
substantial argument
argument
methods of representation
philosophy of science
discovery

Pokaż więcej

Dostawca treści:

Repozytorium Centrum Otwartej Nauki

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 47.

Tytuł:

Odwzorowanie przebiegu pulsacji metodami sztucznej inteligencji

Autorzy:

Juszka, H.
Lis, S.
Tomasik, M.

Data publikacji:

2008

Słowa kluczowe:

krowa
dój maszynowy
podciśnienie
pulsacja
logika rozmyta
mechanical milking
cow
negative pressure
pulsation
fuzzy logic

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 48.

Tytuł:

Odwzorowanie przebiegu pulsacji metodami sztucznej inteligencji
Representation of pulsation trajectory using artificial intelligence methods

Autorzy:

Juszka, H.
Lis, S.
Tomasik, M.

Data publikacji:

2008

Wydawca:

Polskie Towarzystwo Inżynierii Rolniczej

Tematy:

krowa
dój maszynowy
podciśnienie
pulsacja
logika rozmyta
mechanical milking
cow
negative pressure
pulsation
fuzzy logic

Pokaż więcej

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 49.

Tytuł:

Knowledge representation for human-computer interaction in a system supporting conceptual design

Autorzy:

Gajek, Szymon
Grabska, Ewa
Ślusarczyk, Grażyna

Data publikacji:

2013

Słowa kluczowe:

design actions
logic reasoning
visual language
design knowledge
graph-based structures
CAD system
conceptual design
visual thinking

Pokaż więcej

Dostawca treści:

Repozytorium Uniwersytetu Jagiellońskiego

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 50.

Tytuł:

Construction of Generalized Rademacher Functions in Terms of Ternary Logic : Solving the Problem of Visibility of Using Galois Fields for Digital Signal Processing

Autorzy:

Vitulyova, Elizaveta S.
Matrassulova, Dinara K.
Suleimenov, Ibragim E.

Data publikacji:

2022

Wydawca:

Polska Akademia Nauk. Czytelnia Czasopism PAN

Tematy:

digital signal processing
non-binary Galois fields
fourier transform
rademacher functions
walsh function
multivalued logic
visibility problem
algebraic extensions
ternary representation of number

Pokaż więcej

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 51.

Tytuł:

Knowledge Representation for Human-Computer Interaction in a System Supporting Conceptual Design

Autorzy:

Grabska, E.
Ślusarczyk, G.
Gajek, S.

Data publikacji:

2013

Słowa kluczowe:

CAD system
conceptual design
design actions
design knowledge
graph-based structures
logic reasoning
visual language
visual thinking

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 52.

Tytuł:

Perfect Hilbert algebras

Autorzy:

Gonzáles, Luciano J.

Data publikacji:

2024

Wydawca:

Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego

Tematy:

Hilbert algebras
irreducible element
ordered set
representation

Pokaż więcej

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 53.

Tytuł:

Reprezentacja wiedzy o technologiach przeróbki plastycznej oraz cechach wyrobów w oparciu o relacyjną bazę danych

Autorzy:

Macioł, P.

Data publikacji:

2007

Słowa kluczowe:

bazy danych
logika atrybutowa
projektowanie technologii kucia
databases
attribute logic
forging technology design

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 54.

Tytuł:

Toulmins Model od Argument and the "Logic" of Scientific Discovery

Autorzy:

Zarębski, Tomasz

Współwytwórcy:

Dolnośląska Szkoła Wyższa

Data publikacji:

2009

Wydawca:

Uniwersytet w Białymstoku

Słowa kluczowe:

discovery
Toulmin
argument
substantial argument
philosophy of science
methods of representation

Pokaż więcej

Dostawca treści:

Repozytorium Centrum Otwartej Nauki

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 55.

Tytuł:

Imponderabilia perswazyjne. (Poza)kognitywne uwarunkowania skuteczności argumentacji

Autorzy:

Krzysztof Korżyk

Data publikacji:

2018

Tematy:

aksjologia
argumentacja
dyskusja
komunikacja
kontekst
logika
perswazja
postawa
przekonanie
reprezentacja
rzeczywistość
schemat
umysł
wartość
wizja
zachowanie
attitude
axiology
argument
behavior
belief
communication
context
discussion
logic
mind
persuasion
representation
reality
schema
value
vision

Pokaż więcej

Dostawca treści:

CEJSH

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 56.

Tytuł:

Introduction aux rapports entre photographie et peinture chez Francis Bacon selon Deleuze (dans Logique de la Sensation)
The relation between photography and painting for Francis Bacon according to Deleuze (in The Logic of Sensation)

Autorzy:

Heusghem, Corentin

Data publikacji:

2021

Wydawca:

Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego

Tematy:

art
painting/photography
Deleuze
sensation
representation

Pokaż więcej

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 57.

Tytuł:

Introduction aux rapports entre photographie et peinture chez Francis Bacon selon Deleuze (dans Logique de la Sensation)
The relation between photography and painting for Francis Bacon according to Deleuze (in The Logic of Sensation)

Autorzy:

Corentin Heusghem

Data publikacji:

2021

Tematy:

art
painting/photography
Deleuze
sensation
representation

Pokaż więcej

Dostawca treści:

CEJSH

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 58.

Tytuł:

Imponderabilia perswazyjne. (Poza)kognitywne uwarunkowania skuteczności argumentacji
Persuasive Imponderabilia: (Non)Cognitive Determinants of Argument Effectivity

Autorzy:

Korżyk, Krzysztof

Data publikacji:

2018

Wydawca:

Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego

Tematy:

aksjologia
argumentacja
dyskusja
komunikacja
kontekst
logika
perswazja
postawa
przekonanie
reprezentacja
rzeczywistość
schemat
umysł
wartość
wizja
zachowanie
attitude
axiology
argument
behavior
belief
communication
context
discussion
logic
mind
persuasion
representation
reality
schema
value
vision

Pokaż więcej

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 59.

Tytuł:

BUILDING BRIDGES BETWEEN EVERYDAY ARGUMENT AND FORMAL REPRESENTATIONS OF REASONING

Autorzy:

Debowska Kamila
Lozinski Pawel
Reed Chris

Tematy:

ARAUCARIA
ARGUING AGENTS COMPETITION
ARGUMENT DIAGRAMMING
ARGUMENT INTERCHANGE FORMAT
ARGUMENTATION STRATEGY
ARGUMENTATION THEORY
COMPLEX REAL-WORLD ARGUMENTATION
COMPUTATIONAL MODELS OF ARGUMENT
COMPUTER SCIENCE
INFORMAL LOGIC
KNOWLEDGE REPRESENTATION
PRAGMA-DIALECTICS
LIBRARY & INFORMATION SCIENCE

Pokaż więcej

Dostawca treści:

CEJSH

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 60.

Tytuł:

Logic level of workpiece object database oriented on manufacturing features
Poziom logiczny obiektowej bazy danych modelu przedmiotu zorientowanej na cechy technologiczne

Autorzy:

Pobożniak, J.

Data publikacji:

2012

Wydawca:

Polska Akademia Nauk. Czytelnia Czasopism PAN

Tematy:

integracja systemów CAD/CAPP/CAM
cechy technologiczne
obiektowa baza danych
reprezentacja cech technologicznych
CAD/CAPP/CAM integration
manufacturing features
object database of features
manufacturing feature representation

Pokaż więcej

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 61.

Tytuł:

Logic level of workpiece object database oriented on manufacturing features

Autorzy:

Pobożniak, J.

Data publikacji:

2012

Słowa kluczowe:

integracja systemów CAD/CAPP/CAM
cechy technologiczne
obiektowa baza danych
reprezentacja cech technologicznych
CAD/CAPP/CAM integration
manufacturing features
object database of features
manufacturing feature representation

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 62.

Tytuł:

Kdo tu debatuje o 8. květnu? Vývoj zastoupení historiků a dalších aktérů v médiích v éře mediálního historismu
Who Is debating here on May 8? Development of the representation of historians and other actors in the media in the era of media historicism

Autorzy:

David Klimeš

Tematy:

collective memory
Victory Day
media
historians
media logic
media historism

Pokaż więcej

Dostawca treści:

CEJSH

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 63.

Tytuł:

Metoda reprezentacji pośredniej programu PLC opisanego za pomocą języków LD i SFC na potrzeby syntezy sprzętowej

Autorzy:

Milik, A.

Data publikacji:

2013

Słowa kluczowe:

sterownik programowalny
diagram stykowy
LD
sekwencyjny schemat funkcji
SFC
synteza logiczna wysokiego poziomu
graf przepływu danych
DFG
FPGA
układy rekonfigurowane
PLC
high level logic synthesis
DFG (data flow graph)
data flow graph
ladder diagram

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 64.

Tytuł:

Metoda reprezentacji pośredniej programu PLC opisanego za pomocą języków LD i SFC na potrzeby syntezy sprzętowej
A common intermediate representation of LD and SFC programs for hardware synthesis purposes

Autorzy:

Milik, A.

Data publikacji:

2013

Wydawca:

Stowarzyszenie Inżynierów i Techników Mechaników Polskich

Tematy:

sterownik programowalny
diagram stykowy
LD
sekwencyjny schemat funkcji
SFC
synteza logiczna wysokiego poziomu
graf przepływu danych
DFG
FPGA
układy rekonfigurowane
PLC
high level logic synthesis
DFG (data flow graph)
data flow graph
ladder diagram

Pokaż więcej

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

• na półce

Szczegóły