Zobrazeno 1 - 10
of 12
pro vyhledávání: '"Grundberg, Johan"'
Autor:
Grundberg, Johan
Formal methods is a subfield of computer science in which mathematics and logic are used to prove properties of programs and/or systems. Two families of methods within formal methods are model checking and deductive verification. One concrete model c
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-344765
Autor:
Karlsson, Erik, Grundberg, Johan
The general relationship between sustainability and financial performance has been well examined, and there doesn't seem to be any general significant tradeoff between the two. However, the results are mixed and the many ways of defining both sustain
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-198059
Autor:
Elmarsson, Axel, Grundberg, Johan
The brain is the most complex organ in the human body, and there are many reasons to study it. One way of studying the brain is through digital simulations. Such simulations typically require large amounts of data on the 3dimensional structure of ind
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-279974
Autor:
Grundberg, Johan, Lindström, Ulf
Publikováno v:
Nucl.Phys.B410:355-376,1993
We investigate the hitherto unexplored relation between the superparticle path integral and superfield theory. Requiring that the path integral has the global symmetries of the classical action and obeys the natural composition property of path integ
Externí odkaz:
http://arxiv.org/abs/hep-th/9303174
Autor:
Elmarsson, Axel, Grundberg, Johan
The brain is the most complex organ in the human body, and there are many reasons to study it. One way of studying the brain is through digital simulations. Such simulations typically require large amounts of data on the 3dimensional structure of ind
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c2e1e5d5322c34dd053dec314c973fda
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-279974
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-279974
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Grundberg, Johan, Lindström, Ulf
Publikováno v:
General Relativity and Gravitation; October 1986, Vol. 18 Issue: 10 p1037-1044, 8p
Autor:
Grundberg, Johanna, Magnusson, Markus
The purpose of our study is to see how an organization, and also a administrative authority, communicates by using social media. The organization in this case is the Swedish Police, because of their paradoxical problem with confidentiality versus ope
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:se:miun:diva-24671
Autor:
Grundberg, Johan
Publikováno v:
Physica Scripta; 1986, Vol. 33 Issue 1, p1-1, 1p