Browsing
     by title


0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:   
OK
See detailSynästhetische Zeitwahrnehmung.
Lahmer, M.; Baudson, Tanja Gabriele UL

in Seemüller, Anna; Baudson, Tanja Gabriele; Dresler, Martin (Eds.) Zeit (2009)

Detailed reference viewed: 18 (0 UL)
Full Text
See detailSynchronisation of Model Visualisation and Code Generation Based on Model Transformation
Gottmann, Susann UL

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 ▲]

Detailed reference viewed: 92 (10 UL)
Full Text
Peer Reviewed
See detailSynchronization of Three-Scroll Unified Chaotic System (TSUCS) and its hyper-chaotic system using active pinning control
Pan, Lin UL

in Nonlinear Dynamics (2013), 73(3), 2059-2071

This paper studies the synchronization and anti-synchronization problem of the Three-Scroll Unified Chaotic System (TSUCS), which has nonlinear terms in each subsystem. By virtue of active control, a ... [more ▼]

This paper studies the synchronization and anti-synchronization problem of the Three-Scroll Unified Chaotic System (TSUCS), which has nonlinear terms in each subsystem. By virtue of active control, a novel active pinning control strategy is presented, which only needs one or two states of the TSUCS. Under the proposed controller, the synchronization of two TSUCS with parametric uncertainty is achieved and therefore the robust stability of TSUCS synchronization is ensured. Some stability theories about synchronization and anti-synchronization have been given and proved the use of this class of a novel TSUCS and its hyper-unified chaotic system with the active pinning control strategy. Numerical simulations are given to verify the theoretical analysis, which clearly shows that the control strategy can really make the chaotic systems achieve synchronization and antisynchronization in a quite short time. [less ▲]

Detailed reference viewed: 172 (9 UL)
See detailSynesthésies sonores
Colas-Blaise, Marion UL; Estay Stange, Veronica

Book published by Garnier (2018)

Detailed reference viewed: 37 (1 UL)
Full Text
See detailA Syntactic-Semantic Approach to Incremental Verification
Bianculli, Domenico UL; Filieri, Antonio; Ghezzi, Carlo et al

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 ▲]

Detailed reference viewed: 78 (5 UL)
Full Text
Peer Reviewed
See detailSyntactic-Semantic Incrementality for Agile Verification
Bianculli, Domenico UL; Filieri, Antonio; Ghezzi, Carlo et al

in Science of Computer Programming (2015), 97(0), 47-54

Modern software systems are continuously evolving, often because systems requirements change over time. Responding to requirements changes is one of the principles of agile methodologies. In this paper we ... [more ▼]

Modern software systems are continuously evolving, often because systems requirements change over time. Responding to requirements changes is one of the principles of agile methodologies. In this paper we envision the seamless integration of automated verification techniques within agile methodologies, thanks to the support for incrementality. Incremental verification accommodates the changes that occur within the schedule of frequent releases of software agile processes. We propose a general approach to developing families of verifiers that can support incremental verification for different kinds of artifacts and properties. The proposed syntactic-semantic approach is rooted in operator precedence grammars and their support for incremental parsing. Incremental verification procedures are encoded as attribute grammars, whose incremental evaluation goes hand in hand with incremental parsing. [less ▲]

Detailed reference viewed: 225 (34 UL)
Full Text
Peer Reviewed
See detailSyntax-driven program verification of matching logic properties.
Bianculli, Domenico UL; Filieri, Antonio; Ghezzi, Carlo et al

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

Detailed reference viewed: 122 (7 UL)
Full Text
Peer Reviewed
See detailSynthèse (rapport de synthèse au colloque tenu à Nantes en mars 2011)
Prüm, André UL

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

Detailed reference viewed: 49 (7 UL)
See detailSynthèse de l'évaluation du Girls' and Boys' Day 2008
Blond-Hanten, Carole; Schumacher, Anette UL

Report (2008)

Detailed reference viewed: 17 (0 UL)
See detailSynthèse finale
de Saint-Georges, Ingrid UL

Presentation (2017, September 07)

Detailed reference viewed: 21 (0 UL)
See detailSynthesis and assessment of the public debate on the reform of the CAP after 2013
Klump, Rainer UL; Rutz, Cordula; Schramek, Jorg et al

