Search Results for Assessment.

16 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

Model-Based Safety and Assessment 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings

Yazar

Ortmeier, Frank. editor.

http://dx.doi.org/10.1007/978-3-319-12214-4

Format:

Electronic Resources

Alıntı:

Model-Based Safety and Assessment 4th International Symposium, IMBSA 2014, Munich, Germany, October

Transactions on Rough Sets XIX

Yazar

Peters, James F. editor.

http://dx.doi.org/10.1007/978-3-662-47815-8

Format:

Electronic Resources

Alıntı:

Qualitative Assessment of Rough Sets in Terms of Decision Attribute Values in Simple Decision Systems over

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

Yazar

Lecomte, Thierry. editor.

http://dx.doi.org/10.1007/978-3-319-33951-1

Format:

Electronic Resources

Alıntı:

Railway Operational Procedures under the IT Security Threat -- Risk Assessment of the 3Des in the ERTMS

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings

Yazar

Cassez, Franck. editor.

http://dx.doi.org/10.1007/978-3-319-11936-6

Format:

Electronic Resources

Alıntı:

Protocol -- Quantitative Verification of Weighted Kripke Structures -- Formal Safety Assessment via

Foundations of Biomedical Knowledge Representation Methods and Applications

Yazar

Hommersom, Arjen. editor.

http://dx.doi.org/10.1007/978-3-319-28007-3

Format:

Electronic Resources

Alıntı:

sections: diagnosis of disease; monitoring of health and disease and conformance; assessment of health and

Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer

Yazar

Atten, Mark van. author.

http://dx.doi.org/10.1007/978-3-319-10031-9

Format:

Electronic Resources

Alıntı:

) -- Chapter 11. Gödel and intuitionism -- Part IV A partial assessment -- Chapter 12. Construction and

Uncertainty Reasoning for the Semantic Web III ISWC International Workshops, URSW 2011-2013, Revised Selected Papers

Yazar

Bobillo, Fernando. editor.

http://dx.doi.org/10.1007/978-3-319-13413-0

Format:

Electronic Resources

Alıntı:

Demographics and User Behavior for Trust Assessment -- Bridging Gaps Between Subjective Logic and Semantic Web

Computational Methods in Systems Biology 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings

Yazar

Bortolussi, Luca. editor. (orcid)0000-0001-8874-4001

https://doi.org/10.1007/978-3-030-31304-3

Format:

Electronic Resources

Alıntı:

reaction networks -- A large-scale assessment of exact model reduction in the BioModels repository

Computational Processing of the Portuguese Language 11th International Conference, PROPOR 2014, São Carlos/SP, Brazil, October 6-8, 2014. Proceedings

Yazar

Baptista, Jorge. editor.

http://dx.doi.org/10.1007/978-3-319-09761-9

Format:

Electronic Resources

Alıntı:

Idioms into an NLP System -- Rolling out Text Categorization for Language Learning Assessment Supported

10.

Metadata and Semantic Research 13th International Conference, MTSR 2019, Rome, Italy, October 28–31, 2019, Revised Selected Papers

Yazar

Garoufallou, Emmanouel. editor. (orcid)0000-0001-8232-6634

https://doi.org/10.1007/978-3-030-36599-8

Format:

Electronic Resources

Alıntı:

Frameworks._ Method for the Assessment of Semantic Accuracy Using Rules Identified by Conditional Functional

11.

The Semantic Web – ISWC 2019 18th International Semantic Web Conference, Auckland, New Zealand, October 26–30, 2019, Proceedings, Part II

Yazar

Ghidini, Chiara. editor. (orcid)0000-0003-1563-4965

https://doi.org/10.1007/978-3-030-30796-7

Format:

Electronic Resources

Alıntı:

Benchmark for Evaluating RDF Lists -- A Scalable Framework for Quality Assessment of RDF Datasets -- QaldGen

12.

Logics in Artificial Intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings

Yazar

Fermé, Eduardo. editor.

http://dx.doi.org/10.1007/978-3-319-11558-0

Format:

Electronic Resources

Alıntı:

Non-omniscient Rational Agents: A Preliminary Report -- Answer-Set Programming A Complexity Assessment for

	{displayName}	{count}
{error}