Bibliographies thématiques / Model-based analysi

Littérature scientifique sur le sujet « Model-based analysi »

Auteur : Grafiati
Publié le 10 mars 2023

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Sommaire

Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Model-based analysi ».

À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.

Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.

Articles de revues sur le sujet "Model-based analysi"

1

Sadanand, Vijaya Shetty, Kadagathur Raghavendra Rao Guruvyas, Pranav Prashantha Patil, Jeevan Janardhan Acharya et Sharvani Gunakimath Suryakanth. « An automated essay evaluation system using natural language processing and sentiment analysi ». International Journal of Electrical and Computer Engineering (IJECE) 12, no 6 (1 décembre 2022) : 6585. http://dx.doi.org/10.11591/ijece.v12i6.pp6585-6593.

Texte intégral
Résumé :
<span lang="EN-US">An automated essay evaluation system is a machine-based approach leveraging long short-term memory (LSTM) model to award grades to essays written in English language. <a name="_Hlk108785338"></a>natural language processing (NLP) is used to extract feature representations from the essays. The LSTM network learns from the extracted features and generates parameters for testing and validation. The main objectives of the research include proposing and training an LSTM model using a dataset of manually graded essays with scores. Sentiment analysis is performed to determine the sentiment of the essay as either positive, negative or neutral. The twitter sample dataset is used to build sentiment classifier that analyzes the sentiment based on the student’s approach towards a topic. Additionally, each essay is subjected to detection of syntactical errors as well as plagiarism check to detect the novelty of the essay. The overall grade is calculated based on the quality of the essay, the number of syntactic errors, the percentage of plagiarism found and sentiment of the essay. The corrected essay is provided as feedback to the students. This essay grading model has gained an average quadratic weighted kappa (QWK) score of 0.911 with 99.4% accuracy for the sentiment analysis classifier.</span>
Styles APA, Harvard, Vancouver, ISO, etc.
2

Shamout, Mohamed Dawood, Malek B. Elayan, Adnan M. Rawashdeh, Barween Al Kurdi et Muhammad Alshurideh. « E-HRM practices and sustainable competitive advantage from HR practitioner’s perspective : A mediated moderation analysi ». International Journal of Data and Network Science 6, no 1 (2022) : 165–78. http://dx.doi.org/10.5267/j.ijdns.2021.9.011.

Texte intégral
Résumé :
This paper seeks to investigate the impact of Electronic Human Resource Management (e-HRM) practices on attaining Sustainable Competitive Advantage (SCA) in the context of the Jordanian Industrial Sector (JIS) and identify the mediating role of e-HRM Perceived Usefulness (PU) and e-HRM Perceived Ease of Use (PEOU). Furthermore, it investigates the moderating role of User Satisfaction and e-HRM Continuance Usage Intention. To achieve the paper objectives, a Mediated-Moderation Model was designed. The researchers distributed (750) questionnaires, (615) questionnaires were returned and validated for analysis in HRM and development divisions and based on a Census method with the response rate was about (82%). The ‘Structural Equation Modeling’ (SEM) methodology was used, and for analysis, SPSS and Amos were applied. The results indicated that e-HRM practices had significant influence on SCA. The paper also demonstrated that there was a significant mediate effect of TAM constructs on the relationship between e-HRM practices and SCA. Finally, the findings indicated that the user satisfaction and e-HRM continuance usage intention did not moderate the relationship between e-HRM-PEOU and PU and SCA path.
Styles APA, Harvard, Vancouver, ISO, etc.
3

Simbolon, Ika Pratiwi, Imas Nurani Islami et Vita Elisa Fitriana. « Pendalaman Materi : Laporan Keuangan sebagai Dasar Analisis Investasi Saham ». ACADEMICS IN ACTION Journal of Community Empowerment 1, no 2 (15 janvier 2020) : 109. http://dx.doi.org/10.33021/aia.v1i2.917.

