Teaching Crossroads: 11th IPB Erasmus Week

In the wake of the latest news regarding IPB’s award for best Polytechnic Institute in Portugal, we would like to congratulate the IPB community who has always striven for the quality of the institution within the national and international academic milieu. We are, undoubtedly, bowled over by the 1st place in the national context (out of the 27 national institutions under evaluation) and the 7th position in the international scope. In fact, it is worth mentioning that the IPB has won this award, three years in a row, being in a leading position in the ranking promoted and sponsored by the European Union. This year’s edition has selected and evaluated over 1300 world higher education institutions. Teaching Crossroads intends thus to give a watershed contribution to the IPB’s successful and most valued pathway. Numbers indicate that Teaching Crossroads has had over 2550 downloads since it first came out. But let’s cut to the chase. Once again, we are delighted to present the 5th number of Teaching Crossroads. This wholly calculated and well-sustained editorial adventure started in 2012 when the first number of Teaching Crossroads first saw the light. This year’s publication includes the areas of Human Geography/anthropology, Information Technology and Forensics and Language and culture, focusing on minority languages. Alongside this, as in the two last previous numbers, we’ve included the specific area for International mobility, Intensive Programmes and Erasmus+ Mobility of Individuals, being the latter financed by the European Union within the Erasmus+ Programme, whereas the former is sponsored uniquely by the foreign partner institution, in this case, Lillebaelt Academy in Denmark. These types of programmes convey very positive and overarching ideas, resonant in cross-cultural and educational benefits, valuable for all the involved partners. We would very kindheartedly like to thank the authors for having contributed with much enlightening and serious articles on a wide array of areas. Pablo M. Orduna Pórtus’s article focuses on border culture and heritage management. The author’s study is placed on two borderlands of the Iberian Peninsula: Roncal Valley (Navarre) and Riverbanks of Douro. Going beyond the linear or physical conception of the border, the author centres his study on the metaphysical and symbolic ideas of the frontier that sustain his anthropological analysis. Michal Popdora manages to find evidence for his proposal of a new conception of teaching Image Processing, based on the student-centered approach. A hands-on experience on a Project-based Learning methodology sustains the teaching project. Grounded on “a forensic-flavored style”, using the author’s own words, he shows how students can become engaged in a highly effective learning process. Cláudia Martins is already a confirmed habitué of this publication, as in every Erasmus Week she delivers a lecture on Portuguese language and culture to visiting teaching and non-teaching staff. This time, the author decided to delve into a Portugal’s official language, Mirandese, spoken in a small designated area in the northeastern part of Portugal, Miranda do Douro and its surrounding area. The author gives account of some thought-provoking facts about the language, from the origin and the survival of the language, however still a minority language, up to the moment when it was acknowledged Portugal’s second official language, together with the challenges that nowadays faces. Luís Frölen Ribeiro, João Eduardo Ribeiro, Carlos Casimiro Costa, António Duarte, Carlos Andrade from the Polytechnic Institute and Arne Svinth, John Madsen, Morten Thomsen, Kent Smidstrup, Carsten John Jacobsen from the Lillebaelt Academy, in Denmark, participate in a joint project which they describe, outlining the main goals and gains of the project. To overcome teaching difficulties regarding the engineering degrees, a 12-ECTS joint course from Lillebaelt Academy and Polytechnic Institute of Bragança was created based on the Danish model. The course Product Development and Industrial Processing was hence created. Rui Pedro Lopes presents an insightful and acute account of the Internationalization programmes in Higher Education in Europe. At one go, the author describes his own experience as a visiting lecturer, within the Erasmus+ programme, to Università Politecnica delle Marche in Ancona, Italy, in a Master’s degree in computer science, bringing to light a personal reflection on the goals and benefits of the mobility for both students and teachers. Finally, the author puts forth some suggestions that would improve the whole mobility process. We sincerely hope to have stimulated you to keep on reading, upholding the belief that these texts can represent valuable sources for both teachers and students in their research work.

James Evans : inventor of the syllabic system of the Cree language / by John McLean ... (Robin Rustler).

http://www.archive.org/details/jamesevans00maclrich

Program Representation Size in an Intermediate Language with Intersection and Union Types

The CIL compiler for core Standard ML compiles whole programs using a novel typed intermediate language (TIL) with intersection and union types and flow labels on both terms and types. The CIL term representation duplicates portions of the program where intersection types are introduced and union types are eliminated. This duplication makes it easier to represent type information and to introduce customized data representations. However, duplication incurs compile-time space costs that are potentially much greater than are incurred in TILs employing type-level abstraction or quantification. In this paper, we present empirical data on the compile-time space costs of using CIL as an intermediate language. The data shows that these costs can be made tractable by using sufficiently fine-grained flow analyses together with standard hash-consing techniques. The data also suggests that non-duplicating formulations of intersection (and union) types would not achieve significantly better space complexity.

