Argonauta Video Database: Real operation. Scene 1 (Right camera)

Real operation scene This scene was recorded during a real Irradiation operation, more specifically during its final tasks (removing the irradiated sample). This scene was an extra recording to the script and planned ones. - Scene: Involved a number of persons, as: two operators, two personnel belonging to the radiological protection service, and the "client" who asked for the irradiation. Video file labels: "20140402150657_IPCAM": recorded by the right camera.

Argonauta Video Database: Projection and Homography matrices. Projection Right Camera

Description of the Annotation files: Annotation files are supplied for each video, for benchmarking. Annotations correspond to ground truths of peoples' positions in the image plane, and also for their feet positions, when they were visible. Annotations were performed manually, with the aid of a code developed by (Silva et al., 2014; see the Thesis for details). Targets (people or feet) are marked at variable frame intervals and then linearly interpolated.

Argonauta Video Database: Projection and Homography matrices. Homography Right Camera

Description of the Annotation files: Annotation files are supplied for each video, for benchmarking. Annotations correspond to ground truths of peoples' positions in the image plane, and also for their feet positions, when they were visible. Annotations were performed manually, with the aid of a code developed by (Silva et al., 2014; see the Thesis for details). Targets (people or feet) are marked at variable frame intervals and then linearly interpolated.

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.

InOut Project – Doing the things right & doing the right things

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Fate map of zebrafish left-right organizer

The organizer is a ciliated signalling transient organ, responsible for the patterning of embryo tissues during embryonic development. In higher vertebrates, such as mouse and chick, this organizer (the node and the Hensen’s node, respectively) performs dorsalventral and anteriorposterior axis definition, as well as left-right patterning of the internal organs. In lower vertebrates, such as frog and zebrafish, there is a separate specialized organ for left-right purposes called the Gastrocoel Roof Plate (GRP) and Kupffer’s Vesicle (KV), respectively. It is known that mouse and chick organizer cells give rise to structures like floor plate, notochord, hypochord and somites. Frog GRP originates all these but floor plate. In zebrafish, at 13-14 somite stage (ss) the KV finished its left-right patterning but what happens to this organizer’ cells is still poorly studied. This research attempts to understand the fate and behaviour of the KV cells. We followed the fate of KV cells by live imaging and by tight time-courses with fixed larvae. We assessed in detail their proliferative and death profile, as well as cilia length progression from 9-10 ss until 29-30 ss. We conclude that the KV cells mostly follow the evolutionarily conserved fates described for other organizers. These cells mainly incorporate the notochord and hypochord; few cells incorporate the floor plate and the somites. As a novelty, it is also hypothesized that the hypural cell fate may be among the KV cell fates.

Portal vein embolization before right hepatectomy: prospective clinical trial.

OBJECTIVE: To assess the impact of liver hypertrophy of the future liver remnant volume (FLR) induced by preoperative portal vein embolization (PVE) on the immediate postoperative complications after a standardized major liver resection. SUMMARY BACKGROUND DATA: PVE is usually indicated when FLR is estimated to be too small for major liver resection. However, few data exist regarding the exact quantification of sufficient minimal functional hepatic volume required to avoid postoperative complications in both patients with or without chronic liver disease. METHODS: All consecutive patients in whom an elective right hepatectomy was feasible and who fulfilled the inclusion and exclusion criteria between 1998 and 2000 were assigned to have alternatively either immediate surgery or surgery after PVE. Among 55 patients (25 liver metastases, 2 cholangiocarcinoma, and 28 hepatocellular carcinoma), 28 underwent right hepatectomy after PVE and 27 underwent immediate surgery. Twenty-eight patients had chronic liver disease. FLR and estimated rate of functional future liver remnant (%FFLR) volumes were assessed by computed tomography. RESULTS: The mean increase of FLR and %FFLR 4 to 8 weeks after PVE were respectively 44 +/- 19% and 16 +/- 7% for patients with normal liver and 35 +/- 28% and 9 +/- 3% for those with chronic liver disease. All patients with normal liver and 86% with chronic liver disease experienced hypertrophy after PVE. The postoperative course of patients with normal liver who underwent PVE before right hepatectomy was similar to those with immediate surgery. In contrast, PVE in patients with chronic liver disease significantly decreased the incidence of postoperative complications as well as the intensive care unit stay and total hospital stay after right hepatectomy. CONCLUSIONS: Before elective right hepatectomy, the hypertrophy of FLR induced by PVE had no beneficial effect on the postoperative course in patients with normal liver. In contrast, in patients with chronic liver disease, the hypertrophy of the FLR induced by PVE decreased significantly the rate of postoperative complications.

The role of the right parietal cortex in sound localization: a chronometric single pulse transcranial magnetic stimulation study.

Auditory spatial functions, including the ability to discriminate between the positions of nearby sound sources, are subserved by a large temporo-parieto-frontal network. With the aim of determining whether and when the parietal contribution is critical for auditory spatial discrimination, we applied single pulse transcranial magnetic stimulation on the right parietal cortex 20, 80, 90 and 150 ms post-stimulus onset while participants completed a two-alternative forced choice auditory spatial discrimination task in the left or right hemispace. Our results reveal that transient TMS disruption of right parietal activity impairs spatial discrimination when applied at 20 ms post-stimulus onset for sounds presented in the left (controlateral) hemispace and at 80 ms for sounds presented in the right hemispace. We interpret our finding in terms of a critical role for controlateral temporo-parietal cortices over initial stages of the building-up of auditory spatial representation and for a right hemispheric specialization in integrating the whole auditory space over subsequent, higher-order processing stages.