Texte intégral
Résumé :
This community service activities aims to deepen public understanding in making financial records and reporting correctly and making the financial statements as a basis for investment analysi. The investment analysis method used is a discounted cash flow model to determine whether the investment is undervalued or overvalued. The community in this activity are students of SMK Bina Nasional Informatika, North Cikarang. The implementation phase of this activity includes a field survey, coordination with the school principal, the implementation of a financial report socialization program as a basis for stock investment analysis, and preparation of the report. The socialization activity went smoothly attended by 28 Accounting students in class XII. Socialization participants seemed enthusiastic about the material provided. This can be seen from the beginning to the end of the event, all participants followed well. Based on the results of interviews, questions and answers and direct observations, community service activities have increased the knowledge of students by as much as 80% about how to prepare good financial statements and conduct stock valuations using financial statements.
Styles APA, Harvard, Vancouver, ISO, etc.
4

Basito, Danu Hadi, R. Riniati et Sebastiana Viphindrartin. « Penentuan Pusat Pertumbuhan pada Satuan Wilayah Pengembangan (SWP) Kediri Provinsi Jawa Timur ». e-Journal Ekonomi Bisnis dan Akuntansi 6, no 1 (24 mai 2019) : 50. http://dx.doi.org/10.19184/ejeba.v6i1.11075.

Texte intégral
Résumé :
Research conducted aims to: 1) to identify the potential economic sectors as the base sector as a determinant of the central region of growth in the Region Development Unit (RDU) Kediri East Java; 2) to identify economic sectors that have a competitive advantage in the Region Development Unit (RDU) Kediri East Java; (3) to classify the region in each Regency / City in the Region Development Unit (RDU) Kediri East Java; (4) to identify region based on the availability of service facilities in Region Development Unit (RDU) Kediri East Java; and (5) to identify region with potential interaction strength among regions as the central development areas in Region Development Unit Kediri East Java'. An analysis method that used a method of quantitative descriptive analysis by using secondary data obtained from the Statistic Indonesia and other institutions needed. The analysis is use location quotient analysis, shift share analysis, typologi klassen analysis, scalogram analysis, dan gravitation model analysi. The Analysis showed Kediri City emerges as a growth poles in Region Development Unit Kediri East Java with regional advantages from two aspects namely regional capability (Location Quotient analysis) and high per capita income (Tipology Klassen analysis) with hinterland area such as Kab. Nganjuk, Kab. Trenggalek, and Kab. Kediri and Kab. Tulungagung. Keywords: Gravitation, Growth Poles, Location Quotient, Scalogram, Shift Share, Typologi Klassen.
Styles APA, Harvard, Vancouver, ISO, etc.
5

Chornous, G., et S. Rybalchenko. « ОПТИМІЗАЦІЯ ЦІНОУТВОРЕННЯ НА ОСНОВІ МОДЕЛЕЙ ІНТЕЛЕКТУАЛЬНОГО АНАЛІЗУ ДАНИХ ». Bulletin of Taras Shevchenko National University of Kyiv Economics, no 172 (2015) : 52–58. http://dx.doi.org/10.17721/1728-2667.2015/172-7/7.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

Pullagura, Lokaiah. « Analysis of Train Delay Prediction System based on Hybrid Model ». Journal of Advanced Research in Dynamical and Control Systems 12, SP7 (25 juillet 2020) : 2900–2903. http://dx.doi.org/10.5373/jardcs/v12sp7/20202433.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

Chang-You Zhang, Chang-You Zhang, Jing-Jing Wang Chang-You Zhang, Li-Xia Wan Jing-Jing Wang et Ruo-Xue Yu Li-Xia Wan. « An Emotional Analysis Method Based on Multi Model Ensemble Learning ». 電腦學刊 34, no 1 (février 2023) : 001–11. http://dx.doi.org/10.53106/199115992023023401001.

Texte intégral
Résumé :
<p>Traditional machine learning models generally use weak supervision model, which is difficult to adapt to the scene of multi classification for emotional text. Therefore, a multi model ensemble learning algorithm for emotional text classification is proposed. The algorithm takes the labeled emotional text data as the training sample, uses the improved TF-IDF algorithm to train the word vector space model, selects three weakly supervised machine learning algorithms, linear SVC, xgboost and logistic regression, to construct the base classifier, and uses the random forest algorithm to construct the meta classifier. It realizes the function of dividing emotional text into three categories: positive, neutral and negative. From the simulation and test results, the AUC values of the multi model ensemble learning algorithm model for each category are 0.93, 0.94 and 1.00, and the AP values are 0.87, 0.86 and 1.00, and the indicators of accuracy and recall are better than the single machine learning model, which realizes the high performance and high accuracy for emotional text classification.</p> <p>&nbsp;</p>
Styles APA, Harvard, Vancouver, ISO, etc.
8

