Abstract: The standard first-level trigger in the Pierre Auger Observatory surface detectors (data analysis in FPGAs immediately after digitization in ADCs) were developed when FPGAs were relatively simple and additionally expensive. Thus algorithms developed in 90’s of the previous century are relatively simple. Huge progress in electronics allows the implementation of very sophisticated mathematical algorithms in very efficient systems and relatively inexpensive FPGAs. A neural network is an alternative trigger developed recently for recognition neutrino-induced showers gave relatively high efficiency and allowed distinguishing signal profiles from Auger photo-multiplier tubes of water-Cherenkov detectors originating from atmospheric showers induced by high-background neutrinos from other showers. The chemical composition of ultra high-energy cosmic rays (UHECR) is sophisticated and still not known. Additional tool analyzing online in real time a potential chemical composition could help fix this problem.

Abstract: This study investigates the influence of circular-economy transparency (CET) on re-sponsible purchase intention (RPI) within the electronics market, elucidating the mediating role of perceived green authenticity (PGA) and the boundary condition of greenwashing skepticism (GWS). We used PLS-SEM (SmartPLS 4) with bootstrapping to test direct effects, mediation, moderation, and moderated mediation on a cross-sectional online survey of 400 adult electronics customers in Saudi Arabia. The results indicate that CET positively predicts PGA and RPI, with PGA significantly enhancing RPI. This suggests that perceptions of authenticity convey a significant aspect of transparency's impact on responsible intentions. Nonetheless, GWS considerably diminishes the CET→PGA and PGA→RPI relationships and lessens the potency of the indirect CET→PGA→RPI pathway, indicating that skeptical consumers more rigorously disregard cues of transparency and authenticity. The model provides a strong description of the observed variance in both PGA and RPI, justifying its explanatory and predictive value. These results suggest that electronics brands and policymakers would do well to complement transparency programs with measurable, decision-relevant information disclosures and trust-enhancing procedures (e.g., traceability and third-party validation) in order to minimize distrust and enable responsible purchasing.

Abstract: Agrifood structural transformation underpins progress toward Sustainable Development Goals, yet whether the state should withdraw, deregulate, or inject this transition remains contested. We evaluate three governance modes across over 2,700 Chinese counties and two decades, ap- plying Causal Forest with double/debiased machine learning to three policy reforms—the 2006 agricultural tax abolition (withdraw), the 2016 supply-side reform (deregulate), and the 2014 targeted poverty alleviation campaign (inject). Governance design, not fiscal magnitude, deter- mines effectiveness, and each mode’s impact is conditional on local institutional context: with- drawal accelerates the shift out of agriculture where pre-reform distortions bind most tightly; deregulation diversifies cropping structures; yet injection produces no significant average ef- fect, masking offsetting heterogeneity along fiscal-capacity lines. Data-driven targeting robustly outperforms administrative allocation in out-of-sample validation while disproportionately re- taining the poorest counties. Sustainable agricultural transitions thus depend on the political economy of policy execution, not on spending magnitude.

Abstract: Background: Intravascular lithotripsy (IVL) has emerged as a safe and effective modality for treating severely calcified coronary lesions. While the Shockwave system is well-established, clinical data on newer IVL platforms such as the Shunmei ShockFast system remain limited. Objectives: To evaluate the safety, feasibility, and procedural outcomes of the ShockFast IVL device in patients with heavily calcified de novo coronary artery disease. Methods: We conducted a prospective, single-center case series of 16 patients undergoing percutaneous coronary intervention (PCI) with the ShockFast IVL system between June and December 2025. Inclusion required angiographic or optical coherence tomography (OCT) evidence of severe coronary calcification. The primary endpoints were acute procedural success and in-hospital major adverse cardiovascular events (MACE). Secondary endpoints included device deliverability, calcium fracture (by OCT), and post-stent expansion metrics. Results: All patients underwent successful lithotripsy delivery with the ShockFast IVL system. Acute procedural success was 100%, with no intraprocedural complications, abrupt closure, or in-hospital MACE. OCT was performed in 50% of cases and demonstrated calcium fractures in all imaged lesions, with ≥2 fractures in 63% of cases. Median stent expansion was 90% [IQR 9], with no major malapposition or edge dissections. Quantitative coronary analysis showed a median acute lumen gain of 1.86 mm [0.62]. Conclusions: The ShockFast IVL system demonstrated excellent safety and procedural performance in this first-in-center experience. Outcomes were comparable to those reported with the established Shockwave IVL platform. These findings support the clinical feasibility of ShockFast as a novel tool for calcium modification in complex PCI.

