No more than Conjectures: Popper and the Ethics of Scientific Enterprise

Karl Popper dealt with both problems Yurevich (Integrative Psychological and Behavioral Science, 43(2), 2009, doi:10.1007/s12124-008-9082-7) deals: the crisis in Psychology and in the discourse about the nature of science. Although he failed to provide a complete response for both problems, his proposals can yet be fruitful to the reflection on these matters in the context of the present discussion. He offers some tentative answers to what could be considered a healthy epistemic activity, something Yurevich does not provide. More interestingly, some of the Popper proposals seem to fit, and in some extent correct, the quest for ""collaborative work"" proposed by Zittoun et al. (Integrative Psychological and Behavioral Science, 43(2), 2009, doi:10.1007/s12124-008-9082-7) as a way of transforming crisis in development.

Cooking Effects on Iron and Proteins Content of Beans (Phaseolus Vulgaris L.) by GF AAS and MALDI-TOF MS

The effects of domestic cooking on proteins, organic compounds and Fe distribution in beans (Phaseolus vulgaris L.) were investigated. Sequential extraction with different extractant solutions (mixture of methanol and chloroform 1:2 v/v, water, 0.5 mol L-1 NaCl, 70% v/v ethanol and 0.5 mol L-1 NaOH) were used for extracting lipids, albumins, globulins, prolamins and glutelins, respectively. Iron determination by graphite furnace atomic absorption spectrometry (GF AAS), proteins by Bradford method and organic compounds by matrix-assisted laser desorption ionization time-of-flight mass spectrometry (MALDI-TOF MS) were carried out in this work. High concentration of albumins, globulins and glutelins were found in raw beans, while in the cooked beans, albumins and glutelins are main proteins types. The MALDI-TOF MS spectra of raw and cooked beans revealed that the domestic cooking altered the molecular weight of the organic compounds, since that in the cooked beans were found compounds between 2 and 3.5 kDa, which were not presented in the raw beans. Besides this, in cooked beans were also observed the presence of four compounds of high molecular weight (12-16 kDa), being that in the raw grains there is only one (ca. 15.2 kDa). In raw grains is possible to observe that Fe is mainly associated to albumins, globulins and glutelins. For cooked grains, Fe is associated to albumins and globulins.

Java Cryptographic Library for Smartphones

A JME-compliant cryptographic library for mobile application development is introduced in this paper. The library allows cryptographic protocols implementation over elliptic curves with different security levels and offers symmetric and asymmetric bilinear pairings operations, as Tate, Weil, and Ate pairings.

A Java-based simulation environment for networks of simplified neuron models

ACR is supported by a research grant from CNPq.

Cooking effects on iron and proteins content of beans (Phaseolus Vulgaris L.) by GF AAS and MALDI-TOF MS

The effects of domestic cooking on proteins, organic compounds and Fe distribution in beans (Phaseolus vulgaris L.) were investigated. Sequential extraction with different extractant solutions (mixture of methanol and chloroform 1:2 v/v, water, 0.5 mol L-1 NaCl, 70% v/v ethanol and 0.5 mol L-1 NaOH) were used for extracting lipids, albumins, globulins, prolamins and glutelins, respectively. Iron determination by graphite furnace atomic absorption spectrometry (GF AAS), proteins by Bradford method and organic compounds by matrix-assisted laser desorption ionization time-of-flight mass spectrometry (MALDI-TOF MS) were carried out in this work. High concentration of albumins, globulins and glutelins were found in raw beans, while in the cooked beans, albumins and glutelins are main proteins types. The MALDI-TOF MS spectra of raw and cooked beans revealed that the domestic cooking altered the molecular weight of the organic compounds, since that in the cooked beans were found compounds between 2 and 3.5 kDa, which were not presented in the raw beans. Besides this, in cooked beans were also observed the presence of four compounds of high molecular weight (12-16 kDa), being that in the raw grains there is only one (ca. 15.2 kDa). In raw grains is possible to observe that Fe is mainly associated to albumins, globulins and glutelins. For cooked grains, Fe is associated to albumins and globulins.

Desarrollo de un videojuego multiplataforma en Java

