Emerging from the MIST: A Connector Tool for Supporting Programming by Non-programmers

Software development is an iterative process. As user re-quirements emerge software applications must be extended to support the new requirements. Typically, a programmer will add new code to an existing code base of an application to provide a new functionality. Previous research has shown that such extensions are easier when application logic is clearly separated from the user interface logic. Assuming that a programmer is already familiar with the existing code base, the task of writing the new code can be considered to be split into two sub-tasks: writing code for the application logic; that is, the actual functionality of the application; and writing code for the user interface that will expose the functionality to the end user. The goal of this research is to reduce the effort required to create a user interface once the application logic has been created, toward supporting scientists with minimal pro-gramming knowledge to be able to create and modify pro-grams. Using a Model View Controller based architecture, various model components which contain the application logic can be built and extended. The process of creating and extending the views (user interfaces) on these model components is simplified through the use of our Malleable Interactive Software Toolkit (MIST), a tool set an infrastructure intended to simplify the design and extension of dynamically reconfigurable interfaces. This paper focuses on one tool in the MIST suite, a connec-tor tool that enables the programmer to evolve the user interface as the application logic evolves by connecting related pieces of code together; either through simple drag-and-drop interactions or through the authoring of Python code. The connector tool exemplifies the types of tools in the MIST suite, which we expect will encourage collabora-tive development of applications by allowing users to inte-grate various components and minimizing the cost of de-veloping new user interfaces for the combined compo-nents

Servitization 2.0: The significance of product and service dominant logics for public service organisations

This conceptual paper explores servitization as significant to public service organisations (PSOs) within which there is a requirement to administer lean and sustainable provision. It specifically appreciates that the digital transformation of services has embraced customer processing machine technologies that facilitate volume growth alongside information sharing; thus, fostering co-operation within collaborative network systems whilst pro-actively operating as elements of the product-service system (PSS). It demonstrates the significance of good-dominant logic (GDL) and service-dominant logic (SDL) perspectives when considering servitization within specific PSOs, and therefore seeks to better understand the strategic and operational realities for the era of Servitization 2.0

Controlled-NOT logic gate for phase qubits based on conditional spectroscopy

A controlled-NOT logic gate based on conditional spectroscopy has been demonstrated recently for a pair of superconducting flux qubits [Plantenberg et al., Nature 447, 836 (2007)]. Here we study the fidelity of this type of gate applied to a phase qubit coupled to a resonator (or a pair of capacitively coupled phase qubits). Our results show that an intrinsic fidelity of more than 99% is achievable in 45ns.Comment: 5 pages, 5 figures, To appear in Quantum Inf. Pro

Algebraic Properties of Stochastic Effectivity Functions

Effectivity functions are the basic formalism for investigating the semantics game logic. We discuss algebraic properties of stochastic effectivity functions, in particular the relationship to stochastic relations, morphisms and congruences are defined, and the relationship of abstract logical equivalence and behavioral equivalence is investigated.Comment: Accepted for publication, J. Log. Alg. Pro

Striving for growth, bypassing the poor? A critical review of Rwanda’s rural sector policies

This paper critically analyses the challenges and priorities for Rwanda’s rural sector policies in the fight against poverty. The lessons drawn are important, as this sector will be at the forefront of Rwanda’s new Economic Development and Poverty Reduction Strategy (EDPRS or PRSP-2). The paper first looks at the dangers of the purely growth-led development focus in Rwanda’s PRSP-1 (implemented between 2002-2005), and evaluates the extent to which the agricultural sector has, indeed, been a pro-poor growth engine. It then studies the government’s current agricultural policies and looks at the recently adopted land law, both of which aim to modernize and ‘professionalize’ the rural sector. There is a high risk that policy measures in favour of a more professional and modern farm sector will be at the expense of the large mass of small-scale peasants. This paper stresses that the real challenge to transform the rural sector into a true pro-poor growth engine will be to value and incorporate the capacity and potential of small-scale ‘non-professional’ peasants into the core strategies for rural development. Rwandan policy makers and international donors should shift their focus away from a purely output-led logic towards distribution-oriented rural development policies. Striving for pro-poor growth requires reconciling output growth with equity, and perhaps even putting equity first.

Cutting tracks, making CDs: a comparative study of audio time-correction techniques in the desktop age.

Producers have long sought to “tighten” studio performances. Software-based DAW’s now come with proprietary functions to facilitate this, but only the latest generation of platforms allow relative ease of use on longer takes. Each method has advantages and disadvantages in terms of ease and speed of use, transient preservation, implied subsequent workflow and (usually) unwanted artifacts. Whilst rhythmically consistent material with clear transients is readily controllable with contemporary tools, working with complex mixtures of note-values still presents a challenge and requires much user intervention. This paper performs a comparative study of different audio quantize techniques on percussive material, often on rhythmically complex performances. It will seek to compare necessary methodologies and workflow implications through the use of several contemporary systems: Recycle, Pro Tools, Logic, Cubase, Live, Melodyne, and Nuendo. The current level of man-machine interaction will be explored, and the best features from each platform will be collated. A model for the future will be speculatively presented

Mathematical Methods in Economics

Diplomová práce se zabývá hodnocením a výběrem dodavatelů výrobků a služeb pro společnost Momedica, s.r.o. pomocí fuzzy logiky. Výsledný fuzzy systém bude sloužit jako nástroj pro podporu rozhodování v podniku.Master’s thesis deals with the evaluation and selection of suppliers of products and services for the company Momedica, s.r.o. using fuzzy logic. The resulting fuzzy system will serve as a decision support instrument of company.

Information System Generator

Cílem této práce je navrhnout a implementovat nástroj pro pasivní generování zdrojových kódů pro specifický framework informačního systému. Tímto frameworkem je ZeroFramework, který je určen k vývoji klient-server aplikací na platformě .NET. Pro generování je použita knihovna T4Scaffolding, která umožňuje rozdělit logiku generování kódu na separátní části (tzv. scaffoldery). Tato práce se zabývá převážně návrhem a implementací těchto scaffolderů a jejich provázání s knihovnou T4Scaffolding. Výsledkem této práce jsou šablony a logika pro vygenerování souborů a tříd, které implementují logiku potřebnou pro zobrazení, přidání, úpravu a smazání konkrétní databázové entity.Goal of this work is to design and implement too for passive code generation for specific information system framework. This framework is ZeroFramework that is targeted at client-server development of applications running on .NET platform. For code generation, T4 Scaffolding library is used, which allows to divide code generation logic into separate parts (scaffolders). This work is mainly concerned with design and implementation of those scaffolders and their linking with T4Scaffolding library. Results of this work are templates and logic for generation of files and classes, which implement logic needed for display, adding, modification and deletion of specific database entity.

Kopitiam: Modular Incremental Interactive Full Functional Static Verification of Java Code

WearedevelopingKopitiam,atooltointeractivelyprovefull functional correctness of Java programs using separation logic by inter- acting with the interactive theorem prover Coq. Kopitiam is an Eclipse plugin, enabling seamless integration into the workflow of a developer. Kopitiam enables a user to develop proofs side-by-side with Java pro- grams in Eclipse