In this work,the computational complexity of a spin-glass three-dimensional(3D)Ising model(for the lattice sizeN=lmn,wherel,m,n are thenumbersof lattice points along three crystallographic directions)is studied.We pro...In this work,the computational complexity of a spin-glass three-dimensional(3D)Ising model(for the lattice sizeN=lmn,wherel,m,n are thenumbersof lattice points along three crystallographic directions)is studied.We prove that an absolute minimum core(AMC)model consisting of a spin-glass 2D Ising model interacting with its nearest neighboring plane,has its computational complexity O(2mn).Any algorithms to make the model smaller(or simpler)than the AMC model will cut the basic element of the spin-glass 3D Ising model and lost many important information of the original model.Therefore,the computational complexity of the spin-glass 3D Ising model cannot be reduced to be less than O(2mn)by any algorithms,which is in subexponential time,superpolynomial.展开更多
The prediction of intrinsically disordered proteins is a hot research area in bio-information.Due to the high cost of experimental methods to evaluate disordered regions of protein sequences,it is becoming increasingl...The prediction of intrinsically disordered proteins is a hot research area in bio-information.Due to the high cost of experimental methods to evaluate disordered regions of protein sequences,it is becoming increasingly important to predict those regions through computational methods.In this paper,we developed a novel scheme by employing sequence complexity to calculate six features for each residue of a protein sequence,which includes the Shannon entropy,the topological entropy,the sample entropy and three amino acid preferences including Remark 465,Deleage/Roux,and Bfactor(2STD).Particularly,we introduced the sample entropy for calculating time series complexity by mapping the amino acid sequence to a time series of 0-9.To our knowledge,the sample entropy has not been previously used for predicting IDPs and hence is being used for the first time in our study.In addition,the scheme used a properly sized sliding window in every protein sequence which greatly improved the prediction performance.Finally,we used seven machine learning algorithms and tested with 10-fold cross-validation to get the results on the dataset R80 collected by Yang et al.and of the dataset DIS1556 from the Database of Protein Disorder(DisProt)(https://www.disprot.org)containing experimentally determined intrinsically disordered proteins(IDPs).The results showed that k-Nearest Neighbor was more appropriate and an overall prediction accuracy of 92%.Furthermore,our method just used six features and hence required lower computational complexity.展开更多
The property of NP_completeness of topologic spatial reasoning problem has been proved.According to the similarity of uncertainty with topologic spatial reasoning,the problem of directional spatial reasoning should be...The property of NP_completeness of topologic spatial reasoning problem has been proved.According to the similarity of uncertainty with topologic spatial reasoning,the problem of directional spatial reasoning should be also an NP_complete problem.The proof for the property of NP_completeness in directional spatial reasoning problem is based on two important transformations.After these transformations,a spatial configuration has been constructed based on directional constraints,and the property of NP_completeness in directional spatial reasoning has been proved with the help of the consistency of the constraints in the configuration.展开更多
In this paper, we define two versions of Untrapped set (weak and strong Untrapped sets) over a finite set of alternatives. These versions, considered as choice procedures, extend the notion of Untrapped set in a more ...In this paper, we define two versions of Untrapped set (weak and strong Untrapped sets) over a finite set of alternatives. These versions, considered as choice procedures, extend the notion of Untrapped set in a more general case (i.e. when alternatives are not necessarily comparable). We show that they all coincide with Top cycle choice procedure for tournaments. In case of weak tournaments, the strong Untrapped set is equivalent to Getcha choice procedure and the Weak Untrapped set is exactly the Untrapped set studied in the litterature. We also present a polynomial-time algorithm for computing each set.展开更多
Nowadays, an increasing number of persons choose to outsource their computing demands and storage demands to the Cloud. In order to ensure the integrity of the data in the untrusted Cloud, especially the dynamic files...Nowadays, an increasing number of persons choose to outsource their computing demands and storage demands to the Cloud. In order to ensure the integrity of the data in the untrusted Cloud, especially the dynamic files which can be updated online, we propose an improved dynamic provable data possession model. We use some homomorphic tags to verify the integrity of the file and use some hash values generated by some secret values and tags to prevent replay attack and forgery attack. Compared with previous works, our proposal reduces the computational and communication complexity from O(logn) to O(1). We did some experiments to ensure this improvement and extended the model to file sharing situation.展开更多
The purpose of this review is to explore the intersection of computational engineering and biomedical science,highlighting the transformative potential this convergence holds for innovation in healthcare and medical r...The purpose of this review is to explore the intersection of computational engineering and biomedical science,highlighting the transformative potential this convergence holds for innovation in healthcare and medical research.The review covers key topics such as computational modelling,bioinformatics,machine learning in medical diagnostics,and the integration of wearable technology for real-time health monitoring.Major findings indicate that computational models have significantly enhanced the understanding of complex biological systems,while machine learning algorithms have improved the accuracy of disease prediction and diagnosis.The synergy between bioinformatics and computational techniques has led to breakthroughs in personalized medicine,enabling more precise treatment strategies.Additionally,the integration of wearable devices with advanced computational methods has opened new avenues for continuous health monitoring and early disease detection.The review emphasizes the need for interdisciplinary collaboration to further advance this field.Future research should focus on developing more robust and scalable computational models,enhancing data integration techniques,and addressing ethical considerations related to data privacy and security.By fostering innovation at the intersection of these disciplines,the potential to revolutionize healthcare delivery and outcomes becomes increasingly attainable.展开更多
Image-maps,a hybrid design with satellite images as background and map symbols uploaded,aim to combine the advantages of maps’high interpretation efficiency and satellite images’realism.The usability of image-maps i...Image-maps,a hybrid design with satellite images as background and map symbols uploaded,aim to combine the advantages of maps’high interpretation efficiency and satellite images’realism.The usability of image-maps is influenced by the representations of background images and map symbols.Many researchers explored the optimizations for background images and symbolization techniques for symbols to reduce the complexity of image-maps and improve the usability.However,little literature was found for the optimum amount of symbol loading.This study focuses on the effects of background image complexity and map symbol load on the usability(i.e.,effectiveness and efficiency)of image-maps.Experiments were conducted by user studies via eye-tracking equipment and an online questionnaire survey.Experimental data sets included image-maps with ten levels of map symbol load in ten areas.Forty volunteers took part in the target searching experiments.It has been found that the usability,i.e.,average time viewed(efficiency)and average revisits(effectiveness)of targets recorded,is influenced by the complexity of background images,a peak exists for optimum symbol load for an image-map.The optimum levels for symbol load for different image-maps also have a peak when the complexity of the background image/image map increases.The complexity of background images serves as a guideline for optimum map symbol load in image-map design.This study enhanced user experience by optimizing visual clarity and managing cognitive load.Understanding how these factors interact can help create adaptive maps that maintain clarity and usability,guiding AI algorithms to adjust symbol density based on user context.This research establishes the practices for map design,making cartographic tools more innovative and more user-centric.展开更多
Soil microbial communities are key factors in maintaining ecosystem multifunctionality(EMF).However,the distribution patterns of bacterial diversity and how the different bacterial taxa and their diversity dimensions ...Soil microbial communities are key factors in maintaining ecosystem multifunctionality(EMF).However,the distribution patterns of bacterial diversity and how the different bacterial taxa and their diversity dimensions affect EMF remain largely unknown.Here,we investigated variation in three measures of diversity(alpha diversity,community composition and network complexity)among rare,intermediate,and abundant taxa across a latitudinal gradient spanning five forest plots in Yunnan Province,China and examined their contributions on EMF.We aimed to characterize the diversity distributions of bacterial groups across latitudes and to assess the differences in the mechanisms underlying their contributions to EMF.We found that multifaceted diversity(i.e.,diversity assessed by the three different metrics)of rare,intermediate,and abundant bacteria generally decreased with increasing latitude.More importantly,we found that rare bacterial taxa tended to be more diverse,but they contributed less to EMF than intermediate or abundant bacteria.Among the three dimensions of diversity we assessed,only community composition significantly affected EMF across all locations,while alpha diversity had a negative effect,and network complexity showed no significant impact.Our study further emphasizes the importance of intermediate and abundant bacterial taxa as well as community composition to EMF and provides a theoretical basis for investigating the mechanisms by which belowground microorganisms drive EMF along a latitudinal gradient.展开更多
Viral infectious diseases,characterized by their intricate nature and wide-ranging diversity,pose substantial challenges in the domain of data management.The vast volume of data generated by these diseases,spanning fr...Viral infectious diseases,characterized by their intricate nature and wide-ranging diversity,pose substantial challenges in the domain of data management.The vast volume of data generated by these diseases,spanning from the molecular mechanisms within cells to large-scale epidemiological patterns,has surpassed the capabilities of traditional analytical methods.In the era of artificial intelligence(AI)and big data,there is an urgent necessity for the optimization of these analytical methods to more effectively handle and utilize the information.Despite the rapid accumulation of data associated with viral infections,the lack of a comprehensive framework for integrating,selecting,and analyzing these datasets has left numerous researchers uncertain about which data to select,how to access it,and how to utilize it most effectively in their research.This review endeavors to fill these gaps by exploring the multifaceted nature of viral infectious diseases and summarizing relevant data across multiple levels,from the molecular details of pathogens to broad epidemiological trends.The scope extends from the micro-scale to the macro-scale,encompassing pathogens,hosts,and vectors.In addition to data summarization,this review thoroughly investigates various dataset sources.It also traces the historical evolution of data collection in the field of viral infectious diseases,highlighting the progress achieved over time.Simultaneously,it evaluates the current limitations that impede data utilization.Furthermore,we propose strategies to surmount these challenges,focusing on the development and application of advanced computational techniques,AI-driven models,and enhanced data integration practices.By providing a comprehensive synthesis of existing knowledge,this review is designed to guide future research and contribute to more informed approaches in the surveillance,prevention,and control of viral infectious diseases,particularly within the context of the expanding big-data landscape.展开更多
1 Summary Mathematical modeling has become a cornerstone in understanding the complex dynamics of infectious diseases and chronic health conditions.With the advent of more refined computational techniques,researchers ...1 Summary Mathematical modeling has become a cornerstone in understanding the complex dynamics of infectious diseases and chronic health conditions.With the advent of more refined computational techniques,researchers are now able to incorporate intricate features such as delays,stochastic effects,fractional dynamics,variable-order systems,and uncertainty into epidemic models.These advancements not only improve predictive accuracy but also enable deeper insights into disease transmission,control,and policy-making.Tashfeen et al.展开更多
The Literary Lab at Stanford University is one of the birthplaces of digital humanities and has maintained significant influence in this field over the years.Professor Hui Haifeng has been engaged in research on digit...The Literary Lab at Stanford University is one of the birthplaces of digital humanities and has maintained significant influence in this field over the years.Professor Hui Haifeng has been engaged in research on digital humanities and computational criticism in recent years.During his visiting scholarship at Stanford University,he participated in the activities of the Literary Lab.Taking this opportunity,he interviewed Professor Mark Algee-Hewitt,the director of the Literary Lab,discussing important topics such as the current state and reception of DH(digital humanities)in the English Department,the operations of the Literary Lab,and the landscape of computational criticism.Mark Algee-Hewitt's research focuses on the eighteenth and early nineteenth centuries in England and Germany and seeks to combine literary criticism with digital and quantitative analyses of literary texts.In particular,he is interested in the history of aesthetic theory and the development and transmission of aesthetic and philosophical concepts during the Enlightenment and Romantic periods.He is also interested in the relationship between aesthetic theory and the poetry of the long eighteenth century.Although his primary background is English literature,he also has a degree in computer science.He believes that the influence of digital humanities within the humanities disciplines is growing increasingly significant.This impact is evident in both the attraction and assistance it offers to students,as well as in the new interpretations it brings to traditional literary studies.He argues that the key to effectively integrating digital humanities into the English Department is to focus on literary research questions,exploring how digital tools can raise new questions or provide new insights into traditional research.展开更多
We present a proof of the Strominger-Yau-Zaslow (SYZ) conjecture by demonstrating that mirror symmetry fundamentally represents an equivalence of computational structures between Calabi-Yau manifolds. Through developm...We present a proof of the Strominger-Yau-Zaslow (SYZ) conjecture by demonstrating that mirror symmetry fundamentally represents an equivalence of computational structures between Calabi-Yau manifolds. Through development of a rigorous quantum complexity operator formalism, we show that mirror pairs must have equivalent complexity spectra and that the SYZ fibration naturally preserves these computational invariants while implementing the required geometric transformations. Our proof proceeds by first establishing a precise mathematical framework connecting quantum complexity with geometric structures, then demonstrating that the special Lagrangian torus fibration preserves computational complexity at both local and global levels, and finally proving that this preservation necessarily implies the geometric correspondences required by the SYZ conjecture. This approach not only resolves the conjecture but reveals deeper insights about the relationship between computation and geometry in string theory. We introduce new complexity-based invariants for studying mirror symmetry and demonstrate how our framework extends naturally to related geometric structures.展开更多
The suprachiasmatic nucleus in the hypothalamus is the master circadian clock in mammals,coordinating physiological processes with the 24-hour day–night cycle.Comprising various cell types,the suprachiasmatic nucleus...The suprachiasmatic nucleus in the hypothalamus is the master circadian clock in mammals,coordinating physiological processes with the 24-hour day–night cycle.Comprising various cell types,the suprachiasmatic nucleus(SCN)integrates environmental signals to maintain complex and robust circadian rhythms.Understanding the complexity and synchrony within SCN neurons is essential for effective circadian clock function.Synchrony involves coordinated neuronal firing for robust rhythms,while complexity reflects diverse activity patterns and interactions,indicating adaptability.Interestingly,the SCN retains circadian rhythms in vitro,demonstrating intrinsic rhythmicity.This study introduces the multiscale structural complexity method to analyze changes in SCN neuronal activity and complexity at macro and micro levels,based on Bagrov et al.’s approach.By examining structural complexity and local complexities across scales,we aim to understand how tetrodotoxin,a neurotoxin that inhibits action potentials,affects SCN neurons.Our method captures critical scales in neuronal interactions that traditional methods may overlook.Validation with the Goodwin model confirms the reliability of our observations.By integrating experimental data with theoretical models,this study provides new insights into the effects of tetrodotoxin(TTX)on neuronal complexities,contributing to the understanding of circadian rhythms.展开更多
The construction projects’ dynamic and interconnected nature requires a comprehensive understanding of complexity during pre-construction. Traditional tools such as Gantt charts, CPM, and PERT often overlook uncertai...The construction projects’ dynamic and interconnected nature requires a comprehensive understanding of complexity during pre-construction. Traditional tools such as Gantt charts, CPM, and PERT often overlook uncertainties. This study identifies 20 complexity factors through expert interviews and literature, categorising them into six groups. The Analytical Hierarchy Process evaluated the significance of different factors, establishing their corresponding weights to enhance adaptive project scheduling. A system dynamics (SD) model is developed and tested to evaluate the dynamic behaviour of identified complexity factors. The model simulates the impact of complexity on total project duration (TPD), revealing significant deviations from initial deterministic estimates. Data collection and analysis for reliability tests, including normality and Cronbach alpha, to validate the model’s components and expert feedback. Sensitivity analysis confirmed a positive relationship between complexity and project duration, with higher complexity levels resulting in increased TPD. This relationship highlights the inadequacy of static planning approaches and underscores the importance of addressing complexity dynamically. The study provides a framework for enhancing planning systems through system dynamics and recommends expanding the model to ensure broader applicability in diverse construction projects.展开更多
MgATP is a stable complex formed by the chelation of Mg^(2+)with deprotonated adenosine-5'-triphosphate(ATP).In the cellular environment,MgATP plays a critical role in ATP hydrolysis,releasing substantial energy t...MgATP is a stable complex formed by the chelation of Mg^(2+)with deprotonated adenosine-5'-triphosphate(ATP).In the cellular environment,MgATP plays a critical role in ATP hydrolysis,releasing substantial energy to support essential biological functions.To understand the structure and stabilization mechanism of MgATP,we conducted a joint negative ion photoelectron spectroscopic and computational study of the[ATP^(4-)·Mg^(2+)]^(2-)complex dianion,using[ATP^(4-)·2H^(+)]^(2-)as a reference.The experimentally determined adiabatic and vertical detachment energies(ADE and VDE)of[ATP^(4-)·Mg^(2+)]^(2-)at 20 K are 3.51±0.05 eV and 3.82±0.05 eV,respectively.The major spectral features of[ATP^(4-)·Mg^(2+)]^(2-)are attributed to two theoretically identified isomers with unfolded geometries,which are stabilized primarily by electrostatic interactions between Mg^(2+)and the triphosphate and ribose groups,with four deprotonated oxygens forming a pseudo-tetrahedral coordination.In contrast,[ATP^(4-)·2H^(+)]^(2-)exhibits a fundamentally different stabilization mechanism.Although most of the fifteen identified[ATP^(4-)·2H^(+)]^(2-)isomers also adopt unfolded geometries,they are primarily stabilized by intramolecular hydrogen bonds within the triphosphate group and between triphosphate and ribose groups.The interaction between ATP^(4-)and two protons is found to be much weaker than that with Mg^(2+),and[ATP^(4-)·2H^(+)]^(2-)exhibits substantial structural flexibility compared to[ATP^(4-)·Mg^(2+)]^(2-)due to the conformational constraint of the triphosphate chain by Mg^(2+).Thirteen[ATP^(4-)·2H^(+)]^(2-)isomers with unfolded geometries likely account for the major high-EBE(electron-binding-energy)spectral features.Notably,for the first time,a low EBE and temperature-dependent spectral feature is observed and attributed to two folded isomers of[ATP^(4-)·2H^(+)]^(2-),which exist at 20 K but disappear at room temperature.This study provides valuable molecular-level insights into cellular MgATP that resides within the hydrophobic pockets of proteins.展开更多
As an essential element of intelligent trans-port systems,Internet of vehicles(IoV)has brought an immersive user experience recently.Meanwhile,the emergence of mobile edge computing(MEC)has enhanced the computational ...As an essential element of intelligent trans-port systems,Internet of vehicles(IoV)has brought an immersive user experience recently.Meanwhile,the emergence of mobile edge computing(MEC)has enhanced the computational capability of the vehicle which reduces task processing latency and power con-sumption effectively and meets the quality of service requirements of vehicle users.However,there are still some problems in the MEC-assisted IoV system such as poor connectivity and high cost.Unmanned aerial vehicles(UAVs)equipped with MEC servers have become a promising approach for providing com-munication and computing services to mobile vehi-cles.Hence,in this article,an optimal framework for the UAV-assisted MEC system for IoV to minimize the average system cost is presented.Through joint consideration of computational offloading decisions and computational resource allocation,the optimiza-tion problem of our proposed architecture is presented to reduce system energy consumption and delay.For purpose of tackling this issue,the original non-convex issue is converted into a convex issue and the alternat-ing direction method of multipliers-based distributed optimal scheme is developed.The simulation results illustrate that the presented scheme can enhance the system performance dramatically with regard to other schemes,and the convergence of the proposed scheme is also significant.展开更多
To fundamentally alleviate the excavation chamber clogging during slurry tunnel boring machine(TBM)advancing in hard rock,large-diameter short screw conveyor was adopted to slurry TBM of Qingdao Jiaozhou Bay Second Un...To fundamentally alleviate the excavation chamber clogging during slurry tunnel boring machine(TBM)advancing in hard rock,large-diameter short screw conveyor was adopted to slurry TBM of Qingdao Jiaozhou Bay Second Undersea Tunnel.To evaluate the discharging performance of short screw conveyor in different cases,the full-scale transient slurry-rock two-phase model for a short screw conveyor actively discharging rocks was established using computational fluid dynamics-discrete element method(CFD-DEM)coupling approach.In the fluid domain of coupling model,the sliding mesh technology was utilized to describe the rotations of the atmospheric composite cutterhead and the short screw conveyor.In the particle domain of coupling model,the dynamic particle factories were established to produce rock particles with the rotation of the cutterhead.And the accuracy and reliability of the CFD-DEM simulation results were validated via the field test and model test.Furthermore,a comprehensive parameter analysis was conducted to examine the effects of TBM operating parameters,the geometric design of screw conveyor and the size of rocks on the discharging performance of short screw conveyor.Accordingly,a reasonable rotational speed of screw conveyor was suggested and applied to Jiaozhou Bay Second Undersea Tunnel project.The findings in this paper could provide valuable references for addressing the excavation chamber clogging during ultra-large-diameter slurry TBM tunneling in hard rock for similar future.展开更多
This study first demonstrates the potential of organic photoabsorbing blends in overcoming a critical limitation of metal oxide photoanodes in tandem modules:insufficient photogenerated current.Various organic blends,...This study first demonstrates the potential of organic photoabsorbing blends in overcoming a critical limitation of metal oxide photoanodes in tandem modules:insufficient photogenerated current.Various organic blends,including PTB7-Th:FOIC,PTB7-Th:O6T-4F,PM6:Y6,and PM6:FM,were systematically tested.When coupled with electron transport layer(ETL)contacts,these blends exhibit exceptional charge separation and extraction,with PM6:Y6 achieving saturation photocurrents up to 16.8 mA cm^(-2) at 1.23 VRHE(oxygen evolution thermodynamic potential).For the first time,a tandem structure utilizing organic photoanodes has been computationally designed and fabricated and the implementation of a double PM6:Y6 photoanode/photovoltaic structure resulted in photogenerated currents exceeding 7mA cm^(-2) at 0 VRHE(hydrogen evolution thermodynamic potential)and anodic current onset potentials as low as-0.5 VRHE.The herein-presented organic-based approach paves the way for further exploration of different blend combinations to target specific oxidative reactions by selecting precise donor/acceptor candidates among the multiple existing ones.展开更多
Adolescent idiopathic scoliosis(AIS)is a dynamic progression during growth,which requires long-term collaborations and efforts from clinicians,patients and their families.It would be beneficial to have a precise inter...Adolescent idiopathic scoliosis(AIS)is a dynamic progression during growth,which requires long-term collaborations and efforts from clinicians,patients and their families.It would be beneficial to have a precise intervention based on cross-scale understandings of the etiology,real-time sensing and actuating to enable early detection,screening and personalized treatment.We argue that merging computational intelligence and wearable technologies can bridge the gap between the current trajectory of the techniques applied to AIS and this vision.Wearable technologies such as inertial measurement units(IMUs)and surface electromyography(sEMG)have shown great potential in monitoring spinal curvature and muscle activity in real-time.For instance,IMUs can track the kinematics of the spine during daily activities,while sEMG can detect asymmetric muscle activation patterns that may contribute to scoliosis progression.Computational intelligence,particularly deep learning algorithms,can process these multi-modal data streams to identify early signs of scoliosis and adapt treatment strategies dynamically.By using their combination,we can find potential solutions for a better understanding of the disease,a more effective and intelligent way for treatment and rehabilitation.展开更多
Biotechnological strategies for plastic depolymerization and recycling have emerged as transformative approaches to combat the global plastic pollution crisis,aligning with the principles of a sustainable and circular...Biotechnological strategies for plastic depolymerization and recycling have emerged as transformative approaches to combat the global plastic pollution crisis,aligning with the principles of a sustainable and circular economy.Despite advances in engineering PET hydrolases,the degradation process is frequently compromised by product inhibition and the heterogeneity of final products,thereby obstructing subsequent PET recondensation and impeding the synthesis of high-value derivatives.In this work,we utilized previously devised computational strategies to redesign a thermostable DuraMHETase,achieving an apparent melting temperature of 72℃ in complex with MHET and a 6-fold higher in total turnover number(TTN)toward MHET than the wild-type enzyme at 60℃.The fused enzyme system composed of DuraMHETase and TurboPETase demonstrated higher efficiency than other PET hydrolases and the separated dual enzyme systems.Furthermore,we identified both exo-and endo-PETase activities in DuraMHETase,whereas the endo-activity was previously unobserved at ambient temperatures.These results expand the functional scope of MHETase beyond mere intermediate hydrolysis,and may provide guidance for the development of more synergistic approaches to plastic biodepolymerization and recycling.展开更多
基金This work has been supported by the National Natural Science Foundation of China under grant numbers 51590883 and 51331006by the State Key Project of Research and Development of China(No.2017YFA0206302).
文摘In this work,the computational complexity of a spin-glass three-dimensional(3D)Ising model(for the lattice sizeN=lmn,wherel,m,n are thenumbersof lattice points along three crystallographic directions)is studied.We prove that an absolute minimum core(AMC)model consisting of a spin-glass 2D Ising model interacting with its nearest neighboring plane,has its computational complexity O(2mn).Any algorithms to make the model smaller(or simpler)than the AMC model will cut the basic element of the spin-glass 3D Ising model and lost many important information of the original model.Therefore,the computational complexity of the spin-glass 3D Ising model cannot be reduced to be less than O(2mn)by any algorithms,which is in subexponential time,superpolynomial.
文摘The prediction of intrinsically disordered proteins is a hot research area in bio-information.Due to the high cost of experimental methods to evaluate disordered regions of protein sequences,it is becoming increasingly important to predict those regions through computational methods.In this paper,we developed a novel scheme by employing sequence complexity to calculate six features for each residue of a protein sequence,which includes the Shannon entropy,the topological entropy,the sample entropy and three amino acid preferences including Remark 465,Deleage/Roux,and Bfactor(2STD).Particularly,we introduced the sample entropy for calculating time series complexity by mapping the amino acid sequence to a time series of 0-9.To our knowledge,the sample entropy has not been previously used for predicting IDPs and hence is being used for the first time in our study.In addition,the scheme used a properly sized sliding window in every protein sequence which greatly improved the prediction performance.Finally,we used seven machine learning algorithms and tested with 10-fold cross-validation to get the results on the dataset R80 collected by Yang et al.and of the dataset DIS1556 from the Database of Protein Disorder(DisProt)(https://www.disprot.org)containing experimentally determined intrinsically disordered proteins(IDPs).The results showed that k-Nearest Neighbor was more appropriate and an overall prediction accuracy of 92%.Furthermore,our method just used six features and hence required lower computational complexity.
文摘The property of NP_completeness of topologic spatial reasoning problem has been proved.According to the similarity of uncertainty with topologic spatial reasoning,the problem of directional spatial reasoning should be also an NP_complete problem.The proof for the property of NP_completeness in directional spatial reasoning problem is based on two important transformations.After these transformations,a spatial configuration has been constructed based on directional constraints,and the property of NP_completeness in directional spatial reasoning has been proved with the help of the consistency of the constraints in the configuration.
文摘In this paper, we define two versions of Untrapped set (weak and strong Untrapped sets) over a finite set of alternatives. These versions, considered as choice procedures, extend the notion of Untrapped set in a more general case (i.e. when alternatives are not necessarily comparable). We show that they all coincide with Top cycle choice procedure for tournaments. In case of weak tournaments, the strong Untrapped set is equivalent to Getcha choice procedure and the Weak Untrapped set is exactly the Untrapped set studied in the litterature. We also present a polynomial-time algorithm for computing each set.
基金supported by Major Program of Shanghai Science and Technology Commission under Grant No.10DZ1500200Collaborative Applied Research and Development Project between Morgan Stanley and Shanghai Jiao Tong University, China
文摘Nowadays, an increasing number of persons choose to outsource their computing demands and storage demands to the Cloud. In order to ensure the integrity of the data in the untrusted Cloud, especially the dynamic files which can be updated online, we propose an improved dynamic provable data possession model. We use some homomorphic tags to verify the integrity of the file and use some hash values generated by some secret values and tags to prevent replay attack and forgery attack. Compared with previous works, our proposal reduces the computational and communication complexity from O(logn) to O(1). We did some experiments to ensure this improvement and extended the model to file sharing situation.
文摘The purpose of this review is to explore the intersection of computational engineering and biomedical science,highlighting the transformative potential this convergence holds for innovation in healthcare and medical research.The review covers key topics such as computational modelling,bioinformatics,machine learning in medical diagnostics,and the integration of wearable technology for real-time health monitoring.Major findings indicate that computational models have significantly enhanced the understanding of complex biological systems,while machine learning algorithms have improved the accuracy of disease prediction and diagnosis.The synergy between bioinformatics and computational techniques has led to breakthroughs in personalized medicine,enabling more precise treatment strategies.Additionally,the integration of wearable devices with advanced computational methods has opened new avenues for continuous health monitoring and early disease detection.The review emphasizes the need for interdisciplinary collaboration to further advance this field.Future research should focus on developing more robust and scalable computational models,enhancing data integration techniques,and addressing ethical considerations related to data privacy and security.By fostering innovation at the intersection of these disciplines,the potential to revolutionize healthcare delivery and outcomes becomes increasingly attainable.
基金National Natural Science Foundation of China(No.42301518)Hubei Key Laboratory of Regional Development and Environmental Response(No.2023(A)002)Key Laboratory of the Evaluation and Monitoring of Southwest Land Resources(Ministry of Education)(No.TDSYS202304).
文摘Image-maps,a hybrid design with satellite images as background and map symbols uploaded,aim to combine the advantages of maps’high interpretation efficiency and satellite images’realism.The usability of image-maps is influenced by the representations of background images and map symbols.Many researchers explored the optimizations for background images and symbolization techniques for symbols to reduce the complexity of image-maps and improve the usability.However,little literature was found for the optimum amount of symbol loading.This study focuses on the effects of background image complexity and map symbol load on the usability(i.e.,effectiveness and efficiency)of image-maps.Experiments were conducted by user studies via eye-tracking equipment and an online questionnaire survey.Experimental data sets included image-maps with ten levels of map symbol load in ten areas.Forty volunteers took part in the target searching experiments.It has been found that the usability,i.e.,average time viewed(efficiency)and average revisits(effectiveness)of targets recorded,is influenced by the complexity of background images,a peak exists for optimum symbol load for an image-map.The optimum levels for symbol load for different image-maps also have a peak when the complexity of the background image/image map increases.The complexity of background images serves as a guideline for optimum map symbol load in image-map design.This study enhanced user experience by optimizing visual clarity and managing cognitive load.Understanding how these factors interact can help create adaptive maps that maintain clarity and usability,guiding AI algorithms to adjust symbol density based on user context.This research establishes the practices for map design,making cartographic tools more innovative and more user-centric.
基金supported by the Fundamental Research Funds of Chinese Academy of Forestry(Nos.CAFYBB2022SY037,CAFYBB2021ZA002 and CAFYBB2022QC002)the Basic Research Foundation of Yunnan Province(Grant No.202201AT070264).
文摘Soil microbial communities are key factors in maintaining ecosystem multifunctionality(EMF).However,the distribution patterns of bacterial diversity and how the different bacterial taxa and their diversity dimensions affect EMF remain largely unknown.Here,we investigated variation in three measures of diversity(alpha diversity,community composition and network complexity)among rare,intermediate,and abundant taxa across a latitudinal gradient spanning five forest plots in Yunnan Province,China and examined their contributions on EMF.We aimed to characterize the diversity distributions of bacterial groups across latitudes and to assess the differences in the mechanisms underlying their contributions to EMF.We found that multifaceted diversity(i.e.,diversity assessed by the three different metrics)of rare,intermediate,and abundant bacteria generally decreased with increasing latitude.More importantly,we found that rare bacterial taxa tended to be more diverse,but they contributed less to EMF than intermediate or abundant bacteria.Among the three dimensions of diversity we assessed,only community composition significantly affected EMF across all locations,while alpha diversity had a negative effect,and network complexity showed no significant impact.Our study further emphasizes the importance of intermediate and abundant bacterial taxa as well as community composition to EMF and provides a theoretical basis for investigating the mechanisms by which belowground microorganisms drive EMF along a latitudinal gradient.
基金supported by the National Natural Science Foundation of China(32370703)the CAMS Innovation Fund for Medical Sciences(CIFMS)(2022-I2M-1-021,2021-I2M-1-061)the Major Project of Guangzhou National Labora-tory(GZNL2024A01015).
文摘Viral infectious diseases,characterized by their intricate nature and wide-ranging diversity,pose substantial challenges in the domain of data management.The vast volume of data generated by these diseases,spanning from the molecular mechanisms within cells to large-scale epidemiological patterns,has surpassed the capabilities of traditional analytical methods.In the era of artificial intelligence(AI)and big data,there is an urgent necessity for the optimization of these analytical methods to more effectively handle and utilize the information.Despite the rapid accumulation of data associated with viral infections,the lack of a comprehensive framework for integrating,selecting,and analyzing these datasets has left numerous researchers uncertain about which data to select,how to access it,and how to utilize it most effectively in their research.This review endeavors to fill these gaps by exploring the multifaceted nature of viral infectious diseases and summarizing relevant data across multiple levels,from the molecular details of pathogens to broad epidemiological trends.The scope extends from the micro-scale to the macro-scale,encompassing pathogens,hosts,and vectors.In addition to data summarization,this review thoroughly investigates various dataset sources.It also traces the historical evolution of data collection in the field of viral infectious diseases,highlighting the progress achieved over time.Simultaneously,it evaluates the current limitations that impede data utilization.Furthermore,we propose strategies to surmount these challenges,focusing on the development and application of advanced computational techniques,AI-driven models,and enhanced data integration practices.By providing a comprehensive synthesis of existing knowledge,this review is designed to guide future research and contribute to more informed approaches in the surveillance,prevention,and control of viral infectious diseases,particularly within the context of the expanding big-data landscape.
文摘1 Summary Mathematical modeling has become a cornerstone in understanding the complex dynamics of infectious diseases and chronic health conditions.With the advent of more refined computational techniques,researchers are now able to incorporate intricate features such as delays,stochastic effects,fractional dynamics,variable-order systems,and uncertainty into epidemic models.These advancements not only improve predictive accuracy but also enable deeper insights into disease transmission,control,and policy-making.Tashfeen et al.
文摘The Literary Lab at Stanford University is one of the birthplaces of digital humanities and has maintained significant influence in this field over the years.Professor Hui Haifeng has been engaged in research on digital humanities and computational criticism in recent years.During his visiting scholarship at Stanford University,he participated in the activities of the Literary Lab.Taking this opportunity,he interviewed Professor Mark Algee-Hewitt,the director of the Literary Lab,discussing important topics such as the current state and reception of DH(digital humanities)in the English Department,the operations of the Literary Lab,and the landscape of computational criticism.Mark Algee-Hewitt's research focuses on the eighteenth and early nineteenth centuries in England and Germany and seeks to combine literary criticism with digital and quantitative analyses of literary texts.In particular,he is interested in the history of aesthetic theory and the development and transmission of aesthetic and philosophical concepts during the Enlightenment and Romantic periods.He is also interested in the relationship between aesthetic theory and the poetry of the long eighteenth century.Although his primary background is English literature,he also has a degree in computer science.He believes that the influence of digital humanities within the humanities disciplines is growing increasingly significant.This impact is evident in both the attraction and assistance it offers to students,as well as in the new interpretations it brings to traditional literary studies.He argues that the key to effectively integrating digital humanities into the English Department is to focus on literary research questions,exploring how digital tools can raise new questions or provide new insights into traditional research.
文摘We present a proof of the Strominger-Yau-Zaslow (SYZ) conjecture by demonstrating that mirror symmetry fundamentally represents an equivalence of computational structures between Calabi-Yau manifolds. Through development of a rigorous quantum complexity operator formalism, we show that mirror pairs must have equivalent complexity spectra and that the SYZ fibration naturally preserves these computational invariants while implementing the required geometric transformations. Our proof proceeds by first establishing a precise mathematical framework connecting quantum complexity with geometric structures, then demonstrating that the special Lagrangian torus fibration preserves computational complexity at both local and global levels, and finally proving that this preservation necessarily implies the geometric correspondences required by the SYZ conjecture. This approach not only resolves the conjecture but reveals deeper insights about the relationship between computation and geometry in string theory. We introduce new complexity-based invariants for studying mirror symmetry and demonstrate how our framework extends naturally to related geometric structures.
基金Project supported by the National Natural Science Foundation of China(Grant Nos.12275179,11875042,and 12150410309)the Natural Science Foundation of Shanghai(Grant No.21ZR1443900).
文摘The suprachiasmatic nucleus in the hypothalamus is the master circadian clock in mammals,coordinating physiological processes with the 24-hour day–night cycle.Comprising various cell types,the suprachiasmatic nucleus(SCN)integrates environmental signals to maintain complex and robust circadian rhythms.Understanding the complexity and synchrony within SCN neurons is essential for effective circadian clock function.Synchrony involves coordinated neuronal firing for robust rhythms,while complexity reflects diverse activity patterns and interactions,indicating adaptability.Interestingly,the SCN retains circadian rhythms in vitro,demonstrating intrinsic rhythmicity.This study introduces the multiscale structural complexity method to analyze changes in SCN neuronal activity and complexity at macro and micro levels,based on Bagrov et al.’s approach.By examining structural complexity and local complexities across scales,we aim to understand how tetrodotoxin,a neurotoxin that inhibits action potentials,affects SCN neurons.Our method captures critical scales in neuronal interactions that traditional methods may overlook.Validation with the Goodwin model confirms the reliability of our observations.By integrating experimental data with theoretical models,this study provides new insights into the effects of tetrodotoxin(TTX)on neuronal complexities,contributing to the understanding of circadian rhythms.
文摘The construction projects’ dynamic and interconnected nature requires a comprehensive understanding of complexity during pre-construction. Traditional tools such as Gantt charts, CPM, and PERT often overlook uncertainties. This study identifies 20 complexity factors through expert interviews and literature, categorising them into six groups. The Analytical Hierarchy Process evaluated the significance of different factors, establishing their corresponding weights to enhance adaptive project scheduling. A system dynamics (SD) model is developed and tested to evaluate the dynamic behaviour of identified complexity factors. The model simulates the impact of complexity on total project duration (TPD), revealing significant deviations from initial deterministic estimates. Data collection and analysis for reliability tests, including normality and Cronbach alpha, to validate the model’s components and expert feedback. Sensitivity analysis confirmed a positive relationship between complexity and project duration, with higher complexity levels resulting in increased TPD. This relationship highlights the inadequacy of static planning approaches and underscores the importance of addressing complexity dynamically. The study provides a framework for enhancing planning systems through system dynamics and recommends expanding the model to ensure broader applicability in diverse construction projects.
基金was supported by the U.S.Department of Energy(DOE),Office of Science,Office of Basic Energy Sciences,Division of Chemical Sciences,Geosciences,and Biosciences,Condensed Phase and Interfacial Molecular Science program,FWP 16248.
文摘MgATP is a stable complex formed by the chelation of Mg^(2+)with deprotonated adenosine-5'-triphosphate(ATP).In the cellular environment,MgATP plays a critical role in ATP hydrolysis,releasing substantial energy to support essential biological functions.To understand the structure and stabilization mechanism of MgATP,we conducted a joint negative ion photoelectron spectroscopic and computational study of the[ATP^(4-)·Mg^(2+)]^(2-)complex dianion,using[ATP^(4-)·2H^(+)]^(2-)as a reference.The experimentally determined adiabatic and vertical detachment energies(ADE and VDE)of[ATP^(4-)·Mg^(2+)]^(2-)at 20 K are 3.51±0.05 eV and 3.82±0.05 eV,respectively.The major spectral features of[ATP^(4-)·Mg^(2+)]^(2-)are attributed to two theoretically identified isomers with unfolded geometries,which are stabilized primarily by electrostatic interactions between Mg^(2+)and the triphosphate and ribose groups,with four deprotonated oxygens forming a pseudo-tetrahedral coordination.In contrast,[ATP^(4-)·2H^(+)]^(2-)exhibits a fundamentally different stabilization mechanism.Although most of the fifteen identified[ATP^(4-)·2H^(+)]^(2-)isomers also adopt unfolded geometries,they are primarily stabilized by intramolecular hydrogen bonds within the triphosphate group and between triphosphate and ribose groups.The interaction between ATP^(4-)and two protons is found to be much weaker than that with Mg^(2+),and[ATP^(4-)·2H^(+)]^(2-)exhibits substantial structural flexibility compared to[ATP^(4-)·Mg^(2+)]^(2-)due to the conformational constraint of the triphosphate chain by Mg^(2+).Thirteen[ATP^(4-)·2H^(+)]^(2-)isomers with unfolded geometries likely account for the major high-EBE(electron-binding-energy)spectral features.Notably,for the first time,a low EBE and temperature-dependent spectral feature is observed and attributed to two folded isomers of[ATP^(4-)·2H^(+)]^(2-),which exist at 20 K but disappear at room temperature.This study provides valuable molecular-level insights into cellular MgATP that resides within the hydrophobic pockets of proteins.
基金in part by the National Natural Science Foundation of China(NSFC)under Grant 62371012in part by the Beijing Natural Science Foundation under Grant 4252001.
文摘As an essential element of intelligent trans-port systems,Internet of vehicles(IoV)has brought an immersive user experience recently.Meanwhile,the emergence of mobile edge computing(MEC)has enhanced the computational capability of the vehicle which reduces task processing latency and power con-sumption effectively and meets the quality of service requirements of vehicle users.However,there are still some problems in the MEC-assisted IoV system such as poor connectivity and high cost.Unmanned aerial vehicles(UAVs)equipped with MEC servers have become a promising approach for providing com-munication and computing services to mobile vehi-cles.Hence,in this article,an optimal framework for the UAV-assisted MEC system for IoV to minimize the average system cost is presented.Through joint consideration of computational offloading decisions and computational resource allocation,the optimiza-tion problem of our proposed architecture is presented to reduce system energy consumption and delay.For purpose of tackling this issue,the original non-convex issue is converted into a convex issue and the alternat-ing direction method of multipliers-based distributed optimal scheme is developed.The simulation results illustrate that the presented scheme can enhance the system performance dramatically with regard to other schemes,and the convergence of the proposed scheme is also significant.
基金supported by the Fundamental Research Funds for the Central Universities(Grant No.2023YJS053)the National Natural Science Foundation of China(Grant No.52278386).
文摘To fundamentally alleviate the excavation chamber clogging during slurry tunnel boring machine(TBM)advancing in hard rock,large-diameter short screw conveyor was adopted to slurry TBM of Qingdao Jiaozhou Bay Second Undersea Tunnel.To evaluate the discharging performance of short screw conveyor in different cases,the full-scale transient slurry-rock two-phase model for a short screw conveyor actively discharging rocks was established using computational fluid dynamics-discrete element method(CFD-DEM)coupling approach.In the fluid domain of coupling model,the sliding mesh technology was utilized to describe the rotations of the atmospheric composite cutterhead and the short screw conveyor.In the particle domain of coupling model,the dynamic particle factories were established to produce rock particles with the rotation of the cutterhead.And the accuracy and reliability of the CFD-DEM simulation results were validated via the field test and model test.Furthermore,a comprehensive parameter analysis was conducted to examine the effects of TBM operating parameters,the geometric design of screw conveyor and the size of rocks on the discharging performance of short screw conveyor.Accordingly,a reasonable rotational speed of screw conveyor was suggested and applied to Jiaozhou Bay Second Undersea Tunnel project.The findings in this paper could provide valuable references for addressing the excavation chamber clogging during ultra-large-diameter slurry TBM tunneling in hard rock for similar future.
基金partly funded by a BIST Ignite Programme grant from the Barcelona Institute of Science and Technology(Code:MOLOPEC)financial support from LICROX and SOREC2 EUFunded projects(Codes:951843 and 101084326)+7 种基金the BIST Program,and Severo Ochoa Programpartially funded by CEX2019-000910-S(MCIN/AEI/10.13039/501100011033 and PID2020-112650RBI00),Fundació Cellex,Fundació Mir-PuigGeneralitat de Catalunya through CERCAfunding from the European Union’s Horizon Europe research and innovation programme under the Marie Skłodowska-Curie grant agreement No 101081441financial support by the Agencia Estatal de Investigación(grant PRE2018-084881)the financial support by from the European Union’s Horizon Europe research and innovation programme under the Marie Skłodowska-Curie grant agreement No 101081441support from the MCIN/AEI JdC-F Fellowship(FJC2020-043223-I)the Severo Ochoa Excellence Postdoctoral Fellowship(CEX2019-000910-S).
文摘This study first demonstrates the potential of organic photoabsorbing blends in overcoming a critical limitation of metal oxide photoanodes in tandem modules:insufficient photogenerated current.Various organic blends,including PTB7-Th:FOIC,PTB7-Th:O6T-4F,PM6:Y6,and PM6:FM,were systematically tested.When coupled with electron transport layer(ETL)contacts,these blends exhibit exceptional charge separation and extraction,with PM6:Y6 achieving saturation photocurrents up to 16.8 mA cm^(-2) at 1.23 VRHE(oxygen evolution thermodynamic potential).For the first time,a tandem structure utilizing organic photoanodes has been computationally designed and fabricated and the implementation of a double PM6:Y6 photoanode/photovoltaic structure resulted in photogenerated currents exceeding 7mA cm^(-2) at 0 VRHE(hydrogen evolution thermodynamic potential)and anodic current onset potentials as low as-0.5 VRHE.The herein-presented organic-based approach paves the way for further exploration of different blend combinations to target specific oxidative reactions by selecting precise donor/acceptor candidates among the multiple existing ones.
基金by National Natural Science Foundation of China(No.62306083)the Postdoctoral Science Foundation of Heilongjiang Province of China(LBH-Z22175)the Ministry of Industry and Information Technology。
文摘Adolescent idiopathic scoliosis(AIS)is a dynamic progression during growth,which requires long-term collaborations and efforts from clinicians,patients and their families.It would be beneficial to have a precise intervention based on cross-scale understandings of the etiology,real-time sensing and actuating to enable early detection,screening and personalized treatment.We argue that merging computational intelligence and wearable technologies can bridge the gap between the current trajectory of the techniques applied to AIS and this vision.Wearable technologies such as inertial measurement units(IMUs)and surface electromyography(sEMG)have shown great potential in monitoring spinal curvature and muscle activity in real-time.For instance,IMUs can track the kinematics of the spine during daily activities,while sEMG can detect asymmetric muscle activation patterns that may contribute to scoliosis progression.Computational intelligence,particularly deep learning algorithms,can process these multi-modal data streams to identify early signs of scoliosis and adapt treatment strategies dynamically.By using their combination,we can find potential solutions for a better understanding of the disease,a more effective and intelligent way for treatment and rehabilitation.
文摘Biotechnological strategies for plastic depolymerization and recycling have emerged as transformative approaches to combat the global plastic pollution crisis,aligning with the principles of a sustainable and circular economy.Despite advances in engineering PET hydrolases,the degradation process is frequently compromised by product inhibition and the heterogeneity of final products,thereby obstructing subsequent PET recondensation and impeding the synthesis of high-value derivatives.In this work,we utilized previously devised computational strategies to redesign a thermostable DuraMHETase,achieving an apparent melting temperature of 72℃ in complex with MHET and a 6-fold higher in total turnover number(TTN)toward MHET than the wild-type enzyme at 60℃.The fused enzyme system composed of DuraMHETase and TurboPETase demonstrated higher efficiency than other PET hydrolases and the separated dual enzyme systems.Furthermore,we identified both exo-and endo-PETase activities in DuraMHETase,whereas the endo-activity was previously unobserved at ambient temperatures.These results expand the functional scope of MHETase beyond mere intermediate hydrolysis,and may provide guidance for the development of more synergistic approaches to plastic biodepolymerization and recycling.
