A Tutorial on the Universality and Expressiveness of Fold

In functional programming, fold is a standard operator that encapsulates a simple pattern of recursion for processing lists. This article is a tutorial on two key aspects of the fold operator for lists. First of all, we emphasize the use of the universal property of fold both as a proof principle that avoids the need for inductive proofs, and as a definition principle that guides the transformation of recursive functions into definitions using fold. Secondly, we show that even though the pattern of recursion encapsulated by fold is simple, in a language with tuples and functions as first-class values the fold operator has greater expressive power than might first be expected.

Universality of weakly bound dimers and Efimov trimers close to Li-Cs Feshbach resonances

We study the interspecies scattering properties of ultracold Li-Cs mixtures in their two energetically lowest spin channels in the magnetic field range between 800 and 1000 G. Close to two broad Feshbach resonances (FR) we create weakly bound LiCs dimers by radio-frequency association and measure the dependence of their binding energy on the external magnetic field strength. Based on the binding energies and complementary atom loss spectroscopy of three other Li-Cs s-wave FRs we construct precise molecular singlet and triplet electronic ground state potentials using a coupled-channels calculation. We extract the Li-Cs interspecies scattering length as a function of the external field and obtain almost a ten-fold improvement in the precision of the values for the pole positions and widths of the s-wave FRs as compared to our previous work (Pires et al 2014 Phys. Rev. Lett. 112 250404). We discuss implications on the Efimov scenario and the universal geometric scaling for LiCsCs trimers.

Testing the universality of free fall with rubidium and ytterbium in a very large baseline atom interferometer

We propose a very long baseline atom interferometer test of Einstein's equivalence principle (EEP) with ytterbium and rubidium extending over 10m of free fall. In view of existing parametrizations of EEP violations, this choice of test masses significantly broadens the scope of atom interferometric EEP tests with respect to other performed or proposed tests by comparing two elements with high atomic numbfers. In the first step, our experimental scheme will allow us to reach an accuracy in the Eotvos ratio of 7 . 10(-13). This achievement will constrain violation scenarios beyond our present knowledge and will represent an important milestone for exploring a variety of schemes for further improvements of the tests as outlined in the paper. We will discuss the technical realisation in the new infrastructure of the Hanover Institute of Technology (HITec) and give a short overview of the requirements needed to reach this accuracy. The experiment will demonstrate a variety of techniques, which will be employed in future tests of EEP, high-accuracy gravimetry and gravity gradiometry. It includes operation of a force-sensitive atom interferometer with an alkaline earth-like element in free fall, beam splitting over macroscopic distances and novel source concepts.

Nietzsche's orphans: music and the search for unity in revolutionary Russia, 1905-1921

At the dawn of the twentieth century, Imperial Russia was in the throes of immense social, political and cultural upheaval. The effects of rapid industrialization, rising capitalism and urbanization, as well as the trauma wrought by revolution and war, reverberated through all levels of society and every cultural sphere. In the aftermath of the 1905 revolution, amid a growing sense of panic over the chaos and divisions emerging in modern life, a portion of Russian educated society (obshchestvennost’) looked to the transformative and unifying power of music as a means of salvation from the personal, social and intellectual divisions of the contemporary world. Transcending professional divisions, these “orphans of Nietzsche” comprised a distinct aesthetic group within educated Russian society. While lacking a common political, religious or national outlook, these philosophers, poets, musicians and other educated members of the upper and middle strata were bound together by their shared image of music’s unifying power, itself built upon a synthesis of Russian and European ideas. They yearned for a “musical Orpheus,” a composer capable of restoring wholeness to society through his music. My dissertation is a study in what I call “musical metaphysics,” an examination of the creation, development, crisis and ultimate failure of this Orphic worldview. To begin, I examine the institutional foundations of musical life in late Imperial Russia, as well as the explosion of cultural life in the aftermath of the 1905 Revolution, a vibrant social context which nourished the formation of musical metaphysics. From here, I assess the intellectual basis upon which musical metaphysics rested: central concepts (music, life-transformation, theurgy, unity, genius, nation), as well as the philosophical heritage of Nietzsche and the Christian thinkers Vladimir Solov’ev, Aleksei Khomiakov, Ivan Kireevskii and Lev Tolstoi. Nietzsche’s orphans’ struggle to reconcile an amoral view of reality with a deeply felt sense of religious purpose gave rise to neo-Slavophile interpretations of history, in which the Russian nation (narod) was singled out as the savior of humanity from the materialism of modern life. This nationalizing tendency existed uneasily within the framework of the multi-ethnic empire. From broad social and cultural trends, I turn to detailed analysis of three of Moscow’s most admired contemporary composers, whose individual creative voices intersected with broader social concerns. The music of Aleksandr Scriabin (1871-1915) was associated with images of universal historical progress. Nikolai Medtner (1879-1951) embodied an “Imperial” worldview, in which musical style was imbued with an eternal significance which transcended the divisions of nation. The compositions of Sergei Rachmaninoff (1873-1943) were seen as the expression of a Russian “national” voice. Heightened nationalist sentiment and the impact of the Great War spelled the doom of this musical worldview. Music became an increasingly nationalized sphere within which earlier, Imperial definitions of belonging grew ever more problematic. As the Germanic heritage upon which their vision was partially based came under attack, Nietzsche’s orphans found themselves ever more divided and alienated from society as a whole. Music’s inability to physically transform the world ultimately came to symbolize the failure of Russia’s educated strata to effectively deal with the pressures of a modernizing society. In the aftermath of the 1917 revolutions, music was transformed from a symbol of active, unifying power into a space of memory, a means of commemorating, reinterpreting, and idealizing the lost world of Imperial Russia itself.

