Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks
Ontology highlight
ABSTRACT:
SUBMITTER: Bigatti A
PROVIDER: S-EPMC7340889 | biostudies-literature | 2020 Jun
REPOSITORIES: biostudies-literature
Similar Datasets
Project description:In this paper, we propose a new approach for variable selection using a collection of Bayesian neural networks with a focus on quantifying uncertainty over which variables are selected. Motivated by fine-mapping applications in statistical genetics, we refer to our framework as an "ensemble of single-effect neural networks" (ESNN) which generalizes the "sum of single effects" regression framework by both accounting for nonlinear structure in genotypic data (e.g., dominance effects) and having the capability to model discrete phenotypes (e.g., case-control studies). Through extensive simulations, we demonstrate our method's ability to produce calibrated posterior summaries such as credible sets and posterior inclusion probabilities, particularly for traits with genetic architectures that have significant proportions of non-additive variation driven by correlated variants. Lastly, we use real data to demonstrate that the ESNN framework improves upon the state of the art for identifying true effect variables underlying various complex traits.
| S-EPMC9234235 | biostudies-literature
Project description:In recent years, environmental awareness has increased considerably, and in order to decrease endangerments such as air and water pollution, and also global warming, green procurement should be employed. Therefore, in the assessment of suppliers, their environmental performance should be taken into consideration along with other criteria for supplier selection. Raising awareness of sustainability in production and conservation and protection of the environment is very important both for the whole environment and for the company itself by increasing its competitive advantage. And, one of the steps to achieve this is for the companies to try to select green suppliers. So, the purpose of this study is to raise awareness and tackle the need for green supplier selection and, using multiple-criteria decision-making models, to elaborate a case study regarding this. A survey was conducted in a manufacturing firm. The data were analysed, and fuzzy MCDM (multicriteria decision-making) methods and artificial neural networks were implemented. Fuzzy methods are the fuzzy analytic hierarchy process (fuzzy AHP), fuzzy TOPSIS, and fuzzy ELECTRE. ANN supports the result of fuzzy MCDM models from the profit side. ANN can make the best estimate of the current year based on historical data. Fuzzy MCDM methods will also find good solutions using the available data but will produce different solutions as there are different decision-making methods. It is aimed to produce a synergy from the solutions obtained here and to produce a better solution. Instead of a single method, it would be more accurate to produce a better solution than the solution provided by all of them. The dominant result has been obtained using the committee fuzzy MCDM and ANN to select the best green supplier.
| S-EPMC7566219 | biostudies-literature
Project description:Accurately predicting the trend of outpatient visits by mathematical modeling can help policy makers manage hospitals effectively, reasonably organize schedules for human resources and finances, and appropriately distribute hospital material resources. In this study, a hybrid method based on empirical mode decomposition and back-propagation artificial neural networks optimized by particle swarm optimization is developed to forecast outpatient visits on the basis of monthly numbers. The data outpatient visits are retrieved from January 2005 to December 2013 and first obtained as the original time series. Second, the original time series is decomposed into a finite and often small number of intrinsic mode functions by the empirical mode decomposition technique. Third, a three-layer back-propagation artificial neural network is constructed to forecast each intrinsic mode functions. To improve network performance and avoid falling into a local minimum, particle swarm optimization is employed to optimize the weights and thresholds of back-propagation artificial neural networks. Finally, the superposition of forecasting results of the intrinsic mode functions is regarded as the ultimate forecasting value. Simulation indicates that the proposed method attains a better performance index than the other four methods.
| S-EPMC5319685 | biostudies-literature
Project description:Artificial neural networks (ANNs) are processors that are trained to perform particular tasks. We couple a computational ANN with a simulated affective system in order to explore the interaction between the two. In particular, we design a simple affective system that adjusts the threshold values in the neurons of our ANN. The aim of this paper is to demonstrate that this simple affective system can control the firing rate of the ensemble of neurons in the ANN, as well as to explore the coupling between the affective system and the processes of long term potentiation (LTP) and long term depression (LTD), and the effect of the parameters of the affective system on its performance. We apply our networks with affective systems to a simple pole balancing example and briefly discuss the effect of affective systems on network performance.
| S-EPMC3841186 | biostudies-literature
Project description:A significant amount of attention has been given to the design and synthesis of co-crystals by both industry and academia because of its potential to change a molecule's physicochemical properties. Yet, difficulties arise when searching for adequate combinations of molecules (or coformers) to form co-crystals, hampering the efficient exploration of the target's solid-state landscape. This paper reports on the application of a data-driven co-crystal prediction method based on two types of artificial neural network models and co-crystal data present in the Cambridge Structural Database. The models accept pairs of coformers and predict whether a co-crystal is likely to form. By combining the output of multiple models of both types, our approach shows to have excellent performance on the proposed co-crystal training and validation sets, and has an estimated accuracy of 80 % for molecules for which previous co-crystallization data is unavailable.
| S-EPMC7756866 | biostudies-literature
Project description:Industry 4.0 is all about interconnectivity, sensor-enhanced process control, and data-driven systems. Process analytical technology (PAT) such as online nuclear magnetic resonance (NMR) spectroscopy is gaining in importance, as it increasingly contributes to automation and digitalization in production. In many cases up to now, however, a classical evaluation of process data and their transformation into knowledge is not possible or not economical due to the insufficiently large datasets available. When developing an automated method applicable in process control, sometimes only the basic data of a limited number of batch tests from typical product and process development campaigns are available. However, these datasets are not large enough for training machine-supported procedures. In this work, to overcome this limitation, a new procedure was developed, which allows physically motivated multiplication of the available reference data in order to obtain a sufficiently large dataset for training machine learning algorithms. The underlying example chemical synthesis was measured and analyzed with both application-relevant low-field NMR and high-field NMR spectroscopy as reference method. Artificial neural networks (ANNs) have the potential to infer valuable process information already from relatively limited input data. However, in order to predict the concentration at complex conditions (many reactants and wide concentration ranges), larger ANNs and, therefore, a larger training dataset are required. We demonstrate that a moderately complex problem with four reactants can be addressed using ANNs in combination with the presented PAT method (low-field NMR) and with the proposed approach to generate meaningful training data. Graphical abstract.
| S-EPMC7320049 | biostudies-literature
Project description:In this study, multilayer perceptron artificial neural networks are used to predict orthodontic treatment plans, including the determination of extraction-nonextraction, extraction patterns, and anchorage patterns. The neural network can output the feasibilities of several applicable treatment plans, offering orthodontists flexibility in making decisions. The neural network models show an accuracy of 94.0% for extraction-nonextraction prediction, with an area under the curve (AUC) of 0.982, a sensitivity of 94.6%, and a specificity of 93.8%. The accuracies of the extraction patterns and anchorage patterns are 84.2% and 92.8%, respectively. The most important features for prediction of the neural networks are "crowding, upper arch" "ANB" and "curve of Spee". For handling discrete input features with missing data, the average value method has a better complement performance than the k-nearest neighbors (k-NN) method; for handling continuous features with missing data, k-NN performs better than the other methods most of the time. These results indicate that the proposed method based on artificial neural networks can provide good guidance for orthodontic treatment planning for less-experienced orthodontists.
| S-EPMC6375961 | biostudies-literature
Project description:Artificial Intelligence (AI) is currently experiencing a bloom driven by deep learning (DL) techniques, which rely on networks of connected simple computing units operating in parallel. The low communication bandwidth between memory and processing units in conventional von Neumann machines does not support the requirements of emerging applications that rely extensively on large sets of data. More recent computing paradigms, such as high parallelization and near-memory computing, help alleviate the data communication bottleneck to some extent, but paradigm- shifting concepts are required. Memristors, a novel beyond-complementary metal-oxide-semiconductor (CMOS) technology, are a promising choice for memory devices due to their unique intrinsic device-level properties, enabling both storing and computing with a small, massively-parallel footprint at low power. Theoretically, this directly translates to a major boost in energy efficiency and computational throughput, but various practical challenges remain. In this work we review the latest efforts for achieving hardware-based memristive artificial neural networks (ANNs), describing with detail the working principia of each block and the different design alternatives with their own advantages and disadvantages, as well as the tools required for accurate estimation of performance metrics. Ultimately, we aim to provide a comprehensive protocol of the materials and methods involved in memristive neural networks to those aiming to start working in this field and the experts looking for a holistic approach.
| S-EPMC10912231 | biostudies-literature
Project description:Generative models have shown breakthroughs in a wide spectrum of domains due to recent advancements in machine learning algorithms and increased computational power. Despite these impressive achievements, the ability of generative models to create realistic synthetic data is still under-exploited in genetics and absent from population genetics. Yet a known limitation in the field is the reduced access to many genetic databases due to concerns about violations of individual privacy, although they would provide a rich resource for data mining and integration towards advancing genetic studies. In this study, we demonstrated that deep generative adversarial networks (GANs) and restricted Boltzmann machines (RBMs) can be trained to learn the complex distributions of real genomic datasets and generate novel high-quality artificial genomes (AGs) with none to little privacy loss. We show that our generated AGs replicate characteristics of the source dataset such as allele frequencies, linkage disequilibrium, pairwise haplotype distances and population structure. Moreover, they can also inherit complex features such as signals of selection. To illustrate the promising outcomes of our method, we showed that imputation quality for low frequency alleles can be improved by data augmentation to reference panels with AGs and that the RBM latent space provides a relevant encoding of the data, hence allowing further exploration of the reference dataset and features for solving supervised tasks. Generative models and AGs have the potential to become valuable assets in genetic studies by providing a rich yet compact representation of existing genomes and high-quality, easy-access and anonymous alternatives for private databases.
| S-EPMC7861435 | biostudies-literature
Project description:Resonator networks are ubiquitous in natural and engineered systems, such as solid-state materials, electrical circuits, quantum processors, and even neural tissue. To understand and manipulate these networks it is essential to characterize their building blocks, which include the mechanical analogs of mass, elasticity, damping, and coupling of each resonator element. While these mechanical parameters are typically obtained from response spectra using least-squares fitting, this approach requires a priori knowledge of all parameters and is susceptible to large error due to convergence to local minima. Here we validate an alternative algebraic means to characterize resonator networks with no or minimal a priori knowledge. Our approach recasts the equations of motion of the network into a linear homogeneous algebraic equation and solves the equation with a set of discrete measured network response vectors. For validation, we employ our approach on noisy simulated data from a single resonator and a coupled resonator pair, and we characterize the accuracy of the recovered parameters using high-dimension factorial simulations. Generally, we find that the error is inversely proportional to the signal-to-noise ratio, that measurements at two frequencies are sufficient to recover all parameters, and that sampling near the resonant peaks is optimal. Our simple, powerful tool will enable future efforts to ascertain network properties and control resonator networks in diverse physical domains.
| S-EPMC10789822 | biostudies-literature