LEADER 01718oam 2200457Ia 450 001 9910702126503321 005 20121029110747.0 035 $a(CKB)5470000002424876 035 $a(OCoLC)756837260 035 $a(EXLCZ)995470000002424876 100 $a20111013d2011 ua 0 101 0 $aeng 135 $aurbn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aEvaluating media interventions in conflict countries$b[electronic resource] $etoward developing common principles and a community of practice /$fAmelia Arsenault, Sheldon Himelfarb, and Susan Abbott 210 1$aWashington, D.C. :$cU.S. Institute of Peace,$d2011. 215 $a1 online resource (35 pages) $cillustrations 225 1 $aPeaceworks ;$vno. 77 300 $aTitle from title screen (viewed on Oct. 13, 2011). 300 $a"October 2011"--P. [1]. 320 $aIncludes bibliographical references (pages 33-35). 517 $aEvaluating media interventions in conflict countries 606 $aWar$xPress coverage$xEvaluation 606 $aWar in mass media$xEvaluation 606 $aEmbedded war correspondents$xEvaluation 615 0$aWar$xPress coverage$xEvaluation. 615 0$aWar in mass media$xEvaluation. 615 0$aEmbedded war correspondents$xEvaluation. 700 $aArsenault$b Amelia$01416216 701 $aHimelfarb$b Sheldon$01401769 701 $aAbbott$b Susan$f1973-$01416217 712 02$aUnited States Institute of Peace. 801 0$bAWC 801 1$bAWC 801 2$bGPO 906 $aBOOK 912 $a9910702126503321 996 $aEvaluating media interventions in conflict countries$93520884 997 $aUNINA LEADER 03281nam 22006615 450 001 9910873843003321 005 20241212213550.0 010 $a9783800755011 010 $a3800755017 035 $a(CKB)4100000011881316 035 $a606f24c1-ef78-4a5d-bcb4-378eb0dd2d03 035 $a(EXLCZ)994100000011881316 100 $a20210325d2021 ||| | 101 0 $aeng 135 $auruuu---uuuuu 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aITG-Fb. 296: MBMV 2021 $eMethoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen 205 $aNeuerscheinung 210 31$aBerlin$cVDE Verlag$d2021 215 $aOnline-Ressource (139 S.) 225 0 $aITG-Fachberichte 300 $aPublicationDate: 20210325 311 08$a9783800755004 311 08$a3800755009 330 $aLong 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 606 $aOptimierung 606 $aModellierung 606 $aSimulation 606 $aMachine Learning 606 $aEchtzeitsysteme 606 $aSynthese 606 $aSchaltungen und Systeme 606 $aFormale Verifikation 606 $aKI-basierte Modelle 606 $aModellierungssprache 606 $aVerhaltensmodellierung 606 $asicherheitsrelevante Produkte 615 04$aOptimierung 615 04$aModellierung 615 04$aSimulation 615 04$aMachine Learning 615 04$aEchtzeitsysteme 615 04$aSynthese 615 04$aSchaltungen und Systeme 615 04$aFormale Verifikation 615 04$aKI-basierte Modelle 615 04$aModellierungssprache 615 04$aVerhaltensmodellierung 615 04$asicherheitsrelevante Produkte 702 $aVDE/VDI GMM$4edt 702 $aVDE ITG$4edt 702 $aLo?ko?s$b Margit$4edt 906 $aPROCEEDING 912 $a9910873843003321 996 $aITG-Fb. 296: MBMV 2021$93884117 997 $aUNINA