يعرض 61 - 74 نتائج من 74 نتيجة بحث عن '(( python proof implementation ) OR ( python policy implementation ))', وقت الاستعلام: 0.37s تنقيح النتائج
  1. 61
  2. 62
  3. 63
  4. 64
  5. 65
  6. 66
  7. 67
  8. 68
  9. 69
  10. 70
  11. 71
  12. 72

    Table 1_Analysis of distribution equilibrium and influencing factors for older adult meal service facilities in mainland China.xlsx حسب Feng Wang (44414)

    منشور في 2025
    "…Objective<p>Analyze the distribution equilibrium of older adult meal service facilities in mainland China and explore the factors influencing their distribution.</p>Methods<p>Use Python to obtain data on older adult meal service facilities, and analyze the equity of older adult meal services using descriptive statistics, the Lorenz curve, the Gini coefficient, and the Spatial Mismatch Index (SMI). …"
  13. 73

    Core-Based Smart Sampling Framework: A Theoretical and Experimental Study on Randomized Partitioning for SAT Problems حسب DURGHAM QARALLEH (21904172)

    منشور في 2025
    "…We provide theoretical guarantees on complexity reduction and probabilistic completeness, apply the method to SAT instances, and evaluate its performance using experimental Python implementations. The results show that smart sampling drastically reduces the effective complexity of SAT problems and offers new insights into the structure of NP-complete problems.…"
  14. 74

    The artifacts and data for the paper "DD4AV: Detecting Atomicity Violations in Interrupt-Driven Programs with Guided Concolic Execution and Filtering" (OOPSLA 2025) حسب zixuan yuan (17602152)

    منشور في 2025
    "…</p><pre><pre>sudo apt-get install -y wget git build-essential python3 python python-pip python3-pip tmux cmake libtool libtool-bin automake autoconf autotools-dev m4 autopoint libboost-dev help2man gnulib bison flex texinfo zlib1g-dev libexpat1-dev libfreetype6 libfreetype6-dev libbz2-dev liblzo2-dev libtinfo-dev libssl-dev pkg-config libswscale-dev libarchive-dev liblzma-dev liblz4-dev doxygen libncurses5 vim intltool gcc-multilib sudo --fix-missing<br></pre></pre><pre><pre>pip install numpy && pip3 install numpy && pip3 install sysv_ipc<br></pre></pre><h4><b>Download the Code</b></h4><p dir="ltr">Download <b>DD4AV</b> from the Figshare website to your local machine and navigate to the project directory:</p><pre><pre>cd DD4AV<br></pre></pre><h4><b>Configure Environment and Install the Tool</b></h4><p dir="ltr">For convenience, we provide shell scripts to automate the installation process. …"