Skip to main content

Hybrid SAT + Probabilistic Modeling for IoT Uncertainty Quantification

Project description

ÿþ#\x00 \x00A\x00l\x00g\x00o\x00r\x00i\x00t\x00h\x00m\x00_\x00P\x00r\x00o\x00j\x00e\x00c\x00t\x00 \x00 \x00 \x00 \x00#\x00 \x00I\x00o\x00T\x00 \x00U\x00n\x00c\x00e\x00r\x00t\x00a\x00i\x00n\x00t\x00y\x00 \x00Q\x00u\x00a\x00n\x00t\x00i\x00f\x00i\x00c\x00a\x00t\x00i\x00o\x00n\x00 \x00 \x00 \x00 \x00T\x00h\x00i\x00s\x00 \x00p\x00r\x00o\x00j\x00e\x00c\x00t\x00 \x00i\x00n\x00t\x00e\x00g\x00r\x00a\x00t\x00e\x00s\x00 \x00B\x00o\x00o\x00l\x00e\x00a\x00n\x00 \x00S\x00A\x00T\x00 \x00s\x00o\x00l\x00v\x00e\x00r\x00s\x00 \x00a\x00n\x00d\x00 \x00p\x00r\x00o\x00b\x00a\x00b\x00i\x00l\x00i\x00s\x00t\x00i\x00c\x00 \x00m\x00o\x00d\x00e\x00l\x00s\x00 \x00t\x00o\x00 \x00q\x00u\x00a\x00n\x00t\x00i\x00f\x00y\x00 \x00u\x00n\x00c\x00e\x00r\x00t\x00a\x00i\x00n\x00t\x00y\x00 \x00i\x00n\x00 \x00I\x00o\x00T\x00 \x00s\x00e\x00n\x00s\x00o\x00r\x00 \x00d\x00a\x00t\x00a\x00.\x00 \x00 \x00 \x00 \x00#\x00#\x00 \x00F\x00e\x00a\x00t\x00u\x00r\x00e\x00s\x00 \x00 \x00 \x00 \x00-\x00 \x00M\x00o\x00d\x00e\x00l\x00s\x00 \x00s\x00e\x00n\x00s\x00o\x00r\x00 \x00r\x00e\x00l\x00i\x00a\x00b\x00i\x00l\x00i\x00t\x00y\x00 \x00w\x00i\x00t\x00h\x00 \x00l\x00o\x00g\x00i\x00c\x00a\x00l\x00 \x00c\x00o\x00n\x00s\x00t\x00r\x00a\x00i\x00n\x00t\x00s\x00 \x00 \x00-\x00 \x00U\x00s\x00e\x00s\x00 \x00S\x00A\x00T\x00 \x00s\x00o\x00l\x00v\x00e\x00r\x00s\x00 \x00t\x00o\x00 \x00d\x00e\x00t\x00e\x00r\x00m\x00i\x00n\x00e\x00 \x00p\x00o\x00s\x00s\x00i\x00b\x00l\x00e\x00 \x00s\x00t\x00a\x00t\x00e\x00s\x00 \x00 \x00-\x00 \x00A\x00p\x00p\x00l\x00i\x00e\x00s\x00 \x00G\x00a\x00u\x00s\x00s\x00i\x00a\x00n\x00 \x00p\x00r\x00o\x00b\x00a\x00b\x00i\x00l\x00i\x00t\x00y\x00 \x00m\x00o\x00d\x00e\x00l\x00s\x00 \x00t\x00o\x00 \x00q\x00u\x00a\x00n\x00t\x00i\x00f\x00y\x00 \x00l\x00i\x00k\x00e\x00l\x00i\x00h\x00o\x00o\x00d\x00s\x00 \x00 \x00 \x00 \x00#\x00#\x00 \x00E\x00x\x00a\x00m\x00p\x00l\x00e\x00 \x00 \x00 \x00 \x00\x00\x00`\x00p\x00y\x00t\x00h\x00o\x00n\x00 \x00 \x00f\x00r\x00o\x00m\x00 \x00i\x00o\x00t\x00_\x00u\x00n\x00c\x00e\x00r\x00t\x00a\x00i\x00n\x00t\x00y\x00.\x00s\x00a\x00t\x00.\x00c\x00o\x00n\x00s\x00t\x00r\x00a\x00i\x00n\x00t\x00_\x00s\x00o\x00l\x00v\x00e\x00r\x00 \x00i\x00m\x00p\x00o\x00r\x00t\x00 \x00C\x00o\x00n\x00s\x00t\x00r\x00a\x00i\x00n\x00t\x00S\x00o\x00l\x00v\x00e\x00r\x00 \x00 \x00f\x00r\x00o\x00m\x00 \x00i\x00o\x00t\x00_\x00u\x00n\x00c\x00e\x00r\x00t\x00a\x00i\x00n\x00t\x00y\x00.\x00p\x00r\x00o\x00b\x00.\x00p\x00r\x00o\x00b\x00a\x00b\x00i\x00l\x00i\x00t\x00y\x00_\x00m\x00o\x00d\x00e\x00l\x00 \x00i\x00m\x00p\x00o\x00r\x00t\x00 \x00P\x00r\x00o\x00b\x00a\x00b\x00i\x00l\x00i\x00t\x00y\x00M\x00o\x00d\x00e\x00l\x00 \x00 \x00 \x00 \x00

Project details


Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

iot_uncertainty-1.0.0.tar.gz (2.0 kB view details)

Uploaded Source

Built Distribution

If you're not sure about the file name format, learn more about wheel file names.

iot_uncertainty-1.0.0-py3-none-any.whl (1.6 kB view details)

Uploaded Python 3

File details

Details for the file iot_uncertainty-1.0.0.tar.gz.

File metadata

  • Download URL: iot_uncertainty-1.0.0.tar.gz
  • Upload date:
  • Size: 2.0 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/6.1.0 CPython/3.13.2

File hashes

Hashes for iot_uncertainty-1.0.0.tar.gz
Algorithm Hash digest
SHA256 088ec0fc9b615b8d6fd9fd347bfdf6f8114c57f4f4e519c9f72709d480f29a3a
MD5 b404972a61014390f92721d10ee9cf2f
BLAKE2b-256 23c36b3ebff82e5ec90b5787f4672557d3997ba948213dfcb358897278a939dc

See more details on using hashes here.

File details

Details for the file iot_uncertainty-1.0.0-py3-none-any.whl.

File metadata

File hashes

Hashes for iot_uncertainty-1.0.0-py3-none-any.whl
Algorithm Hash digest
SHA256 c2b7f242cc8575acb0c58c3532cdfdd195c49032b76ed1277b49e8866a2ea385
MD5 945ba6cc4725f1c3acf3e5a8f04abf76
BLAKE2b-256 06b16d903d7eadc3700cc6700ebd13fb5d755fc63085724f5aa38d009535a7f7

See more details on using hashes here.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page