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
Full Text
Peer Reviewed
See detailTowards the Propagation of Model Updates along different Views in Multi-View Models
Gottmann, Susann UL; Nachtigall, Nico UL; Ermel, Claudia et al

in Proceedings of the 5th International Workshop on Bidirectional Transformations (2016), 1571

Models are the keystones in model-driven systems development. They describe systems at different layers of abstraction and with a focus to different domains. For each domain, dedicated domain specific ... [more ▼]

Models are the keystones in model-driven systems development. They describe systems at different layers of abstraction and with a focus to different domains. For each domain, dedicated domain specific visual modelling languages are used for model definitions with the idea to separate concerns to different domain experts. This enables precise problem and requirement definitions and should decrease efforts in developing and validating systems. We focus on multi-view models that are in relationship with source models by triple graph grammars. A multi-view model provides different views of the source model at different layers of abstraction but within the same DSL which is typically different from the DSL of the source model. In practice, elements in different views may overlap. We present an informal methodology for consistently propagating updates from one view to the other views and also to the source domain. We motivate our approach by multi-view models in a hospital scenario. [less ▲]

Detailed reference viewed: 140 (19 UL)
Full Text
Peer Reviewed
See detailTowards the routine use of in silico screenings for drug discovery using metabolic modelling
Bintener, Tamara Jean Rita UL; Pires Pacheco, Maria Irene UL; Sauter, Thomas UL

in Biochemical Society Transactions (2020)

Currently, the development of new effective drugs for cancer therapy is not only hindered by development costs, drug efficacy, and drug safety but also by the rapid occurrence of drug resistance in cancer ... [more ▼]

Currently, the development of new effective drugs for cancer therapy is not only hindered by development costs, drug efficacy, and drug safety but also by the rapid occurrence of drug resistance in cancer. Hence, new tools are needed to study the underlying mechanisms in cancer. Here, we discuss the current use of metabolic modelling approaches to identify cancer-specific metabolism and find possible new drug targets and drugs for repurposing. Furthermore, we list valuable resources that are needed for the reconstruction of cancer-specific models by integrating various available datasets with genome-scale metabolic reconstructions using model-building algorithms. We also discuss how new drug targets can be determined by using gene essentiality analysis, an in silico method to predict essential genes in a given condition such as cancer and how synthetic lethality studies could greatly benefit cancer patients by suggesting drug combinations with reduced side effects. [less ▲]

Detailed reference viewed: 82 (5 UL)
Full Text
Peer Reviewed
See detailTowards the Systematic Analysis of Non-Functional Properties in Model-Based Engineering for Real-Time Embedded Systems
Brau, Guillaume UL; Navet, Nicolas UL; Hugues, Jérôme

in Science of Computer Programming (2018), 156

The real-time scheduling theory provides analytical methods to assess the temporal predictability of embedded systems. Nevertheless, their use is limited in a Model-Based Systems Engineering approach. In ... [more ▼]

The real-time scheduling theory provides analytical methods to assess the temporal predictability of embedded systems. Nevertheless, their use is limited in a Model-Based Systems Engineering approach. In fact, the large number of applicability conditions makes the use of real-time scheduling analysis tedious and error-prone. Key issues are left to the engineers: when to apply a real-time scheduling analysis? What to do with the analysis results?} This article presents an approach to systematize and then automate the analysis of non-functional properties in Model-Based Systems Engineering. First, preconditions and postconditions define the applicability of an analysis. In addition, contracts specify the analysis interfaces, thereby enabling to reason about the analysis process. We present a proof-of-concept implementation of our approach using a combination of constraint languages (REAL for run-time analysis) and specification languages (Alloy for describing interfaces and reasoning about them). This approach is experimented on architectural models written with the Architecture Analysis and Design Language (AADL). [less ▲]

Detailed reference viewed: 169 (10 UL)
Full Text
See detailTowards the time-variable gravity field from CHAMP
Weigelt, Matthias UL; Jäggi, A.; Prange, L. et al