[ES] El trabajo consistirá en abordar el desarrollo de un videojuego utilizando el lenguaje de programación Java y una librería especializada en desarrollo de videojuegos. Crearemos un videojuego del género plataformas. Para ello utilizaremos una vista en dos dimensiones, el jugador controlará un personaje humanoide con el que deberá atravesar una serie de niveles. Los niveles estarán agrupados en mundos con distintas temáticas (nieve, espacio, etc.) y en ellos el jugador se encontrará con múltiples obstáculos y enemigos. Los mundos se definen como agrupaciones de diez niveles en las que en el décimo nivel de cada mundo (nivel final) el jugador se enfrenta a un enemigo con una complejidad mayor al resto. Un ejemplo de videojuego de plataformas similar al que se va a desarrollar sería: "Super Mario Bros.". La librería que utilizaremos permite el desarrollo de videojuegos de escritorio y para móviles utilizando el mismo código. Es multiplataforma y soporta Windows, Linux, Mac OS X, Android, iOS, y navegadores con soporte WebGL.

JavaFMI una librería Java para el estándar Functional Mockup Interface

[ES] El estándar Functional Mockup Interface (FMI), es un estándar abierto e independiente de cualquier aplicación o herramienta que permite compartir modelos de sistemas dinámicos entre aplicaciones. Provee una interfaz escrita en lenguaje C que ha de ser implementada por las distintas herramientas exportadoras y pone en común un conjunto de funciones para manipular los modelos.
JavaFMI es una herramienta que permite utilizar simulaciones que cumplen con el estándar FMI en aplicaciones Java de una manera muy simple, limpia y eficiente. Es un proyecto open source con licencia LGPL V2.1H y su código fuente se encuentra disponible para ser clonado en la pagina del proyecto. El proyecto se encuentra alojado en www.bitbucket.org/siani/javafmi y cuenta con una página de bienvenida donde se explica como se usa la librería, una página para reportar incidencias o solicitar que se implementen nuevas historias y una página donde se listan todas las versiones que hay disponibles para descargar. JavaFMI se distribuye como un fichero zip que contiene el .jar con el código compilado de la librería una carpeta lib con las dos dependencias que tiene con librerías externas y una copia de la licencia. Comparada con JFMI, con menos lineas de código, una API limpia, expresiva y auto documentada, y un rendimiento que es un 66 % mejor, JavaFMI es objetivamente la mejor herramienta Java que existe para manipular FMUs de la versión 1.0 y 2.0 del estándar FMI.

Automatic code generation: from process algebraic architectural descriptions to multithreaded java programs

Process algebraic architectural description languages provide a formal means for modeling software systems and assessing their properties. In order to bridge the gap between system modeling and system im- plementation, in this thesis an approach is proposed for automatically generating multithreaded object-oriented code from process algebraic architectural descriptions, in a way that preserves – under certain assumptions – the properties proved at the architectural level. The approach is divided into three phases, which are illustrated by means of a running example based on an audio processing system. First, we develop an architecture-driven technique for thread coordination management, which is completely automated through a suitable package. Second, we address the translation of the algebraically-specified behavior of the individual software units into thread templates, which will have to be filled in by the software developer according to certain guidelines. Third, we discuss performance issues related to the suitability of synthesizing monitors rather than threads from software unit descriptions that satisfy specific constraints. In addition to the running example, we present two case studies about a video animation repainting system and the implementation of a leader election algorithm, in order to summarize the whole approach. The outcome of this thesis is the implementation of the proposed approach in a translator called PADL2Java and its integration in the architecture-centric verification tool TwoTowers.

Analisi e sviluppo di strumenti performance-aware per la migrazione cloud enterprise

Questa tesi affronta il tema dell'analisi della migrazione verso un ambiente cloud enterprise, con considerazioni sui costi e le performance rispetto agli ambienti di origine

Analyse von Middleware-Technologien bzgl. Performanz und ihrer Eignung für lose und eng gekoppelte verteilte Anwendungen

