| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910457042903321 |
|
|
Titolo |
Focus on Scotland [[electronic resource] /] / edited by Manfred Görlach |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Amsterdam ; ; Philadelphia, : J. Benjamins Pub. Co., 1985 |
|
|
|
|
|
|
|
ISBN |
|
1-283-09302-2 |
9786613093028 |
90-272-8636-1 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (246 p.) |
|
|
|
|
|
|
Collana |
|
Varieties of English around the world. General series, , 0017-7362 ; ; v. 5 |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Scots language |
Scots language - Social aspects - Scotland |
Scots language - Variation |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographies and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Title page; Copyright page; Table of contents; Introduction; Nationalism and the Scots Renaissance now; SCOTS AND LOW GERMAN: THE SOCIAL HISTORY OF TWO MINORITY LANGUAGES; The rise and fall of the Morningside/Kelvinside accent; LINGUISTIC FIELDWORK IN A SCOTTISH NEW TOWN; Overt and covert prestige: Evaluative boundaries in the speech community; 'Knappin', 'Proper English', 'Modified Scottish' Some language attitudes in the Shetland Isles; The narrative skills of a Scottish coal miner; On the variability of Hebridean English syntax: the verbal group; Variation in Hebridean English |
The search for a Scots narrative voiceOur ain leid? The predicament of a Scots writer; The debate on Scots orthography; THE CHRISTMAS STORY IN SCOTS; Poetry in Glasgow dialect; INDEX; Authors' addresses; The series Varieties of English Around the World |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This collection comprises 15 essays ranging from the social history of and attitudes towards Scots to the representation of Scottishness in literary language and to modern sociolinguistic work. The uniqueness of the historical and present-day linguistic situation in Scotland makes the volume of particular concern not only to Scotophiles, but also to |
|
|
|
|
|
|
|
|
|
|
|
|
|
linguists interested in bidialectalism, language planning, literary dialect, urban surveys, and language and education. The authors include linguistist Scotland, England, the United States, Scandinavia and Germany. |
|
|
|
|
|
|
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 |
|
|
|
|
|
| |