Systems Engineering Certification: New and Updated
- 期刊名称INSIGHT
- 作者Forsberg, Kevin
- 卷第11卷
- 期第2期
- 印刷ISSN2156-485X
- 文件大小155.35KB
- 发表时间2008-04
- DOI10.1002/inst.200811252
- 页码52-52
Light Higgs bosons and supersymmetryJohn Ellis; K. Enqvist; D.V. Nanopoulos; S. Ritz · 1985
Quantum cosmology of superstringsK. Enqvist; S. Mohanty; D.V. Nanopoulos · 1987
A gradient expansion for cosmological backreactionK. Enqvist; S. Hotchkiss; G. Rigopoulos · 2012
Modulated preheating and isocurvature perturbationsK. Enqvist; S. Rusak · 2013
The subdominant curvatonK. Enqvist; S. Nurmi; G. Rigopoulos; O. Taanila; T. Takahashi · 2009
Parametric decay of the curvatonK. Enqvist; S. Nurmi; G. I. Rigopoulos · 2008
A new coalgebraic Lindstrom theoremEnqvist, S. · Journal of Logic and Computation · 2014
EstimatingfNLandgNLfrom massive high-redshift galaxy clustersK. Enqvist; S. Hotchkiss; O. Taanila · 2011
Linearity: A RoadmapAlves, S.; Fernandez, M.; Florido, M.; Mackie, I. · Journal of Logic and Computation · 2012
Elementary Diagrams in InstitutionsDiaconescu, R. · Journal of Logic and Computation · 2004
A Linear Spine CalculusCervesato, I. · Journal of Logic and Computation · 2003
Propositional primal logic with disjunctionBeklemishev, L.; Gurevich, Y. · Journal of Logic and Computation · 2014
Basic primal infon logicCotrini, C.; Gurevich, Y. · Journal of Logic and Computation · 2013
Computational logic and the socialMartin, U. · Journal of Logic and Computation · 2014
Hoops and Fuzzy LogicEsteva, F. · Journal of Logic and Computation · 2003
Linear Types and LocalityTorrini, P. · Journal of Logic and Computation · 2014