Zobrazeno 1 - 10
of 11
pro vyhledávání: '"Co NT"'
Autor:
Ashok, Pranav, K��et��nsk��, Jan, Larsen, Kim Guldstrand, Co��nt, Adrien Le, Taankvist, Jakob Haahr, Weininger, Maximilian
For hybrid Markov decision processes, UPPAAL Stratego can compute strategies that are safe for a given safety property and (in the limit) optimal for a given cost function. Unfortunately, these strategies cannot be exported easily since they are comp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9bc7c902d3d7991ec81a3a6647caab35
http://arxiv.org/abs/1906.10640
http://arxiv.org/abs/1906.10640
Autor:
Leśniewski M; Faculty of Chemistry, University of Gdańsk, Fahrenheit Union of Universities, ul. Wita Stwosza 63, 80-308 Gdańsk, Poland., Pyrka M; Faculty of Chemistry, University of Gdańsk, Fahrenheit Union of Universities, ul. Wita Stwosza 63, 80-308 Gdańsk, Poland.; Department of Physics and Biophysics, University of Warmia and Mazury, ul. Oczapowskiego 4, 10-719 Olsztyn, Poland., Czaplewski C; Faculty of Chemistry, University of Gdańsk, Fahrenheit Union of Universities, ul. Wita Stwosza 63, 80-308 Gdańsk, Poland., Co NT; Faculty of Chemistry, University of Gdańsk, Fahrenheit Union of Universities, ul. Wita Stwosza 63, 80-308 Gdańsk, Poland., Jiang Y; College of Chemistry and Molecular Engineering & Center for Quantitative Biology & PKU-Tsinghua Center for Life Sciences & Beijing National Laboratory for Molecular Sciences, Peking University, Beijing 100871, China., Gong Z; Innovation Academy of Precision Measurement Science and Technology, Chinese Academy of Sciences, 30 W. Xiao Hong Shan, Wuhan 430071, China., Tang C; College of Chemistry and Molecular Engineering & Center for Quantitative Biology & PKU-Tsinghua Center for Life Sciences & Beijing National Laboratory for Molecular Sciences, Peking University, Beijing 100871, China., Liwo A; Faculty of Chemistry, University of Gdańsk, Fahrenheit Union of Universities, ul. Wita Stwosza 63, 80-308 Gdańsk, Poland.
Publikováno v:
Journal of chemical information and modeling [J Chem Inf Model] 2024 Feb 26; Vol. 64 (4), pp. 1377-1393. Date of Electronic Publication: 2024 Feb 12.
Autor:
Co NT; Institute of Physics, Polish Academy of Sciences, Warsaw, Poland., Li MS; Institute of Physics, Polish Academy of Sciences, Warsaw, Poland.; Institute for Computational Science and Technology, Ho Chi Minh City, Vietnam., Krupa P; Institute of Physics, Polish Academy of Sciences, Warsaw, Poland. pkrupa@ifpan.edu.pl.
Publikováno v:
Methods in molecular biology (Clifton, N.J.) [Methods Mol Biol] 2022; Vol. 2340, pp. 51-78.
Autor:
Co NT; Institute of Physics, Polish Academy of Sciences, Al. Lotnikow 32/46, 02-668 Warsaw, Poland., Li MS; Institute of Physics, Polish Academy of Sciences, Al. Lotnikow 32/46, 02-668 Warsaw, Poland.; Institute for Computational Science and Technology, SBI Building, Quang Trung Software City, Tan Chanh Hiep Ward, District 12, Ho Chi Minh City 700000, Vietnam.
Publikováno v:
Biomolecules [Biomolecules] 2021 Apr 18; Vol. 11 (4). Date of Electronic Publication: 2021 Apr 18.
Autor:
Co NT; Institute of Physics, Polish Academy of Sciences, Al. Lotnikow 32/46, 02-668 Warsaw, Poland., Lan PD; Institute for Computational Science and Technology, SBI Building, Quang Trung Software City, Tan Chanh Hiep Ward, District 12, Ho Chi Minh City, Vietnam., Quoc Huy PD; Institute of Physics, Polish Academy of Sciences, Al. Lotnikow 32/46, 02-668 Warsaw, Poland., Li MS; Institute of Physics, Polish Academy of Sciences, Al. Lotnikow 32/46, 02-668 Warsaw, Poland.
Publikováno v:
The Journal of chemical physics [J Chem Phys] 2020 Mar 21; Vol. 152 (11), pp. 115101.
Autor:
Thu TTM; Institute for Computational Science and Technology, SBI Building, Quang Trung Software City, Tan Chanh Hiep Ward, District 12, Ho Chi Minh City, Vietnam., Co NT; Institute of Physics, Polish Academy of Sciences, Al. Lotnikow 32/46, 02-668 Warsaw, Poland., Tu LA; Department of Applied Physics, Faculty of Applied Science, Ho Chi Minh City University of Technology-VNU HCM, 268 Ly Thuong Kiet Street, District 10, Ho Chi Minh City, Vietnam., Li MS; Institute of Physics, Polish Academy of Sciences, Al. Lotnikow 32/46, 02-668 Warsaw, Poland.
Publikováno v:
The Journal of chemical physics [J Chem Phys] 2019 Jun 14; Vol. 150 (22), pp. 225101.
Autor:
Kouza M; Faculty of Chemistry, University of Warsaw, Pasteura 1, 02-093 Warsaw, Poland., Co NT; Institute of Physics, Polish Academy of Sciences, Lotnikow 32/46, 02-668 Warsaw, Poland., Li MS; Institute of Physics, Polish Academy of Sciences, Lotnikow 32/46, 02-668 Warsaw, Poland., Kmiecik S; Faculty of Chemistry, University of Warsaw, Pasteura 1, 02-093 Warsaw, Poland., Kolinski A; Faculty of Chemistry, University of Warsaw, Pasteura 1, 02-093 Warsaw, Poland., Kloczkowski A; Battelle Center for Mathematical Medicine, The Research Nationwide Children's Hospital, 575 Children's Crossroad, Columbus, Ohio 43215, USA., Buhimschi IA; Department of Pediatrics, The Ohio State University College of Medicine, Columbus, Ohio 43215, USA.
Publikováno v:
The Journal of chemical physics [J Chem Phys] 2018 Jun 07; Vol. 148 (21), pp. 215106.
Preformed template fluctuations promote fibril formation: insights from lattice and all-atom models.
Autor:
Kouza M; Faculty of Chemistry, University of Warsaw, ul. Pasteura 1, 02-093 Warszaw, Poland., Co NT; Department of Physics, Institute of Technology, National University of HCM City, 268 Ly Thuong Kiet Street, District 10, Ho Chi Minh City, Viet Nam., Nguyen PH; Laboratoire de Biochimie Theorique, UPR 9080 CNRS, IBPC, Universite Paris 7, 13 rue Pierre et Marie Curie, 75005 Paris, France., Kolinski A; Faculty of Chemistry, University of Warsaw, ul. Pasteura 1, 02-093 Warszaw, Poland., Li MS; Institute of Physics, Polish Academy of Sciences, Al. Lotnikow 32/46, 02-668 Warsaw, Poland.
Publikováno v:
The Journal of chemical physics [J Chem Phys] 2015 Apr 14; Vol. 142 (14), pp. 145104.