Creating awareness of kinaesthetic learning using the Experience API: current practices, emerging challenges, possible solutions

We describe our use of the Experience API in preparing blue-collar workers for three frequently arising work contexts, including, for example, the requirement to perform maintenance tasks exactly as specified, consistently, quickly, and without error. We provide some theoretical underpinning for modifying and updating the API to remain useful in near-future training scenarios, such as having a shorter time allowed for kinaesthetic learning experiences than in traditional apprenticeships or training. We propose ways to involve a wide range of stakeholders in appraising the API and ensuring that any enhancements to it, or add-ons, are useful, feasible and compatible with current TEL practices and tools, such as learning-design modelling languages

Hikester - the event management application

Today social networks and services are one of the most important part of our everyday life. Most of the daily activities, such as communicating with friends, reading news or dating is usually done using social networks. However, there are activities for which social networks do not yet provide adequate support. This paper focuses on event management and introduces "Hikester". The main objective of this service is to provide users with the possibility to create any event they desire and to invite other users. "Hikester" supports the creation and management of events like attendance of football matches, quest rooms, shared train rides or visit of museums in foreign countries. Here we discuss the project architecture as well as the detailed implementation of the system components: the recommender system, the spam recognition service and the parameters optimizer

Patient acceptability, safety and access : A balancing act for selecting age-appropriate oral dosage forms for paediatric and geriatric populations

© 2017 Elsevier B.V. All rights reserved.The selection and design of age-appropriate formulations intended for use in paediatric and geriatric patients are dependent on multiple factors affecting patient acceptability, safety and access. The development of an economic and effective product relies on a balanced consideration of the risks and benefits of these factors. This review provides a comprehensive and up-to-date analysis of oral dosage forms considering key aspects of formulation design including dosage considerations, ease of use, tolerability and safety, manufacturing complexity, stability, supply and cost. Patient acceptability has been examined utilising an evidence-based approach to evaluate regulatory guidance and literature. Safety considerations including excipients and potential risk of administration errors of the different dosage forms are also discussed, together with possible manufacturing and supply challenges. Age appropriate drug product design should consider and compare i) acceptability ii) safety and iii) access, although it is important to recognise that these factors must be balanced against each other, and in some situations a compromise may need to be reached when selecting an age-appropriate formulation.Peer reviewedFinal Accepted Versio

Multiplierz: An Extensible API Based Desktop Environment for Proteomics Data Analysis

