Methods and approaches are discussed that identify and filter off affecting factors (noise) above primary signals,based on the Adaptive-Nework-Based Fuzzy Inference System. Influences of the zonal winds in equatorial ...Methods and approaches are discussed that identify and filter off affecting factors (noise) above primary signals,based on the Adaptive-Nework-Based Fuzzy Inference System. Influences of the zonal winds in equatorial eastern and middle/western Pacific on the SSTA in the equatorial region and their contribution to the latter are diagnosed and verified with observations of a number of significant El Nio and La Nia episodes. New viewpoints are propsed. The methods of wavelet decomposition and reconstruction are used to build a predictive model based on independent domains of frequency,which shows some advantages in composite prediction and prediction validity.The methods presented above are of non-linearity, error-allowing and auto-adaptive/learning, in addition to rapid and easy access,illustrative and quantitative presentation,and analyzed results that agree generally with facts. They are useful in diagnosing and predicting the El Nio and La Nia problems that are just roughly described in dynamics.展开更多
Electrical resistivity tomography (ERT) has been used to experimentally detect shallow buried faults in urban areas in the past a few years, with some progress and experience obtained. According to the results from Ol...Electrical resistivity tomography (ERT) has been used to experimentally detect shallow buried faults in urban areas in the past a few years, with some progress and experience obtained. According to the results from Olympic Park, Beijing, Shandong Province, Gansu Province and Shanxi Province, we have generalized the method and procedure for inferring the discontinuity of electrical structures (DES) indicating a buried fault in urban areas from resistivity tomograms and its typical electrical features. In general, the layered feature of the electrical structure is first analyzed to preliminarily define whether or not a DES exists in the target area. Resistivity contours in resistivity tomograms are then analyzed from the deep to the shallow. If they extend upward from the deep to the shallow and shape into an integral dislocation, sharp flexure (convergence) or gradient zone, it is inferred that the DES exists, indicating a buried fault. Finally, horizontal tracing is be carried out to define the trend of the DES. The DES can be divided into three types-type AB, ABA and AC. In the present paper, the Zhangdian-Renhe fault system in Zibo city is used as an example to illustrate how to use the method to infer the location and spatial extension of a target fault. Geologic drilling holes are placed based on our research results, and the drilling logs testify that our results are correct. However, the method of this paper is not exclusive and inflexible. It is expected to provide reference and assistance for inferring the shallow buried faults in urban areas from resistivity tomograms in the future.展开更多
The research purpose is invention (construction) of a formal logical inference of the Law of Conservation of Energy within a logically formalized axiomatic epistemology-and-axiology theory Sigma from a precisely defin...The research purpose is invention (construction) of a formal logical inference of the Law of Conservation of Energy within a logically formalized axiomatic epistemology-and-axiology theory Sigma from a precisely defined assumption of a-priori-ness of knowledge. For realizing this aim, the following work has been done: 1) a two-valued algebraic system of formal axiology has been defined precisely and applied to proper-philosophy of physics, namely, to an almost unknown (not-recognized) formal-axiological aspect of the physical law of conservation of energy;2) the formal axiomatic epistemology-and-axiology theory Sigma has been defined precisely and applied to proper-physics for realizing the above-indicated purpose. Thus, a discrete mathematical model of relationship between philosophy of physics and universal epistemology united with formal axiology has been constructed. Results: 1) By accurate computing relevant compositions of evaluation-functions within the discrete mathematical model, it is demonstrated that a formal-axiological analog of the great conservation law of proper physics is a formal-axiological law of two-valued algebra of metaphysics. (A precise algorithmic definition of the unhabitual (not-well-known) notion “formal-axiological law of algebra of metaphysics” is given.) 2) The hitherto never published significantly new nontrivial scientific result of investigation presented in this article is a formal logical inference of the law of conservation of energy within the formal axiomatic theory Sigma from conjunction of the formal-axiological analog of the law of conservation of energy and the assumption of a-priori-ness of knowledge.展开更多
The global Internet is a complex network of interconnected autonomous systems(ASes).Understanding Internet inter-domain path information is crucial for understanding,managing,and improving the Internet.The path inform...The global Internet is a complex network of interconnected autonomous systems(ASes).Understanding Internet inter-domain path information is crucial for understanding,managing,and improving the Internet.The path information can also help protect user privacy and security.However,due to the complicated and heterogeneous structure of the Internet,path information is not publicly available.Obtaining path information is challenging due to the limited measurement probes and collectors.Therefore,inferring Internet inter-domain paths from the limited data is a supplementary approach to measure Internet inter-domain paths.The purpose of this survey is to provide an overview of techniques that have been conducted to infer Internet inter-domain paths from 2005 to 2023 and present the main lessons from these studies.To this end,we summarize the inter-domain path inference techniques based on the granularity of the paths,for each method,we describe the data sources,the key ideas,the advantages,and the limitations.To help readers understand the path inference techniques,we also summarize the background techniques for path inference,such as techniques to measure the Internet,infer AS relationships,resolve aliases,and map IP addresses to ASes.A case study of the existing techniques is also presented to show the real-world applications of inter-domain path inference.Additionally,we discuss the challenges and opportunities in inferring Internet inter-domain paths,the drawbacks of the state-of-the-art techniques,and the future directions.展开更多
Human Immunodeficiency Virus (HIV) dynamics in Africa are purely characterised by sparse sampling of DNA sequences for individuals who are infected. There are some sub-groups that are more at risk than the general pop...Human Immunodeficiency Virus (HIV) dynamics in Africa are purely characterised by sparse sampling of DNA sequences for individuals who are infected. There are some sub-groups that are more at risk than the general population. These sub-groups have higher infectivity rates. We came up with a likelihood inference model of multi-type birth-death process that can be used to make inference for HIV epidemic in an African setting. We employ a likelihood inference that incorporates a probability of removal from infectious pool in the model. We have simulated trees and made parameter inference on the simulated trees as well as investigating whether the model distinguishes between heterogeneous and homogeneous dynamics. The model makes fairly good parameter inference. It distinguishes between heterogeneous and homogeneous dynamics well. Parameter estimation was also performed under sparse sampling scenario. We investigated whether trees obtained from a structured population are more balanced than those from a non-structured host population using tree statistics that measure tree balance and imbalance. Trees from non-structured population were more balanced basing on Colless and Sackin indices.展开更多
Mobile phones are becoming a primary platform for information access. A major aspect of ubiquitous computing is context-aware applications which collect information about the environment that the user is in and use th...Mobile phones are becoming a primary platform for information access. A major aspect of ubiquitous computing is context-aware applications which collect information about the environment that the user is in and use this information to provide better service and improve user experience. Location awareness makes certain applications possible, e.g., recommending nearby businesses and tracking estimated routes. An Android application is able to collect useful Wi-Fi information without registering a location listener with a network-based provider. We passively collected the data of the IDs of Wi-Fi access points and the received signal strengths. We developed and implemented an algorithm to analyse the data;and designed heuristics to infer the location of the device over time—all without ever connecting to the network thus maximally preserving the privacy of the user.展开更多
Deciding the penalty of a law case has always been a complex process, which may involve with much coordination. Despite the judicial study based on the rules and conditions, artificial intelligence and machine learnin...Deciding the penalty of a law case has always been a complex process, which may involve with much coordination. Despite the judicial study based on the rules and conditions, artificial intelligence and machine learning has rarely been used to study the problem of penalty inferring, leaving the large amount of law cases as well as various factors among them untouched. This paper aims to incorporate the state-of-the-art artificial intelligence methods to exploit to what extent this problem can be alleviated. We first analyze 145 000 law cases and observe that there are two sorts of labels, temporal labels and spatial labels, which have unique characteristics. Temporal labels and spatial labels tend to converge towards the final penalty, on condition that the cases are of the same category. In light of this, we propose a latent-class probabilistic generative model, namely Penalty Topic Model （PTM）, to infer the topic of law cases, and the temporal and spatial patterns of topics embedded in the case judgment. Then, the learnt knowledge is utilized to automatically cluster all cases accordingly in a unified way. We conduct extensive experiments to evaluate the performance of the proposed PTM on a real large-scale dataset of law cases. The experimental results show the superiority of our proposed PTM.展开更多
Remote sensing plays a pivotal role in forest inventory by enabling efficient large-scale monitoring while minimizing fieldwork costs.However,missing values pose a critical challenge in remote sensing applications,as ...Remote sensing plays a pivotal role in forest inventory by enabling efficient large-scale monitoring while minimizing fieldwork costs.However,missing values pose a critical challenge in remote sensing applications,as ignoring or mishandling such data gaps can introduce systematic bias into the estimation of target variables for natural resource monitoring.This can lead to cascading errors that propagate through forest and ecosystem management decisions,ultimately hindering progress toward sustainable forest management,biodiversity conservation,and climate change mitigation strategies.This study aims to propose and demonstrate a procedure that employs hybrid estimators to address the limitations of missing remotely sensed data in forest inventory,using Landsat 7 ETM+SLC-off data as an archived source for forest resource monitoring as a case in point.We compared forest inventory estimates from the hybrid estimator with those from a conventional model-based(CMB)estimator using Sentinel-2 data without missing values.Monte Carlo simulations revealed three key findings:(1)The hybrid estimator,leveraging missing-data remote sensing represented by Landsat 7 ETM+SLCoff data,achieved a sampling precision of over 90%,meeting China's national standard for the National Forest Inventory(NFI);(2)The hybrid estimator demonstrated comparable efficiency to the CMB estimator;(3)The uncertainty associated with hybrid estimators was primarily dominated by model parameter estimation,which could be effectively mitigated by slightly increasing the training sample size or refining model specification.Overall,in forest inventory,the hybrid estimator can surmount the limitations posed by missing values in remotely sensed auxiliary data,effectively balancing cost-effectiveness and flexibility.展开更多
AIM:To clarify the clinical correlations and causal relationships between lipid metabolism and the progression of thyroid-associated ophthalmopathy(TAO).METHODS:This case-control study retrieved clinical data from 201...AIM:To clarify the clinical correlations and causal relationships between lipid metabolism and the progression of thyroid-associated ophthalmopathy(TAO).METHODS:This case-control study retrieved clinical data from 2018 to 2023.A total of 2591 patients were enrolled,including 197 patients with TAO(case group)and 2394 patients with hyperthyroidism without TAO(control group).Serum lipid parameters,including triglycerides,total cholesterol,high-density lipoprotein(HDL),low-density lipoprotein(LDL),and the HDL/total cholesterol ratio,as well as thyroid function markers,were compared between the two groups.Correlation analyses were performed to evaluate the associations between serum lipid levels and key ocular manifestations of TAO,including exophthalmos degree,clinical activity score,and disease severity.Furthermore,Mendelian randomization(MR)analysis was conducted using genome-wide association study(GWAS)datasets,with hyperthyroidism as the exposure variable and serum lipid parameters as the outcome variables,to infer the causal relationship between hyperthyroidism,lipid metabolism,and TAO progression.RESULTS:The TAO group consisted of 101 males and 96 females,while the hyperthyroidism group included 706 males and 1688 females.Compared with the control group,patients with TAO had significantly higher levels of triglycerides(1.83±1.21 vs 1.40±1.08 mmol/L,P<0.01),total cholesterol,LDL,and HDL.Correlation analysis showed that triglyceride levels were positively correlated with exophthalmos degree,whereas HDL levels were inversely correlated with exophthalmos degree.No significant associations were found between serum lipid levels and clinical activity score(P>0.1).MR analysis confirmed that hyperthyroidism exerted a causal effect in reducing serum triglycerides[inverse-variance weighting odds ratio(OR)=0.035,95%confidence interval(CI):0.01-0.12]and total cholesterol(OR=0.085,95%CI:0.02-0.34),with no evidence of horizontal pleiotropy(MR-PRESSO P>0.05).CONCLUSION:Elevated serum triglyceride levels are an independent risk factor for TAO severity,especially exophthalmos,and triglyceride metabolism is inversely regulated by thyroid function.展开更多
Transformer models face significant computational challenges in private inference(PI).Existing optimization methods often rely on isolated techniques,neglecting joint structural and operational improvements.We propose...Transformer models face significant computational challenges in private inference(PI).Existing optimization methods often rely on isolated techniques,neglecting joint structural and operational improvements.We propose IG-3D,a unified framework that integrates structured compression and operator approximation through accurate importance assessment.Our approach first evaluates attention head importance using Integrated Gradients(IG),offering greater stability and theoretical soundness than gradient-based methods.We then apply a threedimensional optimization:(1)structurally pruning redundant attention heads;(2)replacing Softmax with adaptive polynomial approximation to avoid exponential computations;(3)implementing layer-wise GELU substitution to accommodate different layer characteristics.A joint thresholdmechanism coordinates compression across dimensions under accuracy constraints.Experimental results on the GLUE benchmark show that our method achieves an average 2.9×speedup in inference latency and a 50%reduction in communication cost,while controlling the accuracy loss within 2.3%,demonstrating significant synergistic effects and a superior accuracy-efficiency trade-off compared to single-technique optimization strategies.展开更多
Objective Previous studies link lower body mass index(BMI)with increased obsessive-compulsive disorder(OCD)risk,yet other body mass indicators may be more etioloically relevant.We dissected the causal association betw...Objective Previous studies link lower body mass index(BMI)with increased obsessive-compulsive disorder(OCD)risk,yet other body mass indicators may be more etioloically relevant.We dissected the causal association between body fat mass(FM)and OCD.Methods Summary statistics from genome-wide association studies of European ancestry were utilized to conduct two-sample Mendelian randomization analysis.Heterogeneity,horizontal pleiotropy,and sensitivity analyses were performed to assess the robustness.Results The inverse variance weighting method demonstrated that a genetically predicted decrease in FM was causally associated with an increased OCD risk[odds ratio(OR)=0.680,95%confidence interval(CI):0.528–0.875,P=0.003].Similar estimates were obtained using the weighted median approach(OR=0.633,95%CI:0.438–0.915,P=0.015).Each standard deviation increases in genetically predicted body fat percentage corresponded to a reduced OCD risk(OR=0.638,95%CI:0.455–0.896,P=0.009).The sensitivity analysis confirmed the robustness of these findings with no outlier instrument variables identified.Conclusion The negative causal association between FM and the risk of OCD suggests that the prevention or treatment of mental disorders should include not only the control of BMI but also fat distribution and body composition.展开更多
Mental-health risk detection seeks early signs of distress from social media posts and clinical transcripts to enable timely intervention before crises.When such risks go undetected,consequences can escalate to self-h...Mental-health risk detection seeks early signs of distress from social media posts and clinical transcripts to enable timely intervention before crises.When such risks go undetected,consequences can escalate to self-harm,long-term disability,reduced productivity,and significant societal and economic burden.Despite recent advances,detecting risk from online text remains challenging due to heterogeneous language,evolving semantics,and the sequential emergence of new datasets.Effective solutions must encode clinically meaningful cues,reason about causal relations,and adapt to new domains without forgetting prior knowledge.To address these challenges,this paper presents a Continual Neuro-Symbolic Graph Learning(CNSGL)framework that unifies symbolic reasoning,causal inference,and continual learning within a single architecture.Each post is represented as a symbolic graph linking clinically relevant tags to textual content,enriched with causal edges derived from directional Point-wise Mutual Information(PMI).A two-layer Graph Convolutional Network(GCN)encodes these graphs,and a Transformer-based attention pooler aggregates node embeddings while providing interpretable tag-level importances.Continual adaptation across datasets is achieved through the Multi-Head Freeze(MH-Freeze)strategy,which freezes a shared encoder and incrementally trains lightweight task-specific heads(small classifiers attached to the shared embedding).Experimental evaluations across six diverse mental-health datasets ranging from Reddit discourse to clinical interviews,demonstrate that MH-Freeze consistently outperforms existing continual-learning baselines in both discriminative accuracy and calibration reliability.Across six datasets,MH-Freeze achieves up to 0.925 accuracy and 0.923 F1-Score,with AUPRC≥0.934 and AUROC≥0.942,consistently surpassing all continual-learning baselines.The results confirm the framework’s ability to preserve prior knowledge,adapt to domain shifts,and maintain causal interpretability,establishing CNSGL as a promising step toward robust,explainable,and lifelong mental-health risk assessment.展开更多
Interferon-related genes are involved in antiviral responses,inflammation,and immunity,which are closely related to sepsis-associated acute respiratory distress syndrome(ARDS).We analyzed 1972 participants with genoty...Interferon-related genes are involved in antiviral responses,inflammation,and immunity,which are closely related to sepsis-associated acute respiratory distress syndrome(ARDS).We analyzed 1972 participants with genotype data and 681 participants with gene expression data from the Molecular Epidemiology of ARDS(MEARDS),the Molecular Epidemiology of Sepsis in the ICU(MESSI),and the Molecular Diagnosis and Risk Stratification of Sepsis(MARS)cohorts in a three-step study focusing on sepsis-associated ARDS and sepsis-only controls.First,we identified and validated interferon-related genes associated with sepsis-associated ARDS risk using genetically regulated gene expression(GReX).Second,we examined the association of the confirmed gene(interferon regulatory factor 1,IRF1)with ARDS risk and survival and conducted a mediation analysis.Through discovery and validation,we found that the GReX of IRF1 was associated with ARDS risk(odds ratio[OR_(MEARDS)]=0.84,P=0.008;OR_(MESSI)=0.83,P=0.034).Furthermore,individual-level measured IRF1 expression was associated with reduced ARDS risk(OR=0.58,P=8.67×10^(-4)),and improved overall survival in ARDS patients(hazard ratio[HR_(28-day)]=0.49,P=0.009)and sepsis patients(HR_(28-day)=0.76,P=0.008).Mediation analysis revealed that IRF1 may enhance immune function by regulating the major histocompatibility complex,including HLA-F,which mediated more than 70%of protective effects of IRF1 on ARDS.The findings were validated by in vitro biological experiments including time-series infection dynamics,overexpression,knockout,and chromatin immunoprecipitation sequencing.Early prophylactic interventions to activate IRF1 in sepsis patients,thereby regulating HLA-F,may reduce the risk of ARDS and mortality,especially in severely ill patients.展开更多
The detection of gravitational waves by the LIGO-Virgo-KAGRA collaboration has ushered in a new era of observational astronomy,emphasizing the need for rapid and detailed parameter estimation and population-level anal...The detection of gravitational waves by the LIGO-Virgo-KAGRA collaboration has ushered in a new era of observational astronomy,emphasizing the need for rapid and detailed parameter estimation and population-level analyses.Traditional Bayesian inference methods,particularly Markov chain Monte Carlo,face significant computational challenges when dealing with the high-dimensional parameter spaces and complex noise characteristics inherent in gravitational wave data.This review examines the emerging role of simulation-based inference methods in gravitational wave astronomy,with a focus on approaches that leverage machine-learning techniques such as normalizing flows and neural posterior estimation.We provide a comprehensive overview of the theoretical foundations underlying various simulation-based inference methods,including neural posterior estimation,neural ratio estimation,neural likelihood estimation,flow matching,and consistency models.We explore the applications of these methods across diverse gravitational wave data processing scenarios,from single-source parameter estimation and overlapping signal analysis to testing general relativity and conducting population studies.Although these techniques demonstrate speed improvements over traditional methods in controlled studies,their model-dependent nature and sensitivity to prior assumptions are barriers to their widespread adoption.Their accuracy,which is similar to that of conventional methods,requires further validation across broader parameter spaces and noise conditions.展开更多
Leveraging high-precision lattice QCD data on the equation of state and baryon number susceptibility at a vanishing chemical potential,we constructed a Bayesian holographic QCD model and systematically analyzed the th...Leveraging high-precision lattice QCD data on the equation of state and baryon number susceptibility at a vanishing chemical potential,we constructed a Bayesian holographic QCD model and systematically analyzed the thermodynamic properties of heavy quarkonium in QCD matter under varying temperatures and chemical potentials.We computed the quark-antiquark interquark distance,potential energy,entropy,binding energy,and internal energy.We present detailed posterior distribution results of the thermodynamic quantities of heavy quarkonium,including maximum a posteriori(MAP)value estimates and 95%confidence levels(CL).Through numerical simulations and theoretical analysis,we find that an increase in the temperature and chemical potential reduces the quark distance,thereby facilitating the dissociation of heavy quarkonium and leading to a suppressed potential energy.The increase in temperature and chemical potential also raises the entropy and entropy force,further accelerating the dissociation of heavy quarkonium.The calculated results of binding energy indicate that a higher temperature and chemical potential enhance the tendency of heavy quarkonium to dissociate into free quarks.The internal energy also increases with rising temperature and chemical potential.These findings provide significant theoretical insights into the properties of strongly interacting matter under extreme conditions and lay a solid foundation for the interpretation and validation of future experimental data.Finally,we also present the results for the free energy,entropy,and internal energy of a single quark.展开更多
In the words of the late Sir Colin Blakemore,neurologists have historically sought to infer brain functions in a manner akin to to king a hammer to a computeranalyzing localized anatomical lesions caused by trauma,tum...In the words of the late Sir Colin Blakemore,neurologists have historically sought to infer brain functions in a manner akin to to king a hammer to a computeranalyzing localized anatomical lesions caused by trauma,tumors,or strokes,noting deficits,and inferring what functions certain brain regions may be responsible for.This approach exemplifies a deletion heuristic,where the absence of a specific function reveals insights about the underlying structures or mechanisms responsible for it.By observing what is lost when a particular brain region is damaged,throughout the history of the field,neurologists have pieced together the intricate relationship between anatomy and function.展开更多
Given the growing number of vehicle accidents caused by unintended acceleration and braking failure,verifying Sudden Unintended Acceleration(SUA)incidents has become a persistent challenge.A central issue of debate is...Given the growing number of vehicle accidents caused by unintended acceleration and braking failure,verifying Sudden Unintended Acceleration(SUA)incidents has become a persistent challenge.A central issue of debate is whether such events stem frommechanical malfunctions or driver pedalmisapplications.However,existing verification procedures implemented by vehiclemanufacturers often involve closed tests after vehicle recalls;thus raising ongoing concerns about reliability and transparency.Consequently,there is a growing need for a user-driven framework that enables independent data acquisition and verification.Although previous studies have addressed SUA detection using deep learning,few have explored howclass granularity optimization affects power efficiency and inference performance in real-time Edge AI systems.To address this problem,this work presents a cloud-assisted artificial intelligence(AI)solution for the reliable verification of SUA occurrences.The proposed system integrates multimodal sensor streams including camera-based foot images,On-Board Diagnostics II(OBD-II)signals,and six-axismeasurements to determine whether the brake pedal was actually engaged at themoment of a suspected SUA.Beyond image acquisition,convolutional neural network(CNN)models perform real-time inference to classify the driver’s pedal operation states with the resulting outputs transmitted and archived in the cloud.A dedicated dataset of brake and accelerator pedal images was collected from 15 vehicles produced by 6 domestic and international manufacturers.Using this dataset,transfer learning techniques were applied to compare and analyze model performance and generalization as the CNN class granularity varied from coarse to fine levels.Furthermore,classification performance was evaluated in terms of latency and power efficiency under different class configurations.The experimental results demonstrated that the proposed solution identified the driver’s pedal behavior accurately and promptly,with the two-class model achieving the highest F1-score and accuracy among all granularity settings.展开更多
Inferring gene regulatory networks （GRNs） is a challenging task in Bioinformatics. In this paper, an algorithm, PCHMS, is introduced to infer GRNs. This method applies the path consistency （PC） algorithm based on ...Inferring gene regulatory networks （GRNs） is a challenging task in Bioinformatics. In this paper, an algorithm, PCHMS, is introduced to infer GRNs. This method applies the path consistency （PC） algorithm based on conditional mutual information test （PCA-CMI）. In the PC-based algorithms the separator set is determined to detect the dependency between variables. The PCHMS algorithm attempts to select the set in the smart way. For this purpose, the edges of resulted skeleton are directed based on PC algorithm direction rule and mutual information test （MIT） score. Then the separator set is selected according to the directed network by considering a suitable sequential order of genes. The effectiveness of this method is benchmarked through several networks from the DREAM challenge and the widely used SOS DNA repair network of Escherichia coll. Results show that applying the PCHMS algorithm improves the precision of learning the structure of the GRNs in comparison with current popular approaches.展开更多
文摘Methods and approaches are discussed that identify and filter off affecting factors (noise) above primary signals,based on the Adaptive-Nework-Based Fuzzy Inference System. Influences of the zonal winds in equatorial eastern and middle/western Pacific on the SSTA in the equatorial region and their contribution to the latter are diagnosed and verified with observations of a number of significant El Nio and La Nia episodes. New viewpoints are propsed. The methods of wavelet decomposition and reconstruction are used to build a predictive model based on independent domains of frequency,which shows some advantages in composite prediction and prediction validity.The methods presented above are of non-linearity, error-allowing and auto-adaptive/learning, in addition to rapid and easy access,illustrative and quantitative presentation,and analyzed results that agree generally with facts. They are useful in diagnosing and predicting the El Nio and La Nia problems that are just roughly described in dynamics.
基金The project entitled "Urban Active Fault Surveying Project"(143623) funded by the National Development and Roform Commission of China"Active Faults Exploration and Seismic Hazard Assessment in Zibo City"(SD1501) funded by the Department of Science & Technology of Shangdong Province,China
文摘Electrical resistivity tomography (ERT) has been used to experimentally detect shallow buried faults in urban areas in the past a few years, with some progress and experience obtained. According to the results from Olympic Park, Beijing, Shandong Province, Gansu Province and Shanxi Province, we have generalized the method and procedure for inferring the discontinuity of electrical structures (DES) indicating a buried fault in urban areas from resistivity tomograms and its typical electrical features. In general, the layered feature of the electrical structure is first analyzed to preliminarily define whether or not a DES exists in the target area. Resistivity contours in resistivity tomograms are then analyzed from the deep to the shallow. If they extend upward from the deep to the shallow and shape into an integral dislocation, sharp flexure (convergence) or gradient zone, it is inferred that the DES exists, indicating a buried fault. Finally, horizontal tracing is be carried out to define the trend of the DES. The DES can be divided into three types-type AB, ABA and AC. In the present paper, the Zhangdian-Renhe fault system in Zibo city is used as an example to illustrate how to use the method to infer the location and spatial extension of a target fault. Geologic drilling holes are placed based on our research results, and the drilling logs testify that our results are correct. However, the method of this paper is not exclusive and inflexible. It is expected to provide reference and assistance for inferring the shallow buried faults in urban areas from resistivity tomograms in the future.
文摘The research purpose is invention (construction) of a formal logical inference of the Law of Conservation of Energy within a logically formalized axiomatic epistemology-and-axiology theory Sigma from a precisely defined assumption of a-priori-ness of knowledge. For realizing this aim, the following work has been done: 1) a two-valued algebraic system of formal axiology has been defined precisely and applied to proper-philosophy of physics, namely, to an almost unknown (not-recognized) formal-axiological aspect of the physical law of conservation of energy;2) the formal axiomatic epistemology-and-axiology theory Sigma has been defined precisely and applied to proper-physics for realizing the above-indicated purpose. Thus, a discrete mathematical model of relationship between philosophy of physics and universal epistemology united with formal axiology has been constructed. Results: 1) By accurate computing relevant compositions of evaluation-functions within the discrete mathematical model, it is demonstrated that a formal-axiological analog of the great conservation law of proper physics is a formal-axiological law of two-valued algebra of metaphysics. (A precise algorithmic definition of the unhabitual (not-well-known) notion “formal-axiological law of algebra of metaphysics” is given.) 2) The hitherto never published significantly new nontrivial scientific result of investigation presented in this article is a formal logical inference of the law of conservation of energy within the formal axiomatic theory Sigma from conjunction of the formal-axiological analog of the law of conservation of energy and the assumption of a-priori-ness of knowledge.
基金supported by the National Natural Science Foundation of China(61471343)the National Key Technology Research and Development Program of the Ministry of Science and Technology of China(2014BAK14B03)
基金the China Postdoctoral Science Foundation(2023TQ0089)the National Natural Science Foundation of China(Nos.62072465,62172155)the Science and Technology Innovation Program of Hunan Province(Nos.2022RC3061,2023RC3027).
文摘The global Internet is a complex network of interconnected autonomous systems(ASes).Understanding Internet inter-domain path information is crucial for understanding,managing,and improving the Internet.The path information can also help protect user privacy and security.However,due to the complicated and heterogeneous structure of the Internet,path information is not publicly available.Obtaining path information is challenging due to the limited measurement probes and collectors.Therefore,inferring Internet inter-domain paths from the limited data is a supplementary approach to measure Internet inter-domain paths.The purpose of this survey is to provide an overview of techniques that have been conducted to infer Internet inter-domain paths from 2005 to 2023 and present the main lessons from these studies.To this end,we summarize the inter-domain path inference techniques based on the granularity of the paths,for each method,we describe the data sources,the key ideas,the advantages,and the limitations.To help readers understand the path inference techniques,we also summarize the background techniques for path inference,such as techniques to measure the Internet,infer AS relationships,resolve aliases,and map IP addresses to ASes.A case study of the existing techniques is also presented to show the real-world applications of inter-domain path inference.Additionally,we discuss the challenges and opportunities in inferring Internet inter-domain paths,the drawbacks of the state-of-the-art techniques,and the future directions.
文摘Human Immunodeficiency Virus (HIV) dynamics in Africa are purely characterised by sparse sampling of DNA sequences for individuals who are infected. There are some sub-groups that are more at risk than the general population. These sub-groups have higher infectivity rates. We came up with a likelihood inference model of multi-type birth-death process that can be used to make inference for HIV epidemic in an African setting. We employ a likelihood inference that incorporates a probability of removal from infectious pool in the model. We have simulated trees and made parameter inference on the simulated trees as well as investigating whether the model distinguishes between heterogeneous and homogeneous dynamics. The model makes fairly good parameter inference. It distinguishes between heterogeneous and homogeneous dynamics well. Parameter estimation was also performed under sparse sampling scenario. We investigated whether trees obtained from a structured population are more balanced than those from a non-structured host population using tree statistics that measure tree balance and imbalance. Trees from non-structured population were more balanced basing on Colless and Sackin indices.
文摘Mobile phones are becoming a primary platform for information access. A major aspect of ubiquitous computing is context-aware applications which collect information about the environment that the user is in and use this information to provide better service and improve user experience. Location awareness makes certain applications possible, e.g., recommending nearby businesses and tracking estimated routes. An Android application is able to collect useful Wi-Fi information without registering a location listener with a network-based provider. We passively collected the data of the IDs of Wi-Fi access points and the received signal strengths. We developed and implemented an algorithm to analyse the data;and designed heuristics to infer the location of the device over time—all without ever connecting to the network thus maximally preserving the privacy of the user.
基金This work is supported in part by the National Key Research and Development Program of China under Grant No. 2016YFC0800805 and the National Natural Science Foundation of China under Grant No. 61690201.
文摘Deciding the penalty of a law case has always been a complex process, which may involve with much coordination. Despite the judicial study based on the rules and conditions, artificial intelligence and machine learning has rarely been used to study the problem of penalty inferring, leaving the large amount of law cases as well as various factors among them untouched. This paper aims to incorporate the state-of-the-art artificial intelligence methods to exploit to what extent this problem can be alleviated. We first analyze 145 000 law cases and observe that there are two sorts of labels, temporal labels and spatial labels, which have unique characteristics. Temporal labels and spatial labels tend to converge towards the final penalty, on condition that the cases are of the same category. In light of this, we propose a latent-class probabilistic generative model, namely Penalty Topic Model （PTM）, to infer the topic of law cases, and the temporal and spatial patterns of topics embedded in the case judgment. Then, the learnt knowledge is utilized to automatically cluster all cases accordingly in a unified way. We conduct extensive experiments to evaluate the performance of the proposed PTM on a real large-scale dataset of law cases. The experimental results show the superiority of our proposed PTM.
基金supported by the National Key R&D Program of China(No.2023YFF1304002-05)the National Social Science Fund of China(No.22BTJ005)the National Natural Science Foundation of China(No.32572049)。
文摘Remote sensing plays a pivotal role in forest inventory by enabling efficient large-scale monitoring while minimizing fieldwork costs.However,missing values pose a critical challenge in remote sensing applications,as ignoring or mishandling such data gaps can introduce systematic bias into the estimation of target variables for natural resource monitoring.This can lead to cascading errors that propagate through forest and ecosystem management decisions,ultimately hindering progress toward sustainable forest management,biodiversity conservation,and climate change mitigation strategies.This study aims to propose and demonstrate a procedure that employs hybrid estimators to address the limitations of missing remotely sensed data in forest inventory,using Landsat 7 ETM+SLC-off data as an archived source for forest resource monitoring as a case in point.We compared forest inventory estimates from the hybrid estimator with those from a conventional model-based(CMB)estimator using Sentinel-2 data without missing values.Monte Carlo simulations revealed three key findings:(1)The hybrid estimator,leveraging missing-data remote sensing represented by Landsat 7 ETM+SLCoff data,achieved a sampling precision of over 90%,meeting China's national standard for the National Forest Inventory(NFI);(2)The hybrid estimator demonstrated comparable efficiency to the CMB estimator;(3)The uncertainty associated with hybrid estimators was primarily dominated by model parameter estimation,which could be effectively mitigated by slightly increasing the training sample size or refining model specification.Overall,in forest inventory,the hybrid estimator can surmount the limitations posed by missing values in remotely sensed auxiliary data,effectively balancing cost-effectiveness and flexibility.
基金Supported by the National Natural Science Foundation of China(No.82371104)the Natural Science Foundation of Hunan Province(No.2023JJ30851).
文摘AIM:To clarify the clinical correlations and causal relationships between lipid metabolism and the progression of thyroid-associated ophthalmopathy(TAO).METHODS:This case-control study retrieved clinical data from 2018 to 2023.A total of 2591 patients were enrolled,including 197 patients with TAO(case group)and 2394 patients with hyperthyroidism without TAO(control group).Serum lipid parameters,including triglycerides,total cholesterol,high-density lipoprotein(HDL),low-density lipoprotein(LDL),and the HDL/total cholesterol ratio,as well as thyroid function markers,were compared between the two groups.Correlation analyses were performed to evaluate the associations between serum lipid levels and key ocular manifestations of TAO,including exophthalmos degree,clinical activity score,and disease severity.Furthermore,Mendelian randomization(MR)analysis was conducted using genome-wide association study(GWAS)datasets,with hyperthyroidism as the exposure variable and serum lipid parameters as the outcome variables,to infer the causal relationship between hyperthyroidism,lipid metabolism,and TAO progression.RESULTS:The TAO group consisted of 101 males and 96 females,while the hyperthyroidism group included 706 males and 1688 females.Compared with the control group,patients with TAO had significantly higher levels of triglycerides(1.83±1.21 vs 1.40±1.08 mmol/L,P<0.01),total cholesterol,LDL,and HDL.Correlation analysis showed that triglyceride levels were positively correlated with exophthalmos degree,whereas HDL levels were inversely correlated with exophthalmos degree.No significant associations were found between serum lipid levels and clinical activity score(P>0.1).MR analysis confirmed that hyperthyroidism exerted a causal effect in reducing serum triglycerides[inverse-variance weighting odds ratio(OR)=0.035,95%confidence interval(CI):0.01-0.12]and total cholesterol(OR=0.085,95%CI:0.02-0.34),with no evidence of horizontal pleiotropy(MR-PRESSO P>0.05).CONCLUSION:Elevated serum triglyceride levels are an independent risk factor for TAO severity,especially exophthalmos,and triglyceride metabolism is inversely regulated by thyroid function.
文摘Transformer models face significant computational challenges in private inference(PI).Existing optimization methods often rely on isolated techniques,neglecting joint structural and operational improvements.We propose IG-3D,a unified framework that integrates structured compression and operator approximation through accurate importance assessment.Our approach first evaluates attention head importance using Integrated Gradients(IG),offering greater stability and theoretical soundness than gradient-based methods.We then apply a threedimensional optimization:(1)structurally pruning redundant attention heads;(2)replacing Softmax with adaptive polynomial approximation to avoid exponential computations;(3)implementing layer-wise GELU substitution to accommodate different layer characteristics.A joint thresholdmechanism coordinates compression across dimensions under accuracy constraints.Experimental results on the GLUE benchmark show that our method achieves an average 2.9×speedup in inference latency and a 50%reduction in communication cost,while controlling the accuracy loss within 2.3%,demonstrating significant synergistic effects and a superior accuracy-efficiency trade-off compared to single-technique optimization strategies.
基金supported by the Yanzhao Gold Talent Project of Hebei Province(NO.HJZD202506)。
文摘Objective Previous studies link lower body mass index(BMI)with increased obsessive-compulsive disorder(OCD)risk,yet other body mass indicators may be more etioloically relevant.We dissected the causal association between body fat mass(FM)and OCD.Methods Summary statistics from genome-wide association studies of European ancestry were utilized to conduct two-sample Mendelian randomization analysis.Heterogeneity,horizontal pleiotropy,and sensitivity analyses were performed to assess the robustness.Results The inverse variance weighting method demonstrated that a genetically predicted decrease in FM was causally associated with an increased OCD risk[odds ratio(OR)=0.680,95%confidence interval(CI):0.528–0.875,P=0.003].Similar estimates were obtained using the weighted median approach(OR=0.633,95%CI:0.438–0.915,P=0.015).Each standard deviation increases in genetically predicted body fat percentage corresponded to a reduced OCD risk(OR=0.638,95%CI:0.455–0.896,P=0.009).The sensitivity analysis confirmed the robustness of these findings with no outlier instrument variables identified.Conclusion The negative causal association between FM and the risk of OCD suggests that the prevention or treatment of mental disorders should include not only the control of BMI but also fat distribution and body composition.
基金supported by the National Research Foundation of Korea(NRF)grant funded by the Korea government(MSIT)(RS-2025-00518960)in part by the National Research Foundation of Korea(NRF)grant funded by the Korea government(MSIT)(RS-2025-00563192).
文摘Mental-health risk detection seeks early signs of distress from social media posts and clinical transcripts to enable timely intervention before crises.When such risks go undetected,consequences can escalate to self-harm,long-term disability,reduced productivity,and significant societal and economic burden.Despite recent advances,detecting risk from online text remains challenging due to heterogeneous language,evolving semantics,and the sequential emergence of new datasets.Effective solutions must encode clinically meaningful cues,reason about causal relations,and adapt to new domains without forgetting prior knowledge.To address these challenges,this paper presents a Continual Neuro-Symbolic Graph Learning(CNSGL)framework that unifies symbolic reasoning,causal inference,and continual learning within a single architecture.Each post is represented as a symbolic graph linking clinically relevant tags to textual content,enriched with causal edges derived from directional Point-wise Mutual Information(PMI).A two-layer Graph Convolutional Network(GCN)encodes these graphs,and a Transformer-based attention pooler aggregates node embeddings while providing interpretable tag-level importances.Continual adaptation across datasets is achieved through the Multi-Head Freeze(MH-Freeze)strategy,which freezes a shared encoder and incrementally trains lightweight task-specific heads(small classifiers attached to the shared embedding).Experimental evaluations across six diverse mental-health datasets ranging from Reddit discourse to clinical interviews,demonstrate that MH-Freeze consistently outperforms existing continual-learning baselines in both discriminative accuracy and calibration reliability.Across six datasets,MH-Freeze achieves up to 0.925 accuracy and 0.923 F1-Score,with AUPRC≥0.934 and AUROC≥0.942,consistently surpassing all continual-learning baselines.The results confirm the framework’s ability to preserve prior knowledge,adapt to domain shifts,and maintain causal interpretability,establishing CNSGL as a promising step toward robust,explainable,and lifelong mental-health risk assessment.
基金supported by the National Natural Science Foundation of China(Grant No.82220108002 to F.C.and Grant No.82273737 to R.Z.)the U.S.National Institutes of Health(Grant Nos.CA209414,HL060710,and ES000002 to D.C.C.,Grant Nos.CA209414 and CA249096 to Y.L.)+1 种基金the Priority Academic Program Development of Jiangsu Higher Education Institutions(PAPD)supported by the Qing Lan Project of the Higher Education Institutions of Jiangsu Province and the Outstanding Young Level Academic Leadership Training Program of Nanjing Medical University.
文摘Interferon-related genes are involved in antiviral responses,inflammation,and immunity,which are closely related to sepsis-associated acute respiratory distress syndrome(ARDS).We analyzed 1972 participants with genotype data and 681 participants with gene expression data from the Molecular Epidemiology of ARDS(MEARDS),the Molecular Epidemiology of Sepsis in the ICU(MESSI),and the Molecular Diagnosis and Risk Stratification of Sepsis(MARS)cohorts in a three-step study focusing on sepsis-associated ARDS and sepsis-only controls.First,we identified and validated interferon-related genes associated with sepsis-associated ARDS risk using genetically regulated gene expression(GReX).Second,we examined the association of the confirmed gene(interferon regulatory factor 1,IRF1)with ARDS risk and survival and conducted a mediation analysis.Through discovery and validation,we found that the GReX of IRF1 was associated with ARDS risk(odds ratio[OR_(MEARDS)]=0.84,P=0.008;OR_(MESSI)=0.83,P=0.034).Furthermore,individual-level measured IRF1 expression was associated with reduced ARDS risk(OR=0.58,P=8.67×10^(-4)),and improved overall survival in ARDS patients(hazard ratio[HR_(28-day)]=0.49,P=0.009)and sepsis patients(HR_(28-day)=0.76,P=0.008).Mediation analysis revealed that IRF1 may enhance immune function by regulating the major histocompatibility complex,including HLA-F,which mediated more than 70%of protective effects of IRF1 on ARDS.The findings were validated by in vitro biological experiments including time-series infection dynamics,overexpression,knockout,and chromatin immunoprecipitation sequencing.Early prophylactic interventions to activate IRF1 in sepsis patients,thereby regulating HLA-F,may reduce the risk of ARDS and mortality,especially in severely ill patients.
基金supported by the National Key Research and Development Program of China(2021YFC2203004)the National Natural Science Foundation of China(NSFC)(12405076,12247187,and 12147103)+1 种基金the National Astronomical Data Center(NADC2023YDS-01)the Fundamental Research Funds for the Central Universities.
文摘The detection of gravitational waves by the LIGO-Virgo-KAGRA collaboration has ushered in a new era of observational astronomy,emphasizing the need for rapid and detailed parameter estimation and population-level analyses.Traditional Bayesian inference methods,particularly Markov chain Monte Carlo,face significant computational challenges when dealing with the high-dimensional parameter spaces and complex noise characteristics inherent in gravitational wave data.This review examines the emerging role of simulation-based inference methods in gravitational wave astronomy,with a focus on approaches that leverage machine-learning techniques such as normalizing flows and neural posterior estimation.We provide a comprehensive overview of the theoretical foundations underlying various simulation-based inference methods,including neural posterior estimation,neural ratio estimation,neural likelihood estimation,flow matching,and consistency models.We explore the applications of these methods across diverse gravitational wave data processing scenarios,from single-source parameter estimation and overlapping signal analysis to testing general relativity and conducting population studies.Although these techniques demonstrate speed improvements over traditional methods in controlled studies,their model-dependent nature and sensitivity to prior assumptions are barriers to their widespread adoption.Their accuracy,which is similar to that of conventional methods,requires further validation across broader parameter spaces and noise conditions.
基金supported in part by the National Key Research and Development Program of China(No.2022YFA1604900)the National Natural Science Foundation of China(NSFC)(Nos.12405154,12235016,12221005,12435009,12275104,92570117)+7 种基金the Strategic Priority Research Program of Chinese Academy of Sciences(No.XDB34030000)the Fundamental Research Funds for the Central UniversitiesOpen fund for Key Laboratories of the Ministry of Education(No.QLPL2024P01)CUHK-Shenzhen University Development Fund(Nos.UDF01003041 and UDF03003041)Shenzhen Peacock Fund(No.2023TC0007)Ministry of Science and Technology of China(No.2024YFA1611004)the European Union–Next Generation EU through the research(No.P2022Z4P4B)“SOPHYA-Sustainable Optimized PHYsics Algorithms:fundamental physics to build an advanced society”under the program PRIN 2022 PNRR of the Italian Ministero dell’Universitàe Ricerca(MUR)。
文摘Leveraging high-precision lattice QCD data on the equation of state and baryon number susceptibility at a vanishing chemical potential,we constructed a Bayesian holographic QCD model and systematically analyzed the thermodynamic properties of heavy quarkonium in QCD matter under varying temperatures and chemical potentials.We computed the quark-antiquark interquark distance,potential energy,entropy,binding energy,and internal energy.We present detailed posterior distribution results of the thermodynamic quantities of heavy quarkonium,including maximum a posteriori(MAP)value estimates and 95%confidence levels(CL).Through numerical simulations and theoretical analysis,we find that an increase in the temperature and chemical potential reduces the quark distance,thereby facilitating the dissociation of heavy quarkonium and leading to a suppressed potential energy.The increase in temperature and chemical potential also raises the entropy and entropy force,further accelerating the dissociation of heavy quarkonium.The calculated results of binding energy indicate that a higher temperature and chemical potential enhance the tendency of heavy quarkonium to dissociate into free quarks.The internal energy also increases with rising temperature and chemical potential.These findings provide significant theoretical insights into the properties of strongly interacting matter under extreme conditions and lay a solid foundation for the interpretation and validation of future experimental data.Finally,we also present the results for the free energy,entropy,and internal energy of a single quark.
文摘In the words of the late Sir Colin Blakemore,neurologists have historically sought to infer brain functions in a manner akin to to king a hammer to a computeranalyzing localized anatomical lesions caused by trauma,tumors,or strokes,noting deficits,and inferring what functions certain brain regions may be responsible for.This approach exemplifies a deletion heuristic,where the absence of a specific function reveals insights about the underlying structures or mechanisms responsible for it.By observing what is lost when a particular brain region is damaged,throughout the history of the field,neurologists have pieced together the intricate relationship between anatomy and function.
基金supported by Basic Science Research Program to Research Institute for Basic Sciences(RIBS)of Jeju National University through the National Research Foundation of Korea(NRF)funded by the Ministry of Education(RS-2019-NR040080)This research was also carried out with the support of the Jeju RISE Center,funded by the Ministry of Education and Jeju Special Self-Governing Province in 2025,as part of the“Regional Innovation System&Education(RISE):Glocal University 30”initiative.
文摘Given the growing number of vehicle accidents caused by unintended acceleration and braking failure,verifying Sudden Unintended Acceleration(SUA)incidents has become a persistent challenge.A central issue of debate is whether such events stem frommechanical malfunctions or driver pedalmisapplications.However,existing verification procedures implemented by vehiclemanufacturers often involve closed tests after vehicle recalls;thus raising ongoing concerns about reliability and transparency.Consequently,there is a growing need for a user-driven framework that enables independent data acquisition and verification.Although previous studies have addressed SUA detection using deep learning,few have explored howclass granularity optimization affects power efficiency and inference performance in real-time Edge AI systems.To address this problem,this work presents a cloud-assisted artificial intelligence(AI)solution for the reliable verification of SUA occurrences.The proposed system integrates multimodal sensor streams including camera-based foot images,On-Board Diagnostics II(OBD-II)signals,and six-axismeasurements to determine whether the brake pedal was actually engaged at themoment of a suspected SUA.Beyond image acquisition,convolutional neural network(CNN)models perform real-time inference to classify the driver’s pedal operation states with the resulting outputs transmitted and archived in the cloud.A dedicated dataset of brake and accelerator pedal images was collected from 15 vehicles produced by 6 domestic and international manufacturers.Using this dataset,transfer learning techniques were applied to compare and analyze model performance and generalization as the CNN class granularity varied from coarse to fine levels.Furthermore,classification performance was evaluated in terms of latency and power efficiency under different class configurations.The experimental results demonstrated that the proposed solution identified the driver’s pedal behavior accurately and promptly,with the two-class model achieving the highest F1-score and accuracy among all granularity settings.
文摘Inferring gene regulatory networks （GRNs） is a challenging task in Bioinformatics. In this paper, an algorithm, PCHMS, is introduced to infer GRNs. This method applies the path consistency （PC） algorithm based on conditional mutual information test （PCA-CMI）. In the PC-based algorithms the separator set is determined to detect the dependency between variables. The PCHMS algorithm attempts to select the set in the smart way. For this purpose, the edges of resulted skeleton are directed based on PC algorithm direction rule and mutual information test （MIT） score. Then the separator set is selected according to the directed network by considering a suitable sequential order of genes. The effectiveness of this method is benchmarked through several networks from the DREAM challenge and the widely used SOS DNA repair network of Escherichia coll. Results show that applying the PCHMS algorithm improves the precision of learning the structure of the GRNs in comparison with current popular approaches.