Muqorobin, Muqorobin, et Nendy Akbar Rozaq Rais. « Analysis of the Role of Information Systems Technology in Lecture Learning during the Corona Virus Pandemic ». International Journal of Computer and Information System (IJCIS) 1, no 1 (27 août 2020) : 47–51. http://dx.doi.org/10.29040/ijcis.v1i2.15.

Texte intégral
Résumé :
Abstract— At this time the spread of the Corona Covid-19 Virus was sweeping the world, Indonesia was also affected, especially in the world of education where the teaching and learning process was usually carried out face-to-face in the classroom. So as a result of this pendemi the teaching and learning process must be done online. The role of information systems technology is very meaningful in lecture learning. This study aims to analyze a model of campus learning conditions and the role of information system technology in college learning amid the COVID-19 corona virus pandemic at STMIK Sinar Nusantara Surakarta. The research method is to make observations and literature studies to obtain data and information used in research. The results of this study indicate the use of information technology has a very important role in the implementation of online distance learning in the midst of the corona covid 19 virus pandemic, among online online media such as: google classroom, whatsapp, zoom. Of the online learning media, it is proven that Google Classroom: 55.9% is widely used as media for sharing materials and assignments, while video conferences lectures are the most users of Google Meet as much as: 70.6%. The results of the analysi s of the online learning value are: 44.1%. Based on this data, it shows that the role of information system technology plays an important role and helps in the teaching and learning process amid the Covid-19 corona virus pandemic.
Styles APA, Harvard, Vancouver, ISO, etc.
9

M., Kanipriya. « Aspect based Sentiments Analysis from Tweets Using Convoluional Neural Network Model ». Journal of Advanced Research in Dynamical and Control Systems 24, no 4 (31 mars 2020) : 106–14. http://dx.doi.org/10.5373/jardcs/v12i4/20201423.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
10

Arumugam, Chamundeswari, et Chitra Babu. « Test Size Estimation for Object Oriented Software Based on Analysis Model ». Journal of Software 10, no 6 (juin 2015) : 713–29. http://dx.doi.org/10.17706//jsw.10.6.713-729.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
Plus de sources

Thèses sur le sujet "Model-based analysi"

1

VIRGILI, LUCA. « Graphs behind data : A network-based approach to model different scenarios ». Doctoral thesis, Università Politecnica delle Marche, 2022. http://hdl.handle.net/11566/295088.

Texte intégral
Résumé :
Al giorno d’oggi, i contesti che possono beneficiare di tecniche di estrazione della conoscenza a partire dai dati grezzi sono aumentati drasticamente. Di conseguenza, la definizione di modelli capaci di rappresentare e gestire dati altamente eterogenei è un argomento di ricerca molto dibattuto in letteratura. In questa tesi, proponiamo una soluzione per affrontare tale problema. In particolare, riteniamo che la teoria dei grafi, e più nello specifico le reti complesse, insieme ai suoi concetti ed approcci, possano rappresentare una valida soluzione. Infatti, noi crediamo che le reti complesse possano costituire un modello unico ed unificante per rappresentare e gestire dati altamente eterogenei. Sulla base di questa premessa, mostriamo come gli stessi concetti ed approcci abbiano la potenzialità di affrontare con successo molti problemi aperti in diversi contesti. ​
Nowadays, the amount and variety of scenarios that can benefit from techniques for extracting and managing knowledge from raw data have dramatically increased. As a result, the search for models capable of ensuring the representation and management of highly heterogeneous data is a hot topic in the data science literature. In this thesis, we aim to propose a solution to address this issue. In particular, we believe that graphs, and more specifically complex networks, as well as the concepts and approaches associated with them, can represent a solution to the problem mentioned above. In fact, we believe that they can be a unique and unifying model to uniformly represent and handle extremely heterogeneous data. Based on this premise, we show how the same concepts and/or approach has the potential to address different open issues in different contexts. ​
Styles APA, Harvard, Vancouver, ISO, etc.
2

