Search results for "computer.programming_language"
showing 10 items of 986 documents
Graphical modeling and query language for hospitals
2013
Abstract Background So far there has been little evidence that implementation of the health information technologies (HIT) is leading to health care cost savings. One of the reasons for this lack of impact by the HIT likely lies in the complexity of the business process ownership in the hospitals. The goal of our research is to develop a business model-based method for hospital use which would allow doctors to retrieve directly the ad-hoc information from various hospital databases. Methods We have developed a special domain-specific process modelling language called the MedMod. Formally, we define the MedMod language as a profile on UML Class diagrams, but we also demonstrate it on example…
Method for Estimating the Manual Nesting Process Efficiency for Profiling Machines, Based upon Image Processing Techniques
2015
The paper presents a method for estimating the efficiency of the manual nesting process. By using the graphic file generated during the nesting process and using image processing techniques, the method allows the user to calculate the percentage of material used for manufacturing the parts. The method combines a manual approach - the user has to select some specific points on the graphic file with the mouse, with some image processing algorithms form Matlab software package.
And Now for Something Completely Different: Running Lisp on GPUs
2018
The internal parallelism of compute resources increases permanently, and graphics processing units (GPUs) and other accelerators have been gaining importance in many domains. Researchers from life science, bioinformatics or artificial intelligence, for example, use GPUs to accelerate their computations. However, languages typically used in some of these disciplines often do not benefit from the technical developments because they cannot be executed natively on GPUs. Instead existing programs must be rewritten in other, less dynamic programming languages. On the other hand, the gap in programming features between accelerators and common CPUs shrinks permanently. Since accelerators are becomi…
DEXML: A First Step Toward a UML Based Implementation Framework for PLCS
2011
Data exchange specifications not only must be broad and general to achieve acceptance, but also must be customizable in a controlled and interoperable manner to be useful. The Product Life Cycle Support (PLCS) suite of data exchange specifications (known as DEXs) uses templates to enable controlled customizability without sacrificing breadth or interoperability. DEXs are business context-specific subsets of ISO 10303 Application Protocol (AP) 239, subject to additional constraints imposed by the templates. A PLCS template defines how AP239 entities and their attributes will be instantiated using an externally-defined controlled vocabulary defined in a Reference Data Library. Template instan…
From Requirements to Code in a Model Driven Way
2010
Though there is a lot of support for model driven development the support for complete model driven path from requirements to code is limited. The approach proposed in this paper offers such a path which is fully supported by model transformations. The starting point is semiformal requirements containing behaviour description in a controlled natural language. A chain of models is proposed including analysis, platform independent and platform specific models. A particular architecture style is chosen by means of selecting a set of appropriate design patterns for these models. It is shown how to define informally and then implement in model transformation language MOLA the required transforma…
Statechart-based design controllers for FPGA partial reconfiguration
2015
Statechart diagram and UML technique can be a vital part of early conceptual modeling. At the present time there is no much support in hardware design methodologies for reconfiguration features of reprogrammable devices. Authors try to bridge the gap between imprecise UML model and formal HDL description. The key concept in author's proposal is to describe the behavior of the digital controller by statechart diagrams and to map some parts of the behavior into reprogrammable logic by means of group of states which forms sequential automaton. The whole process is illustrated by the example with experimental results.
OpenTIMS, TimsPy, and TimsR: Open and Easy Access to timsTOF Raw Data
2021
The Bruker timsTOF Pro is an instrument that couples trapped ion mobility spectrometry (TIMS) to high-resolution time-of-flight (TOF) mass spectrometry (MS). For proteomics, lipidomics, and metabolomics applications, the instrument is typically interfaced with a liquid chromatography (LC) system. The resulting LC-TIMS-MS data sets are, in general, several gigabytes in size and are stored in the proprietary Bruker Tims data format (TDF). The raw data can be accessed using proprietary binaries in C, C++, and Python on Windows and Linux operating systems. Here we introduce a suite of computer programs for data accession, including OpenTIMS, TimsR, and TimsPy. OpenTIMS is a C++ library capable …
A Matlab based interface for infrared thermographic diagnosis of pediatric musculoskeletal injuries
2016
Abstract Background and objective One of the main causes of emergency medical consultations done by children are musculoskeletal injures. In such cases, radiological tests are a common practice to diagnose the gravity of the trauma and determine the likely existence of a fracture. In order to avoid, or at least to reduce, the use of ionizing radiations with children, the infrared thermographic technique was studied as an alternative solution, since it is a non-harmful, non-invasive and non-contact technique, without excessive technical complications and moderate cost when compared to other types of imaging tools. Methodology When an infrared thermographic diagnostic test is performed, and o…
The Life, Death and Miracles of Alan Mathison Turing
2010
The life of Alan Turing is described in many biographies. The best and most encyclopaedic of these is that of Andrew Hodges; quite pleasant is the agile volume by Gianni Rigamonti, Turing, il genio e lo scandalo (Flaccovio editore, Palermo, 1991). Both of these also make mention of his tragic end, which certainly casts a shadow on the mores English society at the time; but of course, who knows how other societies might have behaved?
Two pathways, one patient; UK asthma guidelines
2018
The first widely disseminated ‘asthma guideline’ came out of Australia and New Zealand in 1989,1 followed shortly by the British Thoracic Society (BTS) in 1990,2 the United States National Heart, Lung, and Blood Institute Expert Panel Report in 19913 and the Global Initiative for Asthma (GINA) strategy document in 1995.4 All have benefited from regular updates, the BTS collaborating with the Scottish Intercollegiate Guideline Network (SIGN) since 2003, most recently in 2016.5 Each new iteration of the asthma guidelines was written by experts in the field and based on best available evidence. It is not known whether these guidelines (or any others) have improved the care of people with asthm…