0091176 - UCHP-M 20070124 RIV SK slo C - Conference Paper (international conference)
Bolyó, Juraj - Kuncová, Gabriela
Optické monitorovanie kyslíka a glukózy v priebehu fermentačného procesu v bioreaktore.
[The Optical Monitoring of Oxygen and Glucose during Fermentation in the Bioreactor.]
Zborník prednáškových a posterových príspevkov.. Bratislava: STU Fakulta chemickej a potravinárskej technologie, 2007 - (Staruch, L.; Morávková, H., H.), s. 81-88. ISBN 978-80-227-2628-3.
[Medzinárodná konferencia o analytických metódach v potravinárstve, v súlade s harmonizáciou legislatívy EU Laboralim 2007 /16./. Banská Bystrica (SK), 07.02.2007-08.02.2007]
R&D Projects: GA ČR(CZ) GA104/05/2637; GA ČR(CZ) GA203/06/1244; GA MŠMT OC 121
Institutional research plan: CEZ:AV0Z40720504
Keywords : glucose optical sensor * oxygen optical sensor
Subject RIV: CC - Organic Chemistry
Permanent Link: http://hdl.handle.net/11104/0151834

0501613 - ÚI 2020 RIV NL eng J - Journal Article
Cintula, Petr - Diaconescu, D. - Metcalfe, G.
Skolemization and Herbrand theorems for lattice-valued logics.
Theoretical Computer Science. Roč. 768, 10 May (2019), s. 54-75. ISSN 0304-3975. E-ISSN 1879-2294
R&D Projects: GA ČR GBP202/12/G061
EU Projects: European Commission(XE) 689176 - SYSMICS
Institutional support: RVO:67985807
Keywords : Skolemization * Herbrand theorems * Non-classical logics * Lattices
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impact factor: 0.747, year: 2019 ; AIS: 0.455, rok: 2019
Method of publishing: Limited access
Result website:
http://dx.doi.org/10.1016/j.tcs.2019.02.007DOI: https://doi.org/10.1016/j.tcs.2019.02.007
Permanent Link: http://hdl.handle.net/11104/0293600