<--- Back to Details
First PageDocument Content
SEMAT / Kernel / Ethology / Application software / Engineering / System / Software development process / Software engineer / Software development methodology / Software engineering / Science / Software
Date: 2012-03-19 15:25:09
SEMAT
Kernel
Ethology
Application software
Engineering
System
Software development process
Software engineer
Software development methodology
Software engineering
Science
Software

Add to Reading List

Source URL: blog.paluno.uni-due.de

Download Document from Source Website

File Size: 592,77 KB

Share Document on Facebook

Similar Documents

I1 / Garbage collection

A Story of Parametric Trace Slicing, Garbage and Static Analysis Giles Reger School of Computer Science, University of Manchester, UK PrePost 2017

DocID: 1xW3e - View Document

Computing / Computer architecture / Android / System software / Online marketplaces / Google Play / Intent

Poster: Android Collusive Data Leaks with Flow-sensitive DIALDroid Dataset Amiangshu Bosu Fang Liu, Danfeng (Daphne) Yao, Gang Wang Department of Computer Science

DocID: 1xW0O - View Document

Artificial neural networks / Mathematics / Computational neuroscience / Applied mathematics / Mathematical analysis / Lipschitz continuity / operator / Continuous function / Gradient descent / Convolutional neural network / Rectifier / Deep learning

Reachability Analysis of Deep Neural Networks with Provable Guarantees Wenjie Ruan1 , Xiaowei Huang2 , Marta Kwiatkowska1 Department of Computer Science, University of Oxford, UK 2 Department of Computer Science, Univers

DocID: 1xW0E - View Document

Algebra / Linear algebra / Mathematics / Matrices / Numerical linear algebra / Unitary matrix / Matrix / Rotational symmetry / Four-vector / Permutation matrix / Eigenvalue perturbation / Singular value decomposition

CS378, MA375T, PHY341 Homework 1 Homework 1 Introduction to Quantum Information Science

DocID: 1xVZC - View Document

Algebra / Quantum mechanics / Physics / Quantum information science / Quantum states / Linear algebra / Quantum computing / 0I / Quantum circuit / Eigenvalues and eigenvectors / Qubit / Eigenvalue perturbation

CS378, MA375T, PHY341 Homework 2 Homework 2 Introduction to Quantum Information Science

DocID: 1xVYW - View Document