22,446 results on '"Goes AT"'
Search Results
2. Enhancing sensor attack detection in supervisory control systems modeled by probabilistic automata
- Author
-
Fahim, Parastou, Oliveira, Samuel, and Meira-Góes, Rômulo
- Subjects
Electrical Engineering and Systems Science - Systems and Control - Abstract
Sensor attacks compromise the reliability of cyber-physical systems (CPSs) by altering sensor outputs with the objective of leading the system to unsafe system states. This paper studies a probabilistic intrusion detection framework based on $\lambda$-sensor-attack detectability ($\lambda$-sa), a formal measure that evaluates the likelihood of a system being under attack based on observed behaviors. Our framework enhances detection by extending its capabilities to identify multiple sensor attack strategies using probabilistic information, which enables the detection of sensor attacks that were undetected by current detection methodologies. We develop a polynomial-time algorithm that verifies $\lambda$-sa detectability by constructing a weighted verifier automaton and solving the shortest path problem. Additionally, we propose a method to determine the maximum detection confidence level ($\lambda$*) achievable by the system, ensuring the highest probability of identifying attack-induced behaviors.
- Published
- 2025
3. Forecasting the future development in quality and value of professional football players for applications in team management
- Author
-
van Arem, Koen W., Goes-Smit, Floris, and Söhl, Jakob
- Subjects
Statistics - Applications ,Computer Science - Machine Learning - Abstract
Transfers in professional football (soccer) are risky investments because of the large transfer fees and high risks involved. Although data-driven models can be used to improve transfer decisions, existing models focus on describing players' historical progress, leaving their future performance unknown. Moreover, recent developments have called for the use of explainable models combined with uncertainty quantification of predictions. This paper assesses explainable machine learning models based on predictive accuracy and uncertainty quantification methods for the prediction of the future development in quality and transfer value of professional football players. Using a historical data set of data-driven indicators describing player quality and the transfer value of a football player, the models are trained to forecast player quality and player value one year ahead. These two prediction problems demonstrate the efficacy of tree-based models, particularly random forest and XGBoost, in making accurate predictions. In general, the random forest model is found to be the most suitable model because it provides accurate predictions as well as an uncertainty quantification method that naturally arises from the bagging procedure of the random forest model. Additionally, our research shows that the development of player performance contains nonlinear patterns and interactions between variables, and that time series information can provide useful information for the modeling of player performance metrics. Our research provides models to help football clubs make more informed, data-driven transfer decisions by forecasting player quality and transfer value., Comment: The article itself is on the pages 1-27. The data set used in this article is described in the appendix at the pages 28-35
- Published
- 2025
4. Soil moisture estimation of bare and vegetation-covered areas using a P/L/C-band SAR
- Author
-
Oré, Gian, Yepes, Jhonnatan, Góes, Juliana A., Oliveira, Luciano P., Teruel, Bárbara, and Hernandez-Figueroa, Hugo E.
- Subjects
Electrical Engineering and Systems Science - Signal Processing ,I.4.7 - Abstract
The paper introduces a novel approach for estimating soil moisture in vegetated surfaces, specifically focusing on sugarcane crops throughout various growth stages in agriculture applications. While existing models typically address bare soil scenarios, this model utilizes data from P-, L-, and C-band Synthetic Aperture Radar (SAR) to estimate soil moisture. The semi-empirical Dubois model forms the basis of the proposed model, which has been adapted to accommodate multiband operation and crop height variations. Synthetic datasets are generated using the adjusted model to train two neural networks incorporated into the overall model. Additionally, a linear expression for estimating crop height is integrated into the model. The model is validated in an Experimental Site at the School of Agricultural Engineering, UNICAMP, and an independent area at the Sugarcane Technology Center in Piracicaba, Brazil. The model utilizes a multiband drone-borne SAR system with a 3-meter image resolution and radiometric accuracy of 0.5 dB. The results indicate that the model can estimate soil moisture with root-mean-square errors of 0.05 cm3.cm-3 (5 vol. %) across crop heights ranging from zero to 2.5 meters., Comment: 9 pages, 12 figures, 2 tables, 17 equations
- Published
- 2024
5. Are Frontier Large Language Models Suitable for Q&A in Science Centres?
- Author
-
Watson, Jacob, Góes, Fabrício, Volpe, Marco, and Medeiros, Talles
- Subjects
Computer Science - Artificial Intelligence - Abstract
This paper investigates the suitability of frontier Large Language Models (LLMs) for Q&A interactions in science centres, with the aim of boosting visitor engagement while maintaining factual accuracy. Using a dataset of questions collected from the National Space Centre in Leicester (UK), we evaluated responses generated by three leading models: OpenAI's GPT-4, Claude 3.5 Sonnet, and Google Gemini 1.5. Each model was prompted for both standard and creative responses tailored to an 8-year-old audience, and these responses were assessed by space science experts based on accuracy, engagement, clarity, novelty, and deviation from expected answers. The results revealed a trade-off between creativity and accuracy, with Claude outperforming GPT and Gemini in both maintaining clarity and engaging young audiences, even when asked to generate more creative responses. Nonetheless, experts observed that higher novelty was generally associated with reduced factual reliability across all models. This study highlights the potential of LLMs in educational settings, emphasizing the need for careful prompt engineering to balance engagement with scientific rigor., Comment: 19 pages, 2 figures, 10 tables
- Published
- 2024
6. Constrained LTL Specification Learning from Examples
- Author
-
Zhang, Changjian, Kapoor, Parv, Dardik, Ian, Cui, Leyi, Meira-Goes, Romulo, Garlan, David, and Kang, Eunsuk
- Subjects
Computer Science - Software Engineering ,Computer Science - Logic in Computer Science ,D.2.1 ,D.3.1 ,D.2.2 ,D.2.4 ,F.3.1 - Abstract
Temporal logic specifications play an important role in a wide range of software analysis tasks, such as model checking, automated synthesis, program comprehension, and runtime monitoring. Given a set of positive and negative examples, specified as traces, LTL learning is the problem of synthesizing a specification, in linear temporal logic (LTL), that evaluates to true over the positive traces and false over the negative ones. In this paper, we propose a new type of LTL learning problem called constrained LTL learning, where the user, in addition to positive and negative examples, is given an option to specify one or more constraints over the properties of the LTL formula to be learned. We demonstrate that the ability to specify these additional constraints significantly increases the range of applications for LTL learning, and also allows efficient generation of LTL formulas that satisfy certain desirable properties (such as minimality). We propose an approach for solving the constrained LTL learning problem through an encoding in first-order relational logic and reduction to an instance of the maximal satisfiability (MaxSAT) problem. An experimental evaluation demonstrates that ATLAS, an implementation of our proposed approach, is able to solve new types of learning problems while performing better than or competitively with the state-of-the-art tools in LTL learning., Comment: 14 pages, ICSE 2025
- Published
- 2024
7. Do LLMs Agree on the Creativity Evaluation of Alternative Uses?
- Author
-
Rabeyah, Abdullah Al, Góes, Fabrício, Volpe, Marco, and Medeiros, Talles
- Subjects
Computer Science - Artificial Intelligence ,Computer Science - Computation and Language - Abstract
This paper investigates whether large language models (LLMs) show agreement in assessing creativity in responses to the Alternative Uses Test (AUT). While LLMs are increasingly used to evaluate creative content, previous studies have primarily focused on a single model assessing responses generated by the same model or humans. This paper explores whether LLMs can impartially and accurately evaluate creativity in outputs generated by both themselves and other models. Using an oracle benchmark set of AUT responses, categorized by creativity level (common, creative, and highly creative), we experiment with four state-of-the-art LLMs evaluating these outputs. We test both scoring and ranking methods and employ two evaluation settings (comprehensive and segmented) to examine if LLMs agree on the creativity evaluation of alternative uses. Results reveal high inter-model agreement, with Spearman correlations averaging above 0.7 across models and reaching over 0.77 with respect to the oracle, indicating a high level of agreement and validating the reliability of LLMs in creativity assessment of alternative uses. Notably, models do not favour their own responses, instead they provide similar creativity assessment scores or rankings for alternative uses generated by other models. These findings suggest that LLMs exhibit impartiality and high alignment in creativity evaluation, offering promising implications for their use in automated creativity assessment., Comment: 19 pages, 7 figures, 15 tables
- Published
- 2024
8. Hanle effect for lifetime determinations in the soft X-ray regime
- Author
-
Togawa, Moto, Richter, Jan, Shah, Chintan, Botz, Marc, Nenninger, Joshua, Danisch, Jonas, Goes, Joschka, Kühn, Steffen, Amaro, Pedro, Mohamed, Awad, Amano, Yuki, Orlando, Stefano, Totani, Roberta, de Simone, Monica, Fritzsche, Stephan, Pfeifer, Thomas, Coreno, Marcello, Surzhykov, Andrey, and López-Urrutia, José R. Crespo
- Subjects
Physics - Atomic Physics - Abstract
By exciting a series of $1\mathrm{s}^{2}\, ^{1}\mathrm{S}_{0} \to 1\mathrm{s}n\mathrm{p}\, ^{1}\mathrm{P}_{1}$ transitions in helium-like nitrogen ions with linearly polarized monochromatic soft X-rays at the Elettra facility, we found a change in the angular distribution of the fluorescence sensitive to the principal quantum number $n$. In particular it is observed that the ratio of emission in directions parallel and perpendicular to the polarization of incident radiation increases with higher $n$. We find this $n$-dependence to be a manifestation of the Hanle effect, which served as a practical tool for lifetime determinations of optical transitions since its discovery in 1924. In contrast to traditional Hanle effect experiments, in which one varies the magnetic field and considers a particular excited state, we demonstrate a 'soft X-ray Hanle effect' which arises in a static magnetic field but for a series of excited states. By comparing experimental data with theoretical predictions, we were able to determine lifetimes ranging from hundreds of femtoseconds to tens of picoseconds of the $1\mathrm{s}n\mathrm{p}\, ^{1}\mathrm{P}_{1}$ levels, which find excellent agreement with atomic-structure calculations. We argue that dedicated soft X-ray measurements could yield lifetime data that is beyond current experimental reach and cannot yet be predicted with sufficient accuracy., Comment: 7 pages, 4 figures
- Published
- 2024
9. Study of the stability and physicochemical behavior of a novel biolubricant based on castor oil used in cutting operations
- Author
-
Antunes, Quíssila Goes, Santos, Ana Lara Araújo, Siqueira, José Italo Porto, Lima, Ronaldo Guilherme Santos, da Silva, Gabriel Francisco, and dos Santos, João Paulo Lobo
- Published
- 2025
- Full Text
- View/download PDF
10. Exploring the Toxicity and Antiresorptive Activity of a Diterpene from Egletes viscosa in Mice: In Silico and In Vivo Studies
- Author
-
de Sousa, Iara Laís L., de Melo, Iracema M., de O. Freire, Jordânia M., Lima, Andreia S., Pimenta, Antônia T. A., Lima, Mary Anne S., Mesquita, River Jordan O., Luciano, Joao Henrique S., do N. Costa, José Jackson, Goes, Paula, de C. Leitão, Renata F., de S. Ferreira, Vanessa C., Pereira, Karuza Maria A., Braz, Helyson Lucas B., Chaves, Hellíada V., and Bezerra, Mirna M.
- Published
- 2025
- Full Text
- View/download PDF
11. Entropy generation and water conservation in the mammalian nephron
- Author
-
Nogueira-de-Sá, Pedro Goes, Bicudo, José Eduardo Pereira Wilken, and Chaui-Berlinck, José Guilherme
- Published
- 2025
- Full Text
- View/download PDF
12. Genomics yields biological and phenotypic insights into bipolar disorder
- Author
-
O’Connell, Kevin S., Koromina, Maria, van der Veen, Tracey, Boltz, Toni, David, Friederike S., Yang, Jessica Mei Kay, Lin, Keng-Han, Wang, Xin, Coleman, Jonathan R. I., Mitchell, Brittany L., McGrouther, Caroline C., Rangan, Aaditya V., Lind, Penelope A., Koch, Elise, Harder, Arvid, Parker, Nadine, Bendl, Jaroslav, Adorjan, Kristina, Agerbo, Esben, Albani, Diego, Alemany, Silvia, Alliey-Rodriguez, Ney, Als, Thomas D., Andlauer, Till F. M., Antoniou, Anastasia, Ask, Helga, Bass, Nicholas, Bauer, Michael, Beins, Eva C., Bigdeli, Tim B., Pedersen, Carsten Bøcker, Boks, Marco P., Børte, Sigrid, Bosch, Rosa, Brum, Murielle, Brumpton, Ben M., Brunkhorst-Kanaan, Nathalie, Budde, Monika, Bybjerg-Grauholm, Jonas, Byerley, William, Cabana-Domínguez, Judit, Cairns, Murray J., Carpiniello, Bernardo, Casas, Miquel, Cervantes, Pablo, Chatzinakos, Chris, Chen, Hsi-Chung, Clarence, Tereza, Clarke, Toni-Kim, Claus, Isabelle, Coombes, Brandon, Corfield, Elizabeth C., Cruceanu, Cristiana, Cuellar-Barboza, Alfredo, Czerski, Piotr M., Dafnas, Konstantinos, Dale, Anders M., Dalkner, Nina, Degenhardt, Franziska, DePaulo, J. Raymond, Djurovic, Srdjan, Drange, Ole Kristian, Escott-Price, Valentina, Fanous, Ayman H., Fellendorf, Frederike T., Ferrier, I. Nicol, Forty, Liz, Frank, Josef, Frei, Oleksandr, Freimer, Nelson B., Fullard, John F., Garnham, Julie, Gizer, Ian R., Gordon, Scott D., Gordon-Smith, Katherine, Greenwood, Tiffany A., Grove, Jakob, Guzman-Parra, José, Ha, Tae Hyon, Hahn, Tim, Haraldsson, Magnus, Hautzinger, Martin, Havdahl, Alexandra, Heilbronner, Urs, Hellgren, Dennis, Herms, Stefan, Hickie, Ian B., Hoffmann, Per, Holmans, Peter A., Huang, Ming-Chyi, Ikeda, Masashi, Jamain, Stéphane, Johnson, Jessica S., Jonsson, Lina, Kalman, Janos L., Kamatani, Yoichiro, Kennedy, James L., Kim, Euitae, Kim, Jaeyoung, Kittel-Schneider, Sarah, Knowles, James A., Kogevinas, Manolis, Kranz, Thorsten M., Krebs, Kristi, Kushner, Steven A., Lavebratt, Catharina, Lawrence, Jacob, Leber, Markus, Lee, Heon-Jeong, Liao, Calwing, Lucae, Susanne, Lundberg, Martin, MacIntyre, Donald J., Maier, Wolfgang, Maihofer, Adam X., Malaspina, Dolores, Manchia, Mirko, Maratou, Eirini, Martinsson, Lina, Mattheisen, Manuel, McGregor, Nathaniel W., McInnis, Melvin G., McKay, James D., Medeiros, Helena, Meyer-Lindenberg, Andreas, Millischer, Vincent, Morris, Derek W., Moutsatsou, Paraskevi, Mühleisen, Thomas W., O’Donovan, Claire, Olsen, Catherine M., Panagiotaropoulou, Georgia, Papiol, Sergi, Pardiñas, Antonio F., Park, Hye Youn, Perry, Amy, Pfennig, Andrea, Pisanu, Claudia, Potash, James B., Quested, Digby, Rapaport, Mark H., Regeer, Eline J., Rice, John P., Rivera, Margarita, Schulte, Eva C., Senner, Fanny, Shadrin, Alexey, Shilling, Paul D., Sigurdsson, Engilbert, Sindermann, Lisa, Sirignano, Lea, Siskind, Dan, Slaney, Claire, Sloofman, Laura G., Smeland, Olav B., Smith, Daniel J., Sobell, Janet L., Soler Artigas, Maria, Stein, Dan J., Stein, Frederike, Su, Mei-Hsin, Sung, Heejong, Świątkowska, Beata, Terao, Chikashi, Tesfaye, Markos, Tesli, Martin, Thorgeirsson, Thorgeir E., Thorp, Jackson G., Toma, Claudio, Tondo, Leonardo, Tooney, Paul A., Tsai, Shih-Jen, Tsermpini, Evangelia Eirini, Vawter, Marquis P., Vedder, Helmut, Vreeker, Annabel, Walters, James T. R., Winsvold, Bendik S., Witt, Stephanie H., Won, Hong-Hee, Ye, Robert, Young, Allan H., Zandi, Peter P., Zillich, Lea, Adolfsson, Rolf, Alda, Martin, Alfredsson, Lars, Backlund, Lena, Baune, Bernhard T., Bellivier, Frank, Bengesser, Susanne, Berrettini, Wade H., Biernacka, Joanna M., Boehnke, Michael, Børglum, Anders D., Breen, Gerome, Carr, Vaughan J., Catts, Stanley, Cichon, Sven, Corvin, Aiden, Craddock, Nicholas, Dannlowski, Udo, Dikeos, Dimitris, Etain, Bruno, Ferentinos, Panagiotis, Frye, Mark, Fullerton, Janice M., Gawlik, Micha, Gershon, Elliot S., Goes, Fernando S., Green, Melissa J., Grigoroiu-Serbanescu, Maria, Hauser, Joanna, Henskens, Frans A., Hjerling-Leffler, Jens, Hougaard, David M., Hveem, Kristian, Iwata, Nakao, Jones, Ian, Jones, Lisa A., Kahn, René S., Kelsoe, John R., Kircher, Tilo, Kirov, George, Kuo, Po-Hsiu, Landén, Mikael, Leboyer, Marion, Li, Qingqin S., Lissowska, Jolanta, Lochner, Christine, Loughland, Carmel, Luykx, Jurjen J., Martin, Nicholas G., Mathews, Carol A., Mayoral, Fermin, McElroy, Susan L., McIntosh, Andrew M., McMahon, Francis J., Medland, Sarah E., Melle, Ingrid, Milani, Lili, Mitchell, Philip B., Morken, Gunnar, Mors, Ole, Mortensen, Preben Bo, Müller-Myhsok, Bertram, Myers, Richard M., Myung, Woojae, Neale, Benjamin M., Nievergelt, Caroline M., Nordentoft, Merete, Nöthen, Markus M., Nurnberger, John I., O’Donovan, Michael C., Oedegaard, Ketil J., Olsson, Tomas, Owen, Michael J., Paciga, Sara A., Pantelis, Christos, Pato, Carlos N., Pato, Michele T., Patrinos, George P., Pawlak, Joanna M., Ramos-Quiroga, Josep Antoni, Reif, Andreas, Reininghaus, Eva Z., Ribasés, Marta, Rietschel, Marcella, Ripke, Stephan, Rouleau, Guy A., Roussos, Panos, Saito, Takeo, Schall, Ulrich, Schalling, Martin, Schofield, Peter R., Schulze, Thomas G., Scott, Laura J., Scott, Rodney J., Serretti, Alessandro, Smoller, Jordan W., Squassina, Alessio, Stahl, Eli A., Stefansson, Hreinn, Stefansson, Kari, Stordal, Eystein, Streit, Fabian, Sullivan, Patrick F., Turecki, Gustavo, Vaaler, Arne E., Vieta, Eduard, Vincent, John B., Waldman, Irwin D., Weickert, Cynthia S., Weickert, Thomas W., Werge, Thomas, Whiteman, David C., Zwart, John-Anker, Edenberg, Howard J., McQuillin, Andrew, Forstner, Andreas J., Mullins, Niamh, Di Florio, Arianna, Ophoff, Roel A., and Andreassen, Ole A.
- Published
- 2025
- Full Text
- View/download PDF
13. ONIX: a unified open-source platform for multimodal neural recording and perturbation during naturalistic behavior
- Author
-
Newman, Jonathan P., Zhang, Jie, Cuevas-López, Aarón, Miller, Nicholas J., Honda, Takato, van der Goes, Marie-Sophie H., Leighton, Alexandra H., Carvalho, Filipe, Lopes, Gonçalo, Lakunina, Anna, Siegle, Joshua H., Harnett, Mark T., Wilson, Matthew A., and Voigts, Jakob
- Published
- 2025
- Full Text
- View/download PDF
14. Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems
- Author
-
Zhang, Changjian, Kapoor, Parv, Kang, Eunsuk, Meira-Goes, Romulo, Garlan, David, Ganlath, Akila, Mishra, Shatadal, and Ammar, Nejib
- Subjects
Electrical Engineering and Systems Science - Systems and Control ,Computer Science - Artificial Intelligence ,Computer Science - Logic in Computer Science ,Computer Science - Robotics - Abstract
Cyber-physical systems (CPS) with reinforcement learning (RL)-based controllers are increasingly being deployed in complex physical environments such as autonomous vehicles, the Internet-of-Things(IoT), and smart cities. An important property of a CPS is tolerance; i.e., its ability to function safely under possible disturbances and uncertainties in the actual operation. In this paper, we introduce a new, expressive notion of tolerance that describes how well a controller is capable of satisfying a desired system requirement, specified using Signal Temporal Logic (STL), under possible deviations in the system. Based on this definition, we propose a novel analysis problem, called the tolerance falsification problem, which involves finding small deviations that result in a violation of the given requirement. We present a novel, two-layer simulation-based analysis framework and a novel search heuristic for finding small tolerance violations. To evaluate our approach, we construct a set of benchmark problems where system parameters can be configured to represent different types of uncertainties and disturbancesin the system. Our evaluation shows that our falsification approach and heuristic can effectively find small tolerance violations., Comment: arXiv admin note: text overlap with arXiv:2311.07462
- Published
- 2024
15. Trade, Growth, and Product Innovation
- Author
-
Góes, Carlos
- Subjects
Economics - General Economics - Abstract
Can trade integration induce product innovation? I document that countries that joined the European Union (EU) started producing more product varieties, investing more in R&D, and trading more compared to candidate countries that did not join at a given horizon. Additionally, I show that a plausibly exogenous increase in market access increases the probability of a given country starting production of and exporting a given product. To rationalize this reduced-form evidence, I propose a new quantitative framework that integrates the forces of specialization and market size. This is a dynamic general equilibrium model of frictional trade and endogenous growth with arbitrarily many asymmetric countries that nests the Eaton-Kortum model of trade and the Romer growth model as special cases. The key result is an analytical expression to decompose gains from trade into dynamic and static components. In this framework, the product innovation growth rate increases with higher market access. Finally, a quantitative version of the model suggests that: (a) the EU enlargement increased its long-run yearly growth rate by about 0.10pp; and (b) dynamic gains can account for between 65-90% of total welfare gains from trade., Comment: 14 figures; text: 42 pages; appendix: 35 pages
- Published
- 2024
16. Analysis of the offensive performance and interpersonal coordination of a team from the fourth division of the Sao Paulo championship: a case study/ANALISE DO DESEMPENHO OFENSIVO E DA COORDENACAO INTERPESSOAL DE UMA EQUIPE DA QUARTA DIVISAO DO CAMPEONATO PAULISTA: UM ESTUDO DE CASO
- Author
-
Goes, Alberto Lobato, Jr., Romano, Gustavo Souza, and Scaglia, Alcides Jose
- Published
- 2024
17. Development and validation of a questionnaire (QSPC-Q) for assessment of quality and strengthening of primary care in Brazil /Desenvolvimento e validacao de um questionario (QSPC-Q) para avaliacao da qualidade e fortalecimento da atencao primaria no Brasil
- Author
-
Tabosa Sales, Mozart Julio, Angeiras de Goes, Paulo Savio, Rego de Carvalho, Aline Priscila, Arruda da Silva, Caio Cesar, Silva Junior, Jose Roberto da, Felix Cavalcanti de Abreu, Amanda Carolina, Costa Pazos, Carolina Thaiza, and Arruda Vidal, Suely
- Published
- 2024
- Full Text
- View/download PDF
18. SpokeN-100: A Cross-Lingual Benchmarking Dataset for The Classification of Spoken Numbers in Different Languages
- Author
-
Groh, René, Goes, Nina, and Kist, Andreas M.
- Subjects
Computer Science - Sound ,Computer Science - Artificial Intelligence ,Electrical Engineering and Systems Science - Audio and Speech Processing - Abstract
Benchmarking plays a pivotal role in assessing and enhancing the performance of compact deep learning models designed for execution on resource-constrained devices, such as microcontrollers. Our study introduces a novel, entirely artificially generated benchmarking dataset tailored for speech recognition, representing a core challenge in the field of tiny deep learning. SpokeN-100 consists of spoken numbers from 0 to 99 spoken by 32 different speakers in four different languages, namely English, Mandarin, German and French, resulting in 12,800 audio samples. We determine auditory features and use UMAP (Uniform Manifold Approximation and Projection for Dimension Reduction) as a dimensionality reduction method to show the diversity and richness of the dataset. To highlight the use case of the dataset, we introduce two benchmark tasks: given an audio sample, classify (i) the used language and/or (ii) the spoken number. We optimized state-of-the-art deep neural networks and performed an evolutionary neural architecture search to find tiny architectures optimized for the 32-bit ARM Cortex-M4 nRF52840 microcontroller. Our results represent the first benchmark data achieved for SpokeN-100., Comment: Accepted as a full paper by the tinyML Research Symposium 2024
- Published
- 2024
19. Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
- Author
-
Kapoor, Parv, Kang, Eunsuk, and Meira-Goes, Romulo
- Subjects
Electrical Engineering and Systems Science - Systems and Control ,Computer Science - Logic in Computer Science ,Computer Science - Robotics - Abstract
Trajectory planning is a critical process that enables autonomous systems to safely navigate complex environments. Signal temporal logic (STL) specifications are an effective way to encode complex temporally extended objectives for trajectory planning in cyber-physical systems (CPS). However, planning from these specifications using existing techniques scale exponentially with the number of nested operators and the horizon of specification. Additionally, performance is exacerbated at runtime due to limited computational budgets and compounding modeling errors. Decomposing a complex specification into smaller subtasks and incrementally planning for them can remedy these issues. In this work, we present a way to decompose STL requirements temporally to improve planning efficiency and performance. The key insight in our work is to encode all specifications as a set of reachability and invariance constraints and scheduling these constraints sequentially at runtime. Our proposed technique outperforms the state-of-the-art trajectory synthesis techniques for both linear and non linear dynamical systems., Comment: Accepted to Nasa Formal Methods (NFM) 2024
- Published
- 2024
20. High-Precision Transition Energy Measurements of Neon-like Fe XVII Ions
- Author
-
Shah, Chintan, Togawa, Moto, Botz, Marc, Danisch, Jonas, Goes, Joschka J., Bernitt, Sonja, Maxton, Marleen, Köbnick, Kai, Buck, Jen, Seltmann, Jörn, Hoesch, Moritz, Gu, Ming Feng, Porter, F. Scott, Pfeifer, Thomas, Leutenegger, Maurice A., Cheung, Charles, Safronova, Marianna S., and López-Urrutia, José R. Crespo
- Subjects
Physics - Atomic Physics ,Astrophysics - High Energy Astrophysical Phenomena ,Astrophysics - Instrumentation and Methods for Astrophysics ,Astrophysics - Solar and Stellar Astrophysics ,Physics - Plasma Physics - Abstract
We improve by a factor of 4-20 the energy accuracy of the strongest soft X-ray transitions of Fe XVII ions by resonantly exciting them in an electron beam ion trap with a monochromatic beam at the P04 beamline of the PETRA III synchrotron facility. By simultaneously tracking instantaneous photon-energy fluctuations with a high-resolution photoelectron spectrometer, we minimize systematic uncertainties down to 10-15 meV, or velocity equivalent $\pm\sim$5 km s$^{-1}$ in their rest energies, substantially improving our knowledge of this key astrophysical ion. Our large-scale configuration-interaction computations include more than four million relativistic configurations and agree with the experiment at a level without precedent for a 10-electron system. Thereby, theoretical uncertainties for interelectronic correlations become far smaller than those of quantum electrodynamics (QED) corrections. The present QED benchmark strengthens our trust in future calculations of many other complex atomic ions of interest to astrophysics, plasma physics, and for the development of optical clocks with highly charged ions., Comment: 14 pages, 2 figures, 4 tables, published version
- Published
- 2024
- Full Text
- View/download PDF
21. Axial radiographic structural damage in patients with Enthesitis-Related Arthritis presents a distinct phenotype compared to adults with axial spondyloarthritis: A cross-sectional cohort study
- Author
-
de Araújo Pereira, Annelyse, do Amaral e Castro, Adham, Ahn, Isabel, Cecy Kuenzer Goes Esmanhotto, Paola, Yui Aihara, Andre, Irochima Pinheiro, Francisco, Sakamoto, Ana Paula, de Medeiros Pinheiro, Marcelo, and Terreri, Maria Teresa
- Published
- 2025
- Full Text
- View/download PDF
22. Social immune response reflects infection progression in a soldierless termite
- Author
-
da Silva, Luiza Helena Bueno, Goes, Aryel C., Rodrigues, Andre, Fourcassié, Vincent, McMahon, Dino, and Haifig, Ives
- Published
- 2025
- Full Text
- View/download PDF
23. Cross-ancestry atlas of gene, isoform, and splicing regulation in the developing human brain
- Author
-
Wen, Cindy, Margolis, Michael, Dai, Rujia, Zhang, Pan, Przytycki, Pawel F, Vo, Daniel D, Bhattacharya, Arjun, Matoba, Nana, Tang, Miao, Jiao, Chuan, Kim, Minsoo, Tsai, Ellen, Hoh, Celine, Aygün, Nil, Walker, Rebecca L, Chatzinakos, Christos, Clarke, Declan, Pratt, Henry, Peters, Mette A, Gerstein, Mark, Daskalakis, Nikolaos P, Weng, Zhiping, Jaffe, Andrew E, Kleinman, Joel E, Hyde, Thomas M, Weinberger, Daniel R, Bray, Nicholas J, Sestan, Nenad, Geschwind, Daniel H, Roeder, Kathryn, Gusev, Alexander, Pasaniuc, Bogdan, Stein, Jason L, Love, Michael I, Pollard, Katherine S, Liu, Chunyu, Gandal, Michael J, Akbarian, Schahram, Abyzov, Alexej, Ahituv, Nadav, Arasappan, Dhivya, Almagro Armenteros, Jose Juan, Beliveau, Brian J, Bendl, Jaroslav, Berretta, Sabina, Bharadwaj, Rahul A, Bicks, Lucy, Brennand, Kristen, Capauto, Davide, Champagne, Frances A, Chatterjee, Tanima, Chatzinakos, Chris, Chen, Yuhang, Chen, H Isaac, Cheng, Yuyan, Cheng, Lijun, Chess, Andrew, Chien, Jo-fan, Chu, Zhiyuan, Clement, Ashley, Collado-Torres, Leonardo, Cooper, Gregory M, Crawford, Gregory E, Davila-Velderrain, Jose, Deep-Soboslay, Amy, Deng, Chengyu, DiPietro, Christopher P, Dracheva, Stella, Drusinsky, Shiron, Duan, Ziheng, Duong, Duc, Dursun, Cagatay, Eagles, Nicholas J, Edelstein, Jonathan, Emani, Prashant S, Fullard, John F, Galani, Kiki, Galeev, Timur, Gaynor, Sophia, Girdhar, Kiran, Goes, Fernando S, Greenleaf, William, Grundman, Jennifer, Guo, Hanmin, Guo, Qiuyu, Gupta, Chirag, Hadas, Yoav, Hallmayer, Joachim, Han, Xikun, Haroutunian, Vahram, Hawken, Natalie, He, Chuan, Henry, Ella, Hicks, Stephanie C, Ho, Marcus, Ho, Li-Lun, Hoffman, Gabriel E, Huang, Yiling, Huuki-Myers, Louise A, and Hwang, Ahyeon
- Subjects
Biological Sciences ,Biomedical and Clinical Sciences ,Genetics ,Biological Psychology ,Psychology ,Mental Illness ,Mental Health ,Human Genome ,Neurosciences ,Brain Disorders ,Mental health ,Humans ,Alternative Splicing ,Atlases as Topic ,Autism Spectrum Disorder ,Brain ,Gene Expression Regulation ,Developmental ,Gene Regulatory Networks ,Genome-Wide Association Study ,Protein Isoforms ,Quantitative Trait Loci ,Schizophrenia ,Transcriptome ,Mental Disorders ,PsychENCODE Consortium† ,PsychENCODE Consortium ,General Science & Technology - Abstract
Neuropsychiatric genome-wide association studies (GWASs), including those for autism spectrum disorder and schizophrenia, show strong enrichment for regulatory elements in the developing brain. However, prioritizing risk genes and mechanisms is challenging without a unified regulatory atlas. Across 672 diverse developing human brains, we identified 15,752 genes harboring gene, isoform, and/or splicing quantitative trait loci, mapping 3739 to cellular contexts. Gene expression heritability drops during development, likely reflecting both increasing cellular heterogeneity and the intrinsic properties of neuronal maturation. Isoform-level regulation, particularly in the second trimester, mediated the largest proportion of GWAS heritability. Through colocalization, we prioritized mechanisms for about 60% of GWAS loci across five disorders, exceeding adult brain findings. Finally, we contextualized results within gene and isoform coexpression networks, revealing the comprehensive landscape of transcriptome regulation in development and disease.
- Published
- 2024
24. Massively parallel characterization of regulatory elements in the developing human cortex
- Author
-
Deng, Chengyu, Whalen, Sean, Steyert, Marilyn, Ziffra, Ryan, Przytycki, Pawel F, Inoue, Fumitaka, Pereira, Daniela A, Capauto, Davide, Norton, Scott, Vaccarino, Flora M, Pollen, Alex A, Nowakowski, Tomasz J, Ahituv, Nadav, Pollard, Katherine S, Akbarian, Schahram, Abyzov, Alexej, Arasappan, Dhivya, Almagro Armenteros, Jose Juan, Beliveau, Brian J, Bendl, Jaroslav, Berretta, Sabina, Bharadwaj, Rahul A, Bhattacharya, Arjun, Bicks, Lucy, Brennand, Kristen, Champagne, Frances A, Chatterjee, Tanima, Chatzinakos, Chris, Chen, Yuhang, Chen, H Isaac, Cheng, Yuyan, Cheng, Lijun, Chess, Andrew, Chien, Jo-fan, Chu, Zhiyuan, Clarke, Declan, Clement, Ashley, Collado-Torres, Leonardo, Cooper, Gregory M, Crawford, Gregory E, Dai, Rujia, Daskalakis, Nikolaos P, Davila-Velderrain, Jose, Deep-Soboslay, Amy, DiPietro, Christopher P, Dracheva, Stella, Drusinsky, Shiron, Duan, Ziheng, Duong, Duc, Dursun, Cagatay, Eagles, Nicholas J, Edelstein, Jonathan, Emani, Prashant S, Fullard, John F, Galani, Kiki, Galeev, Timur, Gandal, Michael J, Gaynor, Sophia, Gerstein, Mark, Geschwind, Daniel H, Girdhar, Kiran, Goes, Fernando S, Greenleaf, William, Grundman, Jennifer, Guo, Hanmin, Guo, Qiuyu, Gupta, Chirag, Hadas, Yoav, Hallmayer, Joachim, Han, Xikun, Haroutunian, Vahram, Hawken, Natalie, He, Chuan, Henry, Ella, Hicks, Stephanie C, Ho, Marcus, Ho, Li-Lun, Hoffman, Gabriel E, Huang, Yiling, Huuki-Myers, Louise A, Hwang, Ahyeon, Hyde, Thomas M, Iatrou, Artemis, Jajoo, Aarti, Jensen, Matthew, Jiang, Lihua, Jin, Peng, Jin, Ting, Jops, Connor, Jourdon, Alexandre, Kawaguchi, Riki, Kellis, Manolis, Khullar, Saniya, Kleinman, Joel E, Kleopoulos, Steven P, and Kozlenkov, Alex
- Subjects
Biological Sciences ,Bioinformatics and Computational Biology ,Biomedical and Clinical Sciences ,Stem Cell Research - Embryonic - Human ,Stem Cell Research ,Human Genome ,Genetics ,Neurosciences ,Underpinning research ,Aetiology ,1.1 Normal biological development and functioning ,2.1 Biological and endogenous factors ,Neurological ,Humans ,Cerebral Cortex ,Chromatin ,Deep Learning ,Enhancer Elements ,Genetic ,Gene Expression Regulation ,Developmental ,Neurogenesis ,Neurons ,Organoids ,Regulatory Sequences ,Nucleic Acid ,Promoter Regions ,Genetic ,Regulatory Elements ,Transcriptional ,PsychENCODE Consortium‡ ,PsychENCODE Consortium ,General Science & Technology - Abstract
Nucleotide changes in gene regulatory elements are important determinants of neuronal development and diseases. Using massively parallel reporter assays in primary human cells from mid-gestation cortex and cerebral organoids, we interrogated the cis-regulatory activity of 102,767 open chromatin regions, including thousands of sequences with cell type-specific accessibility and variants associated with brain gene regulation. In primary cells, we identified 46,802 active enhancer sequences and 164 variants that alter enhancer activity. Activity was comparable in organoids and primary cells, suggesting that organoids provide an adequate model for the developing cortex. Using deep learning we decoded the sequence basis and upstream regulators of enhancer activity. This work establishes a comprehensive catalog of functional gene regulatory elements and variants in human neuronal development.
- Published
- 2024
25. In silico evaluation of N-aryl-1,10-phenanthroline-2-amines as potential inhibitors of T. cruzi GP63 zinc-metalloprotease by docking and molecular dynamics simulations
- Author
-
Priscila Goes Camargo, Ramon Borges da Silva, Aline Araujo Zuma, Simon J. Garden, Magaly Girão Albuquerque, Carlos Rangel Rodrigues, and Camilo Henrique da Silva Lima
- Subjects
Neglected diseases ,Chagas disease ,Trypanosoma cruzi ,Zinc-metalloprotease ,Zinc-chelating agents ,Molecular dynamics ,Medicine ,Science - Abstract
Abstract Based on the in vitro trypanocidal efficacy of previously synthesized N-aryl-1,10-phenanthroline-2-amines (Phen1-20) (aryl = R-phenyl, 1- or 2-naphthyl), we explored the potential interactions of these derivatives as ligands of our comparative model of T. cruzi GP63 (TcGP63). This surface metalloprotease plays a crucial role in parasite adhesion to host cells and aids in cell invasion during T. cruzi infection in Chagas disease. Ligand-protein consensus docking simulations using four GOLD scoring functions revealed that N-(R-phenyl) derivatives (R = CH3, OCH3, CF3, CN, NO2, F, Cl, and Br) presented poses with higher fitness scores than the N-naphthyl ones, with the six para-substituted derivatives (Phen4, p-CH3; Phen7, p-OCH3; Phen10, p-CN; Phen14, p-F; Phen17, p-Cl; and Phen18, p-Br) being more favorable than the ortho or meta ones. Subsequent aqueous molecular dynamics simulation (GROMACS package, CHARMM36 force field, and TIP3P water model) of the ligand-protein complexes for these six top-ranking compounds showed persistent interactions within the TcGP63 active site, primarily through coordination with Zn(II)-cofactor, and H-bonding with catalytic Glu221 and zinc-binding His224. RMSD and RMSF analyses confirmed the stability of these interactions, particularly for compounds with electron-withdrawing groups by inductive effect as R-substituents, such as p-OCH3 (Phen7) and p-CN (Phen10). Binding free energy calculations by the linear interaction energy (LIE) approach corroborated the favorable interactions observed in simulations, highlighting Phen7 and Phen10 as the most promising candidates. This study underscores the potential of N-phenyl-1,10-phenanthroline-2-amines as putative inhibitors targeting the T. cruzi GP63 enzyme.
- Published
- 2025
- Full Text
- View/download PDF
26. Correction: Ethnoracial disparities in childhood growth trajectories in Brazil: a longitudinal nationwide study of four million children
- Author
-
Helena Benes Matos da Silva, Rita de Cássia Ribeiro‑Silva, Juliana Freitas de Mello e Silva, Irina Chis Ster, Poliana Rebouças, Emanuelle Goes, Maria Yury Ichihara, Andrêa Ferreira, Julia M. Pescarini, Rosemeire Leovigildo Fiaccone, Enny S. Paixão, and Maurício L. Barreto
- Subjects
Pediatrics ,RJ1-570 - Published
- 2025
- Full Text
- View/download PDF
27. Formation and stability of green and low-cost magnetoliposomes of the soy lecithin, stigmasterol, and β-sitosterol for hyperthermia treatments
- Author
-
Rosangela Maria Ferreira da Costa e Silva, Ângela Leão Andrade, Erico Tadeu Fraga Freitas, Thalita Marcolan Valverde, Luciano Roni Silva Lara, Darliane Aparecida Martins, Jorge Luis Lopez, Humberto Osório Stumpf, Clésia Cristina Nascentes, Alfredo Miranda de Goes, and Rosana Zacarias Domingues
- Subjects
Magnetite stability ,Soy lecithin liposome ,EELS ,CryO-TEM ,SAED ,Medicine ,Science - Abstract
Abstract Magnetoliposomes containing magnetite, soy lecithin, stigmasterol, and beta-sitosterol of the mean size minor than 160 nm were obtained by a scalable and green process using autoclave and sonication without organic solvents. The formation, size of the liposome, linkage, and encapsulation of the magnetite were evaluated by Cryo-TEM. The stability of magnetoliposomes after storage for 6 months at 4 °C was improved by liposome size, the ability of soy lecithin to preserve the magnetite phase against oxidation, pH, polydispersity index, and zeta potential. The iron oxide phase stability was assessed using no conventional X-ray diffraction (high-resolution transmission electron microscopy), energy loss electron spectroscopy, and selected area electron diffraction) in time zero (fresh sample) and 6 months. The high zeta potential measured for magnetoliposomes, │53│ mV, indicated a low tendency to agglomerate. Lip-Fe3O4@lecithin with concentrations of 0.58 mg mL−1 of liposome showed high cell viability and are potential candidates for drug delivery and hyperthermia treatments in 3-(4,5-dimethylthiazol-2-yl)-2,5-diphenyltetrazolium bromide (MTT) assays.
- Published
- 2025
- Full Text
- View/download PDF
28. Evolutionary dynamics of the B chromosomes in the fish species Prochilodus lineatus Valenciennes, 1837 of the Paraná River Basin
- Author
-
Manolo Penitente, Caio Augusto Gomes Goes, Rodrigo Zeni dos Santos, Ricardo Utsunomia, Fausto Foresti, and Fabio Porto-Foresti
- Subjects
Genetics ,QH426-470 - Abstract
The fish species Prochilodus lineatus has an interesting B chromosome system, with three morphological types as acrocentric, metacentric, and submetacentric. However, most cytogenetic studies on this species are restricted to the natural population of the Mogi Guaçu River. Given this, the present work aimed to study the structure karyotypic profile as well as the occurrence of supernumeraries in P. lineatus in several localities in the Paraná River basin, where this species is abundant. The results obtained showed a predominantly conserved karyotypic macrostructure and the presence of B chromosomes in all the seven localities studied, with the exception of the Apa River. Additionally, new variants of morphological characteristics were found in the population of the Batalha River (Reginópolis). These results allow us to infer that there is a large occurrence of B chromosomes in this species, with important differences in B chromosome frequency between the populations, especially in acrocentric and submetacentric B variants. Considering the possible origin and evolution of B chromosomes in P. lineatus, our results allow us to describe the dispersion of metacentric B variants, in contrast with the elimination observed in acrocentric and submetacentric variants.
- Published
- 2025
- Full Text
- View/download PDF
29. TRPV4 modulates inflammatory responses and apoptosis in enteric glial cells triggered by Clostridioides difficile toxins A and B
- Author
-
Dvison de Melo Pacífico, Deiziane Viana da Silva Costa, Maria Lucianny Lima Barbosa, Conceição Silva Martins Rebouças, Simone de Goes Simonato, Cirle Alcantara Warren, Maria Luana Gaudencio dos Santos Morais, Renata Ferreira de Carvalho Leitao, and Gerly Anne de Castro Brito
- Subjects
C. difficile ,Enteric glia ,TRPV4 ,Inflammation ,Cell death ,Therapeutics. Pharmacology ,RM1-950 - Abstract
Abstract Clostridioides difficile, a spore-forming anaerobic bacterium, is the primary cause of hospital antibiotic-associated diarrhea. Key virulence factors, toxins A (TcdA) and B (TcdB), significantly contribute to C. difficile infection (CDI). Yet, the specific impact of these toxins, particularly on enteric glial cells (EGCs), still needs to be fully understood. This study examines the role of the transient receptor potential vanilloid 4 (TRPV4), a calcium-permeable channel, in the inflammatory response and apoptosis of EGCs induced by TcdA and TcdB and evaluates TRPV4 expression in the cecum and colon of infected mice. EGCs were treated with TcdA (50ng/mL) or TcdB (1ng/mL) for 18 h, with or without the TRPV4 antagonist RN-1734 (100 µM), to assess TRPV4 gene and protein levels, inflammatory markers, and cell death. C. difficile infected mice were euthanized on day 3 post-infection for TRPV4 expression in the cecum and colon. Findings reveal that EGCs naturally express TRPV4, increasing its expression by TcdA and TcdB exposure. CDI significantly upregulates TRPV4 in the cecum and colon’s submucosal and myenteric plexus regions. TRPV4 mediates TNF-α release in EGCs and is partially involved in the increase in IL-6 gene expression triggered by these toxins. Our results highlight TRPV4’s role in triggering EGC apoptosis via caspase 3 activation and inhibiting the reduction of Bcl-2, an anti-apoptotic protein in EGCs caused by C. difficile toxins. These results highlight TRPV4’s significant role in CDI pathogenesis and its potential as a therapeutic target to counteract the detrimental effects of C. difficile toxins on enteric glia.
- Published
- 2025
- Full Text
- View/download PDF
30. In vitro assays identified thiohydantoins with anti-trypanosomatid activity and molecular modelling studies indicated possible selective CYP51 inhibition
- Author
-
Priscila Goes Camargo, Helena Tiemi Suzukawa, Patrícia Morais Lopes Pereira, Mariana Luiza Silva, Fernando Macedo Jr, Magaly Girão Albuquerque, Carlos Rangel Rodrigues, Sueli Fumie Yamada-Ogatta, Camilo Henrique da Silva Lima, and Marcelle de Lima Ferreira Bispo
- Subjects
Trypanosoma Cruzi ,Molecular docking ,Molecular dynamics ,Cytochrome P450 ,Medicine ,Science - Abstract
Abstract This work investigates the anti-trypanosomal activities of ten thiohydantoin derivatives against the parasite Trypanosoma cruzi. Compounds with aliphatic chains (THD1, THD3, and THD5) exhibited the most promising IC50 against the epimastigote form of T. cruzi. Also, it showed lower cytotoxicity to mammalian cells. THD3 and THD5 (IC50 = 72.4 µg/mL and 115 µg/mL) presented great activity against trypomastigote and amastigote forms (IC50 = 47.7 µg/mL and 34.1 µg/mL). THD5 had high selectivity index (SI = 15.1) against the amastigote form. The molecular docking and molecular dynamics simulations were performed to understand the interaction between the THD and the important target CYP51 enzyme essential to T. cruzi. THD3 and THD5 were found to have strong interactions within the hydrophobic channel of CYP51 due to their aliphatic side chains, leading to favorable binding free energies. Despite the possibility of cross-reactivity between THD5 and human CYP2C9, the results indicate low identity and similarity between the homolog enzymes and possible selectivity of THD5 for the protozoan one, suggesting that these compounds could inhibit sterol biosynthesis, crucial for the parasite’s survival. These findings indicate that THD3 and THD5 are promising hits for the development of Chagas disease treatments. To fully validate this potential, carrying out enzymatic and other in vitro and in vivo assays is essential in the future.
- Published
- 2025
- Full Text
- View/download PDF
31. Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations
- Author
-
Zhang, Changjian, Kapoor, Parv, Meira-Goes, Romulo, Garlan, David, Kang, Eunsuk, Ganlath, Akila, Mishra, Shatadal, and Ammar, Nejib
- Subjects
Electrical Engineering and Systems Science - Systems and Control ,Computer Science - Logic in Computer Science ,Computer Science - Software Engineering - Abstract
The adoption of cyber-physical systems (CPS) is on the rise in complex physical environments, encompassing domains such as autonomous vehicles, the Internet of Things (IoT), and smart cities. A critical attribute of CPS is robustness, denoting its capacity to operate safely despite potential disruptions and uncertainties in the operating environment. This paper proposes a novel specification-based robustness, which characterizes the effectiveness of a controller in meeting a specified system requirement, articulated through Signal Temporal Logic (STL) while accounting for possible deviations in the system. This paper also proposes the robustness falsification problem based on the definition, which involves identifying minor deviations capable of violating the specified requirement. We present an innovative two-layer simulation-based analysis framework designed to identify subtle robustness violations. To assess our methodology, we devise a series of benchmark problems wherein system parameters can be adjusted to emulate various forms of uncertainties and disturbances. Initial evaluations indicate that our falsification approach proficiently identifies robustness violations, providing valuable insights for comparing robustness between conventional and reinforcement learning (RL)-based controllers, Comment: 12 pages
- Published
- 2023
32. Bayesian mortality modelling with pandemics: a vanishing jump approach
- Author
-
Goes, Julius, Barigou, Karim, and Leucht, Anne
- Subjects
Statistics - Applications - Abstract
This paper extends the Lee-Carter model for single- and multi-populations to account for pandemic jump effects of vanishing kind, allowing for a more comprehensive and accurate representation of mortality rates during a pandemic, characterised by a high impact at the beginning and gradually vanishing effects over subsequent periods. While the Lee-Carter model is effective in capturing mortality trends, it may not be able to account for large, unexpected jumps in mortality rates caused by pandemics or wars. Existing models allow either for transient jumps with an effect of one period only or persistent jumps. However, there is no literature on estimating mortality time series with jumps having an effect over a small number of periods as typically observed in pandemics. The Bayesian approach allows to quantify the uncertainty around the parameter estimates. Empirical data from the COVID-19 pandemic shows the superiority of the proposed approach, compared to models with a transitory shock effect.
- Published
- 2023
33. Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening
- Author
-
Chu, Simon, Shedden, Emma, Zhang, Changjian, Meira-Góes, Rômulo, Moreno, Gabriel A., Garlan, David, and Kang, Eunsuk
- Subjects
Computer Science - Software Engineering ,Computer Science - Formal Languages and Automata Theory ,Computer Science - Logic in Computer Science ,Electrical Engineering and Systems Science - Systems and Control - Abstract
The feature interaction problem occurs when two or more independently developed components interact with each other in unanticipated ways, resulting in undesirable system behaviors. Feature interaction problems remain a challenge for emerging domains in cyber-physical systems (CPS), such as the Internet of Things and autonomous drones. Existing techniques for resolving feature interactions take a "winner-takes-all" approach, where one out of the conflicting features is selected as the most desirable one, and the rest are disabled. However, when multiple of the conflicting features fulfill important system requirements, being forced to select one of them can result in an undesirable system outcome. In this paper, we propose a new resolution approach that allows all of the conflicting features to continue to partially fulfill their requirements during the resolution process. In particular, our approach leverages the idea of adaptive requirement weakening, which involves one or more features temporarily weakening their level of performance in order to co-exist with the other features in a consistent manner. Given feature requirements specified in Signal Temporal Logic (STL), we propose an automated method and a runtime architecture for automatically weakening the requirements to resolve a conflict. We demonstrate our approach through case studies on feature interactions in autonomous drones., Comment: 10 pages, submitted to SEAMS conference
- Published
- 2023
- Full Text
- View/download PDF
34. The Human Phenotype Ontology in 2024: phenotypes around the world
- Author
-
Gargano, Michael A, Matentzoglu, Nicolas, Coleman, Ben, Addo-Lartey, Eunice B, Anagnostopoulos, Anna V, Anderton, Joel, Avillach, Paul, Bagley, Anita M, Bakštein, Eduard, Balhoff, James P, Baynam, Gareth, Bello, Susan M, Berk, Michael, Bertram, Holli, Bishop, Somer, Blau, Hannah, Bodenstein, David F, Botas, Pablo, Boztug, Kaan, Čady, Jolana, Callahan, Tiffany J, Cameron, Rhiannon, Carbon, Seth J, Castellanos, Francisco, Caufield, J Harry, Chan, Lauren E, Chute, Christopher G, Cruz-Rojo, Jaime, Dahan-Oliel, Noémi, Davids, Jon R, de Dieuleveult, Maud, de Souza, Vinicius, de Vries, Bert BA, de Vries, Esther, DePaulo, J Raymond, Derfalvi, Beata, Dhombres, Ferdinand, Diaz-Byrd, Claudia, Dingemans, Alexander JM, Donadille, Bruno, Duyzend, Michael, Elfeky, Reem, Essaid, Shahim, Fabrizzi, Carolina, Fico, Giovanna, Firth, Helen V, Freudenberg-Hua, Yun, Fullerton, Janice M, Gabriel, Davera L, Gilmour, Kimberly, Giordano, Jessica, Goes, Fernando S, Moses, Rachel Gore, Green, Ian, Griese, Matthias, Groza, Tudor, Gu, Weihong, Guthrie, Julia, Gyori, Benjamin, Hamosh, Ada, Hanauer, Marc, Hanušová, Kateřina, He, Yongqun, Hegde, Harshad, Helbig, Ingo, Holasová, Kateřina, Hoyt, Charles Tapley, Huang, Shangzhi, Hurwitz, Eric, Jacobsen, Julius OB, Jiang, Xiaofeng, Joseph, Lisa, Keramatian, Kamyar, King, Bryan, Knoflach, Katrin, Koolen, David A, Kraus, Megan L, Kroll, Carlo, Kusters, Maaike, Ladewig, Markus S, Lagorce, David, Lai, Meng-Chuan, Lapunzina, Pablo, Laraway, Bryan, Lewis-Smith, David, Li, Xiarong, Lucano, Caterina, Majd, Marzieh, Marazita, Mary L, Martinez-Glez, Victor, McHenry, Toby H, McInnis, Melvin G, McMurry, Julie A, Mihulová, Michaela, Millett, Caitlin E, Mitchell, Philip B, Moslerová, Veronika, Narutomi, Kenji, Nematollahi, Shahrzad, and Nevado, Julian
- Subjects
Biological Sciences ,Genetics ,Human Genome ,Machine Learning and Artificial Intelligence ,Networking and Information Technology R&D (NITRD) ,4.1 Discovery and preclinical testing of markers and technologies ,Generic health relevance ,Good Health and Well Being ,Humans ,Biological Ontologies ,Phenotype ,Genomics ,Algorithms ,Rare Diseases ,Environmental Sciences ,Information and Computing Sciences ,Developmental Biology ,Biological sciences ,Chemical sciences ,Environmental sciences - Abstract
The Human Phenotype Ontology (HPO) is a widely used resource that comprehensively organizes and defines the phenotypic features of human disease, enabling computational inference and supporting genomic and phenotypic analyses through semantic similarity and machine learning algorithms. The HPO has widespread applications in clinical diagnostics and translational research, including genomic diagnostics, gene-disease discovery, and cohort analytics. In recent years, groups around the world have developed translations of the HPO from English to other languages, and the HPO browser has been internationalized, allowing users to view HPO term labels and in many cases synonyms and definitions in ten languages in addition to English. Since our last report, a total of 2239 new HPO terms and 49235 new HPO annotations were developed, many in collaboration with external groups in the fields of psychiatry, arthrogryposis, immunology and cardiology. The Medical Action Ontology (MAxO) is a new effort to model treatments and other measures taken for clinical management. Finally, the HPO consortium is contributing to efforts to integrate the HPO and the GA4GH Phenopacket Schema into electronic health records (EHRs) with the goal of more standardized and computable integration of rare disease data in EHRs.
- Published
- 2024
35. Focal adhesion is associated with lithium response in bipolar disorder: evidence from a network-based multi-omics analysis
- Author
-
Niemsiri, Vipavee, Rosenthal, Sara Brin, Nievergelt, Caroline M, Maihofer, Adam X, Marchetto, Maria C, Santos, Renata, Shekhtman, Tatyana, Alliey-Rodriguez, Ney, Anand, Amit, Balaraman, Yokesh, Berrettini, Wade H, Bertram, Holli, Burdick, Katherine E, Calabrese, Joseph R, Calkin, Cynthia V, Conroy, Carla, Coryell, William H, DeModena, Anna, Eyler, Lisa T, Feeder, Scott, Fisher, Carrie, Frazier, Nicole, Frye, Mark A, Gao, Keming, Garnham, Julie, Gershon, Elliot S, Goes, Fernando S, Goto, Toyomi, Harrington, Gloria J, Jakobsen, Petter, Kamali, Masoud, Kelly, Marisa, Leckband, Susan G, Lohoff, Falk W, McCarthy, Michael J, McInnis, Melvin G, Craig, David, Millett, Caitlin E, Mondimore, Francis, Morken, Gunnar, Nurnberger, John I, Donovan, Claire O’, Øedegaard, Ketil J, Ryan, Kelly, Schinagle, Martha, Shilling, Paul D, Slaney, Claire, Stapp, Emma K, Stautland, Andrea, Tarwater, Bruce, Zandi, Peter P, Alda, Martin, Fisch, Kathleen M, Gage, Fred H, and Kelsoe, John R
- Subjects
Biomedical and Clinical Sciences ,Biological Psychology ,Clinical and Health Psychology ,Clinical Sciences ,Psychology ,Human Genome ,Bipolar Disorder ,Mental Health ,Brain Disorders ,Serious Mental Illness ,Precision Medicine ,Mental Illness ,Genetics ,Mental health ,Humans ,Lithium ,Gene Regulatory Networks ,Focal Adhesions ,Transcriptome ,Genome-Wide Association Study ,Neurons ,Induced Pluripotent Stem Cells ,Pharmacogenetics ,Antimanic Agents ,Male ,Female ,Lithium Compounds ,Gene Expression Profiling ,Genomics ,Multiomics ,Biological Sciences ,Medical and Health Sciences ,Psychology and Cognitive Sciences ,Psychiatry ,Clinical sciences ,Biological psychology ,Clinical and health psychology - Abstract
Lithium (Li) is one of the most effective drugs for treating bipolar disorder (BD), however, there is presently no way to predict response to guide treatment. The aim of this study is to identify functional genes and pathways that distinguish BD Li responders (LR) from BD Li non-responders (NR). An initial Pharmacogenomics of Bipolar Disorder study (PGBD) GWAS of lithium response did not provide any significant results. As a result, we then employed network-based integrative analysis of transcriptomic and genomic data. In transcriptomic study of iPSC-derived neurons, 41 significantly differentially expressed (DE) genes were identified in LR vs NR regardless of lithium exposure. In the PGBD, post-GWAS gene prioritization using the GWA-boosting (GWAB) approach identified 1119 candidate genes. Following DE-derived network propagation, there was a highly significant overlap of genes between the top 500- and top 2000-proximal gene networks and the GWAB gene list (Phypergeometric = 1.28E-09 and 4.10E-18, respectively). Functional enrichment analyses of the top 500 proximal network genes identified focal adhesion and the extracellular matrix (ECM) as the most significant functions. Our findings suggest that the difference between LR and NR was a much greater effect than that of lithium. The direct impact of dysregulation of focal adhesion on axon guidance and neuronal circuits could underpin mechanisms of response to lithium, as well as underlying BD. It also highlights the power of integrative multi-omics analysis of transcriptomic and genomic profiling to gain molecular insights into lithium response in BD.
- Published
- 2024
36. Understanding crowdfunding as collaborative networks for startups: A research agenda/Compreensao do crowdfunding como redes colaborativas para startups: Uma agenda de pesquisa
- Author
-
Telles, Renato, de Goes, Weslei Meireles, Ferreira, Gabriel Gomes, Zenke, Adriane Akemi, and Ferraro, Rosangela
- Published
- 2024
- Full Text
- View/download PDF
37. Multimorbidade e utilizacao de servicos de saude no municipio de Sao Paulo, Brasil: prevalencia e fatores associados/Multimorbidity and utilization of health services in the city of Sao Paulo, Brazil: prevalence and associated factors
- Author
-
Goes de Aguiar, Ricardo, Nascimento Monteiro, Camila, Sulyvan de Castro, Shamyr, Kosimenko Ferrari Figueiredo, Tatiane, Goldbaum, Moises, and Galvao Cesar, Chester Luiz
- Published
- 2024
- Full Text
- View/download PDF
38. Epidemiology and economic burden of Chikungunya: A systematic literature review
- Author
-
Costa, Lourrany Borges, Barreto, Francisca Kalline de Almeida, Barreto, Marina Carvalho Arruda, dos Santos, Thyago Henrique Pereira, de Andrade, Maria de Margarette Oliveira, Farias, Luis Arthur Brasil Gadelha, de Freitas, Andre Ricardo Ribas, Martinez, Miguel Julian, and Cavalcanti, Luciano Pamplona de Goes
- Published
- 2023
39. Exploring the osteogenic potential of semisynthetic triterpenes from Combretum leprosum: An in vitro and in silico study
- Author
-
Nogueira-Júnior, Valdo, Sousa, Fátima Regina N., da S. M. Rebouças, Conceição, Braz, Helyson L. B., dos S. Morais, Maria Luana G., Goes, Paula, de C. Brito, Gerly Anne, Jorge, Roberta Jeane B., Barbosa, Francisco Geraldo, Mafezoli, Jair, Silva-Filho, Carlos José A., de O. Capistrano, André Luiz, Bezerra, Mirna M., and de C. Leitão, Renata F.
- Published
- 2024
- Full Text
- View/download PDF
40. The Molecular Impact of Glucosylceramidase Beta 1 (Gba1) in Parkinson’s Disease: a New Genetic State of the Art
- Author
-
dos Santos, Júlio César Claudino, Mano, Gabriela Braga Cabrera, da Cunha Barreto-Vianna, André Rodrigues, Garcia, Tulia Fernanda Meira, de Vasconcelos, Aline Vieira, Sá, Caio Sérgio Gomes, de Souza Santana, Sarah Lopes, Farias, Ana Gabriela Ponte, Seimaru, Beatriz, Lima, Micael Porto Portela, Goes, João Vitor Caetano, Gusmão, Camilla Teixeira Pinheiro, and Junior, Howard Lopes Ribeiro
- Published
- 2024
- Full Text
- View/download PDF
41. Jean-Christophe Pellat, L’orthographe française. Histoire, Description, Enseignement, Ophrys, coll. «L’Essentiel français», Paris, 2023, 170 p.
- Author
-
Jan Goes
- Subjects
Philology. Linguistics ,P1-1091 - Published
- 2024
42. Leveraging graph clustering techniques for cyber‐physical system analysis to enhance disturbance characterisation
- Author
-
Nicholas Jacobs, Shamina Hossain‐McKenzie, Shining Sun, Emily Payne, Adam Summers, Leen Al‐Homoud, Astrid Layton, Kate Davis, and Chris Goes
- Subjects
critical infrastructures ,cyber‐physical systems ,data analysis ,decision making ,directed graphs ,graph theory ,Computer engineering. Computer hardware ,TK7885-7895 ,Electronic computers. Computer science ,QA75.5-76.95 - Abstract
Abstract Cyber‐physical systems have behaviour that crosses domain boundaries during events such as planned operational changes and malicious disturbances. Traditionally, the cyber and physical systems are monitored separately and use very different toolsets and analysis paradigms. The security and privacy of these cyber‐physical systems requires improved understanding of the combined cyber‐physical system behaviour and methods for holistic analysis. Therefore, the authors propose leveraging clustering techniques on cyber‐physical data from smart grid systems to analyse differences and similarities in behaviour during cyber‐, physical‐, and cyber‐physical disturbances. Since clustering methods are commonly used in data science to examine statistical similarities in order to sort large datasets, these algorithms can assist in identifying useful relationships in cyber‐physical systems. Through this analysis, deeper insights can be shared with decision‐makers on what cyber and physical components are strongly or weakly linked, what cyber‐physical pathways are most traversed, and the criticality of certain cyber‐physical nodes or edges. This paper presents several types of clustering methods for cyber‐physical graphs of smart grid systems and their application in assessing different types of disturbances for informing cyber‐physical situational awareness. The collection of these clustering techniques provide a foundational basis for cyber‐physical graph interdependency analysis.
- Published
- 2024
- Full Text
- View/download PDF
43. Personalized use of ketamine and esketamine for treatment-resistant depression
- Author
-
Gustavo C. Medeiros, Isabella Demo, Fernando S. Goes, Carlos A. Zarate, and Todd D. Gould
- Subjects
Neurosciences. Biological psychiatry. Neuropsychiatry ,RC321-571 - Abstract
Abstract A large and disproportionate portion of the burden associated with major depressive disorder (MDD) is due to treatment-resistant depression (TRD). Intravenous (R,S)-ketamine (ketamine) and intranasal (S)-ketamine (esketamine) are rapid-acting antidepressants that can effectively treat TRD. However, there is variability in response to ketamine/esketamine, and a personalized approach to their use will increase success rates in the treatment of TRD. There is a growing literature on the precision use of ketamine in TRD, and the body of evidence on esketamine is still relatively small. The identification of reliable predictors of response to ketamine/esketamine that are easily translatable to clinical practice is urgently needed. Potential clinical predictors of a robust response to ketamine include a pre-treatment positive family history of alcohol use disorder and a pre-treatment positive history of clinically significant childhood trauma. Pre-treatment versus post-treatment increases in gamma power in frontoparietal brain regions, observed in electroencephalogram (EEG) studies, is a promising brain-based biomarker of response to ketamine, given its time of onset and general applicability. Blood-based biomarkers have shown limited usefulness, with small-effect increases in brain-derived neurotrophic factor (BDNF) being the most consistent indicator of ketamine response. The severity of treatment-emergent dissociative symptoms is typically not associated with a response either to ketamine or esketamine. Future studies should ensure that biomarkers and clinical variables are obtained in a similar manner across studies to allow appropriate comparison across trials and to reduce the signal-to-noise ratio. Most predictors of response to ketamine/esketamine have modest effect sizes; therefore, the use of multivariate predictive models will be needed.
- Published
- 2024
- Full Text
- View/download PDF
44. Development and Evaluation of a Variable-Rate Fertilizer Distribution System for Coffee Plants
- Author
-
Murilo Machado de Barros, João Paulo Barreto Cunha, Fagner Goes da Conceição, Carlos Eduardo Silva Volpato, Gabriel Araújo e Silva Ferraz, and Fabio Moreira da Silva
- Subjects
precision agriculture ,coffee farming ,machine design ,machine testing ,Agriculture (General) ,S1-972 ,Engineering (General). Civil engineering (General) ,TA1-2040 - Abstract
Currently, Brazilian coffee farming seeks the rational use of resources through sustainable practices. As a result, the development of machinery with more efficient input application systems and the adoption of precision agriculture techniques have been yielding excellent results. This study was divided into two stages, with the first involving the adaptation of a solid fertilizer application machine with fixed doses, allowing dose variation using an electronic controller. The second stage consisted of conducting trials and their applications under operational conditions. The results confirmed that the developed system remained stable in terms of variable-rate fertilizer distribution for coffee cultivation. The machine’s lateral fertilizer distribution range met the demands of coffee farming satisfactorily. In field conditions, the developed system exhibited an average error of −2.9%, compared to the programmed doses, validating the accuracy of the machine and its suitability for use in coffee plantations.
- Published
- 2024
- Full Text
- View/download PDF
45. The Interplay of the Mammalian Brain and Thyroid Hormones, and the Threat of Endocrine-Disrupting Chemicals
- Author
-
Nuha Ahmad Dsouki, Bruno Fiorelini Pereira, Roberta Goes da Silva, Vinicius Gonçalves Rodrigues, Rafaella da Silva Brito, Marina Malta Letro Kizys, Maria Izabel Chiamolera, Rui Monteiro Maciel, Caroline Serrano-Nascimento, and Gisele Giannocco
- Subjects
mammal brain ,thyroid hormones ,endocrine-disrupting chemicals ,Diseases of the endocrine glands. Clinical endocrinology ,RC648-665 - Abstract
Introduction: During the formation of neural circuits, the developing brain demonstrates extraordinary plasticity, heavily influenced by hormones. These chemical messengers interact with specific receptors to regulate vital physiological functions. The thyroid gland plays a pivotal role in maintaining hormonal balance and guiding brain development. However, emerging threats like endocrine-disrupting chemicals (EDCs) can interfere with this intricate system. EDCs are exogenous substances that can mimic, enhance, or block the actions of endogenous hormones, disrupting hormonal signaling in the brain at various developmental stages. Exposure can impair cognitive function and behavior due to disruptions in thyroid function. Studies indicate that mixtures of EDCs negatively impact brain development, leading to lower IQ and behavioral problems. Reducing EDC exposure through regulations and public awareness is crucial, and further research is needed to elucidate their mechanisms. Conclusions: Protecting vulnerable populations, such as pregnant women and children, is essential through prompt regulatory measures.
- Published
- 2024
- Full Text
- View/download PDF
46. Sirtuin 1 regulates the phenotype and functions of dendritic cells through Ido1 pathway in obesity
- Author
-
Jean de Lima, Jefferson Antônio Leite, Paulo José Basso, Bruno Ghirotto, Eloisa Martins da Silva, Luisa Menezes-Silva, Meire Ioshie Hiyane, Carolina Purcell Goes, Luiz Lehmann Coutinho, Vinicius de Andrade Oliveira, and Niels Olsen Saraiva Câmara
- Subjects
Cytology ,QH573-671 - Abstract
Abstract Sirtuin 1 (SIRT1) is a class III histone deacetylase (HDAC3) that plays a crucial role in regulating the activation and differentiation of dendritic cells (DCs) as well as controlling the polarization and activation of T cells. Obesity, a chronic inflammatory condition, is characterized by the activation of immune cells in various tissues. We hypothesized that SIRT1 might influence the phenotype and functions of DCs through the Ido1 pathway, ultimately leading to the polarization towards pro-inflammatory T cells in obesity. In our study, we observed that SIRT1 activity was reduced in bone marrow-derived DCs (BMDCs) from obese animals. These BMDCs exhibited elevated oxidative phosphorylation (OXPHOS) and increased extracellular acidification rates (ECAR), along with enhanced expression of class II MHC, CD86, and CD40, and elevated secretion of IL-12p40, while the production of TGF-β was reduced. The kynurenine pathway activity was decreased in BMDCs from obese animals, particularly under SIRT1 inhibition. SIRT1 positively regulated the expression of Ido1 in DCs in a PPARγ-dependent manner. To support these findings, ATAC-seq analysis revealed that BMDCs from obese mice had differentially regulated open chromatin regions compared to those from lean mice, with reduced chromatin accessibility at the Sirt1 genomic locus in BMDCs from obese WT mice. Gene Ontology (GO) enrichment analysis indicated that BMDCs from obese animals had disrupted metabolic pathways, including those related to GTPase activity and insulin response. Differential expression analysis showed reduced levels of Pparg and Sirt1 in BMDCs from obese mice, which was challenged and confirmed using BMDCs from mice with conditional knockout of Sirt1 in dendritic cells (SIRT1∆). This study highlights that SIRT1 controls the metabolism and functions of DCs through modulation of the kynurenine pathway, with significant implications for obesity-related inflammation.
- Published
- 2024
- Full Text
- View/download PDF
47. Allometry of human calvaria bones during development from birth to 8 years of age shows a nonlinear growth pattern
- Author
-
Cristina Goes Schaurich, Anthony N. Saraco, Maanas Hemanth Oruganti, Mandeep S. Tamber, Rainer Guilherme Haetinger, Ishan Dixit, Bailey S. Y. Lo, Claudia Krebs, and Paul Steinbok
- Subjects
Pediatrics ,Skull development ,Children’s skull ,Cranial sutures ,Cranial bones ,Skull allometry ,Medicine ,Science - Abstract
Abstract Pediatric skulls change rapidly in size and shape during development, especially for children up to 8 years of age. This project was developed to address the gap in understanding of the three-dimensional growth parameters of the human skull during this period and the impact these growth patterns have on fontanelle closure and suture formation. This study offers novel data on the dynamic changes in the anatomy of the skull with the intention of providing better guidance for pediatric surgical care. Craniometric landmarks defined on three-dimensional computed tomography reconstructions were used to map skull development in children aged 0 to 8 years old. A total of 364 datasets were analyzed and statistically representative 3D skulls with anatomical craniometric features such as head shape, bone size, suture and fontanelle closure time were generated for 17 age groups spanning birth to 8 years of age to provide a comprehensive neuroanatomical understanding of how the pediatric skull changes over time. This study indicates that the cranial bones follow a non-linear growth pattern, with the occipital and frontal bones driving the directionality of fontanelle closure and delivers a 3D visualization of the developmental characteristics of the skull providing a landmark resource for understanding the growth dynamics of the human skull. While clinical measurements remain valid approaches for the planning of surgical interventions, these 3D models may provide a more accurate planning paradigm.
- Published
- 2024
- Full Text
- View/download PDF
48. Correction: Long COVID is not the same for everyone: a hierarchical cluster analysis of long COVID symptoms 9 and 12 months after SARS-CoV-2 test
- Author
-
Moniz, Marta, Ruivinho, Carolina, Goes, Ana Rita, Soares, Patrícia, and Leite, Andreia
- Published
- 2024
- Full Text
- View/download PDF
49. Long COVID is not the same for everyone: a hierarchical cluster analysis of Long COVID symptoms 9 and 12 months after SARS-CoV-2 test
- Author
-
Moniz, Marta, Ruivinho, Carolina, Goes, Ana Rita, Soares, Patrícia, and Leite, Andreia
- Published
- 2024
- Full Text
- View/download PDF
50. Satellitome analysis on the pale-breasted thrush Turdus leucomelas (Passeriformes; Turdidae) uncovers the putative co-evolution of sex chromosomes and satellite DNAs
- Author
-
Souza, Guilherme Mota, Kretschmer, Rafael, Toma, Gustavo Akira, de Oliveira, Alan Moura, Deon, Geize Aparecida, Setti, Princia Grejo, Zeni dos Santos, Rodrigo, Goes, Caio Augusto Gomes, Del Valle Garnero, Analía, Gunski, Ricardo José, de Oliveira, Edivaldo Herculano Correa, Porto-Foresti, Fabio, Liehr, Thomas, Utsunomia, Ricardo, and de Bello Cioffi, Marcelo
- Published
- 2024
- Full Text
- View/download PDF
Catalog
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.