Synaptogenesis is required for wiring neuronal circuits in the developing brain and continues to remodel adult networks. However, the molecules organizing synapse development and maintenance in vivo remain incompletely understood. We now demonstrate that the immunoglobulin adhesion molecule SynCAM 1 dynamically alters synapse number and plasticity.… (More)
Synapses are asymmetric cell junctions with precisely juxtaposed presynaptic and postsynaptic sides. Transsynaptic adhesion complexes are thought to organize developing synapses. The molecular composition of these complexes, however, remains incompletely understood, precluding us from understanding how adhesion across the synaptic cleft guides synapse… (More)
Test processes in the automotive industry are tool-intensive and affected by technologically heterogeneous test infrastructures. In the industrial practice a product has to pass tests at several levels of abstraction such as Model-in-the-Loop (MIL), Software-in-the-Loop (SIL) and Hardware-in-the-Loop (HIL) tests. Different test systems are applied for this… (More)
We introduce a structured methodology for the generation of executable test environments from textual requirement specifications via UML class diagrams and the application of the classification tree methodology for embedded systems. The first phase is a stepwise transformation from unstructured English text into a textual normal form (TNF), which is… (More)
Nowadays, model-based test approaches are indispensable for the quality assurance of in-vehicle control software. In practice, the Classification-Tree Method for Embedded Systems (CTM EMB) is used to realize a compact graphical representation of test scenarios. Up to now, the CTM EMB has been used mainly in the area of continuous systems. Though the… (More)
Ein wichtiges Qualitä tsmerkmal des modellbasierten Testsund damitbeim Test vonS imulink-Modellen sind¨Uberdeckungskriterien. Wirs tellene inen Ansatz zur Ve rbesserung der Testü berdeckung vonSimulink-Modellenunter Ve rwendung der Klassifikationsbaummethode (CTM) vor. Dazu erweitern wird ie CTMu me ineS i-gnalbeschreibung durch dieAbleitung eines Signals.
— Functional Verification is well-accepted for Electronic System Level (ESL) based designs and is supported by a variety of standardized Hardware Verification Languages like PSL, e, and SystemVerilog. In this article, we present the classification tree method for functional verification (CTM/FV) as a novel method to close the gap from the verification plan… (More)
The cleft is an integral part of synapses, yet its macromolecular organization remains unclear. We show here that the cleft of excitatory synapses exhibits a distinct density profile as measured by cryoelectron tomography (cryo-ET). Aiming for molecular insights, we analyzed the synapse-organizing proteins Synaptic Cell Adhesion Molecule 1 (SynCAM 1) and… (More)