Search results for "PROGRAM"

Min-max control of uncertain multi-inventory systems with multiplicative uncertainties

2001

In this note, we consider production-distribution systems with buffer and capacity constraints. For such systems, we assume that the model is not known exactly. More precisely, the entries of the matrix representing the system structure may be affine functions of some uncertain time-varying parameters that take values within assigned bounds. We give stabilizability conditions that can be checked, in principle, by solving a min-max problem on the surface of the state-space (buffer level space) unit ball. Then, we consider a special case in which each uncertain parameter affects a single column of the system matrix and is independent of all the other ones. In this case, we propose a mixed int…

Teaching Programming to Large Student Groups through Test Driven Development - Comparing Established Methods with Teaching based on Test Driven Devel…

2016

This paper presents an approach for teaching programming in large university classes based on test driven development (TDD) methods. The approach aims at giving the students an industry-like environment already in their education and introduces full automation and feedback programming classes through unit testing. The focus for this paper is to compare the novel approach with existing teaching methods. It does so by comparing introduction to programming classes in two institutions. One university ran a TDD teaching process with fully automated assessments and feedback, while the other ran a more traditional on-line environment with manual assessments and feedback. The TDD approach has clear…

2010

Research has noticed that imparting TDD-like testing to an early computing curriculum is challenging because it increases technical and cognitive load for the students. This paper addresses the challenge with a software-based solution constructed to facilitate the process of writing tests. The solution allows using a compact while efficient syntax for formulating tests, writing tests into JavaDoc comments, thus close to the source code that implements intended functionalities, and automates the generation of actual test code. The constructed solution -- the ComTest tool -- has now been used in four introductory level programming course offerings. The paper presents the tool and concludes wi…

LanguageLab - A Meta-modelling Environment

2015

In the LanguageLab language workbench, we build on a component-based approach to language specification that facilitates the specification of all aspects of a computer language in a consistent manner, taking into account best practices in meta-modelling and language design. The workbench allows operation on a suitable abstraction level, and also focuses on user-friendliness and a low threshold to getting started, in order to make it useful for teaching of meta-modelling and language design and specification. The platform is open for third party language modules and facilitates rapid prototyping of DSLs, re-use of language modules, and experiments with multiple concrete syntaxes. The platfor…

Going international in order to share and learn: Erasmus experiences at University of Barcelona Rare Book and Manuscript CRAI Library

2022

[spa] Ante los retos a los que se enfrentan los bibliotecarios de colecciones patrimoniales universitarias, y dentro de un contexto de formación continua, conocer la realidad de fondos análogos en otros países de Europa, a través del programa Erasmus+, representa una valiosa oportunidad. Durante los años 2018 y 2019 el CRAI Biblioteca de Fondo Antiguo de la Universidad de Barcelona acogió a 13 profesionales de 8 países distintos, con un balance altamente positivo, fruto, en buena parte, de un modelo de acogida donde se da voz al participante y se favorece un espacio de diálogo enriquecedor para ambas partes.

Las prioridades de la investigación en los campus europeos

2011

[ES] Frente a la globalización, la internacionalización de la universidad es una parte esencial de la solución como factor para su desarrollo sostenible a través de estrategias de innovación abierta y por tanto una prioridad en los campus europeos bien contemplada en la reciente Ley de la Ciencia y los Campus de Excelencia Internacional como parte de la Estrategia Universidad 2015. El acceso a la financiación pública competitiva disponible en los fondos europeos es importante en términos de prioridades de investigación, precisamente en un contexto restrictivo de financiación nacional y autonómica. La atracción internacional de talento y posicionarnos en las grandes áreas de investigación pe…

The Orchestra of Multiple Model Repositories

2013

This paper motivates and encourages the simultaneous use of multiple model repositories in model-driven software. A multi-repository mechanism is proposed for that. With this mechanism, multiple model repositories residing in the same or different technical spaces can be mounted into a single repository (in the same sense as file systems are mounted in UNIX) and accessed in a uniform way. Relations (including generalizations) between elements from the mounted repositories are supported. Some of the repositories may be “computable” (virtual), which leads to the on-the-fly model transformation concept.

Improving mRNA-Based Therapeutic Gene Delivery by Expression-Augmenting 3' UTRs Identified by Cellular Library Screening.

2019

Synthetic mRNA has emerged as a powerful tool for the transfer of genetic information, and it is being explored for a variety of therapeutic applications. Many of these applications require prolonged intracellular persistence of mRNA to improve bioavailability of the encoded protein. mRNA molecules are intrinsically unstable and their intracellular kinetics depend on the UTRs embracing the coding sequence, in particular the 3′ UTR elements. We describe here a novel and generally applicable cell-based selection process for the identification of 3′ UTRs that augment the expression of proteins encoded by synthetic mRNA. Moreover, we show, for two applications of mRNA therapeutics, namely, (1) …

Effects of deep cervical flexor training on pressure pain thresholds over myofascial trigger points in patients with chronic neck pain.

2012

The purpose of this study was to assess the effects of a low-load training program for the deep cervical flexors (DCFs) on pain, disability, and pressure pain threshold (PPT) over cervical myofascial trigger points (MTrPs) in patients with chronic neck pain.Thirty patients with chronic idiopathic neck pain participated in a 6-week program of specific training for the DCF, which consisted of active craniocervical flexion performed twice per day (10-20 minutes) for the duration of the trial. Perceived pain and disability (Neck Disability Index, 0-50) and PPT over MTrPs of the upper trapezius, levator scapulae, and splenius capitis muscles were measured at the beginning and end of the training…

Palermo e il Piano Programma: morfologia e fenomenologia urbana

2021

Il presente contributo parte dall’ipotesi che particolari condizioni contestuali (fisiche e culturali) dei luoghi possano strutturalmente condizionare le specifiche modalità di lettura e di conoscenza nei diversi approcci al progetto (a partire dal periodo di formazione degli architetti). La città di Palermo è introdotta come ambito di riferimento, fisico e culturale, rispetto al quale una particolare assunzione dei temi della morfologia urbana ha consentito, soprattutto grazie all’azione di Giuseppe Samonà, la definizione del “Piano Programma per il Centro Storico di Palermo”: un interessante esperimento di pianificazione, per molti aspetti ancora attuale, in cui analisi e progetto tendono…