martin-mfg

Ich verstehe nicht, warum die Umformung, die du markiert hast, nicht funktioniert. Du schreibst, dass man den Erwartungswert nicht reinziehen kann. Da stimme ich dir zu, aber m.E. ist das auch nicht nötig. Ich vermute, ich habe mir bei der Umformung damals Folgendes gedacht:

Aus Claim 1 wissen wir:
$  \sum\limits_{r=1}^t \left(\sum\limits_{c=1}^n ( \Pi_{r,c} \cdot x_c )^2 \right) $
$ = \sum\limits_{c=1}^n \left(\sum\limits_{r=1}^t ( \Pi_{r,c} \cdot x_c )^2 \right) $ 
$ = \sum\limits_{c=1}^n \left( x_c^2 \sum\limits_{r=1}^t \Pi_{r,c}^2 \right) $ 
$ = \sum\limits_{c=1}^n x_c^2 $

zusammengefasst:
$  \sum\limits_{r=1}^t \left(\sum\limits_{c=1}^n ( \Pi_{r,c} \cdot x_c )^2 \right) = \sum\limits_{c=1}^n x_c^2 $

martin-mfg

	/**
	 * Updates the edit node
	 *
	 * @param {Ext.tree.TreeNode} node
	 * @param {String} editableText
	 * @param {String} updatedNode
	 * @return {void}
	 */
	updateNodeText: function(node, editableText, updatedNode) {
		node.setText(this.editNode.attributes.prefix + updatedNode + this.editNode.attributes.suffix);

martin-mfg

#include <Date.au3>
#include <Array.au3>
#include <Constants.au3>

Local $iUnixTime1 = _GetUnixTime()

MsgBox($MB_SYSTEMMODAL, 'Seconds Since Jan, 1st, 1970 00:00:00 GMT', $iUnixTime1)

Local $sUnixDate1 = _GetDate_fromUnixTime($iUnixTime1)
MsgBox($MB_SYSTEMMODAL, "", $sUnixDate1)

martin-mfg

snow = {
	count: 60,
	delay: 20,
	flutter: 0.2,
  wobble: 0.5,
  spin: 1.0,
	wind: 1.0,
	w1: 1,
	minSpeed: 0.3,
	maxSpeed: 4,

martin-mfg

    public static void main(String[] args) throws Exception
    {
        final int WIDTH = 5;
        final int HEIGHT = 5;

        GridCoverageBuilder builder = new GridCoverageBuilder();

        builder.setEnvelope(0, 0, WIDTH, HEIGHT); // x_min, y_min, x_max, y_max
        /*
            According to the documentation, the min and max allowed values for the coordinates are to be specified here,

martin-mfg

def layout = session.lookup('org.apache.maven.artifact.repository.layout.ArtifactRepositoryLayout');
def repoFactory = session.lookup('org.apache.maven.artifact.repository.ArtifactRepositoryFactory');

def repository = repoFactory.createDeploymentArtifactRepository(
    project.distributionManagement.repository.id,
    project.distributionManagement.repository.url,
    layout, true );

def snapshotRepository = repoFactory.createDeploymentArtifactRepository(
    project.distributionManagement.snapshotRepository.id,

martin-mfg

swagger: '2.0'
info:
  description: "This spec is mainly for testing Petstore server and contains fake endpoints, models. Please do not use this for any other purpose. Special characters: \" \\"
  version: 1.0.0
  title: OpenAPI Petstore
paths:
  '/':
    get:
      description: dummy
      operationId: getSingle

martin-mfg

swagger: "2.0"
info:
  title: dummy
  version: dummy
paths:
  /property:
    post:
      consumes:
        - application/x-www-form-urlencoded
      parameters:

martin-mfg

openapi: 3.0.3
info:
  title: example of a parent schema with discriminator property that is an enum
  version: "2.0"
paths:
  "/pet/{petId}":
    get:
      summary: Find pet by id
      operationId: getBetById
      parameters:

martin-mfg

package demo;

import org.springframework.boot.SpringApplication;
import org.springframework.boot.autoconfigure.SpringBootApplication;
import org.springframework.http.HttpStatus;
import org.springframework.http.ResponseEntity;
import org.springframework.stereotype.Controller;
import org.springframework.validation.annotation.Validated;
import org.springframework.web.bind.annotation.RequestMapping;
import org.springframework.web.bind.annotation.RequestMethod;