1.2k citations
- University of HelsinkiFI17 papers
- Helsinki Institute of PhysicsFI16 papers
- Helsinki Institute for Information TechnologyFI11 papers
- Centre National de la Recherche ScientifiqueFR9 papers
- Institute for Scientific InterchangeIT8 papers
- KTH Royal Institute of TechnologySE8 papers
- AlbaNovaSE7 papers
- University of JyväskyläFI7 papers
- Landau Institute for Theoretical PhysicsRU6 papers
- Max Planck Institute for Radio AstronomyDE6 papers
- Stockholm UniversitySE6 papers
- University of TriesteIT6 papers
19 papers · 1 filter
Bounded Model Checking of an MITL Fragment for Timed Automata
Roland Kindermann, Tommi Junttila, Ilkka Niemelä
Timed automata (TAs) are a common formalism for modeling timed systems. Bounded model checking (BMC) is a verification method that searches for runs violating a property using a SA…
Editorial: Statistical Mechanics and Social Sciences
Santo Fortunato, Michael Macy, Sidney Redner
This editorial opens the special issues that the Journal of Statistical Physics has dedicated to the growing field of statistical physics modeling of social dynamics. The issues in…
How important tasks are performed: peer review
T. Hartonen, M. J. Alava
The advancement of various fields of science depends on the actions of individual scientists via the peer review process. The referees' work patterns and stochastic nature of decis…
Low degree minimal generators of phylogenetic semigroups
Kaie Kubjas
The phylogenetic semigroup on a graph generalizes the Jukes-Cantor binary model on a tree. Minimal generating sets of phylogenetic semigroups have been described for trivalent tree…
The case for caution in predicting scientists' future impact
Orion Penner, Raj K. Pan, Alexander M. Petersen +1
We stress-test the career predictability model proposed by Acuna et al. [Nature 489, 201-202 2012] by applying their model to a longitudinal career data set of 100 Assistant profes…
RadioAstron -- a Telescope with a Size of 300 000 km: Main Parameters and First Observational Results
N. S. Kardashev, V. V. Khartov, RadioAstron collaboration
The Russian Academy of Sciences and Federal Space Agency, together with the participation of many international organizations, worked toward the launch of the RadioAstron orbiting…