Provably good task assignment on heterogeneous multiprocessor platforms for a restricted case but with a stronger adversary

Consider the problem of scheduling a set of implicit-deadline sporadic tasks to meet all deadlines on a heterogeneous multiprocessor platform. We consider a restricted case where the maximum utilization of any task on any processor in the system is no greater than one. We use an algorithm proposed in [1] (we refer to it as LP-EE) from state-of-the-art for assigning tasks to heterogeneous multiprocessor platform and (re-)prove its performance guarantee for this restricted case but for a stronger adversary. We show that if a task set can be scheduled to meet deadlines on a heterogeneous multiprocessor platform by an optimal task assignment scheme that allows task migrations then LP-EE meets deadlines as well with no migrations if given processors twice as fast.

Linear algebra: selected problems

Linear Algebra—Selected Problems is a unique book for senior undergraduate and graduate students to fast review basic materials in Linear Algebra. Vector spaces are presented first, and linear transformations are reviewed secondly. Matrices and Linear systems are presented. Determinants and Basic geometry are presented in the last two chapters. The solutions for proposed excises are listed for readers to references.

Nutritional composition of low protein and phenylalanine-restricted dishes prepared for phenylketonuric patients

Nutritional management is essential for Phenylketonuria (PKU) treatment, consisting in a semi-synthetic and low phenylalanine (Phe) diet, which includes strictly controlled amounts of low protein natural foods (essentially fruits and vegetables) supplemented with Phe-free protein substitutes and dietetic low-protein products. PKU diet has to be carefully planned, providing the best ingredient combinations, so that patients can achieve good metabolic control and an adequate nutritional status. Hereupon, it is mandatory to know the detailed composition of natural and/or cooked foodstuffs prepared specifically for these patients. We intended to evaluate sixteen dishes specifically prepared for PKU patients, regarding the nutritional composition, Phe and tyrosine (Tyr) contents, fatty acids profile, and vitamins E and B12 amounts. The nutritional composition of the cooked samples was 15.5–92.0 g/100 g, for moisture; 0.7–3.2 g/100 g, for protein; 0.1–25.0 g/100 g, for total fat; and 5.0–62.0 g/100 g, for total carbohydrates. Fatty acids profile and vitamin E amount reflected the type of fat used. All samples were poor in vitamin B12 (0.3–0.8 μg/100 g). Boiled rice presented the highest Phe content: 50.3 mg/g of protein. These data allow a more accurate calculation of the diet portions to be ingested by the patients according to their individual tolerance.

Deciding Kleene Algebra Terms Equivalence in Coq

This paper presents a mechanically verified implementation of an algorithm for deciding the equivalence of Kleene algebra terms within the Coq proof assistant. The algorithm decides equivalence of two given regular expressions through an iterated process of testing the equivalence of their partial derivatives and does not require the construction of the corresponding automata. Recent theoretical and experimental research provides evidence that this method is, on average, more efficient than the classical methods based on automata. We present some performance tests, comparisons with similar approaches, and also introduce a generalization of the algorithm to decide the equivalence of terms of Kleene algebra with tests. The motivation for the work presented in this paper is that of using the libraries developed as trusted frameworks for carrying out certified program verification.

Lanczos algorithm on the grassmann manifold

5th. European Congress on Computational Methods in Applied Sciences and Engineering (ECCOMAS 2008) 8th. World Congress on Computational Mechanics (WCCM8)

Teaching and learning mathematics using moodle

