Search Results (927)

Smart contract auditing remains challenging because vulnerabilities often emerge only under complex execution conditions, cross-transaction interactions, and environment-dependent assumptions. Existing analysis techniques, including static analysis, symbolic execution, fuzzing, and recent LLM-assisted approaches, each provide useful but incomplete coverage, and monolithic auditing pipelines often struggle to balance search breadth, reproducibility, and reporting reliability. This paper presents SEMA, a self-evolving multi-agent auditing framework for smart contracts that formulates auditing as a resource-bounded discovery of concrete counterexamples under replay-certified reporting semantics. SEMA combines heterogeneous specialized agents, an orchestrator, a shared artifact-centric knowledge base, and a replay-based referee. During auditing, agents generate and consume reusable artifacts, such as candidate invariants, refuted hypotheses, transaction templates, and coverage cues, allowing the shared search state to evolve across rounds without modifying the analyzers themselves. To ensure reporting reliability, findings are accepted only when the referee can replay the candidate scenario under a pinned execution configuration and confirm violation of an executable security property. We further evaluate SEMA on an annotated smart contract benchmark under a fixed 300 s budget per contract. The full system achieves 0.9469 instance recall, 0.9441 success rate, and 0.9445 macro-average category recall on the retained executable subset, outperforming both symbolic-only and fuzzing-only baselines, as well as multi-agent ablations that disable dynamic knowledge evolution or cross-agent artifact reuse. Full article

Machine learning models increasingly rely on continuously generated sensor data for automated decision-making in Internet of Things (IoT) environments. The distributed and often insecure nature of IoT infrastructures introduces risks related to data manipulation, lack of traceability, and unverifiable model evolution. Existing solutions typically address isolated aspects such as data security or access control but do not provide end-to-end provenance across the machine learning lifecycle. This paper proposes a tamper-evident data and model provenance framework for IoT-based machine learning that integrates blockchain with off-chain storage. The framework records cryptographic hashes and metadata of data, preprocessing outputs, and trained models on-chain while maintaining large artifacts off-chain to ensure scalability. Smart contracts establish verifiable linkage among lifecycle artifacts and automate provenance registration. The framework is evaluated in a simulated IoT–ML pipeline under integrity attack scenarios including data manipulation, model tampering, and metadata modification. Experimental results demonstrate reliable detection of unauthorized modifications with low verification latency and constant on-chain storage per record under controlled conditions. These findings indicate the feasibility of hybrid blockchain architectures for tamper-evident provenance in IoT-based machine learning systems, while highlighting the need for further validation in real-world deployments. Full article

The Pamir–Tian Shan domain constitutes one of the most actively deforming intracontinental orogenic systems associated with continued India–Eurasia convergence. Characterizing present-day deformation in this region is fundamental to deciphering its geodynamic evolution and assessing seismic risk. Existing strain rate models based on GNSS measurements display noticeable discrepancies, largely attributable to variations in analytical strategies and uneven station distribution. In this study, we determine the present crustal strain and rotation fields across the Pamir–Tian Shan area using the most updated GNSS velocity solution referenced to stable Eurasia. To address the issues of inconsistent strain rate field results and lack of reliability verification in previous studies based on GNSS data, this paper computes the crustal strain rate field (principal strain rate, maximum shear strain rate, dilatation strain rate, and rotational strain rate) with a grid spacing of 0.75° × 0.75° in the study area, followed by numerical validation of the results’ reliability. The derived strain field is characterized by dominant NNW–SSE shortening throughout much of the orogenic system, with peak compressional strain rates (~1.0 × 10⁻⁷ yr⁻¹) concentrated along the Pamir Frontal Thrust. By contrast, the interior of the Pamir Plateau exhibits clear EW extension, consistent with areas affected by normal-faulting earthquakes. High values of shear strain rates are primarily localized along major active fault systems, whereas negative dilatational components indicate overall contraction within the Tian Shan. The rotation-rate distribution reveals clockwise rotation of the Tarim Basin (approximately 0.6°/Myr) together with counterclockwise rotation affecting the Pamir and Tian Shan blocks, accommodated by prominent strike–slip fault networks. The close spatial agreement between the modeled strain patterns, active tectonic structures, and focal mechanism solutions supports the reliability of the inferred deformation field. The research results of this paper are of great scientific significance for in-depth study of the tectonic evolution and earthquake disaster assessment in the Pamir–Tian Shan region. Full article

