This demo paper presents a design and implementation of system AnomalyKiTS for detecting anomalies from time series data the purpose offering broad range algorithms to end user, with special focus on unsupervised/semi-supervised learning. Given an input series, provides four categories model building capabilities followed by enrichment module that helps label anomaly. also supports wide executi...

Effective collaborative design and engineering has to deal with various challenges. It is essential to create a shared understanding and facilitate interaction in such a way that effective collaboration becomes possible. Free riding, group think or hidden agendas need to be addressed by rarely available process facilitators. Available tools are not regularly used, are not intuitive and often ar...

Virtual power plant (VPP) can be studied to investigate how energy is purchased or sold in the presence of electricity market price uncertainty. The VPP uses different intermittent distributed sources such as wind turbine, flexible loads, and locational marginal prices (LMPs) in order to obtain profit. VPP should propose bidding/offering curves to buy/sell from/to day-ahead market. In this pape...

Spot is a C++ library offering model checking bricks that can be combined and interfaced with third party tools to build a model checker. It relies on Transition-based Generalized Büchi Automata (TGBA) and does not need to degeneralize these automata to check their emptiness. We motivate the choice of TGBA by illustrating a very simple (yet efficient) translation of LTL into TGBA. We then show ...

BACKGROUND Threshold loading with the Nickerson and Keens' device is frequently applied in the training and assessment of inspiratory muscles. However, this equipment is not easily applied in clinical practice and training. A study was therefore designed to investigate the accuracy and reliability of the Threshold, a commercially available threshold loading device. METHODS The resolution (acc...

We present prominent features of AUTOFOCUS, a tool prototype for the formally based development of reactive systems. AUTOFOCUS supports system development offering integrated, comprehensive and mainly graphical description techniques to specify both different views and different levels of abstraction of the system. To avoid illdefined specifications, consistency conditions on these system descr...

Learner-centered education becomes more and more popular. One way of offering learner-centered education is to have assignments where learners can select from a pool of learning tasks with different difficulty levels (e.g., many easy tasks, few challenging tasks, etc.). However, a problem that learners can face in such assignments is to select the tasks that are most appropriate for them. In th...

Robotic devices for movement therapy are moving closer to becoming commercially available tools for aiding in stroke rehabilitation. Robotic technology offers a range of functions that will augment current clinical practice by leveraging therapists' time, cost effectively extending therapy programs, providing new measures of impairment, and offering new therapy protocols. In this article, we re...

YCVN is a national project promoting listening within the early years. the network supports local authorities in developing good practice in listening to young children, so that young children’s views may inform policy and improve early childhood services. Local authorities across the country have established local networks that focus on developing a listening culture. these networks support pr...