This paper summarizes a project that is contributing to a change in the way of teaching and learning Mathematics. Mathematics is a subject of the Accounting and Administration course. In this subject we teach: Functions and Algebra. The aim is that the student understand the basic concepts and is able to apply them in other issues, when possible, establishing a bridge between the issues that they have studied and their application in Accounting. As from this year, the Accounting course falls under in Bologna Process. The teacher and the student roles have changed. The time for theoretical and practical classes has been reduced, so it was necessary to modify the way of teaching and learning. In the theoretical classes we use systems of multimedia projection to present the concepts, and in the practical classes we solve exercises. We also use the Excel and the mathematical open source software wxMaxima. To supplement our theoretical and practical classes we have developed a project called MatActiva based on the Moodle platform offered by PAOL - Projecto de Apoio Online (Online Support Project). With the creation of this new project we wanted to take advantage already obtained results with the previous experiences, giving to the students opportunities to complement their study in Mathematics. One of the great objectives is to motivate students, encourage them to overcome theirs difficulties through an auto-study giving them more confidence. In the MatActiva project the students have a big collection of information about the way of the subject works, which includes the objectives, the program, recommended bibliography, evaluation method and summaries. It works as material support for the practical and theoretical classes, the slides of the theoretical classes are available, the sheets with exercises for the students to do in the classroom and complementary exercises, as well as the exams of previous years. Students can also do diagnostic tests and evaluation tests online. Our approach is a reflexive one, based on the professional experience of the teachers that explore and incorporate new tools of Moodle with their students and coordinate the project MatActiva.

The active mathematics project at ISCAP

This paper summarizes a project that is contributing to a change in the way of teaching and learning Mathematics. Mathematics is a subject of the Accounting and Administration course. In this subject we teach: Functions and Algebra. The aim is that the students understand the basic concepts and is able to apply them in other issues, when possible, establishing a bridge between the issues that they have studied and their application in Accounting. As from this year, the Accounting course falls under in Bologna Process. The teacher and the student roles have changed. The time for theoretical and practical classes has been reduced, so it was necessary to modify the way of teaching and learning. In the theoretical classes we use systems of multimedia projection to present the concepts, and in the practical classes we solve exercises. To supplement our theoretical and practical classes we have developed an active mathematics project called MatActiva based on the Moodle platform offered by PAOL - Projecto de Apoio Online (Online Support Project). In the last versions of Moodle, it is possible use the TeX language to create math questions. Using this tool we created a set of interactive materials. With the creation of this new project we wanted to take advantage already obtained results with the previous experiences, giving to the students opportunities to complement their study in Mathematics. One of the great objectives is to motivate students, encourage them to overcome theirs difficulties through an auto-study, giving them more confidence and the opportunity to seeing others perspectives of the mathematics subjects. In the MatActiva project the students have a big collection of information about the way of the subject works, which includes the objectives, the program, recommended bibliography, evaluation method and summaries. It works as material support for the practical and theoretical classes, the slides of the theoretical classes are available, the sheets with exercises for the students to do in the classroom and complementary exercises, as well as the exams of previous years. Students can also do diagnostic tests and evaluation tests online. Our approach is a reflexive one, based on the professional experience of the teachers that explore and incorporate new tools of Moodle with their students and coordinate the project MatActiva.

Representações coloniais no feminino: o oriente de Isabel Tamagnini

O Diário de uma Viagem a Timor (1882-1883) descreve o itinerário de Isabel Pinto da França Tamagnini entre Singapura e Díli. O Diário oferece uma representação peculiar da cultura asiática e das suas mulheres, através do olhar de uma europeia cuja formação e mundividência em pouco ultrapassavam a esfera doméstica e religiosa. A escrita de Tamagnini reflecte a sensibilidade de um estrato privilegiado da sociedade, que considerava a escrita feminina como um passatempo tolerável de senhoras prendadas. Logo nas primeiras linhas do Diário, Tamagnini afirma claramente que a sua produção e recepção devem restringir-se ao círculo da família e amigos, pois ela mesma o considera um texto recreativo e impressionista. Mas é precisamente esta característica que faz do Diário de Tamagnini um documento da sociedade colonial portuguesa de finais do século xix. Tamagnini compõe uma representação subjectiva de uma realidade ‘exótica’ e dos seus actores, recordando a noção de ‘orientalismo’ de Edward Said. O olhar de Tamagnini é dominado pela pertença a uma elite etnocêntrica e produz um texto crítico, simultaneamente confessional e moralizador. Tamagnini parece viajar através de espaços de socialização aristocrática, mais do que através de geografias e culturas. Mas o espaço urbano é progressivamente substituído pelo território ‘selvagem’, à medida que a viagem se aproxima do destino. E aqui o Diário funciona como texto paradigmático, se bem que por vezes irreverente, de uma representação etnocêntrica da colónia, dos agentes coloniais e ‘seus’ colonizados, com especial atenção à descrição dos ‘tipos’ femininos observados ao longo desta Viagem a Timor.