Botulinum toxin suppresses neurotransmitter release, thereby inhibiting muscle contraction and inducing flaccid paralysis. Botulinum toxin type A (BoNT/A) is widely used for neuromuscular blockade but, upon repeated administration, may cause long-lasting muscle atrophy, fibrosis, and inflammation. It is produced as a single peptide chain that becomes activated through cleavage into a heavy and light chain. BoNT/E, like BoNT/A, is produced as a single-chain polypeptide and requires cleavage to generate the active dichain form. Although BoNT/E is known to have a faster onset and shorter duration of action compared with BoNT/A, its efficacy and safety have not been thoroughly investigated. We compared BoNT/E and BoNT/A in SKH-1 hairless mice. Neuromuscular blockade, recovery pattern, and changes in muscle weight, volume, fiber size, fibrosis, mast cell infiltration, and diffusion to adjacent muscles were evaluated over time. BoNT/E induced maximal neuromuscular blockade on day 3 and fully recovered by day 35, whereas BoNT/A reached maximal effect on day 7 and showed only 20% recovery of the vehicle group by day 35. BoNT/E caused transient, dose-dependent reductions in muscle weight, volume, fiber size, and fibrosis, which largely normalized by day 35. In contrast, BoNT/A, administered at a dose of 0.5 U per injection site, induced persistent muscle atrophy, fibrosis, and significantly increased mast cell infiltration under the experimental conditions used in this study. Neither BoNT/E nor BoNT/A showed diffusion to adjacent muscles or changes in body weight. These findings suggest that BoNT/E provides rapid onset, short duration, and favorable safety, supporting its potential as an alternative therapeutic option for indications requiring temporary muscle relaxation with minimized long-term adverse effects. Full article

Wetland system design, management and modelling to support ecosystem services during climate change have been evaluated in this structured and critical review. The focus was on non-tidal and agriculture-linked wetlands in oceanic, temperate and boreal regions. After applying 54 search terms using Google Scholar, 229 references have been cited. The review indicates that local wetland improvements rarely have a measurable impact on the overall watershed. Water can be retained mostly successfully in the landscape for relatively low- and medium-level rainfall. For large and less frequent floods, the concept of Retaining Water in the Landscape rarely applies. The success of compensation schemes for European and United States American farmers to control flood retention depends on financial status, farm size, age and the contract term duration. Ecosystem disservices such as greenhouse gas and nutrient release from ditches should be counteracted by rewetting. Combined water level and nutrient management supports carbon sequestration and protects watercourses from eutrophication. Restored wetlands usually reduce diffuse pollution and enhance biodiversity. The conservation of existing natural wetlands compared to restoring former wetlands is normally more effective regarding carbon storage. The value of sustainably managed wetlands is up to 50 times higher than the mean wetland restoration costs. Full article

This paper introduces a higher-order orbital framework in fixed point theory based on a closed four-step orbital functional. Existing approaches, such as triangle-perimeter contractions, mainly rely on three-point configurations and first-order geometric interactions. In contrast, the proposed functional incorporates four successive iterates together with a nonlocal comparison term involving second-order orbital displacements. Using this structure, we define a new class of large closed four-step orbital contractions and establish a corresponding fixed point theorem in complete metric spaces under a boundedness assumption on one orbit. The proof is based on a propagation mechanism that transfers contractive behavior along the orbit generated by the mapping. Several examples demonstrate that the proposed framework extends classical contraction settings such as Banach and triangle-perimeter contractions. Furthermore, an application to a nonlinear Volterra integral equation provides explicit analytical estimates showing how the four-step orbital contraction structure can be verified in functional settings. These results provide a higher-order orbital extension of existing contraction principles and may contribute to further developments in generalized metric spaces and nonlinear analysis. Full article

Trans-border data circulation across multi-jurisdictional boundaries faces an operational conflict between ownership provenance prerequisites and data minimisation mandates, compounded by the tight coupling of large data payloads with synchronous state consensus ledgers, which forces replication of feature matrices across all consensus nodes and leads to network saturation. Existing frameworks remain unequipped to resolve this, as coupling in-band payload routing with synchronous state ledgers generates communication overheads scaling with data volume. The proposed Trusted Data Space with Registration (TDSR) implements a four-layer protocol stack. A dual-plane topology establishes a decoupled storage–ledger mechanism, partitioning asynchronous payload datastores and synchronous consensus ledgers to sustain throughput independent of data dimensionality. Navigating this infrastructure, the Unified Data Resource Identifier (UDRI) executes out-of-band cross-domain routing without exposing verifier intents. Driven by the Oblivious Data Asset Registration (ODAR) mechanism, a two-phase, four-algorithm lifecycle dictates end-to-end ownership provenance. This execution shifts hypothesis testing to isolated sandboxes via an algorithm-agnostic mathematical contract, capping external data transit at a constant leakage bound. A deployed testbed across the Guangdong-Hong Kong-Macao Greater Bay Area validates the proposed architecture, supporting data circulation across divergent legal jurisdictions. Full article

