The principal\u27s role in fostering teacher collaboration for students with special needs

This study examined the principal\u27s role in fostering teacher collaboration for students with special needs by investigating two overarching questions: (a) How do principals foster teacher collaboration for the purpose of improving teaching and learning for students with special needs and (b) how do these behaviors relate to leadership behaviors that have been identified as facilitative of teacher collaboration? First, a multiple-site descriptive case study was conducted and, using nomination criteria, five sites in four school districts were selected. The data collection involved the verification of the nomination criteria through observations and the collection of data through interviews with principals and general and special education teachers as well as document reviews. An analysis of the cross-site case study data revealed five emerging themes that related to (a) the importance ofthe principal\u27s role, (b) the supportive role of the principal, (c) the communicative role of the principal, (d) the leadership role of the principal, and (e) the role of the principal in promoting collaborative cultures.;Second, role descriptors of the principal identified in the cross-site analysis of the case studies were compared with role descriptors cited in empirical studies relating to the principal\u27s role in fostering teacher collaboration. The findings from the cross-site comparison were classified into three levels of role descriptors of the principal: (a) role descriptors most frequently cited in the literature and identified in all five case studies, (b) role descriptors not as frequently cited in the literature but cited in all five case studies, and (c) role descriptors not cited in the literature but identified in all five case studies

Verifying the Safety of a Flight-Critical System

This paper describes our work on demonstrating verification technologies on a flight-critical system of realistic functionality, size, and complexity. Our work targeted a commercial aircraft control system named Transport Class Model (TCM), and involved several stages: formalizing and disambiguating requirements in collaboration with do- main experts; processing models for their use by formal verification tools; applying compositional techniques at the architectural and component level to scale verification. Performed in the context of a major NASA milestone, this study of formal verification in practice is one of the most challenging that our group has performed, and it took several person months to complete it. This paper describes the methodology that we followed and the lessons that we learned.Comment: 17 pages, 5 figure

Testing in the incremental design and development of complex products

Testing is an important aspect of design and development which consumes significant time and resource in many companies. However, it has received less research attention than many other activities in product development, and especially, very few publications report empirical studies of engineering testing. Such studies are needed to establish the importance of testing and inform the development of pragmatic support methods. This paper combines insights from literature study with findings from three empirical studies of testing. The case studies concern incrementally developed complex products in the automotive domain. A description of testing practice as observed in these studies is provided, confirming that testing activities are used for multiple purposes depending on the context, and are intertwined with design from start to finish of the development process, not done after it as many models depict. Descriptive process models are developed to indicate some of the key insights, and opportunities for further research are suggested

Modelling and Analysis Using GROOVE

In this paper we present case studies that describe how the graph transformation tool GROOVE has been used to model problems from a wide variety of domains. These case studies highlight the wide applicability of GROOVE in particular, and of graph transformation in general. They also give concrete templates for using GROOVE in practice. Furthermore, we use the case studies to analyse the main strong and weak points of GROOVE

Complexity stage model of the medical device development based on economic evaluation-MedDee

The development of a new product is essential for the progress and success of any company. The medical device market is very specific, which is challenging. Therefore, this paper assesses an economic model for medical device evaluation using the economic, health, technology regulatory, and present market knowledge to enable the cost-time conception for any applicant. The purpose of this study is to propose a comprehensive stage model of the medical device development to subsequently describe the financial expenditure of the entire development process. The identification of critical steps was based on the literature review, and analysis, and a comparison of the available medical device development stages and directives. Furthermore, a preliminary assessment of the medical device development steps and procedures on the basis of the interviews was performed. Six interviews were conducted with an average duration of one hour, focusing on areas: relevance and level of detail of the medical device development stages, involvement of economic methods, and applicability of the proposed model. Subsequently, the improvement and modification of the medical device investment process, based on respondents' responses, were conducted. The authors have proposed the complexity model MedDee-Medical Devices Development by Economic Evaluation. This model is comprised of six phases: initiation, concept, design, production, final verification, and market disposition in which the economic methods are incorporated.Web of Science125art. no. 175

Unlocking biomarker discovery: Large scale application of aptamer proteomic technology for early detection of lung cancer

Lung cancer is the leading cause of cancer deaths, because ~84% of cases are diagnosed at an advanced stage. Worldwide in 2008, ~1.5 million people were diagnosed and ~1.3 million died – a survival rate unchanged since 1960. However, patients diagnosed at an early stage and have surgery experience an 86% overall 5-year survival. New diagnostics are therefore needed to identify lung cancer at this stage. Here we present the first large scale clinical use of aptamers to discover blood protein biomarkers in disease with our breakthrough proteomic technology. This multi-center case-control study was conducted in archived samples from 1,326 subjects from four independent studies of non-small cell lung cancer (NSCLC) in long-term tobacco-exposed populations. We measured >800 proteins in 15uL of serum, identified 44 candidate biomarkers, and developed a 12-protein panel that distinguished NSCLC from controls with 91% sensitivity and 84% specificity in a training set and 89% sensitivity and 83% specificity in a blinded, independent verification set. Performance was similar for early and late stage NSCLC. This is a significant advance in proteomics in an area of high clinical need

La boîte à outils géotechniques de demain: EN 1997-1: 202x Règles générales

This paper describes the development of the final Project Team (PT) draft of the next generation of Eurocode 7 Part 1 (EN 1997-1:202x). The use of Nationally Determined Parameters and the drive for ease-of-use is highlighted. Key changes from the previous version of EN 1997-1 are explained, including the introduction of the Geotechnical Design Model; revision of the Geotechnical Categories and their application; the implementation of Consequence Classes and Geotechnical Complexity Classes in achieving the reliability required by the Eurocodes; elaboration on the use of numerical methods within Eurocode 7; the treatment of rock on an equal basis with soil; and greater emphasis on the Observational Method.Postprint (published version