University of Helsinki

Forschungsprojekte

• SAT-based ASP Solving and Optimization via a General Transitive Closure Framework Answer set programming (ASP) in the NP fragment can be solved by translating into propositional satisfiabilit…
• Herbaria viva: proto-genebanks of Mendel’s contemporaries in Moravia Abstract Early nineteenth-century plant collections in Moravia functioned as organised systems for managing c…
• Uronium from X-ray Desorbed Solid Urea Enables Attomole Sensitivity to Amines and Semivolatiles Comprehensive mass spectrometric detection requires multiple ionization schemes. Chemical ionization at low p…