Our Work

J.A. Devesa, A. Quintanar, M.A. Garcia, S. Castroviejo (2014): Flora Iberica / Vol. XVI (I). In: COMPOSITAE. Madrid: Real Jardín Botanico, CSIC: 1-787, DOI: 10.5281/zenodo.21537545

The growing emphasis on sustainable development has fundamentally transformed the system of corporateaccountability, making sustainability reporting and Environmental, Social, and Governance (ESG) aud…

The growing emphasis on sustainable development has fundamentally transformed the system of corporateaccountability, making sustainability reporting and Environmental, Social, and Governance (ESG) auditing essential componentsof modern business governance. This study examines emerging trends in sustainability reporting and ESG auditing, focusingon their role in enhancing corporate transparency, stakeholder confidence, and long-term value creation. The research aims toidentify current developments in international sustainability reporting standards, analyze the evolving role of ESG assurance,and assess the challenges associated with the implementation of non-financial reporting practices. The study employscomparative, analytical, and systematic research approaches based on international regulatory frameworks, academic literature,and global corporate reporting practices. The findings indicate that the transition from voluntary sustainability disclosures tomandatory ESG reporting has significantly increased the importance of independent assurance and audit quality. Furthermore,digital technologies, integrated reporting, and harmonized sustainability standards are reshaping corporate accountability andimproving the reliability of ESG information. The study concludes that effective ESG auditing contributes to better corporategovernance, strengthens investor confidence, and supports sustainable economic development. The research findings mayserve as a theoretical and practical basis for improving ESG reporting and auditing practices in developing economies, includingUzbekistan.

As a typical interdisciplinary discipline integrating engineering technology and economic management, logistics engineering and management faces multiple contradictions and practical dilemmas in the c…

As a typical interdisciplinary discipline integrating engineering technology and economic management, logistics engineering and management faces multiple contradictions and practical dilemmas in the context of digitalization and green low-carbon transformation, such as the opposition between operational efficiency and ecological sustainability, the conflict between technological instrumental rationality and humanistic value rationality, and the imbalance between localized development and globalized layout. The Dialectics of Nature, as the core theoretical system revealing the universal laws of natural movement, technological development and human-nature interaction, provides a fundamental philosophical methodology for solving the practical problems of modern logistics systems. Based on the basic viewpoints of materialist dialectics, this paper systematically analyzes the dialectical unity relationship between man and nature in logistics activities, explores the internal contradictory movement laws of logistics system evolution, and discusses the negative effects of one-sided mechanical view of nature on traditional logistics development. Combined with real industry data and typical enterprise cases, this paper sorts out the practical application of dialectical thinking in green logistics optimization, digital supply chain reconstruction and logistics system resilience improvement. The research finds that the high-quality development of modern logistics essentially relies on the guidance of dialectical thinking: adhering to the holistic view to optimize the overall layout of logistics systems, adhering to the contradictory view to resolve the development dilemmas of logistics industry, and adhering to the developmental view to promote the iterative innovation of logistics technology and management modes. On this basis, this paper summarizes the practical enlightenment of Dialectics of Nature for the sustainable development of logistics engineering and management, aiming to provide philosophical support and methodological reference for the innovative and green development of modern logistics industry.

This release is required due to transfer of ownership.

This is a comprehensive handbook offering guidance and resources for young transportation researchers on research skills, academic career development, and professional practices. This book is the revi…

This is a comprehensive handbook offering guidance and resources for young transportation researchers on research skills, academic career development, and professional practices. This book is the revised and updsted edition of Transportation Research Handbook purlished in 2024 by the same author.

We present systemic-tau-formal v0.1.10 as documented in this English preprint (document version 0.1.10-r2): an open monorepository that states the operational core of the Systemic Tau (τₛ) paradigm an…

We present systemic-tau-formal v0.1.10 as documented in this English preprint (document version 0.1.10-r2): an open monorepository that states the operational core of the Systemic Tau (τₛ) paradigm and the Discrete Extramental Clock (RECD) in a form accepted by a formal verifier. New in this document/software pin: termwise superstable logistic roots (period 1 and 2 unique; period-4 cascade-window existence; secondary residual zero ~3.96); hybrid cascade with geometric tail and δ-limit; free-c operational uniqueness retained. Formal Rolle mono discharge, true termwise SS for all n, and C²-open map-space renorm remain research-scale open. The Lean 4 + Mathlib package encodes regime bands, the gate function g(τₛ), partition and monotonicity lemmas, and a laboratory construction package linked to period-doubling cascade ideas and Feigenbaum's constant δ. Accompanied by a Python reference core, golden rational bridges, continuous integration, and a citable Zenodo software deposit. Source: github.com/johelpadilla/systemic-tau-formal · path papers/preprint-standard-formal/. Software pin: systemic-tau-formal v0.1.10 — DOI 10.5281/zenodo.21537465 (concept 10.5281/zenodo.21516059).

