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 detailrPredictorDB: a predictive database of individual secondary structures of RNAs and their formatted plots.
Jelinek, Jan; Hoksza, David UL; Hajic, Jan et al

in Database : the journal of biological databases and curation (2019), 2019

Secondary data structure of RNA molecules provides insights into the identity and function of RNAs. With RNAs readily sequenced, the question of their structural characterization is increasingly important ... [more ▼]

Secondary data structure of RNA molecules provides insights into the identity and function of RNAs. With RNAs readily sequenced, the question of their structural characterization is increasingly important. However, RNA structure is difficult to acquire. Its experimental identification is extremely technically demanding, while computational prediction is not accurate enough, especially for large structures of long sequences. We address this difficult situation with rPredictorDB, a predictive database of RNA secondary structures that aims to form a middle ground between experimentally identified structures in PDB and predicted consensus secondary structures in Rfam. The database contains individual secondary structures predicted using a tool for template-based prediction of RNA secondary structure for the homologs of the RNA families with at least one homolog with experimentally solved structure. Experimentally identified structures are used as the structural templates and thus the prediction has higher reliability than de novo predictions in Rfam. The sequences are downloaded from public resources. So far rPredictorDB covers 7365 RNAs with their secondary structures. Plots of the secondary structures use the Traveler package for readable display of RNAs with long sequences and complex structures, such as ribosomal RNAs. The RNAs in the output of rPredictorDB are extensively annotated and can be viewed, browsed, searched and downloaded according to taxonomic, sequence and structure data. Additionally, structure of user-provided sequences can be predicted using the templates stored in rPredictorDB. [less ▲]

Detailed reference viewed: 33 (0 UL)
Full Text
Peer Reviewed
See detailRPSL meets lightning: A model-based approach to design space exploration of robot perception systems
Gammaitoni, Loïc UL; Hochgeschwender, Nico UL

in RPSL meets lightning: A model-based approach to design space exploration of robot perception systems (2016)

The design space of a robotic application defines at a meta level what are all of its possible implementations. Those possibilities are called design alternatives and differ on many different aspects, one ... [more ▼]

The design space of a robotic application defines at a meta level what are all of its possible implementations. Those possibilities are called design alternatives and differ on many different aspects, one being preferred to the other depending on how, where, when or what the application should do. Design Space Exploration (DSE) is the process of reviewing those design alternatives, prior to their implementation, with intention to verify that the set of all design alternatives to be implemented covers all the possible scenarios in which the application is to be executed. In this paper we address two challenges related to DSE, namely, (1) the formal definitions of design spaces, a non-trivial task due to the many dimensions to be taken into consideration, and (2) the automatisation of DSE, that is, enabling a domain expert to review design alternatives corresponding to a given design space effortlessly. In this paper, we address those challenges in the context of robot perception software systems by combining two already existing technologies, namely RPSL for the specification of robot perception system's design spaces and Lightning, a language workbench that we use to formalise RPSL and obtain, from RPSL specifications, corresponding design alternatives. [less ▲]

Detailed reference viewed: 128 (9 UL)
Full Text
See detailRSA - bases mathématiques
Schiltz, Jang UL

Report (2002)

Detailed reference viewed: 14 (0 UL)
Full Text
See detailRSA, pilier de la cryptographie symétrique
Schiltz, Jang UL

Presentation (2005, July 06)

Detailed reference viewed: 44 (1 UL)
Full Text
Peer Reviewed
See detailRSA: bases mathématiques
Schiltz, Jang UL

Scientific Conference (2002, May 16)

Detailed reference viewed: 21 (1 UL)
Full Text
Peer Reviewed
See detailRT-ByzCast: Byzantine-Resilient Real-Time Reliable Broadcast
Kozhaya, David; Decouchant, Jérémie UL; Verissimo, Paulo UL

in IEEE Transactions on Computers (2019), 68(3),

Today’s cyber-physical systems face various impediments to achieving their intended goals, namely, communication uncertainties and faults, relative to the increased integration of networked and wireless ... [more ▼]

Today’s cyber-physical systems face various impediments to achieving their intended goals, namely, communication uncertainties and faults, relative to the increased integration of networked and wireless devices, hinder the synchronism needed to meet real-time deadlines. Moreover, being critical, these systems are also exposed to significant security threats. This threat combination increases the risk of physical damage. This paper addresses these problems by studying how to build the first real-time Byzantine reliable broadcast protocol (RTBRB) tolerating network uncertainties, faults, and attacks. Previous literature describes either real-time reliable broadcast protocols, or asynchronous (non real-time) Byzantine ones. We first prove that it is impossible to implement RTBRB using traditional distributed computing paradigms, e.g., where the error/failure detection mechanisms of processes are decoupled from the broadcast algorithm itself, even with the help of the most powerful failure detectors. We circumvent this impossibility by proposing RT-ByzCast, an algorithm based on aggregating digital signatures in a sliding time-window and on empowering processes with self-crashing capabilities to mask and bound losses. We show that RT-ByzCast (i) operates in real-time by proving that messages broadcast by correct processes are delivered within a known bounded delay, and (ii) is reliable by demonstrating that correct processes using our algorithm crash themselves with a negligible probability, even with message loss rates as high as 60%. [less ▲]

