1st Session of Green Financing Workshop, August 21st, 2025. INSTIPER Yogyakarta Yazar: Maulana Agung Wibowo (21240710)

“…</li></ul></li><li><b>Verification and Transparency:</b> Verifying sustainability claims and documents prepared by businesses is complex.…”

Platelets and Thrombosis - Boehringer Ingelheim/Persantin 100 Yazar: Claire Price (6727883)

“…Persantin 100 is therefore indicated wherever modification of platelet funcation may be beneficial. …”

Workflow diagram to assess target product profile of gene drive-modified mosquitoes. Yazar: Agastya Mondal (18626010)

“…<p><b>(A)</b> We consider a population modification gene drive system and antimalarial effector gene(s) with defined transmission-blocking efficacy (<i>b</i>_{<b><i>H</i></b>}). …”

<b>Surface Proteome of Plasma Extracellular Vesicles differentiates between SARS-CoV-2 and Influenza Infection</b> Yazar: Wilhelm Bertrams (20415734)

“…(Jørgensen et al. 2021)with modifications.</p><p dir="ltr">In short, the MTP was initially blocked and the blocking buffer (50 mM ethanolamine, 100 mM Tris, 0.1% SDS, pH 9.0) was applied using a hand-held spray gun in a closed box for gentle application of the buffer. …”

SASL Place-Name Signs – Research Data Collection Yazar: Chrismi-Rinda Loth (20948561)

“…The intended use of the data is three-fold:</p><p dir="ltr">(1) Build knowledge about real-use toponyms for consideration (for formal verification).</p><p dir="ltr">(2) Create a corpus of empirical data for linguistic research.…”

IUTF Dataset(Enhanced): Enabling Cross-Border Resource for Analysing the Impact of Rainfall on Urban Transportation Systems Yazar: Xuhui Lin (19505503)

“…</p><h2>Data Structure</h2><p dir="ltr">The dataset is organized into four primary components:</p><ol><li><b>Road Network Data</b>: Topological representations including spatial geometry, functional classification, and connectivity information</li><li><b>Traffic Sensor Data</b>: Sensor metadata, locations, and measurements at both 5-minute and hourly resolutions</li><li><b>Precipitation Data</b>: Hourly meteorological information with spatial grid cell metadata</li><li><b>Derived Analytical Matrices</b>: Pre-computed structures for advanced spatial-temporal modelling and network analyses</li></ol><h2>File Formats</h2><ul><li><b>Tabular Data</b>: Apache Parquet format for optimal compression and fast query performance</li><li><b>Numerical Matrices</b>: NumPy NPZ format for efficient scientific computing</li><li><b>Total Size</b>: Approximately 2 GB uncompressed</li></ul><h2>Applications</h2><p dir="ltr">The IUTF dataset enables diverse analytical applications including:</p><ul><li><b>Traffic Flow Prediction</b>: Developing weather-aware traffic forecasting models</li><li><b>Infrastructure Planning</b>: Identifying vulnerable network components and prioritizing investments</li><li><b>Resilience Assessment</b>: Quantifying system recovery curves, robustness metrics, and adaptive capacity</li><li><b>Climate Adaptation</b>: Supporting evidence-based transportation planning under changing precipitation patterns</li><li><b>Emergency Management</b>: Improving response strategies for weather-related traffic disruptions</li></ul><h2>Methodology</h2><p dir="ltr">The dataset creation involved three main stages:</p><ol><li><b>Data Collection</b>: Sourcing traffic data from UTD19, road networks from OpenStreetMap, and precipitation data from ERA5 reanalysis</li><li><b>Spatio-Temporal Harmonization</b>: Comprehensive integration using novel algorithms for spatial alignment and temporal synchronization</li><li><b>Quality Assurance</b>: Rigorous validation and technical verification across all cities and data components</li></ol><h2>Code Availability</h2><p dir="ltr">Processing code is available at: https://github.com/viviRG2024/IUTDF_processing</p>…”

S1 File - The conserved transcription factor PrlP modulates colonization and pathogenicity of <i>Streptococcus suis</i> in response to environmental stress Yazar: Yuhua Wang (289796)

“…S5 Fig. Construction and verification of the <i>prlP</i>-ΔC_{<i>self-cleavage</i>} mutants. …”

RBM39 recruits YTHDC1 to promote Tat degradation. Yazar: Xiaohui Deng (534130)

“…<b>(B)</b> Assessment of Tat m⁶A modification levels through RIP of m⁶A-modified RNA isolated from HEK293T cells transfected with Tat-Flag, RBM39-HA, and YTHDC1-HA plasmids, followed by qRT-PCR analysis. …”

