Merken

# How to tidy up the jungle of mathematical models? A prerequisite for sustainable research software

#### Automatisierte Medienanalyse

## Diese automatischen Videoanalysen setzt das TIB|AV-Portal ein:

**Szenenerkennung**—

**Shot Boundary Detection**segmentiert das Video anhand von Bildmerkmalen. Ein daraus erzeugtes visuelles Inhaltsverzeichnis gibt einen schnellen Überblick über den Inhalt des Videos und bietet einen zielgenauen Zugriff.

**Texterkennung**–

**Intelligent Character Recognition**erfasst, indexiert und macht geschriebene Sprache (zum Beispiel Text auf Folien) durchsuchbar.

**Spracherkennung**–

**Speech to Text**notiert die gesprochene Sprache im Video in Form eines Transkripts, das durchsuchbar ist.

**Bilderkennung**–

**Visual Concept Detection**indexiert das Bewegtbild mit fachspezifischen und fächerübergreifenden visuellen Konzepten (zum Beispiel Landschaft, Fassadendetail, technische Zeichnung, Computeranimation oder Vorlesung).

**Verschlagwortung**–

**Named Entity Recognition**beschreibt die einzelnen Videosegmente mit semantisch verknüpften Sachbegriffen. Synonyme oder Unterbegriffe von eingegebenen Suchbegriffen können dadurch automatisch mitgesucht werden, was die Treffermenge erweitert.

Erkannte Entitäten

Sprachtranskript

00:04

but I think it wasn't so that is the end of the fangs organisers of this event is then nice confidence for inviting me and presenting my idea also to these topic of sustainable research software and

00:20

usually on basically that as of the search of which also developed a lot of stuff there but in the last 2 years and I the about be so what is the subset of all of our presents few and so we developed some constants and get in contact with which I call houses forms of University of Allen and yeah I present on the sides of his joint work which esthetic reasons

00:48

and so advise has Institute of our mission is to get the all-important oriented Applied Analysis and Stochastics and this means of which

00:58

aims starting of modern and not an analysis of the trations this as a master search developing American message code and also performing applications and doing this practice be developed in the last 20 years uh Mum on 16 software packages which we which is on long-term software and you have also optic edges In all put for you but um and and so this is 1 of our it points to the times the mixture presides to other disciplines Orton's free the software so it's very important for us I'm involved the visitors from a cogent and the US yeah conducted

01:44

this is 1 part and I use some of these stories and come to the end for this reason the core software development is an important topic at the US and also the Institute all decided to develop a policy software policy

02:02

on software development policy which states which soft every year for like this publication oriented this obvious more scripts we discussed yesterday and the of his long-term software like these packages can be defined whole in these development and guidelines to this the and a lot of things I learned and in particular this today I found also in his personal privacy sold

02:29

what is my driving force the

02:31

messenger the talk before the about this part of the team of science idea the that a different meaning so we have experience if you'll be this was in the past and now we have the things that also got exploration of computational outside of the family as mental making money and simulation which bridges this approach

02:55

between theory and practice and this is very successful to and M. M.

03:01

S. connects different disciplines because it's it's a common technique it's interdisciplinarity itself so you do have the for example the 2 disciplines and and by since there always things are expressed by mathematics in some kind the mathematics this evening lost on of evanescent and it's basically an interdisciplinarity part and so successfully

03:28

and end of that he's in office integer of the school common quarters and you often shares the same methods for ensemble statistics is can be used in different disciplines but also proven by that you have the same for the phenomenon for example of what class in the Michael studied in biochip but as the same phenomenon which types of the result or the or the prediction so

03:56

desires of reasons why this interdisciplinary core them and

04:01

this also due to genetic softer somehow for example the learned yesterday about the our community and also the supplies and community so this distance synergies to make this efficient and also on on the phenomenon that we have that the conditions of their life open fall for the of the of commercial software which connects

04:25

us but but this is few in practice

04:28

we have introduced can often the situation of the given up their own MMS words independently and we have language barriers between disciplines and this leads often to the invention of severe not on your modeling side but also on the south side and this also stated

04:49

as 1 problem of interdisciplinary science but by nature that's an

04:55