INTELLECTUAL PROPERTY AND UNIVERSALITY OF READING: CONFLICT OF INTEREST?

It seeks to clarify the issue about the relationship between intellectual property and universality of reading, to understand if it exists or not a conflict of interest. From a synchronic axis crossing, historical, with a diachronic axis, of philosophical: is tracked to explain the deep forces that have shaped the problem arises here. It also explains the legal issue of copyright and property which is closely related to the issue treated here. From all this it follows that underlie the problem of intellectual property is the construction of the Western historical figure of subjectivity, which has led to the role of "author." The author who is credited with authorship of a speech only (work) is a product of social discourse situation that historically has been obscured what has contributed the legal apparatus that protects copyright. What has led to the establishment of an antagonism to the universality of reading. In this paper therefore has not sought to respond to the problem but to make it clear to potential solutions.

Programación de videojuegos de puzzles en 2D usando Unity: tutorial y ejemplo práctico del juego.

Unity3d es un motor gráfico para la implementación de videojuegos creado por Unity3d Technologies que tiene el honor de ser una de las principales herramientas que propició el auge de los estudios independientes. Pese a estar enfocado al desarrollo de videojuegos en 3D, los desarrolladores lograban crear contenido en 2D a base de manipulaciones como la cámara y de utilizar herramientas no nativas. Afortunadamente, a partir de la versión 4.3 Unity3d integra herramientas nativas que facilitan esta tarea. Este proyecto consiste en la creación de un tutorial sobre la implementación de un videojuego del género puzles en 2D y enfocado a plataformas móviles, empleando para ello Unity3d y concretamente las nuevas herramientas nativas para 2D. La implementación de un videojuego es una tarea muy complicada y extensa, es por ello que en el tutorial se va a tratar la fase de diseño del videojuego y a nivel de implementación centrarse en dichas herramientas para el 2D, mostrando al final una versión jugable del videojuego implementado. Por otra parte, al ser numerosas las herramientas, es imposible tratar cada una de las herramientas aunque se intentará abarcar lo máximo posible y mencionar las que no se incluyan dentro de la implementación del videojuego. El resultado generado de este proyecto puede constituir una referencia para otras personas interesadas en aprender cómo usar Unity3d para programar videojuegos en 2D, lo cual les allanará seguramente el camino y les suavizará la curva de aprendizaje.

Behavioral and neuroimaging research of reading: A case of Japanese

Behavioral studies showed that AS, an English-Japanese bilingual was a skilled reader in Japanese but was a phonological dyslexic in English. This behavioral dissociation was accounted for by the Hypothesis of Transparency and Granularity postulated by Wydell & Butterworth. However, a neuroimaging study using MEG (magnetoencephalography) revealed that AS has the same functional deficit in the left superior temporal gyrus (STG). This paper therefore offers an answer to this intriguing discrepancy between the behavioral dissociation and the neural unity in AS by reviewing existing behavioral and neuroimaging studies in alphabetic languages such as English, Finnish, French, and Italian, and nonalphabetic languages such as Japanese and Chinese.

Game Design & Programming: progettazione e sviluppo di un videogioco 3D con Unity

Questa Tesi prende in esame tutte le fasi che portano alla realizzazione di un generico videogioco applicandole per creare, dal principio, un gioco 3D con Unity. Se ne analizzerà l'ideazione, la progettazione degli ambienti ma anche degli algoritmi implementati, la produzione e quindi la scrittura del codice per poi terminare con i test effettuati.

Unity in Christ or Pan-Europeanism?:Nathan Söderblom and the ecumenical peace movement in the interwar period