Automatic Detection of Relevant Head Gestures in American Sign Language Communication

An automated system for detection of head movements is described. The goal is to label relevant head gestures in video of American Sign Language (ASL) communication. In the system, a 3D head tracker recovers head rotation and translation parameters from monocular video. Relevant head gestures are then detected by analyzing the length and frequency of the motion signal's peaks and valleys. Each parameter is analyzed independently, due to the fact that a number of relevant head movements in ASL are associated with major changes around one rotational axis. No explicit training of the system is necessary. Currently, the system can detect "head shakes." In experimental evaluation, classification performance is compared against ground-truth labels obtained from ASL linguists. Initial results are promising, as the system matches the linguists' labels in a significant number of cases.

An alignment based similarity measure for hand detection in cluttered sign language video

Locating hands in sign language video is challenging due to a number of factors. Hand appearance varies widely across signers due to anthropometric variations and varying levels of signer proficiency. Video can be captured under varying illumination, camera resolutions, and levels of scene clutter, e.g., high-res video captured in a studio vs. low-res video gathered by a web cam in a user’s home. Moreover, the signers’ clothing varies, e.g., skin-toned clothing vs. contrasting clothing, short-sleeved vs. long-sleeved shirts, etc. In this work, the hand detection problem is addressed in an appearance matching framework. The Histogram of Oriented Gradient (HOG) based matching score function is reformulated to allow non-rigid alignment between pairs of images to account for hand shape variation. The resulting alignment score is used within a Support Vector Machine hand/not-hand classifier for hand detection. The new matching score function yields improved performance (in ROC area and hand detection rate) over the Vocabulary Guided Pyramid Match Kernel (VGPMK) and the traditional, rigid HOG distance on American Sign Language video gestured by expert signers. The proposed match score function is computationally less expensive (for training and testing), has fewer parameters and is less sensitive to parameter settings than VGPMK. The proposed detector works well on test sequences from an inexpert signer in a non-studio setting with cluttered background.

Cuckoo: a Language for Implementing Memory- and Thread-safe System Services

This paper is centered around the design of a thread- and memory-safe language, primarily for the compilation of application-specific services for extensible operating systems. We describe various issues that have influenced the design of our language, called Cuckoo, that guarantees safety of programs with potentially asynchronous flows of control. Comparisons are drawn between Cuckoo and related software safety techniques, including Cyclone and software-based fault isolation (SFI), and performance results suggest our prototype compiler is capable of generating safe code that executes with low runtime overheads, even without potential code optimizations. Compared to Cyclone, Cuckoo is able to safely guard accesses to memory when programs are multithreaded. Similarly, Cuckoo is capable of enforcing memory safety in situations that are potentially troublesome for techniques such as SFI.

Safe Compositional Specification of Networking Systems: TRAFFIC The Language and Its Type Checking

This paper formally defines the operational semantic for TRAFFIC, a specification language for flow composition applications proposed in BUCS-TR-2005-014, and presents a type system based on desired safety assurance. We provide proofs on reduction (weak-confluence, strong-normalization and unique normal form), on soundness and completeness of type system with respect to reduction, and on equivalence classes of flow specifications. Finally, we provide a pseudo-code listing of a syntax-directed type checking algorithm implementing rules of the type system capable of inferring the type of a closed flow specification.

Facial Feature Tracking and Occlusion Recovery in American Sign Language

Facial features play an important role in expressing grammatical information in signed languages, including American Sign Language(ASL). Gestures such as raising or furrowing the eyebrows are key indicators of constructions such as yes-no questions. Periodic head movements (nods and shakes) are also an essential part of the expression of syntactic information, such as negation (associated with a side-to-side headshake). Therefore, identification of these facial gestures is essential to sign language recognition. One problem with detection of such grammatical indicators is occlusion recovery. If the signer's hand blocks his/her eyebrows during production of a sign, it becomes difficult to track the eyebrows. We have developed a system to detect such grammatical markers in ASL that recovers promptly from occlusion. Our system detects and tracks evolving templates of facial features, which are based on an anthropometric face model, and interprets the geometric relationships of these templates to identify grammatical markers. It was tested on a variety of ASL sentences signed by various Deaf native signers and detected facial gestures used to express grammatical information, such as raised and furrowed eyebrows as well as headshakes.

Type Systems for a Network Specification Language With Multiple-Choice Let

