Search results for " Software"
showing 10 items of 1178 documents
Microscopic Study of Injectable Steroids: Effects of Postmixing Time on Particle Aggregation
2020
Background: Epidural steroid injection (ESI) is a common practice for pain treatment since 1953. In 2014, the FDA issued a warning about ESI. Studies have focused on the effect of the particle size and their ability to generate harmful aggregates. Although steroid aggregates provide longer times for reabsorption, therefore a longer anti-inflammatory effect, they are potentially harmful to the central nervous system via embolic mechanisms. Previous studies have established that steroidal aggregates with asizes over 100 μm are potentially able to occlude blood vessels. Studies by Tiso et al and Benzon et al addressed the role of steroids on CNS adverse events, with similar outcomes. The main …
Designing Trickle Irrigation Systems in Sloping Fields without Pressure-Compensating Emitters: Application of the IRRILAB Software
2022
When designing trickle irrigation systems in sloped fields, the use of pressure-compensating (PC) emitters is generally preferred to ensure the emitter distribution uniformity regardless of the land topography and the variable operating pressures. However, the cost of PC emitters is generally higher than non-pressure-compensating (NPC) ones; moreover, the compensating membrane installed inside the emitters can lose elasticity due to the exposition to solar radiation, water quality, and chemical applications. Recently, the irrigation laboratory (IRRILAB) version 1.0 software application was developed to design microirrigation systems for rectangular and planar sectors when using NPC emitters…
A statistical calibration model for Affymetrix probe level data
2009
Gene expression microarrays allow a researcher to measure the simultaneous response of thousands of genes to external conditions. Affymetrix GeneChip{ $Ⓡ$} expression array technology has become a standard tool in medical research. Anyway, a preprocessing step is usually necessary in order to obtain a gene expression measure. Aim of this paper is to propose a calibration method to estimate the nominal concentration based on a nonlinear mixed model. This method is an enhancement of a method proposed in Mineo et al. (2006). The relationship between raw intensities and concentration is obtained by using the Langmuir isotherm theory.
Improving the performance of CAR systems based on mobile phones
2013
Collaborative Augmented Reality (CAR) systems allow multiple users to share a real work environment including computer-generated images in real time. Currently, the hardware features of most mobile phones makes them a natural platform for CAR systems. However, the wide variety of these hardware features can have important effects on the performance of the mobile CAR applications. This thesis proposes a performance characterization and improvement of CAR systems based on mobile phones. The research results, at the time of writing this paper, shows that a CAR system using mobile phones as clients and with a single server can support up to one thousand clients while providing interactive respo…
Safety Assurance of a High Voltage Controller for an Industrial Robotic System
2020
Abstract Due to the risk of discharge sparks and ignition, there are strict rules concerning the safety of high voltage electrostatic systems used in industrial painting robots. In order to assure that the system fulfils its safety requirements, formal verification is an important tool to supplement traditional testing and quality assurance procedures. The work in this paper presents formal verification of the most important safety functions of a high voltage controller. The controller has been modelled as a finite state machine, which was formally verified using two different model checking software tools; Simulink Design Verifier and RoboTool. Five safety critical properties were specifie…
Towards a Formal Analysis of MQtt Protocol in the Context of Communicating Vehicles
2017
International audience; The paper presents a formal approach to model, analyze, and verify a variant of Message Queue Telemetry Transport protocol (MQtt), dedicated to communicating vehicles (MQtt-CV) that send collected data to automotive infrastructures(subscribers). Our formal approach is based on Promela language and its system verification tool, the model checker SPIN. We propose a slight modification of MQtt protocol to reduce the big volume of data collected and sent by vehicles to infrastructures. Indeed, in the original version of MQtt protocol, when a broker receives data from publishers, it sends them directly to its subscribers without any filtration. As consequence, subscribers…
Formal Modeling and Discrete-Time Analysis of BPEL Web Services
2008
International audience; Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (SOA) paradigm. We propose in this paper a tool-equipped methodology allowing the formal modeling and analysis of Web services described in the BPEL language. The discrete-time transition systems modeling the behavior of BPEL descriptions are obtained by an exhaustive simulation based on a formalization of BPEL semantics using the Algebra of Timed Processes (ATP). These models are then analyzed by model checking value-based temporal logic properties using the CADP toolbox. The approach is illustrated with the design of a Web service for GPS na…
Learning Pros and Cons of Model-Driven Development in a Practical Teaching Experience
2016
Current teaching guides on Software Engineering degree focus mainly on teaching programming languages from the first courses. Conceptual modeling is a topic that is only taught in last courses, like master courses. At that point, many students do not see the usefulness of conceptual modeling and most of them have difficulty to reach the level of abstraction needed to work with them. In order to make the learning of conceptual modeling more attractive, we have conducted an experience where students compare a traditional development versus a development using conceptual models through a Model-Driven Development (MDD) method. This way, students can check on their own pros and cons of working w…
Extending and validating gestUI using technical action research
2017
gestUI is a model-driven method with tool support to define custom gestures and to include gesture-based interaction in existing user software system interfaces. So far, gestUI had been limited to the definition of the same gesture catalogue for all users of the software system. In this paper, we extend gestUI to permit individual users to define their own custom gesture catalogue and redefine some custom gestures in case of difficulty in using or remembering them. After extending gestUI, we applied technical action research from the FP7 CaaS project's Capability Design Tool with the aim of assessing its acceptance in an industrial setting. We also analysed its perceived ease-of-use and use…
Data Quality Model-based Testing of Information Systems
2020
This paper proposes a model-based testing approach by offering to use the data quality model (DQ-model) instead of the program’s control flow graph as a testing model. The DQ-model contains definitions and conditions for data objects to consider the data object as correct. The study proposes to automatically generate a complete test set (CTS) using a DQmodel that allows all data quality conditions to be tested, resulting in a full coverage of DQ-model. In addition, the possibility to check the conformity of the data to be entered and already stored in the database is ensured. The proposed alternative approach changes the testing process: (1) CTS can be generated prior to software developmen…