Scientific Conference (2011, July)

Detailed reference viewed: 20 (0 UL)
Full Text
Peer Reviewed
See detailTowards trajectory planning from a given path for multirotor aerial robots trajectory tracking
Sanchez Lopez, Jose Luis UL; Olivares Mendez, Miguel Angel UL; Castillo Lopez, Manuel UL et al

in 2018 International Conference on Unmanned Aircraft Systems (ICUAS), Dallas 12-15 June 2018 (2018, June)

Planning feasible trajectories given desired collision-free paths is an essential capability of multirotor aerial robots that enables the trajectory tracking task, in contrast to path following. This ... [more ▼]

Planning feasible trajectories given desired collision-free paths is an essential capability of multirotor aerial robots that enables the trajectory tracking task, in contrast to path following. This paper presents a trajectory planner for multirotor aerial robots carefully designed considering the requirements of real applications such as aerial inspection or package delivery, unlike other research works that focus on aggressive maneuvering. Our planned trajectory is formed by a set of polynomials of two kinds, acceleration/deceleration and constant velocity. The trajectory planning is carried out by means of an optimization that minimizes the trajectory tracking time, applying some typical constraints as m-continuity or limits on velocity, acceleration and jerk, but also the maximum distance between the trajectory and the given path. Our trajectory planner has been tested in real flights with a big and heavy aerial platform such the one that would be used in a real operation. Our experiments demonstrate that the proposed trajectory planner is suitable for real applications and it is positively influencing the controller for the trajectory tracking task. [less ▲]

Detailed reference viewed: 154 (11 UL)
Peer Reviewed
See detailTowards Translating Graph Transformation Systems by Model Transformation
Kastenberg, Harmen; Hermann, Frank UL; Modica, Tony