Impacts of winter climate change on northern forest understory carbon dioxide exchange determined by reindeer grazing Yazar: Noora Kantola (14263490)

“…In addition, ungulate grazers such as reindeer and caribou often alter plant and soil properties that may lead to modifications in the magnitudes and patterns of CO₂ exchange. …”

BABAPPA GUI: A Codeml-Centered Positive Selection Analysis Software Yazar: Krishnendu Sinha (22324114)

“…</li></ul><h3>Installer hosting & verification</h3><ul><li><b>Installer hosting</b>: The official installer (~1.5 GB) for this release is hosted on Zenodo: 10.5281/zenodo.17211886.…”

<b>AutoMated tool for Antimicrobial resistance Surveillance System version 3.1 (AMASS3.1)</b> Yazar: Chalida Rangsiwutisak (10501496)

“…;</li><li><i>Enterococcus</i> <i>faecalis</i> and <i>E. faecium</i> have been explicitly included in the pathogens under the survey (while <i>Enterococcus</i> spp. are used in the AMASS version 2.0);</li><li>We have added a few antibiotics in the list of antibiotics for a few pathogens under the survey;</li></ol><p dir="ltr">Technical aspects</p><ol><li>We have added a configuration for “Annex C: Cluster signals” in Configuration.xlsx;</li><li>We have improved the algorithm to support more several date formats;</li><li>We have improved the algorithm to translate data files;</li><li>We have improved Data_verification_logfile report to present local languages of the variable names and values (according to how they were recorded in the data files) in the report;</li><li>We have improved Annex B: Data indicators to support a larger data set;</li><li>We have used only Python rather than R + Python (as used in the AMASSv2.0);</li><li>We have set a default config for infection origin stratification by allowing a specimen collected two calendar days before the hospital admission date and one day after the hospital discharge date into consideration. …”

Riemann Hypothesis Solution: A Structured Hilbert-Polya Operator Realization via Entropy Geometry Yazar: Jennifer Bulyaki (21539537)

“…This proof is reproducible from first principles, includes regeneration instructions for peer verification, and offers the first physically grounded explanation of prime identity geometry via the entropy collapse manifold.…”

Replication Package: "Insights into Security-Related AI-Generated Pull Requests" Yazar: Anonymous Author (7372229)

“…</li><li><b>manual_verification.py</b><br>Analyzes <code>commit_message_sample_339.csv</code> by comparing manual ratings with model-predicted labels.…”

Table 2_4 pedicle screw mono-segment versus 6 pedicle screw short-segment fixation in the treatment of thoracolumbar endplate fractures: finite element analysis and clinical follow... Yazar: Kai He (157282)

“…However, more cases of lower endplate fractures may need to be collected in the future for further verification.</p>…”

Riemann Hypothesis Solution: A Structured Hilbert-Polya Operator Realization via Entropy Geometry Yazar: Jennifer Bulyaki (22283308)

“…This proof is reproducible from first principles, includes regeneration instructions for peer verification, and offers the first physically grounded explanation of prime identity geometry via the entropy collapse manifold.…”

7-1-7 milestone dates. Yazar: Parsa Bastani (22574623)

“…This outbreak response met the detection and notification criteria but did not achieve the 7-day target for completing early response activities. …”

Liberia_STROBE-Checklist_717.docx Yazar: Trokon Omarley Yeabah (22154242)

“…The detection target was met in 71% of events, the notification target in 98% and the response target in 59% of events. …”

HU-induced ER expansion is reversible and mimicked by thiol stress. Yazar: Ana Sánchez-Molina (22648139)

“…<b>(G)</b> Images showing a timelapse of the cellular architecture modification after DIA exposure. The magenta arrow marks N-Cap apparition; the green arrow marks the apparition of cortical ER expansions. …”

Difyで自作したレファレンスチャットボットを用いた文章生成AIの性能比較：生成AIは図書館サービスに使えるか？ / Performance Comparison of Text Generation AI Using a Custom-Built RAG-Based Reference Chatbot with Dify: Can Generative A... Yazar: satoshi hashimoto(橋本 郷史) (18851272)

“…Response quality was assessed across three dimensions: (1) ability to answer questions accurately, (2) accuracy in factual verification for yes/no confirmation questions, and (3) adherence to the scope of training data (avoiding responses to irrelevant topics). …”

The Twin Prime Conjecture: Collapse-Band Parity Cancellation and Operator Proof Yazar: Jennifer Bulyaki (22283308)

“…</li><li><b>Billion-scale</b> empirical verification against independent data with <b>99.994%</b> fidelity and <b>machine-level</b> accuracy in information-flat bands.…”