systemic-tau-formal v0.1.10 is an open monorepo for machine-checkable formalization and reproducible reference code of the Systemic Tau (τₛ) paradigm and the Discrete Extramental Clock (RECD). What is…

systemic-tau-formal v0.1.10 is an open monorepo for machine-checkable formalization and reproducible reference code of the Systemic Tau (τₛ) paradigm and the Discrete Extramental Clock (RECD). What is new in v0.1.10 FeigenbaumSuperstable: termwise logistic superstable roots — unique period-1 r=2; unique strict period-2 r=1+√5; honesty that onset r=3 is not period-2 superstable; period-4 residual characterization and strict exclusion of lower stages. FeigenbaumCascade: existence of a strict period-4 superstable in cascade isolating window [3.498, 3.499] (IVT + exact ℚ residual); secondary residual zero near 3.96 proving uniqueness fails on full (1+√5, 4); conditional uniqueness under StrictMonoOn residual; Horner lower bound certificate for classical Q'>0 input; hybrid cascade R_n (true SS n≤2 + geometric Feigenbaum tail n≥3) with tail ratios → δ_op; free-c operational pack (unique inverse-scale bridge; naive 2/δ fails). Still zero sorry / zero research axiom under SystemicTau/. Carried from v0.1.9 ThresholdFromDelta unique operational f(δ)=c/δ; extended simple candidates; Ontology L0–L3. Lab Feigenbaum pack: non-tent tauReturnFour, logistic scale-ID, C²/Schwarzian algebra, geometric cascade. Still research-scale Formal discharge of residual mono on the cascade window (Rolle + cleared poly Q' in Lean) True termwise superstable R_n for all n (not hybrid geometric tail) Mathlib C²-open renorm fixed point + free-c without Kendall pin Field-derived continuum return of τₛ; multi-site empirical P1/P4 Companion: PyPI systemictau. Prior corpus DOI: 10.5281/zenodo.20576241. Epistemic honesty: operational thresholds 0.50 / 0.41 remain protocol pins; cascade hybrid tail is geometric construction, not termwise logistic roots for all n.

systemic-tau-formal v0.1.10 Formal (Lean 4.14 + Mathlib, zero sorry / zero research axiom) FeigenbaumSuperstable: unique period-1 superstable (r=2); unique strict period-2 (1+\sqrt5); honesty (r=3\ne…

systemic-tau-formal v0.1.10 Formal (Lean 4.14 + Mathlib, zero sorry / zero research axiom) FeigenbaumSuperstable: unique period-1 superstable (r=2); unique strict period-2 (1+\sqrt5); honesty (r=3\neq SS_2); period-4 residual + lower-stage exclusion. FeigenbaumCascade: cascade-window period-4 existence [3.498, 3.499]; secondary residual zero ~3.96 (full-interval uniqueness false); conditional uniqueness under residual mono; hybrid (R_n) (true SS (n\le2), geometric Feigenbaum tail (n\ge3)) with ratios (\to\delta_{\mathrm{op}}); free-c operational pack. Still research-scale: formal Rolle mono discharge; termwise SS for all (n); C²-open map-space renorm; free-c without Kendall pin. Preprint: operational standard document 0.1.10-r1 (papers/preprint-standard-formal/). Verify: cd lean && lake build && cd ../python && pytest -q

In this study, we evaluated the impact of gamma irradiation, heat inactivation and neutral buffered formalin fixation on phospholipid profiles in mouse kidney tissue using MALDI-MSI. By combining clas…

In this study, we evaluated the impact of gamma irradiation, heat inactivation and neutral buffered formalin fixation on phospholipid profiles in mouse kidney tissue using MALDI-MSI. By combining class-level normalization to deuterated standards, relative percentage change analysis, and receiver operating characteristic (ROC)–based species discrimination, we provide a quantitative framework to assess the robustness and sensitivity of lipid measurements across commonly used tissue inactivation methods.   This dataset is the negative ion mode SCiLS assembly exported in the imZML format. Please write to the authors to request raw or supporting data due to data volume. Reasonable requests will be granted.

In this study, we evaluated the impact of gamma irradiation, heat inactivation and neutral buffered formalin fixation on phospholipid profiles in mouse kidney tissue using MALDI-MSI. By combining clas…

In this study, we evaluated the impact of gamma irradiation, heat inactivation and neutral buffered formalin fixation on phospholipid profiles in mouse kidney tissue using MALDI-MSI. By combining class-level normalization to deuterated standards, relative percentage change analysis, and receiver operating characteristic (ROC)–based species discrimination, we provide a quantitative framework to assess the robustness and sensitivity of lipid measurements across commonly used tissue inactivation methods.   This dataset is the positive ion mode SCiLS assembly exported in the imZML format. The negative ion mode data is located here: 10.5281/zenodo.21481616 (linked below). Please write to the authors to request raw or supporting data due to data volume. Reasonable requests will be granted.