A survey of techniques and technologies for web-based real-time interactive rendering

When exploring a virtual environment, realism depends mainly on two factors: realistic images and real-time feedback (motions, behaviour etc.). In this context, photo realism and physical validity of computer generated images required by emerging applications, such as advanced e-commerce, still impose major challenges in the area of rendering research whereas the complexity of lighting phenomena further requires powerful and predictable computing if time constraints must be attained. In this technical report we address the state-of-the-art on rendering, trying to put the focus on approaches, techniques and technologies that might enable real-time interactive web-based clientserver rendering systems. The focus is on the end-systems and not the networking technologies used to interconnect client(s) and server(s).

A behavioral analysis tool for models of software systems

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Advanced image processing techniques for detection and quantification of drusen

Dissertation presented to obtain the degree of Doctor of Philosophy in Electrical Engineering, speciality on Perceptional Systems, by the Universidade Nova de Lisboa, Faculty of Sciences and Technology

Teaching and learning with social software in higher education: content management systems integrated with Web-based applications as a key factor for success

The change of paradigm imposed by the Bologna process, in which the student will be responsible for their own learning, and the presence of a new generation of students with higher technological skills, represent a huge challenge for higher education institutions. The use of new Web Social concepts in teaching process, supported by applications commonly called Web 2.0, with which these new students feel at ease, can bring benefits in terms of motivation and the frequency and quality of students' involvement in academic activities. An e-learning platform with web-based applications as a complement can significantly contribute to the development of different skills in higher education students, covering areas which are usually in deficit.

Development of new methodologies in sample treatment for proteomics workflow based on enzymatic probe sonication technology and mass spectrometry

Thesis submitted to the Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia, for the degree of Doctor of Philosophy in Biochemistry

Non-preemptive and SRP-based fullypreemptive scheduling of real-time Software Transactional Memory

Recent embedded processor architectures containing multiple heterogeneous cores and non-coherent caches renewed attention to the use of Software Transactional Memory (STM) as a building block for developing parallel applications. STM promises to ease concurrent and parallel software development, but relies on the possibility of abort conflicting transactions to maintain data consistency, which in turns affects the execution time of tasks carrying transactions. Because of this fact the timing behaviour of the task set may not be predictable, thus it is crucial to limit the execution time overheads resulting from aborts. In this paper we formalise a FIFO-based algorithm to order the sequence of commits of concurrent transactions. Then, we propose and evaluate two non-preemptive and one SRP-based fully-preemptive scheduling strategies, in order to avoid transaction starvation.

Parallel Software framework for time-critical many-core systems

The recent technological advancements and market trends are causing an interesting phenomenon towards the convergence of High-Performance Computing (HPC) and Embedded Computing (EC) domains. On one side, new kinds of HPC applications are being required by markets needing huge amounts of information to be processed within a bounded amount of time. On the other side, EC systems are increasingly concerned with providing higher performance in real-time, challenging the performance capabilities of current architectures. The advent of next-generation many-core embedded platforms has the chance of intercepting this converging need for predictable high-performance, allowing HPC and EC applications to be executed on efficient and powerful heterogeneous architectures integrating general-purpose processors with many-core computing fabrics. To this end, it is of paramount importance to develop new techniques for exploiting the massively parallel computation capabilities of such platforms in a predictable way. P-SOCRATES will tackle this important challenge by merging leading research groups from the HPC and EC communities. The time-criticality and parallelisation challenges common to both areas will be addressed by proposing an integrated framework for executing workload-intensive applications with real-time requirements on top of next-generation commercial-off-the-shelf (COTS) platforms based on many-core accelerated architectures. The project will investigate new HPC techniques that fulfil real-time requirements. The main sources of indeterminism will be identified, proposing efficient mapping and scheduling algorithms, along with the associated timing and schedulability analysis, to guarantee the real-time and performance requirements of the applications.

Effects of self-administered exercises based on Tuina techniques on musculoskeletal disorders of professional orchestra musicians: a randomized controlled trial

Background Musicians are frequently affected by playing-related musculoskeletal disorders (PRMD). Common solutions used by Western medicine to treat musculoskeletal pain include rehabilitation programs and drugs, but their results are sometimes disappointing. Objective To study the effects of self-administered exercises based on Tuina techniques on the pain intensity caused by PRMD of professional orchestra musicians, using numeric visual scale (NVS). Design, setting, participants and interventions We performed a prospective, controlled, single-blinded, randomized study with musicians suffering from PRMD. Participating musicians were randomly distributed into the experimental (n = 39) and the control (n = 30) groups. After an individual diagnostic assessment, specific Tuina self-administered exercises were developed and taught to the participants. Musicians were instructed to repeat the exercises every day for 3 weeks. Main outcome measures Pain intensity was measured by NVS before the intervention and after 1, 3, 5, 10, 15 and 20 d of treatment. The procedure was the same for the control group, however the Tuina exercises were executed in points away from the commonly-used acupuncture points. Results In the treatment group, but not the control group, pain intensity was significantly reduced on days 1, 3, 5, 10, 15 and 20. Conclusion The results obtained are consistent with the hypothesis that self-administered exercises based on Tuina techniques could help professional musicians controlling the pain caused by PRMD. Although our results are very promising, further studies are needed employing a larger sample size and double blinding designs.