Detailed reference viewed: 180 (28 UL)
Full Text
See detailRTL-Invité vun der Redaktioun: D'Politologin Anna-Lena Högenauer iwwer de Brexit
Högenauer, Anna-Lena UL

Article for general public (2017)

In diesem RTL Interview werden die Brexit Verhandlungen, ihre Folgen und die öffentliche Meinung in Grossbritannien diskutiert. Das Interview ist auf der RTL Webseite abrufbar http://radio.rtl.lu ... [more ▼]

In diesem RTL Interview werden die Brexit Verhandlungen, ihre Folgen und die öffentliche Meinung in Grossbritannien diskutiert. Das Interview ist auf der RTL Webseite abrufbar http://radio.rtl.lu/emissiounen/den-invite-vun-der-rtl-redaktioun/1020257.html . [less ▲]

Detailed reference viewed: 55 (4 UL)
Full Text
Peer Reviewed
See detailRuano, L. (Ed.). (2013). The Europeanization of National Foreign Policies towards Latin America. New York: Routledge. 264 pp.
Velasco Pufleau, Monica UL

in Regions & cohesion = Regiones y Cohesión = Regions and Cohesion (2013), 3(2), 107-109

Detailed reference viewed: 51 (1 UL)
Full Text
Peer Reviewed
See detailRUBRIC: A Flexible Tool for Automated Checking of Conformance to Requirement Boilerplates
Arora, Chetan UL; Sabetzadeh, Mehrdad UL; Briand, Lionel UL et al

in 9th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2013) (2013, August)

Detailed reference viewed: 231 (31 UL)
Full Text
See detailEin Rückblick auf die Zukunft. 25 Jahre Verkehrswende
Hesse, Markus UL

in Oekologisches Wirtschaften (2018), 33(2), 16-18

This paper (written in German) provides a reflection on a conceptual framework for transforming mobility policies and practices. It was developed in Germany in the context of the then emerging idea for ... [more ▼]

This paper (written in German) provides a reflection on a conceptual framework for transforming mobility policies and practices. It was developed in Germany in the context of the then emerging idea for transforming energy policies (Energiewende). The aim was to put together related concepts for the sustainable development of the demand for, and supply of, mobility and transport and related contexts (Verkehrswende). It was first presented in book format 25 years ago. On that occasion, and since the term has gained some attention and recognition in political realms recently, the concept is subject to a critical reflection from today's perspective. [less ▲]

Detailed reference viewed: 181 (4 UL)
See detailRückmeldeformate zu Ergebnissen aus den Large Scale Assessments
Fischbach, Antoine UL

Presentation (2010, March)

Detailed reference viewed: 35 (8 UL)
Full Text
See detailRudolf Seidel, Léon Metz et la Halle des soufflantes
Scuto, Denis UL

Article for general public (2018)

Detailed reference viewed: 175 (9 UL)
Full Text
See detailDas Ruhrgebiet als Lagerhalle. Logport oder vom Versuch, die moderne Warenwirtschaft zu zähmen.
Hesse, Markus UL

in RaumPlanung (2002), (104), 236-240

Detailed reference viewed: 112 (0 UL)
Full Text
Peer Reviewed
See detailRule Compilation in Multi-Tenant Networks
Blaiech, Khalil; Hamadi, Salaheddine; Hommes, Stefan UL et al

in Rule Compilation in Multi-Tenant Networks (2017, May 18)

Detailed reference viewed: 132 (9 UL)
Full Text
Peer Reviewed
See detailRule of Law and Participation: A Normative Analysis of Internationalised Administrative Procedures
Mendes, Joana UL

E-print/Working paper (2013)

Procedural standards of participation have the capacity to structure and constrain the exercise of authority. Focusing on the way decisions are formed, this paper argues that the depletion of such ... [more ▼]

Procedural standards of participation have the capacity to structure and constrain the exercise of authority. Focusing on the way decisions are formed, this paper argues that the depletion of such standards in processes of reception of trans- and international decisions within the EU potentially leads to situations of unrestrained authority and can constitute a challenge to the rule of law. The first part of the paper identifies the conditions under which this may occur. It sets out the basis for a conceptual and normative analysis underpinning the argument that procedural standards of participation can be considered part of the rule of law. As such, the depletion of procedural standards emerges as one facet of a broader problem – the ability of public law to structure discretion and constrain the exercise of authority that results from internationalised procedures. These intertwined decisionmaking procedures cutting across different levels of governance challenge law’s ability to limit executive action and, hence, the rule of law premise that the exercise of public authority ought to be limited by law. In this way, and despite its EU focus, the paper contributes to analysing the challenges and possibilities of the rule of law in the current realities of diffusion of power resulting from internationalisation. This perspective requires a re-conceptualisation of the decision-making procedures that operate the substantive coordination between the sites of governance involved. The processes through which inter- and transnational rules and decisions are received in EU law are only segments of a broader regulatory cycle initiated by inter- and transnational bodies – of which the receiving authorities are either members, observers, or, otherwise active collaborating parties. Such processes can neither be fully grasped by focusing only on the segments of decision-making developed within each legal system, nor can the challenges they pose to law be apprehended from this perspective. They ought to be seen in their entirety as segments of a broader regulatory cycle. On this basis, the second part of the paper proposes two possible routes to rethink internationalised procedures [less ▲]

