| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910153160503321 |
|
|
Titolo |
English language teaching |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Toronto, : Canadian Centre of Science and Education |
|
|
|
|
|
|
|
ISSN |
|
|
|
|
|
|
Classificazione |
|
cci1icc |
coll11 |
coll20 |
coll29 |
coll108 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Periodico |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910873843003321 |
|
|
Titolo |
ITG-Fb. 296: MBMV 2021 : Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, : VDE Verlag, 2021 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
|
|
Edizione |
[Neuerscheinung] |
|
|
|
|
|
Descrizione fisica |
|
Online-Ressource (139 S.) |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Soggetti |
|
Optimierung |
Modellierung |
Simulation |
Machine Learning |
Echtzeitsysteme |
Synthese |
Schaltungen und Systeme |
Formale Verifikation |
KI-basierte Modelle |
Modellierungssprache |
Verhaltensmodellierung |
sicherheitsrelevante Produkte |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
PublicationDate: 20210325 |
|
|
|
|
|
|
Sommario/riassunto |
|
Long description: Der 24. Workshop der GMM/ITG/GI-Fachgruppen 3 und 4 ist ein Forum, um neue Trends, Ergebnisse und aktuelle Fragen auf dem Gebiet der Modellierung und Verifikation von Schaltungen und Systemen zu diskutieren. Es sind gleichermaßen Beiträge aus Forschung und industrieller Anwendung willkommen. Inhaltlich konzentriert sich der Workshop auf die folgenden Themengebiete im Kontext der Modellierung und Verifikation von Systemen: • Formale, semi-formale und andere Mittel zur Spezifikation und Modellierung • Standards und Erweiterungen von Modellierungssprachen für Hardware, |
|
|
|
|
|
|
|
|
|
|
|
|
Hardware/Software-Systeme, Modellbasierte Entwicklung • Verhaltensmodellierung, KI-basierte Modelle, Modellverfeinerung • Modelle und Methoden für die domänenübergreifende Entwicklung: Analog/Digital, Hardware/Software, Mechatronik, Cyber/Physisch • Synthese und formale Synthese, Eigenschaftsverfeinerung aus Spezifikationen • Formale Verifikation (Äquivalenz- und Eigenschaftsbeweise) • Schaltungen und Systeme in sicherheitsrelevanten Produkten • Verifikation nichtfunktionaler Eigenschaften • Simulationsbasierte Verifikation und Validierung • Digitalisierung der Entwicklung z.B. durch Machine Learning oder Datenanalyse • Special Focus Topic MBMV2021: Open Source Werkzeuge zur Modellierung und Verifikation von Schaltungen und Systemen |
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910476926703321 |
|
|
Autore |
Bröcher Joachim <p>Joachim Bröcher, Europa-Universität Flensburg, Deutschland </p> |
|
|
|
|
Titolo |
|
|
|
|
Creating Learning Spaces : Experiences from Educational Fields / Joachim Bröcher |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Bielefeld, : transcript Verlag, 2020 |
|
2020, c2019 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (174 p.) |
|
|
|
|
|
|
Collana |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Teaching |
School |
Behavior |
Learning |
Inclusion |
Education |
Family |
Social Pedagogy |
Social Work |
Sociology of Family |
Disability Studies |
Pedagogy |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Frontmatter 1 Content 5 Preface 7 1 Teaching on the Frontline 11 2 Maladjusted Youth as Sand in the Gears? 41 3 Accessing Art with Movable Layout 55 4 Challenging Disabling School Policies 73 5 When Children Plan a Trip on Their Own 91 6 Experiential Learning Across the Fields 115 References 151 |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
What can we learn from a teacher's journal about working with challenging youth? Why does the Training Room Program in German schools impede the development of an empowering learning culture? What experiences transpire during a train trip to the sea with an unruly crew of school boys? Or: what happens when children plan a trip on their own? Anyone who has accumulated experiences in teaching faces creative choices when putting that legacy to paper. The author chose to use this selection of studies to illustrate formative and inspirational moments from his years as a dedicated teacher and father. |
|
|
|
|
|
|
|
| |