Extracting Lifted Mutual Exclusion Invariants from Temporal Planning Domains. MoodSwipe: A Soft Keyboard that Suggests Messages Based on User-Specified Emotions. Applying Deep Machine Learning for psycho-demographic profiling of Internet users using O.C.E.A.N. model of personality. Fine-Pruning: Joint Fine-Tuning and Compression of a Convolutional …