SIVORI, DANIELE. « Ambient vibration tools supporting the model-based seismic assessment of existing buildings ». Doctoral thesis, Università degli studi di Genova, 2021. http://hdl.handle.net/11567/1045713.

Texte intégral
Résumé :
The technological advancements of the last decades are making dynamic monitoring an efficient and widespread resource to investigate the safety and health of engineering structures. In the wake of these developments, the thesis proposes methodological tools supporting the seismic assessment of existing buildings through the use of ambient vibration tests. In this context, the literature highlights considerable room to broaden the ongoing research, especially regarding masonry buildings. The recent earthquakes, once again, highlighted the significant vulnerability of this structural typology as an important part of our built heritage, remarking the importance of risk mitigation strategies for the territorial scale. The thesis builds upon a simplified methodology recently proposed in the literature, conceived to assess the post-seismic serviceability of strategic buildings based on their operational modal parameters. The original contributions of the work pursue the theoretical and numerical validation of its basic simplifying assumptions, in structural modelling – such as the in-plane rigid behaving floor diaphragms – and seismic analysis – related to the nonlinear fundamental frequency variations induced by earthquakes. These strategies are commonly employed in the seismic assessment of existing buildings, but require further developments for masonry buildings. The novel proposal of the thesis takes advantage of ambient vibration data to establish direct and inverse mechanical problems in the frequency domain targeted at, first, qualitatively distinguishing between rigid and nonrigid behaving diaphragms and, second, quantitatively identifying their in-plane shear stiffness, mechanical feature playing a primary role in the seismic behaviour of masonry buildings. The application of these tools to real case studies points out their relevance in the updating and validation of structural models for seismic assessment purposes. In the light of these achievements, a model-based computational framework is proposed to develop frequency decay-damage control charts for masonry buildings, which exploit ambient vibration measurements for quick damage evaluations in post-earthquake scenarios. The results of the simulations, finally, highlight the generally conservative nature of ambient vibration-based simplified methodologies, confirming their suitability for the serviceability assessment of existing masonry buildings.
Styles APA, Harvard, Vancouver, ISO, etc.
3

Cerneaz, Nicholas J. « Model-based analysis of mammograms ». Thesis, University of Oxford, 1994. http://ora.ox.ac.uk/objects/uuid:a8d91bb2-429c-4da3-9f1b-6209771c61b5.

Texte intégral
Résumé :
Metastasised breast cancer kills. There is no known cure, there are no known preventative measures, there are no drugs available with proven capacity to abate its effects. Early identification and excision of a malignancy prior to metastasis is the only method currently available for reducing the mortality due to breast disease. Automated analysis of mammograms has been proposed as a tool to aid radiologists detect breast disease earlier and with greater efficiency and success. This thesis addresses some of the major difficulties associated with the automated analysis of mammograms, in particular the difficulties caused by the high-frequency, relatively insignificant curvi-linear structures (CLS) comprising the blood vessels, milk-ducts and fibrous tissues. Previous attempts at automation have been overlooked these structures and the resultant complexity of that oversight has been handled inappropriately. We develop a model-based analysis of the CLS features, from the very anatomy of the breast, through mammography and digitisation to the image intensities. The model immediately dictates an algorithm for extracting a high-level feature description of the CLS features. This high-level feature description allows a systematic treatment of these image features prior to searching for instances of breast disease. We demonstrate a procedure for implementing such prior treatment by 'removing' the CLS features from the images. Furthermore, we develop a model of the expected appearance of mammographic densities in the CLS-removed image, which leads directly to an algorithm for their identification. Unfortunately the model also extracts many regions of the image that are not significant mammographic densities, and this therefore requires a subsequent segmentation stage. Unlike previous attempts which apply neural networks to this task, and therefore incorporate inherent insignificance as a consequence of insufficient data availability describing the significant mammographic densities, we illustrate the application of a new statistical method (novelty analysis) for achieving a statistically significant segmentation of the mammographic densities from the plethora of candidates identified at the previous stage. We demonstrate the ability of the CLS feature description to identify instances of radial-scar in mammograms, and note the suitability of the CLS and density descriptions for assessment of bilateral and temporal asymmetry. Some additional potential applications of these feature descriptions in arenas other than mammogram analysis are also noted.
Styles APA, Harvard, Vancouver, ISO, etc.
4

