Fast particle-mesh code for Milgromian dynamics

Context. Modified Newtonian dynamics (MOND) is a promising alternative to dark matter. To further test the theory, there is a need for fluid- and particle-dynamics simulations. The force in MOND is not a direct particle-particle interaction, but derives from a potential for which a nonlinear partial differential equation (PDE) needs to be...

Transitioning Together, sparking change towards the energy transition: A handbook on Social Contagion

Having directly observed one of the most rapidly spreading global pandemics, we understand more than ever the power of contagion. In today’s interconnected world, trends originating in one corner, whether it’s a disease, clothing fashion, or an online social media challenge, can swiftly gain momentum on the opposite side of the globe, often...

Forecasting elections based on the aggregation of election polls

<br/>Elections polls have been known to exist since 1824 [14], to fulfill the objective of what is happening and may happen. In this thesis it is investigated what the performance of election polls is and if the aggregation of polls give a better forecast than the polls themselves. The data is used of Spain during years 2012 until 2017 and The...

A Constraint Language for Static Semantic Analysis Based on Scope Graphs

In previous work, we introduced scope graphs as a formalism for describing program binding structure and performing name resolution in an AST-independent way. In this paper, we show how to use scope graphs to build static semantic analyzers. We use constraints extracted from the AST to specify facts about binding, typing, and initialization. We...

A Constraint Language for Static Semantic Analysis Based on Scope Graphs with Proofs

In previous work, we introduced scope graphs as a formalism for describing program binding structure and performing name resolution in an AST-independent way. In this paper, we show how to use scope graphs to build static semantic analyzers. We use constraints extracted from the AST to specify facts about binding, typing, and initialization. We...

A Language Designer's Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs

The realization of a language design requires multiple artifacts that redundantly encode the same information. This entails significant effort for language implementors, and often results in late detection of errors in language definitions. In this paper we present a proof-of-concept language designer's workbench that supports generation of IDEs...

Wavefront spacing and Gouy phase in presence of primary spherical aberration

We study the Gouy phase of a scalar wavefield that is focused by a lens suffering from primary spherical aberration. It is found that the Gouy phase has different behaviors at the two sides of the intensity maximum. This results in a systematic increase of the successive wavefront spacings around the diffraction focus. Since all lenses have some...

The Gouy phase of Airy beams

The phase behavior of Airy beams is studied, and their Gouy phase is defined. Analytic expressions for the idealized, infinite-energy type beam are derived. They are shown to be excellent approximations for finite-energy beams generated under typical experimental conditions.