16 documents found, page 1 of 2

Vitamin K Epoxide Reductase Complex (VKORC1) Electrochemical Genosensors: Towar...

Anticoagulants, including warfarin, are often administered to patients who are exhibiting early symptoms of thromboembolic episodes or who have already experienced such episodes. However, warfarin has a limited therapeutic index and might cause bleeding and other clinical problems. Warfarin inhibits the vitamin K epoxide reductase complex subunit 1 (VKORC1), an enzyme essential for activating vitamin K, in the ...

Understanding personality stability and change from McAdam's perspective - Impl...

Whether personality changes over time has long been a central question in psychology. While most research has approached this issue through the lens of trait stability, such a perspective alone is insufficient to fully capture the dynamic and multifaceted nature of personality development. From a constructivist standpoint, personality is not a fixed set of attributes but an evolving process of self-organization...

Abstract Book of International Web Conference on Food Choice & Eating Motivation

Experiences on teaching alloy with an automated assessment platform

This paper presents Alloy4Fun, a web application that enables online editing and sharing of Alloy models and instances (including dynamic ones developed with the Electrum extension), to be used mainly in an educational context. By introducing secret paragraphs and commands in the models, Alloy4Fun allows the distribution and automated assessment of simple specification challenges, a mechanism that enables stude...

Experiences on teaching alloy with an automated assessment platform

This paper presents Alloy4Fun, a web application that enables online editing and sharing of Alloy models and instances (including dynamic ones developed with the Electrum extension), to be used mainly in an educational context. By introducing secret paragraphs and commands in the models, Alloy4Fun allows the distribution and automated assessment of simple specification challenges, a mechanism that enables stude...

Verification of system-wide safety properties of ROS applications

Robots are currently deployed in safety-critical domains but proper techniques to assess the functional safety of their software are yet to be adopted. This is particularly critical in ROS, where highly configurable robots are built by composing third-party modules. To promote adoption, we advocate the use of lightweight formal methods, automatic techniques with minimal user input and intuitive feedback.This pa...

The impact of Polytechnic Institutes on the local economy

Higher education institutions and, particularly, polytechnic institutes in Portugal are, generally speaking, recognized as the key stakeholders in regional de velopment. However, due to the economic recession of recent years and the consequent budget constraints, higher education institutions more than ever need to demonstrate the social and cultural impact of their activities within their communities and their...

The impact of polytechnic institutes on the local economy.

The impact of polytechnic institutes on the local economy

Higher education institutions and, particularly, polytechnic institutes in Portugal are, generally speaking, recognised as key stakeholders in regional development. However, due to the economic recession of recent years and the consequent budget constraints, higher education institutions, now more than ever, need to demonstrate the social and cultural impact of their activities within their communities and, als...

The impact of polytechnic institutes on the local economy

Higher education institutions and, particularly, polytechnic institutes in Portugal are, generally speaking, recognized as the key stakeholders in regional development. However, due to the economic recession of recent years and the consequent budget constraints, higher education institutions more than ever need to demonstrate the social and cultural impact of their activities within their communities and their ...