A Comparison of American Student and Faculty Experiences in Mathematics Courses During the COVID-19 Pandemic

This study examined the experiences of mathematics students ( n = 2867) and faculty ( n = 81) at California State University, Fullerton during the fall 2020 semester during which all mathematics classes were taught in a synchronous virtual setting as a result of the COVID-19 pandemic. Survey results showed that faculty concerns centered around student participation, communication, and academic integrity, while student concerns focused on understanding the material, performance in the course, and commuting to campus. For both students and faculty, appreciation for increased time flexibility was accompanied by feelings of disconnectedness from the course. While student course outcomes did not affect student preference for virtual courses, there was evidence that faculty and students may have experienced virtual learning very differently. As educational institutions move forward there will need to be substantive discussions involving both faculty and students that address the role that academic departments can take to ensure equitable learning for all

Full abstraction for fair testing in CCS

In previous work with Pous, we defined a semantics for CCS which may both be viewed as an innocent presheaf semantics and as a concurrent game semantics. It is here proved that a behavioural equivalence induced by this semantics on CCS processes is fully abstract for fair testing equivalence. The proof relies on a new algebraic notion called playground, which represents the 'rule of the game'. From any playground, two languages, equipped with labelled transition systems, are derived, as well as a strong, functional bisimulation between them.Comment: 15 pages, to appear in CALCO '13. To appear Lecture notes in computer science (2013

The cognitive level does not interfere with recovery after robot-assisted gait training in traumatic brain injury: A 10-year cohort study

BACKGROUND: There is still no clear evidence available on the role of robot-assisted gait training (RAGT) in severe traumatic brain injury (TBI) and on the relationship between this intervention and cognitive impairment. OBJECTIVE: This study investigates the impact of the cognitive level at admission on functional recovery in a cohort of patients with severe TBI who received RAGT training within a multidisciplinary rehabilitation setting. METHODS: We included patients with gait disturbance due to a severe TBI. Patients were grouped into three classes according to their level of cognitive functioning (LCF) at admission (LCF 2-3; LCF 4-5-6; LCF 7-8). We collected demographics (sex, age), clinical data, and a set of outcome measures at admission and discharge. RESULTS: We registered 80 patients, 19 females and 61 males, 35.3 ± 14.85 years. Patients with a low cognitive level at admission were mostly subacute (p= 0.001). Cognitive impairment despite longer length stay in the hospital (LOS) (p= 0.001) did not preclude recovery after RAGT in terms of cognition (R2= 0.68; p< 0.0001), functional independence (R2= 0.30; p< 0.0001) and overall disability (R2= 0.32; p< 0.0001). CONCLUSION: Irrespective of their level of cognition, patients with severe TBI might benefit from RAGT during a multidisciplinary program

Service orchestration with priority constraints

Business process management is an operational management approach that focuses on improving business processes. Business processes, i.e., collections of important activities in an organization, are represented in the form of a workflow, an orchestrated and repeatable pattern of activities amenable to automated analysis and control. Priority is an important concept in modeling workflows. We need priority to model cancelable and compensable tasks within transactional business processes. We use the Reo coordination language to model and formally analyze workflows. In this paper, we propose a constraint-based approach to formalize priority in Reo. We introduce special channels to propagate and block priority flows, define their semantics as constraints, and model priority propagation as a constraint satisfaction problem

Foot tendinopathies in rheumatic diseases: etiopathogenesis, clinical manifestations and therapeutic options

Damage to the mutual and delicate articular relationships of the foot may lead to functional failure. A painful foot can be the heralding sign of inflammatory, metabolic or degenerative rheumatic disease that may cause severe disability if left untreated. Healthy tendons are brilliant white in colour, are fibroelastic in texture and can withstand huge mechanical loads. Pathological tendons are characterised by changes in cellular function, rupture of collagen bundles, increased production of the proteoglycan-water matrix and neurovascular proliferation. According to the underlying disease, tendinopathies may present with pain of variable duration and intensity and with functional impairment, or they may be an asymptomatic finding on imaging techniques. Pain is the most common presenting symptom in the inflammatory rheumatic diseases of the ankle and the foot and usually precedes ultrasound or radiographic changes; pain results from inflammatory changes of the synovia and soft tissue structures including bursae, tendons, fascias and peripheral nerves. The management of tendinopathies in inflammatory and non-inflammatory rheumatic patients includes "articular economy," pharmacological treatment, foot orthotics, cryotherapy, instrumental physiotherapy, rehabilitation and physical. This review highlights the differences between tendinopathies occurring in non-inflammatory rheumatic disorders compared to those appearing in the course of inflammatory rheumatic disorders and defines a conservative management framework that non-rheumatologists (orthopaedic surgeons) and rheumatologists could adhere for the management of foot tendinopathies

, F. S. de Boer 1

Additional information for correspondence

A Channel-Based Coordination Model for Components

In this paper we present a coordination model for component-based software systems based on the notion of mobile channels, and describe its implementation in the Java language