interdisciplinary science make must break down barriers between fields to build a common ground and I mathematical modeling and simulation codes such as the common cold

05:07

OK so because domestic techniques become so popular in my fear uh overtures opted for the

05:15

modeling and simulation of optoelectronic devices alone it the number of publications going because they have a lot of available software and native people use these techniques but often this is fairly difficult to sort of they they make that also the events in in in in and and now the bins are reasoning and for most of the the big players in this field you often key co-organizers not community which

05:48

is 1 of the largest conferences and this creates on international 1 of what's in this blog posts that looking better to pose and 60 I just be nice that my union Lord of piety was increased almost 80 John at papers mainly in the field of automatic conic device simulation by the number of such

06:09

paper submissions to Pope John is the certainly would news but a paper quality is often insufficient unfortunately I have to propose projecting of most of the papers after a detailed assessment of essential mistakes and so this inspired him to give some recommendations like guidelines is it could possibly information but an inverse of eta exactly to reproduce the results by using the same software input file from the parameters a set of increasing number of jobless not accept what even you find such supplemented documents now

06:44

and so this is what the had before on 1 hand these techniques are enabling but on the other hand I'm just it's also to other producibility causes

06:54

and sold in this sense of what he mentioned so stage of software stage data of 1 on such this and reproducibility causes to say see this is a crisis of the management of the more the such data are so um

07:10

alone because in this field so if there is producing of food they have certain classic today doesn't America data input output and perform a task uh um be discussed how to cite the software discussed importance of software and also for the data set of static models it is are launched and open doctor is emerging the emergence of a services like Dr. site which assigns the use of our time software he accepted trade uh there's a radar is emerging as a technology to manage the entire environment you have to put large deposits ones on the software side the part aboard SW monster yesterday it happens in between

07:59

and also uh we could use a good quality of software is the mission of autumn leuciscus file as a scientist of another talk before and also platforms are the launch tools and sustains the development of these open so search words um bottles of was

08:20

11 action know the event yesterday has has its aims thought that unknown looking on software to a to look on this parts but on and so I

08:31

think this is the important step in this direction but in my opinion as as as impractical and MMS is that you cannot understand software and data which also related

08:43

mathematical models so know In this thing is this effect of the law uh and and and and this is not mentioned in this discussion of the of producibility causes so I don't

08:59

see it as a subclass he sold this as if the had last going on the same point namely all the search 2 types of

09:07

people by rumor such his eyes on the sides of our model they time it and so there and so this

09:15

concept uh basic concepts you have to do that the um we could that presented at last year it's from the info grown in Rome meeting

09:28

and the ICMS the which leads to tools more publications that the states about us of our opinion and that it's important to include models and to this discussion and in particular this publication and I the initiate this time ultimately into which sense of mathematical models uh the such data category in contact emission who has a with an expert in middle-aged and knowledge management and so the the get and contact and kites tool to this is the only sort of saying yes we we have to do this but we don't know how to be a nice this and them by this

10:12

quantity the types so the state of case

10:16

study and the case study of our own for these process to convert of mathematical models came directly from my fear was that this self-imposed problem in

10:29

this paper the we make our discussion on the he tetration that's also some the Working morsels of N and S but some people said OK this is to simpler than and so the

10:44

selected isolated some part of of my basic research and these are the basic iterations of the system I don't want to explain in in detail I only want to say this is typically they use light arms and water so in a mixture of naturally text and form last and even when and a PDF document this is the baby % information pay parcel documentations in but if you want to

11:11

do the same as for software and

11:14

for for data we with some digital vagal handed to in machine it's a vapor this and this now comes to the field of mathematical knowledge management so um the odd things to and if you see these formula so if I look on the following if I see him

11:34

was he sought some semantics in the form of maybe you are not the because you're not going to work the situations so in our

11:42

brains severe artifice modestly of a cognitive representation of his contacts in our minds this gets played by working with this model and the communicate between each other as in in a mixture of native language and formulas but how we can bring this knowledge of if representation into the machine and the tightest

12:05

this fish different approaches the

12:08

