The VeriNet toolkit for verification of neural networks

The VeriNet toolkit is a state-of-the-art sound and complete symbolic interval propagation based toolkit for verification of neural networks. VeriNet won second place overall and was the most performing among toolkits not using GPUs in the 2nd international verification of neural networks competition. VeriNet is devloped at the Verification of Autonomous Systems (VAS) group, Imperial College London. Relevant Publications. VeriNet is developed as part of the following publications: Efficient Neural Network Verification via Adaptive Refinement and Adversarial Search DEEPSPLIT: An […]

Read more

A python-based package offers a way of creating a parametric OpenMC plasma source from plasma parameters

This python-based package offers a way of creating a parametric OpenMC plasma source from plasma parameters. The OpenMC sources are ring sources which reduces the computational cost and the settings.xml file size. The equations implemented here are taken from this paper. Installation To install openmc-plasma-source, simply run: pip install openmc-plasma-source Basic usage from openmc_plasma_source import Plasma # create a plasma source

Read more

Finding LCM using python from scratch

Here, I write a practice program to find the LCM i.e Lowest Common Multiplication of two numbers using python without library. Requirements No Special Requirements Contribution I have strong belief on open source contribution and I promote the open source contribution. So, I invite you all to add new features in this game and also simplify the code as you can. Come here and show your talent. Authors and acknowledgment Author Name: Sachin Vinayak Dabhade License GNU – Open for […]

Read more

Know your customer pipeline in apache air flow

Know your customer pipeline in apache air flow For a successful pipeline run take these steps: Run you Airflow server Admin -> connection -> create Triger the input_dag Before triggering the File_ process dag, move one of the JSON files into the tmp folder (for example the request_1411.json). In the program we must give the right name of the JSON file to load. Triger the File_process dag Input: For our data, when I read the assignment and what I understood […]

Read more

A sample application that demonstrates integrating Firmalyzer’s IoTVAS API

This repository hosts a sample application that demonstrates integrating Firmalyzer’s IoTVAS API with the Rapid7 InsightVM platform. This integration enables InsightVM users to: accurately identify IoT/connected devices and their vulnerabilities in the firmware code level track and manage discontinued, outdated and vulnerable devices from within InsightVM platform Clone the repository content to a local folder and issue the following commands: python3 -mvenv env source env/bin/activate pip install -r requirements.txt Note: This application is based on the InsightVM API client (located […]

Read more

Telegram bot to stream videos in telegram voicechat for both groups and channels

Telegram bot to stream videos in telegram voicechat for both groups and channels. Supports live strams, YouTube videos and telegram media. Config Vars: Mandatory Vars API_ID : Get From my.telegram.org API_HASH : Get from my.telegram.org BOT_TOKEN : @Botfather SESSION_STRING : Generate From here CHAT : ID of Channel/Group where the bot plays Music. Optional Vars: LOG_GROUP : Group to send Playlist, if CHAT is a Group() ADMINS : ID of users who can use admin commands. STARTUP_STREAM : This will […]

Read more

A tool was created in order to automate some basic OSINT tasks for penetration testing assingments

This tool was created in order to automate some basic OSINT tasks for penetration testing assingments. The main feature that I haven’t seen much anywhere is the downloadd google dork function where this function first perform basic google dorking to find the targets public documents. These documents will then be downloaded to the attackers computer and can be used further to identify metadata about the client. Installation Create virtual enviroment: python3 -m venv enumit Activate the virtual enviroment: source enumit/bin/activate […]

Read more

Configure your wallet assets and prices to watch with python

Track your favorite crypto coin price and your wallet balance. Install Create .env: ADMIN_USER=admin ADMIN_PASSWORD=admin Configure your wallet assets and prices to watch vi cryptowatch/config.json Clone this repository on your Docker host, cd into test directory and run compose up: git clone https://github.com/rafaelzimmermann/cryptowatch.git cd cryptowatch docker-compose up -d Open on your browser: http://localhost:3000/ To check the available symbols:    

Read more

A bot which provides online/offline and player status for Thicc SMP, using Replit

A bot which provides online/offline and player status for Thicc SMP. Currently being hosted on Replit. How to use? Create a repl on Replit, put those files in. Create an environment variable, name it TOKEN, put your Discord bot token in the value box. Create another environment variable, name it ADDRESS and put your server’s IP address in. Edit your bot’s prefix if you want in main.py. Start repl. 24/7 Hosting Login to your UptimeRobot account, create a monitor (HTTP(s) […]

Read more

Dense Deep Unfolding Network with 3D-CNN Prior for Snapshot Compressive Imaging

This repository is the code for the following paper: Zhuoyuan Wu, Jian Zhang, Chong Mou. Dense Deep Unfolding Network with 3D-CNN Prior for Snapshot Compressive Imaging. ICCV 2021. [PDF] Introduction Snapshot compressive imaging (SCI) aims to record three-dimensional signals via a two-dimensional camera. For the sake of building a fast and accurate SCI recovery algorithm, we incorporate the interpretability of model-based methods and the speed of learning-based ones and present a novel dense deep unfolding network (DUN) with 3D-CNN prior […]

Read more
1 450 451 452 453 454 928