Synästhesie, Metapher und Kreativität.

in Dresler, Martin (Ed.) Kognitive Leistungen : Intelligenz und mentale Fähigkeiten im Spiegel der Neurowissenschaften. (2011)

Synchronisation of Model Visualisation and Code Generation Based on Model Transformation

Doctoral thesis (2016)

The development, maintenance and documentation of complex systems is commonly supported by model-driven approaches where system properties are captured by visual models at different layers of abstraction ... [more ▼]

The development, maintenance and documentation of complex systems is commonly supported by model-driven approaches where system properties are captured by visual models at different layers of abstraction and from different perspectives as proposed by the Object Management Group (OMG) and its model-driven architecture. Generally, a model is a concrete view on the system from a specific perspective in a particular domain. We focus on visual models in the form of diagrams and whose syntax is defined by domain-specific modelling languages (DSLs). Different models may represent different views on a system, i.e., they may be linked to each other by sharing a common set of information. Therefore, models that are expressed in one DSL may be transformed to interlinked models in other DSLs and furthermore, model updates may be synchronised between different domains. Concretely, this thesis presents the transformation and synchronisation of source code (abstract syntax trees, ASTs) written in the Satellite-Procedure & Execution Language (SPELL) to flow charts (code visualisation) and vice versa (code generation) as the result of an industrial case study. The transformation and synchronisation are performed based on existing approaches for model transformations and synchronisations between two domains in the theoretic framework of graph transformation where models are represented by graphs. Furthermore, extensions to existing approaches are presented for treating non-determinism in concurrent model synchronisations. Finally, the existing results for model transformations and synchronisations between two domains are lifted to the more general case of an arbitrary number of domains or models containing views, i.e., a model in one domain may be transformed to models in several domains or to all other views, respectively, and model updates in one domain may be synchronised to several other domains or to all other views, respectively. [less ▲]

Synchronized Preprocessing of Sensor Data

in 2020 IEEE International Conference on Big Data (2021, March 19)

Sensor data whether collected for machine learning, deep learning or other applications must be preprocessed to fit input requirements or improve performance and accuracy. Data preparation is an expensive ... [more ▼]

Sensor data whether collected for machine learning, deep learning or other applications must be preprocessed to fit input requirements or improve performance and accuracy. Data preparation is an expensive, resource consuming and complex phase often performed centrally on raw data for a specific application. The dataflow between the edge and the cloud can be enhanced in terms of efficiency, reliability and lineage by preprocessing the datasets closer to their data sources. We propose a dedicated data preprocessing framework that distributes preprocessing tasks between a cloud stage and two edge stages to create a dataflow with progressively improving quality. The framework handles heterogenous data and dynamic preprocessing plans simultaneously targeting diverse applications and use cases from different domains. Each stage autonomously executes sensor specific preprocessing plans in parallel while synchronizing the progressive execution and dynamic updates of the preprocessing plans with the other stages. Our approach minimizes the workload on central infrastructures and reduces the resources used for transferring raw data from the edge. We also demonstrate that preprocessing data can be sensor specific rather than application specific and thus can be performed prior to knowing a specific application. [less ▲]

Synergies in Cybersecurity Incident Reporting – The NIS Cooperation Group Publication 04/20 in Context

in European Data Protection Law Review (2021), 7(1), 101-107

Synopse der zentralen Ergebnisse

in Samuel, Robin; Willems, Helmut Erich (Eds.) Wohlbefinden und Gesundheit von Jugendlichen in Luxemburg (2021)

Insgesamt berichtet eine überwiegende Mehrheit der Jugendlichen ein mittleres bis hohes Wohlbefinden und schätzt die eigene Gesundheit als „ausgezeichnet“ ein. Die luxemburgischen Jugendlichen bewegen ... [more ▼]