end at the moment have uh favor some reports which is called model parsley diagrams here only to see for the former of Fund was talk system such a diagram of which basically consists of connecting quantities but um the like here is the is the charge density is composed of the doping 5 and so who in and a ton density by loss on the uh on displacement is the net electric use electric field times the permittivity who and so on so this had did you what about this very so we have some natural eventually expresses so deserves underlying semantics in the system and so here's a

12:59

simpler version of the so called you need all of Russian and you can see even that this has some hierarchy so you have you could put out some MPEG 4 hours

13:10

of displacement here you have an NPD for the nonlinear pass occasion and this then this coupled to an amputee also transport complex and so by this state you get that a lot of semantics and tools of the system by working the knowledge graphs but this is only some the perfect the presentation that makes it can be used can be presented in the machine and they

13:36

are alone me the apparent that the system and it a bit and if they had the look only on on the use of part of the percentage variation and then the user system which is quite common to use to formally describe the continent medical context here you see

13:57

some uh snapshot from the energy source code for example which describes the of of of permittivity loss of we introduce a quantity permittivity which is the number of the of the dielectric permittivity purchase was then at times the epsilon there's a long the we can formalize the quantities for example the electrostatic potential as a function from the domain tool to your values so but we can express a loss for example here the displacement in this formal language and also to concentration of the gospel or can be expressed in some niche where they and and this can be checked if everything is compact and the in in a in a in a former destruction the so but this is not

14:51

very practical a tool to work this is what's in machine can check and type-checker evening um the next

15:00

step is the In this formalization step is to use sort of say semantic only and have a presentation of the semantic knowledge which 1 possibility is from the soul must documents formant over may you get sort of some more not nice of you on on this knowledge in the image for example you just say OK it's I ascetical static potential as a function from 2 are different spatial variation of selected study potential uh it it includes device geology and device and so on the

15:40

influence of the displacement

15:42

in the next step in this because the 5 documents and we want to align them on all shoulders knowledge uh in connectivist to this mission actionable knowledge and 1 way to do this possibility is estimation of this as semantic markup for cases is a lot of sets of you revise our documents so in the In mathematical modeling and simulation and and soul you or you can also and and lines of definitions funds on North tool to

16:16

use as a definitions and then you can provide your doctor escort uh in this thing that you use here some articles usually do you this on your own but these markers are directly connected to this mathematical model so at the end of the machine also how this is connected to these objects he defined in the formal language and so this

16:40

is called semantic the loading of slotted documents and by having this change

16:45

starting from informant mathematical what it's like the on presentation we can formulate an amendment to the generates the on off presentation from the mn TV can generate these modern parsley diagrams automatically not but I wanted it this estimation for vitamin our documents and the then our documents on mortgages or documentation has our semantic be ordered and this leads to the notion selected documents so on

17:18

the 1 hand here in the energy level of the has these machine actionable knowledge by the of also semantic documents which side the hour of how they are related to these data the

17:33

and good example for these calls that they developed as a 1st so

17:38

this is an NP give you all 4 of these MNT only got knowledge

17:44

in in in this part of the machine and you can see a snapshot of

17:48

these 1st designed it looks very similar to what love what I sketched before us started form but this is not generated forms of knowledge and the sheet so what could be

18:00

future services based on this knowledge of 1 point as they are the many variants of of writing this iterations 1 point is here using monte trees and so this is the the CATH like but some people only will want you can insert everything and when you get back to the decisions so Mr. this this coolest ones and task that

18:26

I flattened all past a single iteration so all of the 1 they

18:32

as tools to to generate these possible the variance by by flattening of the modern passing their comes

18:40

and bonding was important thing is that in different parts of communities they use different notations so you'll see that 1 um Tober connotations of this same occasion basically for me as an expert I can add this but it makes

18:56

me also difficult to read the literature I I need to pass to look to check how this corresponds into my setting and and vise versa so this is also a barrier in communication even working on the same model and the semantic previewed in could be if they choose to work on that so a step further and in having different node and generating different notations for the same model

19:24

the and so this this this

19:27

ideas but what what is today we are going to be to the open to all want to open access publications and here you see also the fund was book system in such a nexus publication nicely can operate in HTML 5 but at the moment you can see here this is only the knowledge so there is no semantics here but as you see we have the technology to me to have these online publications of on the publications and by the system i for which we could if that's not a big step to to get also the matter make and land as to the mathematical knowledge and to connect this to use the services and benefits well much clearer and to to do this discovers

