-
1Academic Journal
المساهمون: Équipe Recherche Opérationnelle, Optimisation Combinatoire et Contraintes (LAAS-ROC), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Centre National de la Recherche Scientifique (CNRS), Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS), Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Université de Lyon, Arithmétiques des ordinateurs, méthodes formelles, génération de code (ARIC), Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria Lyon, Institut National de Recherche en Informatique et en Automatique (Inria), ANR-20-CE48-0014,NuSCAP,Sûreté numérique pour les preuves assistées par ordinateur(2020)
المصدر: ISSN: 0731-5090 ; Journal of Guidance, Control, and Dynamics ; https://laas.hal.science/hal-04134188 ; Journal of Guidance, Control, and Dynamics, 2024, pp.1-14. ⟨10.2514/1.G008102⟩.
مصطلحات موضوعية: debris risk management, probability of collision, Power series approximation, Laplace transform, Saddle-point approximation, Numerical accuracy, Cancellation Problem, Holonomic Functions, Error bounds, Integration algorithm, [INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA], [INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS], [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]
-
2Academic Journal
المؤلفون: Sabrine Belmekki, Dominique Gruyer
المصدر: Computers, Vol 13, Iss 1, p 21 (2024)
مصطلحات موضوعية: connected vehicles, collective perception, collision probability of collision estimation, integrated communication strategies, road safety enhancement, Electronic computers. Computer science, QA75.5-76.95
Relation: https://www.mdpi.com/2073-431X/13/1/21; https://doaj.org/toc/2073-431X; https://doaj.org/article/d2abeb885a994bf9a1843e66f9ed4375
-
3
المؤلفون: Ferreira, Ricardo Jorge Nunes
المساهمون: Soares, Cláudia, Melo, Marta, RUN
مصطلحات موضوعية: Probability of Collision, Conjunction Assessment, Space Debris, Space Situational Awareness, Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
وصف الملف: application/pdf
الاتاحة: http://hdl.handle.net/10362/144518
-
4Report
المساهمون: Équipe Recherche Opérationnelle, Optimisation Combinatoire et Contraintes (LAAS-ROC), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Centre National de la Recherche Scientifique (CNRS), Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), École normale supérieure de Lyon (ENS de Lyon), ANR-20-CE48-0014,NuSCAP,Sûreté numérique pour les preuves assistées par ordinateur(2020)
المصدر: https://laas.hal.science/hal-04134188 ; 2023.
مصطلحات موضوعية: debris risk management, probability of collision, Power series approximation, Laplace transform, Saddle-point approximation, Numerical accuracy, Cancellation Problem, Holonomic Functions, Error bounds, Integration algorithm, [INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA], [INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS], [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]
Relation: hal-04134188; https://laas.hal.science/hal-04134188; https://laas.hal.science/hal-04134188/document; https://laas.hal.science/hal-04134188/file/Instantaneous_POC.pdf
-
5Academic Journal
المؤلفون: Dooyoul Lee, Hwanjeong Cho, Min-Saeng Kim, Kybeom Kwon
المصدر: Aerospace; Volume 9; Issue 2; Pages: 80
مصطلحات موضوعية: trajectory, probability of collision, Monte Carlo simulation
وصف الملف: application/pdf
Relation: Aeronautics; https://dx.doi.org/10.3390/aerospace9020080
-
6Academic Journal
المؤلفون: Campos, L., Marques, Joaquim
المساهمون: Kontis, Konstantinos
مصطلحات موضوعية: aircraft separation, safety metrics, air traffic management, probability of collision, airspace capacity
Relation: Campos, L.M.B.C.; Marques, J.M.G. On Probabilistic Risk of Aircraft Collision along Air Corridors. Aerospace 2021, 8, 31. https://doi.org/10.3390/aerospace8020031; https://www.mdpi.com/2226-4310/8/2/31; http://hdl.handle.net/10174/32529; nd; jmgmarques@uevora.pt; 523; https://doi.org/10.3390/aerospace8020031
-
7Academic Journal
المؤلفون: Mohammad Reza Amini, Mehdi Mahdavi, Mohammad Javad Omidi
المصدر: IEEE Access, Vol 6, Pp 22305-22323 (2018)
مصطلحات موضوعية: Cognitive Radio, discrete-time Markov chain, energy efficiency, probability of collision, renewal theory, Electrical engineering. Electronics. Nuclear engineering, TK1-9971
وصف الملف: electronic resource
-
8Academic Journal
المؤلفون: Serra, Romain, Arzelier, Denis, Joldes, Mioara, Lasserre, Jean-Bernard, Rondepierre, Aude, Salvy, Bruno
المساهمون: Équipe Méthodes et Algorithmes en Commande (LAAS-MAC), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Centre National de la Recherche Scientifique (CNRS), Institut de Mathématiques de Toulouse UMR5219 (IMT), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS), Arithmetic and Computing (ARIC), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Centre National de la Recherche Scientifique (CNRS), Collaboration avec Airbus Defence and Space, ANR-14-CE25-0018,Fast Relax,Approximation rapide et fiable(2014)
المصدر: ISSN: 0731-5090 ; Journal of Guidance, Control, and Dynamics ; https://hal.science/hal-01132149 ; Journal of Guidance, Control, and Dynamics, 2016, 39 (5), pp.1009-1021. ⟨10.2514/1.G001353⟩.
مصطلحات موضوعية: Numerical Accuracy, D-finite functions, Error Bounds, Debris risk management, Laplace Transform, Power series expansions, Cancellation Problem, Probability of Collision, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA], [MATH.MATH-PR]Mathematics [math]/Probability [math.PR], [SPI.OTHER]Engineering Sciences [physics]/Other
-
9Academic Journal
المؤلفون: В.Ф. Фролов, V.F. Frolov
المصدر: Системи обробки інформації. — 2016. — № 3(140). 111-113 ; Системы обработки информации. — 2016. — № 3(140). 111-113 ; Information Processing Systems. — 2016. — № 3(140). 111-113 ; 1681-7710
مصطلحات موضوعية: Обробка інформації в складних технічних системах, УДК 502/504(15), космический мусор, ракеты-носители, космические аппараты, высотное распределение, вероятности столкновений, космічне сміття, ракети-носії, космічні апарати, висотний розподіл, вірогідність зіткнення, space debris, launch vehicles, spacecrafts, altitude distribution, probability of collision
وصف الملف: application/pdf
-
10Academic Journal
المؤلفون: Райба, Станіслав, Карпінський, Микола, Корченко, Олександр
المصدر: Ukrainian Scientific Journal of Information Security; Vol. 20 No. 2 (2014); 120-125 ; Безопасность информации; Том 20 № 2 (2014); 120-125 ; Безпека інформації; Том 20 № 2 (2014); 120-125 ; 2411-071X ; 2225-5036
مصطلحات موضوعية: Wireless Sensor Network, Poisson process, probability of collision, methodology of network model selection, UDC 004.7, 621.391(045), беспроводная сенсорная сеть, поток Пуассона, вероятность коллизии, методология выбора модели сети, УДК 004.7, безпроводова сенсорна мережа, потік Пуассона, ймовірність колізії, методологія вибору моделі мережі
Time: 62-519
وصف الملف: application/pdf
Relation: https://jrnl.nau.edu.ua/index.php/Infosecurity/article/view/7296/8190; https://jrnl.nau.edu.ua/index.php/Infosecurity/article/view/7296
-
11Academic Journal
-
12Academic Journal
المؤلفون: RAJBA, Stanisław, RAJBA, Teresa, RAIF, Pawel
المصدر: Ukrainian Scientific Journal of Information Security; Vol. 19 No. 1 (2013); 7-13 ; Безопасность информации; Том 19 № 1 (2013); 7-13 ; Безпека інформації; Том 19 № 1 (2013); 7-13 ; 2411-071X ; 2225-5036
مصطلحات موضوعية: Wireless Sensor Network (WSN), Poisson Arrivals See Time Averages (PASTA system), probability of collision, random control, simulation, UDC 004.7, 621.391 (045), беспроводная сенсорная сеть (БСС), среднее значение за время наблюдения поступления пуассоновского потока (система PASTA), вероятность коллизии, случайное управление, моделирование, УДК 004.7, безпровідна сенсорна мережа (БСМ), середнє значення за час спостереження надходження пуассонівського потоку (система PASTA), імовірність колізії, випадкове керування, моделювання
Time: 62-519
وصف الملف: application/pdf
Relation: https://jrnl.nau.edu.ua/index.php/Infosecurity/article/view/4681/4799; https://jrnl.nau.edu.ua/index.php/Infosecurity/article/view/4681
-
13Academic Journal
المؤلفون: Zhen-peng, Liu, Zhenyang, Guan, Kai-yu, Shang, Wen-lei, Cai
المصدر: Indonesian Journal of Electrical Engineering and Computer Science; Vol 11, No 12: December 2013; 7476-7483 ; 2502-4760 ; 2502-4752 ; 10.11591/ijeecs.v11.i12
مصطلحات موضوعية: RFID,Q-algorithm, tag estimation, continuous detection, probability of collision
وصف الملف: application/pdf
-
14
المؤلفون: Brown, Chase Patrick, 0000-0001-7476-5258
مصطلحات موضوعية: Gaussian Mixture Models, RSO, Univariate libraries, Probability of collision, Splitting directions, Uncertainty propagation, Multidirectional
-
15Report
المؤلفون: Serra, Romain, Arzelier, Denis, Joldes, Mioara, Lasserre, Jean-Bernard, Rondepierre, Aude, Salvy, Bruno
المساهمون: Équipe Méthodes et Algorithmes en Commande (LAAS-MAC), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Institut de Mathématiques de Toulouse UMR5219 (IMT), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS), Arithmetic and Computing (ARIC), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Centre National de la Recherche Scientifique (CNRS), LAAS-CNRS, Collaboration avec Airbus Defence and Space, ANR-14-CE25-0018,Fast Relax,Approximation rapide et fiable(2014)
المصدر: https://hal.science/hal-01131384 ; [Research Report] LAAS-CNRS. 2015.
مصطلحات موضوعية: Numerical Accuracy, Laplace Transform, Debris risk management, Probability of Collision, D-finite functions, Power series expansions, Error Bounds, Cancellation Problem, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA], [MATH.MATH-PR]Mathematics [math]/Probability [math.PR], [SPI.OTHER]Engineering Sciences [physics]/Other
-
16
المصدر: IEEE Access, Vol 6, Pp 22305-22323 (2018)
مصطلحات موضوعية: General Computer Science, Computer science, Markov process, 02 engineering and technology, Topology, Interference (wave propagation), symbols.namesake, probability of collision, 0202 electrical engineering, electronic engineering, information engineering, General Materials Science, renewal theory, energy efficiency, Markov chain, General Engineering, 020206 networking & telecommunications, Cognitive Radio, discrete-time Markov chain, Collision, Cognitive radio, Discrete time and continuous time, Transmission (telecommunications), symbols, 020201 artificial intelligence & image processing, lcsh:Electrical engineering. Electronics. Nuclear engineering, lcsh:TK1-9971, Efficient energy use
-
17
المؤلفون: Joldes, Mioara Maria
المساهمون: Équipe Méthodes et Algorithmes en Commande (LAAS-MAC), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Université Toulouse 3 Paul Sabatier (UT3 Paul Sabatier), M. VASILE
المصدر: Automatic. Université Toulouse 3 Paul Sabatier (UT3 Paul Sabatier), 2019
مصطلحات موضوعية: D-finite function, arithmétique des ordinateurs, validated calculation, formal calculus, calcul symbolique-numérique, Symbolic-numerical calculation, aerospace, [SPI.AUTO]Engineering Sciences [physics]/Automatic, computer arithmetic, impulse spatial rendezvous, optimal control, contrôle optimal, calcul validé, polynomial approximation, probability of collision, approximation polynomiale, fonction D-finie, rendez-vous spatial impulsionnel, aérospatial, probabilité de collision, calcul formel
-
18
المؤلفون: Joldes, Mioara Maria
المساهمون: Équipe Méthodes et Algorithmes en Commande (LAAS-MAC), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Université Toulouse 3 Paul Sabatier (UT3 Paul Sabatier), M. VASILE, Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)
المصدر: Automatic. Université Toulouse 3 Paul Sabatier (UT3 Paul Sabatier), 2019
مصطلحات موضوعية: D-finite function, arithmétique des ordinateurs, validated calculation, formal calculus, calcul symbolique-numérique, Symbolic-numerical calculation, aerospace, [SPI.AUTO]Engineering Sciences [physics]/Automatic, computer arithmetic, impulse spatial rendezvous, optimal control, contrôle optimal, calcul validé, polynomial approximation, probability of collision, approximation polynomiale, fonction D-finie, rendez-vous spatial impulsionnel, aérospatial, probabilité de collision, calcul formel
-
19Report
المؤلفون: Wang, Donglin, Fattouche, Michel, Ghannouchi, Fadhel M
مصطلحات موضوعية: multicarrier code, GPS C/A code, SNR Gain, doppler effect, NBI, probability of collision
-
20Dissertation/ Thesis
المؤلفون: Nunez Garzon, Ulises Eduardo
المساهمون: Lightsey, E. Glenn, Gunter, Brian C., Weitnauer, Mary A., Carpenter, J. Russell, Ocampo, Cesar, Aerospace Engineering
مصطلحات موضوعية: spacecraft formation flying, spacecraft stochastic collision risk, spacecraft collision risk indicators, probabilistic spacecraft collision risk indicators, distance-based spacecraft collision risk indicators, spacecraft collision avoidance, spacecraft collision risk assessment, spacecraft collision risk management, spacecraft collision risk quantification, spacecraft collision risk interpretation and decision-making, probability of collision, relative orbital dynamics, Mahalanobis Shell Sampling, spacecraft formation stochastic collision risk, spacecraft formation collision risk indicators, probabilistic spacecraft formation collision risk indicators, distance-based spacecraft formation collision risk indicators, spacecraft formation collision avoidance, spacecraft formation collision risk assessment, spacecraft formation collision risk management, spacecraft formation collision risk interpretation and decision-making, joint-time probability of collision, instantaneous probability of collision, joint-time collision set, instantaneous collision set, astrodynamics, orbital mechanics, orbital dynamics, proximity operations, stochastic collision risk indicators
وصف الملف: application/pdf
Relation: https://hdl.handle.net/1853/71946
الاتاحة: https://hdl.handle.net/1853/71946