Fusing Social Media Cues: Personality Prediction from Twitter and Instagram Marcin Skowron Marko Tkalˇciˇc

Source URL: gdac.uqam.ca

• Personality traits
• Psychology
• Behavioural sciences
• Neuroscience
• Social networking service
• Big Five personality traits
• Extraversion and introversion
• Openness to experience
• Conscientiousness
• Personality

Study of Integrating Random and Symbolic Testing for Object-Oriented Software∗ Marko Dimjašević1 , Falk Howar2 , Kasper Luckow3 , and Zvonimir Rakamarić1 1 2

Source URL: www.falkhowar.de

• Software testing
• Software engineering
• Computing
• Software development
• Symbolic execution
• Random testing
• Unit testing
• Code coverage
• Test automation
• Algorithm
• Manual testing
• Concolic testing

JDart: A Dynamic Symbolic Analysis Framework? Kasper Luckow1 , Marko Dimjašević2 , Dimitra Giannakopoulou3 , Falk Howar4 , Malte Isberner5 , Temesghen Kahsai1,3 , Zvonimir Rakamarić2 , and Vishwanath Raman6 1

Source URL: www.falkhowar.de

• Theoretical computer science
• Software testing
• Software engineering
• Computing
• Constraint programming
• Automated theorem proving
• Concolic testing
• Symbolic execution
• Satisfiability modulo theories
• Java Pathfinder
• Solver
• KeY

PDF Document

Source URL: www.hotel-marko.at

Automated Analysis and Verification of TLS 1.3: 0-RTT, Resumption and Delayed Authentication Cas Cremers, Marko Horvat Sam Scott, Thyla van der Merwe

Source URL: www.cs.ox.ac.uk

A Comprehensive Symbolic Analysis of TLS 1.3 Cas Cremers Marko Horvat University of Oxford, UK

Source URL: tls13tamarin.github.io

Autonomous Navigation of Hexapod Robots With Vision-based Controller Adaptation Marko Bjelonic1∗ , Timon Homberger2∗ , Navinda Kottege3 , Paulo Borges3 , Margarita Chli4 , Philipp Beckerle5 Abstract— This work intr

Source URL: www.navinda.kottege.net

Child Soldiers: Victims or War Criminals? -criminal responsibility and prosecution of child soldiers under international criminal law- Counsel: Marko Novaković, PhD

Source URL: www.ra-un.org

Abstract Updated 2016 On the Marko↵ Equation x 2 + y 2 + z 2 = 3xyz

Source URL: webusers.imj-prg.fr

Marko Dekovic Vice President, Public Affairs Global Container Terminals Marko is an accomplished and recognized public affairs professional, in private, public and not-for-profit sectors. Over the past 16 years he has he

Source URL: www.acpa-ports.net