Search results
- 1.0580808 - ÚI 2024 RIV CH eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GA22-01137S
EU Projects: European Commission(XE) 101007627 - MOSAIC
Institutional support: RVO:67985807 ; RVO:67985955
Keywords : two-layered logics * Łukasiewicz logic * non-standard probabilities * paraconsistent logics * constraint tableaux
OECD category: 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
Permanent Link: https://hdl.handle.net/11104/0349571 - 2.0576127 - ÚOCHB 2024 RIV US eng J - Journal Article
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
R&D Projects: GA MŠMT(CZ) LX22NPO5103
Institutional support: RVO:61388963
Keywords : linear constraint solver * particle mesh Ewald * molecular dynamics
OECD category: Physical chemistry
Impact factor: 5.5, year: 2022
Method of publishing: Open access
https://doi.org/10.1021/acs.jctc.3c00614
Permanent Link: https://hdl.handle.net/11104/0345727File Download Size Commentary Version Access 10.1021acs.jctc.3c00614.pdf 0 4.7 MB Publisher’s postprint open-access - 3.0575057 - ÚTIA 2024 RIV US eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GA21-03689S
Institutional support: RVO:67985556
Keywords : Fixed-time tracking control * Nonlinear purefeedback system * State constraint * Nonlinear transformation function * Adding a power integrator technique.
OECD category: Automation and control systems
Impact factor: 5.1, year: 2022
Method of publishing: Limited access
http://library.utia.cas.cz/separaty/2023/TR/celikovsky-0575057.pdf https://ieeexplore.ieee.org/document/10189394
Permanent Link: https://hdl.handle.net/11104/0344902 - 4.0574098 - ÚI 2024 RIV CH eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GA21-09458S
Institutional support: RVO:67985807
Keywords : SAT modulo theories * constraint solving * formal verification
OECD category: 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
Permanent Link: https://hdl.handle.net/11104/0344454 - 5.0561693 - ÚOCHB 2023 RIV US eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GX19-26854X
Institutional support: RVO:61388963 ; RVO:61388955
Keywords : linear constraint solver * particle mesh Ewald * molecular dynamics
OECD category: Physical chemistry
Impact factor: 3.9, year: 2022
Method of publishing: Open access
https://doi.org/10.1021/acs.langmuir.2c01435
Permanent Link: https://hdl.handle.net/11104/0334213File Download Size Commentary Version Access 0561693.pdf 3 14.4 MB open access Publisher’s postprint open-access - 6.0560973 - ÚI 2023 RIV CH eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GA22-01137S
EU Projects: European Commission(XE) 101007627 - MOSAIC
Institutional support: RVO:67985807
Keywords : Constraint tableaux * Gödel logic * Two-dimensional logics * Modal logics
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Permanent Link: https://hdl.handle.net/11104/0333737File Download Size Commentary Version Access 0560973-aoa.pdf 3 702.2 KB OA CC BY 4.0 Publisher’s postprint open-access - 7.0559241 - ÚI 2023 RIV NL eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GA19-19463S
Institutional support: RVO:67985807
Keywords : knowledge compilation * constraint CNF encoding * DNNF * propagation complete encoding
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impact factor: 1.6, year: 2022
Method of publishing: Limited access
https://dx.doi.org/10.1007/s10601-022-09331-2
Permanent Link: https://hdl.handle.net/11104/0332581 - 8.0558112 - MÚ 2023 RIV US eng J - Journal Article
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
R&D Projects: GA ČR(CZ) GA20-14736S
Grant - others:AV ČR(CZ) L100192151
Institutional support: RVO:67985840
Keywords : finite-time stability * Lyapunov function * normal cone * polyhedral constraint
OECD category: Pure mathematics
Impact factor: 2.2, year: 2022
Method of publishing: Limited access
https://doi.org/10.1137/20M1388796
Permanent Link: http://hdl.handle.net/11104/0331911File Download Size Commentary Version Access Gudoshnikov.pdf 5 740.6 KB Publisher’s postprint require - 9.0557550 - ÚOCHB 2023 RIV US eng J - Journal Article
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
Research Infrastructure: e-INFRA CZ - 90140
Institutional support: RVO:61388963
Keywords : Pseudomonas aeruginosa azurin * biological electron transfer * linear constraint solver
OECD category: Physical chemistry
Impact factor: 4.4, year: 2022
Method of publishing: Limited access
https://doi.org/10.1063/5.0085141
Permanent Link: http://hdl.handle.net/11104/0331515 - 10.0556419 - ÚOCHB 2023 RIV US eng J - Journal Article
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
Institutional support: RVO:61388963
Keywords : molecular dynamics simulations * linear constraint solver * polarizable force field
OECD category: Physical chemistry
Impact factor: 5.5, year: 2022
Method of publishing: Open access
https://doi.org/10.1021/acs.jctc.1c00951
Permanent Link: http://hdl.handle.net/11104/0330640