Number of the records: 1
Expanding Belnap 2: the dual category in depth
- Title
Title Expanding Belnap 2: the dual category in depth Author info Andrew P. K. Craig, Brian A. Davey, Miroslav Haviar Author Craig Andrew, P. K. (34%)
Co-authors Davey Brian A. (33%)
Haviar Miroslav 1965- (33%) UMBFP10 - Katedra matematiky
Source document Categories and General Algebraic Structures with Applications. Vol. 17, no 1 (2022), pp. 47-83. - Teherán : Shahid Beheshti University, 2022 Keywords bizväzy - bilattices prirodzená dualita Priestleyovská dualita Form. Descr. články - journal articles Language English Country Iran Annotation Bizväzy poskytujú algebraický nástroj na simultánne modelovanie pravdivosti a informácie. Boli zavedené N. Belnapom v r. 1977 v článku nazvanom Ako by mal počítač myslieť. Okrem klasických pravdivostných hodnôt t (pravda) a f (nepravda) mal Belnapov príklad aj pravdivostné hodnoty ⅂ (priveľa informácií resp. rozporuplné informácie) a ⅃ (žiadna informácia). Majú aplikácie v umelej inteligencii, logickom programovaní alebo v rozpoznávaní obrazcov. V predchádzajúcej práci týchto autorov z r. 2021 publikovanej v Algebre Universalis sme zaviedli pre každé prirodzené číslo 𝑛 novú triedu bizväzov J𝑛, ktorá zahŕňa Belnapov seminálny príklad (ako bizväz J0). Skonštruovali sme tiež prirodzenú dualitu pre ekvacionálnu triedu V𝑛 algebier generovanú bizväzom J𝑛, kde duálna kategória X𝑛 pozostáva z tzv. multi-sortových topologických štruktúr. V súčasnej nadväzujúcej práci axiomatizujeme duálnu kategóriu X𝑛 a ukazujeme, že je izomorfná s kategóriou Y𝑛 jedno-sortových topologických štruktúr. Ukazujeme ako konštruovať Priestleyovej duál bizväzu v triede V𝑛 prostredníctvom duálu v triede Y𝑛. Ako aplikáciu ukazujeme, že jedno-generovaný voľný bizväz v triede V𝑛 má veľkosť danú konkrétnym polynómom stupňa 6. URL Link na plný text Public work category ADM No. of Archival Copy 52020 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ References PERIODIKÁ-Súborný záznam periodika article
Thermophysical properties of OSB boards versus equilibrium moisture contentAuthor infoRastislav Igaz, Ľuboš Krišťák ... [et al.]AuthorCo-authorsKrišťák Ľuboš (25%)Source document
Ružiak Ivan (25%)
Gajtanska Milada (10%)
Kučerka Martin 1980- (10%) UMBFP07 - Katedra techniky a technológiíBioResources. Vol. 12, no. 4 (2017), pp. 8106-8118. - Raleigh : North Carolina State University, 2017KeywordsSlovakCountryUnited States of AmericasystematicsAnnotationThe basic thermophysical properties of oriented strand boards were determined experimentally for use in humid conditions (OSB3) depending on the moisture content. The dependency between the thermal conductivity, thermal diffusivity, specific heat capacity, and the moisture content in the range of 0% to 10%, was examined. The non-stationary extended dynamic plane source (EDPS) experimental method was used. EDPS method was modified for anisotropic materials, i.e. with special considerations of heat-loss effect occurring at the edge of measuring samples, finite geometry of the sample and orthotropic thermal conductivity, for use with anisotropic materials. The validity of the experimental method was verified on polymethylmethacrylate (PMMA) samples. The error rate of measurements conducted on PMMA samples was less than 3%, and for OSB3 boards it was less than 5.5%. Based on the experimental results, regression equations of the dependency between the monitored properties and the moisture content were determined. In the case of thermal conductivity and thermal capacity, the determined dependencies showed a high correlation rateURLPublic work categoryNo. of Archival Copy41924Repercussion categoryGEJDOŠ, Miloš - LIESKOVSKÝ, Martin - POTKÁNY, Marek - NOZDROVICKÝ, Ladislav. The future perspectives of spruce and fir wood use in selected countries of the Central Europe for wooden constructions. In 11th annual international scientific conference : increasing the use of wood in the global bio-economy, WoodEMA 2018, Belgrade, 26th-28th September 2018. Zagreb : WoodEMA, 2018. ISBN 978-867299277-9, pp. 160-167.
DANIHELOVÁ, Anna - NEMEC, Miroslav - GERGEĽ, Tomáš - GEJDOš, Miloš - GORDANOVÁ, Janka - SCENSNY, Patrik. Usage of recycled technical textiles as thermal insulation and an acoustic absorber. In Sustainability. ISSN 2071-1050, 2019, vol. 11, no. 10, pp. 1-13.
KASK, Regino - LILLE, Harri - KIVISTE, Mihkel - TAMM, Renee - REIGO, Valdor - LAANE, Johann Olaf. Evaluation of mechanical properties of OSB/3 after repetitive soaking and oven-drying cycles. In Wood material science and engineering. ISSN 1748-0272, 2021, vol. 16, no. 6, pp. 358-365.
MAAKE, Tebogo - ASANTE, Joseph - MWAKIKUNGA, Bonex. Fire performance properties of commonly used South African hardwood. In Journal of fire sciences. ISSN 0734-9041, 2020, vol. 38, no. 5, pp. 415-432.
BOARDMAN, Charles R. - GLASS, Samuel V. - CHOW, Kingston - YEH, Borjen. Hygrothermal modeling of wall drying after water injection. In Thermal performance of the exterior envelopes of whole buildings 14th international conference, Clearwater Beach, 09th-12th December 2019. [S. l.] : International building performance simulation association, 2019, pp. 887-894. [cit. 2020-11-30]. Dostupné na: https://www.apawood.org/data/sites/1/documents/technicalresearch/hygrothermal-modeling-of-wall-drying-after-water-injection.pdf
BOARDMAN, Charles R. - GLASS, Samuel. Improving the accuracy of a hygrothermal model for wood-frame walls : a cold-climate study. In Buldings. ISSN 2075-5309, 2020, vol. 10, no. 12, pp. 1-34.
TUREKOVA, Ivana - MARKOVA, Iveta - IVANOVICOVA, Martina - HARANGOZO, Jozef. Experimental study of oriented strand board ignition by radiant heat fluxes. In Polymers. ISSN 2073-4360, 2021, vol. 13, no. 5, pp. 1-13.
TAGHIYARI, Hamid R. - MILITZ, Holger - ANTOV, Petar - PAPADOPOULOS, Antonios N. Effects of wollastonite on fire properties of particleboard made from wood and chicken feather fibers. In Coatings. ISSN 2079-6412, 2021, vol. 11, no. 5, pp. 1-11.
NINIKAS, Konstantinos - MITANI, Andromachi - KOUTSIANITIS, Dimitrios - NTALOS, George - TAGHIYARI, Hamid R. - PAPADOPOULOS, Antonios N. Thermal and mechanical properties of green insulation composites made from cannabis and bark residues. In Journal of composites science. ISSN 2504-477X, 2021, vol. 5, no. 5, pp. 1-12.
BOŽIKOVÁ, Monika - KOTOULEK, Petr - BILČÍK, Matúš - KUBÍK, Ľubomír - HLAVÁČOVÁ, Zuzana - HLAVÁČ, Peter. Thermal properties of wood and wood composites made from wood waste. In International agrophysics. ISSN 0236-8722, 2021, vol. 35, no. 3, pp. 251-256.
ZACHAR, Martin - CABALOVA, Iveta - KACIKOVA, Danica - ZACHAROVA, Lucia. The effect of heat flux to the fire-technical and chemical properties of spruce wood (Picea abies L.). In Materials. ISSN 1996-1944, 2021, vol. 14, no. 17, pp. 1-12.
GOLOVIN, Yuri I. - TYURIN, Alexander I. - GOLOVIN, Dmitry Yu. - SAMODUROV, Alexander A. - MATVEEV, Sergey M. - YUNACK, Maria A. - VASYUKOVA, Inna A. - ZAKHAROVA, Olga V. - RODAEV, Vyacheslav V. - GUSEV, Alexander A. Relationship between thermal diffusivity and mechanical properties of wood. In Materials. ISSN 1996-1944, 2022, vol. 15, no. 2, pp. [1-16].
SZCZEPANSKI, Marcin - MANGURI, Ahmed - SAEED, Najmadeen - CHUCHALA, Daniel. The effect of openings' size and location on selected dynamical properties of typical wood frame walls. In Polymers. ISSN 2073-4360, 2022, vol. 14, no. 3, pp. [1-14].
URSTÖEGER, Johannes - BARBU, Marius Catalin - PACHER, Thomas - PETUTSCHNIGG, Alexander - JORDA, Johannes - TUDOR, Eugenia Mariana. Selected properties of cement bound spruce and larch bark bio-aggregates. In Polymers. ISSN 2073-4360, 2021, vol. 13, no. 24, pp. [1-12].
MAKOVICKA OSVALDOVA, Linda - MITRENGA, Patrik - JANCIK, Juraj - TITKO, Michal - EFHAMISISI, Davood - KOSUTOVA, Katarina. Fire behaviour of treated insulation fibreboards and predictions of its future development based on natural aging simulation. In Frontiers in materials. ISSN 2296-8016, 2022, vol. 9, art. no. 891167, pp. 1-9.
DE TOLDI , Timothée - CRAIG, Salmaan - SUSHAMA, Laxmi. Internal thermal mass for passive cooling and ventilation : adaptive comfort limits, ideal quantities, embodied carbon. In Buildings and cities : alternatives to air conditioning: policies, design, technologies, behaviours [online]. 2022, vol. 3, no. 1, special issue, pp. 42-67 [cit. 2022-07-14]. ISSN 2632-6655. Dostupné na: http://doi.org/10.5334/bc.156
Number of the records: 1