Presentamos la caracterización tecnológica y composicional de cerámica de estilo Molinos hallada en la localidad de Punta de la Peña en Antofagasta de la Sierra (puna meridional argentina) y en sitios de la cuenca del río Molinos, valle Calchaquí Medio (Salta). Desde una perspectiva arqueométrica y un acercamiento comparativo aportamos a la interacción entre sus habitantes para una cronología entre 800 y 1200 dC. Concluimos que los ejemplares recuperados en este sector puneño fueron elaborados con las mismas materias primas y elecciones técnicas que los del valle Calchaquí medio. Además, los antiplásticos presentes en la alfarería coinciden con los afloramientos del entorno de la cuenca de Molinos. A partir de ello, proponemos que los recipientes circularon desde el valle, posiblemente como parte de vínculos establecidos con familias que habitaron en Punta de la Peña.

Thanks to recent developments in service robotics technologies, precision agriculture (PA) is becoming an increasingly prominent research field, and several studies were made to present and outline how the use of mobile robotic systems can help and improve farm production. In this paper, the integration of a custom-designed mobile base with a commercial robotic arm is presented, showing the functionality and features of the overall system for crop monitoring and sampling. To this aim, the motion planning problem is addressed, developing a tailored algorithm based on the so-called manipulability index, that treats the base and robotic arm mobility as two independent degrees of motion; also developing an open source closed-form inverse kinematics algorithm for the kinematically redundant manipulator. The presented methods and sub-system, even though strictly related to a specific mobile manipulator system, can be adapted not only to PA applications where a mobile manipulator is involved but also to the wider field of assistive robotics.

In control theory, to solve a finite-horizon sequential decision problem (SDP) commonly means to find a list of decision rules that result in an optimal expected total reward (or cost) when taking a given number of decision steps. SDPs are routinely solved using Bellman’s backward induction. Textbook authors (e.g. Bertsekas or Puterman) typically give more or less formal proofs to show that the backward induction algorithm is correct as solution method for deterministic and stochastic SDPs. Botta, Jansson and Ionescu propose a generic framework for finite horizon, monadic SDPs together with a monadic version of backward induction for solving such SDPs. In monadic SDPs, the monad captures a generic notion of uncertainty, while a generic measure function aggregates rewards. In the present paper, we define a notion of correctness for monadic SDPs and identify three conditions that allow us to prove a correctness result for monadic backward induction that is comparable to textbook correctness proofs for ordinary backward induction. The conditions that we impose are fairly general and can be cast in category-theoretical terms using the notion of Eilenberg–Moore algebra. They hold in familiar settings like those of deterministic or stochastic SDPs, but we also give examples in which they fail. Our results show that backward induction can safely be employed for a broader class of SDPs than usually treated in textbooks. However, they also rule out certain instances that were considered admissible in the context of Botta et al. ’s generic framework. Our development is formalised in Idris as an extension of the Botta et al. framework and the sources are available as supplementary material.

In verified generic programming, one cannot exploit the structure of concrete data types but has to rely on well chosen sets of specifications or abstract data types (ADTs). Functors and monads are at the core of many applications of functional programming. This raises the question of what useful ADTs for verified functors and monads could look like. The functorial map of many important monads preserves extensional equality. For instance, if $$f,g \, : \, A \, \to \, B$$ are extensionally equal, that is, $$\forall x \in A$$ , $$f \, x = g \, x$$ , then $$map \, f \, : \, List \, A \to List \, B$$ and $$map \, g$$ are also extensionally equal. This suggests that preservation of extensional equality could be a useful principle in verified generic programming. We explore this possibility with a minimalist approach: we deal with (the lack of) extensional equality in Martin-Löf’s intensional type theories without extending the theories or using full-fledged setoids. Perhaps surprisingly, this minimal approach turns out to be extremely useful. It allows one to derive simple generic proofs of monadic laws but also verified, generic results in dynamical systems and control theory. In turn, these results avoid tedious code duplication and ad-hoc proofs. Thus, our work is a contribution toward pragmatic, verified generic programming.

Mars is a primary target of astrobiological interest: its past environmental conditions may have been favourable to the emergence of a prebiotic chemistry and, potentially, biological activity. In situ exploration is currently underway at the Mars surface, and the subsurface (2 m depth) will be explored in the future ESA ExoMars mission. In this context, BIOlogy and Mars EXperiment was performed to evaluate the stability and detectability of organic biomarkers under space and Mars-like conditions. Our data suggested that some target molecules, namely melanin, azelaic acid and nucleic acids, can be detected even after 16 months exposure to Low Earth Orbit conditions by multidisciplinary approaches. We used the same techniques as onboard the ExoMars rover, as Raman and infrared spectroscopies and gas chromatograph-mass spectrometer, and polymerase chain reaction even if this is not planned for the imminent mission to Mars. These results should be taken into account for future Mars exploration.

