Zobrazeno 1 - 10
of 753
pro vyhledávání: '"Dias, A. H."'
Autor:
Grigorjew, Andreas, Dias, Fernando H. C., Cracco, Andrea, Rizzi, Romeo, Tomescu, Alexandru I.
Given a flow network, the Minimum Flow Decomposition (MFD) problem is finding the smallest possible set of weighted paths whose superposition equals the flow. It is a classical, strongly NP-hard problem that is proven to be useful in RNA transcript a
Externí odkaz:
http://arxiv.org/abs/2311.10563
Autor:
Dias, Fernando H. C., Caceres, Manuel, Williams, Lucia, Mumey, Brendan, Tomescu, Alexandru I.
Many important problems in Bioinformatics (e.g., assembly or multi-assembly) admit multiple solutions, while the final objective is to report only one. A common approach to deal with this uncertainty is finding safe partial solutions (e.g., contigs)
Externí odkaz:
http://arxiv.org/abs/2301.13245
Minimum flow decomposition (MFD) -- the problem of finding a minimum set of weighted source-to-sink paths that perfectly decomposes a flow -- is a classical problem in Computer Science, and variants of it are powerful models in different fields such
Externí odkaz:
http://arxiv.org/abs/2209.00042
Autor:
Dias, Fernando H. C., Rey, David
To guarantee the safety of flight operations, decision-support systems for air traffic control must be able to improve the usage of airspace capacity and handle increasing demand. In this study, we address the aircraft conflict avoidance and trajecto
Externí odkaz:
http://arxiv.org/abs/2203.11990
Minimum flow decomposition (MFD) (the problem of finding a minimum set of paths that perfectly decomposes a flow) is a classical problem in Computer Science, and variants of it are powerful models in multiassembly problems in Bioinformatics (e.g. RNA
Externí odkaz:
http://arxiv.org/abs/2201.10923
Autor:
Maid, Pablo, Rillo, Oscar, Inderjeeth, Charles, Scheinecker, Clemens, Hermann, Josef, Marcolino, Flora Maria D'Andrea, Dias, Laiza H, Scafuto, Antonio, Bookman, Arthur AM, Fortin, Isabelle, Morin, Frederic, Goio, Elizabeth Jean Moreno, Pezo Ruiz, Ninette, Roman Zamoran, Carlos Patricio, Gonzalez Abarzua, Ivan Antonio, Elgueta, Sergio Fabian, Forero Illera, Elias Gonzalo, Marquez Herndez, Javier Dario, Garcia, Alex Echeverri, Pensec, Valerie Devauchelle, Hachulla, Eric, Mariette, Xavier, Gottenberg, Jacques-Eric, Le Guern, Veronique, Finzel, Stephanie, Schaefer, Valentin, Tony, Hans-Peter, Thomas Schmalzing, Marc, Tausche-Wunderlich, Anne-Kathrin, Tzioufas, Athanasios, Balog, Attila, Rojkovich, Bernadette, Varga, Tunde, Lidar, Merav, Rosner, Itzhak, Levy, Yair, Dagna, Lorenzo, Mosca, Marta, Quartuccio, Luca, Nishiyama, Susumu, Kodera, Masanari, Kaneko, Yuko, Okada, Masato, Ueki, Yukitaka, Hwan Park, Sung, van Daele, Paulus Leon Arthur, Bootsma, Hendrika, Duarte Barcelos, Filipe Alexandre, Crispim Romao, Vasco Madeira, Raimundo Vinagre, Filipe Manuel, Tavaresda Costa, Jose Antonio, Rednic, Simona, Duca, Liliana, Maslyanskiy, Alexey, Yakupova, Svetlana, Bugrova, Olga, Izmozherova, Nadezhda, Zotkin, Evgenyi, Nikolaevna Anoshenkova, Olga, Kvarnstrom, Marika, Tufan, Abdurrahman, Fisher, Benjamin, Yee, Chee Seng, Parker, Benjamin Joseph, Grader Beck, Thomas, Lawrence Ford, Theresa, Papas, Athena, Carsons, Steven, Thiagarajan, Saravanan, Zero, Domenick, McCoy, Sara, Sandorfi, Nora, Fisher, Benjamin A *, Grader-Beck, Thomas, Ng, Wan-Fai, van Daele, P L A, Noaiseh, Ghaith, Elgueta, Sergio, McCoy, Sara S, Akpek, Esen, Bookman, Arthur, Sopala, Monika, Montecchi-Palmer, Michela, Luo, Wen-Lin, Scheurer, Cornelia, Hueber, Wolfgang *
Publikováno v:
In The Lancet 10-16 August 2024 404(10452):540-553
Autor:
Dias, Fernando H C, Rey, David
We address the aircraft conflict resolution problem under trajectory prediction uncertainty. We consider that aircraft velocity vectors may be perturbed due to weather effects, such as wind, or measurement errors. Such perturbations may affect aircra
Externí odkaz:
http://arxiv.org/abs/2012.08230
Autor:
Pedersen, Mette Abildgaard1,2,3 (AUTHOR) meabpe@rm.dk, Dias, André H.1 (AUTHOR), Hjorthaug, Karin1 (AUTHOR), Gormsen, Lars C.1,4 (AUTHOR), Fledelius, Joan1 (AUTHOR), Johnsson, Anna Lyhne5 (AUTHOR), Borgquist, Signe4,6 (AUTHOR), Tramm, Trine4,7 (AUTHOR), Munk, Ole Lajord1,4 (AUTHOR), Vendelbo, Mikkel Holm1,2,3 (AUTHOR)
Publikováno v:
EJNMMI Research. 3/25/2024, Vol. 14 Issue 1, p1-10. 10p.
This paper shows how to transform explosive many-valued systems into paraconsistent logics. We investigate especially the case of three-valued systems showing how paraconsistent three-valued logics can be obtained from them.
Externí odkaz:
http://arxiv.org/abs/2004.14881
As air traffic volume is continuously increasing, it has become a priority to improve traffic control algorithms to handle future air travel demand and improve airspace capacity. We address the conflict resolution problem in air traffic control using
Externí odkaz:
http://arxiv.org/abs/2002.06731