Die vorliegende Dissertation analysiert die Middleware- Technologien CORBA (Common Object Request Broker Architecture), COM/DCOM (Component Object Model/Distributed Component Object Model), J2EE (Java-2-Enterprise Edition) und Web Services (inklusive .NET) auf ihre Eignung bzgl. eng und lose gekoppelten verteilten Anwendungen. Zusätzlich werden primär für CORBA die dynamischen CORBA-Komponenten DII (Dynamic Invocation Interface), IFR (Interface Repository) und die generischen Datentypen Any und DynAny (dynamisches Any) im Detail untersucht. Ziel ist es, a. konkrete Aussagen über diese Komponenten zu erzielen, und festzustellen, in welchem Umfeld diese generischen Ansätze ihre Berechtigung finden. b. das zeitliche Verhalten der dynamischen Komponenten bzgl. der Informationsgewinnung über die unbekannten Objekte zu analysieren. c. das zeitliche Verhalten der dynamischen Komponenten bzgl. ihrer Kommunikation zu messen. d. das zeitliche Verhalten bzgl. der Erzeugung von generischen Datentypen und das Einstellen von Daten zu messen und zu analysieren. e. das zeitliche Verhalten bzgl. des Erstellens von unbekannten, d. h. nicht in IDL beschriebenen Datentypen zur Laufzeit zu messen und zu analysieren. f. die Vorzüge/Nachteile der dynamischen Komponenten aufzuzeigen, ihre Einsatzgebiete zu definieren und mit anderen Technologien wie COM/DCOM, J2EE und den Web Services bzgl. ihrer Möglichkeiten zu vergleichen. g. Aussagen bzgl. enger und loser Koppelung zu tätigen. CORBA wird als standardisierte und vollständige Verteilungsplattform ausgewählt, um die o. a. Problemstellungen zu untersuchen. Bzgl. seines dynamischen Verhaltens, das zum Zeitpunkt dieser Ausarbeitung noch nicht oder nur unzureichend untersucht wurde, sind CORBA und die Web Services richtungsweisend bzgl. a. Arbeiten mit unbekannten Objekten. Dies kann durchaus Implikationen bzgl. der Entwicklung intelligenter Softwareagenten haben. b. der Integration von Legacy-Applikationen. c. der Möglichkeiten im Zusammenhang mit B2B (Business-to-Business). Diese Problemstellungen beinhalten auch allgemeine Fragen zum Marshalling/Unmarshalling von Daten und welche Aufwände hierfür notwendig sind, ebenso wie allgemeine Aussagen bzgl. der Echtzeitfähigkeit von CORBA-basierten, verteilten Anwendungen. Die Ergebnisse werden anschließend auf andere Technologien wie COM/DCOM, J2EE und den Web Services, soweit es zulässig ist, übertragen. Die Vergleiche CORBA mit DCOM, CORBA mit J2EE und CORBA mit Web Services zeigen im Detail die Eignung dieser Technologien bzgl. loser und enger Koppelung. Desweiteren werden aus den erzielten Resultaten allgemeine Konzepte bzgl. der Architektur und der Optimierung der Kommunikation abgeleitet. Diese Empfehlungen gelten uneingeschränkt für alle untersuchten Technologien im Zusammenhang mit verteilter Verarbeitung.

Analisi statica dei Deadlock in Featherweight Java con Futuri

Abbiamo studiato ABSFJf, un linguaggio ad oggetti concorrente con tipi di dato futuro ed operazioni per acquisire e rilasciare il controllo delle risorse. I programmi ABSFJf possono manifestare lock (deadlock e livelock) a causa degli errori del programmatore. Per individuare staticamente possibili com- portamenti non voluti abbiamo studiato e implementato una tecnica per l'analisi dei lock basata sui contratti, che sono una descrizione astratta del comportamento dei metodi. I contratti si utilizzano per formare un automa i cui stati racchiudono informazioni di dipendenza di tipo chiamante-chiamato; vengono derivati automaticamente da un algoritmo di type inference e model- lati da un analizzatore che sfrutta la tecnica del punto

Da Java a Objective-C: Porting e dispositivi portatili

La tesi si propone di studiare il rapporto tra i due linguaggi di programmazione più diffusi per dispositivi portatili, e si concentra in particolare sul porting dal diffusissimo linguaggio Java all'emergente Objective-C. Strumenti come J2ObjC e Codename One saranno studiati e comparati.