Macrociclos tetrapirrólicos e produtos de contraste iodados: uma nova abordagem

O trabalho descrito no presente documento reporta a preparação de derivados tetrapirrólicos iodados de tipo porfirina tornando-os potenciais veículos a meio de contraste iodado, usado em radiodiagnóstico. Com os resultados deste trabalho irá ser realizado um pedido de patente das moléculas e portanto, o acesso a este trabalho será restrito nos termos do Código da Propriedade Industrial, aprovado pelo Decreto de Lei nº 36/2003 de 5 de Março. Na primeira fase do trabalho, foi sintetizado o derivado porfirínico simétrico, meso-substituído, contendo um total de 8 iodos. Este foi preparado por condensação do pirrol e do aldeído iodado em meio ácido e na presença de nitrobenzeno. Foram ainda preparados as respetivas metaloporfirinas contendo os iões metálicos de manganês e gadolínio. Posteriormente foi avaliada a capacidade destes derivados atenuarem o feixe de raio-X, através da mediação das Unidades de Hounsfield, após serem adquiridas imagens por Tomografia Computorizada. Na segunda fase do trabalho procedeu-se ao estudo da influência destes compostos na diferenciação celular, usando como modelo as células de pré-adipócitos 3T3-L1. Foi avaliada a diferenciação celular, através da quantificação de lípidos das células maduras, marcados com Red Oil O, por espectrofotometria de Visível 3 e 10 dias após a administração dos derivados em estudo.

Towards the wide implementation of standards IEC 61968/70 (CIM) and IEC 61850 in the distribution system (CIGRÉ C6-105_2010)

Currently, power systems (PS) already accommodate a substantial penetration of distributed generation (DG) and operate in competitive environments. In the future, as the result of the liberalisation and political regulations, PS will have to deal with large-scale integration of DG and other distributed energy resources (DER), such as storage and provide market agents to ensure a flexible and secure operation. This cannot be done with the traditional PS operational tools used today like the quite restricted information systems Supervisory Control and Data Acquisition (SCADA) [1]. The trend to use the local generation in the active operation of the power system requires new solutions for data management system. The relevant standards have been developed separately in the last few years so there is a need to unify them in order to receive a common and interoperable solution. For the distribution operation the CIM models described in the IEC 61968/70 are especially relevant. In Europe dispersed and renewable energy resources (D&RER) are mostly operated without remote control mechanisms and feed the maximal amount of available power into the grid. To improve the network operation performance the idea of virtual power plants (VPP) will become a reality. In the future power generation of D&RER will be scheduled with a high accuracy. In order to realize VPP decentralized energy management, communication facilities are needed that have standardized interfaces and protocols. IEC 61850 is suitable to serve as a general standard for all communication tasks in power systems [2]. The paper deals with international activities and experiences in the implementation of a new data management and communication concept in the distribution system. The difficulties in the coordination of the inconsistent developed in parallel communication and data management standards - are first addressed in the paper. The upcoming unification work taking into account the growing role of D&RER in the PS is shown. It is possible to overcome the lag in current practical experiences using new tools for creating and maintenance the CIM data and simulation of the IEC 61850 protocol – the prototype of which is presented in the paper –. The origin and the accuracy of the data requirements depend on the data use (e.g. operation or planning) so some remarks concerning the definition of the digital interface incorporated in the merging unit idea from the power utility point of view are presented in the paper too. To summarize some required future work has been identified.