Výsledky vyhľadávania
Názov Expanding Belnap: dualities for a new class of default bilattices Aut.údaje Andrew P. K. Craig, Brian A. Davey, Miroslav Haviar Autor Craig Andrew, P. K. (34%)
Spoluautori Davey Brian A. (33%)
Haviar Miroslav 1965- (33%) UMBFP10 - Katedra matematiky
Zdroj.dok. Algebra universalis. Vol. 81, no. 4 (2020), pp. 1-26. - Basel : Springer Nature Switzerland AG, 2020 Kľúč.slová natural duality výsledky - results algebras Form.deskr. články - journal articles Jazyk dok. angličtina Krajina Švajčiarsko Anotácia Bilattices provide an algebraic tool with which to model simultaneously knowledge and truth. They were introduced by Belnap in 1977 in a paper entitled How a computer should think. Belnap argued that instead of using a logic with two values, for ‘true’ and ‘false’, a computer should use a logic with two further values, for ‘contradiction’ and ‘no information´. The resulting structure is equipped with two lattice orders, a knowledge order and a truth order, and hence is called a bilattice. Prioritised default bilattices include not only values for ‘true’, ‘false’, ‘contradiction’ and ‘no information’, but also indexed families of default values for simultaneous modelling of degrees of knowledge and truth. We focus on a new family of prioritised default bilattices: Jn, for all natural numbers n. The bilattice J0 is precisely Belnap’s seminal example. We obtain a multisorted duality for the variety generated by Jn, and separately a single sorted duality for the quasivariety generated by Jn. The main tool for both dualities is a unified approach that enables us to identify the meet-irreducible elements of the appropriate subuniverse lattices. Our results provide an interesting example where the multi-sorted duality for the variety has a simpler structure than the single-sorted duality for the quasivariety URL Link na zdrojový dokument Kategória publikačnej činnosti ADC Číslo archívnej kópie 48507 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xpca - PUBLIKAČNÁ ČINNOSŤ Odkazy PERIODIKÁ-Súborný záznam periodika Názov A preliminary checklist of Chironomidae (Diptera) from Albania with first records for the Balkan Peninsula Aut.údaje Peter Bitušík, Katarína Trnková Autor Bitušík Peter 1957- (50%) UMBFP09 - Katedra biológie a ekológie
Spoluautori Trnková Katarína 1972 - (50%) UMBFP04 - Katedra životného prostredia
Zdroj.dok. Zootaxa. Vol. 4563, no. 2 (2018), pp. 361-371. - Auckland : Magnolia Press, 2018 Kľúč.slová pakomáre - midges - Chironomidae checklists výsledky - results Heslá geogr. Albania Balkánsky polostrov Form.deskr. články - journal articles Jazyk dok. angličtina Krajina Nový Zéland Systematika 574 URL Link na zdrojový dokument Kategória publikačnej činnosti ADC Číslo archívnej kópie 44772 Kategória ohlasu DASHINOV, D. - HAMERLIK, L. First record of Nubensia nubens (Edwards 1929) (Diptera: Chironomidae) for Bulgaria. In Chironomus : journal of chironomidae research [online]. 2020, no. 33, pp. 1-4 [cit. 2020-06-09]. ISSN 0172-1941. Dostupné na: https://www.ntnu.no/ojs/index.php/chironomus/article/view/3438/3380
ČERBA, Dubravka - KOH, Miran - ERGOVIC, Viktorija - MIHALJEVIC, Zlatko - MILOSEVIC, Djuradj - HAMERLIK, Ladislav. Chironomidae (Diptera) of Croatia with notes on the diversity and distribution in various habitat types. In Zootaxa. ISSN 1175-5326, 2020, vol. 4780, no. 2, pp. 259-274.
GADAWSKI, Piotr - ROSSARO, Bruno - GIŁKA, Wojciech - MONTAGNA, Matteo - ZAWAL, Andrzej - GRABOWSKI, Michał. First insights into the diversity and ecology of non-biting midges (Diptera: Chironomidae) of the unique ancient Skadar Lake basin (Montenegro/Albania). In Journal of Great Lakes research. ISSN 0380-1330, 2022, vol. 48, no. 2, pp. 538-550.
ROSSARO, Bruno et al. An updated list of chironomid species from Italy with biogeographic considerations (Diptera, Chironomidae). In Biogeographia. ISSN 1594-7629, 2019, vol. 34, pp. 59-85.
Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xpca - PUBLIKAČNÁ ČINNOSŤ Odkazy PERIODIKÁ-Súborný záznam periodika Názov On non-additive probability measures Aut.údaje Beloslav Riečan, Karol Samuelčík Autor Riečan Beloslav 1936-2018 (50%)
Spoluautori Samuelčík Karol (50%)
Zdroj.dok. Mathematica Slovaca. Vol. 67, no. 6 (2017), pp. 1571-1576. - Bratislava : Slovenská akadémia vied, Matematický ústav SAV, 2017 Kľúč.slová pravdepodobnosť - probability measures výsledky - results Jazyk dok. angličtina Krajina Slovenská republika Systematika 51 Kategória publikačnej činnosti ADN Číslo archívnej kópie 41122 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xpca - PUBLIKAČNÁ ČINNOSŤ Odkazy PERIODIKÁ-Súborný záznam periodika Názov Cena Európskej únie za literatúru 2011 Podnázov literárne ocenenia Aut.údaje Eva Hollá Autor Hollá Eva 1983- (100%) UMBRE01 - Rektorát UMB
Zdroj.dok. Bibliotheca Universitatis 2011-2012 : časopis Univerzitnej knižnice Univerzity Mateja Bela. Roč. 7, č. 3 (2011-2012), s. 12-13. - Banská Bystrica : Univerzitná knižnica Univerzity Mateja Bela, 2012 / Homolová Ľudmila 1955- ; Grendárová Renáta ; Kazimírová Gréta 1962- Heslá korp. Európska únia - European Union
Kľúč.slová Cena EU za literatúru výsledky - results Jazyk dok. slovenčina Krajina Slovenská republika Systematika 82 Kategória publikačnej činnosti GII Číslo archívnej kópie 22014 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xpca - PUBLIKAČNÁ ČINNOSŤ Odkazy PERIODIKÁ-Súborný záznam periodika Názov Služby vysokoškolského vzdelávania podporené implementáciou manažérstva kvality - problémy a skúsenosti Aut.údaje Mária Uramová Autor Uramová Mária 1952-2020 (100%) UMBEF02 - Katedra ekonómie
Zdroj.dok. Manažérstvo kvality vo verejnej správe : 7. národná konferencia o kvalite, Bratislava, 7. - 8. decembra 2010, zborník prednášok. S. [1-5]. - Bratislava : Úrad pre normalizáciu, metrológiu a skúšobníctvo Slovenskej republiky, 2010 ; Manažérstvo kvality vo verejnej správe národná konferencia o kvalite Poznámka Bibl.: s. [5] Kľúč.slová kvalita - quality systém manažérstva kvality - quality management system - QMS výsledky - results aktuálne problémy - current problems Jazyk dok. slovenčina Krajina Slovenská republika Systematika 334 Kategória publikačnej činnosti AFD Číslo archívnej kópie 19225 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xpca - PUBLIKAČNÁ ČINNOSŤ Názov Volejbalový turnaj o pohár Rektorky UMB a Predsedu OZ UMB Aut.údaje Jiří Michal Autor Michal Jiří 1961- (100%) UMBFH09 - Katedra telesnej výchovy a športu
Zdroj.dok. Universitas Matthiae Belii : spravodajca Univerzity Mateja Bela v Banskej Bystrici. Roč. 15, č. 5 (2009), s. 22. - Banská Bystrica : Univerzita Mateja Bela, 2009 Kľúč.slová volejbalový turnaj výsledky - results Univerzita Mateja Bela (Banská Bystrica) Jazyk dok. slovenčina Krajina Slovenská republika Systematika 796 Kategória publikačnej činnosti GII Číslo archívnej kópie 21847 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xpca - PUBLIKAČNÁ ČINNOSŤ Odkazy PERIODIKÁ-Súborný záznam periodika Názov Health Care Reforms in CEE: Processes, Outcomes and Selected Explanations Aut.údaje Juraj Nemec, Colin Lawson Autor Nemec Juraj 1960- (75%) UMBEF04 - Katedra financií a účtovníctva
Spoluautori Lawson Colin Wiliam 1948- (25%) UMBEF04 - Katedra financií a účtovníctva
Zdroj.dok. NISPAcee Journal of Public Administration and Policy : the Network of Institutes and Schools of Public Administration in Central and Eastern Europe, Vol. 1, No. 1 (2008). PP. 27-47. - Bratislava : NISPAcee Press, 2008 / Nemec Juraj 1960- Kľúč.slová zdravotníctvo - health service zdravotná politika - health policy reformy - reforms výsledky - results problémy - problems starostlivosť o zdravie - health care outcomes Jazyk dok. angličtina Krajina Slovenská republika Systematika 33 Kategória publikačnej činnosti AEC Číslo archívnej kópie 9121 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xpca - PUBLIKAČNÁ ČINNOSŤ Názov Testy a výber do CTM na rok 2008 Aut.údaje Juraj Kremnický Autor Kremnický Juraj 1978- UMBFH09 - Katedra telesnej výchovy a športu
Zdroj.dok. Spravodaj SGF. Roč. 2008, č. 1 (2008), s. 112-113 Kľúč.slová členovia CTM testy - tests výsledky - results Jazyk dok. slovenčina Krajina Slovenská republika Systematika 796 Kategória publikačnej činnosti GII Číslo archívnej kópie 9654 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xpca - PUBLIKAČNÁ ČINNOSŤ Názov Health care reforms in CEE: medium term outcomes and selected possible explanations Aut.údaje Juraj Nemec Autor Nemec Juraj 1960- UMBEF04 - Katedra financií a účtovníctva
Zdroj.dok. Teoretické a praktické aspekty veřejných financí. S. [18]. - Praha : Oeconomica, 2008 Kľúč.slová zdravotníctvo - health service reformy - reforms výsledky - results starostlivosť o zdravie - health care CEE outcomes Heslá geogr. Európa stredná a východná Jazyk dok. angličtina Krajina Česká republika Systematika 336.7 Anotácia Res. angl. Kategória publikačnej činnosti AFA Číslo archívnej kópie 10006 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xpca - PUBLIKAČNÁ ČINNOSŤ Názov Market based health care reforms solutions and their outcomes in CEE Aut.údaje Juraj Nemec Autor Nemec Juraj 1960- (100%) UMBEF04 - Katedra financií a účtovníctva
Zdroj.dok. Tendencja i uwarunkowania rozwoju finansow przedsiebiorstw i finansow publicznych. S. 338-352. - Warsava a Gdansk : CeDeWu a WSB Gdansk, 2008 Kľúč.slová zdravotníctvo - health service reformy - reforms výsledky - results starostlivosť o zdravie - health care outcomes Jazyk dok. angličtina Krajina Poľsko Systematika 65.011.8 Kategória publikačnej činnosti ABC Číslo archívnej kópie 10326 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xpca - PUBLIKAČNÁ ČINNOSŤ