Decision Algorithms for Checking Definability of Order-2 Finitary PCF

2015 ◽  
pp. 313-331
Author(s):  
Sadaaki Kawata ◽  
Kazuyuki Asada ◽  
Naoki Kobayashi
Keyword(s):  
Decision Algorithms

scholarly journals GLSCH: OBSERVATION SCHEDULER FOR THE GLORIA TELESCOPE NETWORK

2019 ◽  
Vol 51 ◽  
pp. 111-115
Author(s):  
C. López-Casado ◽  
C. J. Pérez del Pulgar ◽  
E. Fernández ◽  
V. F. Muñoz ◽  
A. Castro-Tirado
Keyword(s):  
Fuzzy Logic ◽  
Weather Forecast ◽  
Design And Development ◽  
Decision Algorithm ◽  
Decision Algorithms

This paper proposes the design and development of a scheduler for the GLORIA telescope network. This network, which main objective is to make astronomy closer to citizens in general, is formed by 18 telescopes spread over four continents and both hemispheres. Part of the management of this network is made by the network scheduler. It receives the observation requests made by the GLORIA users and then sends it to the most suitable telescope. A key module of the network scheduler is the telescope decision algorithm that makes possible to choose the best telescope, and thus avoiding offering an observation to a telescope that cannot execute it. This paper shows two different telescope decision algorithms: the first one is only based on weather forecast, meanwhile the second one uses fuzzy logic and information from each network telescope. Both algorithms were deployed in the GLORIA network. The achieved results coupled with a comparative of their performance is shown. Moreover, the network scheduler architecture, based on a hybrid distributed-centralized schema, is detailed.

scholarly journals Architectural concepts for managing biomedical sensor data utilised for medical diagnosis and patient remote care.

2018 ◽  
Vol 210 ◽  
pp. 05016
Author(s):  
Mariusz Chmielewski ◽  
Damian Frąszczak ◽  
Dawid Bugajewski
Keyword(s):  
Data Processing ◽  
Data Acquisition ◽  
Large Scale ◽  
Data Representation ◽  
Medical Diagnostics ◽  
Mobile Technologies ◽  
Sensor Data ◽  
Biomedical Data ◽  
Support Tool ◽  
Decision Algorithms

This paper discusses experiences and architectural concepts developed and tested aimed at acquisition and processing of biomedical data in large scale system for elderly (patients) monitoring. Major assumptions for the research included utilisation of wearable and mobile technologies, supporting maximum number of inertial and biomedical data to support decision algorithms. Although medical diagnostics and decision algorithms have not been the main aim of the research, this preliminary phase was crucial to test capabilities of existing off-the-shelf technologies and functional responsibilities of system’s logic components. Architecture variants contained several schemes for data processing moving the responsibility for signal feature extraction, data classification and pattern recognition from wearable to mobile up to server facilities. Analysis of transmission and processing delays provided architecture variants pros and cons but most of all knowledge about applicability in medical, military and fitness domains. To evaluate and construct architecture, a set of alternative technology stacks and quantitative measures has been defined. The major architecture characteristics (high availability, scalability, reliability) have been defined imposing asynchronous processing of sensor data, efficient data representation, iterative reporting, event-driven processing, restricting pulling operations. Sensor data processing persist the original data on handhelds but is mainly aimed at extracting chosen set of signal features calculated for specific time windows – varying for analysed signals and the sensor data acquisition rates. Long term monitoring of patients requires also development of mechanisms, which probe the patient and in case of detecting anomalies or drastic characteristic changes tune the data acquisition process. This paper describes experiences connected with design of scalable decision support tool and evaluation techniques for architectural concepts implemented within the mobile and server software.

Sign in / Sign up

Export Citation Format

Share Document