BACKGROUND. Efficient analysis of results from mass spectrometry-based proteomics experiments requires access to disparate data types, including native mass spectrometry files, output from algorithms that assign peptide sequence to MS/MS spectra, and annotation for proteins and pathways from various database sources. Moreover, proteomics technologies and experimental methods are not yet standardized; hence a high degree of flexibility is necessary for efficient support of high- and low-throughput data analytic tasks. Development of a desktop environment that is sufficiently robust for deployment in data analytic pipelines, and simultaneously supports customization for programmers and non-programmers alike, has proven to be a significant challenge. RESULTS. We describe multiplierz, a flexible and open-source desktop environment for comprehensive proteomics data analysis. We use this framework to expose a prototype version of our recently proposed common API (mzAPI) designed for direct access to proprietary mass spectrometry files. In addition to routine data analytic tasks, multiplierz supports generation of information rich, portable spreadsheet-based reports. Moreover, multiplierz is designed around a "zero infrastructure" philosophy, meaning that it can be deployed by end users with little or no system administration support. Finally, access to multiplierz functionality is provided via high-level Python scripts, resulting in a fully extensible data analytic environment for rapid development of custom algorithms and deployment of high-throughput data pipelines. CONCLUSION. Collectively, mzAPI and multiplierz facilitate a wide range of data analysis tasks, spanning technology development to biological annotation, for mass spectrometry-based proteomics research.Dana-Farber Cancer Institute; National Human Genome Research Institute (P50HG004233); National Science Foundation Integrative Graduate Education and Research Traineeship grant (DGE-0654108

Gradual Liquid Type Inference

Liquid typing provides a decidable refinement inference mechanism that is convenient but subject to two major issues: (1) inference is global and requires top-level annotations, making it unsuitable for inference of modular code components and prohibiting its applicability to library code, and (2) inference failure results in obscure error messages. These difficulties seriously hamper the migration of existing code to use refinements. This paper shows that gradual liquid type inference---a novel combination of liquid inference and gradual refinement types---addresses both issues. Gradual refinement types, which support imprecise predicates that are optimistically interpreted, can be used in argument positions to constrain liquid inference so that the global inference process e effectively infers modular specifications usable for library components. Dually, when gradual refinements appear as the result of inference, they signal an inconsistency in the use of static refinements. Because liquid refinements are drawn from a nite set of predicates, in gradual liquid type inference we can enumerate the safe concretizations of each imprecise refinement, i.e. the static refinements that justify why a program is gradually well-typed. This enumeration is useful for static liquid type error explanation, since the safe concretizations exhibit all the potential inconsistencies that lead to static type errors. We develop the theory of gradual liquid type inference and explore its pragmatics in the setting of Liquid Haskell.Comment: To appear at OOPSLA 201

TechNews digests: Jan - Mar 2010

TechNews is a technology, news and analysis service aimed at anyone in the education sector keen to stay informed about technology developments, trends and issues. TechNews focuses on emerging technologies and other technology news. TechNews service : digests september 2004 till May 2010 Analysis pieces and News combined publish every 2 to 3 month

A design-for-casting integrated approach based on rapid simulation and modulus criterion

This paper presents a new approach to the design of cast components and their associated tools. The current methodology is analysed through a case study and its main disadvantages underlined. Then, in order to overcome these identified drawbacks, a new approach is proposed. Knowing that this approach is mainly based on a rapid simulation of the process, basics of a simplified physical model of solidification are presented as well as an associated modulus criterion. Finally, technical matters for a software prototype regarding the implementation of this Rapid Simulation Approach (RSA) in a CAD environment are detailed

An Innovative Take on Filtering Carbon Dioxide Through CryoCapture

Overview (Air Mover): Carbon dioxide plays an important role in the earth's ecosystem; the lives of many organisms are based on the balancing of this gas. Plants and animals need it for survival however, an excess of carbon dioxide can also end the organism’s life. The production of the gas mostly comes from the combustion of fossil fuel, power plants, big industries, vehicles, and processes involving natural gasses. One of the most known issues of carbon dioxide pollution is global warming. The greenhouse gas essentially traps heat in the atmosphere, increasing the global temperature. The methodology provided is an innovative solution towards the creation of an environmentally friendly carbon dioxide filter. Current air filtration systems are restricted to industrial environments limiting the ability to filter the air. Due to the large noise and low range of operation of axial fans the filtration systems need controlled environments for longevity. The paper presents a versatile air mover that can be mounted onto multiple surfaces due to its low profile and bracket mounts. Furthermore, the usage of a diagonal fan inside of a PVC pipe allows for a durable system that can operate at high efficiency and low noise. The main challenge in designing the air mover was figuring out how to quantify the scalability of the device and what parameters could be changed in order to make the device more viable. The designs most prominent feature are the inclusion of a modular enclosure that can be adapted to multiple areas and environments while withstanding harsh conditions due to the PVC piping that can be coated with a diagonal fan for high volumetric flow rates and pressure differential for versatility in environments the device is placed in as well as efficiency. Overview (Carbon Storer): The Civil and Environmental Engineering team is responsible for finding a cost effective and sustainable way to transport, store and recycle the carbon caught in the air from the Carbon Catcher designed by the other engineering teams. In the team’s design, the Carbon Catcher will reduce the harmful emissions in the air by capturing CO2, store it and then utilize it in another industry which will reduce the need to mine for more raw materials which would thus further reduce the pollution emitted into the environment. Our plan is to recycle the carbon emitted from a factory and utilize it in CO2 dry ice. It's the Civil and Environmental Engineers’ job to find a way to connect a sustainable solution with a solution that improves the public’s quality of life. There are many industries that pollute immense amounts from the mining of raw material or the emission of pollutants. The team wants to show industries that the economic solution can also be the sustainable solution. Overview (Membrane) The team’s solution focuses on the use of cryogenic carbon capture, a method in which the selective freezing points of the gaseous components of air are used to separate out carbon dioxide. For this process, the team will be utilizing a 4 step filtration process. First, the flue gas will be run through a particulate filter to catch all macroscopic particles that may be present within the air. Afterwards, the gas is then passed through a dehumidifier where a majority of water content will be extracted. Following this, The gas was then run through a long pipe and progressively cool it down to the freezing point of carbon dioxide. Finally, the filtered gas is extracted, and a bubbler is used to separate the solid carbon dioxide. The carbon dioxide is then compressed and recycled around the feed pipe to help in the cooling process. Along the process of this design, the team encountered problems finding the optimum materials for temperatures this low. As well, coming up with a way to eliminate heat transfer from the outside posed a huge problem. Through the experience, the team was able to gain a greater view of what benefits and drawbacks must be balanced, along with the economic interest that comes with designing an efficient process. Unlike how most designs are focused, It was understood that using a membrane only provided so much creativity when it came to filtration. As a result, the team researched other successful methods and arrived at utilizing cryogenics to filter. Goal Research to provide a single solution to remove levels of carbon dioxide in the immediate atmosphere, transport it to a storage mechanism, and find a way to recycle it. Powerful research is required to ensure effective methodologies, material usage, and flexible scalability of the overall device. This particular team seeks to find an alternative separation process to membrane filtration, the efficacy of which has not been demonstrated beyond the scale of a laboratory