Reuse and integration of specification logics: the hybridisation perspective

Hybridisation is a systematic process along which the characteristic features of hybrid logic, both at the syntactic and the semantic levels, are developed on top of an arbitrary logic framed as an institution. It also captures the construction of first-order encodings of such hybridised institutions into theories in first-order logic. The method was originally developed to build suitable logics for the specification of reconfigurable software systems on top of whatever logic is used to describe local requirements of each system’s configuration. Hybridisation has, however, a broader scope, providing a fresh example of yet another development in combining and reusing logics driven by a problem from Computer Science. This paper offers an overview of this method, proposes some new extensions, namely the introduction of full quantification leading to the specification of dynamic modalities, and exemplifies its potential through a didactical application. It is discussed how hybridisation can be successfully used in a formal specification course in which students progress from equational to hybrid specifications in a uniform setting, integrating paradigms, combining data and behaviour, and dealing appropriately with systems evolution and reconfiguration.

Integration of virus-like particle macromolecular bioreceptors in electrochemical biosensors

Rapid, sensitive and selective detection of chemical hazards and biological pathogens has shown growing importance in the fields of homeland security, public safety and personal health. In the past two decades, efforts have been focusing on performing point-of-care chemical and biological detections using miniaturized biosensors. These sensors convert target molecule binding events into measurable electrical signals for quantifying target molecule concentration. However, the low receptor density and the use of complex surface chemistry in receptors immobilization on transducers are common bottlenecks in the current biosensor development, adding to the cost, complexity and time. This dissertation presents the development of selective macromolecular Tobacco mosaic virus-like particle (TMV VLP) biosensing receptor, and the microsystem integration of VLPs in microfabricated electrochemical biosensors for rapid and performance-enhanced chemical and biological sensing. Two constructs of VLPs carrying different receptor peptides targeting at 2,4,6-trinitrotoluene (TNT) explosive or anti-FLAG antibody are successfully bioengineered. The VLP-based TNT electrochemical sensor utilizes unique diffusion modulation method enabled by biological binding between target TNT and receptor VLP. The method avoids the influence from any interfering species and environmental background signals, making it extremely suitable for directly quantifying the TNT level in a sample. It is also a rapid method that does not need any sensor surface functionalization process. For antibody sensing, the VLPs carrying both antibody binding peptides and cysteine residues are assembled onto the gold electrodes of an impedance microsensor. With two-phase immunoassays, the VLP-based impedance sensor is able to quantify antibody concentrations down to 9.1 ng/mL. A capillary microfluidics and impedance sensor integrated microsystem is developed to further accelerate the process of VLP assembly on sensors and improve the sensitivity. Open channel capillary micropumps and stop-valves facilitate localized and evaporation-assisted VLP assembly on sensor electrodes within 6 minutes. The VLP-functionalized impedance sensor is capable of label-free sensing of antibodies with the detection limit of 8.8 ng/mL within 5 minutes after sensor functionalization, demonstrating great potential of VLP-based sensors for rapid and on-demand chemical and biological sensing.

INTEGRATION OF INSTRUMENTATION AND PROCESSING SOFTWARE OF A LASER SPECKLE CONTRAST IMAGING SYSTEM

Laser speckle contrast imaging (LSCI) has the potential to be a powerful tool in medicine, but more research in the field is required so it can be used properly. To help in the progression of Michigan Tech's research in the field, a graphical user interface (GUI) was designed in Matlab to control the instrumentation of the experiments as well as process the raw speckle images into contrast images while they are being acquired. The design of the system was successful and is currently being used by Michigan Tech's Biomedical Engineering department. This thesis describes the development of the LSCI GUI as well as offering a full introduction into the history, theory and applications of LSCI.

The Support Educational Commitee Participation in the Pedagogical Approach of an Educational Integration

Educational services are essential to social and economical development of people, mainly to the progress of all sectors of society. Establishing actions that can promote the participation of various social groups is essential to improve their quality of life and building more respectful and fair human rights without any discrimination or exclusion. In recent years, the Costa Rican education system has undergone significant changes due to the pedagogical approach of inclusive education in which students with educational needs may require different support and specialized resources for training and development. For this, the Basic Educational Division of the Center for Teaching and Research in Education, generated a concern of investigating the participation of the Committee of Educational Support in the process of educational integration, thus, determine the functions performed in the educational context, under the rules of the 7600 Equal Opportunity Act for people with disabilities, which is the entity that corresponds to regulate access to education by identifying the support required for students with educational needs and, advice and trains, administrative staff in schools both public and private in the country. In addition, there is also a concern for exploring the role of the Special Education teacher for this Committee, as well as learning the perceptions of teachers and parents about the functions performed by the committee.

Proposal for Labor Market Integration of Teachers in Contexts of High Social Vulnerability

The purpose of this paper is to share a proposal for teacher’s labor market integration in contexts of high social5 vulnerability. This paper is the result of a research conducted in a priority attention primary school6 of the central canton of Heredia7. It explored the labor market integration process of teachers, considering the community, family and student reality of a population social risk. The research that supports this proposal is based on a qualitative approach, since the diagnosis process is not intended to provide answers that could be commonly applied to other education centers in similar contexts, but to make an exploratory approach of teachers’ reality and their integration process into education institutions of high social vulnerability. Therefore, although this paper intends to share this experience, it does not aim to unify integration practices, but to be an input in carrying out similar processes.  (5) The concept of high social vulnerability is understood based on Sojo’s approach (2003), which defines it as marginal urban communities in areas considered by the Costa Rican government as priority areas with the greatest social, economic backwardness in the country, and high rates of violence, leisure, unemployment and drug addiction. (6) Translator’s note: The Costa Rican education system is composed of primary education (1st-6th grade) and secondary education (7th-11th grade). (7)A public primary school in the circuit 02 of the Province of Heredia.

Development of methodologies supporting the sustainable and safe integration of offshore conventional and renewable energy production

Against a backdrop of rapidly increasing worldwide population and growing energy demand, the development of renewable energy technologies has become of primary importance in the effort to reduce greenhouse gas emissions. However, it is often technically and economically infeasible to transport discontinuous renewable electricity for long distances to the shore. Another shortcoming of non-programmable renewable power is its integration into the onshore grid without affecting the dispatching process. On the other hand, the offshore oil & gas industry is striving to reduce overall carbon footprint from onsite power generators and limiting large expenses associated to carrying electricity from remote offshore facilities. Furthermore, the increased complexity and expansion towards challenging areas of offshore hydrocarbons operations call for higher attention to safety and environmental protection issues from major accident hazards. Innovative hybrid energy systems, as Power-to-Gas (P2G), Power-to-Liquid (P2L) and Gas-to-Power (G2P) options, implemented at offshore locations, would offer the opportunity to overcome challenges of both renewable and oil & gas sectors. This study aims at the development of systematic methodologies based on proper sustainability and safety performance indicators supporting the choice of P2G, P2L and G2P hybrid energy options for offshore green projects in early design phases. An in-depth analysis of the different offshore hybrid strategies was performed. The literature reviews on existing methods proposing metrics to assess sustainability of hybrid energy systems, inherent safety of process routes in conceptual design stage and environmental protection of installations from oil and chemical accidental spills were carried out. To fill the gaps, a suite of specific decision-making methodologies was developed, based on representative multi-criteria indicators addressing technical, economic, environmental and societal aspects of alternative options. A set of five case-studies was defined, covering different offshore scenarios of concern, to provide an assessment of the effectiveness and value of the developed tools.

Towards Unstructured Knowledge Integration in Natural Language Processing

In the last decades, Artificial Intelligence has witnessed multiple breakthroughs in deep learning. In particular, purely data-driven approaches have opened to a wide variety of successful applications due to the large availability of data. Nonetheless, the integration of prior knowledge is still required to compensate for specific issues like lack of generalization from limited data, fairness, robustness, and biases. In this thesis, we analyze the methodology of integrating knowledge into deep learning models in the field of Natural Language Processing (NLP). We start by remarking on the importance of knowledge integration. We highlight the possible shortcomings of these approaches and investigate the implications of integrating unstructured textual knowledge. We introduce Unstructured Knowledge Integration (UKI) as the process of integrating unstructured knowledge into machine learning models. We discuss UKI in the field of NLP, where knowledge is represented in a natural language format. We identify UKI as a complex process comprised of multiple sub-processes, different knowledge types, and knowledge integration properties to guarantee. We remark on the challenges of integrating unstructured textual knowledge and bridge connections with well-known research areas in NLP. We provide a unified vision of structured knowledge extraction (KE) and UKI by identifying KE as a sub-process of UKI. We investigate some challenging scenarios where structured knowledge is not a feasible prior assumption and formulate each task from the point of view of UKI. We adopt simple yet effective neural architectures and discuss the challenges of such an approach. Finally, we identify KE as a form of symbolic representation. From this perspective, we remark on the need of defining sophisticated UKI processes to verify the validity of knowledge integration. To this end, we foresee frameworks capable of combining symbolic and sub-symbolic representations for learning as a solution.

The integration of immigrant-origin youths in Japan

The steadily growing immigration phenomenon in today’s Japan is showing a tangible and expanding presence of immigrant-origin youths residing in the country. International research in the migration studies area has underlined the importance of focusing on immigrant-origin youths to shed light on the character of the way immigrant incorporate in countries of destinations. In-deed, immigrants’ offspring, the adults of tomorrow, embody the interlocutor between first-generation immigrants and the receiving societal context. The extent of the presence of immigrants’ children in countries of destination is also a reliable yardstick to assess the maturation of the migration process, transforming it from a temporary phenomenon to a long-term settlement. Within this framework, the school is a privileged site to observe and analyze immigrant-origin youths’ integration. Alongside their family and peers, school constitutes one of the main agents of socialization. Here, children learn norms and rules and acquire the necessary tools to eventually compete in the pursuit of an occupation, determining their future socioeconomic standing. This doctoral research aims to identify which theoretical model articulated in the area of migration studies best describes the adaptation process of immigrant-origin youths in Japan. In particular, it examines whether (and to what extent) any of the pre-existing frameworks can help explain the Japanese occurring circumstances, or whether further elaboration and adjustment are needed. Alternatively, it studies whether it is necessary to produce a new model based on the peculiarities of the Japanese social context. This study provides a theoretical-oriented contribution to the (mainly descriptive but maturing) literature on immigrant-origin youths’ integration in Japan. Considering past growth trends of Japanese immigration and its expanding prospective projections (Korekawa 2018c), this study might be considered pioneering for future development of the phenomenon.

Integration of the computer controlled screwdriver for Robotic manufacturing in the ROS environment

The computer controlled screwdriver is a modern technique to perform automatic screwing/unscrewing operations.The main focus is to study the integration of the computer controlled screwdriver for Robotic manufacturing in the ROS environment.This thesis describes a concept of automatic screwing mechanism composed by universal robots, in which one arm of the robot is for inserting cables and the other is for screwing the cables on the control panel switch gear box. So far this mechanism is carried out by human operators and is a fairly complex one to perform, due to the multiple cables and connections involved. It's for this reason that an automatic cabling and screwing process would be highly preferred within automotive/automation industries. A study is carried out to analyze the difficulties currently faced and a controller based algorithm is developed to replace the manual human efforts using universal robots, thereby allowing robot arms to insert the cables and screw them onto the control panel switch gear box. Experiments were conducted to evaluate the insertion and screwing strategy, which shows the result of inserting and screwing cables on the control panel switch gearbox precisely.

[strategies For Integration Of Health Care Practices And Sanitary Surveillance In The Context Of The Implementation Of Rede Cegonha - A Brazilian Mother And Infant Health Care Network].

Mother and infant mortality has been the scope of analysis throughout the history of public health in Brazil and various strategies to tackle the issue have been proposed to date. The Ministry of Health has been working on this and the Rede Cegonha strategy is the most recent policy in this context. Given the principle of comprehensive health care and the structure of the Unified Health System in care networks, it is necessary to ensure the integration of health care practices, among which are the sanitary surveillance actions (SSA). Considering that the integration of health care practices and SSA can contribute to reduce mother and infant mortality rates, this article is a result of qualitative research that analyzed the integration of these actions in four cities in the State of São Paulo/Brazil: Campinas, Indaiatuba, Jaguariúna and Santa Bárbara D'Oeste. The research was conducted through interviews with SSA and maternal health managers, and the data were evaluated using thematic analysis. The results converge with other studies, identifying the isolation of health care practices and SSA. The insertion of SSA in collectively-managed areas appears to be a potential strategy for health planning and implementation of actions in the context under scrutiny.

[meanings Of The Sickening Process For Patients With Systemic Lupus Erythematosus: A Review Of The Literature.]

Systemic lupus erythematosus is an autoimmune disease that causes many psychological repercussions that have been studied through qualitative research. These are considered relevant, since they reveal the amplitude experienced by patients. Given this importance, this study aims to map the qualitative production in this theme, derived from studies of experiences of adult patients of both genders and that had used as a tool a semi-structured interview and/or field observations, and had made use of a sampling by a saturation criterion to determine the number of participants in each study. The survey was conducted in Pubmed, Lilacs, Psycinfo e Cochrane databases, searching productions in English and Portuguese idioms published between January 2005 and June 2012. The 19 revised papers that have dealt with patients in the acute phase of the disease showed themes that were categorized into eight topics that contemplated the experienced process at various stages, from the onset of the disease, extending through the knowledge of the diagnosis and the understanding of the manifestations of the disease, drug treatment and general care, evolution and prognosis. The collected papers also point to the difficulty of understanding, of the patients, on what consists the remission phase, revealing also that this is a clinical stage underexplored by psychological studies.

Motivating Medical Students To Learn Basic Science Concepts Using Chronic Myeloid Leukemia As An Integration Theme.

To report on the use of chronic myeloid leukemia as a theme of basic clinical integration for first year medical students to motivate and enable in-depth understanding of the basic sciences of the future physician. During the past thirteen years we have reviewed and updated the curriculum of the medical school of the Universidade Estadual de Campinas. The main objective of the new curriculum is to teach the students how to learn to learn. Since then, a case of chronic myeloid leukemia has been introduced to first year medical students and discussed in horizontal integration with all themes taught during a molecular and cell biology course. Cell structure and components, protein, chromosomes, gene organization, proliferation, cell cycle, apoptosis, signaling and so on are all themes approached during this course. At the end of every topic approached, the students prepare in advance the corresponding topic of clinical cases chosen randomly during the class, which are then presented by them. During the final class, a paper regarding mutations in the abl gene that cause resistance to tyrosine kinase inhibitors is discussed. After each class, three tests are solved in an interactive evaluation. The course has been successful since its beginning, 13 years ago. Great motivation of those who participated in the course was observed. There were less than 20% absences in the classes. At least three (and as many as nine) students every year were interested in starting research training in the field of hematology. At the end of each class, an interactive evaluation was performed and more than 70% of the answers were correct in each evaluation. Moreover, for the final evaluation, the students summarized, in a written report, the molecular and therapeutic basis of chronic myeloid leukemia, with scores ranging from 0 to 10. Considering all 13 years, a median of 78% of the class scored above 5 (min 74%-max 85%), and a median of 67% scored above 7. Chronic myeloid leukemia is an excellent example of a disease that can be used for clinical basic integration as this disorder involves well known protein, cytogenetic and cell function abnormalities, has well-defined diagnostic strategies and a target oriented therapy.

[in Process Citation].

20

Diagnóstico da Educação Ambiental no ensino de Geografia: Piracicaba, Capivari and Jundiaí hidrographic basins

The goals of this study are to identify the potencialities avaiable in elementary public schools for the development of an educational process wich includes environmental issues helpping to find its integration with university in order to contribuite raises teaching levels for a better comprehension of regional environmental problems. Research data were collected through questionnaires and interviews with geography teachers analyising theirs activities and perspectives on the environmental crisis and environmental education. The study also offers sugestions for the devellopment of interdisciplinaires programs trying to contibute for the construction of citizenship showing the importance of better comprehension from environmental problems which includes physical, economics, social, political and cultural aspects.