4,496 results on '"Lago, P"'
Search Results
102. Radio Measurements of the Depth of Air-Shower Maximum at the Pierre Auger Observatory
- Author
-
The Pierre Auger Collaboration, Halim, A. Abdul, Abreu, P., Aglietta, M., Allekotte, I., Cheminant, K. Almeida, Almela, A., Aloisio, R., Alvarez-Muñiz, J., Yebra, J. Ammerman, Anastasi, G. A., Anchordoqui, L., Andrada, B., Andringa, S., Anukriti, Apollonio, L., Aramo, C., Ferreira, P. R. Araújo, Arnone, E., Velázquez, J. C. Arteaga, Assis, P., Avila, G., Avocone, E., Bakalova, A., Barbato, F., Mocellin, A. Bartz, Bellido, J. A., Berat, C., Bertaina, M. E., Bhatta, G., Bianciotto, M., Biermann, P. L., Binet, V., Bismark, K., Bister, T., Biteau, J., Blazek, J., Bleve, C., Blümer, J., Boháčová, M., Boncioli, D., Bonifazi, C., Arbeletche, L. Bonneau, Borodai, N., Brack, J., Orchera, P. G. Brichetto, Briechle, F. L., Bueno, A., Buitink, S., Buscemi, M., Büsken, M., Bwembya, A., Caballero-Mora, K. S., Cabana-Freire, S., Caccianiga, L., Caruso, R., Castellina, A., Catalani, F., Cataldi, G., Cazon, L., Cerda, M., Cermenati, A., Chinellato, J. A., Chudoba, J., Chytka, L., Clay, R. W., Cerutti, A. C. Cobos, Colalillo, R., Coleman, A., Coluccia, M. R., Conceição, R., Condorelli, A., Consolati, G., Conte, M., Convenga, F., Santos, D. Correia dos, Costa, P. J., Covault, C. E., Cristinziani, M., Sanchez, C. S. Cruz, Dasso, S., Daumiller, K., Dawson, B. R., de Almeida, R. M., de Jesús, J., de Jong, S. J., Neto, J. R. T. de Mello, De Mitri, I., de Oliveira, J., Franco, D. de Oliveira, de Palma, F., de Souza, V., de Errico, B. P. de Souza, De Vito, E., Del Popolo, A., Deligny, O., Denner, N., Deval, L., di Matteo, A., Dobre, M., Dobrigkeit, C., D'Olivo, J. C., Mendes, L. M. Domingues, Dorosti, Q., Anjos, J. C. dos, Anjos, R. C. dos, Ebr, J., Ellwanger, F., Emam, M., Engel, R., Epicoco, I., Erdmann, M., Etchegoyen, A., Evoli, C., Falcke, H., Farmer, J., Farrar, G., Fauth, A. C., Fazzini, N., Feldbusch, F., Fenu, F., Fernandes, A., Fick, B., Figueira, J. M., Filipčič, A., Fitoussi, T., Flaggs, B., Fodran, T., Fujii, T., Fuster, A., Galea, C., Galelli, C., García, B., Gaudu, C., Gemmeke, H., Gesualdi, F., Gherghel-Lascu, A., Ghia, P. L., Giaccari, U., Glombitza, J., Gobbi, F., Gollan, F., Golup, G., Berisso, M. Gómez, Vitale, P. F. Gómez, Gongora, J. P., González, J. M., González, N., Goos, I., Góra, D., Gorgi, A., Gottowik, M., Grubb, T. D., Guarino, F., Guedes, G. P., Guido, E., Gülzow, L., Hahn, S., Hamal, P., Hampel, M. R., Hansen, P., Harari, D., Harvey, V. M., Haungs, A., Hebbeker, T., Hojvat, C., Hörandel, J. R., Horvath, P., Hrabovský, M., Huege, T., Insolia, A., Isar, P. G., Janecek, P., Jilek, V., Johnsen, J. A., Jurysek, J., Kampert, K. -H., Keilhauer, B., Khakurdikar, A., Covilakam, V. V. Kizakke, Klages, H. O., Kleifges, M., Knapp, F., Köhler, J., Kunka, N., Lago, B. L., Langner, N., de Oliveira, M. A. Leigui, Lema-Capeans, Y., Letessier-Selvon, A., Lhenry-Yvon, I., Lopes, L., Lu, L., Luce, Q., Lundquist, J. P., Payeras, A. Machado, Majercakova, M., Mandat, D., Manning, B. C., Mantsch, P., Marafico, S., Mariani, F. M., Mariazzi, A. G., Mariş, I. C., Marsella, G., Martello, D., Martinelli, S., Bravo, O. Martínez, Martins, M. A., Mathes, H. -J., Matthews, J., Matthiae, G., Mayotte, E., Mayotte, S., Mazur, P. O., Medina-Tanco, G., Meinert, J., Melo, D., Menshikov, A., Merx, C., Michal, S., Micheletti, M. I., Miramonti, L., Mollerach, S., Montanet, F., Morejon, L., Morello, C., Mulrey, K., Mussa, R., Namasaka, W. M., Negi, S., Nellen, L., Nguyen, K., Nicora, G., Niechciol, M., Nitz, D., Nosek, D., Novotny, V., Nožka, L., Nucita, A., Núñez, L. A., Oliveira, C., Palatka, M., Pallotta, J., Panja, S., Parente, G., Paulsen, T., Pawlowsky, J., Pech, M., Pękala, J., Pelayo, R., Pereira, L. A. S., Martins, E. E. Pereira, Armand, J. Perez, Bertolli, C. Pérez, Perrone, L., Petrera, S., Petrucci, C., Pierog, T., Pimenta, M., Platino, M., Pont, B., Pothast, M., Shahvar, M. Pourmohammad, Privitera, P., Prouza, M., Puyleart, A., Querchfeld, S., Rautenberg, J., Ravignani, D., Akim, J. V. Reginatto, Reininghaus, M., Ridky, J., Riehn, F., Risse, M., Rizi, V., de Carvalho, W. Rodrigues, Rodriguez, E., Rojo, J. Rodriguez, Roncoroni, M. J., Rossoni, S., Roth, M., Roulet, E., Rovero, A. C., Ruehl, P., Saftoiu, A., Saharan, M., Salamida, F., Salazar, H., Salina, G., Gomez, J. D. Sanabria, Sánchez, F., Santos, E. M., Santos, E., Sarazin, F., Sarmento, R., Sato, R., Savina, P., Schäfer, C. M., Scherini, V., Schieler, H., Schimassek, M., Schimp, M., Schmidt, D., Scholten, O., Schoorlemmer, H., Schovánek, P., Schröder, F. G., Schulte, J., Schulz, T., Sciutto, S. J., Scornavacche, M., Segreto, A., Sehgal, S., Shivashankara, S. U., Sigl, G., Silli, G., Sima, O., Simkova, K., Simon, F., Smau, R., Šmída, R., Sommers, P., Soriano, J. F., Squartini, R., Stadelmaier, M., Stanič, S., Stasielak, J., Stassi, P., Strähnz, S., Straub, M., Suomijärvi, T., Supanitsky, A. D., Svozilikova, Z., Szadkowski, Z., Tairli, F., Tapia, A., Taricco, C., Timmermans, C., Tkachenko, O., Tobiska, P., Peixoto, C. J. Todero, Tomé, B., Torrès, Z., Travaini, A., Travnicek, P., Trimarelli, C., Tueros, M., Unger, M., Vaclavek, L., Vacula, M., Galicia, J. F. Valdés, Valore, L., Varela, E., Vásquez-Ramírez, A., Veberič, D., Ventura, C., Quispe, I. D. Vergara, Verzi, V., Vicha, J., Vink, J., Vorobiov, S., Watanabe, C., Watson, A. A., Weindl, A., Wiencke, L., Wilczyński, H., Wittkowski, D., Wundheiler, B., Yue, B., Yushkov, A., Zapparrata, O., Zas, E., Zavrtanik, D., and Zavrtanik, M.
- Subjects
Astrophysics - High Energy Astrophysical Phenomena ,Astrophysics - Instrumentation and Methods for Astrophysics - Abstract
The Auger Engineering Radio Array (AERA), part of the Pierre Auger Observatory, is currently the largest array of radio antenna stations deployed for the detection of cosmic rays, spanning an area of $17$ km$^2$ with 153 radio stations. It detects the radio emission of extensive air showers produced by cosmic rays in the $30-80$ MHz band. Here, we report the AERA measurements of the depth of the shower maximum ($X_\text{max}$), a probe for mass composition, at cosmic-ray energies between $10^{17.5}$ to $10^{18.8}$ eV, which show agreement with earlier measurements with the fluorescence technique at the Pierre Auger Observatory. We show advancements in the method for radio $X_\text{max}$ reconstruction by comparison to dedicated sets of CORSIKA/CoREAS air-shower simulations, including steps of reconstruction-bias identification and correction, which is of particular importance for irregular or sparse radio arrays. Using the largest set of radio air-shower measurements to date, we show the radio $X_\text{max}$ resolution as a function of energy, reaching a resolution better than $15$ g cm$^{-2}$ at the highest energies, demonstrating that radio $X_\text{max}$ measurements are competitive with the established high-precision fluorescence technique. In addition, we developed a procedure for performing an extensive data-driven study of systematic uncertainties, including the effects of acceptance bias, reconstruction bias, and the investigation of possible residual biases. These results have been cross-checked with air showers measured independently with both the radio and fluorescence techniques, a setup unique to the Pierre Auger Observatory., Comment: Submitted to Phys. Rev. D
- Published
- 2023
103. Demonstrating Agreement between Radio and Fluorescence Measurements of the Depth of Maximum of Extensive Air Showers at the Pierre Auger Observatory
- Author
-
The Pierre Auger Collaboration, Halim, A. Abdul, Abreu, P., Aglietta, M., Allekotte, I., Cheminant, K. Almeida, Almela, A., Aloisio, R., Alvarez-Muñiz, J., Yebra, J. Ammerman, Anastasi, G. A., Anchordoqui, L., Andrada, B., Andringa, S., Anukriti, Apollonio, L., Aramo, C., Ferreira, P. R. Araújo, Arnone, E., Velázquez, J. C. Arteaga, Assis, P., Avila, G., Avocone, E., Bakalova, A., Barbato, F., Mocellin, A. Bartz, Bellido, J. A., Berat, C., Bertaina, M. E., Bhatta, G., Bianciotto, M., Biermann, P. L., Binet, V., Bismark, K., Bister, T., Biteau, J., Blazek, J., Bleve, C., Blümer, J., Boháčová, M., Boncioli, D., Bonifazi, C., Arbeletche, L. Bonneau, Borodai, N., Brack, J., Orchera, P. G. Brichetto, Briechle, F. L., Bueno, A., Buitink, S., Buscemi, M., Büsken, M., Bwembya, A., Caballero-Mora, K. S., Cabana-Freire, S., Caccianiga, L., Caruso, R., Castellina, A., Catalani, F., Cataldi, G., Cazon, L., Cerda, M., Cermenati, A., Chinellato, J. A., Chudoba, J., Chytka, L., Clay, R. W., Cerutti, A. C. Cobos, Colalillo, R., Coleman, A., Coluccia, M. R., Conceição, R., Condorelli, A., Consolati, G., Conte, M., Convenga, F., Santos, D. Correia dos, Costa, P. J., Covault, C. E., Cristinziani, M., Sanchez, C. S. Cruz, Dasso, S., Daumiller, K., Dawson, B. R., de Almeida, R. M., de Jesús, J., de Jong, S. J., Neto, J. R. T. de Mello, De Mitri, I., de Oliveira, J., Franco, D. de Oliveira, de Palma, F., de Souza, V., de Errico, B. P. de Souza, De Vito, E., Del Popolo, A., Deligny, O., Denner, N., Deval, L., di Matteo, A., Dobre, M., Dobrigkeit, C., D'Olivo, J. C., Mendes, L. M. Domingues, Dorosti, Q., Anjos, J. C. dos, Anjos, R. C. dos, Ebr, J., Ellwanger, F., Emam, M., Engel, R., Epicoco, I., Erdmann, M., Etchegoyen, A., Evoli, C., Falcke, H., Farmer, J., Farrar, G., Fauth, A. C., Fazzini, N., Feldbusch, F., Fenu, F., Fernandes, A., Fick, B., Figueira, J. M., Filipčič, A., Fitoussi, T., Flaggs, B., Fodran, T., Fujii, T., Fuster, A., Galea, C., Galelli, C., García, B., Gaudu, C., Gemmeke, H., Gesualdi, F., Gherghel-Lascu, A., Ghia, P. L., Giaccari, U., Glombitza, J., Gobbi, F., Gollan, F., Golup, G., Berisso, M. Gómez, Vitale, P. F. Gómez, Gongora, J. P., González, J. M., González, N., Goos, I., Góra, D., Gorgi, A., Gottowik, M., Grubb, T. D., Guarino, F., Guedes, G. P., Guido, E., Gülzow, L., Hahn, S., Hamal, P., Hampel, M. R., Hansen, P., Harari, D., Harvey, V. M., Haungs, A., Hebbeker, T., Hojvat, C., Hörandel, J. R., Horvath, P., Hrabovský, M., Huege, T., Insolia, A., Isar, P. G., Janecek, P., Jilek, V., Johnsen, J. A., Jurysek, J., Kampert, K. -H., Keilhauer, B., Khakurdikar, A., Covilakam, V. V. Kizakke, Klages, H. O., Kleifges, M., Knapp, F., Köhler, J., Kunka, N., Lago, B. L., Langner, N., de Oliveira, M. A. Leigui, Lema-Capeans, Y., Letessier-Selvon, A., Lhenry-Yvon, I., Lopes, L., Lu, L., Luce, Q., Lundquist, J. P., Payeras, A. Machado, Majercakova, M., Mandat, D., Manning, B. C., Mantsch, P., Marafico, S., Mariani, F. M., Mariazzi, A. G., Mariş, I. C., Marsella, G., Martello, D., Martinelli, S., Bravo, O. Martínez, Martins, M. A., Mathes, H. -J., Matthews, J., Matthiae, G., Mayotte, E., Mayotte, S., Mazur, P. O., Medina-Tanco, G., Meinert, J., Melo, D., Menshikov, A., Merx, C., Michal, S., Micheletti, M. I., Miramonti, L., Mollerach, S., Montanet, F., Morejon, L., Morello, C., Mulrey, K., Mussa, R., Namasaka, W. M., Negi, S., Nellen, L., Nguyen, K., Nicora, G., Niechciol, M., Nitz, D., Nosek, D., Novotny, V., Nožka, L., Nucita, A., Núñez, L. A., Oliveira, C., Palatka, M., Pallotta, J., Panja, S., Parente, G., Paulsen, T., Pawlowsky, J., Pech, M., Pękala, J., Pelayo, R., Pereira, L. A. S., Martins, E. E. Pereira, Armand, J. Perez, Bertolli, C. Pérez, Perrone, L., Petrera, S., Petrucci, C., Pierog, T., Pimenta, M., Platino, M., Pont, B., Pothast, M., Shahvar, M. Pourmohammad, Privitera, P., Prouza, M., Puyleart, A., Querchfeld, S., Rautenberg, J., Ravignani, D., Akim, J. V. Reginatto, Reininghaus, M., Ridky, J., Riehn, F., Risse, M., Rizi, V., de Carvalho, W. Rodrigues, Rodriguez, E., Rojo, J. Rodriguez, Roncoroni, M. J., Rossoni, S., Roth, M., Roulet, E., Rovero, A. C., Ruehl, P., Saftoiu, A., Saharan, M., Salamida, F., Salazar, H., Salina, G., Gomez, J. D. Sanabria, Sánchez, F., Santos, E. M., Santos, E., Sarazin, F., Sarmento, R., Sato, R., Savina, P., Schäfer, C. M., Scherini, V., Schieler, H., Schimassek, M., Schimp, M., Schmidt, D., Scholten, O., Schoorlemmer, H., Schovánek, P., Schröder, F. G., Schulte, J., Schulz, T., Sciutto, S. J., Scornavacche, M., Segreto, A., Sehgal, S., Shivashankara, S. U., Sigl, G., Silli, G., Sima, O., Simkova, K., Simon, F., Smau, R., Šmída, R., Sommers, P., Soriano, J. F., Squartini, R., Stadelmaier, M., Stanič, S., Stasielak, J., Stassi, P., Strähnz, S., Straub, M., Suomijärvi, T., Supanitsky, A. D., Svozilikova, Z., Szadkowski, Z., Tairli, F., Tapia, A., Taricco, C., Timmermans, C., Tkachenko, O., Tobiska, P., Peixoto, C. J. Todero, Tomé, B., Torrès, Z., Travaini, A., Travnicek, P., Trimarelli, C., Tueros, M., Unger, M., Vaclavek, L., Vacula, M., Galicia, J. F. Valdés, Valore, L., Varela, E., Vásquez-Ramírez, A., Veberič, D., Ventura, C., Quispe, I. D. Vergara, Verzi, V., Vicha, J., Vink, J., Vorobiov, S., Watanabe, C., Watson, A. A., Weindl, A., Wiencke, L., Wilczyński, H., Wittkowski, D., Wundheiler, B., Yue, B., Yushkov, A., Zapparrata, O., Zas, E., Zavrtanik, D., and Zavrtanik, M.
- Subjects
Astrophysics - High Energy Astrophysical Phenomena ,Astrophysics - Instrumentation and Methods for Astrophysics - Abstract
We show, for the first time, radio measurements of the depth of shower maximum ($X_\text{max}$) of air showers induced by cosmic rays that are compared to measurements of the established fluorescence method at the same location. Using measurements at the Pierre Auger Observatory we show full compatibility between our radio and the previously published fluorescence data set, and between a subset of air showers observed simultaneously with both radio and fluorescence techniques, a measurement setup unique to the Pierre Auger Observatory. Furthermore, we show radio $X_\text{max}$ resolution as a function of energy and demonstrate the ability to make competitive high-resolution $X_\text{max}$ measurements with even a sparse radio array. With this, we show that the radio technique is capable of cosmic-ray mass composition studies, both at Auger and at other experiments., Comment: Submitted to Phys. Rev. Lett
- Published
- 2023
104. Circuit Width Estimation via Effect Typing and Linear Dependency (Long Version)
- Author
-
Colledan, Andrea and Lago, Ugo Dal
- Subjects
Computer Science - Programming Languages ,Computer Science - Logic in Computer Science ,Quantum Physics ,D.3.1 ,F.3.1 ,D.2.4 - Abstract
Circuit description languages are a class of quantum programming languages in which programs are classical and produce a description of a quantum computation, in the form of a quantum circuit. Since these programs can leverage all the expressive power of high-level classical languages, circuit description languages have been successfully used to describe complex and practical quantum algorithms, whose circuits, however, may involve many more qubits and gate applications than current quantum architectures can actually muster. In this paper, we present Proto-Quipper-R, a circuit description language endowed with a linear dependent type-and-effect system capable of deriving parametric upper bounds on the width of the circuits produced by a program. We prove both the standard type safety results and that the resulting resource analysis is correct with respect to a big-step operational semantics. We also show that our approach is expressive enough to verify realistic quantum algorithms., Comment: 21 pages (excluding references), 21 figures
- Published
- 2023
105. Knowledge-based in silico models and dataset for the comparative evaluation of mammography AI for a range of breast characteristics, lesion conspicuities and doses
- Author
-
Sizikova, Elena, Saharkhiz, Niloufar, Sharma, Diksha, Lago, Miguel, Sahiner, Berkman, Delfino, Jana G., and Badano, Aldo
- Subjects
Electrical Engineering and Systems Science - Image and Video Processing ,Computer Science - Computer Vision and Pattern Recognition - Abstract
To generate evidence regarding the safety and efficacy of artificial intelligence (AI) enabled medical devices, AI models need to be evaluated on a diverse population of patient cases, some of which may not be readily available. We propose an evaluation approach for testing medical imaging AI models that relies on in silico imaging pipelines in which stochastic digital models of human anatomy (in object space) with and without pathology are imaged using a digital replica imaging acquisition system to generate realistic synthetic image datasets. Here, we release M-SYNTH, a dataset of cohorts with four breast fibroglandular density distributions imaged at different exposure levels using Monte Carlo x-ray simulations with the publicly available Virtual Imaging Clinical Trial for Regulatory Evaluation (VICTRE) toolkit. We utilize the synthetic dataset to analyze AI model performance and find that model performance decreases with increasing breast density and increases with higher mass density, as expected. As exposure levels decrease, AI model performance drops with the highest performance achieved at exposure levels lower than the nominal recommended dose for the breast type., Comment: NeurIPS 2023 Datasets and Benchmarks Track
- Published
- 2023
106. Unlocking Metasurface Practicality for B5G Networks: AI-assisted RIS Planning
- Author
-
Encinas-Lago, Guillermo, Albanese, Antonio, Sciancalepore, Vincenzo, Di Renzo, Marco, and Costa-Pérez, Xavier
- Subjects
Computer Science - Networking and Internet Architecture ,Computer Science - Artificial Intelligence ,Electrical Engineering and Systems Science - Signal Processing - Abstract
The advent of reconfigurable intelligent surfaces(RISs) brings along significant improvements for wireless technology on the verge of beyond-fifth-generation networks (B5G).The proven flexibility in influencing the propagation environment opens up the possibility of programmatically altering the wireless channel to the advantage of network designers, enabling the exploitation of higher-frequency bands for superior throughput overcoming the challenging electromagnetic (EM) propagation properties at these frequency bands. However, RISs are not magic bullets. Their employment comes with significant complexity, requiring ad-hoc deployments and management operations to come to fruition. In this paper, we tackle the open problem of bringing RISs to the field, focusing on areas with little or no coverage. In fact, we present a first-of-its-kind deep reinforcement learning (DRL) solution, dubbed as D-RISA, which trains a DRL agent and, in turn, obtain san optimal RIS deployment. We validate our framework in the indoor scenario of the Rennes railway station in France, assessing the performance of our algorithm against state-of-the-art (SOA) approaches. Our benchmarks showcase better coverage, i.e., 10-dB increase in minimum signal-to-noise ratio (SNR), at lower computational time (up to -25 percent) while improving scalability towards denser network deployments.
- Published
- 2023
107. Ground observations of a space laser for the assessment of its in-orbit performance
- Author
-
The Pierre Auger Collaboration, Lux, O., Krisch, I., Reitebuch, O., Huber, D., Wernham, D., Parrinello, T., Halim, A. Abdul, Abreu, P., Aglietta, M., Allekotte, I., Cheminant, K. Almeida, Almela, A., Aloisio, R., Alvarez-Muñiz, J., Yebra, J. Ammerman, Anastasi, G. A., Anchordoqui, L., Andrada, B., Andringa, S., Anukriti, Apollonio, L., Aramo, C., Ferreira, P. R. Araújo, Arnone, E., Velázquez, J. C. Arteaga, Assis, P., Avila, G., Avocone, E., Badescu, A. M., Bakalova, A., Barbato, F., Mocellin, A. Bartz, Bellido, J. A., Berat, C., Bertaina, M. E., Bhatta, G., Bianciotto, M., Biermann, P. L., Binet, V., Bismark, K., Bister, T., Biteau, J., Blazek, J., Bleve, C., Blümer, J., Boháčová, M., Boncioli, D., Bonifazi, C., Arbeletche, L. Bonneau, Borodai, N., Brack, J., Orchera, P. G. Brichetto, Briechle, F. L., Bueno, A., Buitink, S., Buscemi, M., Bwembya, A., Büsken, M., Caballero-Mora, K. S., Cabana-Freire, S., Caccianiga, L., Caruso, R., Castellina, A., Catalani, F., Cataldi, G., Cazon, L., Cerda, M., Cermenati, A., Chinellato, J. A., Chudoba, J., Chytka, L., Clay, R. W., Cerutti, A. C. Cobos, Colalillo, R., Coleman, A., Coluccia, M. R., Conceição, R., Condorelli, A., Consolati, G., Conte, M., Convenga, F., Santos, D. Correia dos, Costa, P. J., Covault, C. E., Cristinziani, M., Sanchez, C. S. Cruz, Dasso, S., Daumiller, K., Dawson, B. R., de Almeida, R. M., de Jesús, J., de Jong, S. J., Neto, J. R. T. de Mello, De Mitri, I., de Oliveira, J., Franco, D. de Oliveira, de Palma, F., de Souza, V., de Errico, B. P. de Souza, De Vito, E., Del Popolo, A., Deligny, O., Denner, N., Deval, L., di Matteo, A., Dobre, M., Dobrigkeit, C., D'Olivo, J. C., Mendes, L. M. Domingues, Dorosti, Q., Anjos, J. C. dos, Anjos, R. C. dos, Ebr, J., Ellwanger, F., Emam, M., Engel, R., Epicoco, I., Erdmann, M., Etchegoyen, A., Evoli, C., Falcke, H., Farmer, J., Farrar, G., Fauth, A. C., Fazzini, N., Feldbusch, F., Fenu, F., Fernandes, A., Fick, B., Figueira, J. M., Filipčič, A., Fitoussi, T., Flaggs, B., Fodran, T., Fujii, T., Fuster, A., Galea, C., Galelli, C., García, B., Gaudu, C., Gemmeke, H., Gesualdi, F., Gherghel-Lascu, A., Ghia, P. L., Giaccari, U., Glombitza, J., Gobbi, F., Gollan, F., Golup, G., Gongora, J. P., González, J. M., González, N., Goos, I., Gorgi, A., Gottowik, M., Grubb, T. D., Guarino, F., Guedes, G. P., Guido, E., Berisso, M. Gómez, Vitale, P. F. Gómez, Góra, D., Gülzow, L., Hahn, S., Hamal, P., Hampel, M. R., Hansen, P., Harari, D., Harvey, V. M., Haungs, A., Hebbeker, T., Hojvat, C., Horvath, P., Hrabovský, M., Huege, T., Hörandel, J. R., Insolia, A., Isar, P. G., Janecek, P., Johnsen, J. A., Jurysek, J., Kampert, K. H., Keilhauer, B., Khakurdikar, A., Covilakam, V. V. Kizakke, Klages, H. O., Kleifges, M., Knapp, F., Kunka, N., Köhler, J., Lago, B. L., Langner, N., de Oliveira, M. A. Leigui, Lema-Capeans, Y., Letessier-Selvon, A., Lhenry-Yvon, I., Lopes, L., Lu, L., Luce, Q., Lundquist, J. P., Payeras, A. Machado, Majercakova, M., Mandat, D., Manning, B. C., Mantsch, P., Marafico, S., Mariani, F. M., Mariazzi, A. G., Mariş, I. C., Marsella, G., Martello, D., Martinelli, S., Martins, M. A., Bravo, O. Martínez, Mathes, H. J., Matthews, J., Matthiae, G., Mayotte, E., Mayotte, S., Mazur, P. O., Medina-Tanco, G., Meinert, J., Melo, D., Menshikov, A., Merx, C., Michal, S., Micheletti, M. I., Miramonti, L., Mollerach, S., Montanet, F., Morejon, L., Morello, C., Mulrey, K., Mussa, R., Namasaka, W. M., Negi, S., Nellen, L., Nguyen, K., Nicora, G., Niechciol, M., Nitz, D., Nosek, D., Novotny, V., Nožka, L., Nucita, A., Núñez, L. A., Oliveira, C., Palatka, M., Pallotta, J., Panja, S., Parente, G., Paulsen, T., Pawlowsky, J., Pech, M., Pelayo, R., Pereira, L. A. S., Martins, E. E. Pereira, Armand, J. Perez, Perrone, L., Petrera, S., Petrucci, C., Pierog, T., Pimenta, M., Platino, M., Pont, B., Pothast, M., Shahvar, M. Pourmohammad, Privitera, P., Prouza, M., Puyleart, A., Bertolli, C. Pérez, Pękala, J., Querchfeld, S., Rautenberg, J., Ravignani, D., Akim, J. V. Reginatto, Reininghaus, M., Ridky, J., Riehn, F., Risse, M., Rizi, V., de Carvalho, W. Rodrigues, Rodriguez, E., Rojo, J. Rodriguez, Roncoroni, M. J., Rossoni, S., Roth, M., Roulet, E., Rovero, A. C., Ruehl, P., Saftoiu, A., Saharan, M., Salamida, F., Salazar, H., Salina, G., Gomez, J. D. Sanabria, Santos, E. M., Santos, E., Sarazin, F., Sarmento, R., Sato, R., Savina, P., Scherini, V., Schieler, H., Schimassek, M., Schimp, M., Schmidt, D., Scholten, O., Schoorlemmer, H., Schovánek, P., Schröder, F. G., Schulte, J., Schulz, T., Schäfer, C. M., Sciutto, S. J., Scornavacche, M., Segreto, A., Sehgal, S., Shivashankara, S. U., Sigl, G., Silli, G., Sima, O., Simkova, K., Simon, F., Smau, R., Šmída, R., Sommers, P., Soriano, J. F., Squartini, R., Stadelmaier, M., Stanič, S., Stasielak, J., Stassi, P., Straub, M., Strähnz, S., Suomijärvi, T., Supanitsky, A. D., Svozilikova, Z., Szadkowski, Z., Sánchez, F., Tairli, F., Tapia, A., Taricco, C., Timmermans, C., Tkachenko, O., Tobiska, P., Peixoto, C. J. Todero, Tomé, B., Torrès, Z., Travaini, A., Travnicek, P., Trimarelli, C., Tueros, M., Unger, M., Vaclavek, L., Vacula, M., Galicia, J. F. Valdés, Valore, L., Varela, E., Veberič, D., Ventura, C., Quispe, I. D. Vergara, Verzi, V., Vicha, J., Vink, J., Vlastimil, J., Vorobiov, S., Vásquez-Ramírez, A., Watanabe, C., Watson, A. A., Weindl, A., Wiencke, L., Wilczyński, H., Wittkowski, D., Wundheiler, B., Yue, B., Yushkov, A., Zapparrata, O., Zas, E., Zavrtanik, D., and Zavrtanik, M.
- Subjects
Astrophysics - Instrumentation and Methods for Astrophysics ,Physics - Atmospheric and Oceanic Physics ,Physics - Optics - Abstract
The wind mission Aeolus of the European Space Agency was a groundbreaking achievement for Earth observation. Between 2018 and 2023, the space-borne lidar instrument ALADIN onboard the Aeolus satellite measured atmospheric wind profiles with global coverage which contributed to improving the accuracy of numerical weather prediction. The precision of the wind observations, however, declined over the course of the mission due to a progressive loss of the atmospheric backscatter signal. The analysis of the root cause was supported by the Pierre Auger Observatory in Argentina whose fluorescence detector registered the ultraviolet laser pulses emitted from the instrument in space, thereby offering an estimation of the laser energy at the exit of the instrument for several days in 2019, 2020 and 2021. The reconstruction of the laser beam not only allowed for an independent assessment of the Aeolus performance, but also helped to improve the accuracy in the determination of the laser beam's ground track on single pulse level. The results presented in this paper set a precedent for the monitoring of space lasers by ground-based telescopes and open new possibilities for the calibration of cosmic-ray observatories., Comment: 10 pages, 10 figures
- Published
- 2023
108. The Pierre Auger Observatory Open Data
- Author
-
The Pierre Auger Collaboration, Halim, A. Abdul, Abreu, P., Aglietta, M., Allekotte, I., Cheminant, K. Almeida, Almela, A., Aloisio, R., Alvarez-Muñiz, J., Yebra, J. Ammerman, Anastasi, G. A., Anchordoqui, L., Andrada, B., Dourado, L. Andrade, Andringa, S., Apollonio, L., Aramo, C., Ferreira, P. R. Araújo, Arnone, E., Velázquez, J. C. Arteaga, Assis, P., Avila, G., Avocone, E., Bakalova, A., Barbato, F., Mocellin, A. Bartz, Bellido, J. A., Berat, C., Bertaina, M. E., Bertou, X., Bhatta, G., Bianciotto, M., Biermann, P. L., Binet, V., Bismark, K., Bister, T., Biteau, J., Blazek, J., Bleve, C., Blümer, J., Boháčová, M., Boncioli, D., Bonifazi, C., Arbeletche, L. Bonneau, Borodai, N., Brack, J., Orchera, P. G. Brichetto, Briechle, F. L., Bueno, A., Buitink, S., Buscemi, M., Büsken, M., Bwembya, A., Caballero-Mora, K. S., Cabana-Freire, S., Caccianiga, L., Campuzano, F., Caruso, R., Castellina, A., Catalani, F., Cataldi, G., Cazon, L., Cerda, M., Čermáková, B., Cermenati, A., Chinellato, J. A., Chudoba, J., Chytka, L., Clay, R. W., Cerutti, A. C. Cobos, Colalillo, R., Conceição, R., Condorelli, A., Consolati, G., Conte, M., Convenga, F., Santos, D. Correia dos, Costa, P. J., Covault, C. E., Cristinziani, M., Sanchez, C. S. Cruz, Dasso, S., Daumiller, K., Dawson, B. R., de Almeida, R. M., de Errico, B., de Jesús, J., de Jong, S. J., Neto, J. R. T. de Mello, De Mitri, I., de Oliveira, J., Franco, D. de Oliveira, de Palma, F., de Souza, V., De Vito, E., Del Popolo, A., Deligny, O., Denner, N., Deval, L., di Matteo, A., Dobre, M., Dobrigkeit, C., D'Olivo, J. C., Mendes, L. M. Domingues, Dorosti, Q., Anjos, J. C. dos, Anjos, R. C. dos, Ebr, J., Ellwanger, F., Emam, M., Engel, R., Epicoco, I., Erdmann, M., Etchegoyen, A., Evoli, C., Falcke, H., Farrar, G., Fauth, A. C., Fehler, T., Feldbusch, F., Fernandes, A., Fick, B., Figueira, J. M., Filip, P., Filipčič, A., Fitoussi, T., Flaggs, B., Fodran, T., Freitas, M., Fujii, T., Fuster, A., Galea, C., García, B., Gaudu, C., Ghia, P. L., Giaccari, U., Glombitza, J., Gobbi, F., Gollan, F., Golup, G., Berisso, M. Gómez, Vitale, P. F. Gómez, Gongora, J. P., González, J. M., González, N., Góra, D., Gorgi, A., Gottowik, M., Guarino, F., Guedes, G. P., Guido, E., Gülzow, L., Hahn, S., Hamal, P., Hampel, M. R., Hansen, P., Harvey, V. M., Haungs, A., Hebbeker, T., Hojvat, C., Hörandel, J. R., Horvath, P., Hrabovský, M., Huege, T., Insolia, A., Isar, P. G., Janecek, P., Jilek, V., Jurysek, J., Kampert, K. -H., Keilhauer, B., Khakurdikar, A., Covilakam, V. V. Kizakke, Klages, H. O., Kleifges, M., Knapp, F., Köhler, J., Krieger, F., Kubatova, M., Kunka, N., Lago, B. L., Langner, N., de Oliveira, M. A. Leigui, Lema-Capeans, Y., Letessier-Selvon, A., Lhenry-Yvon, I., Lopes, L., Lundquist, J. P., Payeras, A. Machado, Mandat, D., Manning, B. C., Mantsch, P., Mariani, F. M., Mariazzi, A. G., Mariş, I. C., Marsella, G., Martello, D., Martinelli, S., Bravo, O. Martínez, Martins, M. A., Mathes, H. -J., Matthews, J., Matthiae, G., Mayotte, E., Mayotte, S., Mazur, P. O., Medina-Tanco, G., Meinert, J., Melo, D., Menshikov, A., Merx, C., Michal, S., Micheletti, M. I., Miramonti, L., Mollerach, S., Montanet, F., Morejon, L., Mulrey, K., Mussa, R., Namasaka, W. M., Negi, S., Nellen, L., Nguyen, K., Nicora, G., Niechciol, M., Nitz, D., Nosek, D., Novotny, V., Nožka, L., Nucita, A., Núñez, L. A., Oliveira, C., Palatka, M., Pallotta, J., Panja, S., Parente, G., Paulsen, T., Pawlowsky, J., Pech, M., Pękala, J., Pelayo, R., Pelgrims, V., Pereira, L. A. S., Martins, E. E. Pereira, Bertolli, C. Pérez, Perrone, L., Petrera, S., Petrucci, C., Pierog, T., Pimenta, M., Platino, M., Pont, B., Pothast, M., Shahvar, M. Pourmohammad, Privitera, P., Prouza, M., Querchfeld, S., Rautenberg, J., Ravignani, D., Akim, J. V. Reginatto, Reuzki, A., Ridky, J., Riehn, F., Risse, M., Rizi, V., Rodriguez, E., Rojo, J. Rodriguez, Roncoroni, M. J., Rossoni, S., Roth, M., Roulet, E., Rovero, A. C., Saftoiu, A., Saharan, M., Salamida, F., Salazar, H., Salina, G., Sampathkumar, P., Gomez, J. D. Sanabria, Sánchez, F., Santos, E. M., Santos, E., Sarazin, F., Sarmento, R., Sato, R., Schäfer, C. M., Scherini, V., Schieler, H., Schimassek, M., Schimp, M., Schmidt, D., Scholten, O., Schoorlemmer, H., Schovánek, P., Schröder, F. G., Schulte, J., Schulz, T., Sciutto, S. J., Scornavacche, M., Sedoski, A., Segreto, A., Sehgal, S., Shivashankara, S. U., Sigl, G., Simkova, K., Simon, F., Smau, R., Šmída, R., Sommers, P., Squartini, R., Stadelmaier, M., Stanič, S., Stasielak, J., Stassi, P., Strähnz, S., Straub, M., Suomijärvi, T., Supanitsky, A. D., Svozilikova, Z., Szadkowski, Z., Tairli, F., Tapia, A., Taricco, C., Timmermans, C., Tkachenko, O., Tobiska, P., Peixoto, C. J. Todero, Tomé, B., Torrès, Z., Travaini, A., Travnicek, P., Tueros, M., Unger, M., Uzeiroska, R., Vaclavek, L., Vacula, M., Galicia, J. F. Valdés, Valore, L., Varela, E., Vašíčková, V., Vásquez-Ramírez, A., Veberič, D., Quispe, I. D. Vergara, Verzi, V., Vicha, J., Vink, J., Vorobiov, S., Watanabe, C., Watson, A. A., Weindl, A., Weitz, M., Wiencke, L., Wilczyński, H., Wittkowski, D., Wundheiler, B., Yue, B., Yushkov, A., Zapparrata, O., Zas, E., Zavrtanik, D., and Zavrtanik, M.
- Subjects
Astrophysics - High Energy Astrophysical Phenomena ,Astrophysics - Instrumentation and Methods for Astrophysics - Abstract
The Pierre Auger Collaboration has embraced the concept of open access to their research data since its foundation, with the aim of giving access to the widest possible community. A gradual process of release began as early as 2007 when 1% of the cosmic-ray data was made public, along with 100% of the space-weather information. In February 2021, a portal was released containing 10% of cosmic-ray data collected from 2004 to 2018, during Phase I of the Observatory. The Portal included detailed documentation about the detection and reconstruction procedures, analysis codes that can be easily used and modified and, additionally, visualization tools. Since then the Portal has been updated and extended. In 2023, a catalog of the 100 highest-energy cosmic-ray events examined in depth has been included. A specific section dedicated to educational use has been developed with the expectation that these data will be explored by a wide and diverse community including professional and citizen-scientists, and used for educational and outreach initiatives. This paper describes the context, the spirit and the technical implementation of the release of data by the largest cosmic-ray detector ever built, and anticipates its future developments., Comment: 27 pages, 8 figures
- Published
- 2023
109. AugerPrime Surface Detector Electronics
- Author
-
The Pierre Auger Collaboration, Halim, A. Abdul, Abreu, P., Aglietta, M., Allekotte, I., Cheminant, K. Almeida, Almela, A., Aloisio, R., Alvarez-Muñiz, J., Yebra, J. Ammerman, Anastasi, G. A., Anchordoqui, L., Andrada, B., Andringa, S., Anukriti, Aramo, C., Ferreira, P. R. Araújo, Arnone, E., Velázquez, J. C. Arteaga, Assis, P., Avila, G., Avocone, E., Badescu, A. M., Bakalova, A., Barbato, F., Mocellin, A. Bartz, Bellido, J. A., Berat, C., Bertaina, M. E., Bhatta, G., Bianciotto, M., Biermann, P. L., Binet, V., Bismark, K., Bister, T., Biteau, J., Blazek, J., Bleve, C., Blümer, J., Boháčová, M., Boncioli, D., Bonifazi, C., Arbeletche, L. Bonneau, Borodai, N., Brack, J., Orchera, P. G. Brichetto, Briechle, F. L., Bueno, A., Buitink, S., Buscemi, M., Bwembya, A., Büsken, M., Caballero-Mora, K. S., Cabana-Freire, S., Caccianiga, L., Caruso, R., Castellina, A., Catalani, F., Cataldi, G., Cazon, L., Cerda, M., Cermenati, A., Chinellato, J. A., Chudoba, J., Chytka, L., Clay, R. W., Cerutti, A. C. Cobos, Colalillo, R., Coleman, A., Coluccia, M. R., Conceição, R., Condorelli, A., Consolati, G., Conte, M., Convenga, F., Santos, D. Correia dos, Costa, P. J., Covault, C. E., Cristinziani, M., Sanchez, C. S. Cruz, Dasso, S., Daumiller, K., Dawson, B. R., de Almeida, R. M., de Jesús, J., de Jong, S. J., Neto, J. R. T. de Mello, De Mitri, I., de Oliveira, J., Franco, D. de Oliveira, de Palma, F., de Souza, V., de Errico, B. P. de Souza, De Vito, E., Del Popolo, A., Deligny, O., Denner, N., Deval, L., di Matteo, A., Dobre, M., Dobrigkeit, C., D'Olivo, J. C., Mendes, L. M. Domingues, Anjos, J. C. dos, Anjos, R. C. dos, Ebr, J., Ellwanger, F., Emam, M., Engel, R., Epicoco, I., Erdmann, M., Etchegoyen, A., Evoli, C., Falcke, H., Farmer, J., Farrar, G., Fauth, A. C., Fazzini, N., Feldbusch, F., Fenu, F., Fernandes, A., Fick, B., Figueira, J. M., Filipčič, A., Fitoussi, T., Flaggs, B., Fodran, T., Fujii, T., Fuster, A., Galea, C., Galelli, C., García, B., Gaudu, C., Gemmeke, H., Gesualdi, F., Gherghel-Lascu, A., Ghia, P. L., Giaccari, U., Glombitza, J., Gobbi, F., Gollan, F., Golup, G., Gongora, J. P., González, J. M., González, N., Goos, I., Gorgi, A., Gottowik, M., Grubb, T. D., Guarino, F., Guedes, G. P., Guido, E., Berisso, M. Gómez, Vitale, P. F. Gómez, Góra, D., Hahn, S., Hamal, P., Hampel, M. R., Hansen, P., Harari, D., Harvey, V. M., Haungs, A., Hebbeker, T., Hojvat, C., Horvath, P., Hrabovský, M., Huege, T., Hörandel, J. R., Insolia, A., Isar, P. G., Janecek, P., Johnsen, J. A., Jurysek, J., Kampert, K. H., Keilhauer, B., Khakurdikar, A., Covilakam, V. V. Kizakke, Klages, H. O., Kleifges, M., Knapp, F., Kunka, N., Lago, B. L., Langner, N., de Oliveira, M. A. Leigui, Lema-Capeans, Y., Letessier-Selvon, A., Lhenry-Yvon, I., Lopes, L., Lu, L., Luce, Q., Lundquist, J. P., Payeras, A. Machado, Majercakova, M., Mandat, D., Manning, B. C., Mantsch, P., Marafico, S., Mariani, F. M., Mariazzi, A. G., Mariş, I. C., Marsella, G., Martello, D., Martinelli, S., Martins, M. A., Bravo, O. Martínez, Mathes, H. J., Matthews, J., Matthiae, G., Mayotte, E., Mayotte, S., Mazur, P. O., Medina-Tanco, G., Meinert, J., Melo, D., Menshikov, A., Merx, C., Michal, S., Micheletti, M. I., Miramonti, L., Mollerach, S., Montanet, F., Morejon, L., Morello, C., Mulrey, K., Mussa, R., Namasaka, W. M., Negi, S., Nellen, L., Nguyen, K., Nicora, G., Niechciol, M., Nitz, D., Nosek, D., Novotny, V., Nožka, L., Nucita, A., Núñez, L. A., Oliveira, C., Palatka, M., Pallotta, J., Panja, S., Parente, G., Paulsen, T., Pawlowsky, J., Pech, M., Pelayo, R., Pereira, L. A. S., Martins, E. E. Pereira, Armand, J. Perez, Perrone, L., Petrera, S., Petrucci, C., Pierog, T., Pimenta, M., Platino, M., Pont, B., Pothast, M., Shahvar, M. Pourmohammad, Privitera, P., Prouza, M., Puyleart, A., Bertolli, C. Pérez, Pękala, J., Querchfeld, S., Rautenberg, J., Ravignani, D., Akim, J. V. Reginatto, Reininghaus, M., Ridky, J., Riehn, F., Risse, M., Rizi, V., de Carvalho, W. Rodrigues, Rodriguez, E., Rojo, J. Rodriguez, Roncoroni, M. J., Rossoni, S., Roth, M., Roulet, E., Rovero, A. C., Ruehl, P., Saftoiu, A., Saharan, M., Salamida, F., Salazar, H., Salina, G., Gomez, J. D. Sanabria, Santos, E. M., Santos, E., Sarazin, F., Sarmento, R., Sato, R., Savina, P., Scherini, V., Schieler, H., Schimassek, M., Schimp, M., Schmidt, D., Scholten, O., Schoorlemmer, H., Schovánek, P., Schröder, F. G., Schulte, J., Schulz, T., Schäfer, C. M., Sciutto, S. J., Scornavacche, M., Segreto, A., Sehgal, S., Shivashankara, S. U., Sigl, G., Silli, G., Sima, O., Simon, F., Smau, R., Sommers, P., Soriano, J. F., Squartini, R., Stadelmaier, M., Stanič, S., Stasielak, J., Stassi, P., Straub, M., Strähnz, S., Suomijärvi, T., Supanitsky, A. D., Svozilikova, Z., Szadkowski, Z., Sánchez, F., Tairli, F., Tapia, A., Taricco, C., Timmermans, C., Tkachenko, O., Tobiska, P., Peixoto, C. J. Todero, Tomé, B., Torrès, Z., Travaini, A., Travnicek, P., Trimarelli, C., Tueros, M., Unger, M., Vaclavek, L., Vacula, M., Galicia, J. F. Valdés, Valore, L., Varela, E., Veberič, D., Ventura, C., Quispe, I. D. Vergara, Verzi, V., Vicha, J., Vink, J., Vlastimil, J., Vorobiov, S., Vásquez-Ramírez, A., Watanabe, C., Watson, A. A., Weindl, A., Wiencke, L., Wilczyński, H., Wittkowski, D., Wundheiler, B., Yue, B., Yushkov, A., Zapparrata, O., Zas, E., Zavrtanik, D., Zavrtanik, M., and Šmída, R.
- Subjects
Astrophysics - High Energy Astrophysical Phenomena ,Astrophysics - Instrumentation and Methods for Astrophysics - Abstract
Operating since 2004, the Pierre Auger Observatory has led to major advances in our understanding of the ultra-high-energy cosmic rays. The latest findings have revealed new insights that led to the upgrade of the Observatory, with the primary goal of obtaining information on the primary mass of the most energetic cosmic rays on a shower-by-shower basis. In the framework of the upgrade, called AugerPrime, the 1660 water-Cherenkov detectors of the surface array are equipped with plastic scintillators and radio antennas, allowing us to enhance the composition sensitivity. To accommodate new detectors and to increase experimental capabilities, the electronics is also upgraded. This includes better timing with up-to-date GPS receivers, higher sampling frequency, increased dynamic range, and more powerful local processing of the data. In this paper, the design characteristics of the new electronics and the enhanced dynamic range will be described. The manufacturing and test processes will be outlined and the test results will be discussed. The calibration of the SD detector and various performance parameters obtained from the analysis of the first commissioning data will also be presented.
- Published
- 2023
110. JavaScript Dead Code Identification, Elimination, and Empirical Assessment
- Author
-
Malavolta, Ivano, Nirghin, Kishan, Scoccia, Gian Luca, Romano, Simone, Lombardi, Salvatore, Scanniello, Giuseppe, and Lago, Patricia
- Subjects
Computer Science - Software Engineering - Abstract
Web apps are built by using a combination of HTML, CSS, and JavaScript. While building modern web apps, it is common practice to make use of third-party libraries and frameworks, as to improve developers' productivity and code quality. Alongside these benefits, the adoption of such libraries results in the introduction of JavaScript dead code, i.e., code implementing unused functionalities. The costs for downloading and parsing dead code can negatively contribute to the loading time and resource usage of web apps. The goal of our study is two-fold. First, we present Lacuna, an approach for automatically detecting and eliminating JavaScript dead code from web apps. The proposed approach supports both static and dynamic analyses, it is extensible and can be applied to any JavaScript code base, without imposing constraints on the coding style or on the use of specific JavaScript constructs. Secondly, by leveraging Lacuna we conduct an experiment to empirically evaluate the run-time overhead of JavaScript dead code in terms of energy consumption, performance, network usage, and resource usage in the context of mobile web apps. We applied Lacuna four times on 30 mobile web apps independently developed by third-party developers, each time eliminating dead code according to a different optimization level provided by Lacuna. Afterward, each different version of the web app is executed on an Android device, while collecting measures to assess the potential run-time overhead caused by dead code. Experimental results, among others, highlight that the removal of JavaScript dead code has a positive impact on the loading time of mobile web apps, while significantly reducing the number of bytes transferred over the network.
- Published
- 2023
- Full Text
- View/download PDF
111. On Model-Checking Higher-Order Effectful Programs (Long Version)
- Author
-
Lago, Ugo Dal and Ghyselen, Alexis
- Subjects
Computer Science - Logic in Computer Science ,Computer Science - Programming Languages - Abstract
Model-checking is one of the most powerful techniques for verifying systems and programs, which since the pioneering results by Knapik et al., Ong, and Kobayashi, is known to be applicable to functional programs with higher-order types against properties expressed by formulas of monadic second-order logic. What happens when the program in question, in addition to higher-order functions, also exhibits algebraic effects such as probabilistic choice or global store? The results in the literature range from those, mostly positive, about nondeterministic effects, to those about probabilistic effects, in the presence of which even mere reachability becomes undecidable. This work takes a fresh and general look at the problem, first of all showing that there is an elegant and natural way of viewing higher-order programs producing algebraic effects as ordinary higher-order recursion schemes. We then move on to consider effect handlers, showing that in their presence the model checking problem is bound to be undecidable in the general case, while it stays decidable when handlers have a simple syntactic form, still sufficient to capture so-called generic effects. Along the way we hint at how a general specification language could look like, this way justifying some of the results in the literature, and deriving new ones.
- Published
- 2023
112. Basal parasympathetic deficits in C9orf72 hexanucleotide repeat expansion carriers relate to smaller frontoinsula and thalamus volume and lower empathy
- Author
-
Roy, Ashlin RK, Noohi, Fate, Morris, Nathaniel A, Ljubenkov, Peter, Heuer, Hilary, Fong, Jamie, Hall, Matthew, Lago, Argentina Lario, Rankin, Katherine P, Miller, Bruce L, Boxer, Adam L, Rosen, Howard J, Seeley, William W, Perry, David C, Yokoyama, Jennifer S, Lee, Suzee E, and Sturm, Virginia E
- Subjects
Biomedical and Clinical Sciences ,Clinical Sciences ,Dementia ,Rare Diseases ,Neurodegenerative ,Behavioral and Social Science ,Alzheimer's Disease including Alzheimer's Disease Related Dementias (AD/ADRD) ,Acquired Cognitive Impairment ,Clinical Research ,Brain Disorders ,Alzheimer's Disease Related Dementias (ADRD) ,Aging ,Frontotemporal Dementia (FTD) ,Neurosciences ,2.1 Biological and endogenous factors ,Neurological ,Humans ,Female ,Male ,Middle Aged ,C9orf72 Protein ,Aged ,Empathy ,Frontotemporal Dementia ,DNA Repeat Expansion ,Magnetic Resonance Imaging ,Parasympathetic Nervous System ,Thalamus ,Cognitive Dysfunction ,Heterozygote ,Respiratory Sinus Arrhythmia ,Cerebral Cortex ,Autonomic nervous system ,Prosocial behavior ,Insula ,Behavioral variant frontotemporal dementia ,C9orf72 ,autonomic nervous system ,prosocial behavior ,insula ,behavioral variant frontotemporal dementia ,Biological psychology ,Clinical and health psychology - Abstract
Diminished basal parasympathetic nervous system activity is a feature of frontotemporal dementia that relates to left frontoinsula dysfunction and empathy impairment. Individuals with a pathogenic expansion of the hexanucleotide repeat in chromosome 9 open reading frame 72 (C9orf72), the most common genetic cause of frontotemporal dementia and amyotrophic lateral sclerosis, provide a unique opportunity to examine whether parasympathetic activity is disrupted in genetic forms of frontotemporal dementia and to investigate when parasympathetic deficits manifest in the pathophysiological cascade. We measured baseline respiratory sinus arrhythmia, a parasympathetic measure of heart rate variability, over two minutes in a sample of 102 participants that included 19 asymptomatic expansion carriers (C9+ asymp), 14 expansion carriers with mild cognitive impairment (C9+ MCI), 16 symptomatic expansion carriers with frontotemporal dementia (C9+ FTD), and 53 expansion-negative healthy controls (C9- HC) who also underwent structural magnetic resonance imaging. In follow-up analyses, we compared baseline respiratory sinus arrhythmia in the C9+ FTD group with an independent age-, sex-, and clinical severity-matched group of 26 people with sporadic behavioral variant frontotemporal dementia. The Frontotemporal Lobar Degeneration-modified Clinical Dementia Rating-Sum of Boxes score was used to quantify behavioral symptom severity, and informant ratings on the Interpersonal Reactivity Index provided measures of participants' current emotional (empathic concern) and cognitive (perspective-taking) empathy. Results indicated that the C9+ FTD group had lower baseline respiratory sinus arrhythmia than the C9+ MCI, C9+ asymp, and C9- HC groups, a deficit that was comparable to that of sporadic behavioral variant frontotemporal dementia. Linear regression analyses indicated that lower baseline respiratory sinus arrhythmia was associated with worse behavioral symptom severity and lower empathic concern and perspective-taking across the C9orf72 expansion carrier clinical spectrum. Whole-brain voxel-based morphometry analyses in participants with C9orf72 pathogenic expansions found that lower baseline respiratory sinus arrhythmia correlated with smaller gray matter volume in the left frontoinsula and bilateral thalamus, key structures that support parasympathetic function, and in the bilateral parietal lobes, occipital lobes, and cerebellum, regions that are also vulnerable in individuals with C9orf72 expansions. This study provides novel evidence that basal parasympathetic functioning is diminished in FTD due to C9orf72 expansions and suggests that baseline respiratory sinus arrhythmia may be a potential non-invasive biomarker that is sensitive to behavioral symptoms in the early stages of disease.
- Published
- 2024
113. Techniques for Searching for Anisotropy in the Arrival Directions of Ultra-High Energy Cosmic Rays
- Author
-
dos Santos, Diego C., de Almeida, Rogerio M., de Mello Neto, João R. T., and Lago, Bruno L.
- Published
- 2025
- Full Text
- View/download PDF
114. Rechallenge with Anti-EGFR Treatment in RAS/BRAF wt Metastatic Colorectal Cancer (mCRC) in Real Clinical Practice: Experience of the GITuD Group
- Author
-
Salgado Fernández, Mercedes, Reboredo López, Margarita, Covela Rúa, Marta, Candamio, Sonia, González-Villarroel, Paula, Sánchez-Cousido, Luis Felipe, Graña, Begoña, Carral-Maseda, Alberto, Cameselle-García, Soledad, Varela Pose, Vanesa, Gallardo-Martín, Maria Elena, and Martínez-Lago, Nieves
- Published
- 2024
- Full Text
- View/download PDF
115. Is there a preferred platinum and fluoropyrimidine regimen for advanced HER2-negative esophagogastric adenocarcinoma? Insights from 1293 patients in AGAMENON–SEOM registry
- Author
-
Arias-Martinez, Aranzazu, Martínez de Castro, Eva, Gallego, Javier, Arrazubi, Virginia, Custodio, Ana, Fernández Montes, Ana, Diez, Marc, Hernandez, Raquel, Limón, María Luisa, Cano, Juana María, Vidal-Tocino, Rosario, Macias, Ismael, Visa, Laura, Martin Richard, Marta, Sauri, Tamara, Hierro, Cinta, Gil, Mireia, Cerda, Paula, Martínez Moreno, Elia, Martínez Lago, Nieves, Mérida-García, Antonio José, Gómez González, Lucía, García Navalón, Francisco Javier, Ruiz Martín, Maribel, Marín, Gema, López-López, Flora, Ruperez Blanco, Ana Belen, Fernández, Alejandro Francisco, Jimenez-Fonseca, Paula, Carmona-Bayonas, Alberto, and Alvarez-Manceñido, Felipe
- Published
- 2024
- Full Text
- View/download PDF
116. Increasing the Fertilizer Efficiency of Potassium Silicate by Co-Pyrolysis and Chemical Activation
- Author
-
Leite, Aline do Amaral, Resende, Isabela Almeida Durães de, Lago, Bruno Cocco, Barrera, Ana Maria Villarreal, Montes, Andrés Olaya, de Assis Pereira, Thiago, Dourado Leal Queiroz, Daniela, and Melo, Leônidas Carrijo Azevedo
- Published
- 2024
- Full Text
- View/download PDF
117. Garlic (Allium sativum) as a dietary ingredient can cause dysbiosis in the microbiota of the California yellowtail (Seriola dorsalis) at high concentrations
- Author
-
Valenzuela-Gutiérrez, Rocío, Lago-Lestón, Asunción, Cicala, Francesco, Hernández-Rodríguez, Mónica, Barón-Sevilla, Benjamín, Armuelles-Bernal, Candy Elizabeth, Vargas-Albores, Francisco, Garibay-Valdez, Estefanía, Gómez-Reyes, Ricardo, and Martínez-Porchas, Marcel
- Published
- 2024
- Full Text
- View/download PDF
118. Aquatic therapy improves self-reported sleep quality in fibromyalgia patients: a systematic review and meta-analysis
- Author
-
Bravo, Cristina, Rubí-Carnacea, Francesc, Colomo, Iolanda, Sánchez-de-la-Torre, Manuel, Fernández-Lago, Helena, and Climent-Sanz, Carolina
- Published
- 2024
- Full Text
- View/download PDF
119. Endometrial cancer: predictors and oncological safety of tumor tissue manipulation
- Author
-
Quintana-Bertó, Raquel, Padilla-Iserte, Pablo, Lago, Víctor, Tauste, Carmen, Díaz-Feijoo, Berta, Cabrera, Silvia, Oliver-Pérez, Reyes, Coronado, Pluvio J., Martín-Salamanca, María Belén, Pantoja-Garrido, Manuel, Marcos-Sanmartin, Josefa, Cazorla, Eduardo, Lorenzo, Cristina, Rodríguez-Hernández, José Ramón, Roldán-Rivas, Fernando, Gilabert-Estellés, Juan, Muruzábal, Juan Carlos, Cañada, Antonio, and Domingo, Santiago
- Published
- 2024
- Full Text
- View/download PDF
120. The Giant Radio Array for Neutrino Detection (GRAND) Collaboration -- Contributions to the 38th International Cosmic Ray Conference (ICRC 2023)
- Author
-
GRAND Collaboration, Batista, Rafael Alves, Benoit-Lévy, Aurélien, Bister, Teresa, Bustamante, Mauricio, Chen, Yiren, Cheng, LingMei, Chiche, Simon, Colley, Jean-Marc, Correa, Pablo, Laurenciu, Nicoleta Cucu, Dai, Zigao, de Errico, Beatriz, de Jong, Sijbrand, Neto, João R. T. de Mello, de Vries, Krijn D., Denton, Peter B., Decoene, Valentin, Duan, Kaikai, Duan, Bohao, Engel, Ralph, Fan, Yizhong, Ferrière, Arsène, Gou, QuanBu, Gu, Junhua, Guelfand, Marion, Guo, Jianhua, Guo, Yiqing, Gupta, Vaidhai, Guépin, Claire, Gülzow, Lukas, Haungs, Andreas, He, Haoning, Hivon, Eric, Hu, Hongbo, Huang, Xiaoyuan, Huang, Yan, Huege, Tim, Jiang, Wen, Koirala, Ramesh, Kotera, Kumiko, Köhler, Jelena, Lago, Bruno L., Coz, Sandra Le, Legrand, François, Leisos, Antonios, Li, Rui, Liu, Cheng, Liu, Ruoyu, Liu, Wei, Ma, Pengxiong, Macias, Oscar, Magnard, Frédéric, Martineau-Huynh, Olivier, Mikhno, Ananstasiia, Mitra, Pragati, Mostafá, Miguel, Mottez, Fabrice, Mouette, Jean, Murase, Kohta, Niess, Valentin, Nonis, Stavros, Ogio, Shoichi, Oikonomou, Foteini, Pierog, Tanguy, Piotrowski, Lech Wiktor, Poisvert, Pierre, Prunet, Simon, Qian, Xiangli, Roth, Markus, Sako, Takashi, Schoorlemmer, Harm, Steeman, Bart, Szálas-Motesiczky, Dániel, Sławiński, Szymon, Timmermans, Anne, Timmermans, Charles, Tsirigotis, Apostolos, Tueros, Matías, Wang, Shen, Wang, Xiangyu, Wang, Xu, Wei, Daming, Wei, Feng, Wu, Xiangping, Wu, Xuefeng, Xu, Xin, Xu, Xing, Yang, Lili, Yang, Xuan, Yuan, Qiang, Zarka, Philippe, Zeng, Houdun, Zhang, Chao, Zhang, Jianli, Zhang, Kewen, Zhang, Pengfei, Zhang, Songbo, and Zhou, Hao
- Subjects
High Energy Physics - Experiment ,Astrophysics - High Energy Astrophysical Phenomena ,Astrophysics - Instrumentation and Methods for Astrophysics ,High Energy Physics - Phenomenology - Abstract
The Giant Radio Array for Neutrino Detection (GRAND) is an envisioned observatory of ultra-high-energy particles of cosmic origin, with energies in excess of 100 PeV. GRAND uses large surface arrays of autonomous radio-detection units to look for the radio emission from extensive air showers that are triggered by the interaction of ultra-high-energy cosmic rays, gamma rays, and neutrinos in the atmosphere or underground. In particular, for ultra-high-energy neutrinos, the future final phase of GRAND aims to be sensitive enough to discover them in spite of their plausibly tiny flux. Presently, three prototype GRAND radio arrays are in operation: GRANDProto300, in China, GRAND@Auger, in Argentina, and GRAND@Nancay, in France. Their goals are to field-test the design of the radio-detection units, understand the radio background to which they are exposed, and develop tools for diagnostic, data gathering, and data analysis. This list of contributions to the 38th International Cosmic Ray Conference (ICRC 2023) presents an overview of GRAND, in its present and future incarnations, and a look at the first data collected by GRANDProto13, the first phase of GRANDProto300., Comment: Note: To access the list of contributions, please follow the "HTML" link that can be found on the arXiv page (v2: fixed name spelling of one author)
- Published
- 2023
121. Search for UHE Photons from Gravitational Wave Sources with the Pierre Auger Observatory
- Author
-
The Pierre Auger Collaboration, Halim, A. Abdul, Abreu, P., Aglietta, M., Allekotte, I., Cheminant, K. Almeida, Almela, A., Alvarez-Muñiz, J., Yebra, J. Ammerman, Anastasi, G. A., Anchordoqui, L., Andrada, B., Andringa, S., Aramo, C., Ferreira, P. R. Araújo, Arnone, E., Velázquez, J. C. Arteaga, Asorey, H., Assis, P., Avila, G., Avocone, E., Badescu, A. M., Bakalova, A., Balaceanu, A., Barbato, F., Bellido, J. A., Berat, C., Bertaina, M. E., Bhatta, G., Biermann, P. L., Binet, V., Bismark, K., Bister, T., Biteau, J., Blazek, J., Bleve, C., Blümer, J., Boháčová, M., Boncioli, D., Bonifazi, C., Arbeletche, L. Bonneau, Borodai, N., Brack, J., Bretz, T., Orchera, P. G. Brichetto, Briechle, F. L., Buchholz, P., Bueno, A., Buitink, S., Buscemi, M., Büsken, M., Bwembya, A., Caballero-Mora, K. S., Caccianiga, L., Caracas, I., Caruso, R., Castellina, A., Catalani, F., Cataldi, G., Cazon, L., Cerda, M., Chinellato, J. A., Chudoba, J., Chytka, L., Clay, R. W., Cerutti, A. C. Cobos, Colalillo, R., Coleman, A., Coluccia, M. R., Conceição, R., Condorelli, A., Consolati, G., Conte, M., Contreras, F., Convenga, F., Santos, D. Correia dos, Costa, P. J., Covault, C. E., Cristinziani, M., Sanchez, C. S. Cruz, Dasso, S., Daumiller, K., Dawson, B. R., de Almeida, R. M., de Jesús, J., de Jong, S. J., Neto, J. R. T. de Mello, De Mitri, I., de Oliveira, J., Franco, D. de Oliveira, de Palma, F., de Souza, V., De Vito, E., Del Popolo, A., Deligny, O., Deval, L., di Matteo, A., Dobre, M., Dobrigkeit, C., D'Olivo, J. C., Mendes, L. M. Domingues, Anjos, R. C. dos, Ebr, J., Emam, M., Engel, R., Epicoco, I., Erdmann, M., Etchegoyen, A., Falcke, H., Farmer, J., Farrar, G., Fauth, A. C., Fazzini, N., Feldbusch, F., Fenu, F., Fernandes, A., Fick, B., Figueira, J. M., Filipčič, A., Fitoussi, T., Flaggs, B., Fodran, T., Fujii, T., Fuster, A., Galea, C., Galelli, C., García, B., Gemmeke, H., Gesualdi, F., Gherghel-Lascu, A., Ghia, P. L., Giaccari, U., Giammarchi, M., Glombitza, J., Gobbi, F., Gollan, F., Golup, G., Berisso, M. Gómez, Vitale, P. F. Gómez, Gongora, J. P., González, J. M., González, N., Goos, I., Góra, D., Gorgi, A., Gottowik, M., Grubb, T. D., Guarino, F., Guedes, G. P., Guido, E., Hahn, S., Hamal, P., Hampel, M. R., Hansen, P., Harari, D., Harvey, V. M., Haungs, A., Hebbeker, T., Heck, D., Hojvat, C., Hörandel, J. R., Horvath, P., Hrabovský, M., Huege, T., Insolia, A., Isar, P. G., Janecek, P., Johnsen, J. A., Jurysek, J., Kääpä, A., Kampert, K. H., Keilhauer, B., Khakurdikar, A., Covilakam, V. V. Kizakke, Klages, H. O., Kleifges, M., Kleinfeller, J., Knapp, F., Kunka, N., Lago, B. L., Langner, N., de Oliveira, M. A. Leigui, Lenok, V., Letessier-Selvon, A., Lhenry-Yvon, I., Presti, D. Lo, Lopes, L., López, R., Lu, L., Luce, Q., Lundquist, J. P., Payeras, A. Machado, Majercakova, M., Mandat, D., Manning, B. C., Manshanden, J., Mantsch, P., Marafico, S., Mariani, F. M., Mariazzi, A. G., Mariş, I. C., Marsella, G., Martello, D., Martinelli, S., Bravo, O. Martínez, Martins, M. A., Mastrodicasa, M., Mathes, H. J., Matthews, J., Matthiae, G., Mayotte, E., Mayotte, S., Mazur, P. O., Medina-Tanco, G., Meinert, J., Melo, D., Menshikov, A., Michal, S., Micheletti, M. I., Miramonti, L., Mollerach, S., Montanet, F., Morejon, L., Morello, C., Müller, A. L., Mulrey, K., Mussa, R., Muzio, M., Namasaka, W. M., Nasr-Esfahani, A., Nellen, L., Nicora, G., Niculescu-Oglinzanu, M., Niechciol, M., Nitz, D., Norwood, I., Nosek, D., Novotny, V., Nožka, L., Nucita, A, Núñez, L. A., Oliveira, C., Palatka, M., Pallotta, J., Parente, G., Parra, A., Pawlowsky, J., Pech, M., Pękala, J., Pelayo, R., Pereira, L. A. S., Martins, E. E. Pereira, Armand, J. Perez, Bertolli, C. Pérez, Perrone, L., Petrera, S., Petrucci, C., Pierog, T., Pimenta, M., Platino, M., Pont, B., Pothast, M., Shavar, M. Pourmohammad, Privitera, P., Prouza, M., Puyleart, A., Querchfeld, S., Rautenberg, J., Ravignani, D., Reininghaus, M., Ridky, J., Riehn, F., Risse, M., Rizi, V., de Carvalho, W. Rodrigues, Rojo, J. Rodriguez, Roncoroni, M. J., Rossoni, S., Roth, M., Roulet, E., Rovero, A. C., Ruehl, P., Saftoiu, A., Saharan, M., Salamida, F., Salazar, H., Salina, G., Gomez, J. D. Sanabria, Sánchez, F., Santos, E. M., Santos, E., Sarazin, F., Sarmento, R., Sato, R., Savina, P., Schäfer, C. M., Scherini, V., Schieler, H., Schimassek, M., Schimp, M., Schlüter, F., Schmidt, D., Scholten, O., Schoorlemmer, H., Schovánek, P., Schröder, F. G., Schulte, J., Schulz, T., Sciutto, S. J., Scornavacche, M., Segreto, A., Sehgal, S., Shivashankara, S. U., Sigl, G., Silli, G., Sima, O., Smau, R., Šmída, R., Sommers, P., Soriano, J. F., Squartini, R., Stadelmaier, M., Stanca, D., Stanič, S., Stasielak, J., Stassi, P., Straub, M., Streich, A., Suárez-Durán, M., Suomijärvi, T., Supanitsky, A. D., Szadkowski, Z., Tapia, A., Taricco, C., Timmermans, C., Tkachenko, O., Tobiska, P., Peixoto, C. J. Todero, Tomé, B., Torrès, Z., Travaini, A., Travnicek, P., Trimarelli, C., Tueros, M., Ulrich, R., Unger, M., Vaclavek, L., Vacula, M., Galicia, J. F. Valdés, Valore, L., Varela, E., Vásquez-Ramírez, A., Veberič, D., Ventura, C., Quispe, I. D. Vergara, Verzi, V., Vicha, J., Vink, J., Vorobiov, S., Watanabe, C., Watson, A. A., Weindl, A., Wiencke, L., Wilczyński, H., Wittkowski, D., Wundheiler, B., Yushkov, A., Zapparrata, O., Zas, E., Zavrtanik, D., and Zavrtanik, M.
- Subjects
Astrophysics - High Energy Astrophysical Phenomena ,General Relativity and Quantum Cosmology - Abstract
A search for time-directional coincidences of ultra-high-energy (UHE) photons above 10 EeV with gravitational wave (GW) events from the LIGO/Virgo runs O1 to O3 is conducted with the Pierre Auger Observatory. Due to the distinctive properties of photon interactions and to the background expected from hadronic showers, a subset of the most interesting GW events is selected based on their localization quality and distance. Time periods of 1000 s around and 1 day after the GW events are analyzed. No coincidences are observed. Upper limits on the UHE photon fluence from a GW event are derived that are typically at $\sim$7 MeV cm$^{-2}$ (time period 1000~s) and $\sim$35 MeV cm$^{-2}$ (time period 1 day). Due to the proximity of the binary neutron star merger GW170817, the energy of the source transferred into UHE photons above 40 EeV is constrained to be less than 20% of its total gravitational wave energy. These are the first limits on UHE photons from GW sources., Comment: 15 pages
- Published
- 2023
- Full Text
- View/download PDF
122. Contextual Behavioural Metrics (Extended Version)
- Author
-
Lago, Ugo Dal and Murgia, Maurizio
- Subjects
Computer Science - Formal Languages and Automata Theory ,Computer Science - Programming Languages - Abstract
We introduce contextual behavioural metrics (CBMs) as a novel way of measuring the discrepancy in behaviour between processes, taking into account both quantitative aspects and contextual information. This way, process distances by construction take the environment into account: two (non-equivalent) processes may still exhibit very similar behaviour in some contexts, e.g., when certain actions are never performed. We first show how CBMs capture many well-known notions of equivalence and metric, including Larsen's environmental parametrized bisimulation. We then study compositional properties of CBMs with respect to some common process algebraic operators, namely prefixing, restriction, non-deterministic sum, parallel composition and replication., Comment: Extended version of a paper accepted for publication in proc. CONCUR 2023
- Published
- 2023
123. Constraining models for the origin of ultra-high-energy cosmic rays with a novel combined analysis of arrival directions, spectrum, and composition data measured at the Pierre Auger Observatory
- Author
-
The Pierre Auger Collaboration, Halim, A. Abdul, Abreu, P., Aglietta, M., Allekotte, I., Cheminant, K. Almeida, Almela, A., Aloisio, R., Alvarez-Muñiz, J., Yebra, J. Ammerman, Anastasi, G. A., Anchordoqui, L., Andrada, B., Andringa, S., Aramo, C., Ferreira, P. R. Araújo, Arnone, E., Velázquez, J. C. Arteaga, Asorey, H., Assis, P., Avila, G., Avocone, E., Badescu, A. M., Bakalova, A., Balaceanu, A., Barbato, F., Mocellin, A. Bartz, Bellido, J. A., Berat, C., Bertaina, M. E., Bhatta, G., Bianciotto, M., Biermann, P. L., Binet, V., Bismark, K., Bister, T., Biteau, J., Blazek, J., Bleve, C., Blümer, J., Boháčová, M., Boncioli, D., Bonifazi, C., Arbeletche, L. Bonneau, Borodai, N., Brack, J., Orchera, P. G. Brichetto, Briechle, F. L., Bueno, A., Buitink, S., Buscemi, M., Büsken, M., Bwembya, A., Caballero-Mora, K. S., Caccianiga, L., Caracas, I., Caruso, R., Castellina, A., Catalani, F., Cataldi, G., Cazon, L., Cerda, M., Chinellato, J. A., Chudoba, J., Chytka, L., Clay, R. W., Cerutti, A. C. Cobos, Colalillo, R., Coleman, A., Coluccia, M. R., Conceição, R., Condorelli, A., Consolati, G., Conte, M., Convenga, F., Santos, D. Correia dos, Costa, P. J., Covault, C. E., Cristinziani, M., Sanchez, C. S. Cruz, Dasso, S., Daumiller, K., Dawson, B. R., de Almeida, R. M., de Jesús, J., de Jong, S. J., Neto, J. R. T. de Mello, De Mitri, I., de Oliveira, J., Franco, D. de Oliveira, de Palma, F., de Souza, V., De Vito, E., Del Popolo, A., Deligny, O., Deval, L., di Matteo, A., Dobre, M., Dobrigkeit, C., D'Olivo, J. C., Mendes, L. M. Domingues, Anjos, J. C. dos, Anjos, R. C. dos, Ebr, J., Ellwanger, F., Emam, M., Engel, R., Epicoco, I., Erdmann, M., Etchegoyen, A., Evoli, C., Falcke, H., Farmer, J., Farrar, G., Fauth, A. C., Fazzini, N., Feldbusch, F., Fenu, F., Fernandes, A., Fick, B., Figueira, J. M., Filipčič, A., Fitoussi, T., Flaggs, B., Fodran, T., Fujii, T., Fuster, A., Galea, C., Galelli, C., García, B., Gaudu, C., Gemmeke, H., Gesualdi, F., Gherghel-Lascu, A., Ghia, P. L., Giaccari, U., Giammarchi, M., Glombitza, J., Gobbi, F., Gollan, F., Golup, G., Berisso, M. Gómez, Vitale, P. F. Gómez, Gongora, J. P., González, J. M., González, N., Goos, I., Góra, D., Gorgi, A., Gottowik, M., Grubb, T. D., Guarino, F., Guedes, G. P., Guido, E., Hahn, S., Hamal, P., Hampel, M. R., Hansen, P., Harari, D., Harvey, V. M., Haungs, A., Hebbeker, T., Hojvat, C., Hörandel, J. R., Horvath, P., Hrabovský, M., Huege, T., Insolia, A., Isar, P. G., Janecek, P., Johnsen, J. A., Jurysek, J., Kääpä, A., Kampert, K. H., Keilhauer, B., Khakurdikar, A., Covilakam, V. V. Kizakke, Klages, H. O., Kleifges, M., Knapp, F., Kunka, N., Lago, B. L., Langner, N., de Oliveira, M. A. Leigui, Lema-Capeans, Y, Lenok, V., Letessier-Selvon, A., Lhenry-Yvon, I., Presti, D. Lo, Lopes, L., Lu, L., Luce, Q., Lundquist, J. P., Payeras, A. Machado, Majercakova, M., Mandat, D., Manning, B. C., Mantsch, P., Marafico, S., Mariani, F. M., Mariazzi, A. G., Mariş, I. C., Marsella, G., Martello, D., Martinelli, S., Bravo, O. Martínez, Martins, M. A., Mastrodicasa, M., Mathes, H. J., Matthews, J., Matthiae, G., Mayotte, E., Mayotte, S., Mazur, P. O., Medina-Tanco, G., Meinert, J., Melo, D., Menshikov, A., Merx, C., Michal, S., Micheletti, M. I., Miramonti, L., Mollerach, S., Montanet, F., Morejon, L., Morello, C., Müller, A. L., Mulrey, K., Mussa, R., Muzio, M., Namasaka, W. M., Nasr-Esfahani, A., Nellen, L., Nicora, G., Niculescu-Oglinzanu, M., Niechciol, M., Nitz, D., Nosek, D., Novotny, V., Nožka, L., Nucita, A, Núñez, L. A., Oliveira, C., Palatka, M., Pallotta, J., Parente, G., Pawlowsky, J., Pech, M., Pękala, J., Pelayo, R., Pereira, L. A. S., Martins, E. E. Pereira, Armand, J. Perez, Bertolli, C. Pérez, Perrone, L., Petrera, S., Petrucci, C., Pierog, T., Pimenta, M., Platino, M., Pont, B., Pothast, M., Shahvar, M. Pourmohammad, Privitera, P., Prouza, M., Puyleart, A., Querchfeld, S., Rautenberg, J., Ravignani, D., Reininghaus, M., Ridky, J., Riehn, F., Risse, M., Rizi, V., de Carvalho, W. Rodrigues, Rodriguez, E., Rojo, J. Rodriguez, Roncoroni, M. J., Rossoni, S., Roth, M., Rovero, A. C., Ruehl, P., Saftoiu, A., Saharan, M., Salamida, F., Salazar, H., Salina, G., Gomez, J. D. Sanabria, Sánchez, F., Santos, E. M., Santos, E., Sarazin, F., Sarmento, R., Sato, R., Savina, P., Schäfer, C. M., Scherini, V., Schieler, H., Schimassek, M., Schimp, M., Schlüter, F., Schmidt, D., Scholten, O., Schoorlemmer, H., Schovánek, P., Schröder, F. G., Schulte, J., Schulz, T., Sciutto, S. J., Scornavacche, M., Segreto, A., Sehgal, S., Shivashankara, S. U., Sigl, G., Silli, G., Sima, O., Simon, F., Smau, R., Šmída, R., Sommers, P., Soriano, J. F., Squartini, R., Stadelmaier, M., Stanca, D., Stanič, S., Stasielak, J., Stassi, P., Straub, M., Streich, A., Suárez-Durán, M., Suomijärvi, T., Supanitsky, A. D., Svozilikova, Z., Szadkowski, Z., Tapia, A., Taricco, C., Timmermans, C., Tkachenko, O., Tobiska, P., Peixoto, C. J. Todero, Tomé, B., Torrès, Z., Travaini, A., Travnicek, P., Trimarelli, C., Tueros, M., Unger, M., Vaclavek, L., Vacula, M., Galicia, J. F. Valdés, Valore, L., Varela, E., Vásquez-Ramírez, A., Veberič, D., Ventura, C., Quispe, I. D. Vergara, Verzi, V., Vicha, J., Vink, J., Vlastimil, J., Vorobiov, S., Watanabe, C., Watson, A. A., Weindl, A., Wiencke, L., Wilczyński, H., Wittkowski, D., Wundheiler, B., Yue, B., Yushkov, A., Zapparrata, O., Zas, E., Zavrtanik, D., and Zavrtanik, M.
- Subjects
Astrophysics - High Energy Astrophysical Phenomena - Abstract
The combined fit of the measured energy spectrum and shower maximum depth distributions of ultra-high-energy cosmic rays is known to constrain the parameters of astrophysical models with homogeneous source distributions. Studies of the distribution of the cosmic-ray arrival directions show a better agreement with models in which a fraction of the flux is non-isotropic and associated with the nearby radio galaxy Centaurus A or with catalogs such as that of starburst galaxies. Here, we present a novel combination of both analyses by a simultaneous fit of arrival directions, energy spectrum, and composition data measured at the Pierre Auger Observatory. We find that a model containing a flux contribution from the starburst galaxy catalog of around 20% at 40 EeV with a magnetic field blurring of around $20^\circ$ for a rigidity of 10 EV provides a fair simultaneous description of all three observables. The starburst galaxy model is favored with a significance of $4.5\sigma$ (considering experimental systematic effects) compared to a reference model with only homogeneously distributed background sources. By investigating a scenario with Centaurus A as a single source in combination with the homogeneous background, we confirm that this region of the sky provides the dominant contribution to the observed anisotropy signal. Models containing a catalog of jetted active galactic nuclei whose flux scales with the $\gamma$-ray emission are, however, disfavored as they cannot adequately describe the measured arrival directions.
- Published
- 2023
- Full Text
- View/download PDF
124. Sustainability in Computing Education: A Systematic Literature Review
- Author
-
Peters, A. -K., Capilla, R., Coroamă, V. C., Heldal, R., Lago, P., Leifler, O., Moreira, A., Fernandes, J. P., Penzenstadler, B., Porras, J., and Venters, C. C.
- Subjects
Computer Science - Computers and Society - Abstract
Research shows that the global society as organized today, with our current technological and economic system, is impossible to sustain. We are living in the Anthropocene, an era in which human activities in highly industrialized countries are responsible for overshooting several planetary boundaries, with poorer communities contributing least to the problems but being impacted the most. At the same time, technical and economic gains fail to provide society at large with equal opportunities and improved quality of life. This paper describes approaches taken in computing education to address the issue of sustainability. It presents results of a systematic review of literature on sustainability in computing education. From a set of 572 publications extracted from six large digital libraries plus snowballing, we distilled and analyzed the 90 relevant primary studies. Using an inductive and deductive thematic analysis, we study 1) conceptions of sustainability, computing, and education, 2) implementations of sustainability in computing education, and 3) research on sustainability in computing education. We present a framework capturing learning objectives and outcomes as well as pedagogical methods for sustainability in computing education. These results can be mapped to existing standards and curricula in future work. We find that only a few of the articles engage with the challenges as calling for drastic systemic change, along with radically new understandings of computing and education. We suggest that future research should connect to the substantial body of critical theory such as feminist theory of science and technology. Existing research on sustainability in computing education may be considered as rather immature as the majority of articles are experience reports with limited empirical research., Comment: 49 pages
- Published
- 2023
125. Computer-Assisted Pronunciation Training (CAPT): An Empirical Evaluation of EPSS Multimedia Lab
- Author
-
María de los Ángeles Gómez González and Alfonso Lago Ferreiro
- Abstract
Previous research has established that phonetics has been marginalized within language teaching, proving to be particularly challenging for learners in EFL contexts. This paper presents EPSSML (https://www.usc.gal/multimlab/), an e-learning platform designed within Mayer's (2008, 2009) Cognitive Theory of Multimedia Learning to instruct English phonetics and phonology in an EFL context. Inspired by prior work (e.g., Clark, 2009; Godwin-Jones, 2009; Hansen Edwards et al., 2021), we examined the efficiency of EPSSML as a Computer Assisted Pronunciation Training (CAPT) resource alongside the students' perceptions of it including gender differences. The scores obtained by 504 Spanish EFL learners in an English phonetics undergraduate course were analyzed comparing performance before and after EPSSML-assisted instruction. The analysis of rated results shows that there is a significant difference between the means of scores of those learners that used and those that did not use the platform, as well as between male and female students. Additionally, 127 students that used EPSSML responded to an online questionnaire on the tool and course methodology. Responses reveal that 91.3% of the learners enjoyed and were very interested in EPSSML and web-mediated phonetic training. The findings demonstrate the importance of CAPT-based instruction and suggestions are also made for additional resources and approaches for its implementation, thereby contributing to the educational shift from traditional, teacher-centered learning methods to blended instructional methodologies in formal and informal settings.
- Published
- 2024
126. Sustainability in Computing Education: A Systematic Literature Review
- Author
-
Anne-Kathrin Peters, Rafael Capilla, Vlad Constantin Coroama, Rogardt Heldal, Patricia Lago, Ola Leifler, Ana Moreira, João Paulo Fernandes, Birgit Penzenstadler, Jari Porras, and Colin C. Venters
- Abstract
Research shows that the global society as organized today, with our current technological and economic system, is impossible to sustain. We are living in an era in which human activities in highly industrialized countries are responsible for overshooting several planetary boundaries, with poorer communities contributing the least to the problems but being impacted the most. At the same time, technical and economic gains fail to provide society at large with equal opportunities and improved quality of life. This article describes approaches taken in computing education to address the issue of sustainability. It presents results of a systematic review of the literature on sustainability in computing education. From a set of 572 publications extracted from six large digital libraries plus snowballing, we distilled and analyzed 89 relevant primary studies. Using an inductive and deductive thematic analysis, we study: (1) conceptions of sustainability, computing, and education; (2) implementations of sustainability in computing education; and (3) research on sustainability in computing education. We present a framework capturing learning objectives and outcomes as well as pedagogical methods for sustainability in computing education. These results can be mapped to existing standards and curricula in future work. We find that only a few of the articles engage with the challenges as calling for drastic systemic change, along with radically new understandings of computing and education. We suggest that future work should connect to the substantial body of critical theory, such as feminist theories of science and technology. Existing research on sustainability in computing education may be considered rather immature, as the majority of articles are experience reports with limited empirical research.
- Published
- 2024
- Full Text
- View/download PDF
127. Mandibular overdentures retained by 1 or 2 implants: a 5-year randomized clinical trial on implant stability and peri-implant outcomes
- Author
-
Leles, Cláudio Rodrigues, de Resende, Gabriela Pereira, de Oliveira Martins, Nilva, Nascimento, Lays Noleto, Costa, Nadia Lago, Srinivasan, Murali, and Schimmel, Martin
- Published
- 2024
- Full Text
- View/download PDF
128. Measurement of the background in the CMS muon detector in pps=13TeV-collisions at pps=13TeV pps=13TeV
- Author
-
Tytgat, M., Muhammad, A., De Lentdecker, G., Jaramillo, J., Moureaux, L., Pétré, L., Yang, Y., Rendón, C., Gokbulut, G., Hong, Y., Samalan, A., Alves, G. A., Marujo da Silva, F., Alves Coelho, E., Barroso Ferreira Filho, M., Da Costa, E. M., De Jesus Damiao, D., Ferreira, B. C., Fonseca De Souza, S., Mota Amarilo, K., Nogima, H., Santoro, A., Thiel, M., Aleksandrov, A., Dimitrov, L., Hadjiiska, R., Iaydjiev, P., Misheva, M., Mitev, G., Ratchev, L., Rashevski, G., Shopova, M., Sultanov, G., Dimitrov, A., Litov, L., Pavlov, B., Petkov, P., Petrov, A., Shumka, E., Keshri, S., Thakur, S., Chen, M., Dong, X., Gong, W., Hou, Q., Jiang, C., Kou, H., Liu, Z.-A., Luo, W., Song, J., Sun, L., Wang, N., Wang, Y., Wang, Z., Zhang, C., Zhang, Y., Zhang, H., Zhao, J., Agapitos, A., Ban, Y., Levin, A., Li, Q., Qian, S. J., Wang, D., Wang, K., You, Z., Avila, C., Barbosa Trujillo, D. A., Cabrera, A., Florez, C. A., Fraga, J., Reyes Vega, J. A., Ramirez, F., Rodriguez, M., Ruiz, J. D., Vanegas, N., Abdalla, H., Abdelalim, A. A., Assran, Y., Radi, A., Crotty, I., Mahmoud, M. A., Balleyguier, L., Chen, X., Combaret, C., Galbit, G., Gouzevitch, M., Grenier, G., Laktineh, I. B., Luciol, A., Mirabito, L., Tromeur, W., Bagaturia, I., Lomidze, I., Kemularia, O., Tsamalaidze, Z., Böttger, U., Eliseev, D., Hebbeker, T., Hoepfner, K., Merschmeyer, M., Ivone, F., Mukherjee, S., Nowotny, F., Philipps, B., Reithler, H., Sharma, A., Torres Da Silva De Araujo, F., Wiedenbeck, S., Zaleski, S., Zantis, F. P., Abbas, M., Mallows, S., Bencze, G., Beni, N., Molnar, J., Szillasi, Z., Teyssier, D., Ujvari, B., Zilizi, G., Babbar, J., Bansal, S., Bhatnagar, V., Chauhan, S., Kaur, A., Kaur, H., Kaur Sahota, A., Kumar, S., Sheokand, T., Singh, J., Choudhary, B. C., Kumar, A., Kumar Saini, M., Naimuddin, M., Majumdar, N., Mukhopadhyay, S., Rout, P., Amoozegar, V., Boghrati, B., Ebraimi, M., Mohammadi Najafabadi, M., Zareian, E., Abbrescia, M., Aly, R., Buonsante, M., Colaleo, A., De Filippis, N., Dell’Olio, D., De Robertis, G., Elmetenawee, W., Ferrara, N., Franco, M., Iaselli, G., Lacalamita, N., Licciulli, F., Loddo, F., Maggi, M., Martiradonna, S., Nuzzo, S., Longo, L., Pellecchia, A., Pugliese, G., Radogna, R., Ramos, D., Ranieri, A., Simone, F. M., Stamerra, A., Troiano, D., Venditti, R., Verwilligen, P., Zaza, A., Abbiendi, G., Baldanza, C., Battilana, C., Benvenuti, A., Borgonovi, L., Cafaro, V., Cavallo, F. R., Crupano, A., Cuffiani, M., Dallavalle, G. M., Fabbri, F., Fanfani, A., Fasanella, D., Giacomelli, P., Giordano, V., Guandalini, C., Guiducci, L., Lo Meo, S., Lunerti, L., Marcellini, S., Masetti, G., Navarria, F. L., Paggi, G., Perrotta, A., Primavera, F., Rossi, A. M., Rovelli, T., Torromeo, G., Benussi, L., Bianco, S., Campagnola, R., Caponero, M., Colafranceschi, S., Meola, S., Passamonti, L., Piccolo, D., Pierluigi, D., Raffone, G., Russo, A., Saviano, G., Buontempo, S., Cagnotta, A., Carnevali, F., Cassese, F., Cavallo, N., De Iorio, A., Fabozzi, F., Iorio, A. O. M., Lista, L., Paolucci, P., Passeggio, G., Rossi, B., Barcellan, L., Bellato, M., Benettoni, M., Bergnoli, A., Bragagnolo, A., Carlin, R., Castellani, L., Checchia, P., Ciano, L., Colombo, A., Corti, D., Gasparini, F., Gasparini, U., Gonella, F., Gozzelino, A., Griggio, A., Grosso, G., Gulmini, M., Isocrate, R., Lusiani, E., Maron, G., Margoni, M., Meneguzzo, A. T., Migliorini, M., Modenese, L., Montecassiano, F., Negrello, M., Passaseo, M., Pazzini, J., Ramina, L., Rampazzo, M., Rebeschini, M., Ronchese, P., Rossin, R., Simonetto, F., Toffano, M., Toniolo, N., Triossi, A., Ventura, S., Zanetti, M., Zatti, P. G., Zotto, P., Zucchetta, A., AbuZeid, S., Aimè, C., Braghieri, A., Calzaferri, S., Fiorina, D., Gigli, S., Montagna, P., Riccardi, C., Salvini, P., Vai, I., Vitulo, P., Amapane, N., Cotto, G., Dattola, D., De Remigis, P., Kiani, B., Mariotti, C., Maselli, S., Pelliccioni , M., Rotondo, F., Staiano, A., Trocino, D., Umoret, G., Asilar, E., Kim, T. J., Merlin, J. A., Choi, S., Hong, B., Lee, K. S., Goh, J., Choi, J., Kim, J., Yang, U., Yoon, I., Jang, W., Heo, J., Kang, D., Kang, Y., Kim, D., Kim, S., Ko, B., Lee, J. S. H., Park, I. C., Watson, I. J., Yang, S., Jeong, Y., Lee, Y., Yu, I., Alasfour, G., Beyrouthy, T., Gharbia, Y., Maghrbi, Y., Otkur, M., Castilla-Valdez, H., Crotte Ledesma, H., Lopez-Fernandez, R., Sánchez Hernández, A., Ramírez García, M., Vazquez, E., Shah, M. A., Zaganidis, N., Pedraza, I., Uribe Estrada, C., Ahmad, A., Ahmed, W., Asghar, M. I., Hoorani, H. R., Muhammad, S., Wajid, A., Alcaraz Maestre, J., Álvarez Fernández, A., Fernandez Bedoya, Cristina F., Blanco Ramos, L. C., Calvo, E., Carrillo Montoya, C. A., Cela Ruiz, J. M., Cepeda, M., Cerrada, M., Colino, N., Cuadrado Calzada, S., Cuchillo Ortega, J., De La Cruz, B., de Lara Rodríguez, C. I., Fernández Del Val, D., Fernández Ramos, J. P., Fouz, M. C., Francia Ferrero, D., García Romero, J., Gonzalez Lopez, O., Goy Lopez, S., Josa, M. I., León Holgado, J., Manzanilla Carretero, O., Martín Martín, I., Martínez Morales, J. J., Martín Viscasillas, E., Moran, D., Navarro Tobar, Á., Paz Herrera, R., Puras Sánchez, J. C., Puerta Pelayo, J., Pulido Ferrero, S., Redondo, I., Redondo Ferrero, D. D., Salto Parra, V., Sánchez Navas, S., Sastre, J., Urda Gómez, L., Vazquez Escobar, J., de Trocóniz, J. F., Frias Garcia-Lago, F., Reyes-Almanza, R., Alvarez Gonzalez, B., Cuevas, J., Fernandez Menendez, J., Folgueras, S., Gonzalez Caballero, I., Leguina López, P., Palencia Cortezon, E., Ramón Álvarez, C., Prado Pico, J., Rodríguez Bouza, V., Soto Rodríguez, A., Trapote, A., Villalba, C. Vico, Kailasapathy, B., Malagalage, K., Sonnadara, D. U. J., Wickramarathna, D. D. C., Dharmaratna, W. G. D., Liyanage, K., Perera, N., Wickramage, N., Aspell, P., Bianco, M., Bozzato, D., Brachet, S., Conde Garcia, A., Dabrowski, A., De Oliveira, R., Fallavollita, F., Kicsiny, P., Sharma, A., Hazen, E., May, S., Peck, A., Salyer, K., Suarez, I., Abbott, S., Bonilla, J., Breedon, R., Cai, H., Cox, P. T., Erbacher, R., Kukral, O., McLean, C., Mocellin, G., Mulhearn, M., Regnery, B., Tripathi, M., Waegel, G., Yao, Y., Carlson, J., Cousins, R., Dasgupta, A., Datta, A., Hauser, J., Ignatenko, M., Iqbal, M. A., Lo, C., Saltzberg, D., Schnaible, C., Valuev, V., Clare, R., Gordon, M., Hanson, G., Amin, N., Bradmiller-Feld, J., Campagnari, C., Danielson, T., Dishaw, A., Dorsett, A., Kim, J., Marsh, B., Mei, H., Oshiro, M., Richman, J., Setti, F., Sevilla, M. F., Siddireddy, P., Wang, S., Aruta, C., Barashko, V., Cherepanov, V., Dittrich, M., Korytov, A., Kuznetsova, E., Madorsky, A., Mitselmakher, G., Muthirakalayil Madhu, A., Rawal, N., Terentyev, N., Wang, J., Alsufyani, B., Butalla, S., Elkafrawy, T., Hohlmann, M., Yanes, E., Eysermans, J., Barberis, E., Haddad, Y., Han, Y., Madigan, G., Morse, D. M., Nguyen, V., Wood, D., Bhattacharya, S., Bueghly, J., Chen, Z., Hahn, K. A., Liu, Y., Miao, Y., Monk, D. G., Schmitt, M. H., Taliercio, A., Velasco, M., Bylsma, B., Carrigan, M., De Los Santos, R., Durkin, L. S., Hill, C., Banicz, K., Liu, J., Matveev, M., Padley, B. P., Aebi, D., Ahmad, M., Akhter, T., Bolshov, A., Bouhali, O., Eusebi, R., Gilmore, J., Huang, T., Juska, E., Kamon, T., Kim, H., Kizlov, M., Malhotra, S., Mueller, R., Rabadan, R., Rathjens, D., Safonov, A., Karchin, P. E., Aravind, A., Black, K., De Bruyn, I., Everaerts, P., Galloni, C., Herndon, M., Lanaro, A., Loveless, R., Madhusudanan Sreekala, J., Mondal, S., Teague, D., Vetens, W., Warden, A., Azhgirey, I., Borshch, V., Chtchipunov, L., Egorov, A., Gavrilov, G., Golovtcov, V., Ivanov, M., Ivantchenko, V., Ivanov, Y., Karjavine, V., Khodinov, A., Kim, V., Kurochkin, I. A., Levchenko, P., Murzin, V., Nasybulin, S., Oreshkin, V., Palichik, V., Perelygin, V., Riabchikova, A., Sosnov, D., Sulimov, V., Uvarov, L., Vavilov, S., and Vorobyev, A.
- Published
- 2024
- Full Text
- View/download PDF
129. Testing the joint effects of arbuscular mycorrhizal fungi and ants on insect herbivory on potato plants
- Author
-
Moreira, Xoaquín, Martín-Cacheda, Lucía, Quiroga, Gabriela, Lago-Núñez, Beatriz, Röder, Gregory, and Abdala-Roberts, Luis
- Published
- 2024
- Full Text
- View/download PDF
130. Sensitivity of ordinary rock weathering tests to acid rock drainage
- Author
-
do Lago Leite, Adilson and de Souza, Felipe Andrade
- Published
- 2024
- Full Text
- View/download PDF
131. Presence of Preoperative Neurodegeneration Biofluid Markers in Patients with Postoperative Delirium
- Author
-
Leung, Jacqueline M, Rojas, Julio C, Tang, Christopher, Chan, Brandon, Lario-Lago, Argentina, Boxer, Adam L, Do, Quyen, Kramer, Joel H, Du, Zhiyuan, Du, Pang, Sands, Laura P, and Group, Perioperative Medicine Research
- Subjects
Biomedical and Clinical Sciences ,Clinical Sciences ,Aging ,Clinical Research ,Neurosciences ,Neurodegenerative ,Acquired Cognitive Impairment ,Brain Disorders ,Patient Safety ,Mental Health ,Humans ,Female ,Male ,Emergence Delirium ,Retrospective Studies ,Case-Control Studies ,Postoperative Complications ,Biomarkers ,Perioperative Medicine Research Group ,Anesthesiology ,Clinical sciences - Abstract
BackgroundThe pathophysiology of delirium is incompletely understood, including what molecular pathways are involved in brain vulnerability to delirium. This study examined whether preoperative plasma neurodegeneration markers were elevated in patients who subsequently developed postoperative delirium through a retrospective case-control study.MethodsInclusion criteria were patients of 65 yr of age or older, undergoing elective noncardiac surgery with a hospital stay of 2 days or more. Concentrations of preoperative plasma P-Tau181, neurofilament light chain, amyloid β1-42 (Aβ42), and glial fibrillary acidic protein were measured with a digital immunoassay platform. The primary outcome was postoperative delirium measured by the Confusion Assessment Method. The study included propensity score matching by age and sex with nearest neighbor, such that each patient in the delirium group was matched by age and sex with a patient in the no-delirium group.ResultsThe initial cohort consists of 189 patients with no delirium and 102 patients who developed postoperative delirium. Of 291 patients aged 72.5 ± 5.8 yr, 50.5% were women, and 102 (35%) developed postoperative delirium. The final cohort in the analysis consisted of a no-delirium group (n = 102) and a delirium group (n = 102) matched by age and sex using the propensity score method. Of the four biomarkers assayed, the median value for neurofilament light chain was 32.05 pg/ml for the delirium group versus 23.7 pg/ml in the no-delirium group. The distribution of biomarker values significantly differed between the delirium and no-delirium groups (P = 0.02 by the Kolmogorov-Smirnov test) with the largest cumulative probability difference appearing at the biomarker value of 32.05 pg/ml.ConclusionsThese results suggest that patients who subsequently developed delirium are more likely to be experiencing clinically silent neurodegenerative changes before surgery, reflected by changes in plasma neurofilament light chain biomarker concentrations, which may identify individuals with a preoperative vulnerability to subsequent cognitive decline.Editor’s perspective
- Published
- 2023
132. Network Connectivity Alterations across the MAPT Mutation Clinical Spectrum
- Author
-
Zhang, Liwen, Flagan, Taru M, Häkkinen, Suvi, Chu, Stephanie A, Brown, Jesse A, Lee, Alex J, Pasquini, Lorenzo, Mandelli, Maria Luisa, Gorno‐Tempini, Maria Luisa, Sturm, Virginia E, Yokoyama, Jennifer S, Appleby, Brian S, Cobigo, Yann, Dickerson, Bradford C, Domoto‐Reilly, Kimiko, Geschwind, Daniel H, Ghoshal, Nupur, Graff‐Radford, Neill R, Grossman, Murray, Hsiung, Ging‐Yuek Robin, Huey, Edward D, Kantarci, Kejal, Lago, Argentina Lario, Litvan, Irene, Mackenzie, Ian R, Mendez, Mario F, Onyike, Chiadi U, Ramos, Eliana Marisa, Roberson, Erik D, Tartaglia, Maria Carmela, Toga, Arthur W, Weintraub, Sandra, Wszolek, Zbigniew K, Forsberg, Leah K, Heuer, Hilary W, Boeve, Bradley F, Boxer, Adam L, Rosen, Howard J, Miller, Bruce L, Seeley, William W, Lee, Suzee E, and Consortia, the ARTFL LEFFTDS ALLFTD
- Subjects
Biomedical and Clinical Sciences ,Neurosciences ,Clinical Sciences ,Acquired Cognitive Impairment ,Biomedical Imaging ,Rare Diseases ,Brain Disorders ,Alzheimer's Disease including Alzheimer's Disease Related Dementias (AD/ADRD) ,Dementia ,Alzheimer's Disease Related Dementias (ADRD) ,Mental Health ,Frontotemporal Dementia (FTD) ,Neurodegenerative ,Clinical Research ,Alzheimer's Disease ,Aging ,Neurological ,Humans ,Cross-Sectional Studies ,tau Proteins ,Brain ,Mutation ,Gray Matter ,Magnetic Resonance Imaging ,Frontotemporal Dementia ,Biomarkers ,ARTFL/LEFFTDS/ALLFTD Consortia ,Neurology & Neurosurgery ,Clinical sciences - Abstract
ObjectiveMicrotubule-associated protein tau (MAPT) mutations cause frontotemporal lobar degeneration, and novel biomarkers are urgently needed for early disease detection. We used task-free functional magnetic resonance imaging (fMRI) mapping, a promising biomarker, to analyze network connectivity in symptomatic and presymptomatic MAPT mutation carriers.MethodsWe compared cross-sectional fMRI data between 17 symptomatic and 39 presymptomatic carriers and 81 controls with (1) seed-based analyses to examine connectivity within networks associated with the 4 most common MAPT-associated clinical syndromes (ie, salience, corticobasal syndrome, progressive supranuclear palsy syndrome, and default mode networks) and (2) whole-brain connectivity analyses. We applied K-means clustering to explore connectivity heterogeneity in presymptomatic carriers at baseline. Neuropsychological measures, plasma neurofilament light chain, and gray matter volume were compared at baseline and longitudinally between the presymptomatic subgroups defined by their baseline whole-brain connectivity profiles.ResultsSymptomatic and presymptomatic carriers had connectivity disruptions within MAPT-syndromic networks. Compared to controls, presymptomatic carriers showed regions of connectivity alterations with age. Two presymptomatic subgroups were identified by clustering analysis, exhibiting predominantly either whole-brain hypoconnectivity or hyperconnectivity at baseline. At baseline, these two presymptomatic subgroups did not differ in neuropsychological measures, although the hypoconnectivity subgroup had greater plasma neurofilament light chain levels than controls. Longitudinally, both subgroups showed visual memory decline (vs controls), yet the subgroup with baseline hypoconnectivity also had worsening verbal memory and neuropsychiatric symptoms, and extensive bilateral mesial temporal gray matter decline.InterpretationNetwork connectivity alterations arise as early as the presymptomatic phase. Future studies will determine whether presymptomatic carriers' baseline connectivity profiles predict symptomatic conversion. ANN NEUROL 2023;94:632-646.
- Published
- 2023
133. Gamma neuromodulation improves episodic memory and its associated network in amnestic mild cognitive impairment: a pilot study
- Author
-
Jones, Kevin T, Gallen, Courtney L, Ostrand, Avery E, Rojas, Julio C, Wais, Peter, Rini, James, Chan, Brandon, Lago, Argentina Lario, Boxer, Adam, Zhao, Min, Gazzaley, Adam, and Zanto, Theodore P
- Subjects
Pharmacology and Pharmaceutical Sciences ,Biomedical and Clinical Sciences ,Neurodegenerative ,Brain Disorders ,Neurosciences ,Aging ,Acquired Cognitive Impairment ,Clinical Trials and Supportive Activities ,Alzheimer's Disease ,Dementia ,Alzheimer's Disease including Alzheimer's Disease Related Dementias (AD/ADRD) ,Clinical Research ,2.1 Biological and endogenous factors ,Mental health ,Neurological ,Humans ,Brain ,Memory ,Episodic ,Pilot Projects ,Alzheimer Disease ,Magnetic Resonance Imaging ,Cognitive Dysfunction ,Amnestic mild cognitive impairment ,Neurostimulation ,Gamma stimulation ,Episodic memory ,Resting-state functional connectivity ,Clinical Sciences ,Neurology & Neurosurgery ,Biological psychology - Abstract
Amnestic mild cognitive impairment (aMCI) is a predementia stage of Alzheimer's disease associated with dysfunctional episodic memory and limited treatment options. We aimed to characterize feasibility, clinical, and biomarker effects of noninvasive neurostimulation for aMCI. 13 individuals with aMCI received eight 60-minute sessions of 40-Hz (gamma) transcranial alternating current stimulation (tACS) targeting regions related to episodic memory processing. Feasibility, episodic memory, and plasma Alzheimer's disease biomarkers were assessed. Neuroplastic changes were characterized by resting-state functional connectivity (RSFC) and neuronal excitatory/inhibitory balance. Gamma tACS was feasible and aMCI participants demonstrated improvement in multiple metrics of episodic memory, but no changes in biomarkers. Improvements in episodic memory were most pronounced in participants who had the highest modeled tACS-induced electric fields and exhibited the greatest changes in RSFC. Increased RSFC was also associated with greater hippocampal excitability and higher baseline white matter integrity. This study highlights initial feasibility and the potential of gamma tACS to rescue episodic memory in an aMCI population by modulating connectivity and excitability within an episodic memory network.
- Published
- 2023
134. If Youre Not Confused, Youre Not Paying Attention: Ochrobactrum Is Not Brucella.
- Author
-
Moreno, Edgardo, Middlebrook, Earl, Altamirano-Silva, Pamela, Al Dahouk, Sascha, Araj, George, Arce-Gorvel, Vilma, Arenas-Gamboa, Ángela, Ariza, Javier, Barquero-Calvo, Elías, Battelli, Giorgio, Bertu, Wilson, Blasco, José, Bosilkovski, Mile, Cadmus, Simeon, Caswell, Clayton, Celli, Jean, Chacón-Díaz, Carlos, Chaves-Olarte, Esteban, Comerci, Diego, Conde-Álvarez, Raquel, Cook, Elizabeth, Cravero, Silvio, Dadar, Maryam, De Boelle, Xavier, De Massis, Fabrizio, Díaz, Ramón, Escobar, Gabriela, Fernández-Lago, Luis, Ficht, Thomas, Foster, Jeffrey, Garin-Bastuji, Bruno, Godfroid, Jacques, Gorvel, Jean-Pierre, Güler, Leyla, Erdenliğ-Gürbilek, Sevil, Gusi, Amayel, Guzmán-Verri, Caterina, Hai, Jiang, Hernández-Mora, Gabriela, Iriarte, Maite, Jacob, Nestor, Keriel, Anne, Khames, Maamar, Köhler, Stephan, Letesson, Jean-Jacques, Loperena-Barber, Maite, López-Goñi, Ignacio, McGiven, John, Melzer, Falk, Mora-Cartin, Ricardo, Moran-Gilad, Jacob, Muñoz, Pilar, Neubauer, Heinrich, OCallaghan, David, Ocholi, Reuben, Oñate, Ángel, Pandey, Piyush, Pappas, Georgios, Pembroke, J, Roop, Martin, Ruiz-Villalonos, Nazaret, Ryan, Michael, Salcedo, Suzana, Salvador-Bescós, Miriam, Sangari, Félix, de Lima Santos, Renato, Seimenis, Aristarchos, Splitter, Gary, Suárez-Esquivel, Marcela, Tabbaa, Darem, Trangoni, Marcos, Vizcaíno, Nieves, Wareth, Gamal, Welburn, Susan, Whatmore, Adrian, Zúñiga-Ripa, Amaia, Moriyón, Ignacio, and Tsolis, Renée
- Subjects
Brucella ,Ochrobactrum ,Ochrobactrum ,Brucella ,Terminology as Topic ,Phylogeny ,Brucellosis ,Humans ,Opportunistic Infections - Abstract
Bacteria of the genus Brucella are facultative intracellular parasites that cause brucellosis, a severe animal and human disease. Recently, a group of taxonomists merged the brucellae with the primarily free-living, phylogenetically related Ochrobactrum spp. in the genus Brucella. This change, founded only on global genomic analysis and the fortuitous isolation of some opportunistic Ochrobactrum spp. from medically compromised patients, has been automatically included in culture collections and databases. We argue that clinical and environmental microbiologists should not accept this nomenclature, and we advise against its use because (i) it was presented without in-depth phylogenetic analyses and did not consider alternative taxonomic solutions; (ii) it was launched without the input of experts in brucellosis or Ochrobactrum; (iii) it applies a non-consensus genus concept that disregards taxonomically relevant differences in structure, physiology, population structure, core-pangenome assemblies, genome structure, genomic traits, clinical features, treatment, prevention, diagnosis, genus description rules, and, above all, pathogenicity; and (iv) placing these two bacterial groups in the same genus creates risks for veterinarians, medical doctors, clinical laboratories, health authorities, and legislators who deal with brucellosis, a disease that is particularly relevant in low- and middle-income countries. Based on all this information, we urge microbiologists, bacterial collections, genomic databases, journals, and public health boards to keep the Brucella and Ochrobactrum genera separate to avoid further bewilderment and harm.
- Published
- 2023
135. Sex‐specific effects of SNAP‐25 genotype on verbal memory and Alzheimer's disease biomarkers in clinically normal older adults
- Author
-
Saloner, Rowan, Paolillo, Emily W, Wojta, Kevin J, Fonseca, Corrina, Gontrum, Eva Q, Lario‐Lago, Argentina, Rabinovici, Gil D, Yokoyama, Jennifer S, Rexach, Jessica E, Kramer, Joel H, and Casaletto, Kaitlin B
- Subjects
Biological Psychology ,Psychology ,Dementia ,Aging ,Alzheimer's Disease ,Brain Disorders ,Women's Health ,Neurosciences ,Alzheimer's Disease including Alzheimer's Disease Related Dementias (AD/ADRD) ,Genetics ,Biomedical Imaging ,Acquired Cognitive Impairment ,Neurodegenerative ,2.1 Biological and endogenous factors ,Neurological ,Aged ,Female ,Humans ,Male ,Alzheimer Disease ,Amyloid beta-Peptides ,Biomarkers ,Cognitive Dysfunction ,Genotype ,Memory ,Positron-Emission Tomography ,Alzheimer's disease ,amyloid-beta ,cognition ,genetics ,neuroimaging ,neuropsychology ,sex differences ,SNAP-25 ,temporal lobe ,verbal memory ,Clinical Sciences ,Geriatrics ,Clinical sciences ,Biological psychology - Abstract
IntroductionWe tested sex-dependent associations of variation in the SNAP-25 gene, which encodes a presynaptic protein involved in hippocampal plasticity and memory, on cognitive and Alzheimer's disease (AD) neuroimaging outcomes in clinically normal adults.MethodsParticipants were genotyped for SNAP-25 rs1051312 (T > C; SNAP-25 expression: C-allele > T/T). In a discovery cohort (N = 311), we tested the sex by SNAP-25 variant interaction on cognition, Aβ-PET positivity, and temporal lobe volumes. Cognitive models were replicated in an independent cohort (N = 82).ResultsIn the discovery cohort, C-allele carriers exhibited better verbal memory and language, lower Aβ-PET positivity rates, and larger temporal volumes than T/T homozygotes among females, but not males. Larger temporal volumes related to better verbal memory only in C-carrier females. The female-specific C-allele verbal memory advantage was evidenced in the replication cohort.ConclusionsIn females, genetic variation in SNAP-25 is associated with resistance to amyloid plaque formation and may support verbal memory through fortification of temporal lobe architecture.HighlightsThe SNAP-25 rs1051312 (T > C) C-allele results in higher basal SNAP-25 expression. C-allele carriers had better verbal memory in clinically normal women, but not men. Female C-carriers had higher temporal lobe volumes, which predicted verbal memory. Female C-carriers also exhibited the lowest rates of amyloid-beta PET positivity. The SNAP-25 gene may influence female-specific resistance to Alzheimer's disease (AD).
- Published
- 2023
136. Sustainability Competencies and Skills in Software Engineering: An Industry Perspective
- Author
-
Heldal, Rogardt, Nguyen, Ngoc-Thanh, Moreira, Ana, Lago, Patricia, Duboc, Leticia, Betz, Stefanie, Coroama, Vlad C., Penzenstadler, Birgit, Porras, Jari, Capilla, Rafael, Brooks, Ian, Oyedeji, Shola, and Venters, Colin C.
- Subjects
Computer Science - Software Engineering - Abstract
Achieving the UN Sustainable Development Goals (SDGs) demands adequate levels of awareness and actions to address sustainability challenges. Software systems will play an important role in moving towards these targets. Sustainability skills are necessary to support the development of software systems and to provide sustainable IT-supported services for citizens. While there is a growing number of academic bodies, including sustainability education in engineering and computer science curricula, there is not yet comprehensive research on the competencies and skills required by IT professionals to develop such systems. This study aims to identify the industrial sustainability needs for education and training from software engineers' perspective. We conducted interviews and focus groups with experts from twenty-eight organisations with an IT division from nine countries to understand their interests, goals and achievements related to sustainability, and the skills and competencies needed to achieve their goals. Our findings show that organisations are interested in sustainability, both idealistically and increasingly for core business reasons. They seek to improve the sustainability of processes and products but encounter difficulties, like the trade-off between short-term financial profitability and long-term sustainability goals. To fill the gaps, they have promoted in-house training courses, collaborated with universities, and sent employees to external training. The acquired competencies make sustainability an integral part of software development. We conclude that educational programs should include knowledge and skills on core sustainability concepts, system thinking, soft skills, technical sustainability, sustainability impact and measurements, values and ethics, standards and legal aspects, and advocacy and lobbying.
- Published
- 2023
137. HydroPol2D -- Distributed Hydrodynamic and Water Quality Model: Challenges and Opportunities in Poorly-Gauged Catchments
- Author
-
Gomes Jr., Marcus Nóbrega, Lago, César Ambrogi Ferreira do, Rápalo, Luis Miguel Castillo, Oliveira, Paulo Tarso S., Giacomoni, Marcio Hofheinz, and Mendiondo, Eduardo Mario
- Subjects
Physics - Geophysics ,Nonlinear Sciences - Cellular Automata and Lattice Gases ,Physics - Fluid Dynamics - Abstract
Floods are one of the deadliest natural hazards and are fueled by excessive urbanization. Urban development decreases infiltration by reducing pervious areas and increases the accumulation of pollutants during dry weather. During wet weather events, there is an increase in the levels of pollution concentrations and stormwater runoff that eventually reach creeks and rivers. Polluted stormwater runoff may be sources of water supply. Modeling the quantity and quality dynamics of stormwater runoff requires a coupled hydrodynamic module capable of estimating the transport and fate of pollutants. In this paper, we evaluate the applicability of a distributed hydrodynamic model coupled with a water quality model (HydroPol2D). First, the model is compared to GSSHA and WCA2D in the V-Tilted catchment, and the limitation of the critical velocity of WCA2D is investigated. We also applied the model in a laboratory wooden board catchment, focusing on the validation of the numerical approach to simulate water quality dynamics. Then, we apply HydroPol2D in the Tijuco Preto catchment, in Sao Carlos - Brazil, and compare the modeling results with the full momentum solver of the Hydrologic Engineering Center - River System Analysis (HEC-RAS). The model implementation, the governing equations, and the estimation of input data are discussed, indicating the challenges and opportunities of the application of distributed models in poorly-gauged catchments. For a 1-yr return period of rainfall and antecedent dry days and assuming an uncertainty of $40\%$ in the water quality parameters, the results indicate that the maximum concentration of total suspended solids (TSS), the maximum load and the mass of the pollutant washed in $30\%$ of the volume are, $456~\pm~260~\mathrm{mg.L^{-1}.km^{-2}}$, $\mathrm{2.56 \pm 0.4~kg.s^{-1}.km^{-2}}$, and $\mathrm{89\%~\pm~10\%}$, respectively., Comment: Preprint submitted to Journal of Hydrology
- Published
- 2023
- Full Text
- View/download PDF
138. Transmission of light-matter entanglement over a metropolitan network
- Author
-
Rakonjac, Jelena V., Grandi, Samuele, Wengerowsky, Sören, Lago-Rivera, Dario, Appas, Félicien, and de Riedmatten, Hugues
- Subjects
Quantum Physics - Abstract
We report on the transmission of telecom photons entangled with a multimode solid-state quantum memory over a deployed optical fiber in a metropolitan area. Photon pairs were generated through spontaneous parametric down-conversion, with one photon stored in a rare earth-based quantum memory, and the other, at telecommunication wavelengths, traveling through increasing distances of optical fibre, first in the laboratory and then outside in a deployed fibre loop. We measured highly-non-classical correlations between the stored and the telecom photons for storage times up to 25 $\mu$s and for a fibre separation up to 50 km. We also report light-matter entanglement with a two-qubit fidelity up to 88$\%$, which remains constant within error bars for all fibre lengths, showing that the telecom qubit does not suffer decoherence during the transmission. Finally, we moved the detection stage of the telecom photons to a different location placed 17 km away, and confirmed the non-classical correlations between the two photons. Our system was adapted to provide the transmission of precise detection times and synchronization signals over long quantum communication channels, providing the first steps for a future quantum network involving quantum memories and non-classical states.
- Published
- 2023
- Full Text
- View/download PDF
139. Evaluation of wait time saving effectiveness of triage algorithms
- Author
-
Thompson, Yee Lam Elim, Levine, Gary M, Chen, Weijie, Sahiner, Berkman, Li, Qin, Petrick, Nicholas, Delfino, Jana G, Lago, Miguel A, Cao, Qian, and Samuelson, Frank W
- Subjects
Statistics - Applications - Abstract
In the past decade, Artificial Intelligence (AI) algorithms have made promising impacts to transform healthcare in all aspects. One application is to triage patients' radiological medical images based on the algorithm's binary outputs. Such AI-based prioritization software is known as computer-aided triage and notification (CADt). Their main benefit is to speed up radiological review of images with time-sensitive findings. However, as CADt devices become more common in clinical workflows, there is still a lack of quantitative methods to evaluate a device's effectiveness in saving patients' waiting times. In this paper, we present a mathematical framework based on queueing theory to calculate the average waiting time per patient image before and after a CADt device is used. We study four workflow models with multiple radiologists (servers) and priority classes for a range of AI diagnostic performance, radiologist's reading rates, and patient image (customer) arrival rates. Due to model complexity, an approximation method known as the Recursive Dimensionality Reduction technique is applied. We define a performance metric to measure the device's time-saving effectiveness. A software tool is developed to simulate clinical workflow of image review/interpretation, to verify theoretical results, and to provide confidence intervals of the performance metric we defined. It is shown quantitatively that a triage device is more effective in a busy, short-staffed setting, which is consistent with our clinical intuition and simulation results. Although this work is motivated by the need for evaluating CADt devices, the framework we present in this paper can be applied to any algorithm that prioritizes customers based on its binary outputs.
- Published
- 2023
140. Machine Learning Enhanced Hankel Dynamic-Mode Decomposition
- Author
-
Curtis, Christopher W., Alford-Lago, D. Jay, Bollt, Erik, and Tuma, Andrew
- Subjects
Computer Science - Machine Learning ,Nonlinear Sciences - Chaotic Dynamics - Abstract
While the acquisition of time series has become more straightforward, developing dynamical models from time series is still a challenging and evolving problem domain. Within the last several years, to address this problem, there has been a merging of machine learning tools with what is called the dynamic mode decomposition (DMD). This general approach has been shown to be an especially promising avenue for accurate model development. Building on this prior body of work, we develop a deep learning DMD based method which makes use of the fundamental insight of Takens' Embedding Theorem to build an adaptive learning scheme that better approximates higher dimensional and chaotic dynamics. We call this method the Deep Learning Hankel DMD (DLHDMD). We likewise explore how our method learns mappings which tend, after successful training, to significantly change the mutual information between dimensions in the dynamics. This appears to be a key feature in enhancing the DMD overall, and it should help provide further insight for developing other deep learning methods for time series analysis and model generation.
- Published
- 2023
141. On the Lattice of Program Metrics
- Author
-
Lago, Ugo Dal, Hoshino, Naohiko, and Pistone, Paolo
- Subjects
Computer Science - Logic in Computer Science - Abstract
In this paper we are concerned with understanding the nature of program metrics for calculi with higher-order types, seen as natural generalizations of program equivalences. Some of the metrics we are interested in are well-known, such as those based on the interpretation of terms in metric spaces and those obtained by generalizing observational equivalence. We also introduce a new one, called the interactive metric, built by applying the well-known Int-Construction to the category of metric complete partial orders. Our aim is then to understand how these metrics relate to each other, i.e., whether and in which cases one such metric refines another, in analogy with corresponding well-studied problems about program equivalences. The results we obtain are twofold. We first show that the metrics of semantic origin, i.e., the denotational and interactive ones, lie \emph{in between} the observational and equational metrics and that in some cases, these inclusions are strict. Then, we give a result about the relationship between the denotational and interactive metrics, revealing that the former is less discriminating than the latter. All our results are given for a linear lambda-calculus, and some of them can be generalized to calculi with graded comonads, in the style of Fuzz.
- Published
- 2023
142. Examining an Alternative Teacher Education Undergraduate Program: Possibilities for Teaching and Extending What It Means to Be an Educator outside of the Classroom
- Author
-
Wakefield, Wendy, Amrein-Beardsley, Audrey, Collins, Clarin, Parra Gaete, Ivet, Glassmeyer, Kristi, Palandjian, Garine, Pretti, Esther do Lago e, Roberts, T'ata, and Terada, Takeshi
- Abstract
As part of efforts to become more interdisciplinary, socially embedded, and innovative, leaders of a large college of education reimagined a program originally designed to retain struggling students to target students interested in nontraditional educational careers (e.g., nonprofits). Researchers in this study explore reasons why this program has increasingly become a program of choice through both quantitative and qualitative analyses of institutional data across the program's history and surveys of current students and instructors. Findings about shifting demographics of students enrolled in the program toward nontraditional students who appreciate the accessibility and flexibility of the online modality, as well as shifts in program focus on preparation for a broader range of educational career options are presented. Findings also highlight the possibilities of this type of program to prepare students for further educational opportunities, including graduate programs, to also facilitate university-business partnerships. Implications for continued improvement and growth of this program and the design of similar programs targeting the preparation of students for non-traditional teaching positions are also discussed.
- Published
- 2022
143. A Log-Sensitive Encoding of Turing Machines in the $\lambda$-Calculus
- Author
-
Accattoli, Beniamino, Lago, Ugo Dal, and Vanoni, Gabriele
- Subjects
Computer Science - Logic in Computer Science ,Computer Science - Programming Languages - Abstract
This note modifies the reference encoding of Turing machines in the $\lambda$-calculus by Dal Lago and Accattoli, which is tuned for time efficiency, as to accommodate logarithmic space. There are two main changes: Turing machines now have *two* tapes, an input tape and a work tape, and the input tape is encoded differently, because the reference encoding comes with a linear space overhead for managing tapes, which is excessive for studying logarithmic space., Comment: arXiv admin note: substantial text overlap with arXiv:2203.00362
- Published
- 2023
144. An Arithmetic Theory for the Poly-Time Random Functions
- Author
-
Antonelli, Melissa, Lago, Ugo Dal, Davoli, Davide, Oitavem, Isabel, and Pistone, Paolo
- Subjects
Computer Science - Computational Complexity ,Computer Science - Logic in Computer Science - Abstract
We introduce a new bounded theory RS^1_2 and show that the functions which are Sigma^b_1-representable in it are precisely random functions which can be computed in polynomial time. Concretely, we pass through a class of oracle functions over string, called POR, together with the theory of arithmetic RS^1_2. Then, we show that functions computed by poly-time PTMs are arithmetically characterized by a class of probabilistic bounded formulas., Comment: 37 pages, pre-print
- Published
- 2023
145. The stochastic digital human is now enrolling for in silico imaging trials -- Methods and tools for generating digital cohorts
- Author
-
Badano, A, Lago, M, Sizikova, E, Delfino, JG, Guan, S, Anastasio, MA, and Sahiner, B
- Subjects
Computer Science - Artificial Intelligence ,Physics - Medical Physics - Abstract
Randomized clinical trials, while often viewed as the highest evidentiary bar by which to judge the quality of a medical intervention, are far from perfect. In silico imaging trials are computational studies that seek to ascertain the performance of a medical device by collecting this information entirely via computer simulations. The benefits of in silico trials for evaluating new technology include significant resource and time savings, minimization of subject risk, the ability to study devices that are not achievable in the physical world, allow for the rapid and effective investigation of new technologies and ensure representation from all relevant subgroups. To conduct in silico trials, digital representations of humans are needed. We review the latest developments in methods and tools for obtaining digital humans for in silico imaging studies. First, we introduce terminology and a classification of digital human models. Second, we survey available methodologies for generating digital humans with healthy and diseased status and examine briefly the role of augmentation methods. Finally, we discuss the trade-offs of four approaches for sampling digital cohorts and the associated potential for study bias with selecting specific patient distributions.
- Published
- 2023
146. The Eighteenth Data Release of the Sloan Digital Sky Surveys: Targeting and First Spectra from SDSS-V
- Author
-
Almeida, Andrés, Anderson, Scott F., Argudo-Fernández, Maria, Badenes, Carles, Barger, Kat, Barrera-Ballesteros, Jorge K., Bender, Chad F., Benitez, Erika, Besser, Felipe, Bizyaev, Dmitry, Blanton, Michael R., Bochanski, John, Bovy, Jo, Brandt, William Nielsen, Brownstein, Joel R., Buchner, Johannes, Bulbul, Esra, Burchett, Joseph N., Díaz, Mariana Cano, Carlberg, Joleen K., Casey, Andrew R., Chandra, Vedant, Cherinka, Brian, Chiappini, Cristina, Coker, Abigail A., Comparat, Johan, Conroy, Charlie, Contardo, Gabriella, Cortes, Arlin, Covey, Kevin, Crane, Jeffrey D., Cunha, Katia, Dabbieri, Collin, Davidson Jr., James W., Davis, Megan C., De Lee, Nathan, Delgado, José Eduardo Méndez, Demasi, Sebastian, Di Mille, Francesco, Donor, John, Dow, Peter, Dwelly, Tom, Eracleous, Mike, Eriksen, Jamey, Fan, Xiaohui, Farr, Emily, Frederick, Sara, Fries, Logan, Frinchaboy, Peter, Gaensicke, Boris T., Ge, Junqiang, Ávila, Consuelo González, Grabowski, Katie, Grier, Catherine, Guiglion, Guillaume, Gupta, Pramod, Hall, Patrick, Hawkins, Keith, Hayes, Christian R., Hermes, J. J., Hernández-García, Lorena, Hogg, David W., Holtzman, Jon A., Ibarra-Medel, Hector Javier, Ji, Alexander, Jofre, Paula, Johnson, Jennifer A., Jones, Amy M., Kinemuchi, Karen, Kluge, Matthias, Koekemoer, Anton, Kollmeier, Juna A., Kounkel, Marina, Krishnarao, Dhanesh, Krumpe, Mirko, Lacerna, Ivan, Lago, Paulo Jakson Assuncao, Laporte, Chervin, Liu, Ang, Liu, Chao, Liu, Xin, Lopes, Alexandre Roman, Macktoobian, Matin, Majewski, Steven R., Malanushenko, Viktor, Maoz, Dan, Masseron, Thomas, Masters, Karen L., Matijevic, Gal, McBride, Aidan, Medan, Ilija, Merloni, Andrea, Morrison, Sean, Myers, Natalie, Mészáros, Szabolcs, Negrete, C. Alenka, Nidever, David L., Nitschelm, Christian, Oravetz, Audrey, Oravetz, Daniel, Pan, Kaike, Peng, Yingjie, Pinsonneault, Marc H., Pogge, Rick, Qiu, Dan, Queiroz, Anna Barbara de Andrade, Ramirez, Solange V., Rix, Hans-Walter, Rosso, Daniela Fernández, Runnoe, Jessie, Salvato, Mara, Sanchez, Sebastian F., Santana, Felipe A., Saydjari, Andrew, Sayres, Conor, Schlaufman, Kevin C., Schneider, Donald P., Schwope, Axel, Serna, Javier, Shen, Yue, Sobeck, Jennifer, Song, Ying-Yi, Souto, Diogo, Spoo, Taylor, Stassun, Keivan G., Steinmetz, Matthias, Straumit, Ilya, Stringfellow, Guy, Sánchez-Gallego, José, Taghizadeh-Popp, Manuchehr, Tayar, Jamie, Thakar, Ani, Tissera, Patricia B., Tkachenko, Andrew, Toledo, Hector Hernandez, Trakhtenbrot, Benny, Trincado, Jose G. Fernandez, Troup, Nicholas, Trump, Jonathan R., Tuttle, Sarah, Ulloa, Natalie, Vazquez-Mata, Jose Antonio, Alfaro, Pablo Vera, Villanova, Sandro, Wachter, Stefanie, Weijmans, Anne-Marie, Wheeler, Adam, Wilson, John, Wojno, Leigh, Wolf, Julien, Xue, Xiang-Xiang, Ybarra, Jason E., Zari, Eleonora, and Zasowski, Gail
- Subjects
Astrophysics - Astrophysics of Galaxies ,Astrophysics - Cosmology and Nongalactic Astrophysics ,Astrophysics - High Energy Astrophysical Phenomena - Abstract
The eighteenth data release of the Sloan Digital Sky Surveys (SDSS) is the first one for SDSS-V, the fifth generation of the survey. SDSS-V comprises three primary scientific programs, or "Mappers": Milky Way Mapper (MWM), Black Hole Mapper (BHM), and Local Volume Mapper (LVM). This data release contains extensive targeting information for the two multi-object spectroscopy programs (MWM and BHM), including input catalogs and selection functions for their numerous scientific objectives. We describe the production of the targeting databases and their calibration- and scientifically-focused components. DR18 also includes ~25,000 new SDSS spectra and supplemental information for X-ray sources identified by eROSITA in its eFEDS field. We present updates to some of the SDSS software pipelines and preview changes anticipated for DR19. We also describe three value-added catalogs (VACs) based on SDSS-IV data that have been published since DR17, and one VAC based on the SDSS-V data in the eFEDS field., Comment: Accepted to ApJS
- Published
- 2023
- Full Text
- View/download PDF
147. Coding Cross Sections of an Electron Charge Transfer Process
- Author
-
de Aragão, Emília Valença Ferreira, Mancini, Luca, He, Xiao, Faginas-Lago, Noelia, Rosi, Marzio, Ascenzi, Daniela, and Pirani, Fernando
- Subjects
Physics - Chemical Physics - Abstract
The paper presents the algorithm of a code written for computing the cross section for a charge transfer process involving a neutral molecule and a monatomic ion. The entrance and exit potential energy surfaces, driving the collision dynamics, are computed employing the Improved Lennard-Jones function that accounts for the role of non-electrostatic forces, due to size repulsion plus dispersion and induction attraction. In addition, electrostatic components, affecting the entrance channels, are evaluated as sum of Coulomb contributions, determined by the He$^+$ ion interacting with the charge distribution on the molecular frame. The cross section is estimated by employing the Landau-Zener-St\"uckelberg approach. The code implemented has been employed in systems involving helium cation and a small organic molecule, such as methanol, dimethyl ether and methyl formate., Comment: 16 pages, 5 figures. Preprint version submitted to LNCS (Springer) ICCSA2022. The final authenticated version is available online at https://doi.org/10.1007/978-3-031-10592-0_24
- Published
- 2022
- Full Text
- View/download PDF
148. Long-Range Complex in the HC3N + CN Potential Energy Surface: Ab Initio Calculations and Intermolecular Potential
- Author
-
de Aragão, Emília Valença Ferreira, Mancini, Luca, Faginas-Lago, Noelia, Rosi, Marzio, Balucani, Nadia, and Pirani, Fernando
- Subjects
Astrophysics - Astrophysics of Galaxies ,Physics - Chemical Physics - Abstract
In this work we characterize an initial van der Waals adduct in the potential energy surface of reaction between cyanoacetylene HC3N and the cyano radical. The geometry of the CN-HC3N adduct has been optimized through calculations employing ab initio methods. Results show that the energy of the adduct lays below the reactants. Additionally, a saddle point that connects the adduct to an important intermediate of the PES has been localized, with energy below the reactants. Calculations of the intermolecular potential have been performed and results show that the energy of the van der Waals adduct is higher than estimated with the ab initio methods., Comment: 13 pages, 5 figures. Preprint version submitted to LNCS (Springer) ICCSA2021
- Published
- 2022
- Full Text
- View/download PDF
149. Encoder-Decoder Model for Suffix Prediction in Predictive Monitoring
- Author
-
Rama-Maneiro, Efrén, Monteagudo-Lago, Pablo, Vidal, Juan C., and Lama, Manuel
- Subjects
Computer Science - Machine Learning ,Computer Science - Artificial Intelligence - Abstract
Predictive monitoring is a subfield of process mining that aims to predict how a running case will unfold in the future. One of its main challenges is forecasting the sequence of activities that will occur from a given point in time -- suffix prediction -- . Most approaches to the suffix prediction problem learn to predict the suffix by learning how to predict the next activity only, not learning from the whole suffix during the training phase. This paper proposes a novel architecture based on an encoder-decoder model with an attention mechanism that decouples the representation learning of the prefixes from the inference phase, predicting only the activities of the suffix. During the inference phase, this architecture is extended with a heuristic search algorithm that improves the selection of the activity for each index of the suffix. Our approach has been tested using 12 public event logs against 6 different state-of-the-art proposals, showing that it significantly outperforms these proposals.
- Published
- 2022
150. A Catalog of the Highest-Energy Cosmic Rays Recorded During Phase I of Operation of the Pierre Auger Observatory
- Author
-
The Pierre Auger Collaboration, Halim, A. Abdul, Abreu, P., Aglietta, M., Allekotte, I., Allison, P., Cheminant, K. Almeida, Almela, A., Alvarez-Muñiz, J., Yebra, J. Ammerman, Anastasi, G. A., Anchordoqui, L., Andrada, B., Andringa, S., Aramo, C., Ferreira, P. R. Araújo, Arnone, E., Velázquez, J. C. Arteaga, Asorey, H., Assis, P., Ave, M., Avila, G., Avocone, E., Badescu, A. M., Bakalova, A., Balaceanu, A., Barbato, F., Beatty, J., Bellido, J. A., Berat, C., Bertaina, M. E., Bertou, X., Bhatta, G., Biermann, P. L., Billoir, P., Binet, V., Bismark, K., Bister, T., Biteau, J., Blazek, J., Bleve, C., Blümer, J., Boháčová, M., Boncioli, D., Bonifazi, C., Arbeletche, L. Bonneau, Borodai, N., Brack, J., Bretz, T., Orchera, P. G. Brichetto, Briechle, F. L., Buchholz, P., Bueno, A., Buitink, S., Buscemi, M., Büsken, M., Bwembya, A., Caballero-Mora, K. S., Caccianiga, L., Caracas, I., Caruso, R., Castellina, A., Catalani, F., Cataldi, G., Cazon, L., Cerda, M., Cester, R., Chinellato, J. A., Chirinos, J., Chudoba, J., Chytka, L., Clay, R. W., Cerutti, A. C. Cobos, Colalillo, R., Coleman, A., Coluccia, M. R., Conceição, R., Condorelli, A., Consolati, G., Contreras, F., Convenga, F., Santos, D. Correia dos, Covault, C. E., Cristinziani, M., Sanchez, C. S. Cruz, Dasso, S., Daumiller, K., Dawson, B. R., de Almeida, R. M., de Jesús, J., de Jong, S. J., Neto, J. R. T. de Mello, De Mitri, I., de Oliveira, J., Franco, D. de Oliveira, de Palma, F., de Souza, V., De Vito, E., Del Popolo, A., Deligny, O., Deval, L., di Matteo, A., Dobre, M., Dobrigkeit, C., D'Olivo, J. C., Mendes, L. M. Domingues, Dorofeev, A., Anjos, R. C. dos, Ebr, J., Eman, M., Engel, R., Epicoco, I., Erdmann, M., Etchegoyen, A., Falcke, H., Farmer, J., Farrar, G., Fauth, A. C., Fazzini, N., Feldbusch, F., Fenu, F., Fick, B., Figueira, J. M., Filipčič, A., Fitoussi, T., Flaggs, B., Fodran, T., Fujii, T., Fuster, A., Galea, C., Galelli, C., García, B., Gemmeke, H., Gesualdi, F., Gherghel-Lascu, A., Ghia, P. L., Giaccari, U., Giammarchi, M., Glombitza, J., Gobbi, F., Gollan, F., Golup, G., Berisso, M. Gómez, Vitale, P. F. Gómez, Gongora, J. P., González, J. M., González, N., Goos, I., Góra, D., Gorgi, A., Gottowik, M., Grubb, T. D., Guarino, F., Guedes, G. P., Guido, E., Hahn, S., Hamal, P., Hampel, M. R., Hansen, P., Harari, D., Harton, J., Harvey, V. M., Haungs, A., Hebbeker, T., Heck, D., Hojvat, C., Hörandel, J. R., Horvath, P., Hrabovský, M., Huege, T., Insolia, A., Isar, P. G., Janecek, P., Johnsen, J. A., Jurysek, J., Kääpä, A., Kampert, K. H., Keilhauer, B., Khakurdikar, A., Covilakam, V. V. Kizakke, Klages, H. O., Kleifges, M., Kleinfeller, J., Knapp, F., Knapp, J., Kunka, N., Lachaud, C., Lago, B. L., Langner, N., de Oliveira, M. A. Leigui, Lenok, V., Letessier-Selvon, A., Lhenry-Yvon, I., Presti, D. Lo, Lopes, L., López, R., Lu, L., Luce, Q., Lundquist, J. P., Payeras, A. Machado, Mandat, D., Manning, B. C., Manshanden, J., Mantsch, P., Marafico, S., Mariani, F. M., Mariazzi, A. G., Mariş, I. C., Marsella, G., Martello, D., Martinelli, S., Bravo, O. Martínez, Martins, M. A., Mastrodicasa, M., Mathes, H. J., Matthews, J., Matthiae, G., Mayotte, E., Mayotte, S., Mazur, P. O., Medina-Tanco, G., Meinert, J., Melo, D., Menshikov, A., Michal, S., Micheletti, M. I., Miramonti, L., Mollerach, S., Montanet, F., Morejon, L., Morello, C., Müller, A. L., Mulrey, K., Mussa, R., Muzio, M., Namasaka, W. M., Nasr-Esfahani, A., Nellen, L., Nicora, G., Niculescu-Oglinzanu, M., Niechciol, M., Nitz, D., Norwood, I., Nosek, D., Novotny, V., Nožka, L., Nucita, A, Núñez, L. A., Oliveira, C., Palatka, M., Pallotta, J., Parente, G., Parra, A., Pawlowsky, J., Pech, M., Pękala, J., Pelayo, R., Martins, E. E. Pereira, Armand, J. Perez, Bertolli, C. Pérez, Perrone, L., Petrera, S., Petrucci, C., Pierog, T., Pimenta, M., Platino, M., Pont, B., Pothast, M., Shavar, M. Pourmohammad, Privitera, P., Prouza, M., Puyleart, A., Querchfeld, S., Rautenberg, J., Ravignani, D., Reininghaus, M., Ridky, J., Riehn, F., Risse, M., Rizi, V., de Carvalho, W. Rodrigues, Rojo, J. Rodriguez, Roncoroni, M. J., Rossoni, S., Roth, M., Roulet, E., Rovero, A. C., Ruehl, P., Saftoiu, A., Saharan, M., Salamida, F., Salazar, H., Salina, G., Gomez, J. D. Sanabria, Sánchez, F., Santos, E. M., Santos, E., Sarazin, F., Sarmento, R., Sato, R., Savina, P., Schäfer, C. M., Scherini, V., Schieler, H., Schimassek, M., Schimp, M., Schlüter, F., Schmidt, D., Scholten, O., Schoorlemmer, H., Schovánek, P., Schröder, F. G., Schulte, J., Schulz, T., Sciutto, S. J., Scornavacche, M., Segreto, A., Sehgal, S., Shivashankara, S. U., Sigl, G., Silli, G., Sima, O., Smau, R., Šmída, R., Sommers, P., Soriano, J. F., Squartini, R., Stadelmaier, M., Stanca, D., Stanič, S., Stasielak, J., Stassi, P., Straub, M., Streich, A., Suárez-Durán, M., Suomijärvi, T., Supanitsky, A. D., Szadkowski, Z., Tapia, A., Taricco, C., Timmermans, C., Tkachenko, O., Tobiska, P., Peixoto, C. J. Todero, Tomé, B., Torrès, Z., Travaini, A., Travnicek, P., Trimarelli, C., Tueros, M., Ulrich, R., Unger, M., Vaclavek, L., Vacula, M., Galicia, J. F. Valdés, Valore, L., Varela, E., Vásquez-Ramírez, A., Veberič, D., Ventura, C., Quispe, I. D. Vergara, Verzi, V., Vicha, J., Cendejas, L. M. Villaseñor, Vink, J., Vorobiov, S., Watanabe, C., Watson, A. A., Weindl, A., Wiencke, L., Wilczyński, H., Wittkowski, D., Wundheiler, B., Younk, P., Yushkov, A., Zapparrata, O., Zas, E., Zavrtanik, D., and Zavrtanik, M.
- Subjects
Astrophysics - High Energy Astrophysical Phenomena ,Astrophysics - Instrumentation and Methods for Astrophysics - Abstract
A catalog containing details of the highest-energy cosmic rays recorded through the detection of extensive air-showers at the Pierre Auger Observatory is presented with the aim of opening the data to detailed examination. Descriptions of the 100 showers created by the highest-energy particles recorded between 1 January 2004 and 31 December 2020 are given for cosmic rays that have energies in the range 78 EeV to 166 EeV. Details are also given of a further nine very-energetic events that have been used in the calibration procedure adopted to determine the energy of each primary. A sky plot of the arrival directions of the most energetic particles is shown. No interpretations of the data are offered., Comment: Article accepted for publication in ApJS
- Published
- 2022
Catalog
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.