Abstract: The suspension system plays a significant role in ride comfort, car weight support, and road handling, which is crucial for the safety of the ride. This paper illustrates a derivation of a mathematical model and proportional-integral-derivative (PID) controller design for an active suspension system for a quarter car model of a passenger car. The performance of an active suspension system in terms of the vertical acceleration of the car body, suspension deflection, and tyre deflection is compared with that of a passive suspension system when subjected to road disturbance. The results show that the active suspension system with PID controller provides better performance compared to that of the passive suspension system.

Abstract: The proliferation of fake news across social media, headlines, and news articles poses major challenges for automated detection, particularly in multilingual and cross-media settings affected by data imbalance. We propose a fake news detection framework based on LLM-driven, feature-guided text augmentation. The method generates realistic synthetic samples across languages, media types, and text granularities while preserving factual structure and stylistic coherence. Experiments with classical and transformer-based models (Random Forest, Logistic Regression, BERT, XLM-R) across social media, headline, and multilingual news datasets show consistent improvements in performance. LLM-based augmentation improves overall accuracy by up to 1.6% over imbalanced baselines and increases minority-class F1-scores by up to 2.4% in low-resource languages such as Swahili. Hybrid fact- and style-based models achieve up to 93.8% accuracy with more balanced class-wise F1-scores and reduced language-related disparities, demonstrating improved robustness and cross-lingual generalization.

Abstract: Digital platforms produce a paradox: unprecedented connectivity alongside rising loneliness. Existing frameworks—built on assumptions of human senders and receivers—cannot explain this because the structure of communication has fundamentally changed.This paper introduces directionality as a formal variable tracing platform evolution from bidirectional social graphs, through unidirectional interest graphs, to Zero-Directionality: human–machine interaction in which the social other is entirely absent.We show that this zero-degree threshold enables two divergent trajectories. In the Inverted Loop (negative directionality), algorithms act preemptively, shifting the human from operator to operand. In the Triadic Mesh (triadic directionality), AI mediates between humans rather than replacing them, preserving human connection.Drawing on platform analysis, we examine how these trajectories reconfigure agency, citizenship, and social life, and identify degradation risks when mediation drifts into substitution. The framework extends platform studies to environments where the machine is communicative agent rather than intermediary.

Abstract: We present a parametrised charging infrastructure model developed to support the design of a hybrid-electric zero-emission vessel with corresponding charging infrastructure for operation along the Norwegian Coastal Express route. The charging model includes functionalities to analyse the required battery storage capacity and power ratings and locations of charging facilities for achieving battery-electric operation. We demonstrate the use of the charging model to analyse different zero-emission scenarios for the Norwegian Coastal Express route. In the presented example scenarios, the model takes as input the estimated energy demand for a new zero-emission vessel design for the Coastal Express in different weather conditions, and includes functionality to consider realistic port stays based on existing timetables and historical data of delays. The analyses show minimal required battery and illustrate a trade-off between charging power and battery capacity, as well as exemplifying the impact of different timetables as well as historic deviations on charging and energy delivered from the battery. The charging model presented is general and can be used for other routes than the Norwegian Coastal Express, as a tool for decision-makers to optimize for battery-electric operation whilst keeping the need for onboard storage capacity and charging infrastructure installations at a minimum.

