-
1Conference
المؤلفون: Goubault, Eric, Putot, Sylvie
المساهمون: Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX), École polytechnique (X), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS), ANR-23-PEIA-0006,SAIF,Safe AI through Formal Methods(2023)
المصدر: International Symposium on Formal Methods, FM 2024 ; https://hal.science/hal-04546350 ; International Symposium on Formal Methods, FM 2024, 14933, Springer Nature Switzerland, pp.324-342, 2025, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-71162-6_17⟩
مصطلحات موضوعية: probabilistic verification, Neural networks verification, p-boxes, probability bounds, Dempster-Shafer structures, zonotopes, [INFO]Computer Science [cs]
-
2Report
المؤلفون: Goubault, Eric, Putot, Sylvie
المساهمون: Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX), École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS)
المصدر: https://hal.science/hal-04546350 ; 2024.
مصطلحات موضوعية: probabilistic verification, Neural networks verification, p-boxes, probability bounds, Dempster-Shafer structures, zonotopes, [INFO]Computer Science [cs]
Relation: hal-04546350; https://hal.science/hal-04546350; https://hal.science/hal-04546350v2/document; https://hal.science/hal-04546350v2/file/fm.pdf
-
3Academic Journal
المؤلفون: Vincent Wagner, Robin Strässer, Frank Allgöwer, Nicole Radde
مصطلحات موضوعية: Biotechnology, Infectious Diseases, Environmental Sciences not elsewhere classified, Biological Sciences not elsewhere classified, Mathematical Sciences not elsewhere classified, Chemical Sciences not elsewhere classified, Physical Sciences not elsewhere classified, provide probability bounds, nonlinear dynamical system, closed since lower, chemical master equation, priori moment estimates, estimated moment trajectories, model predictive control, proposed method offers, order moments depend, closing moments serve, order moments, moments serve, moment equations, control input, statistical moments, time evolution, stochastic simulations, ranging implications, polynomial systems, n <, many fields, including biology, convergence properties
-
4Conference
المؤلفون: Gray, Ander, Forets, Marcelo, Schilling, Christian, Benet, Luis, Ferson, Scott
المصدر: Gray , A , Forets , M , Schilling , C , Benet , L & Ferson , S 2022 , Rigorous time evolution of p-boxes in non-linear ODEs . in Book of Extended Abstracts for the 32nd European Safety and Reliability Conference . Research Publishing , pp. 154-155 , European Conference on Safety and Reliability , Dublin , Ireland , 28/08/2022 . < https://rpsonline.com.sg/rps2prod/esrel22-epro/esrel2022-extended-abstracts-book.pdf >
مصطلحات موضوعية: Reachability analysis, Probability bounds analysis, Automatically verified computing, Set-based methods, p-box, Uncertainty propagation
وصف الملف: application/pdf
-
5Academic Journal
المؤلفون: Hafez Amiri, Mohammad Mohammadi, Mazaher Karimi, Mohammad Rastegar, Amir Rostami
المصدر: IEEE Access, Vol 9, Pp 161038-161045 (2021)
مصطلحات موضوعية: Cornish-Fisher expansion series, double-loop sampling, parameterized p-boxes, probabilistic load flow, probability bounds, Electrical engineering. Electronics. Nuclear engineering, TK1-9971
وصف الملف: electronic resource
-
6Academic Journal
المؤلفون: Gray, Ander, Wimbush, Alexander, de Angelis, Marco, Hristov, Peter O., Calleja, Dominic, Miralles-Dolz, Enrique, Rocchetta, Roberto
المصدر: Gray , A , Wimbush , A , de Angelis , M , Hristov , P O , Calleja , D , Miralles-Dolz , E & Rocchetta , R 2022 , ' From inference to design: A comprehensive framework for uncertainty quantification in engineering with limited information ' , Mechanical Systems and Signal Processing , vol. 165 , 108210 . https://doi.org/10.1016/j.ymssp.2021.108210
مصطلحات موضوعية: Bayesian calibration, Probability bounds analysis, Epistemic uncertainty, Uncertainty propagation, Uncertainty reduction, Optimisation under uncertainty
وصف الملف: application/pdf
-
7Academic Journal
المؤلفون: Francis J. Baumont de Oliveira, Scott Ferson, Ronald A. D. Dyer, Jens M. H. Thomas, Paul D. Myers, Nicholas G. Gray
المصدر: Sustainability; Volume 14; Issue 9; Pages: 5676
مصطلحات موضوعية: financial risk assessment, vertical farming, urban agriculture, probability bounds analysis, economic viability
جغرافية الموضوع: agris
وصف الملف: application/pdf
Relation: https://dx.doi.org/10.3390/su14095676
الاتاحة: https://doi.org/10.3390/su14095676
-
8Academic Journal
المؤلفون: Zhengwen Hu, Baoqiang Zhang, Jing Yang
المصدر: IEEE Access, Vol 8, Pp 118773-118786 (2020)
مصطلحات موضوعية: Flutter, non-intrusive polynomial chaos, probability bounds, quantification of margins and mixed uncertainties, uncertainty quantification, Electrical engineering. Electronics. Nuclear engineering, TK1-9971
وصف الملف: electronic resource
-
9Academic Journal
المساهمون: fi=Vaasan yliopisto|en=University of Vaasa, orcid:0000-0003-2145-4936, fi=Tekniikan ja innovaatiojohtamisen yksikkö|en=School of Technology and Innovations, Vebic
مصطلحات موضوعية: Cornish-Fisher expansion series, Double-loop sampling, Parameterized p-boxes, Probabilistic load flow, Probability bounds, fi=Sähkötekniikka|en=Electrical Engineering
وصف الملف: fi=kokoteksti|en=fulltext; 1-8
Relation: IEEE Access; https://doi.org/10.1109/ACCESS.2021.3131241; The Academy of Finland; Profi4/WP2; https://osuva.uwasa.fi/handle/10024/13272; URN:NBN:fi-fe2021120158227
-
10Academic Journal
المؤلفون: Abdelatif Hafid, Abdelhakim Senhaji Hafid, Mustapha Samih
المصدر: IEEE Access, Vol 7, Pp 185447-185457 (2019)
مصطلحات موضوعية: Blockchain, failure probability, hypergeometric distribution, probability bounds, sharding, Electrical engineering. Electronics. Nuclear engineering, TK1-9971
وصف الملف: electronic resource
-
11Academic Journal
المؤلفون: Bukszár, József, Prékopa, András
المصدر: Mathematics of Operations Research, 2001 Feb 01. 26(1), 174-192.
URL الوصول: https://www.jstor.org/stable/3690442
-
12Academic Journal
المؤلفون: Zhang, Jiangbo, Zhao, Yiyi
مصطلحات موضوعية: keyword:bounded confidence, keyword:probability bounds, keyword:order statistics, msc:62G30, msc:91D30
وصف الملف: application/pdf
Relation: mr:MR4600377; reference:[1] Altafini, C.: Dynamics of opinion forming in structurally balanced social networks.Plos One 7 (2012), 6, e38135.; reference:[2] Blondel, V. D., Hendrickx, J. M., Tsitsiklis, J. N.: On Krause's multi-agent consensus model with state-dependent connectivity.In: IEEE Conference on Decision and Control 2009. MR 2571922; reference:[3] Boyd, S., Ghosh, A., Prabhakar, B., Shah, D.: Randomized gossip algorithms.IEEE Trans. Inform. Theory 52 (2006), 6, 2508-2530. Zbl 1283.94005, MR 2238556; reference:[4] David, E., Kleinberg, J.: Networks, Crowds, and Markets: Reasoning About a Highly Connected World.Cambridge University Press, New York 2010.; reference:[5] Deffuant, G., Neau, D., Amblard, F., Weisbuch, G.: Mixing beliefs among interacting agents.Adv. Compl. Syst. 3 (2000), 87-98.; reference:[6] Degroot, M. H.: Reaching a consensus.J. Amer. Statist. Assoc. 69 (1974), 345, 118-121.; reference:[7] Durrett, R.: Probability Theory: Theory and Examples (Fourth edition).Cambridge University Press, New York 2010. MR 2722836; reference:[8] Hatano, Y., Mesbahi, M.: Agreement over random networks.IEEE Trans. Automat. Control 50 (2005), 11, 1867-1872. MR 2182742; reference:[9] Hegselmann, R., Krause, U.: Opinion dynamics and bounded confidence models, analysis and simulation.J. Artific. Soc. Social Simul. (JASSS) 5 (2002), 3.; reference:[10] Liu, J., Chen, X., Basar, T., Belabbas, M. A.: Exponential convergence of the discrete-time altafini model.Preprint, arXiv [math.OC]:1512.0715, 2015.; reference:[11] Marvel, S. A., Kleinberg, J., Kleinberg, R. D., Strogatz, S. H.: Continuous-time model of structural balance.Proc. National Academy of Sciences 108 (2011), 5, 1751-1752.; reference:[12] Peng, Y., Zhao, Y., Hu, J.: On the role of community structure in evolution of opinion formation: A new bounded confidence opinion dynamics.Inform. Sci. 621 (2023), 672-690.; reference:[13] Qualman, E.: Socialnomics: How Social Media Transforms the Way We Live and Do Business.; reference:[14] Zhang, J., Hong, Y., Hu, X.: Multi-agent opinion dynamics of bounded confidence with non-local aggregative interaction.SIAM J. Control Optim. 55 (2017), 4, 2543-2573. MR 3686786; reference:[15] Zhao, Y., Xu, M., Dong, Y., Peng, Y.: Fuzzy inference based Hegselmann-Krause opinion dynamics for group decision-making under ambiguity.Inform. Process. Management 58 (2021), 5, 102671.
-
13Dissertation/ Thesis
المؤلفون: Cutler, Joshua Ross
المساهمون: Drusvyatskiy, Dmitriy
مصطلحات موضوعية: asymptotic normality, decision-dependent distributions, high-probability bounds, local asymptotic minimax optimality, performative prediction, stochastic approximation, Mathematics
وصف الملف: application/pdf
Relation: Cutler_washington_0250E_25566.pdf; http://hdl.handle.net/1773/51205
الاتاحة: http://hdl.handle.net/1773/51205
-
14Academic Journal
المؤلفون: DİNLER, DERYA, Tural, Mustafa Kemal
المصدر: 4th International Symposium on Combinatorial Optimization (ISCO)
مصطلحات موضوعية: Betweenness, Centrality, Group betweenness, Network analysis, Probability bounds, Social networks
جغرافية الموضوع: Vietri sul Mare, ITALY
Relation: DİNLER D., TURAL M. K. , "Faster computation of successive bounds on the group betweenness centrality", NETWORKS, cilt.71, ss.358-380, 2018; 380; 85044336831; 358; https://hdl.handle.net/11511/49002; 71; WOS:000431668700004
-
15Report
-
16Academic Journal
المؤلفون: Guenach, Mamoun, Jacobs, Lennert, Kozicki, B., Moeneclaey, Marc
المصدر: COMPUTERS & ELECTRICAL ENGINEERING ; ISSN: 0045-7906
مصطلحات موضوعية: High-speed electrical interconnects, Modulation, Partial response, Equalization, Error probability bounds
وصف الملف: application/pdf
Relation: https://biblio.ugent.be/publication/8546221; http://hdl.handle.net/1854/LU-8546221; http://dx.doi.org/10.1016/j.compeleceng.2016.12.010; https://biblio.ugent.be/publication/8546221/file/8548149
-
17Academic Journal
المؤلفون: Karlsson, Alexandra
المصدر: Linnaeus Eco-Tech; 2016: Book of Abstracts : Linnaeus ECO-TECH '16; 245 ; Linnaeus Eco-Tech; 2016: Book of Abstracts : ECO-TECH '16; 245 ; 2002-8008
مصطلحات موضوعية: Fish, Crayfish, Arsenic, Lead, Cadmium, Contaminated glass work sites, Exposure assessment, Probability Bounds Analysis
وصف الملف: application/pdf
-
18Academic Journal
المؤلفون: Capotorti, Andrea, Lad, Frank, Sanfilippo, Giuseppe
المصدر: The American Statistician, 2007 May 01. 61(2), 132-138.
URL الوصول: https://www.jstor.org/stable/27643864
-
19
المؤلفون: Enrique Miralles-Dolz, M. de Angelis, P.O. Hristov, Dominic Calleja, Ander Gray, Alexander Wimbush, Roberto Rocchetta
المساهمون: Industrial Statistics, Eindhoven MedTech Innovation Center, Security, EAISI Health, EAISI High Tech Systems
المصدر: Mechanical Systems and Signal Processing, 165:108210. Academic Press Inc.
Mechanical Systems and Signal Processingمصطلحات موضوعية: Propagation of uncertainty, Probability bounds analysis, Epistemic uncertainty, Computer science, Mechanical Engineering, Bayesian calibration, Aerospace Engineering, Inference, Computer Science Applications, Variety (cybernetics), Control and Systems Engineering, Optimisation under uncertainty, Signal Processing, Uncertainty propagation, Systems engineering, Uncertainty quantification, Engineering design process, Uncertainty reduction, Reliability (statistics), Uncertainty reduction theory, Civil and Structural Engineering
وصف الملف: application/pdf
-
20
المؤلفون: Ander Gray, Marcelo Forets, Christian Schilling, Luis Benet, Scott Ferson
المصدر: Gray, A, Forets, M, Schilling, C, Benet, L & Ferson, S 2022, Rigorous time evolution of p-boxes in non-linear ODEs . in Book of Extended Abstracts for the 32nd European Safety and Reliability Conference . Research Publishing, pp. 154-155, European Conference on Safety and Reliability, Dublin, Ireland, 28/08/2022 . < https://rpsonline.com.sg/rps2prod/esrel22-epro/esrel2022-extended-abstracts-book.pdf >
Aalborg Universityمصطلحات موضوعية: Reachability analysis, Automatically verified computing, Uncertainty propagation, Probability bounds analysis, Set-based methods, p-box
وصف الملف: application/pdf
Full Text Finder