McGarry, Gregory John. « Model-based mammographic image analysis ». Thesis, Queensland University of Technology, 2002.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

Montrieux, Lionel. « Model-based analysis of role-based access control ». Thesis, Open University, 2013. http://oro.open.ac.uk/38672/.

Texte intégral
Résumé :
Model-Driven Engineering (MDE) has been extensively studied. Many directions have been explored, sometimes with the dream of providing a fully integrated approach for designers, developers and other stakeholders to create, reason about and modify models representing software systems. Most, but not all, of the research in MDE has focused on general-purpose languages and models, such as Java and UML. Domain-specific and cross-cutting concerns, such as security, are increasingly essential parts of a software system, but are only treated as second-class citizens in the most popular modelling languages. Efforts have been made to give security, and in particular access control, a more prominent place in MDE, but most of these approaches require advanced knowledge in security, programming (often declarative), or both, making them difficult to use by less technically trained stakeholders. In this thesis, we propose an approach to modelling, analysing and automatically fixing role-based access control (RBAC) that does not require users to write code or queries themselves. To this end, we use two UML profiles and associated OCL constraints that provide the modelling and analysis features. We propose a taxonomy of OCL constraints and use it to define a partial order between categories of constraints, that we use to propose strategies to speed up the models’ evaluation time. Finally, by representing OCL constraints as constraints on a graph, we propose an automated approach for generating lists of model changes that can be applied to an incorrect model in order to fix it. All these features have been fully integrated into a UML modelling IDE, IBM Rational Software Architect.
Styles APA, Harvard, Vancouver, ISO, etc.
6

Zhang, Fan. « Model identification and model based analysis of membrane reactors ». Aachen Shaker, 2008. http://d-nb.info/992051029/04.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

Graham, Matthew R. « Extensions in model-based system analysis ». Connect to a 24 p. preview or request complete full text in PDF format. Access restricted to UC campuses, 2007. http://wwwlib.umi.com/cr/ucsd/fullcit?p3273192.

Texte intégral
Résumé :
Thesis (Ph. D.)--University of California, San Diego, 2007.
Title from first page of PDF file (viewed August 31, 2007). Available via ProQuest Digital Dissertations. Vita. Includes bibliographical references (p. 116-123).
Styles APA, Harvard, Vancouver, ISO, etc.
8

Woolrich, Mark. « Model-based approaches to FMRI analysis ». Thesis, University of Oxford, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.249485.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
9

Rekik, Saoussen. « Methodology for a model based timing analysis process for automotive systems ». Phd thesis, Université Paris Sud - Paris XI, 2011. http://tel.archives-ouvertes.fr/tel-00647906.

Texte intégral
Résumé :
Aujourd'hui, les applications automobiles sont devenues de plus en plus complexes avec des ressources limitées et plus de contraintes de temps et de safety. La vérification temporelle est effectuée très tard aujourd'hui au cours du processus de développement automobile (après l'implémentation et au cours de la phase d'intégration). Pour apporter des solutions aux problèmes du développement logiciel automobile, plusieurs approches de développement dirigé par les modèles ont été définit. Ces approches donnent des langages, des concepts et des méthodologies pour la description de l'architecture des systèmes automobiles. Cependant, ces approches ne donnent aucun guide méthodologique pour intégrer l'analyse temporelle (notamment l'analyse d'ordonnancement) tout au long du processus de développement. Ce travail de thèse propose de développer une méthodologie décrivant un processus d'analyse temporelle dirigé par les modèles. Cette méthodologie décrit les différentes phases du processus de développement dirigé par les modèles et comment l'analyse temporelle est effectuée durant chaque phase.
Styles APA, Harvard, Vancouver, ISO, etc.
10

de, Araujo Rodrigues Vieira Elisangela. « Automated model-based test generation for timed systems ». Evry, Institut national des télécommunications, 2007. http://www.theses.fr/2007TELE0011.

