Parameterized validation of UML like models for reactive embedded systems
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...
Báo cáo khoa học: "Unsupervised Learning of Field Segmentation Models for Information Extraction" pot
... 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...
Báo cáo hóa học: " Research Article Comparison of Linear Prediction Models for Audio Signals" pdf
... 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...
Báo cáo nghiên cứu khoa học: "Application of hydro-mathematical models for flood forecast and inundation warning of Tra Khuc-Ve River basins" potx
... 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...
Báo cáo sinh học: "On the relevance of three genetic models for the description of genetic variance in small populations undergoing selection" docx
... 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...
Validation of brief screening tools for depressive and alcohol use disorders among TB and HIV patients in pdf
... 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...
Báo cáo y học: "The Autism - Tics, AD/HD and other Comorbidities inventory (A-TAC): further validation of a telephone interview for epidemiological research" docx
... 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...
Báo cáo khoa học: " In vivo validation of the adequacy calculator for continuous renal replacement therapies" pps
... 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...
Báo cáo y học: " The utilization of humanized mouse models for the study of human retroviral infections" docx
... 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 (...
Báo cáo y học: " Evaluation of SOFA-based models for predicting mortality in the ICU: A systematic review" docx
... 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...
Báo cáo sinh học: "Use of linear mixed models for genetic evaluation of gestation length and birth weight allowing for heavy-tailed residual effects" pptx
... 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...
The application of ANFIS prediction models for thermal error compensation on CNC machine tools
... 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...
Development and interpretation of machine learning models for drug discovery
... 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...
Báo cáo hóa học: " Research Article An Equivalent LMI Representation of Bounded Real Lemma for Continuous-Time Systems" pdf
... 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...
Báo cáo hóa học: " Research Article Models for Gaze Tracking Systems Arantxa Villanueva and Rafael Cabeza" doc
... 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...
Từ khóa:
- use of large animal models for cardiac electrophysiology studies
- use of native animal models for ddi studies
- practical considerations of genetic rodent models for neurodegenerative diseases
- the utility of transgenic mouse models for cancer prevention research
- generation and application of virtual landscape models for location based services
- comparison of three regression models for predicting vsir
- comparison of three regression models for predicting tacr
- basic principles of packed column design for liquid liquid systems
- state equation models for linear control systems
- tree crop systems as models for sustainable farming systems on degraded pasturelands
- automatic generation of domain models for call centers from noisy transcriptions
- adaptation of reordering models for statistical machine translation
- latent variable models for semantic orientations of phrases
- a comparison of event models for naive bayes text classification mccallum
- a comparison of event models for naive bayes classification
- Báo cáo thực tập tại nhà thuốc tại Thành phố Hồ Chí Minh năm 2018
- Nghiên cứu sự biến đổi một số cytokin ở bệnh nhân xơ cứng bì hệ thống
- chuyên đề điện xoay chiều theo dạng
- Nghiên cứu sự hình thành lớp bảo vệ và khả năng chống ăn mòn của thép bền thời tiết trong điều kiện khí hậu nhiệt đới việt nam
- Nghiên cứu tổ chức pha chế, đánh giá chất lượng thuốc tiêm truyền trong điều kiện dã ngoại
- Nghiên cứu tổ chức chạy tàu hàng cố định theo thời gian trên đường sắt việt nam
- Biện pháp quản lý hoạt động dạy hát xoan trong trường trung học cơ sở huyện lâm thao, phú thọ
- Giáo án Sinh học 11 bài 13: Thực hành phát hiện diệp lục và carôtenôit
- Giáo án Sinh học 11 bài 13: Thực hành phát hiện diệp lục và carôtenôit
- ĐỒ ÁN NGHIÊN CỨU CÔNG NGHỆ KẾT NỐI VÔ TUYẾN CỰ LY XA, CÔNG SUẤT THẤP LPWAN
- Phối hợp giữa phòng văn hóa và thông tin với phòng giáo dục và đào tạo trong việc tuyên truyền, giáo dục, vận động xây dựng nông thôn mới huyện thanh thủy, tỉnh phú thọ
- Nghiên cứu, xây dựng phần mềm smartscan và ứng dụng trong bảo vệ mạng máy tính chuyên dùng
- Tìm hiểu công cụ đánh giá hệ thống đảm bảo an toàn hệ thống thông tin
- Thiết kế và chế tạo mô hình biến tần (inverter) cho máy điều hòa không khí
- Sở hữu ruộng đất và kinh tế nông nghiệp châu ôn (lạng sơn) nửa đầu thế kỷ XIX
- Tổ chức và hoạt động của Phòng Tư pháp từ thực tiễn tỉnh Phú Thọ (Luận văn thạc sĩ)
- BT Tieng anh 6 UNIT 2
- Tăng trưởng tín dụng hộ sản xuất nông nghiệp tại Ngân hàng Nông nghiệp và Phát triển nông thôn Việt Nam chi nhánh tỉnh Bắc Giang (Luận văn thạc sĩ)
- Tranh tụng tại phiên tòa hình sự sơ thẩm theo pháp luật tố tụng hình sự Việt Nam từ thực tiễn xét xử của các Tòa án quân sự Quân khu (Luận văn thạc sĩ)
- Giáo án Sinh học 11 bài 14: Thực hành phát hiện hô hấp ở thực vật