20:11

things and this brings me to further services based on user mathematical knowledge management from which are active documents which can adapt to the audience for some variables as functions for the mitogens there as soon as far physicists in document implement effective means to get to 4 iterations or simplified experience integration to compute the idea was this is an example of know to be included you eyes from all what is the opposite of these mortgage find us and model identification a composition model effectively that could be part of any and these are could applies the

20:54

fair principles I learned yesterday findable excessive and and usable work on mortgage and pay to tidy up so John of mathematical model for the present literature and hopefully to lead to better papers by on and states now I come back to the

21:11

software so I started to these tiny beta software and moderates

21:16

on this is sort of say basically containers and practice but it's more

21:21

difficult than what this this a continuous the presentation you often have to discretize them to serve the computer the software consists of API is the coated surface and and the documentation also often diffuse the oxygen you have yet cost and the same applies for data you have only 2 quantities geometry and mesh and so on so what I think important

21:47

is if you want not to link them as contain us that we need to put semantics into these

21:55

connections as as the word use of in the 1st taught and I

22:01

presented some ideas what could be the poachers for this part yeah so this is he's an empty on talks about system and PDC true to bring semantics of intermediate tool in mathematical models and the discretization and sperm now for the other part I think it's open and if he could get all you get us so this would be from your digital research environment for on special service which should not done by a single Institute but more

22:35

by infrastructure institutions and

22:38

now I come to my summary and our clock that produces ability of it's in MMSE which is my future of of research in the in the final the precise information on mathematical models so software to solve and and some data 4 4 forms of special cases so I presented empty OMDoc as of the end model pass idea comes as if they were to machine-actionable and human

23:11

understandable and possibility to manage this mathematical not it's involved in mathematical models and to carry out this is this case study on the fund was book system and content and the continue in this direction and now I want to formulate the two-hop poses uses the be discussed also unmetered out 1st off the oposite them I would say moderate parsley diagrams but also some kind of made up about half of scientific software and data data safe because they have and I some kind to some kind of semantics In the integration of mathematical knowledge management the signs of the courts have to formalize size documentations and

23:56

also the he was the development and testing of new software development could benefit from some from doing so because you

24:06

directly see holds a a modest online choose a software and how how spirit and and this could In the future the 2 this is my point of view what is important for sustainable sulfur in the

24:19

future and I the clauses the the war came on open science I would more so to science because not everyone wants to all this data and the salsa optimizes circulation excess and transport of scientific knowledge and

24:39

so this is our our ideas to this and also offers eyes in available as people and and our we so thank you for the attention of fj

00:00

Software

Numerisches Modell

Bereichsschätzung

Software

Selbst organisierendes System

Mathematisierung

Dienst <Informatik>

Information

Ereignishorizont

Computeranimation

00:19

Konstante

Teilmenge

Erlang-Verteilung

Orientierung <Mathematik>

Software

Assoziativgesetz

Bildschirmmaske

Numerisches Modell

Stochastik

Besprechung/Interview

Analysis

Computeranimation

Analysis

00:58

Überschall

Zusammengesetzte Verteilung

Software

Software

Kartesische Koordinaten

Information

Code

Message-Passing

Computeranimation

Analysis

Modul <Software>

01:44

Software

Datenmissbrauch

Software

Mereologie

Skript <Programm>

Speicherabzug

Dienst <Informatik>

Information

Softwareentwickler

Computeranimation

02:27

Arithmetisches Mittel

Software

Numerisches Modell

Forcing

Wissenschaftliches Rechnen

Mereologie

Simulation

Bridge <Kommunikationstechnik>

Diskrete Simulation

Dienst <Informatik>

Information

Computeranimation

02:53

Software

Subtraktion

Mathematik

Mereologie

Mathematik

Diskrete Simulation

Dienst <Informatik>

Information

Physikalische Theorie

Computeranimation

03:28

Resultante

Statistik

Klasse <Mathematik>

Mathematisierung

Mathematik

Dienst <Informatik>

Information

Computeranimation

Office-Paket

Software

Prognoseverfahren

Ganze Zahl