Book published by Nomos Verlagsgesellschaft (2013)

Detailed reference viewed: 67 (0 UL)
Full Text
Peer Reviewed
See detailSynthesis and biological activity of diaryl ether inhibitors of malarial enoyl acyl carrier protein reductase. Part 2: 2'-substituted triclosan derivatives.
Freundlich, Joel S.; Yu, Min; Lucumi Moreno, Edinson UL et al

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 ▲]

Detailed reference viewed: 99 (2 UL)
Full Text
Peer Reviewed
See detailSynthesis and characterization of Cu2ZnSnS4 absorber layers by an electrdeposition-annealing route
Scragg, Jonathan J.; Dale, Phillip UL; Peter, Laurence M.

in Thin Solid Films (2009), 517(7), 2481-2484

An electrodeposition-annealing route to films of the promising p-type absorber material Cu2ZnSnS4 (CZTS) using layered metal precursors is studied. The dependence of device performance on composition is ... [more ▼]

An electrodeposition-annealing route to films of the promising p-type absorber material Cu2ZnSnS4 (CZTS) using layered metal precursors is studied. The dependence of device performance on composition is investigated, and it is shown that a considerable Cu-deficiency is desirable to produce effective material, as measured by photoelectrochemical measurements employing the Eu3+/2+ redox couple. The differing effects of using elemental sulphur and H2S as sulphur sources during annealing are also studied, and it is demonstrated that H2S annealing results in films with improved crystallinity. [less ▲]

Detailed reference viewed: 94 (1 UL)
Full Text
Peer Reviewed
See detailSynthesis and characterization of uniaxial ferrogels with Ni nanorods as magnetic phase
Bender, Philipp; Günther, Annegret UL; Tschöpe, Andreas et al

in Journal of Magnetism & Magnetic Materials (2011), 323

In the present study, the rotation of magnetic nanorods in a soft hydrogel matrix induced by a homogeneous magnetic field is investigated. Magnetic nanorods of ≈151.2 nm length and ≈17.7 nm diameter are ... [more ▼]

In the present study, the rotation of magnetic nanorods in a soft hydrogel matrix induced by a homogeneous magnetic field is investigated. Magnetic nanorods of ≈151.2 nm length and ≈17.7 nm diameter are synthesized via current-pulsed electrodeposition of nickel into porous aluminum oxide-templates. The nanorods are processed towards a stable colloidal dispersion by dissolution of the alumina template in aqueous NaOH to which PVP (polyvinyl-pyrrolidone) is added as surfactant. These suspensions are used to prepare gelatine-based ferrogels of different shear modulus with either isotropic or uniaxial orientation-distribution of the nanorods. While magnetization measurements of rigid ferrogels mainly reflect the magnetic properties of the nickel nanorods, the magnetization behavior of soft ferrogels is significantly influenced by a field-induced rotation of the nickel nanorods in the low compliant matrix. A particular analysis of magnetization measurements on uniaxial ferrogels enables to quantify the rotation angle of the nanorods with respect to their initial orientation under the influence of a transversal homogeneous magnetic field. The analysis of the field-dependent rotation also allows to estimate the local shear modulus of the matrix which is demonstrated by an investigation of room temperature ageing process of the ferrogel. [less ▲]

Detailed reference viewed: 84 (4 UL)
Full Text
Peer Reviewed
See detailSynthesis and magnetic properties of cobalt nanocubes
Gräf, C. P.; Birringer, R.; Michels, Andreas UL

in Physical Review. B, Condensed Matter and Materials Physics (2006), 73(21), 2124011-2124014

We report on the synthesis, structure, and magnetic properties of cobalt nanoparticles with cubic shape. The nanoparticles with an average cube-edge length of about 50 nm were prepared by wet-chemical ... [more ▼]

