Parameterized validation of UML like models for reactive embedded systems

... two UML- like executable modeling notations based on MSCs for parameterized validation of distributed reactive systems consisting of classes of interacting processes These notations are– (i) Interacting ... Class-diagrams) In this work, our focus is on the use of UML- like behavioral modeling notations for modeling and parameterized validation of distributed s...

Ngày tải lên: 14/09/2015, 14:06

... learning of Conditional Random Field (CRF) sequence models to the problem of parsing the head- ers of research papers There has also been some previous work on unsupervised learning of field segmentation ... (2004) defined content models, which can be viewed as field segmentation models occurring at the level of discourse They perform unsupervised learning of these...

Ngày tải lên: 23/03/2014, 19:20

... finite number of dominant frequency components In this way, the majority of audio signals is covered, except for the class of percussive sounds The performance of the different LP models described ... be evaluated for three types of audio signals: synthetic audio signals consisting of a sum of harmonic sinusoids in white noise, true monophonic audio signals, and true...

Ngày tải lên: 22/06/2014, 00:20

... for inundation computation of downstream areas of Tra Khuc – Ve rivers 2.4 Combining flood forecasting and inundation warning for Tra Khuc and Ve river basins Scheme for connection of flood forecasting ... forecasting and inundation warning is shown in Figure Figure Scheme for flood forecasting and inundation warning of Tra Khuc – Ve river...

Ngày tải lên: 21/07/2014, 16:21

... Furthermore, the stochastic approach intrinsically takes account of the reduction in selection intensity as compared with the theory, of the relationships between mates and inbreeding induced in the offspring ... selection intensity As expected [4], the higher the selection intensity, the greater the influence of the population size, and the higher the decre...

Ngày tải lên: 09/08/2014, 18:22

... training in screening for MDDs and AUDs These centres cover both urban and rural settings and are the first point of entry in the referral process for the majority of TB and HIV patients in the ... [28] in detecting DSM-IV current MDD and AUD respectively, among TB patients on TB treatment and HIV patients on ART in PHC settings in Zambia DS...

Ngày tải lên: 11/08/2014, 15:22

... conceiving and designing the study, and statistical analyses CaG in designing the study, collecting data and performing clinical assessments OS and EC in collecting data and statistical analyses BK and ... Autism - Tics, AD/HD and other Comorbidities inventory (A- TAC): further validation of a telephone interview for epidemiological research BMC...

Ngày tải lên: 11/08/2014, 17:20

... understanding of adequate levels of renal replacement therapy has yet to be achieved In this state of absence of information and of wide ignorance of the field, the calculator might have the merit of ... machine settings depending on the preference of the prescribing physician, but a final spKt/V of 1.4 had to be prescribed by means of the Adequacy C...

Ngày tải lên: 12/08/2014, 22:21

... timeline of humanized mouse model development and retroviral research A highlight of the noteworthy events of humanized mouse model system development over the past 30 years The bottom half of the ... extent, for the study of viral mechanisms SCID-hu PBL Mice and HIV-1 The SCID-hu Thy/Liv mouse was accompanied by the development of the SCID-hu PBL (...

Ngày tải lên: 12/08/2014, 23:22

... score measured in a prespecified time interval, and mean SOFA was always calculated by taking the average of all total SOFA scores in the prespecified time interval These intervals varied in length, ... ICU stay found an AUC of 0.79, which was almost the same as the AUC for a single SOFA-score at admission [17] A high delta SOFA indicates increasing organ dysfunction...

Ngày tải lên: 13/08/2014, 11:23

... article as: Kizilkaya et al.: Use of linear mixed models for genetic evaluation of gestation length and birth weight allowing for heavy-tailed residual effects Genetics Selection Evolution 2010 ... BW ⎞ ⎟ ⎟ ⎠ Gestation length and birth weight data Gestation length (GL) up until first calving and the resultant calf birth weight (BW) data we...

Ngày tải lên: 14/08/2014, 13:21

... prediction model One of the difficult issues in thermal error modelling is the selection of appropriate locations for the temperature sensors, which is a key factor in the accuracy of the thermal error ... discussion In this section, the aim is to use the structure of the ANFIS models described in the previous section to derive a thermal error com...

Ngày tải lên: 26/09/2015, 12:04

... concerned with the development and interpretation of machine learning models for drug discovery To this end, it describes the design and application of computational models for specialized use ... focus of this thesis is the development and interpretation of machine learning models for pharmaceutical tasks In drug discovery, project teams usual...

Ngày tải lên: 26/11/2015, 09:59

... new LMI representation of BRL First, we propose a new equivalent LMI representation of BRL for linear continuous-time systems Then, this condition is considered to compute H∞ guaranteed cost for ... 2.3 , it is easy to compute guaranteed performance indices of H∞ norm Unfortunately, this representation cannot be extended to synthesis control performance problem for l...

Ngày tải lên: 21/06/2014, 22:20

... alternative gaze tracking systems is carried out The models so constructed are categorized in three groups: models based on points, models based on shapes, and hybrid models combining points and shapes ... Spain, 2001 T Ohno, N Mukawa, and A Yoshikawa, “FreeGaze: a gaze tracking system for everyday gaze interaction,” in Proceedings of the Symposium on Eye Tracking...

Ngày tải lên: 22/06/2014, 19:20