Temat: CNF - Prolib Integro

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "CNF" wg kryterium: Temat

Wyświetlanie 1-10 z 15

Zaznacz

Skocz do pozycji: 1.

Tytuł:: An effective SAT-Solving mechanism with backtrack controlled by FDL
Autorzy:: Pułka, A.
Data publikacji:: 2011
Słowa kluczowe:: badanie spełnialności logicznej
weryfikacja formalna
logiczne formuły w postaci CNF
SAT solving
formal verification
CNF
Boolean satisfiability; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Heuristics for Thelen's Prime Implicant Method
Autorzy:: Bieganowski, J.
Karatkevich, A.
Data publikacji:: 2005
Słowa kluczowe:: Boolean functions
CNF
prime implicants
search tree; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Complexity results for 2CNF default theories
Autorzy:: Zhao, X.
Ding, D.
Data publikacji:: 2001
Słowa kluczowe:: 2CNF default theory
credulous reasoning
skeptical reasoning
complexity; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Hardness and Microstructure of Mixed Al-CNF Powder Extrusion
Autorzy:: Kim, D.-H.
Kim, T.-J.
Lim, S.-G.
Data publikacji:: 2017
Słowa kluczowe:: Al-CNF composite
cold isotatic
presses
powder extrusion
LED
microstructure; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Hardness and Microstructure of Mixed Al-CNF Powder Extrusion
Autorzy:: Kim, D.-H.
Kim, T.-J.
Lim, S.-G.
Data publikacji:: 2017
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: Al-CNF composite
cold isotatic
presses
powder extrusion
LED
microstructure; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Selection of search strategies for solving 3-SAT problems
Autorzy:: Pułka, A.
Data publikacji:: 2014
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: SAT solving
formal verification
CNF
Boolean satisfiability
badanie spełnialności logicznej
weryfikacja formalna; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Selection of search strategies for solving 3-SAT problems
Autorzy:: Pułka, A.
Data publikacji:: 2014
Słowa kluczowe:: SAT solving
formal verification
CNF
Boolean satisfiability
badanie spełnialności logicznej
weryfikacja formalna; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Rownoczesne wystepowanie genow toksyny powiekszajacej komorki [CDT-III] oraz cytotoksycznego czynnika martwicowego [CNF2] u szczepow Escherichia coli izolowanych od cielat
Autorzy:: Osek J.
Weiner M.
Tematy:: wystepowanie
Escherichia coli
toksyna CDT
gen CDT-III
gen CNF2
cytotoksyczny czynnik martwicowy
bakterie
cieleta; Pokaż więcej
Dostawca treści:: AGRO

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Spectroscopic study of micro-/nano-hydroxyapatite polymer composites modified with carbon nanofibers
Autorzy:: Długoń, Elżbieta
Rachwał, Małgorzata
Kołodziej, Anna
Wesełucha-Birczyńska, Aleksandra
Ziąbka, Magdalena
Data publikacji:: 2025
Słowa kluczowe:: nanocomposite
poly(ε-caprolactone)
carbon nanofibers
2D-COS
hydroxyapatite
Raman spectroscopy
PCL
two-dimensional correlation spectroscopy
CNF; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

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

Wyświetlanie 1-10 z 15

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies