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.

The impact of the integration of ict on elementary efl students’ vocabulary at the corporación unificada nacional cun through writing communicative tasks

Tesis (Licenciado en Lenguas Castellana, Inglés y Francés).--Universidad de La Salle. Facultad de Ciencias de La Educación. Licenciatura en Lengua Castellana, Inglés y Francés, 2014

EMMA 2--a MAGE-compliant system for the collaborative analysis and integration of microarray data

Background: Understanding transcriptional regulation by genome-wide microarray studies can contribute to unravel complex relationships between genes. Attempts to standardize the annotation of microarray data include the Minimum Information About a Microarray Experiment (MIAME) recommendations, the MAGE-ML format for data interchange, and the use of controlled vocabularies or ontologies. The existing software systems for microarray data analysis implement the mentioned standards only partially and are often hard to use and extend. Integration of genomic annotation data and other sources of external knowledge using open standards is therefore a key requirement for future integrated analysis systems. Results: The EMMA 2 software has been designed to resolve shortcomings with respect to full MAGE-ML and ontology support and makes use of modern data integration techniques. We present a software system that features comprehensive data analysis functions for spotted arrays, and for the most common synthesized oligo arrays such as Agilent, Affymetrix and NimbleGen. The system is based on the full MAGE object model. Analysis functionality is based on R and Bioconductor packages and can make use of a compute cluster for distributed services. Conclusion: Our model-driven approach for automatically implementing a full MAGE object model provides high flexibility and compatibility. Data integration via SOAP-based web-services is advantageous in a distributed client-server environment as the collaborative analysis of microarray data is gaining more and more relevance in international research consortia. The adequacy of the EMMA 2 software design and implementation has been proven by its application in many distributed functional genomics projects. Its scalability makes the current architecture suited for extensions towards future transcriptomics methods based on high-throughput sequencing approaches which have much higher computational requirements than microarrays.

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 Social Concerns in Collaborative Logistics and Transportation Networks

Part 21: Mobility and Logistics

Action and perception: Neural indices of learning in infants

Early human development offers a unique perspective in investigating the potential cognitive and social implications of action and perception. Specifically, during infancy, action production and action perception undergo foundational developments. One essential component to examine developments in action processing is the analysis of others’ actions as meaningful and goal-directed. Little research, however, has examined the underlying neural systems that may be associated with emerging action and perception abilities, and infants’ learning of goal-directed actions. The current study examines the mu rhythm—a brain oscillation found in the electroencephalogram (EEG)—that has been associated with action and perception. Specifically, the present work investigates whether the mu signal is related to 9-month-olds’ learning of a novel goal-directed means-end task. The findings of this study demonstrate a relation between variations in mu rhythm activity and infants’ ability to learn a novel goal-directed means-end action task (compared to a visual pattern learning task used as a comparison task). Additionally, we examined the relations between standardized assessments of early motor competence, infants’ ability to learn a novel goal-directed task, and mu rhythm activity. We found that: 1a) mu rhythm activity during observation of a grasp uniquely predicted infants’ learning on the cane training task, 1b) mu rhythm activity during observation and execution of a grasp did not uniquely predict infants’ learning on the visual pattern learning task (comparison learning task), 2) infants’ motor competence did not predict infants’ learning on the cane training task, 3) mu rhythm activity during observation and execution was not related to infants’ measure of motor competence, and 4) mu rhythm activity did not predict infants’ learning on the cane task above and beyond infants’ motor competence. The results from this study demonstrate that mu rhythm activity is a sensitive measure to detect individual differences in infants’ action and perception abilities, specifically their learning of a novel goal-directed action.

Community School of São Miguel de Machede: A decade of Learning

the Community School of São Miguel de Machede exists since 1998. A model of Community Education has been developed in this decade of existence, which not being confined to the frequent profiles of the most common approaches in Adult Education, has been the result of a process of symbiosis between a practice that normally precedes the conceptualization and a thought which has always expressed the concern of interpreting and enrich that practice. Setting on a model of learning based on the PADéCA – Program of Helping the Development of the Capacity to Learn, proposed by Berbaum (1988), the Community School of São Miguel de Machede has been developing several activities centred on a fundamental concern: to create easy and qualified accesses, in this community (council of Evora), so that the respective members can learn to exercise their principal rights of citizenship, in the territory where they live and in a circumstance of equality of opportunities in relation to the remaining fellow countrymen. Being a project with a decade of life, it is now possible to speak of a history full of stories and learning experiences, which occurred as a result of a rich interaction between the initial thoughts and impulses of the theoretical approaches and a reality full of unexpectedness, mutability and humanity resulting from the complexity that a living community presents, with a history and a present, but not always with clear and positive idea about the respective future.

The right hippocampus leads the bilateral integration of gamma-parsed lateralized information

It is unclear whether the two hippocampal lobes convey similar or different activities and how they cooperate. Spatial discrimination of electric fields in anesthetized rats allowed us to compare the pathway-specific field potentials corresponding to the gamma-paced CA3 output (CA1 Schaffer potentials) and CA3 somatic inhibition within and between sides. Bilateral excitatory Schaffer gamma waves are generally larger and lead from the right hemisphere with only moderate covariation of amplitude, and drive CA1 pyramidal units more strongly than unilateral waves. CA3 waves lock to the ipsilateral Schaffer potentials, although bilateral coherence was weak. Notably, Schaffer activity may run laterally, as seen after the disruption of the connecting pathways. Thus, asymmetric operations promote the entrainment of CA3-autonomous gamma oscillators bilaterally, synchronizing lateralized gamma strings to converge optimally on CA1 targets. The findings support the view that interhippocampal connections integrate different aspects of information that flow through the left and right lobes.

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 Planned and the Emergent: An Alternative Model of Learning and Literacy

Within academic institutions, writing centers are uniquely situated, socially rich sites for exploring learning and literacy. I examine the work of the Michigan Tech Writing Center's UN 1002 World Cultures study teams primarily because student participants and Writing Center coaches are actively engaged in structuring their own learning and meaning-making processes. My research reveals that learning is closely linked to identity formation and leading the teams is an important component of the coaches' educational experiences. I argue that supporting this type of learning requires an expanded understanding of literacy and significant changes to how learning environments are conceptualized and developed. This ethnographic study draws on data collected from recordings and observations of one semester of team sessions, my own experiences as a team coach and UN 1002 teaching assistant, and interviews with Center coaches prior to their graduation. I argue that traditional forms of assessment and analysis emerging from individualized instruction models of learning cannot fully account for the dense configurations of social interactions identified in the Center's program. Instead, I view the Center as an open system and employ social theories of learning and literacy to uncover how the negotiation of meaning in one context influences and is influenced by structures and interactions within as well as beyond its boundaries. I focus on the program design, its enaction in practice, and how engagement in this type of writing center work influences coaches' learning trajectories. I conclude that, viewed as participation in a community of practice, the learning theory informing the program design supports identity formation —a key aspect of learning as argued by Etienne Wenger (1998). The findings of this study challenge misconceptions of peer learning both in writing centers and higher education that relegate peer tutoring to the role of support for individualized models of learning. Instead, this dissertation calls for consideration of new designs that incorporate peer learning as an integral component. Designing learning contexts that cultivate and support the formation of new identities is complex, involves a flexible and opportunistic design structure, and requires the availability of multiple forms of participation and connections across contexts.

Academic Writing & Publication: My Journey of Learning Through the Development of Articles from my Masters Thesis

Abstract: In this essay, I discuss how I turned my masters thesis into three peer reviewed publications and the lessons I learned about academic writing and publication in the process.

Integration of a Sedimentation Module to a Hydrologic Model and its Application to a Mercury TMDL Analysis

This research is part of continued efforts to correlate the hydrology of East Fork Poplar Creek (EFPC) and Bear Creek (BC) with the long term distribution of mercury within the overland, subsurface, and river sub-domains. The main objective of this study was to add a sedimentation module (ECO Lab) capable of simulating the reactive transport mercury exchange mechanisms within sediments and porewater throughout the watershed. The enhanced model was then applied to a Total Maximum Daily Load (TMDL) mercury analysis for EFPC. That application used historical precipitation, groundwater levels, river discharges, and mercury concentrations data that were retrieved from government databases and input to the model. The model was executed to reduce computational time, predict flow discharges, total mercury concentration, flow duration and mercury mass rate curves at key monitoring stations under various hydrological and environmental conditions and scenarios. The computational results provided insight on the relationship between discharges and mercury mass rate curves at various stations throughout EFPC, which is important to best understand and support the management mercury contamination and remediation efforts within EFPC.

Integration of a graph-based model indexer in commercial modelling tools

Softeam has over 20 years of experience providing UML-based modelling solutions, such as its Modelio modelling tool, and its Constellation enterprise model management and collaboration environment. Due to the increasing number and size of the models used by Softeam’s clients, Softeam joined the MONDO FP7 EU research project, which worked on solutions for these scalability challenges and produced the Hawk model indexer among other results. This paper presents the technical details and several case studies on the integration of Hawk into Softeam’s toolset. The first case study measured the performance of Hawk’s Modelio support using varying amounts of memory for the Neo4j backend. In another case study, Hawk was integrated into Constellation to provide scalable global querying of model repositories. Finally, the combination of Hawk and the Epsilon Generation Language was compared against Modelio for document generation: for the largest model, Hawk was two orders of magnitude faster.

Integration of oral health into primary care : a scoping review protocol

Integrated care has been introduced as a means of improving health outcomes and access to care, and reducing the cost of healthcare. Despite its importance, the integration of oral health into primary care is still an emerging healthcare pathway. This scoping review protocol has been developed and funded by the Canadian Institutes of Health Research to provide an evidence-based synthesis on a primary oral healthcare approach and its effectiveness in improving oral health outcomes.