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 detailTomographic characterization of grain-size correlations in polycrystalline Al-Sn
Krill III, C. E.; Döbrich, K. M.; Michels, D. et al

in Developments in X-Ray Tomography III (2002)

Detailed reference viewed: 25 (3 UL)
Full Text
Peer Reviewed
See detailTomography with high resolution
Rau, C.; Weitkamp, T.; Snigirev, A. et al

in Developments in X-Ray Tomography III (2002)

Detailed reference viewed: 11 (4 UL)
Full Text
Peer Reviewed
See detailTomorrow Never Dies. A Socio-Historical Analysis of the Luxembourgish Curriculum
Lenz, Thomas UL; Rohstock, Anne UL; Schreiber, Catherina UL

in Pinar, Bill (Ed.) International Handbook of Curriculum Research (2013)

Detailed reference viewed: 109 (29 UL)
Full Text
Peer Reviewed
See detailThe “Tone Effect” of News on Investor Beliefs: An Experimental Approach
Kräussl, Roman UL; Bosman,, Ronald; Schulze,, William et al

E-print/Working paper (2015)

Detailed reference viewed: 32 (6 UL)
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: 58 (2 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: 20 (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: 26 (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: 199 (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: 49 (5 UL)
Full Text
See detailToolkit lemma: Languaging
Jørgensen, J. Normann; Juffermans, Kasper UL

Diverse speeches and writings (2011)

Detailed reference viewed: 70 (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: 108 (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: 28 (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: 85 (14 UL)