Výsledky vyhledávání

Report

Having Fun in Learning Formal Specifications

Autor: Prasetya, I. S. W. B., Leek, Craig Q. H. D., Melkonian, Orestis, Tusscher, Joris ten, van Bergen, Jan, Everink, J. M., van der Klis, Thomas, Kostic, Petar, Meijerink, Rick, Oosenbrug, Roan, Oostveen, Jelle J., Pol, Tijmen van den, de Vries, Mike, van Zon, Wink M.

Publikováno v: Proceedings of 41th ICSE 2019 --- Software Engineering Education and Training (SEET) track, IEEE, 2019

There are many benefits in providing formal specifications for our software. However, teaching students to do this is not always easy as courses on formal methods are often experienced as dry by students. This paper presents a game called FormalZ tha

Externí odkaz: http://arxiv.org/abs/1903.00334

Zobrazit plný text záznamu

Natural products in drug discovery: advances and opportunities

Autor: Atanasov, A. G., Zotchev, S. B., Dirsch, V. M., Orhan, I. E., Banach, M., Rollinger, J. M., Barreca, D., Weckwerth, W., Bauer, R., Bayer, E. A., Majeed, M., Bishayee, A., Bochkov, V., Bonn, G. K., Braidy, N., Bucar, F., Cifuentes, A., D'Onofrio, G., Bodkin, M., Diederich, M., Dinkova-Kostova, A. T., Efferth, T., El Bairi, K., Arkells, N., Fan, T. -P., Fiebich, B. L., Freissmuth, M., Georgiev, M. I., Gibbons, S., Godfrey, K. M., Gruber, C. W., Heer, J., Huber, L. A., Ibanez, E., Kijjoa, A., Kiss, A. K., Lu, A., Macias, F. A., Miller, M. J. S., Mocan, A., Muller, R., Nicoletti, F., Perry, G., Pittala, V., Rastrelli, L., Ristow, M., Russo, G. L., Silva, A. S., Schuster, D., Sheridan, H., Skalicka-Wozniak, K., Skaltsounis, L., Sobarzo-Sanchez, E., Bredt, D. S., Stuppner, H., Sureda, A., Tzvetkov, N. T., Vacca, R. A., Aggarwal, B. B., Battino, M., Giampieri, F., Wink, M., Wolfender, J. -L., Xiao, J., Yeung, A. W. K., Lizard, G., Popp, M. A., Heinrich, M., Berindan-Neagoe, I., Stadler, M., Daglia, M., Verpoorte, R., Supuran, C. T.

Publikováno v: Digital.CSIC. Repositorio Institucional del CSIC
instname
Nature reviews. Drug discovery
(2021). doi:10.1038/s41573-020-00114-z
info:cnr-pdr/source/autori:Atanasov A.G.; Zotchev S.B.; Dirsch V.M.; Orhan I.E.; Banach M.; Rollinger J.M.; Barreca D.; Weckwerth W.; Bauer R.; Bayer E.A.; Majeed M.; Bishayee A.; Bochkov V.; Bonn G.K.; Braidy N.; Bucar F.; Cifuentes A.; D'Onofrio G.; Bodkin M.; Diederich M.; Dinkova-Kostova A.T.; Efferth T.; El Bairi K.; Arkells N.; Fan T.-P.; Fiebich B.L.; Freissmuth M.; Georgiev M.I.; Gibbons S.; Godfrey K.M.; Gruber C.W.; Heer J.; Huber L.A.; Ibanez E.; Kijjoa A.; Kiss A.K.; Lu A.; Macias F.A.; Miller M.J.S.; Mocan A.; Muller R.; Nicoletti F.; Perry G.; Pittala V.; Rastrelli L.; Ristow M.; Russo G.L.; Silva A.S.; Schuster D.; Sheridan H.; Skalicka-Wozniak K.; Skaltsounis L.; Sobarzo-Sanchez E.; Bredt D.S.; Stuppner H.; Sureda A.; Tzvetkov N.T.; Vacca R.A.; Aggarwal B.B.; Battino M.; Giampieri F.; Wink M.; Wolfender J.-L.; Xiao J.; Yeung A.W.K.; Lizard G.; Popp M.A.; Heinrich M.; Berindan-Neagoe I.; Stadler M.; Daglia M.; Verpoorte R.; Supuran C.T./titolo:Natural products in drug discovery: advances and opportunities/doi:10.1038%2Fs41573-020-00114-z/rivista:Nature reviews. Drug discovery (Print)/anno:2021/pagina_da:/pagina_a:/intervallo_pagine:/volume
Nature Reviews. Drug Discovery
Nature Reviews in Drug Discovery

The International Natural Product Sciences Taskforce: et al.
Natural products and their structural analogues have historically made a major contribution to pharmacotherapy, especially for cancer and infectious diseases. Nevertheless, natural pro

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a3a4af098e94ae136fc937f8a2727274
https://doi.org/10.1038/s41573-020-00114-z

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání