CVXPY is a domain-specific language for convex optimization embedded in Python. It allows the user to express convex optimization problems in a natural syntax that follows the math, rather than in the restrictive standard form required by solvers. CVXPY makes it easy to combine convex optimization with high-level features of Python such as parallelism and object-oriented design. CVXPY is availa...

In this report we describe a low-interaction honeypot, which is capable of capturing autonomous spreading malware from the internet, named Amun. For this purpose, the software emulates a wide range of different vulnerabilities. As soon as an attacker exploits one of the emulated vulnerabilities the payload transmitted by the attacker is analyzed and any download URL found is extracted. Next, th...

Results: Considering all measures the best configuration was Selenium with Python language binding for Google Chrome. Selenium with Python bindings was the best option for all browsers. The effect size of the difference between the slowest and fastest configuration was very high (Cohen’s d=41.5, 91% increase in execution time). Overall Internet Explorer was the fastest browser while having the ...

The optimization of a Python program has a limit point, beyond which a programmer must resort to C code in order to get more speed. Not all programmers are willing or able to take this step. 211 is an experimental program which automatically converts Python virtual machine code into C. In this paper I discuss 211, its results, and suggest changes to Python’s internals which should yield better ...

Producing readable and correct programs while at the same time taking advantage of multi-core architectures is a challenge. PyCSP is an implementation of Communicating Sequential Processes algebra (CSP) for the Python programming language, taking advantage of CSP’s formal and verifiable approach to controlling concurrency and the readability of Python source code. We describe PyCSP, demonstrate...

In this paper, a framework for testing Deep Neural Network (DNN) design in Python is presented. First, big data, machine learning (ML), and Artificial Neural Networks (ANNs) are discussed to familiarize the reader with the importance of such a system. Next, the benefits and detriments of implementing such a system in Python are presented. Lastly, the specifics of the system are explained, and s...

Abstract JANI-model [6] is a model interchange format for networks of interacting automata. It well-entrenched in the quantitative checking community and allows modeling variety systems involving concurrency, probabilistic real-time aspects, as well continuous dynamics. Python general purpose programming language preferred by many its ease use vast ecosystem. In this paper, we present Momba , f...

Zusammenfassung: Die Frage nach geeigneten Programmiersprachen für den Informatikunterricht wird seit Jahrzehnten diskutiert. Dieser Bericht fasst die Ergebnisse einer Untersuchung von Programmiersprachen – und insbesondere der Sprache Python – unter dem Aspekt der schnellen Softwareentwicklung zusammen. Es zeigen sich Parallelen bei den Anforderungen an Programmiersprachen zur schnellen Softwa...