Texte intégral
Résumé :
Timed Systems are systems with real-time constraints. The correctness of a timed system depends not only upon the operations it performs but also the timing when they are performed. Testing a system aims to guarantee its correctness. Model-based test generation is an approach to generate test cases based on a formal model. Although test generation methods have been far proposed, its timed counterpart is still a new field. In addition, most of the proposed solutions suffer from combinatory explosion which still limits their applicability in practice. Accordingly, it explains why there are so few automatic formal methods for testing generation, for both time and untimed systems. This thesis presents an automatic test generation approach addressed for timed systems using a test-purpose algorithm. Test purpose approach guarantees the generation of test case with regard to critical parts of the system and avoid the state explosion problem. In addition, we propose techniques to generate test sequences with timing-fault detection and with delayed and/or instantaneous transitions. In order to evaluate the applicability and efficiency of the proposed method, we have implemented two prototype tools: one based on an industrial simulator for SDL specifications and other using a free toolset based on IF models. Two real industrial applications are used as case study: a Railroad Crossing and a Vocal Service furnished by France Telecom
Les systèmes temporisés sont des systèmes avec des contraintes de temps réel. L'exactitude d'un système temporisé dépend non seulement des opérations qu'il effectue mais également de la synchronisation quand ils sont exécutés. La synchronisation prend en compte non seulement l’ordre des opérations mais surtout le moment quand elles sont exécutées. Tester un système vise à garantir son exactitude. La génération de teste basée sur des modèles c’est une approche pour produire des cas de test basés sur un modèle formel. Bien que d’autres méthodes de génération de test ont déjà été proposés, la génération pour les systèmes temporisés c’est un domaine bien plus récente. En outre, la plupart des solutions proposées souffrent de l'explosion combinatoire, ce qui limite toujours leur applicabilité dans la pratique. En conséquence, cela explique pourquoi il y a tellement peu de méthodes formelles automatiques pour la génération de test dans tout les domaines. Cette thèse présente une approche automatique de génération de teste adressée aux systèmes temporisés. Pour cela, nous proposons un algorithme de génération basé sur des objectives de test. Cette approche permet de générer des tests pour ce qui concerne les parties critiques du système et évite le problème d'explosion combinatoire. En outre, nous proposons des techniques pour produire des tests avec la détection des timing faults et avec des transitions retardées et/ou instantanées. Afin d'évaluer l'applicabilité et l'efficacité de la méthode proposée, nous avons mis en oeuvre deux outils: une en utilisant un simulateur industriel, pour des modèles en LDS et une autre employant un simulateur basé sur le langage IF. Deux applications industrielles sont employées comme étude de cas : Un système de Passage à Niveau et un Service Vocal fourni par France Telecom
Styles APA, Harvard, Vancouver, ISO, etc.
Plus de sources

Livres sur le sujet "Model-based analysi"

1

Heinrich, Robert, Francisco Durán, Carolyn Talcott et Steffen Zschaler, dir. Composing Model-Based Analysis Tools. Cham : Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81915-6.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

Cortellessa, Vittorio, Antinisca Di Marco et Paola Inverardi. Model-Based Software Performance Analysis. Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-13621-4.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

Antinisca, Di Marco, Inverardi Paola et SpringerLink (Online service), dir. Model-Based Software Performance Analysis. Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
4

Green, Michael D. Model-based fault diagnosis for turboshaft engines. [Cleveland, Ohio] : National Aeronautics and Space Administration, Lewis Research Center, 1998.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

Green, Michael D. Model-based fault diagnosis for turboshaft engines. [Cleveland, Ohio] : National Aeronautics and Space Administration, Lewis Research Center, 1998.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

Ahmet, Duyar, Litt Jonathan S et Lewis Research Center, dir. Model-based fault diagnosis for turboshaft engines. [Cleveland, Ohio] : National Aeronautics and Space Administration, Lewis Research Center, 1998.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

Green, Michael D. Model-based fault diagnosis for turboshaft engines. [Cleveland, Ohio] : National Aeronautics and Space Administration, Lewis Research Center, 1998.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
8

Lam, Hak-Keung, et Frank Hung-Fat Leung. Stability Analysis of Fuzzy-Model-Based Control Systems. Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-17844-3.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
9