When analysing the behavior of complex networked systems, it is often the case that some components within that network are only known to the extent that they belong to one of a set of possible "implementations" – e.g., versions of a specific protocol, class of schedulers, etc. In this report we augment the specification language considered in BUCSTR-2004-021, BUCS-TR-2005-014, BUCS-TR-2005-015, and BUCS-TR-2005-033, to include a non-deterministic multiple-choice let-binding, which allows us to consider compositions of networking subsystems that allow for looser component specifications.

Extending snBench to Support a Graphical Programming Interface for a Sensor Network Tasking Language (STEP)

The purpose of this project is the creation of a graphical "programming" interface for a sensor network tasking language called STEP. The graphical interface allows the user to specify a program execution graphically from an extensible pallet of functionalities and save the results as a properly formatted STEP file. Moreover, the software is able to load a file in STEP format and convert it into the corresponding graphical representation. During both phases a type-checker is running on the background to ensure that both the graphical representation and the STEP file are syntactically correct. This project has been motivated by the Sensorium project at Boston University. In this technical report we present the basic features of the software, the process that has been followed during the design and implementation. Finally, we describe the approach used to test and validate our software.

序破急 Jo-Ha-Kyu: enticement - crux - consolidation. From study to learning: Process drama projects in the Japanese English language university classroom

This dissertation investigates how social issues can be explored through process drama projects in the Japanese university English as a Foreign Language classroom context. The trajectory of this dissertation moves along a traditional Noh three part macro-continuum, called Jo-Ha-Kyu, interpreted as enticement, crux and consolidation. Within these three parts, there are six further divisions. Part I consists of three sections: Section I, the introduction, sets the backdrop for the entire dissertation, that of Japan, and aims to draw the reader into its culturally unique and specific world. This section outlines the rationale for placing the ethnographer at the centre of the research, and presents Japan through the eyes of the writer. Section II outlines relevant Japanese cultural norms, mores and values, the English educational landscape of Japan and an overview of theatre in Japan and its possible influences on the Japanese university student today. Section III provides three literature reviews: second language acquisition, drama in education to process drama, and Content Language Integrated Learning. In Part 2, Sections IV and V respectively consist of the research methodology and the action research at the core of this dissertation. Section IV describes the case of Kwansei Gakuin University, then explains the design of the process drama curricula. Section V details the three-process drama projects based around the three social issues at the centre of this dissertation. There is also a description of an extra project that of the guest lecturer project. The ultimate goals of all four projects were to change motivation through English in a CLIL context, to develop linguistic spontaneity and to deepen emotional engagement with the themes. Part 3 serves to reflect upon the viability of using process drama in the Japanese university curriculum, and to critically self-reflect on the project as a whole.

Modular average case analysis: Language implementation and extension

Motivated by accurate average-case analysis, MOdular Quantitative Analysis (MOQA) is developed at the Centre for Efficiency Oriented Languages (CEOL). In essence, MOQA allows the programmer to determine the average running time of a broad class of programmes directly from the code in a (semi-)automated way. The MOQA approach has the property of randomness preservation which means that applying any operation to a random structure, results in an output isomorphic to one or more random structures, which is key to systematic timing. Based on original MOQA research, we discuss the design and implementation of a new domain specific scripting language based on randomness preserving operations and random structures. It is designed to facilitate compositional timing by systematically tracking the distributions of inputs and outputs. The notion of a labelled partial order (LPO) is the basic data type in the language. The programmer uses built-in MOQA operations together with restricted control flow statements to design MOQA programs. This MOQA language is formally specified both syntactically and semantically in this thesis. A practical language interpreter implementation is provided and discussed. By analysing new algorithms and data restructuring operations, we demonstrate the wide applicability of the MOQA approach. Also we extend MOQA theory to a number of other domains besides average-case analysis. We show the strong connection between MOQA and parallel computing, reversible computing and data entropy analysis.

Language legislation in Ireland and the United Kingdom: Exploring the gaps between theory and practice

The central objective in this thesis is to explore the gaps between the normative justifications advanced for language rights and language legislative protection and the effective realisation of those rights and legislative provisions in practice. This objective is achieved by examining the scope and application of language rights and legislative provisions within language legislation in Ireland and the United Kingdom. Drawing on Canadian jurisprudence advocating for language rights to be recognised as “purposeful”, the thesis considers the extent to which Ireland and the United Kingdom have limited the acceptance of positive obligations as they relate to the provision of language services in the public sphere. In arguing that language rights are distinct in nature, the thesis suggests that in order for language rights to be effectively realised, an approach to language rights and language legislation more generally must be underpinned by a substantive vision of equality, otherwise language rights and legislative provisions merely amount to symbolic recognition and vacuous rhetoric as opposed to being substantive and enabling rights and provisions. Having said that, the thesis also recognises and elucidates the practical difficulties that arise in the realisation of language rights and language legislative provisions and in doing so seeks to stimulate further dialogue about the nature and limits of language rights and language legislation.