How do ryanodine receptors (RyRs) open simultaneously to trigger the contraction of whole myofibrils within a large skeletal muscle cell? One possible answer is the uniformity of mechanosensitive RyRs, which is mechanically forced by the neighboring environment, including proteins. Here, we review papers addressing this proposed “mechanical sarcoplasmic reticulum (SR) paradigm”. Crystals of the molecular complexes comprising RyR and L-type voltage-gated Ca²⁺ channels were observed at the T-tubule/SR junction in situ using cryo-electron tomography. Observations of the SR vesicles isolated from rabbit and scallop cross-striated muscles using negative staining and transmission electron microscope raised a hypothesis of dynamic rearrangement of the Ca²⁺-ATPase (ATPase) molecules in response to cytoplasmic calcium concentration, as follows: (i) At a low calcium concentration where the ratio of operating ATPase molecules to the total molecules is at a submaximal level, the ATPase molecules form, at least in part, their cylindrical crystals in the SR membrane with the help of ATP; this results in the elongation of the SR vesicles. (ii) High concentrations of calcium, at which the ratio of operating ATPase molecules is maximal, reversibly collapse the ATPase crystals to transform the elongated vesicles into round forms comprising tightly attached crystal patches. These data further lead to the idea that the reversible growth of cylindrical ATPase crystals provides a dynamic crystalline network, which acts as an “SR membrane-endoskeletal motor” to manipulate the SR movement. The possibility of interactions between ATPase crystals and neighboring RyR crystals is also discussed. Full article

Under the paradigm of the Internet of Things (IoT), the processing of large-scale data not only imposes higher demands on data-sharing efficiency but also increases the risk of user privacy leakage. To address these challenges, this paper proposes a blockchain-assisted traceable and revocable broadcast encryption scheme for preventing malicious encryptors (BATR). To resist trapdoor attacks by malicious encryptors, the scheme utilizes the uniform distribution property of hash function outputs to generate the random numbers required for the encryption algorithm. To block malicious users from leaking private keys, which attackers could exploit to construct piracy decoders with decryption capabilities, the scheme enhances the traditional broadcast encryption system by incorporating public tracing and revocation mechanisms. The scheme employs personalized transmission technology, allowing data owners to share public data with a set of authorized users while also sharing personalized data with specific authorized users. Additionally, users communicate using pseudonyms to ensure that their real identities are not accessible to third parties, thereby meeting privacy protection requirements. With the assistance of blockchain, trusted authorities and users can invoke smart contract interfaces to trigger blockchain peer nodes to execute smart contracts, thereby acquiring or updating identity authentication information stored on the blockchain to achieve secure authentication. This paper provides an analysis of the correctness and security of BATR, demonstrating that BATR satisfies chosen-ciphertext security under the Random Oracle Model. We also present performance evaluations and describe the experimental setup used to obtain operation-time baselines. Finally, this paper conducts a performance analysis of the BATR scheme, which exhibits high computational efficiency and compact communication bandwidth, resulting in significant performance improvements. Full article

While integrating blockchain technology into Business Process Management (BPM) has gained attention, existing compilation-based approaches suffer from high redeployment costs and isolated network structures. This study proposes an FSM-based workflow interpreter engine utilizing the Inter-Blockchain Communication (IBC) protocol within the Cosmos ecosystem to overcome these limitations. The proposed system adopts an interpreter architecture that treats business logic as lightweight JSON specifications instead of hard-coding it into smart contracts. This separation allows for process updates through data modification rather than contract redeployment, significantly increasing operational flexibility. Furthermore, custom IBC packet structures were designed to enable seamless cross-chain process synchronization between independent application-specific blockchains. Experimental results demonstrate that the interpreter approach reduces process update costs by over 90% compared to conventional compilation methods. Additionally, gas consumption exhibited a linear growth pattern relative to task count and gateway complexity, ensuring cost predictability for large-scale business scenarios. Interoperability validation using a standard Procurement Order (PO) process showed successful cross-chain state transitions with a latency of approximately 1.45 s. This research provides a practical solution for building trust-based decentralized collaboration ecosystems by simultaneously achieving operational efficiency and interoperability in blockchain BPM. Full article