Abstract: This article examines the impact of intermodal wagon technical specifica-tions and railway infrastructure parameters on electricity consumption in rail freight transport. To conduct this investigation, a three-stage analytical model was developed. The first stage establishes core assumptions, encompassing train lengths, rolling stock types, container configurations, infrastructure constraints, and the characteristics of the energy-consumption model. The second stage identifies technical constraints of specific wagons, determines representative train compositions, and executes loading simulations. The third stage focuses on evaluating energy efficiency across diverse loading scenarios. The case study demonstrates that specific energy consumption varies significantly with wagon type, train mass, and route characteristics, challenging the use of static energy-consumption values prevalent in current literature. Results indicate that 40-foot wagons incur high energy penalties due to their tare weight and axle count, despite maximizing loading capacity. While 60-foot wagons consume less energy, they result in a high frequency of empty slots under a 20 t/axle limit. Conversely, 80-foot wagons emerge as the most energy-efficient, particularly at a 22.5 t/axle limit. Mixed consists offer a balance of operational flexibility and competitive performance. Inter-estingly, extending train length from 600 m to 730 m increases volume but does not inherently reduce unit energy consumption. These findings underscore the necessity of aligning wagon fleet selection with infrastructure capabilities and cargo characteris-tics. Ultimately, this study provides actionable recommendations for planning ener-gy-efficient intermodal operations.

Abstract: This study evaluated the seasonal variation (July vs. September) in the chemical and flavonoid composition of Mediterranean natural pasture used for grazing Cilentana goats and assessed its impact on fresh goat cheese quality. A total of 36 pasture samples and 60 cheese samples were analyzed for proximate composition, fiber fractions, minerals, and flavonoids (HPLC). July pastures showed higher dry matter (95.4%), ash (8.74%), and lower fiber (28.7%), whereas September pastures had higher crude protein (17.7%), fiber (43.7%), and kaempferol (36.4 mg/kg DM). Cheese produced in July had higher fat (46.8% DM), ash (8.36%), NaCl (4.78%), and dry matter, while September cheeses showed slightly lower fat (42.2%), higher moisture, and a more acidic pH (5.90). Seasonal increases in kaempferol, lutein, quercetin, and CMG suggest enhanced antioxidant potential in late‐season forage. These findings highlight the importance of seasonal pasture monitoring to optimize feed quality and dairy product characteristics in extensive Mediterranean goat systems.

Abstract: Plant-based biomaterials are increasingly recognized as bio-instructive platforms capable of actively modulating immune responses rather than functioning solely as passive structural supports. In this context, the term plant-based is used operationally to denote photosynthetic biomass–derived platforms and includes both terrestrial plants and marine macroalgae, reflecting their shared richness in polysaccharides and secondary metabolites relevant to immune-engineering and regenerative medicine. Current evidence on plant-derived polysaccharides and phytochemicals is critically synthesized, including algal sulfated polysaccharides (fucoidan, alginate, carrageenan), terrestrial plant polysaccharides (e.g., Lycium barbarum and Aloe vera derivatives), and polyphenolic compounds, highlighting their roles as bioinstructive immunomodulators in biomedical contexts.Key immunoregulatory mechanisms are discussed, including macrophage polarization along an M1–M2 functional continuum, pattern-recognition receptor engagement, redox and metabolic regulation, and coordinated crosstalk between innate and adaptive immunity. Particular emphasis is placed on how material structure, molecular weight distribution, and chemical functionalization shape immune cell responses and downstream regenerative outcomes. Advanced delivery strategies, including polysaccharide-based hydrogels, nanocomposites, lipid-based phytosome formulations, and plant-derived extracellular vesicles (EVs), are reviewed as enabling technologies to enhance stability, bioavailability, and spatiotemporal control of plant-derived bioactives. Applications in wound, musculoskeletal, and bone regeneration are summarized with attention to tissue-specific immunological requirements. Key barriers to clinical translation are also addressed, including source variability, batch-to-batch reproducibility, establishment of structure–activity relationships, Good Manufacturing Practice (GMP) compliance, regulatory classification (medical device vs. drug vs. combination product), and ethical considerations related to sourcing and traditional knowledge. For clarity, extracellular vesicles (EVs) are used as an umbrella term encompassing heterogeneous vesicular subpopulations; the term “exosomes” is retained only when supported by subtype-specific characterization, as many studies report mixed EV preparations.

