Temat: CNF - Prolib Integro

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

Skocz do pozycji: 11.

Tytuł:: Effect of different amount of CNFs on the properties of concrete and cementitious materials
Autorzy:: Wu, Ze
Data publikacji:: 2024
Słowa kluczowe:: CNF
włókno nanocelulozowe
beton
materiał cementowy
właściwości mechaniczne
dyfuzja jonów chlorkowych
ciepło hydratacji
właściwości reologiczne
cellulose nanofibre
concrete
cementitious material
mechanical properties
chloride ions diffusion
hydration heat
rheological properties; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Effect of different amount of CNFs on the properties of concrete and cementitious materials
Autorzy:: Wu, Ze
Data publikacji:: 2024
Wydawca:: Polska Akademia Nauk. Czasopisma i Monografie PAN
Tematy:: CNF
włókno nanocelulozowe
beton
materiał cementowy
właściwości mechaniczne
dyfuzja jonów chlorkowych
ciepło hydratacji
właściwości reologiczne
cellulose nanofibre
concrete
cementitious material
mechanical properties
chloride ions diffusion
hydration heat
rheological properties; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Spektroskopowe badania wielofunkcyjnych nanowłókien węglowych
Spectroscopic studies of multifunctional carbon nanofibers
Autorzy:: Kosacki, Tomasz
Słowa kluczowe:: nanowłókna węglowe (CNF), warstwy nanokompozytowe, Spektroskopia ramanowska, stopień krystaliczności, sztuczne osocze (ang. simulated body fluid , SBF)
carbon nanofibers (CNFs), nanocomposite layers, Raman spectroscopy, degree of crystallinity, SBF (simulated body fluid); Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: Inteligentne nawierzchnie drogowe i konstrukcje z nanomateriałami
Autorzy:: Kostrzanowska-Siedlarz, A.
Data publikacji:: 2017
Słowa kluczowe:: structural health monitoring (SHM)
sensors
smart concrete
electrical conductive concrete
heated pavement system
cement nanocomposites
carbon nanotubes CNT
carbon nanofibers (CNF)
nickel powder
carbon black
nawierzchnia drogowa
nanomateriały
kompozyty cementowe
wypełniacze; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Właściwości nanokompozytów cementowych
Autorzy:: Kostrzanowska-Siedlarz, A.
Data publikacji:: 2017
Słowa kluczowe:: materiały budowlane
nanokompozyty cementowe
nanotechnologia
cement nanocomposites
carbon nanotubes CNT
carbon nanofibers (CNF)
graphene nanooxide
nanosilica
titanium nanodioxide
aluminium nanooxide
iron nanooxide
nanosilver
bacteria
nanoconcrete
smart concrete
self-sensing concrete
nanosensors
structural health monitoring (SHM); Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "CNF" wg kryterium: Temat