The Build–Operate–Transfer (BOT) model is one of the most widely used Public–Private Partnership (PPP) methods for financing large-scale infrastructure projects. In this model, the concession period, which is the most critical parameter of the contract between the government and the private-sector investor, is a decision variable that directly affects the interests of both parties and varies depending on many uncertainty factors. The vast majority of models in the existing literature have been tested on hypothetical projects, and it is observed that parameters such as country-specific legal regulations, traffic volume guarantees, and financing conditions affecting discounting over time are not sufficiently incorporated into existing models. This study develops an integrated stochastic financial model, building on the established NPV–Monte Carlo–bargaining framework in the literature, that determines the optimum concession period for highway projects to be tendered via the BOT model in Türkiye. In the proposed model, uncertain parameters (construction cost, inflation, loan interest rate, traffic volume, toll increase rate, operation and maintenance costs) are defined with probability distributions; the Net Present Value (NPV) based financial model is solved via Monte Carlo simulation; and the obtained concession range is narrowed using a Rubinstein-type alternating-offers bargaining-game framework. The model simultaneously integrates parameters that prior studies addressed only in isolation: the equity–debt structure, loan repayment conditions, the government’s traffic volume guarantee, expropriation costs, and legal limits specific to Türkiye. The proposed model was validated by applying it to the Ankara–Niğde Highway Project, which was tendered in 2017. The results indicate that the concession range calculated by the model (11 years, 9 months, 2 days–24 years, 4 months) is consistent with the actual bids in the tender process. Following the application of bargaining-game theory, the range was narrowed to between 13 years, 4 months, and 16 days and 13 years and 5 months; this interval represents the concession range that best balances the profitability of both parties. This study provides a multidimensional evaluation framework for decision-makers by presenting comprehensive profitability analyses under different scenarios (including/excluding guaranteed traffic volumes and the project being fully constructed by the state). Full article

Large-scale renewable energy bases increasingly employ automatic voltage control (AVC) to coordinate heterogeneous reactive-power resources. The resulting voltage regulation process inherently involves sampling, communication delay, and nonlinear device characteristics, which may induce nontraditional voltage oscillations and stability degradation that cannot be adequately captured by conventional continuous-time or small-signal analysis. This paper proposes a discrete-time nonlinear voltage stability analysis framework for renewable energy bases with multi-reactive-power-resource coupling under AVC-based coordinated control. The voltage regulation dynamics are formulated as a discrete-time nonlinear closed-loop system by incorporating sampled AVC actions, delayed voltage feedback, and nonlinear voltage–reactive-power coupling. An incremental system representation is constructed, and a strong-contraction-based stability criterion is derived using sector-bounded nonlinearity descriptions and linear matrix inequalities, providing a sufficient condition for global voltage convergence without local linearization. Extensive numerical studies are conducted on a representative renewable energy base with parallel and series coupling topologies. A total of 2916 randomized configurations are evaluated. The proposed criterion achieves consistency rates exceeding 96% for the parallel topology and 99% for the series topology when compared with time-domain simulations, while the probability of dangerous misjudgment remains below 1%. Scenario-based simulations further demonstrate that coupling topology plays a critical role in shaping voltage stability behaviors, and state-space analysis further supports the observed stability behaviors. These results indicate that nonlinear strong contraction offers an effective and practical stability notion for AVC-based voltage regulation in renewable energy bases. Full article