Insgesamt berichtet eine überwiegende Mehrheit der Jugendlichen ein mittleres bis hohes Wohlbefinden und schätzt die eigene Gesundheit als „ausgezeichnet“ ein. Die luxemburgischen Jugendlichen bewegen sich damit im internationalen Vergleich im oberen Mittelfeld. Das hohe Maß an Wohlbefinden in der jungen Bevölkerung ist über die letzten Jahre weitgehend stabil geblieben, während sich das subjektive Gesundheitsempfinden sogar positiv verändert hat. Treiber dieser Entwicklung sind insbesondere die positiven Veränderungen bei Mädchen und jungen Frauen. Obwohl grundsätzlich alle Bevölkerungsgruppen auch von geringem Wohlbefinden oder vermehrten gesundheitlichen Problemen betroffen sein können, zeigt sich hinsichtlich der Verteilung eine deutliche soziale Schieflage: Sozioökonomisch benachteiligte Jugendliche sind deutlich häufiger von gesundheitlichen Problemen betroffen und weisen insgesamt auch ein niedrigeres Wohlbefinden auf als Jugendliche mit höherem Sozialstatus. Während die Experten gesamtgesellschaftliche Hintergründe für die Entwicklung von Gesundheit und Wohlbefinden mitverantwortlich machen, sind viele Jugendliche der Ansicht, dass sie ihre Gesundheit und ihr subjektives Wohlbefinden weitgehend selbst aktiv beeinflussen können. Zudem werden starke soziale Beziehungen zu Eltern, Familie und Freunden als positive Faktoren genannt. Für wenige Jugendliche können solche Beziehungen jedoch auch negative Auswirkungen auf das Wohlbefinden haben. Ein Mangel an Handlungsmöglichkeiten, etwa aufgrund fehlender finanzieller Ressourcen oder familiärer Unterstützung, kann es zudem erschweren, Verwirklichungschancen zu ergreifen und Wohlbefinden positiv zu gestalten. Auch hinsichtlich der Folgen der Covid-19-Pandemie werden Unterschiede nach sozioökonomischen und soziodemografischen Faktoren deutlich. Jugendliche mit niedrigem sozioökonomischem Status haben in der Tendenz eher negative Folgen zu gewärtigen, während Jugendliche mit gutem Zugang zu verschiedenen Ressourcenpools besser mit den Einschränkungen zurechtzukommen scheinen und sogar von positiven Effekten berichten. In den luxemburgischen Fachdiskursen sind Wohlbefinden und insbesondere die psychische Gesundheit zentrale Themen. Zunehmend dominieren Konzepte, die den Jugendlichen als Akteur in den Mittelpunkt stellen und eine bedürfnisorientierte und befähigende Herangehensweise verfolgen. Damit spiegeln sie die von vielen Jugendlichen berichtete Einschätzung, das eigene Leben handlungsmächtig planen und gestalten zu wollen. [less ▲]

A Syntactic-Semantic Approach to Incremental Verification

E-print/Working paper (2013)

Software verification of evolving systems is challenging mainstream methodologies and tools. Formal verification techniques often conflict with the time constraints imposed by change management practices ... [more ▼]

Software verification of evolving systems is challenging mainstream methodologies and tools. Formal verification techniques often conflict with the time constraints imposed by change management practices for evolving systems. Since changes in these systems are often local to restricted parts, an incremental verification approach could be beneficial. This paper introduces SiDECAR, a general framework for the definition of verification procedures, which are made incremental by the framework itself. Verification procedures are driven by the syntactic structure (defined by a grammar) of the system and encoded as semantic attributes associated with the grammar. Incrementality is achieved by coupling the evaluation of semantic attributes with an incremental parsing technique. We show the application of SiDECAR to the definition of two verification procedures: probabilistic verification of reliability requirements and verification of safety properties. [less ▲]

Syntax-driven program verification of matching logic properties.

in Proceedings of the 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE 2015) (2015, May)

Synthèse (rapport de synthèse au colloque tenu à Nantes en mars 2011)

in Nurit-Pontier, Laure; Rousseau, Stéphane (Eds.) Risques d’entreprise : quelle stratégie juridique ?, 384 pages (2012)

Synthèse finale

Presentation (2017, September 07)

Synthesis and biological activity of diaryl ether inhibitors of malarial enoyl acyl carrier protein reductase. Part 2: 2'-substituted triclosan derivatives.

in Bioorganic & Medicinal Chemistry Letters (2006), 16(8), 2163-9

2'-Substituted analogs of triclosan have been synthesized to target inhibition of the key malarial enzyme Plasmodium falciparum enoyl acyl carrier protein reductase (PfENR). Many of these compounds ... [more ▼]

2'-Substituted analogs of triclosan have been synthesized to target inhibition of the key malarial enzyme Plasmodium falciparum enoyl acyl carrier protein reductase (PfENR). Many of these compounds exhibit good potency (EC50<500 nM) against in vitro cultures of drug-resistant and drug-sensitive strains of the P. falciparum parasite and modest (IC50=1-20 microM) potency against purified PfENR enzyme. Compared to triclosan, this survey of 2'-substituted derivatives has afforded gains in excess of 20- and 30-fold versus the 3D7 and Dd2 strains of parasite, respectively. [less ▲]