"The Keynesian Roots of Stock-flow Consistent Macroeconomic Models: Peering Over the Edge of the Short Period"

This paper argues that institutionally rich stock-flow consistent models—that is, models in which economic agents are identified with the main social categories/institutional sectors of actual capitalist economies, the short period behavior of these agents is thoroughly described, and the "period by period" balance sheet dynamics implied by the latter is consistently modeled—are (1) perfectly compatible with John Maynard Keynes's theoretical views, (2) the ideal tool for rigorous post-Keynesian analyses of the medium run, and (3) therefore crucial to the consolidation of the broad post-Keynesian research program.

"Revisiting (and Connecting) Marglin-Bhaduri and Minsky--An SFC Look at Financialization and Profit-led Growth"

Many heterodox strands of thought share both a concern with the study of different phases or growth regimes in the history of capitalism and the use of formal short-run models as an analytical tool. This text suggests that (1) this strategy is potentially misleading; (2) that the stock-flow consistent (SFC) approach, while providing a general framework that may facilitate the dialogue among those currents, is particularly well suited to all those who think that macroeconomic models may illuminate historical quests; and (3) that the main intuitions may be conveyed through the "benchmark" Post Keynesian SFC model presented by Dos Santos and Zezza (2008), dispensing with the complex computer simulations that are normally employed by SFC authors.

Fasciolose.

bitstream/item/59412/1/Midia-Fasciolose.pd

Electric and magnetic fields effects on the excitonic properties of elliptic core-multishell quantum wires

The effect of eccentricity distortions of core-multishell quantum wires on their electron, hole and exciton states is theoretically investigated. Within the effective mass approximation, the Schrodinger equation is numerically solved for electrons and holes in systems with single and double radial heterostructures, and the exciton binding energy is calculated by means of a variational approach. We show that the energy spectrum of a core-multishell heterostructure with eccentricity distortions, as well as its magnetic field dependence, are very sensitive to the direction of an externally applied electric field, an effect that can be used to identify the eccentricity of the system. For a double heterostructure, the eccentricities of the inner and outer shells play an important role on the excitonic binding energy, specially in the presence of external magnetic fields, and lead to drastic modifications in the oscillator strength.Comment: 17 pages, 10 figure

Engineering terahertz surface magnon-polaritons in hyperbolic antiferromagnets

Magnetic crystals were recently studied as a route to hyperbolic dispersion and the effects associated with it. These studies, however, concentrated on bulk waves and frequencies where transmission is possible and where negative refraction occurs. Here, in contrast, we concentrate on geometries which sample regions of the dispersion relations where bulk propagation is not possible. This is done by controlling the orientation of the uniaxial anisotropy axis with respect to the surface of the crystal. Furthermore, we find that new magnetic surface polaritons exist in these regions, and we investigate the nature of these waves. In addition, significant tunability can be introduced by applying an external field perpendicular to the easy axes of a uniaxial antiferromagnet, creating a canted structure and generally shifting the frequencies to higher values. This externally applied field dramatically changes the nature of both surface and bulk polaritons, making them highly nonreciprocal

The electrum analyzer: Model checking relational first-order temporal specifications

This paper presents the Electrum Analyzer, a free-software tool to validate and perform model checking of Electrum specifications. Electrum is an extension of Alloy that enriches its relational logic with LTL operators, thus simplifying the specification of dynamic systems. The Analyzer supports both automatic bounded model checking, with an encoding into SAT, and unbounded model checking, with an encoding into SMV. Instance, or counter-example, traces are presented back to the user in a unified visualizer. Features to speed up model checking are offered, including a decomposed parallel solving strategy and the extraction of symbolic bounds. Source code: https://github.com/haslab/ElectrumVideo: https://youtu.be/FbjlpvjgMDA.European Regional Development Fund (ERDF) through the Operational Programme for Competitiveness and Internationalisation (COMPETE2020) and by National Funds through the Portuguese funding agency, Fundação para a Ciência e a Tecnologia (FCT) within project POCI-01-0145-FEDER-016826, and the French Research Agency project FORMEDICIS ANR-16-CE25-000