Gruppe <Mathematik>

Datentyp

Statistische Analyse

Speicherabzug

03:59

Offene Menge

Software

Computerspiel

Software

Offene Menge

Konditionszahl

Kegelschnitt

Generizität

Mathematik

Dienst <Informatik>

Abstand

Information

Computeranimation

04:27

Dualitätstheorie

Formale Sprache

Natürliche Zahl

Formale Sprache

Besprechung/Interview

Mathematisierung

Wort <Informatik>

Information

Computeranimation

Numerisches Modell

Feuchteleitung

04:51

Software

Datenfeld

Formale Sprache

Codierung

Simulation

Dienst <Informatik>

Information

Simulation

Computeranimation

Feuchteleitung

Numerisches Modell

05:13

Kegelschnitt

Web log

Finite-Elemente-Methode

Kardinalzahl

Kommunikationsdesign

Zahlenbereich

Dienst <Informatik>

Information

Quick-Sort

Computeranimation

Web log

PROM

Integral

Fundamentalsatz der Algebra

Informationsmodellierung

Software

Datenfeld

Arbeit <Physik>

Software

Binärdaten

Freier Ladungsträger

Simulation

Simulation

Peer-to-Peer-Netz

06:07

Resultante

Parametersystem

Physikalischer Effekt

Inverse

Dienst <Informatik>

Ein-Ausgabe

Elektronische Publikation

Information

Computeranimation

Web log

Metropolitan area network

Software

Ganze Zahl

Menge

Einheit <Mathematik>

Software

ATM

Parametersystem

Information

Simulation

06:54

Offene Menge

Web Site

Dokumentenserver

Digital Rights Management

Mathematik

Kraft

Dienst <Informatik>

Information

Computeranimation

Eins

Task

Hydrostatik

Monster-Gruppe

Open Source

Software

Funktion <Mathematik>

Physikalischer Effekt

Ein-Ausgabe

Dienst <Informatik>

Software

Datenfeld

Menge

Funktion <Mathematik>

Mereologie

Ein-Ausgabe

Parametersystem

Case-Modding

Programmierumgebung

Numerisches Modell

07:58

Offene Menge

Dokumentenserver

Güte der Anpassung

Gruppenoperation

Kraft

Dienst <Informatik>

Information

Elektronische Publikation

Systemplattform

Ereignishorizont

Computeranimation

Open Source

Software

Funktion <Mathematik>

Software

Ein-Ausgabe

Parametersystem

Wort <Informatik>

Softwareentwickler

08:29

Soundverarbeitung

Offene Menge

Dokumentenserver

Mathematisierung

Mathematik

Gesetz <Physik>

Computeranimation

Open Source

Software

Numerisches Modell

Funktion <Mathematik>

Software

Parametersystem

Ein-Ausgabe

Numerisches Modell

08:57

Punkt

Mathematik

Dienst <Informatik>

Information

Computeranimation

Kombinatorische Gruppentheorie

Hypermedia

Software

Numerisches Modell

Verbandstheorie

Vererbungshierarchie

Information

Innerer Punkt

Numerisches Modell

09:25

Differential

Programmierbare logische Anordnung

Dichte <Physik>

Digital Rights Management

Mathematik

Dienst <Informatik>

Information

Extrempunkt

Computeranimation

Physikalisches System

Stetige Abbildung

Numerisches Modell

Datenverarbeitungssystem

Datentyp

Freier Ladungsträger

Digital Rights Management

Strom <Mathematik>

Gleichungssystem

Gammafunktion

Expertensystem

Kategorie <Mathematik>

Konfigurationsraum

Machsches Prinzip

Vektorpotenzial

Quick-Sort

Wendepunkt

Kombinatorische Gruppentheorie

Inverser Limes

Software

Verschlingung

Einheit <Mathematik>

Hill-Differentialgleichung

Simulation

Rungescher Approximationssatz

Bitrate

Aggregatzustand

Numerisches Modell

10:13

Differential

Offene Menge

Dualitätstheorie

Prozess <Physik>

Dichte <Physik>

Mathematik

Dienst <Informatik>

Information

Computeranimation

Unendlichkeit

Physikalisches System

Stetige Abbildung

Numerisches Modell