Constraint-based verification of imperative programs

work presented in the context of the European Master’s program in Computational Logic, as the partial requirement for obtaining Master of Science degree in Computational Logic

Derivation and consistency checking of models in early software product line engineering

Dissertação para obtenção do Grau de Doutor em Engenharia Informática

Healing replicas in a software component replication system

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

The role of liquid-based cytology and ancillary techniques in pleural and pericardic effusions: An institutional experience

BACKGROUND: Fine-needle aspiration cytology (FNAC) of serous membrane effusions may fulfil a challenging role in the diagnostic analysis of both primary and metastatic disease. From this perspective, liquid-based cytology (LBC) represents a feasible and reliable method for empowering the performance of ancillary techniques (ie, immunocytochemistry and molecular testing) with high diagnostic accuracy. METHODS: In total, 3171 LBC pleural and pericardic effusions were appraised between January 2000 and December 2013. They were classified as negative for malignancy (NM), suspicious for malignancy (SM), or positive for malignancy (PM). RESULTS: The cytologic diagnoses included 2721 NM effusions (2505 pleural and 216 pericardic), 104 SM effusions (93 pleural and 11 pericardic), and 346 PM effusions (321 pleural and 25 pericardic). The malignant pleural series included 76 unknown malignancies (36 SM and 40 PM effusions), 174 metastatic lesions (85 SM and 89 PM effusions), 14 lymphomas (3 SM and 11 PM effusions), 16 mesotheliomas (5 SM and 11 SM effusions), and 3 myelomas (all SM effusions). The malignant pericardic category included 20 unknown malignancies (5 SM and 15 PM effusions), 15 metastatic lesions (1 SM and 14 PM effusions), and 1 lymphoma (1 PM effusion). There were 411 conclusive immunocytochemical analyses and 47 molecular analyses, and the authors documented 88% sensitivity, 100% specificity, 98% diagnostic accuracy, 98% negative predictive value, and 100% positive predictive value for FNAC. CONCLUSIONS: FNAC represents a primary diagnostic tool for effusions and a reliable approach with which to determine the correct follow-up. Furthermore, LBC is useful for ancillary techniques, such as immunocytochemistry and molecular analysis, with feasible diagnostic and predictive utility.

Poly lactic acid based biodegradable stents and functionalization techniques: brief review

Commercial stents, especially metallic ones, present several disadvantages, and this gives rise to the necessity of producing or coating stents with different materials, like natural polymers, in order to improve their biocompatibility and minimize the disadvantages of metallic ones. This review paper discusses some applications of natural-based polymers in stents, namely polylactic acid (PLA) for stent development and chitosan for biocompatible coatings of stents . Furthermore, some effective stent functionalization techniques will be discussed, namely Layer by Layer (LBL) technique.

Flexible gastrointestinal motility pressure sensors based on aluminum thin-film strain-gauge arrays

This paper reports on an innovative approach to measuring intraluminal pressure in the upper gastrointestinal (GI) tract, especially monitoring GI motility and peristaltic movements. The proposed approach relies on thin-film aluminum strain gauges deposited on top of a Kapton membrane, which in turn lies on top of an SU-8 diaphragm-like structure. This structure enables the Kapton membrane to bend when pressure is applied, thereby affecting the strain gauges and effectively changing their electrical resistance. The sensor, with an area of 3.4 mm2, is fabricated using photolithography and standard microfabrication techniques (wet etching). It features a linear response (R2 = 0.9987) and an overall sensitivity of 2.6 mV mmHg−1. Additionally, its topology allows a high integration capability. The strain gauges’ responses to pressure were studied and the fabrication process optimized to achieve high sensitivity, linearity, and reproducibility. The sequential acquisition of the different signals is carried out by a microcontroller, with a 10-bit ADC and a sample rate of 250 Hz. The pressure signals are then presented in a user-friendly interface, developed using the Integrated Development Environment software, QtCreator IDE, for better visualization by physicians.

Framework of quality measurement in CASE tool based software development

Magdeburg, Univ., Fak. für Informatik, Diss., 2010