Search results for "software engineering"
showing 10 items of 1151 documents
Decoding Children's Social Behavior
2013
We introduce a new problem domain for activity recognition: the analysis of children's social and communicative behaviors based on video and audio data. We specifically target interactions between children aged 1-2 years and an adult. Such interactions arise naturally in the diagnosis and treatment of developmental disorders such as autism. We introduce a new publicly-available dataset containing over 160 sessions of a 3-5 minute child-adult interaction. In each session, the adult examiner followed a semi-structured play interaction protocol which was designed to elicit a broad range of social behaviors. We identify the key technical challenges in analyzing these behaviors, and describe met…
Big Data in metagenomics: Apache Spark vs MPI.
2020
The progress of next-generation sequencing has lead to the availability of massive data sets used by a wide range of applications in biology and medicine. This has sparked significant interest in using modern Big Data technologies to process this large amount of information in distributed memory clusters of commodity hardware. Several approaches based on solutions such as Apache Hadoop or Apache Spark, have been proposed. These solutions allow developers to focus on the problem while the need to deal with low level details, such as data distribution schemes or communication patterns among processing nodes, can be ignored. However, performance and scalability are also of high importance when…
Self-conscious robotic system design process-from analysis to implementation
2011
Developing robotic systems endowed with self-conscious capabilities means realizing complex sub-systems needing ad-hoc software engineering techniques for their modelling, analysis and implementation. In this chapter the whole process (from analysis to implementation) to model the development of self-conscious robotic systems is presented and the new created design process, PASSIC, supporting each part of it, is fully illustrated. © 2011 Springer Science+Business Media, LLC.
Development of Applications for Interactive and Reproducible Research: a Case Study
2016
For a proper understanding of the organization and regulation of gene expression, the computational analysis is an essential component of the scientific workflow, and this is particularly true in the fields of biostatistics and bioinformatics. Interactivity and reproducibility are two highly relevant features to consider when adopting or designing a tool, and often they can not be provided simultaneously.In this work, we address the issue of developing a framework that can provide interactive analysis, in order to allow experimentalists to fully exploit advanced software tools, as well as reproducibility as an internal validation of the analysis steps, by providing the underlying code and d…
Temperature-induced microstructural changes in shells of laboratory-grown Arctica islandica (Bivalvia).
2021
Bivalve shells are increasingly used as archives for high-resolution paleoclimate analyses. However, there is still an urgent need for quantitative temperature proxies that work without knowledge of the water chemistry–as is required for δ18O-based paleothermometry–and can better withstand diagenetic overprint. Recently, microstructural properties have been identified as a potential candidate fulfilling these requirements. So far, only few different microstructure categories (nacreous, prismatic and crossed-lamellar) of some short-lived species have been studied in detail, and in all such studies, the size and/or shape of individual biomineral units was found to increase with water temperat…
Preoperative preparation of «loss of domain» hernia. Progressive pneumoperitoneum and botulinum toxin type A.
2017
Preoperative progressive pneumoperitoneum and botulinum toxin type A are useful tools in the preparation of patients with loss of domain hernias. Both procedures are complementary in the surgical repair, especially with the use of prosthetic techniques without tension, that allow a integral management of these patients. The aim of this paper is to update concepts related to both procedures, emphasizing the advantages that take place in the preoperative management of loss of domain hernias.
Multiagent System for Detecting and Solving Design-Time Conflicts in Civil Infrastructure
2012
One typical source of problems in the Civil Infrastructure domain is the distributed and collaborative nature of the projects in which different profiles of engineers contribute with designs devoted to the interest of their field of expertise. Thus, situations in which there are different conflicts of interests are quite common. A conflict refers to a situation in which the actions of an engineer collide with the interests of other engineers. In this paper, we present a multi-agent system that, thanks to the use of ontologies and rules on those ontologies, is able to detect profilespecific conflict situations and solve them according to the preferences of the parties involved in the conflic…
Specification of Business Components
2003
Component-based software development is a potential reuse paradigm for the future. While the required technologies for a component-style system development are widely available, for instance Sun's Enterprise Java Beans, a problem inhibits the breakthrough of the component paradigm in business applacation domains: compared to traditional engineering disciplines there is a lack of standardized methods to describe business components. Such a description has to address several aspects: What services are offered and requested by a business component? How can these services be used? Are there any interdependencies between the services of a set of business components? What quality characteristics …
Business Modelling. Languages and Tools
2004
The paper provides an overview of business modelling techniques — both at language and tool level. The basic elements of some most popular business modelling languages are briefly outlined, including the GRAPES-BM language developed by IMCS, University of Latvia. The paper presents also the basic principles, how metamodel based generic modelling techniques can be used for supporting several modelling notations simultaneously.
Asynchronous Runtime Verification of Business Processes
2015
The authors propose a runtime verification mechanism for business processes. This mechanism allows verifying the correctness of business process execution and it runs in parallel with the base processes affecting them insignificantly. The authors have identified the case where the use of business process runtime verification is helpful and applicable. The verification mechanism monitors the business process execution and verifies compliance with the base process description. The verification mechanism prototype was developed and tested in real business processes, as well as limits of runtime verification overhead were evaluated.