Caesarean section and subsequent pregnancy outcome: a Danish register-based cohort study

Background and Aims: Caesarean section rates have increased in recent decades and the effects on subsequent pregnancy outcome are largely unknown. Prior research has hypothesised that Caesarean section delivery may lead to an increased risk of subsequent stillbirth, miscarriage, ectopic pregnancy and sub-fertility. Structure and Methods: Papers 1-3 are systematic reviews with meta-analyses. Papers 4-6 are findings from this thesis on the rate of subsequent stillbirth, miscarriage, ectopic pregnancy and live birth by mode of delivery. Results Systematic reviews and meta-analyses: A 23% increased odds of subsequent stillbirth; no increase in odds of subsequent ectopic pregnancy and a 10% reduction in the odds of subsequent live birth among women with a previous Caesarean section were found in the various meta-analyses. Danish cohorts: Results from the Danish Civil Registration System (CRS) cohort revealed a small increased rate of subsequent stillbirth and ectopic pregnancy among women with a primary Caesarean section, which remained in the analyses by type of Caesarean. No increased rate of miscarriage was found among women with a primary Caesarean section. In the CRS data, women with a primary Caesarean section had a significantly reduced rate of subsequent live birth particularly among women with primary elective and maternal-requested Caesarean sections. In the Aarhus Birth Cohort, overall the effect of mode of delivery on the rate and time to next live birth was minimal. Conclusions: Primary Caesarean section was associated with a small increased rate of stillbirth and ectopic pregnancy, which may be in part due to underlying medical conditions. No increased rate of miscarriage was found. A reduced rate of subsequent live birth was found among Caesarean section in the CRS data. In the smaller ABC cohort, a small reduction in rate of subsequent live birth was found among women with a primary Caesarean section and is most likely due to maternal choice rather than any ill effects of the Caesarean. The findings of this study, the largest and most comprehensive to date will be of significant interest to health care providers and women globally.

Cesarean section and rate of subsequent stillbirth, miscarriage and ectopic pregnancy: a Danish register-based cohort study

Background: With cesarean section rates increasing worldwide, clarity regarding negative effects is essential. This study aimed to investigate the rate of subsequent stillbirth, miscarriage, and ectopic pregnancy following primary cesarean section, controlling for confounding by indication. Methods and Findings: We performed a population-based cohort study using Danish national registry data linking various registers. The cohort included primiparous women with a live birth between January 1, 1982, and December 31, 2010 (n = 832,996), with follow-up until the next event (stillbirth, miscarriage, or ectopic pregnancy) or censoring by live birth, death, emigration, or study end. Cox regression models for all types of cesarean sections, sub-group analyses by type of cesarean, and competing risks analyses for the causes of stillbirth were performed. An increased rate of stillbirth (hazard ratio [HR] 1.14, 95% CI 1.01, 1.28) was found in women with primary cesarean section compared to spontaneous vaginal delivery, giving a theoretical absolute risk increase (ARI) of 0.03% for stillbirth, and a number needed to harm (NNH) of 3,333 women. Analyses by type of cesarean section showed similarly increased rates for emergency (HR 1.15, 95% CI 1.01, 1.31) and elective cesarean (HR 1.11, 95% CI 0.91, 1.35), although not statistically significant in the latter case. An increased rate of ectopic pregnancy was found among women with primary cesarean overall (HR 1.09, 95% CI 1.04, 1.15) and by type (emergency cesarean, HR 1.09, 95% CI 1.03, 1.15, and elective cesarean, HR 1.12, 95% CI 1.03, 1.21), yielding an ARI of 0.1% and a NNH of 1,000 women for ectopic pregnancy. No increased rate of miscarriage was found among women with primary cesarean, with maternally requested cesarean section associated with a decreased rate of miscarriage (HR 0.72, 95% CI 0.60, 0.85). Limitations include incomplete data on maternal body mass index, maternal smoking, fertility treatment, causes of stillbirth, and maternally requested cesarean section, as well as lack of data on antepartum/intrapartum stillbirth and gestational age for stillbirth and miscarriage. Conclusions: This study found that cesarean section is associated with a small increased rate of subsequent stillbirth and ectopic pregnancy. Underlying medical conditions, however, and confounding by indication for the primary cesarean delivery account for at least part of this increased rate. These findings will assist women and health-care providers to reach more informed decisions regarding mode of delivery.