Pirouette: higher-order typed functional choreographies

We present Pirouette, a language for typed higher-order functional choreographic programming. Pirouette offers programmers the ability to write a centralized functional program and compile it via endpoint projection into programs for each node in a distributed system. Moreover, Pirouette is defined generically over a (local) language of messages, and lifts guarantees about the message type system to its own. Message type soundness also guarantees deadlock freedom. All of our results are verified in Coq.

Analysis of functional program of the building designed for pupils on the autism spectrum disorder, case study of Acland Burghley Resources Centre, London

The article is a case study for Acland Burghley Resources Centre designed by Christopher Beaver and GA Architects for up to 20 pupils on the autism spectrum disorder. This is the inclusive regular school for 1265 students in London, built in 2011. The small part of the building was designed according to the theory developed by Beaver for students on ASD. The school was classified in third place according to Autism ASPECTSS Scores (Mostafa, 2015, p. 67) developed by Magda Mostafa, professor at the American University of Cairo. The case study is based on the diagrams presented in the article which were prepared on the basis of project documentation and photos of the building provided by the architectural office. These materials were prepared to survey opinions of autism therapists on the impact of individual building elements on people on ASD. Pupils on the autism spectrum have problems with the perception of many stimuli such as light, acoustic, aromatic, and tactile stimuli. It is important that autistic students who cannot cope with the mainstream school have an independent part of the building with the outdoor decking, social area, learning spaces, 1 to 1 activity rooms, seating spots, and escape personal spaces. The architect designed a calm space in which students feel sensory comfort and can improve their cognitive abilities. These were achieved with indirect light, neutral colours, matte textures, and curved walls. The interdisciplinary research proves that the functional and spatial solutions which are provided in Burghley Resources Centre are appropriate for the therapeutic purpose and support the therapy.

Ecological Culture of Modern Russian Society: on the Threshold of the Gnoseological Paradigm

Introduction. The strategy of sustainable socio-economic development of the Russian Federation in the conditions of steadily growing political and macroeconomic turbulence poses the problem of the formation of a new modern type of ecological culture, adequate to the consequences of the global ecological crisis. The purpose of the article is to substantiate the need for a worldview rethinking of the essence, content and role of ecological culture in the development of modern Russian society. Materials and Methods. The study used axiological, dialectical, structural-functional, program-targeted and hermeneutic methods of analysis and assessment of the phenomenon of ecological culture, as well as interdisciplinary and problem approaches in the reconstruction of the processes of its development and improvement. Results. The article analyzes the problem of the formation of modern ecological culture in the conditions of macroeconomic uncertainty and instability, taking into account the specific tasks facing the state environmental policy. The concepts of “ecological culture” and “creative economy”, “ecological production” and “ecological management” are correlated. The main elements of ecological culture and theoretical and methodological approaches to its study in Russian and world science, as well as the main trends in its development, are revealed. The authors formulated the idea of the need for a moral and ethical rethinking of the phenomenon of ecological culture within the framework of economic science and overcoming its narrowly technocratic interpretation. Methods are shown and estimates of the nature and dynamics of development of ecological culture in modern conditions are given. Discussion and Conclusion. Based on the use of the conceptual provisions of social philosophy, philosophy of culture, philosophy of science and political economy (the ideas of autopoiesis by N. Luhmann, scientific paradigms of N. Wiener and T. Kuhn, economic ethics of A. Smith, a new model of rapidly reacting production by R. Suri, noonomy of S. Bodrunov and others) formulated specific recommendations for the formation of a new type of ecological culture, corresponding to a new social reality. The content of the modern paradigm in the development of ecological culture as a process of moving away from the cult of consumption to the principle of expanded reproduction of the environment is revealed.

Why we use Django rather than Flask in Asset Management System

Python provide number of frameworks for web development and other applications by Django, Flask, Bottle, Web2py, CherryPy and many more. Frameworks are efficient and versatile to build, test and optimize software. A web framework is a collection of package or module which allows us to develop web applications or services. It provides a foundation on which software developers can built a functional program for a specific platform. The main purpose of this study about python framework is to analyze which is better framework among Django or flask for web development. The study implement a practical approach on PyCharm. The result of this study is - “Django is better than flask”.

POS1451 DEVELOPING A TOOL TO MEASURE THE LEARNING CURVE: ENTHESITIS ULTRASOUND IN PSORIASIS ARTHRITIS

