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
See detailToo-Small-To-Survive banks: An Overview
Papanikolaou, Nikolaos UL

Article for general public (2013)

Detailed reference viewed: 20 (3 UL)
Full Text
Peer Reviewed
See detailA Tool for Automated Reasoning about Traces Based on Configurable Formal Semantics
Erata, Ferhat; Göknil, Arda UL; Tekinerdogan, Bedir et al

in 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2017)) (2017)

We present Tarski, a tool for specifying configurable trace semantics to facilitate automated reasoning about traces. Software development projects require that various types of traces be modeled between ... [more ▼]

We present Tarski, a tool for specifying configurable trace semantics to facilitate automated reasoning about traces. Software development projects require that various types of traces be modeled between and within development artifacts. For any given artifact (e.g., requirements, architecture models and source code), Tarski allows the user to specify new trace types and their configurable semantics, while, using the semantics, it automatically infers new traces based on existing traces provided by the user, and checks the consistency of traces. It has been evaluated on three industrial case studies in the automotive domain (https://modelwriter.github.io/Tarski/). [less ▲]

Detailed reference viewed: 63 (3 UL)
Full Text
Peer Reviewed
See detailA Tool for Energy Management and Cost Assessment of Pumps in Waste Water Treatment Plant
Torregrossa, Dario; Leopold, Ulrich; Hernández-Sancho, Francesc et al

in Data, Information and Knowledge Visualization in Decision Support Systems, 282 (2017)

Detailed reference viewed: 17 (3 UL)
Full Text
Peer Reviewed
See detailTool support for generation and validation of traces between requirements and architecture
Göknil, Arda UL; Kurtev, I.; van den Berg, K.

in Proceedings of the 6th ECMFA Traceability Workshop 2013-12-05 15:44:17 +0000 (2010)

Detailed reference viewed: 21 (1 UL)
Full Text
Peer Reviewed
See detailTool Support for the Analysis of TADL2 Timing Constraints using TimeSquare
Göknil, Arda UL; Peraldi-Frati, M. A.; Mallet, F. et al

in 18th International Conference on Engineering of Complex Computer Systems (ICECCS) 2013-12-05 15:45:19 +0000 (2013)

Detailed reference viewed: 27 (3 UL)
Full Text
See detailTool zur einfachen und schnellen Erstellung von Fragebögen in Word
Decieux, Jean Philippe Pierre UL; Jacob, Rüdiger; Heinz, Andreas UL

Software (2013)

Zentrales Anliegen bei der Konzeption und Realisierung dieser Dokumentvorlage war es, Standardlösungen für die häufigsten Frage‐ und Skalenformen anzubieten, die (in den meisten Fällen) per Mausklick ... [more ▼]

Zentrales Anliegen bei der Konzeption und Realisierung dieser Dokumentvorlage war es, Standardlösungen für die häufigsten Frage‐ und Skalenformen anzubieten, die (in den meisten Fällen) per Mausklick abrufbar sind und –abgesehen natürlich von dem Eintragen der jeweiligen Frageinhalte– nicht weiter modifiziert werden müssen. Das Instrument sollte also möglichst einfach handhabbar sein und nur noch ein Minimum an „Programmiertätigkeit“ des Nutzers erfordern. Die Dokumentvorlage ist deshalb modular aufgebaut und enthält Standardlösungen für Intervieweranweisungen, Fragen, Skalen, Listen, demographische Fragen und Anschreiben. [less ▲]

Detailed reference viewed: 200 (11 UL)
Full Text
Peer Reviewed
See detailTool-Support for Analyzing Small-World Properties in Hybrid Wireless Networks
Rothkugel, Steffen UL; Brust, Matthias R. UL

in International Conference on Cutting Edge Wireless and It Technologies (2005)

Detailed reference viewed: 8 (1 UL)
See detailA Toolchain for Model-Based Design and Testing of Access Control Systems
Daoudagh, Said; El Kateb, Donia UL; Lonetti, Francesca et al

in MODELSWARD 2015 (2014)

In access control systems, aimed at regulating the accesses to protected data and resources, a critical component is the Policy Decision Point (PDP), which grants or denies the access according to the ... [more ▼]

In access control systems, aimed at regulating the accesses to protected data and resources, a critical component is the Policy Decision Point (PDP), which grants or denies the access according to the defined policies. Due to the complexity of the standard language, it is recommended to rely on model-driven approaches which allow to overcome difficulties in the XACML policy definition. We provide in this paper a toolchain that involves a model-driven approach to specify and generate XACML policies and also enables automated testing of the PDP component. We use XACML-based testing strategies for generating appropriate test cases which are able to validate the functional aspects, constraints, permissions and prohibitions of the PDP. An experimental assessment of the toolchain and its use on a realistic case study are also presented. [less ▲]

Detailed reference viewed: 50 (5 UL)
Full Text
See detailToolkit lemma: Languaging
Jørgensen, J. Normann; Juffermans, Kasper UL

Diverse speeches and writings (2011)

Detailed reference viewed: 71 (1 UL)
Full Text
See detailToolkit lemma: Native speaker
Jørgensen, J. Normann; Juffermans, Kasper UL

Diverse speeches and writings (2012)

Detailed reference viewed: 21 (0 UL)
Full Text
See detailToolkit lemma: Superdiversity
Jørgensen, J. Normann; Juffermans, Kasper UL

Diverse speeches and writings (2011)

Detailed reference viewed: 111 (0 UL)
Full Text
See detailToolkit lemma: Varieties, codes, lects
Jørgensen, J. Normann; Juffermans, Kasper UL

Diverse speeches and writings (2012)

Detailed reference viewed: 31 (0 UL)
Full Text
Peer Reviewed
See detailTools for Conviviality in Multi-Context Systems
bikakis, Antonis; Caire, Patrice UL; Le Traon, Yves UL

in IFCOLOG: journal of Logic and Applications (2014), 1(1),

A common feature of many distributed systems, including web social networks, peer-to-peer systems and Ambient Intelligence systems, is cooperation in terms of information exchange among heterogeneous ... [more ▼]

A common feature of many distributed systems, including web social networks, peer-to-peer systems and Ambient Intelligence systems, is cooperation in terms of information exchange among heterogeneous entities. In order to facilitate the exchange of information, we first need ways to evaluate it. The concept of conviviality was recently proposed for modeling and measuring cooperation among agents in multiagent systems. In this paper, we introduce conviviality as a property of Multi-Context Systems (MCS). We first present how to use conviviality to model and evaluate interactions among different contexts, which represent heterogeneous entities in a distributed system. Then, as one cause of logical conflicts in MCS is due to the exchange of information between mutually inconsistent contexts, we show how inconsistency can be resolved using the conviviality property. We illustrate our work with an example from web social networks. [less ▲]

Detailed reference viewed: 39 (0 UL)
See detailTools zur praktischen Kompetenzreflexion und -entwicklung an Schulen
Mayer, Susanne; Smilek, Natalie; Cremer, Annelie et al

Learning material (2007)

Detailed reference viewed: 29 (4 UL)
Full Text
Peer Reviewed
See detailThe Top 10 Topics in Machine Learning Revisited: A Quantitative Meta-Study
Glauner, Patrick UL; Du, Manxing UL; Paraschiv, Victor et al

in Proceedings of the 25th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning (ESANN 2017) (2017)

Which topics of machine learning are most commonly addressed in research? This question was initially answered in 2007 by doing a qualitative survey among distinguished researchers. In our study, we ... [more ▼]

Which topics of machine learning are most commonly addressed in research? This question was initially answered in 2007 by doing a qualitative survey among distinguished researchers. In our study, we revisit this question from a quantitative perspective. Concretely, we collect 54K abstracts of papers published between 2007 and 2016 in leading machine learning journals and conferences. We then use machine learning in order to determine the top 10 topics in machine learning. We not only include models, but provide a holistic view across optimization, data, features, etc. This quantitative approach allows reducing the bias of surveys. It reveals new and up-to-date insights into what the 10 most prolific topics in machine learning research are. This allows researchers to identify popular topics as well as new and rising topics for their research. [less ▲]

Detailed reference viewed: 91 (15 UL)
Peer Reviewed
See detailTop-down control over pain in fibromyalgia patients: An experimental study.
Van Ryckeghem, Dimitri; Rost, Silke UL; Van Damme, Stefaan et al

Poster (2015, September)

Detailed reference viewed: 38 (0 UL)
Peer Reviewed
See detailTopGen - Internet Router-Level Topology Generation Based on Technology Constraints
Scholtes, Ingo; Botev, Jean UL; Esch, Markus UL et al

in Proceedings of the 1st International Conference on Simulation Tools and Techniques for Communications, Networks and Systems (SIMUTools) (2008)

Detailed reference viewed: 27 (2 UL)
Full Text
See detailTopic Identification Considering Word Order by Using Markov Chains
Kampas, Dimitrios UL

Doctoral thesis (2016)

Automated topic identification of text has gained a significant attention since a vast amount of documents in digital forms are widespread and continuously increasing. Probabilistic topic models are a ... [more ▼]

Automated topic identification of text has gained a significant attention since a vast amount of documents in digital forms are widespread and continuously increasing. Probabilistic topic models are a family of statistical methods that unveil the latent structure of the documents defining the model that generates the text a priori. They infer about the topic(s) of a document considering the bag-of-words assumption, which is unrealistic considering the sophisticated structure of the language. The result of such a simplification is the extraction of topics that are vague in terms of their interpretability since they disregard any relations among the words that may settle word ambiguity. Topic models miss significant structural information inherent in the word order of a document. In this thesis we introduce a novel stochastic topic identifier for text data that addresses the above shortcomings. The primary motivation of this work is initiated by the assertion that word order reveals text semantics in a human-like way. Our approach recognizes an on-topic document trained solely on the experience of an on-class corpus. It incorporates the word order in terms of word groups to deal with data sparsity of conventional n-gram language models that usually require a large volume of training data. Markov chains hereby provide a reliable potential to capture short and long range language dependencies for topic identification. Words are deterministically associated with classes to improve the probability estimates of the infrequent ones. We demonstrate our approach and motivate its eligibility on several datasets of different domains and languages. Moreover, we present a pioneering work by introducing a hypothesis testing experiment that strengthens the claim that word order is a significant factor for topic identification. Stochastic topic identifiers are a promising initiative for building more sophisticated topic identification systems in the future. [less ▲]

Detailed reference viewed: 64 (11 UL)
Full Text
Peer Reviewed
See detailTopic-based Transparent Replication of Digital Assets
Wehling, Ulf; Rothkugel, Steffen UL

in Ibrahim, Ismail Khalil (Ed.) Handbook of Research on Mobile Multimedia (2008)

Detailed reference viewed: 28 (2 UL)