Towards CNC Programming Using Haskell
Recent advances in Computerized Numeric Control (CNC) have allowed the manufacturing of products with high quality standards. Since CNC programs consist of a series of assembler-like instructions, several high-level languages (e.g., AutoLISP, APL, OMAC) have been proposed to raise the programming abstraction level. Unfortunately, the lack of a clean semantics prevents the development of formal tools for the analysis and manipulation of programs. In this work, we propose the use of Haskell for CNC programming. The declarative nature of Haskell provides an excellent basis to develop program analysis and manipulation tools and, most importantly, to formally prove their correctness.
A survey on sleep assessment methods
Purpose A literature review is presented that aims to summarize and compare current methods to evaluate sleep. Methods Current sleep assessment methods have been classified according to different criteria; e.g., objective (polysomnography, actigraphy…) vs. subjective (sleep questionnaires, diaries…), contact vs. contactless devices, and need for medical assistance vs. self-assessment. A comparison of validation studies is carried out for each method, identifying their sensitivity and specificity reported in the literature. Finally, the state of the market has also been reviewed with respect to customers’ opinions about current sleep apps. Results A taxonomy that classifies the sleep detect…
Run-time profiling of functional logic programs
In this work, we introduce a profiling scheme for modern functional logic languages covering notions like laziness, sharing, and non-determinism. Firstly, we instrument a natural (big-step) semantics in order to associate a symbolic cost to each basic operation (e.g., variable updates, function unfoldings, case evaluations). While this cost semantics provides a formal basis to analyze the cost of a computation, the implementation of a cost-augmented interpreter based on it would introduce a huge overhead. Therefore, we also introduce a sound transformation that instruments a program such that its execution—under the standard semantics—yields not only the corresponding results but also the a…
An offline partial evaluator for curry programs
Narrowing-driven partial evaluation is a powerful technique for the specialization of functional logic programs. In this paper, we describe the implementation of a narrowing-driven partial evaluator for Curry programs which follows the offline approach to ensuring termination. Although the new partial evaluator is less precise than previous (online) partial evaluators for Curry, it is much faster and, thus, allows the specialization of larger programs.
Sleep assessment devices: types, market analysis, and a critical view on accuracy and validation
[EN] Introduction: Sleep assessment devices are essential for the detection, diagnosis, and monitoring of sleep disorders. This paper provides a state-of-the-art review and comparison of sleep assessment devices and a market analysis. Areas covered: Hardware devices are classified into contact and contactless devices. For each group, the underlying technologies are presented, paying special attention to their limitations. A systematic literature review has been carried out by comparing the most important validation studies of sleep tracking devices in terms of sensitivity and specificity. A market analysis has also been carried out in order to list the most used, best-selling, and most high…
Fast narrowing-driven partial evaluation for inductively sequential programs
Narrowing-driven partial evaluation is a powerful technique for the specialization of (first-order) functional and functional logic programs. However, although it gives good results on small programs, it does not scale up well to realistic problems (e.g., interpreter specialization). In this work, we introduce a faster partial evaluation scheme by ensuring the termination of the process offline . For this purpose, we first characterize a class of programs which are quasi-terminating , i.e., the computations performed with needed narrowing—the symbolic computation mechanism of narrowing-driven partial evaluation—only contain finitely many different terms (and, thus, partial evaluation termi…
Subjective and objective sleep quality in elderly individuals: The role of psychogeriatric evaluation
[EN] Aging affects sleep and sleep problems are common in older individuals. However, the relationship between objective and subjective tools for analysing sleep and psycho-geriatric variables have not been tested in institutionalised older individuals. This work analyses sleep quality by using actigraphy as an objective tool and validates the Athens and Oviedo sleep questionnaires in octogenarian elderly individuals as subjective scales of sleep perception. All patients wore an actigraph device for one week and then completed the Athens and Oviedo clinical sleep-evaluation questionnaires. Morning cortisol levels in blood plasma and saliva samples were also measured to assess the associatio…
A survey on sleep questionnaires and diaries.
[EN] Sleep assessment is a fundamental part of health evaluation. In fact, many diseases (such as obesity, diabetes, or hypertension, as well as psychiatric, neurological, and cardiovascular diseases) produce sleep disorders that are often used as indicators, diagnosis (symptoms), or even as predictors (eg, for depression) of health. For this reason, many efforts have been devoted to designing methods to control and report on sleep quality. Two of the most used sleep assessment tools are sleep questionnaires and sleep diaries. Both methods have a very low cost are easy to administer do not require a sleep centre (unlike, eg, polysomnography), and can be self-administered. Most important, as…