Background:Enthesitis is defined as inflammation of the tendon inserting the bone encompassing the adjacent trabecular bone network, the fascia and surrounding soft tissues as the cartilage, the bursa and the fat pad. In enthesitis clinical examination alone is a method with significant limitations in terms of diagnostic accuracy and does not correlate strongly with imaging diagnostics (1,2).Ultrasound (US) is a widely used imaging technique in Rheumatology. But while learning curricula and standardization for joint US are available, other US techniques as vascular-, enthesis- or serosa-US gets usually less attention in rheumatologic US curricula. Though both OMERACT (4) and GRAPPA (3) have recently published qualitative and semi quantitative criteria in enthesitis US, few publications explicitly address the learning curves in these particular domain.Objectives:To describe the development of a tool to measure the learning curve for enthesitis US.Methods:3237 US images of 561 enthesis were obtained by one experienced ultrasonographer (PMA) in B- and color Doppler (CD) mode in longstanding psoriasis arthritis patients of different disease activity. Due to duplicity and poorer image quality 2115 images were eliminated. The remaining fully anonymized 1122 images (561 enthesis) were afterward implemented in a random multiple choice algorithm presenting a B-mode and a CD image of the same enthesis at the same time without timely limitation. Rating follows qualitative GRAPPA criteria as well as semiquantitative OMERACT criteria (3, 4). The enthesitis scoring application was than written in.NET/ C#, TypeScript and ReactJS and is hosted in Azure Cloud platform. The scoring is stored in a database allowing extraction to SPSS for statistical analysis.Results:The interface of the functional program is shown in image 1 (Screenshot). In a next step the program will be presented to different raters of different ultrasound experience (>10 years, 5-10 years, 1-5 years, <1 years). The program will be presented a multitude of times in different order to every rater to adjust for inter-rater reliability. Correlation between raters will be given to depict a learning curve on enthesitis ultrasound assuming the rater with the highest experience as gold standard.Image 1.Screenshot of grafical user interface of the scoring program.Conclusion:In this presentation we outline the successful development of a tool to measure the learning curve in enthesitis. We hypothesize that knowledge about the learning curve and inter-rater reliability in enthesitis US obtained by our tool might contribute to future US curricula, structured reporting and deep learning algorithms.References:[1]Achilles enthesitis defined by ultrasound is not associated with clinical enthesitis in patients with psoriatic arthritis, Brigitte Michelsen et al. RMD Open 2017;3[2]Ultrasonographic evaluation in psoriatic arthritis is of major importance in evaluating disease activity Brigitte Michelsen et al. Annals of the Rheumatic Diseases 12(2108-2113)[3]Development of a Preliminary Ultrasonographic Enthesitis Score in Psoriatic Arthritis -GRAPPA Ultrasound Working Group, Stephanie Tom et al. The Journal of Rheumatology; 4(384-390)[4]Reliability of a consensus-based ultrasound definition and scoring for enthesitis in spondyloarthritis and psoriatic arthritis: an OMERACT US initiative, Peter V Balint et al. Annals of the Rheumatic Diseases, 12(1730-1735)Disclosure of Interests:None declared

A Formal Framework of Software Product Line Analyses

A number of product-line analysis approaches lift analyses such as type checking, model checking, and theorem proving from the level of single programs to the level of product lines. These approaches share concepts and mechanisms that suggest an unexplored potential for reuse of key analysis steps and properties, implementation, and verification efforts. Despite the availability of taxonomies synthesizing such approaches, there still remains the underlying problem of not being able to describe product-line analyses and their properties precisely and uniformly. We propose a formal framework that models product-line analyses in a compositional manner, providing an overall understanding of the space of family-based, feature-based, and product-based analysis strategies. It defines precisely how the different types of product-line analyses compose and inter-relate. To ensure soundness, we formalize the framework, providing mechanized specification and proofs of key concepts and properties of the individual analyses. The formalization provides unambiguous definitions of domain terminology and assumptions as well as solid evidence of key properties based on rigorous formal proofs. To qualitatively assess the generality of the framework, we discuss to what extent it describes five representative product-line analyses targeting the following properties: safety, performance, dataflow facts, security, and functional program properties.

PRACTICE OF USING DATABASES AND GIS-INFORMATION IN ORDER TO PERPETUATE NAMES OF SOLDIERS OF THE GREAT PATRIOTIC WAR

В условиях изменения состава общедоступных программных средств разработана функциональная программа навигации по картам Великой Отечественной войны, а также довоенным и послевоенным картам на основе библиотеки Leaflet. С целью восполнения неучтенных данных в карте боевого пути дивизий в системе «Память народа» предложено использовать данные из донесениий. Методика выявления данных о гибели воинов, считающихся пропавшими без вести, основывается на временном, пространственном и атрибутивном сопоставлении данных из различных архивных документов с использованием баз данных систем «Мемориал» и «Память народа», адаптированных в ГИС военных и современных карт. In the context of changing the composition of publicly available software, a functional program for navigating the maps of the Great Fatherland War, as well as pre-war and post-war maps based on the Leaflet library, was worked out. In order to make up for unaccounted data in the combat path map of divisions in the Memory of the People system, it was proposed to use data from reports. The methodology for identifying data on the death of warriors considered missing is based on the temporal, spatial and attributive comparison of data from various archival documents using the databases of the Memorial and Memory of the People systems adapted in the GIS of military and modern maps.

Nanoscale programming of cellular and physiological phenotypes: inorganic meets organic programming

The advent of protein design in recent years has brought us within reach of developing a “nanoscale programing language,” in which molecules serve as operands with their conformational states functioning as logic gates. Combining these operands into a set of operations will result in a functional program, which is executed using nanoscale computing agents (NCAs). These agents would respond to any given input and return the desired output signal. The ability to utilize natural evolutionary processes would allow code to “evolve” in the course of computation, thus enabling radically new algorithmic developments. NCAs will revolutionize the studies of biological systems, enable a deeper understanding of human biology and disease, and facilitate the development of in situ precision therapeutics. Since NCAs can be extended to novel reactions and processes not seen in biological systems, the growth of this field will spark the growth of biotechnological applications with wide-ranging impacts, including fields not typically considered relevant to biology. Unlike traditional approaches in synthetic biology that are based on the rewiring of signaling pathways in cells, NCAs are autonomous vehicles based on single-chain proteins. In this perspective, I will introduce and discuss this new field of biological computing, as well as challenges and the future of the NCA. Addressing these challenges will provide a significant leap in technology for programming living cells.