Asap7772/metamath-hint-sft-nohint-proc dataset hosted on Hugging Face and contributed by the HF Datasets community

In this paper, we investigate the use of Bayesian networks to construct large-scale diagnostic systems. In particular, we consider the development of large-scale Bayesian networks by composition. This compositional approach reflects how (often redundant) subsystems are architected to form systems such as electrical power systems. We develop high-level specifications, Bayesian networks, clique trees, and arithmetic circuits representing 24 different electrical power systems. The largest among these 24 Bayesian networks contains over 1,000 random variables. Another BN represents the real-world electrical power system ADAPT, which is representative of electrical power systems deployed in aerospace vehicles. In addition to demonstrating the scalability of the compositional approach, we briefly report on experimental results from the diagnostic competition DXC, where the ProADAPT team, using techniques discussed here, obtained the highest scores in both Tier 1 (among 9 international competitors) and Tier 2 (among 6 international competitors) of the industrial track. While we consider diagnosis of power systems specically, we believe this work is relevant to other system health management problems, in particular in dependable systems such as aircraft and spacecraft. Reference: O. J. Mengshoel, S. Poll, and T. Kurtoglu. "Developing Large-Scale Bayesian Networks by Composition: Fault Diagnosis of Electrical Power Systems in Aircraft and Spacecraft." Proc. of the IJCAI-09 Workshop on Self-* and Autonomous Systems (SAS): Reasoning and Integration Challenges, 2009 BibTex Reference: @inproceedings{mengshoel09developing, title = {Developing Large-Scale {Bayesian} Networks by Composition: Fault Diagnosis of Electrical Power Systems in Aircraft and Spacecraft}, author = {Mengshoel, O. J. and Poll, S. and Kurtoglu, T.}, booktitle = {Proc. of the IJCAI-09 Workshop on Self-$\star$ and Autonomous Systems (SAS): Reasoning and Integration Challenges}, year={2009} }

Asap7772/metamath-hint-sft-rand-2-proc dataset hosted on Hugging Face and contributed by the HF Datasets community

Exports of Automatic Data Proc. Eq. & Components in China decreased to 12759547 USD Thousand in February from 14734829 USD Thousand in January of 2024. This dataset includes a chart with historical data for China Exports of Automatic Data Proc. Eq. & Components.

The ORPA processed data consist of 4 file types: high resolution thermal electrons, high resolution superthermal electrons, high resolution ions, and a key parameters file at 12 second sampling.

Asap7772/metamath-hint-sft-rand-4-proc dataset hosted on Hugging Face and contributed by the HF Datasets community

Example of the code used to account for statistical significances for phenotype and other variables.

not applicable

This dataset is a collection of all notes taken for the article:

David Broneske, Sebastian Kittan, and Jacob Krüger:
Sharing Software-Evolution Datasets: Practices, Challenges, and Recommendations.
Proc. ACM Softw. Eng. 1, FSE, 2024.
https://doi.org/10.1145/3660798

Please refer to the readme for a description of the files involved in the zip file.

Parameter estimates for the generalized H2 model (SAS output).

Overview This is a pre-campaign instrument deployment. With it, we aim to upload data and test/verify the ingest pipeline. Data Quality Adding signal-to-noise ratio can exclude data based on this value.

Mortality rates were calculated as defined in the text.Summary statistics Black cervical cancer mortality by year in thirteen U.S. states.

Summary data for the studies used in the meta-analysis of local adaptation (Table 1 from the publication)This table contains the data used in this published meta-analysis. The data were originally extracted from the publications listed in the table. The file corresponds to Table 1 in the original publication.tb1.xlsSAS script used to perform meta-analysesThis file contains the essential elements of the SAS script used to perform meta-analyses published in Hoeksema & Forde 2008. Multi-factor models were fit to the data using weighted maximum likelihood estimation of parameters in a mixed model framework, using SAS PROC MIXED, in which the species traits and experimental design factors were considered fixed effects, and a random between-studies variance component was estimated. Significance (at alpha = 0.05) of individual factors in these models was determined using randomization procedures with 10,000 iterations (performed with a combination of macros in SAS), in which effect sizes a...

This dataset provides information about the number of properties, residents, and average property values for Proc Ridge Lane cross streets in Knightdale, NC.

SAS Code for Spatial Optimization of Supply Chain Network for Nitrogen Based Fertilizer in North America, by type, by mode of transportation, per county, for all major crops, using Proc OptModel. the code specifies set of random values to run the mixed integer stochastic spatial optimization model repeatedly and collect results for each simulation that are then compiled and exported to be projected in GIS (geographic information systems). Certain supply nodes (fertilizer plants) are specified to work at either 70 percent of their capacities or more. Capacities for nodes of supply (fertilizer plants), demand (county centroids), transhipment nodes (transfer points-mode may change), and actual distance travelled are specified over arcs.

Asap7772/metamath-hint-sft-topk-4-proc dataset hosted on Hugging Face and contributed by the HF Datasets community

Imports of Digital Automatic Data Proc. Equip. in China decreased to 188962 USD Thousand in February from 240745 USD Thousand in January of 2024. This dataset includes a chart with historical data for China Imports of Digital Automatic Data Proc. Equip..

77 Global import shipment records of Proc Black with prices, volume & current Buyer's suppliers relationships based on actual Global export trade database.

4630 Global export shipment records of Proc Black with prices, volume & current Buyer's suppliers relationships based on actual Global export trade database.

Imports of Automatic Data Proc. Eq. & Components in China decreased to 3625654 USD Thousand in February from 4226633 USD Thousand in January of 2024. This dataset includes a chart with historical data for China Imports of Automatic Data Proc. Eq. & Components.