in Proc. Int. Workshop on Graph and Model Transformation (GraMoT'06) (2006)

Recently, many researchers are working on semantics preserving model transformation. In the field of graph transformation one can think of translating graph grammars written in one approach to a ... [more ▼]

Recently, many researchers are working on semantics preserving model transformation. In the field of graph transformation one can think of translating graph grammars written in one approach to a behaviourally equivalent graph grammar in another approach. In this paper we translate graph grammars developed with the GROOVE tool to AGG graph grammars by first investigating the set of core graph transformation concepts supported by both tools. Then, we define what it means for two graph grammars to be behaviourally equivalent, and for the regar/ded approaches we actually show how to handle different definitions of both - application conditions and graph structures. The translation itself is explained by means of intuitive examples. [less ▲]

Detailed reference viewed: 50 (2 UL)
Full Text
Peer Reviewed
See detailTowards tunable defect arrangements in smectic liquid crystal shells utilizing the nematic-smectic transition in hybrid-aligned geometries
Liang, Hsin-Ling; Zentel, Rudolf; Rudquist, Per et al

in Soft Matter (2012), 8(20), 5443-5450

We produce and investigate liquid crystal shells with hybrid alignment—planar at one boundary, homeotropic at the other—undergoing a transition between the nematic (N) and smectic-A (SmA) phases. The ... [more ▼]

We produce and investigate liquid crystal shells with hybrid alignment—planar at one boundary, homeotropic at the other—undergoing a transition between the nematic (N) and smectic-A (SmA) phases. The shells display a dynamic sequence of patterns, the details depending on the alignment agents and on the diameter and thickness of the shell. In shells of sufficient diameter we typically find a transient striped texture near the N–SmA transition, stabilising into a pattern of tiled, more or less regularly spaced focal conic domains in the SmA phase. The domain size and spacing decrease with reduced shell thickness. In case of strong homeotropic anchoring at one boundary and small shell size, however, the increased curvature favors homeotropic against planar alignment in the smectic phase, and the shell then tends to adapt to complete homeotropic alignment at the final stage of the transition. This is the first study of hybrid-aligned smectic shells and the results constitute a beautiful demonstration of the capacity for dynamic structure formation and reformation via self-assembly in soft matter. The new patterns extend the range of arrays of topological defects that can be realised with liquid crystals in spherical morphology and the correlation between the feature arrangements and the variable parameters of the shell and its environment opens a route towards tunability. However, the observed strong impact from increasing curvature, even for these rather large shells, indicates that the choice of alignment agents inducing planar or homeotropic alignment with varying strength will become critical when targeting the most attractive colloidal size scale of about a micron or smaller. [less ▲]

Detailed reference viewed: 404 (4 UL)
Full Text
Peer Reviewed
See detailTowards understanding of magnetization reversal in Nd-Fe-B nanocomposites: analysis by high-throughput micromagnetic simulations
Erokhin, S.; Berkov, D.; Ito, M. et al

in Journal of Physics : Condensed Matter (2018), 30

We demonstrate how micromagnetic simulations can be employed in order to characterize and analyze the magnetic microstructure of nanocomposites. For the example of nanocrystalline Nd-Fe-B, which is a ... [more ▼]

We demonstrate how micromagnetic simulations can be employed in order to characterize and analyze the magnetic microstructure of nanocomposites. For the example of nanocrystalline Nd-Fe-B, which is a potential material for future permanent-magnet applications, we have compared three different models for the micromagnetic analysis of this material class: (i) a description of the nanocomposite microstructure in terms of Stoner-Wohlfarth particles with and without the magnetodipolar interaction; (ii) a model based on the core-shell representation of the nanograins; (iii) the latter model including a contribution of superparamagnetic clusters. The relevant parameter spaces have been systematically scanned with the aim to establish which micromagnetic approach can most adequately describe experimental data for this material. According to our results, only the last, most sophisticated model is able to provide an excellent agreement with the measured hysteresis loop. The presented methodology is generally applicable to multiphase magnetic nanocomposites and it highligths the complex interrelationship between the microstructure, magnetic interactions, and the macroscopic magnetic properties. [less ▲]

Detailed reference viewed: 146 (5 UL)
Full Text
Peer Reviewed
See detailTowards Usable Protection Against Honeypots
Ferreira Torres, Christof UL; Steichen, Mathis UL; State, Radu UL

in IEEE International Conference on Blockchain and Cryptocurrency, Toronto, Canada 3-6 May 2020 (2020)

The Ethereum blockchain enables the execution of so-called smart contracts. These are programs that facilitate the automated transfer of funds according to a given business logic without the participants ... [more ▼]

The Ethereum blockchain enables the execution of so-called smart contracts. These are programs that facilitate the automated transfer of funds according to a given business logic without the participants requiring to trust one another. However, recently attackers started using smart contracts to lure users into traps by deploying contracts that pretend to give away funds but in fact contain hidden traps. This new type of scam is commonly referred to as honeypots. In this paper, we propose a system that aims to protect users from falling into these traps. The system consists of a plugin for MetaMask and a back-end service that continuously scans the Ethereum blockchain for honeypots. Whenever a user is about to perform a transaction through MetaMask, our plugin sends a request to the back-end and warns the user if the target contract is a honeypot. [less ▲]

Detailed reference viewed: 78 (4 UL)
Full Text
Peer Reviewed
See detailTowards Visual Analytics of Multilayer Graphs for Digital Cultural Heritage
McGee, Fintan; During, Marten UL; Ghoniem, Mohammad

in Towards Visual Analytics of Multilayer Graphs for Digital Cultural Heritage (2016)

Detailed reference viewed: 130 (8 UL)
Peer Reviewed
See detailTowards whole cell "in silico" models for cellular systems: model set-up and model validation
Kremling, A.; Bettenbrock, K.; Fischer, S. et al

in Lecture Notes in Control and Information Sciences: Proceedings of the first multidisciplinary international symposium on Positive Systems (2004)

Detailed reference viewed: 99 (0 UL)
Full Text
Peer Reviewed
See detailA towel less: Social norms enhance pro-environmental behavior in hotels
Reese, Gerhard UL; Loew, Kristina; Steffgen, Georges UL

in Journal of Social Psychology (2014), (154), 97-100

Previous research has shown that normative appeals to engage in environmentally friendly behavior were most effective when they were accompanied by a provincial norm (e.g., when norms matched individuals’ ... [more ▼]

Previous research has shown that normative appeals to engage in environmentally friendly behavior were most effective when they were accompanied by a provincial norm (e.g., when norms matched individuals’ immediate situational circumstances). Analyzing hotel guests’ towel-use during their stay, the current study tests whether messages employing provincial norms were more effective in reducing towel-use than standard environmental messages. In line with previous findings, guests of two hotels used significantly fewer towels when provincial normative appeals—rather than standard environmental messages—were communicated. These findings corroborate to the body of research demonstrating the power of social norms on environmental behavior. [less ▲]

Detailed reference viewed: 259 (19 UL)
Full Text
Peer Reviewed
See detail‘Toy Story’: the narrative world of entrepreneurship
Fletcher, Denise Elaine UL

in Journal of Business Venturing (2007), 22(5), 649-672

Anyone involved in entrepreneurial learning, teaching and research will be aware of the power of a good story about business venturing. The continuous supply of personal stories and accounts of business ... [more ▼]

Anyone involved in entrepreneurial learning, teaching and research will be aware of the power of a good story about business venturing. The continuous supply of personal stories and accounts of business venturing in bookshops, airport lounges, the business press, television dramas or documentary programmes is evidence of the popular readership of entrepreneurial topics sometimes inspiring people to ‘have a go’ for themselves. But narrative accounts are often maligned in entrepreneurship studies for their anecdotal character and inability to say anything significant beyond the person telling their personal story. In this article, the benefits of a narrative style of inquiry for entrepreneurship studies are considered. This is done with reference to the Marvel Mustang account of business venturing. By relating to narrative and reader response theory, consideration is given to the function that the (Marvel Mustang) text has for the reader and how the reader (and not the text) is the key source of meaning about the practices we associate with entrepreneurship. In taking this emphasis, it is possible to understand the processes that facilitate the ‘stretching away’ of little entrepreneurial stories into transforming relations that go beyond the producer of the story and which ‘pull in’ or connect other people that are unrelated to the story. Narrative analysis helps inquirers to move beyond the ‘what’ and the ‘how’ of entrepreneurship and to be able to answer theoretically ‘why’ such processes migrate and stretch across different cultures and contexts. [less ▲]

Detailed reference viewed: 180 (4 UL)
Full Text
Peer Reviewed
See detailTPTP and Beyond: Representation of Quantified Non-Classical Logics
Wisniewski, Max; Steen, Alexander UL; Benzmüller, Christoph UL

in Benzmüller, Christoph; Otten, Jens (Eds.) ARQNL 2016. Automated Reasoning in Quantified Non-Classical Logics (2016, December)

Detailed reference viewed: 29 (0 UL)
See detailTrabalho Escravo and the Globalized World
Harnoncourt, Julia UL

Poster (2014)

Detailed reference viewed: 16 (0 UL)
Full Text
Peer Reviewed
See detailTrabalho Escravo im Amazonasgebiet: Peripherisierung, unfreie Arbeit und Weltmarkt
Harnoncourt, Julia UL

in Zeitschrift für Weltgeschichte (2019)

Detailed reference viewed: 33 (2 UL)
See detailTrabalho Escravo in Today’s Brazil
Harnoncourt, Julia UL

Scientific Conference (2014)

Detailed reference viewed: 15 (0 UL)
See detailTrabalho escravo? Ein historischer Vergleich auf globaler Ebene.
Harnoncourt, Julia UL

in JahrBuch für Forschungen zur Geschichte der Arbeiterbewegung (2015), 14(3),

Detailed reference viewed: 9 (0 UL)