C, Kotropoulos, et Pitas I, dir. Nonlinear model-based image/video processing and analysis. New York : Wiley, 2001.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
10

Su, Xiaojie, Yao Wen, Yue Yang et Peng Shi. Intelligent Control, Filtering and Model Reduction Analysis for Fuzzy-Model-Based Systems. Cham : Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-81214-0.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
Plus de sources

Chapitres de livres sur le sujet "Model-based analysi"

1

Johnson, Kenneth, Marc Zeller, Arthur Vetter et Daniel Varro. « Continual Model-Based Analysis ». Dans Composing Model-Based Analysis Tools, 97–127. Cham : Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81915-6_6.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

Cortellessa, Vittorio, Antinisca Di Marco et Paola Inverardi. « What Is Software Performance ? » Dans Model-Based Software Performance Analysis, 1–7. Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-13621-4_1.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

Cortellessa, Vittorio, Antinisca Di Marco et Paola Inverardi. « Software Modeling Notations ». Dans Model-Based Software Performance Analysis, 9–34. Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-13621-4_2.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
4

Cortellessa, Vittorio, Antinisca Di Marco et Paola Inverardi. « Performance Modeling Notations ». Dans Model-Based Software Performance Analysis, 35–63. Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-13621-4_3.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

Cortellessa, Vittorio, Antinisca Di Marco et Paola Inverardi. « Software Lifecycle and Performance Analysis ». Dans Model-Based Software Performance Analysis, 65–77. Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-13621-4_4.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

Cortellessa, Vittorio, Antinisca Di Marco et Paola Inverardi. « From Software Models to Performance Models ». Dans Model-Based Software Performance Analysis, 79–140. Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-13621-4_5.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

Cortellessa, Vittorio, Antinisca Di Marco et Paola Inverardi. « Performance Model Solution ». Dans Model-Based Software Performance Analysis, 141–58. Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-13621-4_6.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
8

Cortellessa, Vittorio, Antinisca Di Marco et Paola Inverardi. « Advanced Issues in Software Performance ». Dans Model-Based Software Performance Analysis, 159–81. Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-13621-4_7.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
9

Cuadrado, Jesús Sánchez, Esther Guerra et Juan de Lara. « AnATLyzer : Static Analysis of ATL Model Transformations ». Dans Composing Model-Based Analysis Tools, 259–81. Cham : Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81915-6_12.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
10

Heinrich, Robert, Jörg Henss, Sandro Koch et Ralf Reussner. « Challenges in the Evolution of Palladio—Refactoring Design Smells in a Historically-Grown Approach to Software Architecture Analysis ». Dans Composing Model-Based Analysis Tools, 235–57. Cham : Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81915-6_11.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.

Actes de conférences sur le sujet "Model-based analysi"

1

Price, C. « AutoSteve : electrical design analysis ». Dans IEE Colloquium on Applications of Model-Based Reasoning. IEE, 1997. http://dx.doi.org/10.1049/ic:19971144.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

« The ETSI Test Description Language TDL and its Application ». Dans Special Session on Model-based Analysis and Testing of Embedded Systems. SCITEPRESS - Science and and Technology Publications, 2014. http://dx.doi.org/10.5220/0004708706010608.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

« Creating a Reference Technology Platform - Performing Model-based Safety Analysis in a Heterogeneous Development Environment ». Dans Special Session on Model-based Analysis and Testing of Embedded Systems. SCITEPRESS - Science and and Technology Publications, 2014. http://dx.doi.org/10.5220/0004875306450652.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
4

« Towards a Method for Combined Model-based Testing and Analysis ». Dans Special Session on Model-based Analysis and Testing of Embedded Systems. SCITEPRESS - Science and and Technology Publications, 2014. http://dx.doi.org/10.5220/0004873106090618.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

« Integrating Model-based Formal Timing Analysis in the Industrial Development Process of Satellite On-Board Software ». Dans Special Session on Model-based Analysis and Testing of Embedded Systems. SCITEPRESS - Science and and Technology Publications, 2014. http://dx.doi.org/10.5220/0004874306190625.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