Abstract: Formal methods are software engineering approaches with a rigorous mathematical basis that can be used in helping to ensure the correctness of software systems, especially where safety or security is critical. Artificial Intelligence (AI) has developed very rapidly in the area of Generative AI (GenAI), where questions can be answered with increasingly impressive but with potentially unreliable and variable results. This paper surveys research in integrating the two approaches in a synergistic manner. Traditionally, such explorations have required significant manual efforts in searching for and evaluating existing research. However, most relevant publications are now accessible online, and AI tools are increasingly good at answering research questions with more and more reliability. This paper takes the approach of using GenAI to evaluate research questions on combining formal methods and AI-related techniques. The paper assesses the usefulness and validity of these results. With recent improvements in AI search tools, the approach is now a useful aid to researchers, significantly reducing the time needed to survey existing research, while always needing human checking by an expert. In addition, the combination of formal methods and AI approaches looks to be an interesting and beneficial research area with potential industrial-scale applications in the future.

Abstract: Background: Regulatory frameworks such as the Belmont Report, the Common Rule, and the Declaration of Helsinki require informed consent to ensure participants understand a study’s purpose and can make voluntary decisions about their involvement. Regulations including the General Data Protection Regulation (Regulation (EU) 2016/679) further emphasise that consent must be freely given and revocable without disadvantage. Although informed consent forms (ICFs) are intended to be clear and accessible, they have become increasingly lengthy and complex. Large language models (LLMs) offer potential to navigate and interpret this complexity and have shown promise in biomedical information extraction tasks. However, their susceptibility to hallucinations limits reliability in high stakes settings. Retrieval augmented generation (RAG) can mitigate such errors. This study evaluates the integration of LLMs with RAG for reviewing data reuse language in ICFs and their ability to interpret complex textual structures. Methods: Firstly, we processed 438 ICFs from different trials, including multi-countries, languages and versions of ICFs. Using expertly curated prompts, we extracted information about data reuse using GPT-4.1. Comparing the LLM-generated data reuse outputs with human expert ground truth, we evaluated accuracy and the time required to extract information for each ICF. To further validate the workflow, we evaluated an independent set of 488 ICFs spanning additional trials, languages, and regions. For this cohort, we assessed the correctness of LLM outputs along with the quality of supporting evidence provided by the model. Results: Across 438 ICFs, the system achieved 81.6% accuracy, which increased to 90% in a subsequent evaluation of additional 488 ICFs after prompt optimisation. Using a RAG-based approach, the system accurately extracted data reuse information across multiple languages and identified nuanced international regulatory requirements. Conclusion: This approach has the potential to significantly alleviate administrative burdens by automating labour-intensive processes, while also generating insights that could inform the standardisation of ICF creation. Ultimately, these advancements may contribute to reduce the complexity of ICFs, thereby improving their readability and comprehensibility for participants.

Abstract: Groundwater quantification is essential for sustainable water resources management, yet it is often hampered by limited data availability and difficulties in measuring spring discharges. This study investigates three carbonate aquifers in Central Italy’s Abruzzo region: the Genzana–Greco, Morrone, and Marsicano mountains. The aim is to resolve uncertainties in spring attribution, and groundwater flow patterns using isotopic analyses combined with field surveys. The Genzana–Greco aquifer was examined to clarify the sources of the Acquachiara spring and the previously unreported Germina spring, assessing whether recharge occurs locally or from the carbonate massif. In the Morrone mountain aquifer, discharge gains along the Pescara River through the Gole di Popoli were quantified, and spring isotopic compositions were compared to the main basal spring Giardino to better define groundwater contributions. For the Marsicano mountain aquifer, the role of Lake Scanno in feeding the Villalago springs was investigated through isotopic analysis of inflows, downstream springs, and basal aquifer discharge points to constrain the hydrogeological water budget. Overall, the integration of isotopic tracers with hydrological measurements allowed a more precise characterization of aquifer recharge areas, mean residence times, and groundwater flow paths, improving the understanding of regional water resources in a complex carbonate setting.