Datenverarbeitungssystem

Freier Ladungsträger

Digital Rights Management

Strom <Mathematik>

Gleichungssystem

Gammafunktion

Beobachtungsstudie

Konfigurationsraum

Machsches Prinzip

Vektorpotenzial

Wendepunkt

Kombinatorische Gruppentheorie

Software

Einheit <Mathematik>

Verschlingung

Hill-Differentialgleichung

Simulation

Numerisches Modell

10:44

Differential

Dichte <Physik>

Wasserdampftafel

Iteration

Content <Internet>

Computeranimation

Physikalisches System

Bildschirmmaske

Stetige Abbildung

Numerisches Modell

Datenverarbeitungssystem

Digital Rights Management

Freier Ladungsträger

Strom <Mathematik>

Gleichungssystem

Konfigurationsraum

Kegelschnitt

Informationsverarbeitung

Telekommunikation

Dichte <Stochastik>

Physikalisches System

Vektorpotenzial

Wendepunkt

Zusammengesetzte Verteilung

Formale Sprache

Verschlingung

Selbstrepräsentation

Information

Simulation

11:14

Eindringerkennung

Mathematik

Digital Rights Management

Content <Internet>

Informationsverarbeitung

Telekommunikation

Dienst <Informatik>

Information

Computeranimation

Ausdruck <Logik>

Formale Semantik

Virtuelle Maschine

Software

Bildschirmmaske

Numerisches Modell

Datenfeld

Formale Sprache

Datenverarbeitungssystem

Digital Rights Management

Selbstrepräsentation

Dampf

11:41

Subtraktion

Formale Sprache

Selbstrepräsentation

Diagramm

Informationsverarbeitung

Content <Internet>

Telekommunikation

Dienst <Informatik>

Information

Computeranimation

Ausdruck <Logik>

Zusammengesetzte Verteilung

Virtuelle Maschine

Software

Numerisches Modell

Formale Sprache

Datenverarbeitungssystem

Digital Rights Management

Ablöseblase

Selbstrepräsentation

Numerisches Modell

12:06

Einfügungsdämpfung

Gewicht <Mathematik>

Momentenproblem

Versionsverwaltung

Diagramm

Hierarchische Struktur

Dienst <Informatik>

Physikalisches System

Information

Computeranimation

Formale Semantik

Dichte <Physik>

Physikalisches System

Software

Diagramm

Numerisches Modell

Displacement Mapping

Elektrisches Feld

Verkehrsinformation

Numerisches Modell

13:07

TVD-Verfahren

Dichte <Physik>

Diagramm

Summengleichung

Ungerichteter Graph

Kombinatorische Gruppentheorie

Komplex <Algebra>

Computeranimation

Formale Semantik

Virtuelle Maschine

Physikalisches System

Numerisches Modell

Gauss <Rechenmaschine>

Gleichungssystem

Modallogik

Nichtlineares System

Displacement Mapping

Poisson-Prozess

Physikalisches System

Kontextbezogenes System

Displacement Mapping

Nichtlineares System

Mereologie

Selbstrepräsentation

Message-Passing

Aggregatzustand

13:56

Lineares Funktional

Poisson-Prozess

Einfügungsdämpfung

Vektorpotenzial

Typprüfung

Formale Sprache

Zahlenbereich

Vektorpotenzial

Quellcode

EINKAUF <Programm>

Computeranimation

Virtuelle Maschine

Energiedichte

Konzentrizität

Domain-Name

Displacement Mapping

Selbstrepräsentation

Gleichungssystem

Normalvektor

Displacement Mapping

Grenzwertberechnung

14:57

TVD-Verfahren

Vektorpotenzial

Formale Semantik

Server

Formale Grammatik

Statistische Hypothese

Kombinatorische Gruppentheorie

Computeranimation

Computeralgebra

Physikalisches System

Numerisches Modell

Lateinisches Quadrat

Gleichungssystem

Bildgebendes Verfahren

Normalvektor

Displacement Mapping

Beobachtungsstudie

Lineares Funktional

Poisson-Prozess

Mathematisierung

Quick-Sort

Variable

Displacement Mapping

Physikalische Theorie

Parametersystem

Algebraische Struktur

Data Mining

15:41

Beschreibungssprache

Beschreibungssprache

Formale Sprache

Gruppenoperation

Gewichtete Summe

Dienst <Informatik>

Dialekt

Information

Computeranimation

Formale Semantik

Virtuelle Maschine

Digital Rights Management

Gerade

Gleichungssystem

Schätzwert

Poisson-Prozess

Konvexe Hülle

Kegelschnitt

Mathematisierung

Zeiger <Informatik>

Objekt <Kategorie>

Software

Menge

Nichtlineares System

Verschlingung

TVD-Verfahren

Elektronischer Fingerabdruck

Simulation

Hill-Differentialgleichung

Simulation

Benutzerführung

Numerisches Modell

16:40

Differential

Schätzwert

Poisson-Prozess

Programmierparadigma

Mathematik

Kegelschnitt

Konfigurationsraum

Mathematisierung

Mathematik

Vektorpotenzial

Kombinatorische Gruppentheorie

Computeranimation

Wendepunkt

Physikalisches System

Diagramm

Stetige Abbildung

Numerisches Modell

Nichtlineares System

Verschlingung

Serielle Schnittstelle

Freier Ladungsträger

Hill-Differentialgleichung

Simulation

Gleichungssystem

17:17

Formale Grammatik

Offene Menge

Programmierparadigma

Gruppenoperation

Systemaufruf

Mathematisierung

Vorzeichen <Mathematik>

Mathematik

Dienst <Informatik>

Information

Computeranimation

Übergang

Virtuelle Maschine

Software

Numerisches Modell

Viewer

17:38

Formale Grammatik

Virtuelle Maschine

Bildschirmmaske

Numerisches Modell

Programmierparadigma

Mereologie

Elektronischer Datenaustausch

Mathematisierung

Mathematik

Computeranimation

Viewer

17:58

Dualitätstheorie

Punkt

Iteration

Diagramm

Dienst <Informatik>

Bildschirmfenster

Computeranimation

Entscheidungstheorie

Eins

Netzwerktopologie

Task

Dienst <Informatik>

Numerisches Modell

Eliminationsverfahren

Viewer

18:30

Expertensystem

Software

Subtraktion

Numerisches Modell

Wellenlehre

Eliminationsverfahren

Mereologie

Cantor-Diskontinuum

Diagramm

Dienst <Informatik>

Dialekt

Information

Varianz

Computeranimation

18:55

Telekommunikation

Poisson-Prozess

Partielle Differentiation

Content <Internet>

Diagramm

Vektorpotenzial

Smith-Diagramm

Dienst <Informatik>

Extrempunkt

Computeranimation

Zahlensystem

Knotenmenge

Numerisches Modell

Garbentheorie

Eliminationsverfahren

Freier Ladungsträger

Radius

Gleichungssystem

Numerisches Modell

Feuchteleitung

19:27

Systemidentifikation

Physiker

Momentenproblem

Desintegration <Mathematik>

Fächer <Mathematik>

Digital Rights Management

Iteration

Content <Internet>

Dienst <Informatik>

Information

Computeranimation

Formale Semantik

Computeralgebra

Systemprogrammierung

Variable

Numerisches Modell

Datenverarbeitungssystem

Freier Ladungsträger

Versuchsplanung

Gleichungssystem

Mathematiker

Lineares Funktional

Poisson-Prozess

Mathematik

Systemidentifikation

Physikalisches System

Vektorpotenzial

Integral

Arithmetisches Mittel

Software

Dienst <Informatik>

Garbentheorie

Offene Menge

ATM

Mereologie

Numerisches Modell

20:53

Systemidentifikation

Mathematiker

Benutzerfreundlichkeit

Dokumentenserver

Desintegration <Mathematik>

Betafunktion

Mathematisierung

Mathematik

Dienst <Informatik>

Variable

Computeranimation

Systemprogrammierung

Computeralgebra

Software

Numerisches Modell

Webforum

Funktion <Mathematik>

Software

Datenverarbeitungssystem

Dreieck

Aggregatzustand

Numerisches Modell

21:15

Software

Numerisches Modell

Software

Parametersystem

Wissenschaftliches Rechnen

Dreieck

Mathematik

