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 detailTowards the Integration of Metabolic Network Modelling and Machine Learning for the Routine Analysis of High-Throughput Patient Data
Pacheco, Maria UL; Bintener, Tamara Jean Rita UL; Sauter, Thomas UL

in Automated Reasoning for Systems Biology and Medicine (2019)

The decreasing cost of high-throughput technologies allows to consider their use in healthcare and medicine. To prepare for this upcoming revolution, the community is assembling large disease-dedicated ... [more ▼]

The decreasing cost of high-throughput technologies allows to consider their use in healthcare and medicine. To prepare for this upcoming revolution, the community is assembling large disease-dedicated datasets such as TCGA or METABRIC. These datasets will serve as references to compare new patient samples to in order to assign them to a predefined category (i.e. ‘patients associated with poor prognosis’). Some problems affecting the downstream analysis remain to be solved, the bottleneck is no longer data generation itself but the integration of the existing datasets with the present knowledge. Constraint-based modelling, that only requires the setting of a few parameters, became popular for the integration of high-throughput data in a metabolic context. Notably, context-specific building algorithms that extract a subnetwork from a reference network are largely used to study metabolic changes in various diseases. Reference networks are composed of canonical pathways while extracted subnetworks include only active pathways in the context of interest based on high-throughput data. Even though these algorithms can be part of automated pipelines, to be applied by clinicians, the model-building pipelines must be coupled to a standardized semi-automated analysis workflow based on machine learning approaches to avoid bias and reduce the cost of diagnostics. [less ▲]

Detailed reference viewed: 53 (5 UL)
Peer Reviewed
See detailTowards the knowledge democracy? Knowledge production and the civic role of the university.
Biesta, Gert UL

in Studies in Philosophy & Education (2007), 26(5), 467-479

Detailed reference viewed: 68 (1 UL)
Full Text
Peer Reviewed
See detailTowards the Orchestration of Secured Services under Non-disclosure Policies
Avanesov, Tigran UL; Chevalier, Yannick; Rusinowitch, Michaël et al

in 6th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2012, St. Petersburg, Russia, October 17-19, 2012. Proceedings (2012)

The problem of finding a mediator to compose secured services has been reduced in our former work to the problem of solving deducibility constraints similar to those employed for cryptographic protocol ... [more ▼]

The problem of finding a mediator to compose secured services has been reduced in our former work to the problem of solving deducibility constraints similar to those employed for cryptographic protocol analysis. We extend in this paper the mediator synthesis procedure by a construction for expressing that some data is not accessible to the mediator. Then we give a decision procedure for verifying that a mediator satisfying this non-disclosure policy can be effectively synthesized. This procedure has been implemented in CL-AtSe, our protocol analysis tool. The procedure extends constraint solving for cryptographic protocol analysis in a significative way as it is able to handle negative deducibility constraints without restriction. In particular it applies to all subterm convergent theories and therefore covers several interesting theories in formal security analysis including encryption, hashing, signature and pairing. [less ▲]

Detailed reference viewed: 62 (6 UL)
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: 114 (17 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: 119 (9 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: 13 (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: 74 (6 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: 29 (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: 248 (3 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: 87 (5 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: 83 (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: 52 (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: 196 (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: 135 (4 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: 103 (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: 93 (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: 38 (2 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: 117 (2 UL)