Юрий Александрович Карпенко

Филология Украины понесла тяжелую утрату. Редколлегия журнала "Логос ономастики" с глубоким прискорбием извещает читателей о том, что 10 декабря 2009 года на 81 году жизни скончался выдающийся ученый, член-корреспондент Национальной Академии наук Украины, доктор филологических наук, профессор Одесского национального университета Юрий Александрович Карпенко

Ask-Elle:an Adaptable Programming Tutor for Haskell Giving Automated Feedback

Ask-Elle is a tutor for learning the higher-order, strongly-typed functional programming language Haskell. It supports the stepwise development of Haskell programs by verifying the correctness of incomplete programs, and by providing hints. Programming exercises are added to Ask-Elle by providing a task description for the exercise, one or more model solutions, and properties that a solution should satisfy. The properties and model solutions can be annotated with feedback messages, and the amount of flexibility that is allowed in student solutions can be adjusted. The main contribution of our work is the design of a tutor that combines (1) the incremental development of different solutions in various forms to a programming exercise with (2) automated feedback and (3) teacher-specified programming exercises, solutions, and properties. The main functionality is obtained by means of strategy-based model tracing and property-based testing. We have tested the feasibility of our approach in several experiments, in which we analyse both intermediate and final student solutions to programming exercises, amongst others

К всеобщим свойствам экономического пространства: науковедческий анализ

Определяются всеобщие свойства экономического пространства. Сделана попытка осмыслить современные тенденции в развитии экономической науки. Рассматриваются общие проблемы состояния и развития мировой экономики, ее глобализации.Визначено загальні властивості економічного простору. Зроблено спробу осмислити сучасні тенденції у поступі економічної науки. Розглядаються загальні проблеми стану та розвитку світової економіки, її глобалізації.The paper outlines general features of an economic area. A try is made to rethink latest tendencies in the stride of economic science. Also, broad problems related with the performance and globalization of worldwide economics are discussed

Разработка и применение современных лабораторных методов в эпидемиологическом мониторинге, диагностики и лечении энтеровирусных инфекций

У роботі проведена порівняльна оцінка специфічності й чутливості тест-системи ПЛР, зі специфічним праймером до ДНК 207 п.н. 5'-нетрансльованої області генома энтеровируса для всіх типів ентеровірусів (крім вірусу поліомієліту) у порівнянні із класичним культуральним методом. А також методологічний підхід спільного використання вищеописаної реакції ПЦР із визначенням антитіл класу Іg до вірусів Коксаки й ЕСНО у системі ІФА діагностики, розробленої авторами, і спектр застосування розробленого комплекс.In work the estimation of specificity and sensitivity of test system PTSR, with specific primers to DNA 207 n.n is spent comparative. 5 '-not broadcast areas генома an enterovirus for all types of enteroviruses (except a poliomyelitis virus) in comparison with classical the virology a method. And also the methodological approach of sharing of above described reaction PCR with definition of antibodies of a class ІgG to viruses Cocsaki and ЕСНО in system IFA of diagnostics developed by authors, and a spectrum of application of the developed complex

Eating disorders in weight-related therapy (EDIT): Protocol for a systematic review with individual participant data meta-analysis of eating disorder risk in behavioural weight management

The Eating Disorders In weight-related Therapy (EDIT) Collaboration brings together data from randomised controlled trials of behavioural weight management interventions to identify individual participant risk factors and intervention strategies that contribute to eating disorder risk. We present a protocol for a systematic review and individual participant data (IPD) meta-analysis which aims to identify participants at risk of developing eating disorders, or related symptoms, during or after weight management interventions conducted in adolescents or adults with overweight or obesity. We systematically searched four databases up to March 2022 and clinical trials registries to May 2022 to identify randomised controlled trials of weight management interventions conducted in adolescents or adults with overweight or obesity that measured eating disorder risk at pre- and post-intervention or follow-up. Authors from eligible trials have been invited to share their deidentified IPD. Two IPD meta-analyses will be conducted. The first IPD meta-analysis aims to examine participant level factors associated with a change in eating disorder scores during and following a weight management intervention. To do this we will examine baseline variables that predict change in eating disorder risk within intervention arms. The second IPD meta-analysis aims to assess whether there are participant level factors that predict whether participation in an intervention is more or less likely than no intervention to lead to a change in eating disorder risk. To do this, we will examine if there are differences in predictors of eating disorder risk between intervention and no-treatment control arms. The primary outcome will be a standardised mean difference in global eating disorder score from baseline to immediately post-intervention and at 6- and 12- months follow-up. Identifying participant level risk factors predicting eating disorder risk will inform screening and monitoring protocols to allow early identification and intervention for those at risk

Top quality type error Messages

Flaws in computer software are a fact of life, both in small and large-scale applications. Compilers for modern programming languages accommodate many program analyses for finding mistakes at compile-time (statically). These analyses detect a significant portion of errors automatically: this makes program analyses a valuable and indispensable tool for developing reliable, high quality software. Type checking is perhaps the most popular and best studied form of static analysis. This analysis guarantees that functions (or methods) are never applied to incompatible arguments, and is traditionally an important part of functional programming languages (e.g., ML and Haskell). One common feature of ML and Haskell is that they are implicitly typed: no type annotations in the program are required. Instead, these languages rely on an effective type inference algorithm, which automatically deduces all types. This inference algorithm has the pleasing property that it finds principal (or most general) types. In fact, the inference algorithm not only recovers type information, it also detects type inconsistencies in programs, which are generally caused by mistakes made by the programmer. In most compilers, however, the algorithm for type inference is not designed to provide good feedback, but rather focuses on performance. As a result, the type error messages that are reported by these algorithms can be difficult to understand, especially for beginning programmers. This thesis is entirely devoted to improve the type error messages for a functional programming language. Ideally, we should follow a human-like inference strategy, and depart from the mechanical order in which standard inference algorithms proceed. This entails, for example, a global analysis of a program, which depends on heuristics that capture expert knowledge. We may even anticipate common errors and provide additional information for special classes of mistakes. We have reached the above results by pursuing a constraint-based approach to type inference. The typing problem is first mapped to a set of type constraints, which is then passed to a specialized constraint solver. Because there is no best type inference algorithm that suits everyone, we present a parameterized framework, which can be instantiated and customized according to one's personal preferences. We propose a set of type inference directives to personalize the type inference process even further. Type inference directives change the error message facility, but without losing soundness of the underlying type system. For instance, these directives make it possible to phrase error messages in terms of a specific domain, which makes them very suitable for creating a close integration of the DSL and the host language. In addition, directives allow to tune the error messages to the level of expertise of a specific group of programmers. All type inference techniques that we propose have been implemented in the Helium compiler, which covers almost the entire Haskell 98 standard. This compiler has been used for the introductory functional programming courses at Utrecht University, by students without any prior knowledge of functional programming. The implementation affirms that our approach scales to a full-blown programming language