LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset)

por Benzmüller, Christoph, Farjami, Ali, Fuenmayor, David, Meder, Paul, Parent, Xavier, Steen, Alexander, van der Torre, Leendert, Zahoransky, Valeria
Publicado 2020

Bioengineering bacterial encapsulin nanocompartments as targeted drug delivery system

por Van de Steen, Alexander, Khalife, Rana, Colant, Noelle, Mustafa Khan, Hasan, Deveikis, Matas, Charalambous, Saverio, Robinson, Clare M., Dabas, Rupali, Esteban Serna, Sofia, Catana, Diana A., Pildish, Konstantin, Kalinovskiy, Vladimir, Gustafsson, Kenth, Frank, Stefanie
Publicado 2021