The career indecision profile : measurement equivalence in two international samples

This study tested for the measurement equivalence of a four-factor measure of career indecision (Career Indecision Profile-65 [CIP-65]) between a U.S. sample and two international samples; one composed of French-speaking young adults from France and Switzerland and the other of Italian ado- lescents. Previous research had supported the four-factor structure of the CIP-65 in both the United States and Iceland but also showed that items on two of the four scales may be interpreted differently by young adults growing up in these two countries. This study extends previous research by testing whether the four CIP-65 factors are measured equivalently in two additional international samples. Results largely supported the configural and metric invariance of the CIP-65 in the United States and international samples, but several scales showed a lack of scalar invariance. Some explanations are offered for these findings along with suggestions for future research and implications for practice.

Using stimulus equivalence to teach monetary skills to school-age children with autism

The present study evaluated the use of stimulus equivalence in teaching monetary skills to school aged children with autism. An AB within-subject design with periodic probes was used. At pretest, three participants demonstrated relation DA, an auditory-visual relation (matching dictated coin values to printed coin prices). Using a three-choice match-to-sample procedure, with a multi-component intervention package, these participants were taught two trained relations, BA (matching coins to printed prices) and CA (matching coin combinations to printed prices). Two participants achieved positive tests of equivalence, and the third participant demonstrated emergent performances with a symmetric and transitive relation. In addition, two participants were able to show generalization of learned skills with a parent, in a second naturalistic setting. The present research replicates and extends the results of previous studies by demonstrating that stimulus equivalence can be used to teach an adaptive skill to children with autism.

Viability interactions between the left and right arms of the second chromosome of Drosophila melanogaster

Inter and intrachromosomal viability interactions have been detected in a few experimental studies. Computer simulations and analytical models have led to postulation of nonadditivity of gene action. This study reports evidence of strong nonadditive interactions between the arms of the metacentric second chromosome of Drosophila melanogaster. Mean viability for 40 homozygous lines of the second chromosomes was 0.720+0.265 • Mean viability for 40 half homozygous second chromosomes was 0.928!O.)10 • Significant heterogeneity among and within lines was found in both groups of chromosomes, as well as a highly significant viability difference between the two groups. Comparison of observed viabilities with the expected values, according to the theories of additive and multi - plicative gene action. was made for both groups. Highly significant departures from the expected values were found for over 90% of the lines in both groups of chromosomes, for both additive and multiplicative models of gene action.

Foreign trained teachers : the emergence of the right to practise their profession in Ontario

The purpose of this thesis is to examine the impact of 2 recent legal events, specifically the Fair Access to Regulated Professions Act (2006) and Siadat v. Ontario College of Teachers (2007) decision, with regards to the opportunity of foreign trained teachers to practice their profession in Ontario. The emphasis is on the case of Fatima Siadat, who was a teacher in Iran but was unable to satisfy all the licensing requirements of the Ontario College of Teachers and consequently was unable to practise her profession in Ontario. When the Ontario College of Teachers Appeals Committee upheld the previous decision of the Ontario College of Teachers Registrar to refuse to issue her a teacher's certificate, Ms. Fatima Siadat decided to initiate a lawsuit. Ms. Fatima Siadat challenged the decision ofthe Ontario College of Teachers Appeals Committee by raising a question of applicability of human rights legislation (i.e., The Ontario Human Rights Code, 1990) on the Ontario College of Teachers' decisions. The Ontario Superior Court of Justice decided in January of2007 in favour of Ms. Fatima Siadat (Siadat v. Ontario College of Teachers , 2007) and ordered that her licensing application be reconsidered by the Ontario College of Teachers Appeals Committee. In this thesis the author argues that the Fatima Siadat decision, together with the Fair Access to Regulated Professions Act, 2006, will likely make a significant contribution to enhancing the access of foreign trained teachers and other professionals to practice their regulated professions in Ontario.

Field effectiveness of stimulus equivalence for teaching reading skills to children with autism

Stimulus equivalence involves teaching two conditional discriminations that share one stimulus in common and testing all possible conditional discriminations not taught (Saunders & Green, 1999). Despite considerable research in the laboratory, applied studies of stimulus equivalence have been limited (Vause, Martin, Marion, & Sakko, 2005). This study investigated the field-effectiveness of stimulus equivalence in teaching reading skills to children with Autism. Participants were four children with Autism receiving centre-based intensive behavioural intervention (lBI) treatment. Three of the participants, who already matched pictures to their dictated names, demonstrated six to eight more emergent performances after being taught only to match written words to the same names. One participant struggled with the demands of the study and his participation was discontinued. Results suggest that stimulus equivalence provided an effective and efficient teaching strategy for three of the four participants in this study.

Youth with intellectual disabilities and the right to make choices : investigating the family context to inform a training program

People with intellectual disabilities (ID) are more likely to be victims of abuse and human rights violations than people without ID. The 3Rs: Rights, Respect, and Responsibility project has developed and is testing a human rights training program for adults with ID. The current project was conducted to make recommendations to adapt the 3Rs rights training program to be used with youth with ID and their families. An interpretive phenomenological framework was employed to investigate youth with ID, parents', and siblings' perceptions of the i r experiences with choice making, an enactment of rights, in the family context. Thematic analysis of interviews revealed that, consistent with previous research, family members consider family values, conventions, and family members' well being when making decisions. A training program should promote a consideration of expanded opportunities for youth with ID to make choices and should be flexible to address individual families' cultures, needs, and desires.