Cloud code test IDE

L'objectiu principal d'aquest projecte final de carrera consisteix en desenvolupar una aplicació web que oferisca un entorn simplificat de desenvolupament integrat (IDE) en el llenguatge C/C++, on els estudiants de batxillerat (o secundària en general) puguen iniciar-se en el seu estudi. La finalitat és proveir un entorn agradable a l'alumnat perquè puga seguir correctament les pràctiques que proposa el professor independentment de les circumstàncies pròpies d'aquest (ubicació temporal o permanentde l'alumnat, sistema operatiu que utilitza, dispositiu emprat per a fer les pràctiques, etc..).

Applying recommendations to aligncompetences, methodology and assessment in Telematics, Computing and Electronic Engineering courses

The alignment between competences, teaching-learning methodologies and assessment is a key element of the European Higher Education Area. This paper presents the efforts carried out by six Telematics, Computer Science and Electronic Engineering Education teachers towards achieving this alignment in their subjects. In a joint work with pedagogues, a set of recommended actions were identified. A selection of these actions were applied and evaluated in the six subjects. The cross-analysis of the results indicate that the actions allow students to better understand the methodologies and assessment planned for the subjects, facilitate (self-) regulation and increase students’ involvement in the subjects.

@neurIST infrastructure for advanced disease management through integration of heterogeneous data, computing, and complex processing services

The increasing volume of data describing humandisease processes and the growing complexity of understanding, managing, and sharing such data presents a huge challenge for clinicians and medical researchers. This paper presents the@neurIST system, which provides an infrastructure for biomedical research while aiding clinical care, by bringing together heterogeneous data and complex processing and computing services. Although @neurIST targets the investigation and treatment of cerebral aneurysms, the system’s architecture is generic enough that it could be adapted to the treatment of other diseases.Innovations in @neurIST include confining the patient data pertaining to aneurysms inside a single environment that offers cliniciansthe tools to analyze and interpret patient data and make use of knowledge-based guidance in planning their treatment. Medicalresearchers gain access to a critical mass of aneurysm related data due to the system’s ability to federate distributed informationsources. A semantically mediated grid infrastructure ensures that both clinicians and researchers are able to seamlessly access andwork on data that is distributed across multiple sites in a secure way in addition to providing computing resources on demand forperforming computationally intensive simulations for treatment planning and research.

Computing infinite plans for LTL goals using a classical planner

Classical planning has been notably successful in synthesizing finite plans to achieve states where propositional goals hold. In the last few years, classical planning has also been extended to incorporate temporally extended goals, expressed in temporal logics such as LTL, to impose restrictions on the state sequences generated by finite plans. In this work, we take the next step and consider the computation of infinite plans for achieving arbitrary LTL goals. We show that infinite plans can also be obtained efficiently by calling a classical planner once over a classical planning encoding that represents and extends the composition of the planningdomain and the B¨uchi automaton representingthe goal. This compilation scheme has been implemented and a number of experiments are reported.

Ordonnance de M. le comte de Sainte Maure, premier écuyer commandant la grande écurie du Roi, bailli et capitaine des chasses de la varenne des Tuileries, pont de S. Cloud, plaine de S. Denis, portant règlement général sur le fait des chasses

[Acte. 1719-08-21. Paris]

Ordonnance (du capitaine des chasses de la varenne des Tuileries, pont de S. Cloud, plaine de S. Denis, Genevilliers et dépendances) portant règlement pour les chasses

[Acte. 1726-08-27. aux Tuileries]

Iowa Community Private Well Study, 2004

Water fact sheet for Iowa Department of Natural Resources and the Geological Bureau.

Demand for private health insurance: Is there a quality gap?

Quality of care is qualified as a main determinant of the demand forvoluntary private health insurance (PHI) in National Health Systems(NHS). This paper provides new evidence on the influence of the qualitygap between public and private health insurance and other demanddeterminants in the demand for PHI in Catalonia. The demand for PHI ismodelled as a demand for health care quality. Unlike previous studies, the database employed allows for the development of a link between thetheoretical and the empirical model dealing with unobserved heterogeneityand endogeneity issues. Results suggest that a rise in PHI qualityenhances an equivalent influence in the demand for PHI as an equalreduction of NHS quality. Income and price elasticity estimates areconsistent with the observed feature that PHI appears to be a luxurygood and individuals tend to be relatively insensible to tax relief'sand monetary co-payments in insurance contracts.

Mandatory accounting disclosure by small private companies

This article analyzes how mandatory accounting disclosure is grounded on differentrationales for private and public companies. It also explores technological changes, such ascomputerised databases and the Internet, which have recently made disclosure of companyaccounts by small companies potentially less costly and more valuable, thanks to electronicfiling and universal online access to credit information systems. These recent developmentsfavour policies that would expand the scope of mandatory publication for small companies incountries where it is voluntary. They also encourage policies to reduce the costs and enhancethe value of disclosure through administrative reforms of filing, archive and retrieval systems.Survey and registry evidence on how the information in the accounts is valued and used bycompanies is consistent with these claims about the evolution of the tradeoff of costs andbenefits that should guide policy in this area.

Circulation of private notes during a currency shortage

This paper provides a search theoretical model that captures two phenomena that have characterized several episodes of monetary history: currency shortages and the circulation of privately issued notes. As usual in these models, the media of exchange are determined as part of the equilibrium. We characterize all the different equilibria and specify the conditions under which there is a currency shortage and/or privately issued notes are used as means of payment. There is multiplicity of equilibria for the entire parameter space, but there always exist an equilibrium in which notes circulate, either alone or together with coins. Hence, credit is a self-fulfilling phenomenon that depends on the beliefs of agents about the acceptability and future repayment of notes. The degree of circulation of coins depends on two crucial parameters, the intrinsic utility of holding coins and the extent with which it is possible to find exchange opportunities in the market.