« Formal Test-Driven Development with Verified Test Cases ». Dans Special Session on Model-based Analysis and Testing of Embedded Systems. SCITEPRESS - Science and and Technology Publications, 2014. http://dx.doi.org/10.5220/0004874406260635.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

« Combining Test and Proof in MBAT - An Aerospace Case Study ». Dans Special Session on Model-based Analysis and Testing of Embedded Systems. SCITEPRESS - Science and and Technology Publications, 2014. http://dx.doi.org/10.5220/0004874906360644.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
8

Fantechi, Alessandro, et Stefano Pepi. « Petri Nets Modeling for the Schedulability Analysis of Industrial Real Time Systems ». Dans International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn. SCITEPRESS - Science and and Technology Publications, 2016. http://dx.doi.org/10.5220/0005841700050013.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
9

Dripps, J. H. « An introduction to model based digital signal processing ». Dans IEE Colloquium on The Use of Model Based Digital Signal Processing Techniques in the Analysis of Biomedical Signals. IEE, 1997. http://dx.doi.org/10.1049/ic:19970059.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
10

White, P. R. « An introduction to deterministic modelling ». Dans IEE Colloquium on The Use of Model Based Digital Signal Processing Techniques in the Analysis of Biomedical Signals. IEE, 1997. http://dx.doi.org/10.1049/ic:19970060.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.

Rapports d'organisations sur le sujet "Model-based analysi"

1

Narayanan, Anantha, et Yung-Tsun Tina Lee. Model-based approach towards integrating manufacturing design and analysis. Gaithersburg, MD : National Institute of Standards and Technology, juillet 2018. http://dx.doi.org/10.6028/nist.ams.300-5.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

Bank, Jason, Robert Broadwater, Danling Cheng, David Costyk, Mark Leyo, Richard Seguin, Jeremy Woyak et al. Model-Based Integrated High Penetration Renewables Planning and Control Analysis. Office of Scientific and Technical Information (OSTI), décembre 2015. http://dx.doi.org/10.2172/1229729.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

Noonan, Nicholas James. Product Lifecycle Management Architecture : A Model Based Systems Engineering Analysis. Office of Scientific and Technical Information (OSTI), juillet 2015. http://dx.doi.org/10.2172/1191879.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
4

Mintz, Marianne, Charles Macal, Zhaomiao Guo, Chaitanya Kaligotla, Yijiao Wang et Yan Zhou. Agent-Based Transportation Energy Analysis Model : Methodology and Initial Results. Office of Scientific and Technical Information (OSTI), janvier 2019. http://dx.doi.org/10.2172/1618117.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

Dabrowski, Christopher, Kevin L. Mills et Stephen Quirolgico. A model-based analysis of first-generation service discovery systems. Gaithersburg, MD : National Institute of Standards and Technology, 2005. http://dx.doi.org/10.6028/nist.sp.500-260.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

Sekuler, Robert. Model-based Analysis of Associative Recognition, Temporal Context and Retrieval. Fort Belvoir, VA : Defense Technical Information Center, décembre 2013. http://dx.doi.org/10.21236/ada597736.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

Keen, Timothy R., et James D. Dykes. Geospatial Analysis and Model Evaluation Software (GAMES) : Integrated Web-Based Analysis and Visualization. Fort Belvoir, VA : Defense Technical Information Center, avril 2014. http://dx.doi.org/10.21236/ada609526.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
8

Fraley, Chris, et Adrian E. Raftery. MCLUST : Software for Model-Based Clustering, Density Estimation and Discriminant Analysis. Fort Belvoir, VA : Defense Technical Information Center, octobre 2002. http://dx.doi.org/10.21236/ada459792.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
9

Tong, C. Toward a more robust variance-based global sensitivity analysis of model outputs. Office of Scientific and Technical Information (OSTI), octobre 2007. http://dx.doi.org/10.2172/923115.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
10

Szallasi, Zoltan. Generative Model Based Statistical Analysis of Gene Expression Patterns in Breast Cancer. Fort Belvoir, VA : Defense Technical Information Center, mars 2004. http://dx.doi.org/10.21236/ada426459.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
Vous pouvez également être intéressé par les bibliographies sur le sujet « Model-based analysi » pour d’autres types de sources :
Articles de revues Thèses Livres
Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!

Vers la bibliographie