In the summer of 2014 the Swedish Church is celebrating the 100th anniversary of the appointment of Nathan Söderblom as archbishop of Uppsala, and thus head of the Swedish church organisation. As a Lutheran with an enormously broad-minded and broad-reaching approach to ecumenical understanding and community-building, Söderblom shot to prominence in the interwar period not only because of his ecumenical engagement, calling for an evangelical catholicity so stand side by side with the Roman catholic and Orthodox catholic traditions, but also because of his comprehensive secular engagement for peace and understanding between peoples. In the latter context he also acquired a solid reputation as a perhaps less prominent but still noteworthy figure in the history of European integration. This article investigates how, why and to what extent Söderblom’s ecumenical and secular engagements were intertwined. The first part discusses how his biographical and academic background led to such staunch ecumenical positions, while the second part focuses on the secular engagement, which was perceived by Söderblom as necessary to make progress on the ecumenical front in the practical political realities of the 1920s. The final part, comparing and contrasting Söderblom’s views with those of Count Richard von Coudenhove-Calergi and the Pan-European Union, demonstrates why Söderblom’s engagement for Europe had to be limited: unity in Christ is by definition global in nature and therefore cannot be continent-specific.

Breaking the curve with candels: a Bayesian approach to reveal the non-universality of the dust-attenuation law at high redshift

Dust attenuation affects nearly all observational aspects of galaxy evolution, yet very little is known about the form of the dust-attenuation law in the distant universe. Here, we model the spectral energy distributions of galaxies at z ~ 1.5–3 from CANDELS with rest-frame UV to near-IR imaging under different assumptions about the dust law, and compare the amount of inferred attenuated light with the observed infrared (IR) luminosities. Some individual galaxies show strong Bayesian evidence in preference of one dust law over another, and this preference agrees with their observed location on the plane of infrared excess (IRX, L_TIR/L_UV) and UV slope (β). We generalize the shape of the dust law with an empirical model, A_ λ,σ =E(B-V)k_ λ (λ / λ v)^ σ where k_λ is the dust law of Calzetti et al., and show that there exists a correlation between the color excess E(B-V) and tilt δ with δ =(0.62±0.05)log(E(B-V))+(0.26±0.02). Galaxies with high color excess have a shallower, starburst-like law, and those with low color excess have a steeper, SMC-like law. Surprisingly, the galaxies in our sample show no correlation between the shape of the dust law and stellar mass, star formation rate, or β. The change in the dust law with color excess is consistent with a model where attenuation is caused by scattering, a mixed star–dust geometry, and/or trends with stellar population age, metallicity, and dust grain size. This rest-frame UV-to-near-IR method shows potential to constrain the dust law at even higher redshifts (z>3).

On the universality class of monopole percolation in scalar QED

We study the critical properties of the monopole-percolation transition in U(1) lattice gauge theory coupled to scalars at infinite (β = 0) gauge coupling. We find strong scaling corrections in the critical exponents that must be considered by means of an infinite-volume extrapolation. After the extrapolation, our results are as precise as the obtained for the four dimensional site-percolation and, contrary to previously stated, fully compatible with them.

A complexity-based diagnostic on the democratic unity roundtable mud: problems and alternatives (2008-2016)

Este trabajo exploratorio estudia al movimiento político Mesa de la Unidad Democrática (MUD), creada con el fin de oponerse la Gobierno socialista existente en venezuela. La crítica que este documento realiza, parte desde el punto de vista de la Ciencia de la Complejidad. Algunos conceptos clave de sistemas complejos han sido utilizados para explicar el funcionamiento y organización de la MUD, esto con el objetivo de generar un diagnóstico integral de los problemas que enfrenta, y evidenciar las nuevas percepciones sobre comportamientos perjudiciales que el partido tiene actualmente. Con el enfoque de la complejidad se pretende ayudar a comprender mejor el contexto que enmarca al partido y, para, finalmente aportar una serie de soluciones a los problemas de cohesión que presen

A Case Based approach to assess Waiting Time Prediction at an Intensive Care Unity

Waiting time at an intensive care unity stands for a key feature in the assessment of healthcare quality. Nevertheless, its estimation is a difficult task, not only due to the different factors with intricate relations among them, but also with respect to the available data, which may be incomplete, self-contradictory or even unknown. However, its prediction not only improves the patients’ satisfaction but also enhance the quality of the healthcare being provided. To fulfill this goal, this work aims at the development of a decision support system that allows one to predict how long a patient should remain at an emergency unit, having into consideration all the remarks that were just stated above. It is built on top of a Logic Programming approach to knowledge representation and reasoning, complemented with a Case Base approach to computing.

The common bean (Phaseolus vulgaris L.) demonstration unity system - sudf - applicability potential for family farming.

2016

Azul de metileno imobilizado na celulose/TiO2 e SiO2/TiO2: propriedades eletroquímicas e planejamento fatorial

The electrochemical properties of methylene blue immobilized on cellulose/TiO2 and mixed oxide SiO2/TiO2 matrices were investigated by means of cyclic voltammetry. The electron mediator property of the methylene blue was optimized using a factorial design, consisting of four factors in two levels. The experimental observations and data analyses on the system indicate that the lowest peak separation occurs for Sil/TiOAM, 1.0 mol L-1 KCl solution and 20 mV s-1 scan rate, while values of current ratio closest to unity were found for Cel/TiOAM independent of electrolyte concentration, 0.2 or 1.0 mol L-1, and scan rate, 20 mV s-1 or 60 mV s-1.