Abstract: For every prime p and every integer a, the backward finite difference δp(a) := a^p − (a − 1)^p equals the cyclotomic binary form Φp(a, a − 1), where Φp(X, Y) is the homogenisation of the p-th cyclotomic polynomial, and hence equals the norm NQ(ζp)/Q(a − ζp(a − 1)). For p = 3 this specialises to the identity δ3(a) = NZ[ω](a − ω(a − 1)), where ω = e^(2πi/3), connecting the individual cubic finite difference obtained by differencing the classical sum formula of Nicomachus of Gerasa (~100 CE) with the Eisenstein norm that appears in Euler's factorisation of a^3 + b^3. We develop this identity in three directions: (a) General cyclotomic framework. For each prime p, every prime divisor q of δp(a) satisfies q ≡ 1 (mod p), imposing an arithmetic sieve whose density ~1/(p−1) grows increasingly severe with p. (b) Arithmetic density. The values {δ3(a)}a≥1 form a thin subfamily of the Löschian numbers (norms in Z[ω]), with counting function ~√(N/3) versus the Landau-Ramanujan asymptotic CN/√log N for all Löschian numbers up to N. (c) Three-language equivalence. For the cubic case we prove a precise equivalence among: (i) divisibility of δ3(a), (ii) multiplicative order modulo q, and (iii) splitting of q in Z[ω]. We also give an elementary proof of the base case 1 + b^3 = c^3 (no positive-integer solutions), and derive 3-adic constraints on any hypothetical solution to a^3 + b^3 = c^3 via the Lifting-the-Exponent Lemma, without invoking unique factorisation in Z[ω].

Abstract: This study proposes SWEET-RL, a reinforcement learning framework for training LLM agents in multi-turn collaborative reasoning tasks involving human or agent partners. A step-wise critic is trained using intermediate evaluation signals derived from task progression rather than final answers. The method is evaluated on ColBench, consisting of 3,800 multi-turn collaboration sessions across software development and design tasks. SWEET-RL improves long-horizon task success rates by 24.3% and reduces dialogue-level error accumulation by 35.1%, demonstrating stronger robustness in extended collaborative interactions.

Abstract: A novel two–stage procedure for approximating solutions of nonlinear systems is introduced. The scheme employs two evaluations of the vector function F together with a single Jacobian computation, followed by the resolution of two linear subproblems that share an identical coefficient matrix. This structure reduces the computational burden and enhances the adaptability of the method with respect to existing alternatives. The design of the algorithm is motivated by criteria relating efficiency to the total number of functional evaluations, ensuring that the resulting strategy achieves the optimal convergence order permitted within this framework. A proof of the local convergence order is provided, and its accuracy is supported by a series of experiments on distinct nonlinear models, including problems arising from differential equations. The numerical evidence confirms that the developed technique reaches the theoretical convergence rate and performs favorably when compared with other methods of equal order. Moreover, we examine the dynamical features of the related parametric variant, offering additional understanding of its stability properties and iterative behavior.

Abstract: Enterprise architecture (EA) principles provide normative guidance for architectural evolution, yet validating whether EA models comply with such principles is typically performed manually and does not scale to continuous governance. This paper presents an ontology-based validation approach that enables automated compliance checking of ArchiMate models against EA principles. The approach (i) semantically lifts ArchiMate models into RDF/OWL as ontology instances grounded in ArchiMEO, (ii) structures natural-language principles using SBVR Structured English to reduce ambiguity and support traceability, (iii) enriches the resulting knowledge graph with inferred architectural relations through derivation rules, and (iv) operationalizes validation using SHACL constraints and SPARQL queries that produce explainable violation reports linked to concrete model elements. The approach is developed following Design Science Research and evaluated in three case studies (two real-world organizational settings and one controlled educational setting).The evaluation demonstrates that the approach supports repeatable execution of principle checks on evolving models, improves traceability of violations for architecture review and decision-making, and reduces manual effort by shifting substantial parts of compliance checking from human interpretation to automated constraint validation.