Polygonnetz

Kombinatorische Gruppentheorie

Geometrie

Quick-Sort

Computeranimation

21:45

Diskrete Mathematik

Mathematik

Dienst <Informatik>

Programmierumgebung

Physikalisches System

Information

Computeranimation

Formale Semantik

Software

Dienst <Informatik>

Numerisches Modell

Digitalisierer

Mereologie

Parametersystem

Dreieck

Wort <Informatik>

Programmierumgebung

Numerisches Modell

22:33

Offene Menge

Desintegration <Mathematik>

Diagramm

Mathematisierung

Mathematik

Statistische Hypothese

Programmierumgebung

Information

Computeranimation

Physikalisches System

Software

Bildschirmmaske

Digital Object Identifier

Numerisches Modell

Software

Physikalische Theorie

Endlicher Graph

Wärmeübergang

Parametersystem

Digital Rights Management

Zirkulation <Strömungsmechanik>

Information

Numerisches Modell

23:11

Offene Menge

Desintegration <Mathematik>

Digital Rights Management

Formale Grammatik

Diagramm

Statistische Hypothese

Dienst <Informatik>

Information

Computeranimation

Richtung

Formale Semantik

Physikalisches System

Digital Object Identifier

Numerisches Modell

Webforum

Vorzeichen <Mathematik>

Software

Endlicher Graph

Wärmeübergang

Digital Rights Management

Zirkulation <Strömungsmechanik>

Inhalt <Mathematik>

Softwareentwickler

Beobachtungsstudie

Softwaretest

Mathematik

Kegelschnitt

Mathematisierung

Physikalisches System

Integral

Diagramm

Software

Physikalische Theorie

ATM

Simulation

Numerisches Modell

24:05

Offene Menge

Sichtenkonzept

Punkt

Desintegration <Mathematik>

Besprechung/Interview

Diagramm

Mathematisierung

Statistische Hypothese

Dienst <Informatik>

Information

Computeranimation

Physikalisches System

Software

Digital Object Identifier

Zirkulation <Strömungsmechanik>

Numerisches Modell

Software

Endlicher Graph

ATM

Wärmeübergang

Digital Rights Management

Simulation

24:37

Offene Menge

Desintegration <Mathematik>

Kegelschnitt

Besprechung/Interview

Mathematisierung

Diagramm

Mathematik

Statistische Hypothese

Dienst <Informatik>

Information

Computeranimation

Physikalisches System

Software

Numerisches Modell

Physikalische Theorie

Endlicher Graph

Wärmeübergang

Digital Rights Management

Zirkulation <Strömungsmechanik>

### Metadaten

#### Formale Metadaten

Titel | How to tidy up the jungle of mathematical models? A prerequisite for sustainable research software |

Serientitel | 2nd Conference on Non-Textual Information: Software and Services for Science (S3), May 10-11, 2017 in Hannover |

Teil | 10 |

Anzahl der Teile | 13 |

Autor | Koprucki, Thomas |

Lizenz |
CC-Namensnennung 3.0 Deutschland: Sie dürfen das Werk bzw. den Inhalt zu jedem legalen Zweck nutzen, verändern und in unveränderter oder veränderter Form vervielfältigen, verbreiten und öffentlich zugänglich machen, sofern Sie den Namen des Autors/Rechteinhabers in der von ihm festgelegten Weise nennen. |

DOI | 10.5446/31023 |

Herausgeber | Technische Informationsbibliothek (TIB) |

Erscheinungsjahr | 2017 |

Sprache | Englisch |

#### Inhaltliche Metadaten

Fachgebiet | Informatik |

Abstract | Mathematical modeling and simulation (MMS) has now been established as an essential part of the scientific work in many disciplines. It is common to categorize the involved numerical data and to some extend the corresponding scientific software as research data. Both have their origin in mathematical models. A holistic approach to research data in MMS should cover all three aspects: models, software, and data. Yet it is unclear, whether a suitable management of the mathematical knowledge related to models is possible and how it would look like. In this talk, we outline an approach to address this problem based on a flexiformal representation of the mathematical knowledge in publications and research software. We will discuss how this can improve the sustainability of research obtained by mathematical modeling and numerical simulations. |