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
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: 43 (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: 320 (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: 127 (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: 46 (2 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: 105 (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: 83 (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: 228 (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: 163 (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: 22 (0 UL)
See detailTrabalho Escravo and the Globalized World
Harnoncourt, Julia UL

Poster (2014)

Detailed reference viewed: 9 (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: 18 (2 UL)
See detailTrabalho Escravo in Today’s Brazil
Harnoncourt, Julia UL

Scientific Conference (2014)

Detailed reference viewed: 10 (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: 3 (0 UL)
Full Text
Peer Reviewed
See detailTrace checking of Metric Temporal Logic with Aggregating Modalities using MapReduce
Bianculli, Domenico UL; Ghezzi, Carlo; Krstić, Srđan

in Proceedings of the 12th International Conference on Software Engineering and Formal Methods (SEFM 2014) (2014, September)

Detailed reference viewed: 136 (10 UL)
Full Text
Peer Reviewed
See detail'La trace de l'origine': poétique de 'l'effaçonnement' et écriture mémorielle chez Jean Portante
Glesener, Jeanne UL

in Nouvelles Etudes Francophones (2012), 1(Spring), 34-51

Si l’on admet que la littérature migrante transcrit la mondialisation et l’interpénétration des langues et des cultures par le biais de figures identitaires et esthétiques inédites, il y a lieu de ... [more ▼]

Si l’on admet que la littérature migrante transcrit la mondialisation et l’interpénétration des langues et des cultures par le biais de figures identitaires et esthétiques inédites, il y a lieu de s’interroger de plus près sur les pratiques scripturales qui lui sont propres. Dans cet article, nous nous proposons d’analyser la poétique de l’effaçonnement, soutènement de l’écriture de l’écrivain luxembourgeois d’origine italienne Jean Portante. Avec des textes choisis à l’appui, notamment des essais et le roman autofictionnel Mrs Haroy ou la mémoire de la baleine (1993), différents aspects de cette poétique seront examinés, à commencer par son rôle dans l’appréhension que ce poète-écrivain peut avoir de sa langue d’expression littéraire étrangère. Nous procédons ensuite à l’étude du roman autofictionnel pour la voir à l’œuvre dans la narrativisation de la mémoire dans le récit de soi. Les pratiques scripturales employées par Portante pour mettre en texte la mémoire interculturelle du migrant feront l’objet de notre conclusion. [less ▲]

Detailed reference viewed: 124 (1 UL)
Full Text
Peer Reviewed
See detailTrace decategorification of categorified quantum sl2
Beliakova, Anna; Habiro, Kazuo; Lauda, Aaron D. et al

in Mathematische Annalen (2017), 367(1), 397440

The trace or the 0th Hochschild–Mitchell homology of a linear category C may be regarded as a kind of decategorification of C. We compute the traces of the two versions U˙ and U∗ of categorified quantum ... [more ▼]

The trace or the 0th Hochschild–Mitchell homology of a linear category C may be regarded as a kind of decategorification of C. We compute the traces of the two versions U˙ and U∗ of categorified quantum sl2 introduced by the third author. The trace of U is isomorphic to the split Grothendieck group K_0(U˙), and the higher Hochschild–Mitchell homology of U˙ is zero. The trace of U∗ is isomorphic to the idempotented integral form of the current algebra U(sl2[t]). [less ▲]

Detailed reference viewed: 54 (3 UL)
Full Text
Peer Reviewed
See detailTrace-Checking Signal-based Temporal Properties: A Model-Driven Approach
Boufaied, Chaima UL; Menghi, Claudio UL; Bianculli, Domenico UL et al

in Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering (ASE ’20) (2020, September)

Signal-based temporal properties (SBTPs) characterize the behavior of a system when its inputs and outputs are signals over time; they are very common for the requirements specification of cyber-physical ... [more ▼]

Signal-based temporal properties (SBTPs) characterize the behavior of a system when its inputs and outputs are signals over time; they are very common for the requirements specification of cyber-physical systems. Although there exist several specification languages for expressing SBTPs, such languages either do not easily allow the specification of important types of properties (such as spike or oscillatory behaviors), or are not supported by (efficient) trace-checking procedures. In this paper, we propose SB-TemPsy, a novel model-driven trace-checking approach for SBTPs. SB-TemPsy provides (i) SB-TemPsy-DSL, a domain-specific language that allows the specification of SBTPs covering the most frequent requirement types in cyber-physical systems, and (ii) SB-TemPsy-Check, an efficient, model-driven trace-checking procedure. This procedure reduces the problem of checking an SB-TemPsy-DSL property over an execution trace to the problem of evaluating an Object Constraint Language constraint on a model of the execution trace. We evaluated our contributions by assessing the expressiveness of SB-TemPsy-DSL and the applicability of SB-TemPsy-Check using a representative industrial case study in the satellite domain. SB-TemPsy-DSL could express 97% of the requirements of our case study and SB-TemPsy-Check yielded a trace-checking verdict in 87% of the cases, with an average checking time of 48.7 s. From a practical standpoint and compared to state-of-the-art alternatives, our approach strikes a better trade-off between expressiveness and performance as it supports a large set of property types that can be checked, in most cases, within practical time limits. [less ▲]

Detailed reference viewed: 123 (14 UL)
Full Text
Peer Reviewed
See detailTraceability and Modeling of Requirements in Enterprise Architecture from a Design Rationale Perspective
Plataniotis, Georgios; De Kinderen, Sybren UL; Ma, Qin UL et al

in Ninth IEEE conference on Research Challenges in Information Systems (RCIS 2015), Athens, May 13-15, 2015 (2015)

Our work aims to rationalize Enterprise Architectures (EA) by providing the reasoning behind the designs, in terms of selection criteria, design alternatives and more. Its major contribution is a formal ... [more ▼]

Our work aims to rationalize Enterprise Architectures (EA) by providing the reasoning behind the designs, in terms of selection criteria, design alternatives and more. Its major contribution is a formal metamodel that captures the reasoning and the inter-relationships of design decisions. This paper extends our approach in order to provide an explicit bridging between the Problem space that is defined by the different requirements and the Solution space that is described by specific design decisions. In doing so, EA Anamnesis also supports traceability from specific design decisions to the given requirements. [less ▲]

Detailed reference viewed: 142 (2 UL)