Abstract: Despite numerous studies on carbohydrate metabolism in gestational diabetes mellitus (GDM), the role of amino acid metabolic disturbances in the mother-fetus system remains insufficiently characterized, even though amino acids play a critical role in the develop-ment of fetal macrosomia (FM) and the programming of offspring metabolic health. This study included 62 mother–newborn dyads, stratified into clinical groups based on the presence of GDM and FM. Quantitative amino acid analysis was performed in maternal serum, umbilical cord serum, and amniotic fluid samples. Statistical analysis included Kruskal–Wallis, Mann–Whitney, chi-square tests, Spearman's correlation, and machine learning methods (Random Forest) with SHAP value calculation. Metabolic pathway analysis was conducted using MetaboAnalyst. Specific amino acid markers were identi-fied for each biological compartment. In maternal serum, GDM markers included glycine, 1-methylhistidine, γ-aminobutyric acid, lysine, and tryptophan, all showing significantly decreased levels. In cord blood, 11 amino acids exhibited reduced concentrations in GDM, including glutamine, glycine, asparagine, methionine, and proline. In amniotic fluid, GDM was associated with increased levels of lysine and 1-methylhistidine. In GDM complicated by FM, cord blood showed elevated lysine, proline, leucine, and al-lo-isoleucine, whereas amniotic fluid in this group was characterized by low homocitrul-line, asparagine, and lysine alongside high histidine levels. Correlation analysis revealed multiple associations between amino acids and clinical parameters, including an inverse correlation of fetal weight with homocitrulline and positive correlations with lysine and isoleucine. Metabolic pathway analysis indicated that GDM markers in maternal serum are associated with disturbances in biotin, glutamate, and carnitine metabolism, whereas cord blood markers implicated a broader spectrum of processes, including amino acid and purine metabolism. In amniotic fluid from GDM with FM, the methylhistidine me-tabolism pathway was additionally enriched, potentially reflecting specific alterations in neonatal muscle metabolism. GDM is accompanied by differential alterations in the amino acid profile across all investigated biological compartments, with the combination of GDM and FM characterized by unique metabolic signatures. The identified amino ac-ids may serve as potential biomarkers for early prediction of GDM and its complications, and offer prospects for targeted correction of metabolic disturbances.

Abstract: S. Tomé and Principe (STP) islands have been studied in recent years for their wide range of medicinal plants which exhibit several biological activities of great medicinal interest for some diseases. Experimental planning for optimization of several parameters was carried out by a full factorial of two levels of three factors for secondary metabolite extraction from Rauvolfia caffra leaves by using water and hexane at 25 and 40 ºC and 200 rpm for 0 and 5 days of incubation/extraction. The best conditions for highest extraction of phenolic compounds (i.e 89.90 moles gallic acid equivalent/g leaves)) was obtained at 25ºC, in H20 and 5 days of incubation. Several phytochemical assays were performed for characterization of these plant extracts and the highest levels of TFC, DPPH and Reducing power were obtained with aqueous plant extraction at 25ºC and for 5 days of incubation whereas leaves extraction with water at 40º C for 5 days of incubation revealed highest levels of ABTS scavenging activity. The levels of SOD and superoxide radical scavenging activities were highest with plant extraction with hexane at 25 and 40ºC for 5 days of incubation, respectively. The present report consists of a novel and intrinsic synchronous fluorescence and phosphorescence characterization of secondary metabolites from this plant extract. Intrinsic and non-destructive synchronous fluorescence was carried out in the range of 250 to 750 nm with a Δλ range of 5–30 nm which exhibited peaks at 320, 530, 550, 590, 650, 675, 690, 700, 710 nm in hexane plant extracts whereas aqueous extracts revealed only peaks at 382, 430, 460 and 530 nm. On the other hand, intrinsic and non-destructive synchronous phosphorescence was also performed which exhibited peaks at 430, 500 and 540 nm in aqueous extracts whereas hexane extracts revealed peaks at 320, 530, 560, 655, 675, 690 and 710 nm, respectively. 3-D spectra of secondary metabolites confirmed the peaks at 290, 320, 345, 400, 490 and 675 nm in plant extracts. FTIR spectroscopy was selected to investigate the structural properties of secondary metabolites in these plant extracts. Therefore, the present work describes a novel characterization of secondary metabolites by a non-destructive and intrinsic synchronous fluorescence techniques for plant extracts.