Detailed reference viewed: 64 (1 UL)
Full Text
Peer Reviewed
See detailRule of Law and Participation: A Normative Analysis of Internationalised Rulemaking as Composite Procedures?
Mendes, Joana UL

in International Journal of Constitutional Law (2014), 12(2), 370-401

Procedural standards of participation have the capacity to structure and constrain the exercise of authority. Focusing on the way decisions are formed, this article argues that the depletion of such ... [more ▼]

Procedural standards of participation have the capacity to structure and constrain the exercise of authority. Focusing on the way decisions are formed, this article argues that the depletion of such standards in processes of reception of trans- and international decisions within the EU potentially leads to situations of unrestrained authority and can constitute a challenge to the rule of law. It sets out the basis for a conceptual and normative analysis underpinning the argument that procedural standards of participation can be considered part of the rule of law. The depletion of such standards is one facet of a broader problem. Intertwined decision-making procedures that cut across EU and international levels of governance challenge the ability of law to limit executive action. The challenges that internationalized rulemaking procedures pose to law can only be apprehended if they are seen in their entirety as segments of a broader regulatory cycle. On this basis, this article proposes a re-conceptualization of the decision-making procedures that operate the substantive coordination between different sites of governance. Having a EU focus, the article contributes to analyzing the challenges and possibilities of the rule of law in the current realities of diffusion of power resulting from internationalization. [less ▲]

Detailed reference viewed: 89 (6 UL)
Full Text
Peer Reviewed
See detailRule Vector Graph (RVG) To Design Linear Time Algorithm for Identifying the Invertibility of Periodic-Boundary Three Neighborhood Cellular Automata.
Maitii, Nirmalya S.; Ghosh, Soumyabrata UL; Sikdar, Biplab K. et al

in Journal of Cellular Automata (2012), 7(4),

Detailed reference viewed: 20 (2 UL)
Full Text
Peer Reviewed
See detailA Rule-based Approach for Evolution of AADL Models based on Changes in Functional Requirements
Göknil, Arda UL; Kurtev, Ivan; van den Berg, Klaas

in The workshop on Sustainable Architecture: Global Collaboration, Requirements, Analysis (SAGRA) at the 10th European Conference on Software Architecture (ECSA) (2016, November)

The increasing complexity of software systems makes change management costly and time consuming. To ensure the cost-effective system longevity and endurance, it is crucial to apply change management in ... [more ▼]

The increasing complexity of software systems makes change management costly and time consuming. To ensure the cost-effective system longevity and endurance, it is crucial to apply change management in the early stages of software development. In this paper, we introduce a rule-based approach to make software architecture evolving based on counter examples provided by a model checker for violated, changing functional requirements. The approach works on software architecture in AADL and is based on verifying functional requirements using Maude model checker. Our goal is to provide guidelines to the architect about potential changes. Using an industrial example, we show how our approach helps in determining changes to produce a new version of the architecture. [less ▲]

Detailed reference viewed: 175 (12 UL)
Full Text
Peer Reviewed
See detailA rule-based approach for self-optimisation in autonomic eHealth systems
Neyens, Gilles UL; Zampunieris, Denis UL

in Workshop Proceedings ot the 6th International Workshop on "Self-Optimisation in Autonomic & Organic Computing Systems" in ARCS 2018 - 31st International Conference on Architecture of Computing Systems, Braunschweig, Germany, 09 - 12 April, 2018 (2018)

Advances in machine learning techniques in recent years were of great benefit for the detection of diseases/medical conditions in eHealth systems, but only to a limited extend. In fact, while for the ... [more ▼]

Advances in machine learning techniques in recent years were of great benefit for the detection of diseases/medical conditions in eHealth systems, but only to a limited extend. In fact, while for the detection of some diseases the data mining techniques were performing very well, they still got outperformed by medical experts in about half of the tests done. In this paper, we propose a hybrid approach, which will use a rule-based system on top of the machine learning techniques in order to optimise the results of conflict handling. The goal is to insert the knowledge from medical experts in order to optimise the results given by the classification techniques. Possible positive and negative effects will be discussed. [less ▲]

Detailed reference viewed: 109 (17 UL)