Modeling and Analysis of Bifurcation in a Delayed Worm Propagation Model

A delayed worm propagation model with birth and death rates is formulated. The stability of the positive equilibrium is studied. Through theoretical analysis, a critical value τ0 of Hopf bifurcation is derived. The worm propagation system is locally asymptotically stable when time delay is less than τ0. However, Hopf bifurcation appears when time delay τ passes the threshold τ0, which means that the worm propagation system is unstable and out of control. Consequently, time delay should be adjusted to be less than τ0 to ensure the stability of the system stable and better prediction of the scale and speed of Internet worm spreading. Finally, numerical and simulation experiments are presented to simulate the system, which fully support our analysis

ReAct: Synergizing Reasoning and Acting in Language Models

While large language models (LLMs) have demonstrated impressive capabilities across tasks in language understanding and interactive decision making, their abilities for reasoning (e.g. chain-of-thought prompting) and acting (e.g. action plan generation) have primarily been studied as separate topics. In this paper, we explore the use of LLMs to generate both reasoning traces and task-specific actions in an interleaved manner, allowing for greater synergy between the two: reasoning traces help the model induce, track, and update action plans as well as handle exceptions, while actions allow it to interface with external sources, such as knowledge bases or environments, to gather additional information. We apply our approach, named ReAct, to a diverse set of language and decision making tasks and demonstrate its effectiveness over state-of-the-art baselines, as well as improved human interpretability and trustworthiness over methods without reasoning or acting components. Concretely, on question answering (HotpotQA) and fact verification (Fever), ReAct overcomes issues of hallucination and error propagation prevalent in chain-of-thought reasoning by interacting with a simple Wikipedia API, and generates human-like task-solving trajectories that are more interpretable than baselines without reasoning traces. On two interactive decision making benchmarks (ALFWorld and WebShop), ReAct outperforms imitation and reinforcement learning methods by an absolute success rate of 34% and 10% respectively, while being prompted with only one or two in-context examples

Data Cubes in Hand: A Design Space of Tangible Cubes for Visualizing 3D Spatio-Temporal Data in Mixed Reality

Tangible interfaces in mixed reality (MR) environments allow for intuitive data interactions. Tangible cubes, with their rich interaction affordances, high maneuverability, and stable structure, are particularly well-suited for exploring multi-dimensional data types. However, the design potential of these cubes is underexplored. This study introduces a design space for tangible cubes in MR, focusing on interaction space, visualization space, sizes, and multiplicity. Using spatio-temporal data, we explored the interaction affordances of these cubes in a workshop (N=24). We identified unique interactions like rotating, tapping, and stacking, which are linked to augmented reality (AR) visualization commands. Integrating user-identified interactions, we created a design space for tangible-cube interactions and visualization. A prototype visualizing global health spending with small cubes was developed and evaluated, supporting both individual and combined cube manipulation. This research enhances our grasp of tangible interaction in MR, offering insights for future design and application in diverse data contexts

Critical chain construction with multi-resource constraints based on portfolio technology in South-to-North Water Diversion Project

AbstractRecently, the critical chain study has become a hot issue in the project management research field. The construction of the critical chain with multi-resource constraints is a new research subject. According to the system analysis theory and project portfolio theory, this paper discusses the creation of project portfolios based on the similarity principle and gives the definition of priority in multi-resource allocation based on quantitative analysis. A model with multi-resource constraints, which can be applied to the critical chain construction of the A-bid section in the South-to-North Water Diversion Project, was proposed. Contrast analysis with the comprehensive treatment construction method and aggressive treatment construction method was carried out. This paper also makes suggestions for further research directions and subjects, which will be useful in improving the theories in relevant research fields

The Arabidopsis Malectin-Like/LRR-RLK IOS1 is Critical for BAK1-Dependent and BAK1-Independent Pattern-Triggered Immunity

Plasma membrane-localized pattern recognition receptors (PRRs) such as FLAGELLIN SENSING2 (FLS2), EF-TU RECEPTOR (EFR) and CHITIN ELICITOR RECEPTOR KINASE 1 (CERK1) recognize microbe-associated molecular patterns (MAMPs) to activate pattern-triggered immunity (PTI). A reverse genetics approach on genes responsive to the priming agent beta-aminobutyric acid (BABA) revealed IMPAIRED OOMYCETE SUSCEPTIBILITY1 (IOS1) as a critical PTI player. Arabidopsis thaliana ios1 mutants were hyper-susceptible to Pseudomonas syringae bacteria. Accordingly, ios1 mutants showed defective PTI responses, notably delayed up-regulation of the PTI-marker gene FLG22-INDUCED RECEPTOR-LIKE KINASE1 (FRK1), reduced callose deposition and mitogen-activated protein kinase activation upon MAMP treatment. Moreover, Arabidopsis lines over-expressing IOS1 were more resistant to bacteria and showed a primed PTI response. In vitro pull-down, bimolecular fluorescence complementation, co-immunoprecipitation, and mass spectrometry analyses supported the existence of complexes between the membrane-localized IOS1 and BRASSINOSTEROID INSENSITIVE1-ASSOCIATED KINASE1 (BAK1)-dependent PRRs FLS2 and EFR, as well as with the BAK1-independent PRR CERK1. IOS1 also associated with BAK1 in a ligand-independent manner, and positively regulated FLS2-BAK1 complex formation upon MAMP treatment. In addition, IOS1 was critical for chitin-mediated PTI. Finally, ios1 mutants were defective in BABA-induced resistance and priming. This work reveals IOS1 as a novel regulatory protein of FLS2-, EFR- and CERK1-mediated signaling pathways that primes PTI activation