Our Work

High pathogenicity avian influenza (HPAI) viruses have rapidly emerged as a major global threat to wildlife, with severe consequences for seabird populations. Albatrosses and petrels (order …

High pathogenicity avian influenza (HPAI) viruses have rapidly emerged as a major global threat to wildlife, with severe consequences for seabird populations. Albatrosses and petrels (order Procellariiformes) are particularly vulnerable due to their long lifespan, low reproductive rates and strong site fidelity. Since 2021, HPAI viruses have caused unprecedented mortality in seabird communities worldwide and have expanded into the core range of procellariiform species, including sub-Antarctic and Antarctic regions. In response to the urgent need for timely, species-relevant information, the Agreement on the Conservation of Albatrosses and Petrels (ACAP) established the High Pathogenicity H5Nx Avian Influenza Intersessional Correspondence Group (HPAI-ICG), which developed the ACAP HPAI database — an openly accessible, regularly updated resource that consolidates all known suspected and confirmed HPAI events involving procellariiform birds. The database compiles information from global and national reporting systems, scientific literature, genetic repositories, government communications and direct expert notifications. Events are standardised using transparent case definitions, cross-referenced and validated by subject-matter experts and complemented by additional data on case impacts and viral characteristics. The database provides a critical decision-support tool for governments, researchers, conservation practitioners and tourism operators, contributing to the planning and implementation of HPAI biosafety, surveillance, monitoring and outbreak response activities.

In the contemporary business landscape, intellectual capital is an indispensable intangible strategic asset for mitigating risks and guiding the best managerial choices to ensure the survival and comp…

In the contemporary business landscape, intellectual capital is an indispensable intangible strategic asset for mitigating risks and guiding the best managerial choices to ensure the survival and competitiveness of business entities. The importance of knowing, quantifying, and qualifying the intellectual capital available in each institution has become a challenge that requires breaking paradigms so that this resource can be fully leveraged. The utilization of knowledge management within companies stands out as a necessity imposed by an increasingly competitive market, in which organizations must enhance the development of their employees' intellectual capital through the dissemination of procedures, behaviors, best practices, and the exchange of experiences, using this set of information to improve processes. The objective of this study is to analyze, through an integrative literature review, how the processes of information access and appropriation act in the construction of intellectual capital, configuring it as a strategic resource for the decision-making process in organizations. The methodology consisted of an integrative review, with searches conducted in the SPELL, Scopus, SciELO, BrapCi, and Google Scholar databases, limited between the years 2010 and 2026. Eleven scientific articles in Portuguese, English, and Spanish that correlate intellectual capital to the decision-making process were selected. The main theoretical results found highlight that human capital, structural capital, and relational capital act as filters capable of transforming raw data into high-value-added decisions, reducing subjectivity and increasing business predictability. It is concluded that intellectual capital does not represent merely a passive intangible value, but constitutes the foundation that sustains competitive intelligence and modern corporate governance.Conference abstract published in the proceedings of TOI2026 — XII Congresso Internacional em Tecnologia e Organização da Informação. ISSN 2965-4130.Original publication in Doity

This study analyzes the conceptual and methodological convergences between Information Management (IM) processes and Research Data Curation practices within the field of Information Science. The resea…

This study analyzes the conceptual and methodological convergences between Information Management (IM) processes and Research Data Curation practices within the field of Information Science. The research is characterized as qualitative and theoretical-conceptual, developed through a bibliographic survey conducted in the BRAPCI, Scielo, and Google Scholar databases. The study employed descriptors related to information management, research data management, and data curation, combined with Boolean operators. After applying the selection criteria, seven studies composed the analytical corpus. The results indicate convergences between traditional IM activities, such as collection, organization, storage, retrieval, and dissemination of information, and Research Data Curation practices. The study also highlights the relevance of the FAIR principles (Findable, Accessible, Interoperable, and Reusable) in ensuring that scientific data remain identifiable, accessible, interoperable, and reusable. Furthermore, the findings demonstrate the expanding role of information professionals in supporting research data management services. The study concludes that Information Management provides relevant conceptual and methodological contributions to understanding Research Data Curation practices, particularly regarding the organization, preservation, and circulation of scientific information.Conference abstract published in the proceedings of TOI2026 — XII Congresso Internacional em Tecnologia e Organização da Informação. ISSN 2965-4130.Original publication in Doity

13CFLUX is a high-performance simulator for isotopically stationary and non-stationary simulation of isotope labeling experiments. It reads metabolic models and labeling data from standardized FluxML,…

13CFLUX is a high-performance simulator for isotopically stationary and non-stationary simulation of isotope labeling experiments. It reads metabolic models and labeling data from standardized FluxML, simulates labeling distributions and data residuals given fluxes and metabolite concentrations, and performs fitting and statistical analysis (Frequentist and Bayesian) of 13C labeling experiments.

This repository contains the source code, build files, camera-adapter scripts, documentation, bill of materials, and selected example outputs for an open-source Raspberry Pi 5-based edge platform for …

This repository contains the source code, build files, camera-adapter scripts, documentation, bill of materials, and selected example outputs for an open-source Raspberry Pi 5-based edge platform for live acquisition thermal image acquisition and multithreshold segmentation. The platform integrates a Waveshare Thermal Camera HAT (B) / MI48 thermal camera with a Python SPI/I2C acquisition adapter and a C++17/OpenCV segmentation engine. Captured frames can be processed using seven metaheuristic optimizers: DE, DESSA, SDE, GWO, PSO, CSA, and FA.

Replication package of a bibliometric review of data science, predictive analytics and recommender systems in international trade and market demand (Scopus, 2015–2025). It includes the exact Sco…

Replication package of a bibliometric review of data science, predictive analytics and recommender systems in international trade and market demand (Scopus, 2015–2025). It includes the exact Scopus search strategies (historical, focused and robustness queries; searches run on 24 September 2026), the lists of the documents analysed (identifiers only, no abstracts, in accordance with Scopus terms of use), the synonym list used in Biblioshiny, the Biblioshiny reports, and Python and R scripts to reproduce the indicators, the dictionary-based thematic classification and the figures reported in the article.

NeuNorm is a scipp-based Python library for neutron imaging normalization and time-of-flight (TOF) data processing at Oak Ridge National Laboratory imaging facilities (MARS at HFIR and VENUS at SNS). …

NeuNorm is a scipp-based Python library for neutron imaging normalization and time-of-flight (TOF) data processing at Oak Ridge National Laboratory imaging facilities (MARS at HFIR and VENUS at SNS). NeuNorm 2.0 is a complete, scipp-based rewrite of the original NeuNorm normalization library, adding HDF5 output, automatic uncertainty propagation, and TOF/event-mode processing.

This release publishes the Chronos Yang–Mills Lean formal-verification chain through milestone YM87. The archive contains the complete merged theorem source, final cumulative and incremental mil…

This release publishes the Chronos Yang–Mills Lean formal-verification chain through milestone YM87. The archive contains the complete merged theorem source, final cumulative and incremental milestone packages, verification scripts, axiom-audit sources, checksums, citation metadata, and a detailed theorem ledger. The formal development includes reusable operator and spectral-gap theorems, bounded and dense-domain Hamiltonian interfaces, self-adjointness and closure machinery, regulator convergence, non-abelian gauge covariance, Gauss-law constraints, a gauge-physical state sector, finite-lattice electric and magnetic energy, a concrete regulated Hamiltonian, an exact physical spectral gap, exact spectrum and projectors, a constructive resolvent, unitary Schrödinger evolution, conservation laws, spectral probabilities, moments, variance, and energy-uncertainty classifications. The final concrete results apply to the finite regulated Gauss-physical model formalized in the archive. The release also contains conditional continuum-transfer theorems, but it does not claim construction of the full interacting four-dimensional continuum Yang–Mills theory or resolution of the Clay Millennium problem. The recorded verification used Lean 4.34.0-rc2 and the OpenAI NavierStokesAndEuler repository pinned at commit 8937a8f4cbc7abaab5e9e97d1cc7f5d2319d9538. The final milestone runs passed source scans, Lean kernel checks, and direct axiom audits. Audited declarations depended only on propext, Classical.choice, and Quot.sound.  YM115 update — Parity–Ear Cascade Core v0.1: This record has been extended with a later supplemental Lean milestone from the continuing Chronos Yang–Mills formal-verification program. YM115 freezes a new algebraic and combinatorial core developed for the SU(2) strong-coupling cascade. The verified source includes the doubled-spin parity decomposition, finite-choice ear-recursion algebra, positivity results for the current scalar majorants, certified rational brackets for the local-ear critical equation and the six-orbit chain cubic, and a conditional scalar contraction interface for downstream Yang–Mills specialization. YM115 was directly verified with Lean 4.34.0-rc2. The UTF-8 audit, static scan for sorry, admit, and sorryAx, direct Lean compilation, and axiom audit all passed. The audited declarations depend only on propext, Classical.choice, and Quot.sound; one of the audited parity declarations uses only propext and Quot.sound. This YM115 archive is a supplemental later-stage milestone and does not by itself contain every intervening YM88–YM114 package. The original cumulative material on this record remains the formally verified chain through YM87, while YM115 documents a newer proof route being developed beyond that release. The remaining gauge-support, full parity-aware ear-decomposition, connected transfer-kernel, infinite-volume, and continuum/RG bridges remain explicit future certification targets. This update therefore does not claim construction of the full interacting four-dimensional continuum Yang–Mills theory or resolution of the Clay Millennium problem.   YM116 update — 3D Slice → 4D History Bridge v0.2: This record has been extended with a further Lean-verified milestone from the continuing Chronos Yang–Mills formal-verification program. YM116 imports the previously verified Chronos 4D History Core and YM115 Parity–Ear Cascade Core into one Lean dependency chain and adds a formal bridge between time-indexed spatial states and the four-dimensional history structure used by the developing Yang–Mills transfer framework. The successful verification used Lean 4.34.0-rc2. The UTF-8 audit, static scan for sorry, admit, and sorryAx, compilation of the original 4D source, compilation of YM115, compilation of the YM116 bridge, native theorem-signature checks, and direct axiom audits all passed. The principal combined YM116 declarations depend only on propext, Classical.choice, and Quot.sound; present_agreement_future_separation depends only on propext. YM116 formally joins the verified 3D spatial/contraction machinery to a verified 4D history framework, providing a dimensional and temporal backbone for the next transfer-matrix stage. It does not yet establish the complete connected transfer-kernel bound, infinite-volume spectral gap, continuum renormalization-group bridge, or the full four-dimensional continuum Yang–Mills construction required for the Clay Millennium problem.

Highlights This patch release synchronizes the repository version metadata and strengthens release validation. Changed Synchronized the project version in pyproject.toml. Synchronized pn_fusion.__ver…

Highlights This patch release synchronizes the repository version metadata and strengthens release validation. Changed Synchronized the project version in pyproject.toml. Synchronized pn_fusion.__version__. Synchronized the Zenodo metadata template. Synchronized CITATION.cff and CHANGELOG.md. Extended release-check so that it verifies consistency among all release-version sources before validating SHA-256 integrity. Scientific scope This release does not change: any numerical dataset; any solver or numerical method; any experiment or protocol; any supplementary material; any scientific result. Validation Repository integrity: 636 files verified. Release metadata version: 1.1.2. Multiprecision data hashes and published counts validated. 67 automated tests passed. Scientific verification passed. Reproduction completed with 22 tables and 13 figure panels. Quick benchmark smoke tests completed for all eight suites. The historical v1.0.0, v1.1.0, and v1.1.1 releases remain unchanged.