We report on the synthesis, structure, and magnetic properties of cobalt nanoparticles with cubic shape. The nanoparticles with an average cube-edge length of about 50 nm were prepared by wet-chemical processing and characterized by electron microscopy, x-ray diffraction, and magnetometry. The x-ray data indicate a mixture of hcp Co and ϵ-Co. From the magnetization measurements we deduce on the presence of a ferromagnet/antiferromagnet Co/CoO interface, which gives rise to a pronounced exchange-bias effect. Between 350 K and 5 K the coercivity HC increases by almost a factor of 6, whereas the exchange-bias field HE takes on a value of about 380 Oe at 5 K and vanishes above 75 K. The variation of HC with temperature cannot be understood in terms of the various conventional types of magnetic anisotropy. [less ▲]

Detailed reference viewed: 128 (1 UL)
Full Text
Peer Reviewed
See detailSynthesis and magnetic properties of Ta/NdFeB-based composite microwires
Szary, Philipp; Luciu, Ioana; Duday, David et al

in Journal of Applied Physics (2015), 117

Detailed reference viewed: 118 (10 UL)
Full Text
Peer Reviewed
See detailSynthesis of a nanorod ferrofluid and characterisation by magnetic-field-dependent small-angle X-ray scattering
Döbrich, Frank UL; Michels, Andreas UL; Birringer, R.

in Journal of Magnetism & Magnetic Materials (2007), 316(e), 779-782

Compared to conventional ferrofluids, which contain mostly spherical particles, a dispersion of highly anisometric particles such as rods or chains is expected to give rise to an enhancement or ... [more ▼]

Compared to conventional ferrofluids, which contain mostly spherical particles, a dispersion of highly anisometric particles such as rods or chains is expected to give rise to an enhancement or modification of well-known ferrofluid properties. This contribution reports on the synthesis of a ferrofluid containing stable chains of iron nanoparticles and on its microstructural characterisation by means of transmission electron microscopy and small-angle X-ray scattering (SAXS). The SAXS measurements develop a pronounced anisotropy of the scattering pattern as a function of an increasing external magnetic field. Evaluation of the radially averaged SAXS curves in terms of basic scattering functions is discussed. [less ▲]

Detailed reference viewed: 111 (1 UL)
Full Text
Peer Reviewed
See detailSynthesis of folate- pegylated polyester nanoparticles encapsulating ixabepilone for targeting folate receptor overexpressing breast cancer cells
Siafaka, P.; Betsiou, M.; Tsolou, A. et al

in Journal of Materials Science: Materials in Medicine (2015), 26(12), 1-14

Abstract: The aim of this study was the preparation of novel polyester nanoparticles based on folic acid (FA)–functionalized poly(ethylene glycol)–poly(propylene succinate) (PEG–PPSu) copolymer and loaded ... [more ▼]

Abstract: The aim of this study was the preparation of novel polyester nanoparticles based on folic acid (FA)–functionalized poly(ethylene glycol)–poly(propylene succinate) (PEG–PPSu) copolymer and loaded with the new anticancer drug ixabepilone (IXA). These nanoparticles may serve as a more selective (targeted) treatment of breast cancer tumors overexpressing the folate receptor. The synthesized materials were characterized by 1H-NMR, FTIR, XRD and DSC. The nanoparticles were prepared by a double emulsification and solvent evaporation method and characterized with regard to their morphology by scanning electron microscopy, drug loading with HPLC–UV and size by dynamic light scattering. An average size of 195 nm and satisfactory drug loading efficiency (3.5 %) were observed. XRD data indicated that IXA was incorporated into nanoparticles in amorphous form. The nanoparticles exhibited sustained drug release properties in vitro. Based on in vitro cytotoxicity studies, the blank FA–PEG–PPSu nanoparticles were found to be non-toxic to the cells. Fluorescent nanoparticles were prepared by conjugating Rhodanine B to PEG–PPSu, and live cell, fluorescence, confocal microscopy was applied in order to demonstrate the ability of FA–PEG–PPSu nanoparticles to enter into human breast cancer cells expressing the folate receptor. Graphical Abstract: [Figure not available: see fulltext.] © 2015, Springer Science+Business Media New York. [less ▲]

Detailed reference viewed: 105 (1 UL)
Full Text
Peer Reviewed
See detailSynthesis of K2Se solar cell dopant in liquid NH3 by solvated electron transfer to elemental selenium
Colombara, Diego UL; Gonçalves, A. M.; Etcheberry, A.

in Electrochemistry Communications (2018), 93

Detailed reference viewed: 86 (1 UL)