Quasicrystalline alloys and their composites have been extensively studied due to their complex atomic structures, mechanical properties, and their unique tribological and thermal behaviors. However, technological applications of these materials have not yet come of age and still require additional developments. In this review, we discuss the recent advances that have been made in the last years toward optimizing fabrication processes and properties of Al-matrix composites reinforced with quasicrystals. We discuss in detail the high-strength rapid-solidified nanoquasicrystalline composites, the challenges involved in their manufacturing processes and their properties. We also bring the latest findings on the fabrication of Al-matrix composites reinforced with quasicrystals by powder metallurgy and by conventional metallurgical processes. We show that substantial developments were made over the last decade and discuss possible future studies that may result from these recent findings.

We propose a simple short-run Post-Keynesian model in which the key aspects of shadow banking, namely securitization and the production of structured finance instruments, are explicitly formalized. To the best of our knowledge, this is the first attempt to broaden purely real-side Post-Keynesian models and their traditional focus on shareholder-value orientation, the financialization of non-financial firms, and the profit-led vs. wage-led dichotomy. We rather put emphasis on the role of financial institutions and rentier-friendly environment in determining the predominance of specific growth and distribution regimes. First, we illustrate the macroeconomic rationale of shadow banking practices. We show how, before the 2007–08 crisis, securitization and shadow banking allowed for an increase in profitability for the whole financial sector, while apparently keeping leverage under control. Second, we define a variety of shadow-banking-led regimes in terms of economic activity, productive capital accumulation, and income distribution.

This article analyses West German foreign policy towards state terrorism in Chile and Argentina and towards political refugees fleeing these regimes. Pressured by grassroots activists, Willy Brandt's government took a hard stance against the Chilean military junta and established an asylum programme for refugees from Chile. Under Helmut Schmidt, however, the official attitude towards state terrorism changed. West Germany welcomed the military coup in Buenos Aires, accepted the Argentinean junta's position that repressive measures were necessary to fight ‘subversion’, flatly refused to accept any Argentinean political prisoners and approved billions of Deutschmarks worth of weapons sales to the junta. This article argues that Bonn's ambivalence towards state terrorism and uneven interest in human rights was due to the different attitudes of both Social Democratic Chancellors towards economic strategising, grassroots activism and, most importantly, the threat of left-wing terrorism.

We present the starting elements of a mathematical theory of policy advice and avoidability. More specifically, we formalize a cluster of notions related to policy advice, such as policy, viability, reachability, and propose a novel approach for assisting decision making, based on the concept of avoidability. We formalize avoidability as a relation between current and future states, investigate under which conditions this relation is decidable and propose a generic procedure for assessing avoidability. The formalization is constructive and makes extensive use of the correspondence between dependent types and logical propositions, decidable judgments are obtained through computations. Thus, we aim for a computational theory, and emphasize the role that computer science can play in global system science.

Nowadays there is no field research which is not flooded with data. Among the sciences, astrophysics has always been driven by the analysis of massive amounts of data. The development of new and more sophisticated observation facilities, both ground-based and spaceborne, has led data more and more complex (Variety), an exponential growth of both data Volume (i.e., in the order of petabytes), and Velocity in terms of production and transmission. Therefore, new and advanced processing solutions will be needed to process this huge amount of data. We investigate some of these solutions, based on machine learning models as well as tools and architectures for Big Data analysis that can be exploited in the astrophysical context.

The microstructure formation and wear resistance of a superduplex stainless steel modified with the addition of 3 wt% boron produced by spray forming were investigated. Thermodynamic simulations were used as comparison basis and to explain the experimentally observed microstructure, which was composed by primary M2B-type borides, an austenitic-ferritic matrix, and eutectic M3B2-type borides. The predicted solidification sequence started with the precipitation of primary M2B boride, followed by ferrite/austenite formation and a final eutectic reaction resulting in M3B2 borides. A good correlation with the simulations and final microstructure was found. The abrasive wear resistance was investigated with the dry sand/rubber wheel test and the results indicated an outstanding performance, similar to the cobalt-based Stellite 1016 alloy. The excellent wear resistance resulted from the presence of a significant amount (about 35 vol%) of hard borides homogeneously dispersed in the microstructure, which was effective at increasing hardness and protecting the duplex matrix against abrasion.

This paper describes the mechanical properties under nanoindentation of a new glassy alloy with a nominal composition of Ni60Nb37B3, in the form of melt-spun ribbons and 1-mm-thick copper mold-cast sheets. The alloy composition was designed based on the synergy between the topological instability criterion and the difference in electronegativity among the elements. X-ray diffraction and scanning electron microscopy analyses confirmed that both ribbon and sheet samples possess totally amorphous structures with relatively high thermal stability (supercooled liquid region of about 60 K), as evaluated by differential scanning calorimetry (DSC). Nanoindentation tests revealed that the hardness of this alloy, about 15 GPa, is among the highest reported for metallic glasses. The elastic modulus of the cast sheet is higher and its hardness is similar to that of the ribbon. This correlates well with the different amounts of frozen-in free volume in both types of samples detected by DSC.