Featured

Business

Design

Education

How-to & DIY

Marketing & SEO

Programming

Research

Science

Storyboards

Technology

Exactpro

PRO

exactpro

0 Followings 4 Followers 0 Stars

Anomaly Detection. Part 1 – Basics

Test Design for AI Systems

Testing of AI-based Solutions

Formal Verification of Solidity Contracts. Q&A session

Formal Verification of Solidity Contracts

Decentralized finance on Ethereum. Q&A session

Formal verification of software. Q&A session

Decentralized finance on Ethereum

Formal verification of software

Agile Testing and Guinea Pigs

TMPA-2021: An approach to create a synthetic financial transactions dataset based on NDA-protected dataset

TMPA-2021: SPIDER: Specification-based Integration Defect Revealer

TMPA-2021: Unpaired Image-to-Image Translation using Transformer-based CycleGAN

TMPA-2021: Link graph and data-driven graphs as complex networks: comparative study

TMPA-2021: Detection of flying objects using the YOLOv4 convolutional neural network

TMPA-2021: Optic Flow approximated by a homogeneous, three-dimensional Point Renewal Process

TMPA-2021: Formal Methods: Theory and Practice of Linux Verification Center (Part 2 - Testing of Operating Systems)

Speaker Deck Pro: Add privacy options and schedule the publishing of your decks Upgrade