Výsledky vyhledávání
- 1.0580808 - ÚI 2024 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Bílková, Marta - Frittella, S. - Kozhemiachenko, D. - Majer, Ondrej
Two-Layered Logics for Paraconsistent Probabilities.
Logic, Language, Information, and Computation. Cham: Springer, 2023 - (Hansen, H.; Scedrov, A.; de Queiroz, R.), s. 101-117. Lecture Notes in Computer Science, 13923. ISBN 978-3-031-39783-7.
[WoLLIC 2023: Workshop on Logic, Language, Information and Computation /29./. Halifax (CA), 11.07.2023-14.07.2023]
Grant CEP: GA ČR(CZ) GA22-01137S
GRANT EU: European Commission(XE) 101007627 - MOSAIC
Institucionální podpora: RVO:67985807 ; RVO:67985955
Klíčová slova: two-layered logics * Łukasiewicz logic * non-standard probabilities * paraconsistent logics * constraint tableaux
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://doi.org/10.1007/978-3-031-39784-4_7
Trvalý link: https://hdl.handle.net/11104/0349571 - 2.0576127 - ÚOCHB 2024 RIV US eng J - Článek v odborném periodiku
Biriukov, Denys - Javanainen, Matti
Efficient Simulations of Solvent Asymmetry Across Lipid Membranes Using Flat-Bottom Restraints.
Journal of Chemical Theory and Computation. Roč. 19, č. 18 (2023), s. 6332-6341. ISSN 1549-9618. E-ISSN 1549-9626
Grant CEP: GA MŠMT(CZ) LX22NPO5103
Institucionální podpora: RVO:61388963
Klíčová slova: linear constraint solver * particle mesh Ewald * molecular dynamics
Obor OECD: Physical chemistry
Impakt faktor: 5.5, rok: 2022
Způsob publikování: Open access
https://doi.org/10.1021/acs.jctc.3c00614
Trvalý link: https://hdl.handle.net/11104/0345727Název souboru Staženo Velikost Komentář Verze Přístup 10.1021acs.jctc.3c00614.pdf 0 4.7 MB Vydavatelský postprint povolen - 3.0575057 - ÚTIA 2024 RIV US eng J - Článek v odborném periodiku
Guo, Ch. - Hu, J. - Wu, Y. - Čelikovský, Sergej
Non-Singular Fixed-Time Tracking Control of Uncertain Nonlinear Pure-Feedback Systems With Practical State Constraints.
IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I-REGULAR PAPERS. Roč. 70, č. 9 (2023), s. 3746-3758. ISSN 1549-8328. E-ISSN 1558-0806
Grant CEP: GA ČR(CZ) GA21-03689S
Institucionální podpora: RVO:67985556
Klíčová slova: Fixed-time tracking control * Nonlinear purefeedback system * State constraint * Nonlinear transformation function * Adding a power integrator technique.
Obor OECD: Automation and control systems
Impakt faktor: 5.1, rok: 2022
Způsob publikování: Omezený přístup
http://library.utia.cas.cz/separaty/2023/TR/celikovsky-0575057.pdf https://ieeexplore.ieee.org/document/10189394
Trvalý link: https://hdl.handle.net/11104/0344902 - 4.0574098 - ÚI 2024 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Lipparini, E. - Ratschan, Stefan
Satisfiability of Non-linear Transcendental Arithmetic as a Certificate Search Problem.
NASA Formal Methods: 15th International Symposium, NFM 2023 Proceedings. Cham: Springer, 2023 - (Rozier, K.; Chaudhuri, S.), s. 472-488. Lecture Notes in Computer Science, 13903. ISBN 978-3-031-33169-5. ISSN 0302-9743.
[NFM 2023: NASA Formal Methods International Symposium /15./. Houston (US), 16.05.2023-18.05.2023]
Grant CEP: GA ČR(CZ) GA21-09458S
Institucionální podpora: RVO:67985807
Klíčová slova: SAT modulo theories * constraint solving * formal verification
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://dx.doi.org/10.1007/978-3-031-33170-1_29
Trvalý link: https://hdl.handle.net/11104/0344454 - 5.0561693 - ÚOCHB 2023 RIV US eng J - Článek v odborném periodiku
Nguyen, Man Thi Hong - Biriukov, Denys - Tempra, Carmelo - Baxová, Katarína - Martinez-Seara, Hector - Evci, Huseyin - Singh, Vandana - Šachl, Radek - Hof, Martin - Jungwirth, Pavel - Javanainen, Matti - Vazdar, Mario
Ionic Strength and Solution Composition Dictate the Adsorption of Cell-Penetrating Peptides onto Phosphatidylcholine Membranes.
Langmuir. Roč. 38, č. 37 (2022), s. 11284-11295. ISSN 0743-7463
Grant CEP: GA ČR(CZ) GX19-26854X
Institucionální podpora: RVO:61388963 ; RVO:61388955
Klíčová slova: linear constraint solver * particle mesh Ewald * molecular dynamics
Obor OECD: Physical chemistry
Impakt faktor: 3.9, rok: 2022
Způsob publikování: Open access
https://doi.org/10.1021/acs.langmuir.2c01435
Trvalý link: https://hdl.handle.net/11104/0334213Název souboru Staženo Velikost Komentář Verze Přístup 0561693.pdf 3 14.4 MB open access Vydavatelský postprint povolen - 6.0560973 - ÚI 2023 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Bílková, Marta - Frittella, S. - Kozhemiachenko, D.
Paraconsistent Gödel Modal Logic.
Automated Reasoning: 11th International Joint Conference, IJCAR 2022 Proceedings. Cham: Springer, 2022 - (Blanchette, J.; Kovács, L.; Pattinson, D.), s. 429-448. Lecture Notes in Computer Science, 13385. ISBN 978-3-031-10768-9.
[IJCAR 2022: International Joint Conference on Automated Reasoning /11./. Haifa (IL), 08.08.2022-10.08.2022]
Grant CEP: GA ČR(CZ) GA22-01137S
GRANT EU: European Commission(XE) 101007627 - MOSAIC
Institucionální podpora: RVO:67985807
Klíčová slova: Constraint tableaux * Gödel logic * Two-dimensional logics * Modal logics
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý link: https://hdl.handle.net/11104/0333737Název souboru Staženo Velikost Komentář Verze Přístup 0560973-aoa.pdf 3 702.2 KB OA CC BY 4.0 Vydavatelský postprint povolen - 7.0559241 - ÚI 2023 RIV NL eng J - Článek v odborném periodiku
Kučera, P. - Savický, Petr
Propagation Complete Encodings of Smooth DNNF Theories.
Constraints. Roč. 27, č. 3 (2022), s. 327-359. ISSN 1383-7133. E-ISSN 1572-9354
Grant CEP: GA ČR(CZ) GA19-19463S
Institucionální podpora: RVO:67985807
Klíčová slova: knowledge compilation * constraint CNF encoding * DNNF * propagation complete encoding
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 1.6, rok: 2022
Způsob publikování: Omezený přístup
https://dx.doi.org/10.1007/s10601-022-09331-2
Trvalý link: https://hdl.handle.net/11104/0332581 - 8.0558112 - MÚ 2023 RIV US eng J - Článek v odborném periodiku
Gudoshnikov, Ivan - Makarenkov, O. - Rachinskii, D.
Finite-time stability of polyhedral sweeping processes with application to elastoplastic systems.
SIAM Journal on Control and Optimization. Roč. 60, č. 3 (2022), s. 1320-1346. ISSN 0363-0129. E-ISSN 1095-7138
Grant CEP: GA ČR(CZ) GA20-14736S
Grant ostatní: AV ČR(CZ) L100192151
Institucionální podpora: RVO:67985840
Klíčová slova: finite-time stability * Lyapunov function * normal cone * polyhedral constraint
Obor OECD: Pure mathematics
Impakt faktor: 2.2, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1137/20M1388796
Trvalý link: http://hdl.handle.net/11104/0331911Název souboru Staženo Velikost Komentář Verze Přístup Gudoshnikov.pdf 5 740.6 KB Vydavatelský postprint vyžádat - 9.0557550 - ÚOCHB 2023 RIV US eng J - Článek v odborném periodiku
Kontkanen, O. V. - Biriukov, Denys - Futera, Z.
Reorganization free energy of copper proteins in solution, in vacuum, and on metal surfaces.
Journal of Chemical Physics. Roč. 156, č. 17 (2022), č. článku 175101. ISSN 0021-9606. E-ISSN 1089-7690
Výzkumná infrastruktura: e-INFRA CZ - 90140
Institucionální podpora: RVO:61388963
Klíčová slova: Pseudomonas aeruginosa azurin * biological electron transfer * linear constraint solver
Obor OECD: Physical chemistry
Impakt faktor: 4.4, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1063/5.0085141
Trvalý link: http://hdl.handle.net/11104/0331515 - 10.0556419 - ÚOCHB 2023 RIV US eng J - Článek v odborném periodiku
Tempra, Carmelo - Ollila, O. H. S. - Javanainen, Matti
Accurate Simulations of Lipid Monolayers Require a Water Model with Correct Surface Tension.
Journal of Chemical Theory and Computation. Roč. 18, č. 3 (2022), s. 1862-1869. ISSN 1549-9618. E-ISSN 1549-9626
Institucionální podpora: RVO:61388963
Klíčová slova: molecular dynamics simulations * linear constraint solver * polarizable force field
Obor OECD: Physical chemistry
Impakt faktor: 5.5, rok: 2022
Způsob publikování: Open access
https://doi.org/10.1021/acs.jctc.1c00951
Trvalý link: http://hdl.handle.net/11104/0330640