Background/Objectives: Body Protection Compound-157 (BPC 157) is a stable gastric pentadecapeptide with cytoprotective, pro-angiogenic, and nitric oxide (NO)-modulating properties that has gained increasing attention for its therapeutic potential. Although vasodilatory effects have been demonstrated in animal models, functional evidence in human arterial tissue remains limited. This study investigated the effects of BPC 157 on vascular tone in human internal mammary artery (IMA) rings and evaluated the contribution of endothelial NO signaling. Methods: Residual IMA segments obtained from elective coronary artery bypass graft surgeries (n = 12) were dissected into endothelium-intact and endothelium-denuded rings. Following equilibration, the rings were challenged by phenylephrine (PheE; 3 × 10⁻⁶ M) to induce contraction. Cumulative concentration–response curves of BPC 157 (0.01–1 mg/mL) for five consecutive doses were constructed. The involvement of NO was assessed by BPC 157 dose–response curves in the nitric oxide synthase (NOS) inhibitor Nω-nitro-L-arginine methyl ester (L-NAME; 10⁻⁶ M) pre-incubated rings. Maximum force of contraction, area under the curve, maximum response (Emax), and negative logarithm of the half-maximal effective concentration (pEC50) values were analyzed. Results: BPC 157 produced a concentration-dependent reduction in PheE-induced contraction in both groups, with significantly greater relaxation in endothelium-intact rings (p < 0.05). L-NAME increased contractile responsiveness in intact rings and attenuated BPC 157-induced relaxation. Under NOS inhibition, differences between groups progressively diminished and concentration–response curves converged at higher concentrations. Emax analysis demonstrated that endothelial integrity markedly enhanced maximal vasorelaxation, whereas this advantage was largely abolished after NOS inhibition. Conclusions: BPC 157 induces concentration-dependent vasorelaxation in human arterial tissue, predominantly mediated via an endothelium-dependent NO pathway. Endothelial integrity primarily enhances maximal efficacy, while residual effects indicate additional mechanisms. These findings provide early mechanistic evidence for the vascular activity of BPC 157, although further molecular and in vivo studies are required to clarify its clinical relevance. Full article

This study focuses on the argument that greenwashing behavior (GWB) among key stakeholders leads to the degradation of governance networks in large-scale construction projects. Grounded in opportunism theory, a cross-scale computational model is developed by integrating a four-party evolutionary game with differential dynamics to capture the co-evolution of stakeholder strategies and network states. The results indicate that GWB exhibits free-riding and herd-like characteristics, and that governance networks possess a degradation equilibrium. Sensitivity analysis based on 50,000 Monte Carlo simulations shows that the frequency of GWB by subcontractors has the greatest impact on network degradation (sensitivity range: 0 to −0.98), followed by general contractors (0 to −0.38), while the influence of supervisory roles is relatively weaker. In contrast, contractual penalties demonstrate limited effectiveness (sensitivity range: −0.08 to 0.06), whereas reputational loss exerts a stronger inhibitory effect (up to −0.5 during the mid-stage evolution). These findings suggest that contract-based governance alone is insufficient to constrain GWB, thereby challenging the conventional assumption of its effectiveness. The results highlight the necessity of shifting from contract-centric governance toward reputation-based and market-oriented mechanisms to effectively mitigate GWB and enhance the resilience of green construction governance. Full article

Mussel foot proteins (Mfps) are renowned for their underwater adhesion, whereas their biotechnological potential for cutaneous wound repair remains largely underexplored. In this study, we identified and characterized a cysteine-rich mussel foot protein, Mfp6-1, from Mytilus coruscus and investigated its therapeutic potential for wound healing. Sequence analysis showed that Mfp6-1 is enriched in cysteine (11.0%) and tyrosine (~16.5%). We successfully expressed recombinant Mfp6-1 (rMfp6-1) in E. coli. Structural prediction based on the mature peptide sequence suggested that rMfp6-1 adopts a relatively compact fold containing several short β-structural elements. In vitro assays demonstrated that rMfp6-1 possesses antioxidant activity in the 2,2-diphenyl-1-picrylhydrazyl (DPPH) assay, and alkylation experiments suggested that cysteine residues contribute importantly to this activity. Dithio-bis-nitrobenzoic acid (DTNB)-based thiol quantification further demonstrated that rMfp6-1 contained abundant accessible free sulfhydryl groups, supporting an important contribution of cysteine-derived thiols to its antioxidant activity. Experiments on a full-thickness mouse wound model showed that rMfp6-1 treatment resulted in significantly faster wound contraction. Morphological analysis further revealed that rMfp6-1 optimizes the healing microenvironment by promoting collagen accumulation and re-epithelialization. Additionally, the treatment was found to trigger vascular endothelial growth factor (VEGF)-mediated angiogenesis, thereby improving the overall quality of the regenerated tissue. Furthermore, rMfp6-1 treatment significantly reduced interleukin-6 (IL-6) expression, suggesting that its antioxidant capacity creates a permissive microenvironment for tissue regeneration by suppressing excessive inflammation. These findings indicate that recombinant rMfp6-1 is a promising bioactive candidate for wound-healing applications. Full article