References of "Paper published in a book"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailAn Artefact-based Mobile Learning Environment
Hoff, Christian; Wehling, Ulf; Rothkugel, Steffen UL

in Proceedings of the 6th International Conference on Mobile Learning (mLearn 2007) (2007)

Detailed reference viewed: 38 (7 UL)
Full Text
See detailVirolab: A Distributed Decision Support System for Viral Disease Treatment
Sloot, P. M. A.; Tirado-Ramos, A.; Ertaylan, Gökhan UL et al

in Bubak, M.T.; Turala, M.; Wiatr, K. (Eds.) CGW'07 proceedings (2007)

The HIV drug-resistance interpretation systems are used routinely throughout the world in a clinical setting. More knowledge is rapidly becoming available upon which clinical decisions could be made. This ... [more ▼]

The HIV drug-resistance interpretation systems are used routinely throughout the world in a clinical setting. More knowledge is rapidly becoming available upon which clinical decisions could be made. This knowledge, information, data and evidence from many sources are combined within a Decision Support System (DSS) to provide coherent judgements on drug-susceptibility. At the core of the DSS is a HIV drug-resistance interpretation system incorporating knowledge from the principal systems (Stanford HIVdb, Rega, ANRS, Virolab ) in use throughout the world. We describe an improved rule-based language which has adequate expressiveness and enjoys a fully-specified, formal semantics, allowing for automated reasoning over rule sets. Among the questions which can be addressed are: • Ambiguity: Is the rule set internally ambiguous? Does it allow more than one interpretation? • Completeness: Does the rule set have complete coverage? • Consistency: Are there rules in the set which make contradictory predictions? • Redundancy: Do some rules of a rule set subsume others? • Dissonance: How do rule sets differ in their predictions? • Predictive power: Can one rule set make more specific predictions than another or can it make predictions in cases where the other is silent? The formal language which we present has a well-defined semantics that will allow for making judgements of the above kinds using reasoning that is either completely automated or at least semi-automated. Furthermore recent findings have revealed the need to express multiplicative effects of certain mutations on drugs. The state of the art language for specifying HIV drug interpretation rules, ASI, in its present form, is limited to linear combinations of effects. In future work we will use Bayesian hierarchical modelling to make predictive distributions in the presence of uncertainty. The full chain of analysis will combine Bayesian hierarchical modelling with probabilistic decision analysis based on utility attribution and/or multi-objective optimisation of such quantities as cost,chance and duration of survival or quality-adjusted life years. [less ▲]

Detailed reference viewed: 24 (0 UL)
Full Text
Peer Reviewed
See detailCodeVoting Protection Against Automatic Vote Manipulation in an Uncontrolled Environment
Joaquim, Rui UL; Ribeiro, Carlos

in Alkassar, Ammar; Volkamer, Melanie (Eds.) E-Voting and Identity (2007)

One of the major problems that prevent the widespread of Internet voting is the vulnerability of the voter’s computer. A computer connected to the Internet is exposed to virus, worms, spyware, malware and ... [more ▼]

One of the major problems that prevent the widespread of Internet voting is the vulnerability of the voter’s computer. A computer connected to the Internet is exposed to virus, worms, spyware, malware and other threats that can endanger the election’s integrity. For instance, it is possible to write a virus that changes the voter’s vote to one predetermined vote on election’s day. It is possible to write such a virus so that the voter would not notice anything wrong with the voting application. This attack is very dangerous because it may pass undetected. To prevent such attack it is necessary to prevent automatic vote manipulation at voter’s computer. Here we present CodeVoting, a technique to create a secure communication channel to a smart card that prevents vote manipulation by the voter’s PC, while at the same time allows the use of any cryptographic voting protocol to protect the election’s integrity at the server side of the voting application. [less ▲]

Detailed reference viewed: 118 (1 UL)
Peer Reviewed
See detailCoevolutionary Genetic Algorithms for Ad Hoc Injection Networks Design Optimization
Danoy, Grégoire UL; Bouvry, Pascal UL; Hogie, Luc UL

in Congress on Evolutionary Computation (CEC) (2007)

Detailed reference viewed: 84 (4 UL)
Peer Reviewed
See detailDistributed Coevolutionary Genetic Algorithm for Optimal Design of Ad Hoc Injection Networks
Danoy, Grégoire UL; Bouvry, Pascal UL; Alba, Enrique

in The 21st European Conference on Modeling and Simulation (ECMS 2007) (2007)

Detailed reference viewed: 44 (7 UL)
Full Text
Peer Reviewed
See detailDamage Assessment of Civil Engineering Structures by the Observation of Non-linear Dynamic Behaviour
Waltering, Markus; Waldmann, Danièle UL; Maas, Stefan et al

in Proceedings of the International Conference on Experimental Vibration Analysis for Civil Engineering Structures (2007) (2007)

Detailed reference viewed: 28 (4 UL)
Full Text
Peer Reviewed
See detailWechselwirkungen runder Düsenfreistrahlen mit ebenen Wänden bei verschiedenen Auftreffwinkeln
Richter, Frank; Michael, Mark UL; Leder, Alfred et al

in Leder, A.; Brede, B.; Hüttmann, F. (Eds.) et al Proceedings der 15.GALA-Fachtagung “Lasermethoden in der Strömungsmesstechnik“ (2007)

Die Ausbreitung eines runden Düsenfreistrahls bei verschiedenen Auftreffwinkeln auf eine ebene Wand wird in einem großen Wasserbecken experimentell untersucht. Die Wechsel- wirkungen zwischen Freistrahl ... [more ▼]

Die Ausbreitung eines runden Düsenfreistrahls bei verschiedenen Auftreffwinkeln auf eine ebene Wand wird in einem großen Wasserbecken experimentell untersucht. Die Wechsel- wirkungen zwischen Freistrahl und Wand werden bei den unterschiedlichen Konfigurationen anhand des mit einer tauchbaren 3D-LDA-Sonde gemessenen Strömungsfeldes charakteri- siert. Das radiale Ausbreitungsverhalten sowie der Volumenstrom über die Strahlquer- schnitte stehen dabei im Mittelpunkt der Auswertung. [less ▲]

Detailed reference viewed: 96 (1 UL)
Full Text
Peer Reviewed
See detailHyCast-Podcast Discovery in Mobile Networks
Andronache, Adrian UL; Brust, Matthias R. UL; Rothkugel, Steffen UL

in Proceedings of the 3rd ACM Workshop on Wireless Multimedia Networking and Performance Modeling (WMuNeP '07) (2007)

Podcasts are a popular way to provide multimedia information about certain topics. A multitude of podcast servers exist in the Internet, allowing people to subscribe to them. Typically, podcasts are ... [more ▼]

Podcasts are a popular way to provide multimedia information about certain topics. A multitude of podcast servers exist in the Internet, allowing people to subscribe to them. Typically, podcasts are downloaded onto desktop computers and copied on mobile devices to be played while being on the move. In this paper, we extend the idea of podcasts, making them available in mobile network environments. In particular, HyCast does not rely on central podcast directories. Instead, HyCast also allows discovering, subscribing to, and downloading podcasts and episodes in the local neighborhood. For the dissemination of podcast information, we introduce and evaluate two different strategies. One is based on peer-to-peer communication between one-hop neighbors. The second one employs clustering to reduce the overhead of the podcast information dissemination. [less ▲]

Detailed reference viewed: 86 (6 UL)
Full Text
Peer Reviewed
See detailProduction située et distribuée d'une forme discursive à visée pédagogique : le cas d'une rédaction conjointe.
Brassac, Christian; Arend, Béatrice UL

in Les Actes du Colloque. (2007)

Detailed reference viewed: 20 (0 UL)
Full Text
Peer Reviewed
See detailTrio2Promela: a Model Checker for Temporal Metric Specifications
Bianculli, Domenico UL; Morzenti, Angelo; Pradella, Matteo et al

in ICSE 2007 Companion: Companion of the proceedings of the 29th International Conference on Software Engineering (2007)

Detailed reference viewed: 85 (2 UL)
Full Text
Peer Reviewed
See detailMonitoring Conversational Web Services
Bianculli, Domenico UL; Ghezzi, Carlo

in Proceedings of the 2nd International Workshop on Service-Oriented Software Engineering (IW-SOSWE'07) co-located with ESEC/FSE 2007 (2007)

Detailed reference viewed: 62 (0 UL)
Full Text
Peer Reviewed
See detailAutomated Dynamic Maintenance of Composite Services based on Service Reputation
Bianculli, Domenico UL; Jurca, Radu; Binder, Walter et al

in Proceedings of ICSOC'07, International Conference on Service-Oriented Computing (2007)

Detailed reference viewed: 81 (0 UL)
Full Text
Peer Reviewed
See detailModel checking temporal metric specification with Trio2Promela
Bianculli, Domenico UL; Spoletini, Paola; Morzenti, Angelo et al

in Proceedings of International Symposium on Fundamentals of Software Engineering (FSEN 2007) Teheran, Iran (2007)

Detailed reference viewed: 26 (0 UL)
Full Text
Peer Reviewed
See detailCompliance of RIES to the proposed e-Voting protection profile
Jonker, Hugo UL; Volkamer, Melanie

in Proc. First Conference on E-Voting and Identity (VOTE-ID’07) (2007)

Detailed reference viewed: 63 (0 UL)
Full Text
Peer Reviewed
See detailA Timed extension of WSCoL
Baresi, Luciano; Bianculli, Domenico UL; Ghezzi, Carlo et al

in Proceedings of the IEEE International Conference on Web Services (ICWS 2007) (2007)

Detailed reference viewed: 58 (0 UL)
Full Text
Peer Reviewed
See detailA model checking approach to verify BPEL4WS workflows
Bianculli, Domenico UL; Ghezzi, Carlo; Spoletini, Paola

in Proceedings of the 2007 IEEE International Conference on Service-Oriented Computing and Applications (IEEE SOCA 2007) (2007)

Detailed reference viewed: 74 (1 UL)
Peer Reviewed
See detailVers une utilisation flexible du signe "moins" dans les opérations algébriques: une séquence d' apprentissage basé sur des activités de symbolisation
Vlassis, Joëlle UL

in Actes du 59th Conference of the Commission Internationale pour l' Etude et l' Amélioration de l' Enseignement des Mathématiques (2007)

Detailed reference viewed: 29 (3 UL)
Peer Reviewed
See detailLe décrochage scolaire des jeunes lors de la transition primaire-secondaire: recherche de clés de compréhension au sein de l'environnement familial
Poncelet, Débora UL; Bernard, Sévrine; Crochelet, Fany et al

in acte du XI Congrès d' éducation familiale de l' AIFREF (2007)

Detailed reference viewed: 47 (1 UL)
Full Text
Peer Reviewed
See detailLocalized Support for Injection Point Election in Hybrid Networks
Brust, Matthias R. UL; Rothkugel, Steffen UL

in Proceedings of the Sixth International Conference on Networking (ICN 2007) (2007)

Detailed reference viewed: 72 (2 UL)
Full Text
Peer Reviewed
See detailMathematical models of circadian Ca2+ oscillations
Neil, D.; Goncalves, Jorge UL; Webb, A.R.

in Proceedings of the eighth International Conference on Systems Biology (2007)

In the model plant Arabidopsis thaliana, the concentration of cytosolic-free Ca2+ ([Ca2+]cyt) oscillates with a circadian rhythm. We are investigating the regulation and role of these oscillations both ... [more ▼]

In the model plant Arabidopsis thaliana, the concentration of cytosolic-free Ca2+ ([Ca2+]cyt) oscillates with a circadian rhythm. We are investigating the regulation and role of these oscillations both experimentally and mathematically. Through systems identification, we have developed simple mathematical models from a single experiment measuring [Ca2+]cyt and the promoter activity of CIRCADIAN CLOCK ASSOCIATED 1 (CCA1). Through validation with 4 contrasting datasets, including a clock-arrhythmic transgenic line (CCA1 overexpressor), we demonstrate the necessity for a light input pathway to regulate basal [Ca2+]cyt levels. [less ▲]

Detailed reference viewed: 32 (2 UL)
Peer Reviewed
See detailUsing iterative design and development for mobile learning systems in school projects
Melzer, André UL; Hadley, L.; Glasemann, M. et al

in Proceedings of ICEC CELDA 2007 (2007)

Detailed reference viewed: 36 (0 UL)
See detailOpenluchtscholen... Iets nieuws onder de zon behalve lucht?
Thyssen, Geert UL

in ctes du VIIe Congrès de l’Association des Cercles Francophones d’Histoire et d’Archéologie de Belgique et LIVe Congrès de la Fédération des Cercles d’Archéologie et d’Histoire de Belgique. Congrès d'Ottignies – Louvain-la-Neuve, 26-28 août 2004 (2007)

Detailed reference viewed: 20 (0 UL)
Peer Reviewed
See detailQ-value Heuristics for Approximate Solutions of Dec-POMDPs
Oliehoek, F. A.; Vlassis, Nikos UL

in Proc. AAAI Spring Symp. on Game Theoretic and Decision Theoretic Agents (2007)

Detailed reference viewed: 33 (0 UL)
Peer Reviewed
See detailDistributed Decision Making for Robot Teams
Vlassis, Nikos UL

in Proc. 1st Int. Symp. on Intelligent and Distributed Computing (2007)

Detailed reference viewed: 75 (0 UL)
Full Text
Peer Reviewed
See detailThe Seventh International Comparison of Absolute Gravimeters ICAG-2005 at the BIPM. Organization and Preliminary reseults
Vitushkin, Leonid; Jiang, Zhiheng; Becker, Matthias et al

in Kilicoglu, Ali; Forsberg, Rene (Eds.) Gravity Field of the Earth: Proceedings of the 1st International Symposium of the International Gravity Field Service (2007)

Detailed reference viewed: 46 (1 UL)
Peer Reviewed
See detailA Governmental Vision on Public Safety Group Calls and Object Tracing
Frank, Raphaël UL; Scherer, Thomas UL; Simon, Carlo et al

in Proceedings of the 14th Annual Conference on Disaster Recovery And Relief, Current & Future Approaches (2007)

Detailed reference viewed: 64 (5 UL)
Full Text
Peer Reviewed
See detailTwo New Techniques of Side-Channel Cryptanalysis
Biryukov, Alex UL; Khovratovich, Dmitry UL

in Cryptographic Hardware and Embedded Systems - CHES 2007 (2007)

We describe two new techniques of side-channel cryptanalysis which we call the impossible collision attack and the multiset collision attack. These are inspired by the state-of-the-art cryptanalytic ... [more ▼]

We describe two new techniques of side-channel cryptanalysis which we call the impossible collision attack and the multiset collision attack. These are inspired by the state-of-the-art cryptanalytic techniques of impossible differential attacks [BihamBS99] and partial-function collision attacks [GilbertM00] respectively. Using these techniques on an example of the AES we show that one has to mask all the rounds of a 128-bit key AES in order to prevent such attacks. For example these attacks can be used to break a recent proposal by Schramm et al. [SchrammP06] of high order masking for the AES, since it protects only 3 external rounds. [less ▲]

Detailed reference viewed: 162 (4 UL)
Full Text
Peer Reviewed
See detailRelative campaign during the International Comparison of Absolute Gravimeters ICAG-2005 and the strategy of data treatment combined with the absolute results
Jiang, Zhiheng; Vitushkin, Leonid; Becker, Matthias et al

in Kilicoglu, Ali; Forsberg, Rene (Eds.) Gravity Field of the Earth: Proceedings of the 1st International Symposium of the International Gravity Field Service (2007)

Detailed reference viewed: 46 (5 UL)
See detailZur Bedeutung der Präpuls-Inhibierung bei der kardialen Modulation der Schreckreaktion
Schulz, André UL; Schächinger, H.

in Wender, K. F.; Mecklenbräuker, S.; Rey, G. D. (Eds.) et al Beiträge zur 49. Tagung experimentell arbeitender Psychologen (2007)

Detailed reference viewed: 17 (0 UL)
Full Text
Peer Reviewed
See detailNuovo DRM Paradiso: Towards a Verified Fair DRM Scheme
Dashti, Muhammad Torabi; Nair, Srijith Krishnan; Jonker, Hugo UL

in Proc. First International Symposium on Fundamentals of Software Engineering (FSEN'07) (2007)

Detailed reference viewed: 77 (0 UL)
See detailCortisol rather than autonomic arousal promotes memory consolidation of human faces
Böhringer, A.; Philippsen, C.; Richter, S. et al

in Wender, K. F.; Mecklenbräuker, S.; Rey, G. D. (Eds.) et al Beiträge zur 49. Tagung experimentell arbeitender Psychologen (2007)

Detailed reference viewed: 21 (0 UL)
Full Text
Peer Reviewed
See detailFault-Tolerant Explicit MPC of PEM Fuel Cells
Puig, Vicenç; Rosich, Albert UL; Ocampo, Carlos et al

in Decision and Control, 2007 46th IEEE Conference on (2007)

In this paper, fault-tolerant explicit MPC control of fuel cell systems is presented. MPC is one of the control methodologies that allows to introduce fault-tolerance more easily. Here, this capability is ... [more ▼]

In this paper, fault-tolerant explicit MPC control of fuel cell systems is presented. MPC is one of the control methodologies that allows to introduce fault-tolerance more easily. Here, this capability is extended using recent explicit MPC control theory. Explicit MPC control allows to derive offline the control without using optimization. Moreover, it allows to introduce as additional parameters faults since it is based on parametric programming. This makes possible to change in real-time controller parameters without recomputing the MPC controller or having a bank of pre-computed MPC controllers. Finally, the proposed approach is assessed on a known test bench PEM fuel cell system. [less ▲]

Detailed reference viewed: 73 (2 UL)
See detailConvergence of Cardiac Modulation of Acoustic Startle (CMAS) and Cardiac Perception
Schulz, André UL; Reichert, C.; Schoene, L. et al

in Wascher, E.; Falkenstein, M.; Rinkenauer, G. (Eds.) et al Tagungsbeiträge "Psychologie und Gehirn" 2007 (2007)

Detailed reference viewed: 18 (1 UL)
Full Text
Peer Reviewed
See detailAn Architecture for E-Learning System with Computational Intelligence
El Alami, Marc UL; Casel, Nicolas UL; Zampunieris, Denis UL

in Apolloni, B. (Ed.) Proceedings of KES - International Conference on Knowledge-Based and Intelligent Information & Engineering Systems, September 2007, Vietri sul Mare (Italy) (2007)

In this paper, we introduce a new kind of software tools intended to offer a virtual educational and/or training environment online: proactive e-Learning Management Systems. These computational ... [more ▼]

In this paper, we introduce a new kind of software tools intended to offer a virtual educational and/or training environment online: proactive e-Learning Management Systems. These computational intelligence based systems are designed to improve the users’ online (inter)actions by providing programmable, automatic and continuous intelligent analyses of the users’ behaviors, augmented with appropriate actions initiated by the LMS itself. We show how we implemented the proactive part of our LMS on the basis of a dynamic rules-based expert system. We also sketch how it looks like from a user’s point of view. Finally, We give some examples of intelligent analysis of users’ behaviors coded into proactive rules. [less ▲]

Detailed reference viewed: 185 (8 UL)
Full Text
Peer Reviewed
See detailCollision Attacks on AES-Based MAC: Alpha-MAC
Biryukov, Alex UL; Bogdanov, Andrey; Khovratovich, Dmitry UL et al

in Cryptographic Hardware and Embedded Systems - CHES 2007 (2007)

Message Authentication Code construction Alred and its AES-based instance Alpha-MAC were introduced by Daemen and Rijmen in 2005. We show that under certain assumptions about its implementation (namely ... [more ▼]

Message Authentication Code construction Alred and its AES-based instance Alpha-MAC were introduced by Daemen and Rijmen in 2005. We show that under certain assumptions about its implementation (namely that keyed parts are perfectly protected against side-channel attacks but bulk hashing rounds are not) one can efficiently attack this function. We propose a side-channel collision attack on this MAC recovering its internal state just after 29 measurements in the known-message scenario which is to be compared to 40 measurements required by collision attacks on AES in the chosen-plaintext scenario. Having recovered the internal state, we mount a selective forgery attack using new 4 to 1 round collisions working with negligible memory and time complexity. [less ▲]

Detailed reference viewed: 141 (0 UL)
Peer Reviewed
See detailSemi-automated Content Zoning of Spam Emails
Brucks, Claudine UL; Hilker, Michael UL; Schommer, Christoph UL et al

in Proceedings "WebIst" (2007)

Detailed reference viewed: 97 (3 UL)
Full Text
Peer Reviewed
See detailQ-value functions for decentralized POMDPs
Oliehoek, Frans A.; Vlassis, Nikos UL

in Proc Int. Joint Conf. on Autonomous Agents and Multi-Agent Systems (2007)

Planning in single-agent models like MDPs and POMDPs can be carried out by resorting to Q-value functions: a (near-) optimal Q-value function is computed in a recursive manner by dynamic programming, and ... [more ▼]

Planning in single-agent models like MDPs and POMDPs can be carried out by resorting to Q-value functions: a (near-) optimal Q-value function is computed in a recursive manner by dynamic programming, and then a policy is extracted from this value function. In this paper we study whether similar Q-value functions can be defined in decentralized POMDP models (Dec-POMDPs), what the cost of computing such value functions is, and how policies can be extracted from such value functions. Using the framework of Bayesian games, we argue that searching for the optimal Q-value function may be as costly as exhaustive policy search. Then we analyze various approximate Q-value functions that allow efficient computation. Finally, we describe a family of algorithms for extracting policies from such Q-value functions. [less ▲]

Detailed reference viewed: 69 (0 UL)
Full Text
Peer Reviewed
See detailRepenser la santé mentale: à propos du projet EQUAL-RESET sur l'employabilité des détenus
Baumann, Michèle UL; Amara, Marie-Emmanuelle UL; Haas, Claude UL

in Comité, Scientifique (Ed.) Politiques publiques et pratiques professionnelles face aux inégalités sociales de santé (2007)

Faire de la prison un temps utile (formation, éducation, santé) pour favoriser la réinsertion et limiter la récidive résume les règles pénitentiaires européennes et les recommandations du Conseil de ... [more ▼]

Faire de la prison un temps utile (formation, éducation, santé) pour favoriser la réinsertion et limiter la récidive résume les règles pénitentiaires européennes et les recommandations du Conseil de l’Europe. Aujourd'hui, la prison a pour mission l’exécution des peines, mais aussi celle de préparer les individus à chercher, trouver et conserver un emploi. Formation, éducation, travail en ateliers, régime de la semi-liberté sont des activités proposées aux détenus du Centre Pénitentiaire de Givenich (CPG). Pour participer au programme EQUAL-RESET*, la santé mentale constitue un atout pour les détenus qui souhaitent s'investir dans les activités, elle représente un déterminant de poids dans l'acquisition des compétences relatives à l'employabilité. Des entretiens avec le personnel du CPG nous ont cependant conduits à nous interroger sur l'influence que pouvait avoir le niveau d'instruction sur la santé mentale des détenus et sur l'utilisation du dispositif existant. Méthodologie. Sur 77 détenus, 52 ont accepté de participer à l'enquête. Ils ont été interrogés au moyen d'un questionnaire auto-administré et de deux questions ouvertes posées en face à face par un enquêteur. La santé mentale a été appréciée à l’aide 2 échelles validées: les dimensions psychologique et relations sociales du World Health Organization Quality Of Life (WHOQOL) et le CES-Dépression global. Parallèlement, le rôle du travail dans la vie, la capacité à se prendre en mains (Making Decision Empowerment), le nombre de personnes sur qui ils peuvent compter, la fréquence des idées de suicide, la consommation de tabac et de psychotropes ont également été mesurés. Résultats. Sur l’ensemble des détenus, 75% fument (20 cigarettes en moyenne par jour) et 33% prennent des psychotropes. Environ 56% ont un niveau d'instruction inférieur ou égal à 9 années d’étude. Parmi eux, 52% ont moins de 30 ans et 67% sont peu satisfaits de leurs relations sociales (contre 23%). Un niveau d'études moyen ou supérieur est associé à une meilleure santé mentale ainsi qu'à un score plus élevé attribué au rôle du travail dans la vie. Ces scores et celui de l'empowerment sont d'autant plus faibles que la consommation de médicaments anti-dépresseurs et les idées de suicide sont plus fréquentes. Des scores faibles de qualité de vie et d'empowerment sont associés à une consommation de tranquillisants. Les problèmes de santé évoqués par les détenus sont essentiellement la dépression et la toxicomanie. Ils ont conscience que ces problèmes sont un frein à leur réinsertion et demandent qu’ils soient pris en charge pendant leur incarcération et non après. Discussion. Un effet cumulatif et d'amplification existe. La non prise en compte des problèmes de santé mentale chez les détenus n'ayant pas atteint la fin du cycle secondaire, pénalise ces derniers pendant leur séjour en prison, mais aussi à leur sortie : lors de la détention, le détenu ne peut pas suivre de manière satisfaisante le programme de réinsertion qui lui est offert, et à sa sortie, au lieu d'être employable, il doit d'abord envisager de se soigner, ce qu'il fait avec réticence car il est débordé par les difficultés du retour à la vie normale. L'équité d'accès à la formation et à l’éducation, nécessite de repenser la santé mentale comme partie intégrante d’un dispositif d’accompagnement global des détenus. [less ▲]

Detailed reference viewed: 132 (4 UL)
Full Text
Peer Reviewed
See detailProactive e-Learning Management System
Zampunieris, Denis UL

in Proceedings of “ICALT - International Conference on Advanced Learning Technologies” (2007)

This paper introduces a new kind of e-Learning Management System: proactive LMS. These e-learning platforms are designed to improve their users' online interactions by providing appropriate actions ... [more ▼]

This paper introduces a new kind of e-Learning Management System: proactive LMS. These e-learning platforms are designed to improve their users' online interactions by providing appropriate actions initiated by the LMS itself. [less ▲]

Detailed reference viewed: 145 (15 UL)
Full Text
Peer Reviewed
See detailOptimal Sensor Placement for Model-Based Fault Detection and Isolation
Sarrate, Ramon; Puig, Vicenç; Escobet, Teresa et al

in Decision and Control, 2007 46th IEEE Conference on (2007)

The problem of optimal sensor placement for FDI consists in determining the set of sensors that minimizes a pre-defined cost function satisfying at the same time a pre- established set of FDI ... [more ▼]

The problem of optimal sensor placement for FDI consists in determining the set of sensors that minimizes a pre-defined cost function satisfying at the same time a pre- established set of FDI specifications for a given set of faults. The main contribution of this paper is to propose an algorithm for model-based FDI sensor placement based on formulating a mixed integer optimization problem. FDI specifications are translated into constraints of the optimization problem considering that the whole set of ARRs has been generated, under the assumption that all candidate sensors are installed. To show the effectiveness of this approach, an application based on a two-tanks system is proposed. [less ▲]

Detailed reference viewed: 67 (1 UL)
Full Text
Peer Reviewed
See detailUniform Circuits & Boolean Proof Nets
Mogbil, Virgile; Rahli, Vincent UL

in LFCS 2007 (2007)

Detailed reference viewed: 90 (0 UL)
Peer Reviewed
See detailHospitäler im Mittelalter - wo und ab wann gehörte das Hospital zur Stadt?
Pauly, Michel UL

in Jäschke, Kurt-Ulrich; Schrenk, Christhard (Eds.) Was machte im Mittelalter zur Stadt? Selbstverständnis, Außensicht und Erscheinungsbilder mittelalterlicher Städte. Vorträge zum gleichnamigen Symposium vom 30. März bis 2. April 2006 in Heilbronn (2007)

Detailed reference viewed: 72 (0 UL)
Full Text
Peer Reviewed
See detailMöglichkeiten und Grenzen generischer Ansätze als Beitrag zur Steigerung der Robustheit von Produktentwicklungsprojekten
Gericke, Kilian UL; Schmidt-Kretschmer, Michael; Blessing, Lucienne UL

in Proceedings of 18th Symposium Design for X (2007)

Zur Darstellung des theoretischen Rahmens dieser Arbeit werden ein Modell zur Visualisierung der Vernetzung von Einflussfaktoren auf den Projekterfolg aus den Domänen Projekt-Management, Produkt und ... [more ▼]

Zur Darstellung des theoretischen Rahmens dieser Arbeit werden ein Modell zur Visualisierung der Vernetzung von Einflussfaktoren auf den Projekterfolg aus den Domänen Projekt-Management, Produkt und Stakeholder und ein Verbesserungsprozess zur Steigerung der Robustheit von Produktentwicklungsprojekten vorgestellt. Vor diesem Hintergrund werden die Grenzen aber auch die Möglichkeiten generischer Lösungsansätze diskutiert. Anhand einer Fallstudie wird untersucht welche Barrieren die Durchführung des Verbesserungsprozesses und somit auch die Anwendung der Lösungsansätze in der Praxis erschweren. Die Analysen zeigen, dass die Kenntnis der Ursachen von Problemen, die zu Planungsabweichungen in Produktenwicklungsprojekten führen, und eine entsprechende Anpassung der Handlungsempfehlungen Voraussetzungen zur Implementierung daraus abgeleiteter Maßnahmen sind. Die domänenübergreifende Betrachtung möglicher Einflussfaktoren gemäß dem Konzept der Robustheit führt während der Ursachenanalyse zu einem fundierten Verständnis der Problemlage und ermöglicht eine bessere Anpassung der Lösungsansätze. Aus den theoretischen Vorüberlegungen und den Ergebnissen der Fallstudie werden Anforderungen an die Weiterentwicklung des Ansatzes zur Steigerung der Robustheit von Produktentwicklungsprojekten abgeleitet, der die Anwender unterstützen soll, den Transfer empirischer Erkenntnisse und Handlungsempfehlungen auf individuelle Problemstellungen zu vollziehen. [less ▲]

Detailed reference viewed: 57 (0 UL)
Full Text
Peer Reviewed
See detailManaging requirements or be managed by requirements - results of an empirical study
Schmidt-Kretschmer, Michael; Gericke, Kilian UL; Blessing, Lucienne UL

in Proceedings of the 16th International Conference on Engineering Design (2007)

In order to remain competitive, e.g. in the face of globalisation, many small and medium-sized product development manufacturers feel the need to change or refine their development processes. One of the ... [more ▼]

In order to remain competitive, e.g. in the face of globalisation, many small and medium-sized product development manufacturers feel the need to change or refine their development processes. One of the key activities is to systematically translate the needs of customers into development requirements. Little is known about how small and medium enterprises (SMEs) deal with the complex topic requirements management and studies of large numbers of cases are still the exception. Many SMEs have problems in managing requirements. They often have the capabilities for requirements management but the processes are not well defined, e.g. insufficient monitoring of specifications and poorly organised customer contacts. How to work with frozen specifications and how to handle the wishes of the customers seem not to be fully understood. This paper presents selected results of an empirical study into product development of SMEs in the UK. The predominantly qualitative data was collected using a questionnaire which was designed as a self-help package. [less ▲]

Detailed reference viewed: 66 (0 UL)
Peer Reviewed
See detailLe discours sapiential à l'épreuve du littéraire : énonciation en acte et subversion
Colas-Blaise, Marion UL

in Freyermuth, Sylvie (Ed.) Le registre sapiental. Le livre de sagesse ou les visages de Protée (2007)

Detailed reference viewed: 60 (1 UL)
See detailJudgment Aggregation and the Problem of Truth-Tracking
Pigozzi, Gabriella UL; Hartmann, Stephan

in Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge (2007)

The problem of the aggregation of consistent individual judgments on logically interconnected propositions into a collective judgment on the same propositions has recently drawn much attention. The ... [more ▼]

The problem of the aggregation of consistent individual judgments on logically interconnected propositions into a collective judgment on the same propositions has recently drawn much attention. The difficulty lies in the fact that a seemingly reasonable aggregation procedure, such as propositionwise majority voting, cannot ensure an equally consistent collective outcome. The literature on judgment aggregation refers to such dilemmas as the doctrinal paradox. Three procedures have been proposed in order to overcome the paradox: the premise-based and conclusion-based procedures on the one hand, and the fusion approach on the other hand. In this paper we assume that the decision which the group is trying to reach is factually right or wrong. Hence, the question is how good the fusion approach is in tracking the truth, and how it compares with the premise-based and conclusion-based procedures. We address these questions in a probabilistic framework and show that belief fusion does especially well for individuals with a middling competence of hitting the truth of a proposition. [less ▲]

Detailed reference viewed: 61 (0 UL)
See detailJANE - The Java Ad Hoc Network Development Environment
Görgen, Daniel; Frey, Hannes; Hiedels, Christian UL

in 40th Annual Simulation Symposium, 2007. ANSS '07. (2007)

This work describes a Java based development platform which is intended to support ad hoc network researchers in application and protocol design. Software development within this environment is expected ... [more ▼]

This work describes a Java based development platform which is intended to support ad hoc network researchers in application and protocol design. Software development within this environment is expected to follow a bottom up approach. Basic functionality is implemented in elementary components which can be combined to more complex ones by using well defined interfaces. With dynamically changing network links being rather the common case than a failure situation, asynchronous communication has been selected as the main communication paradigm within this platform. Reusability of components in different execution contexts by providing an appropriate machine abstraction is a further important design decision which drove the platform development. Code written once can be executed in a pure simulation mode, in a hybrid setting with real devices being attached to a running simulation and, finally, in a setting using real devices only. Software development following this three-tier development process paired with the platform's rich visualization features emerged to significantly ease the burden of debugging and parameterizing in such highly dynamic and inherently distributed environments. In conjunction with a core middleware platform a rich set of generic services has been implemented with the most important ones being described in this work. Several application programs have already been implemented on top of these services. These applications which are described in this work as well serve as a proof of concept for both the platform itself and the utilized set of generic services [less ▲]

Detailed reference viewed: 83 (1 UL)
Peer Reviewed
See detailSecurity of Global Computing Platforms: Authentication and Computed Results Integrity
Varrette, Sébastien UL

in Conference on Cryptology and Digital Content Security (CRM 07) (2007)

Detailed reference viewed: 19 (0 UL)
Peer Reviewed
See detailLa littérature de l'immigration: mise en relief d'un phénomène littéraire
Glesener, Jeanne UL

in Wilhelm, Frank; Baustert, Raymond; Colas, Marion (Eds.) et al Le blé en herbe (2007)

Detailed reference viewed: 92 (3 UL)
Peer Reviewed
See detailHigher genus affine Lie algebras of Krichever-Novikov type
Schlichenmaier, Martin UL

in Proceedings of the International Conference “Difference Equations, special functions and orthogonal polynomials” (2007)

Detailed reference viewed: 66 (0 UL)
Peer Reviewed
See detailA Visual Editor for Reconfigurable Object Nets based on the ECLIPSE Graphical Editor Framework
Biermann, Enrico; Ermel, Claudia; Hermann, Frank UL et al

in Juhas, G.; Desel, J. (Eds.) Proc. 14th Workshop on Algorithms and Tools for Petri Nets (AWPN'07) (2007)

The main idea behind Reconfigurable Object Nets (RONs) is the integration of transition firing and rule-based net structure transformation of place/transition nets during system simulation. RONs are high ... [more ▼]

The main idea behind Reconfigurable Object Nets (RONs) is the integration of transition firing and rule-based net structure transformation of place/transition nets during system simulation. RONs are high-level nets with two types of tokens: object nets (place/transition nets) and net transformation rules (a dedicated type of graph transformation rules). Firing of high-level transitions may involve firing of object net transitions, transporting object net tokens through the high-level net, and applying net transformation rules to object nets. Net transformations include net modifications such as merging or splitting of object nets, and net refinement. This approach increases the expressiveness of Petri nets and is especially suited to model mobile distributed processes. The paper presents a visual editor for RONs which has been developed in a student project at TU Berlin in summer 2007. The visual editor itself has been realized as a plug-in for ECLIPSE using the ECLIPSE Modeling Framework (EMF) and Graphical Editor Framework (GEF) plug-ins. [less ▲]

Detailed reference viewed: 62 (2 UL)
Peer Reviewed
See detailInformation Preserving Bidirectional Model Transformations
Ehrig, Hartmut; Ehrig, Karsten; Ermel, Claudia et al

in Dwyer, Matthew B.; Lopes, Antonia (Eds.) Fundamental Approaches to Software Engineering (2007)

Within model-driven software development, model transformation has become a key activity. It refers to a variety of operations modifying a model for various purposes such as analysis, optimization, and ... [more ▼]

Within model-driven software development, model transformation has become a key activity. It refers to a variety of operations modifying a model for various purposes such as analysis, optimization, and code generation. Most of these transformations need to be bidirectional to e.g. report analysis results, or keep coherence between models. In several application-oriented papers it has been shown that triple graph grammars are a promising approach to bidirectional model transformations. But up to now, there is no formal result showing under which condition corresponding forward and backward transformations are inverse to each other in the sense of information preservation. This problem is solved in this paper based on general results for the theory of algebraic graph transformations. The results are illustrated by a transformation of class models to relational data base models which has become a quasistandard example for model transformation. [less ▲]

Detailed reference viewed: 85 (2 UL)
Peer Reviewed
See detailSimulating Multi-graph Transformations Using Simple Graphs
Hermann, Frank UL; Kastenberg, Harmen; Boneva, Iovka et al

in Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT'07) (2007)

Application of graph transformations for software verification and model transformation is an emergent field of research. In particular graph transformation approaches provide a natural way of modelling ... [more ▼]

Application of graph transformations for software verification and model transformation is an emergent field of research. In particular graph transformation approaches provide a natural way of modelling object oriented systems and semantics of object-oriented languages. There exist a number of tools for graph transformations that are often specialised in a particular kind of graphs and/or graph transformation approaches, depending on the desired application domain. The main drawback of this diversity is the lack of interoperability. In this paper we show how (typed) multigraph production systems can be translated into (typed) simple-graph production systems. The presented construction enables the use of multigraphs with DPO transformation approach in tools that only support simple graphs with SPO transformation approach e.g. the GROOVE tool. [less ▲]

Detailed reference viewed: 41 (2 UL)
Full Text
Peer Reviewed
See detailFavoriser l'employabilité des détenus: à propos du projet PRIMA
Haas, Claude UL; Schmitz, J.-F.; Mersch, M. et al

in Université, de Tunis (Ed.) Colloque international "ruptures dans la société de l'information et l'économie du savoir". (2007)

De la logique de détention à la logique de réinsertion, la lutte contre les discriminations de populations marginalisées - comme celle des détenus - dans le marché du travail et dans la société en général ... [more ▼]

De la logique de détention à la logique de réinsertion, la lutte contre les discriminations de populations marginalisées - comme celle des détenus - dans le marché du travail et dans la société en général, occupe une place importante dans le Programme d’Initiative Communautaire EQUAL. Dans le cadre du projet transnational PRIMA (Policies and Strategies for Prison Management), l’équipe luxembourgeoise a pris la gestion de l’atelier « Empowerment ». Avec l’aide des partenaires portugais et français, les trois équipes tentent de construire un dispositif développant la participation active des détenus à l’amélioration de leur employabilité. Comment introduire des changements de pratique lorsque les citoyens ne perçoivent pas ce qui vient de l'Europe sociale et ce que leur apporte l'Etat-Providence national, lorsque la subsidiarité cache le modèle social européen axé sur l'égalité de traitement en matière d'emploi ? [less ▲]

Detailed reference viewed: 81 (6 UL)
Peer Reviewed
See detailModeling the interaction between semantic agents and semantic web services using MDA approach
Kardas, G.; Göknil, Arda UL; Dikenelli, O. et al

in 7th International Workshop on Engineering Societies in the Agents World (ESAW) 2013-12-05 15:37:50 +0000 (2007)

Detailed reference viewed: 71 (0 UL)
Full Text
Peer Reviewed
See detailEvent detection and localization in mobile robot navigation using reservoir computing
Antonelo, Eric Aislan UL; Schrauwen, Benjamin; Dutoit, Xavier et al

in Artificial Neural Networks -- ICANN 2007 (2007)

Reservoir Computing (RC) uses a randomly created recur- rent neural network where only a linear readout layer is trained. In this work, RC is used for detecting complex events in autonomous robot navi ... [more ▼]

Reservoir Computing (RC) uses a randomly created recur- rent neural network where only a linear readout layer is trained. In this work, RC is used for detecting complex events in autonomous robot navi- gation. This can be extended to robot localization based solely on sensory information. The robot thus builds an implicit map of the environment without the use of odometry data. These techniques are demonstrated in simulation on several complex and even dynamic environments. [less ▲]

Detailed reference viewed: 49 (0 UL)
Full Text
Peer Reviewed
See detailExperiments with Reservoir Computing on the road sign problem
Antonelo, Eric Aislan UL; Schrauwen, Benjamin; Stroobandt, Dirk

in Proceedings of the VIII Brazilian Congress on Neural Networks (CBRN) (2007)

The road sign problem is tackled in this work with Reservoir Computing (RC) networks. These networks are made of a fixed recurrent neural network where only a readout layer is trained. In the road sign ... [more ▼]

The road sign problem is tackled in this work with Reservoir Computing (RC) networks. These networks are made of a fixed recurrent neural network where only a readout layer is trained. In the road sign problem, an agent has to decide at some point in time which action to take given relevant information gathered in the past. We show that RC can handle simple and complex T-maze tasks (which are a subdomain of the road sign problem). [less ▲]

Detailed reference viewed: 53 (0 UL)
Peer Reviewed
See detailOptimal Design of Ad Hoc Injection Networks by Using Genetic Algorithms
Danoy, Grégoire UL; Bouvry, Pascal UL; Brust, Matthias R. UL et al

in 9th annual conference on Genetic and evolutionary computation (GECCO '07) (2007)

Detailed reference viewed: 90 (2 UL)
Full Text
Peer Reviewed
See detailOn Anomalies in Annotation Systems
Brust, Matthias R. UL; Rothkugel, Steffen UL

in Proceedings of the Third International Workshop on E-learning and Mobile Learning on Telecommunications (ELETE 2007) (2007)

Detailed reference viewed: 68 (2 UL)
Full Text
Peer Reviewed
See detailNode Stability in Dynamic Communication Networks
Brust, Matthias R. UL; Rothkugel, Steffen UL; Andronache, Adrian UL

in Proceedings of the First Asia International Conference on Modelling & Simulation (AMS 2007) (2007)

Detailed reference viewed: 68 (3 UL)
Full Text
Peer Reviewed
See detailExploiting Context Information for Computer-based Annotation Systems
Wehling, Ulf; Hoff, Christian; Rothkugel, Steffen UL et al

in Proceedings of the International Technology, Education and Development Conference (INTED 2007) (2007)

Detailed reference viewed: 37 (3 UL)
Full Text
Peer Reviewed
See detailA taxonomic Approach to Topology Control in Ad-hoc and Wireless Networks
Brust, Matthias R. UL; Rothkugel, Steffen UL

in Proceedings of the Sixth International Conference on Networking, ICN 2007 (2007)

Detailed reference viewed: 71 (1 UL)
Full Text
Peer Reviewed
See detailEfficient Optimal Sensor Placement for Model-Based FDI using an Incremental Algorithm
Rosich, Albert UL; Sarrate, Ramon; Puig, Vicenç et al

in Decision and Control, 2007 46th IEEE Conference on (2007)

The problem of optimal sensor placement for FDI consists in determining the set of sensors that minimizes a pre-defined cost function satisfying at the same time a pre-established set of FDI ... [more ▼]

The problem of optimal sensor placement for FDI consists in determining the set of sensors that minimizes a pre-defined cost function satisfying at the same time a pre-established set of FDI specifications for a given set of faults. Existing approaches are mainly based on formulating an optimization problem once the sets of all possible ARRs has been generated, considering all possible candidate sensors installed. However, the associated computational complexity is exponential with the number of possible sensors. The main goal of this paper is to propose an incremental algorithm for FDI sensor placement that tries to avoid the computational burden. To show the effectiveness of this approach, an application based on a fuel-cell system is proposed. [less ▲]

Detailed reference viewed: 58 (3 UL)
Peer Reviewed
See detailEntre commerce, voyage et religion. Nicolas Woldt, marchand lübeckois à Bordeaux au début du XVIIIe siècle.
Voss, Peter UL

in Burkardt, Albrecht (Ed.) Commerce, voyage et expérience religieuse. XIVe - XVIIIe siècles (2007)

Detailed reference viewed: 23 (0 UL)
Full Text
Peer Reviewed
See detailOutput synchronisation in networks of cyclic biochemical oscillators
Guy-Bart, S.; Abdullah, H.; Rodolphe, S. et al

in Proceedings of the 2007 American Control Conference (ACC 2007) (2007)

This paper is concerned with the global analysis of asymptotic synchronization of outputs in networks of identical oscillators. The oscillator models are assumed to possess a cyclic feedback structure ... [more ▼]

This paper is concerned with the global analysis of asymptotic synchronization of outputs in networks of identical oscillators. The oscillator models are assumed to possess a cyclic feedback structure. Such networks of oscillators abound in biochemistry, and are exemplified by circadian rhythm and cardiac cell networks. The main result exploits an incremental output feedback passivity property of cyclic feedback systems to prove global asymptotic output synchronization in a network composed of identical cyclic feedback systems. This result is illustrated on a network of Goodwin oscillators. [less ▲]

Detailed reference viewed: 47 (0 UL)
Peer Reviewed
See detailGrid-based evolutionary strategies applied to the conformational sampling problem
Parent, Benjamin; Tantar, Alexandru-Adrian UL; Melab, Nouredine et al

in 2007 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-10, PROCEEDINGS (2007)

Computational simulations of conformational sampling in general, and of macromolecular folding in particular represent one of the most important and yet one of the most challenging applications of ... [more ▼]

Computational simulations of conformational sampling in general, and of macromolecular folding in particular represent one of the most important and yet one of the most challenging applications of computer science in biology and medicinal chemistry. The advent of GRID computing may trigger some major progress in this field. This paper presents our first attempts to design GRID-based conformational sampling strategies, exploring the extremely rugged energy response surface in function of molecular geometry, in search of low energy zones through phase spaces of hundreds of degrees of freedom. We have generalized the classical island model deployment of Genetic Algorithms (GA) to a "planetary" model where each node of the grid is assimilated to a "planet" harboring quasi-independent multi-island simulations based on a hybrid GA-driven sampling approach. Although different "planets" do not communicate to each other - thus minimizing inter-CPU exchanges on the GRID - each new simulation will benefit from the preliminary knowledge extracted from the centralized pool of already visited geometries, located on the dispatcher machine, and which is disseminated to any new "planet". This "panspermic" strategy allows new simulations to be conducted such as to either be attracted towards an apparently promising phase space zone (biasing strategies, intensification procedures) or to avoid already in-depth sampled (tabu) areas. Successful folding of mini-proteins typically used in benchmarks for all-atoms protein simulations has been observed, although the reproducibility of these highly stochastic simulations in huge problem spaces is still in need of improvement. Work on two structured peptides (the "tryptophane cage" 1L2Y and the "tryptophane zipper" 1LE1) used as benchmarks for all-atom protein folding simulations has shown that the planetary model is able to reproducibly sample conformers from the neighborhood of the native geometries. However, within these neighborhoods (within ensembles of conformers similar to models published on hand of experimental geometry determinations), the energy landscapes are still extremely rugged. Therefore, simulations in general produce "correct" geometries (similar enough to experimental model for any practical purposes) which sometimes unfortunately correspond to relatively high energy levels and therefore are less stable than the most stable among misfolded conformers. The method thus reproducibly visits the native phase space zone, but fails to reproducibly hit the bottom of its rugged energy well. Intensifications of local sampling may in principle solve this problematic behavior, but is limited by computational ressources. The quest for the optimal time point at which a phase space zone should stop being intensively searched and declared tabu, a very difficult problem, is still awaiting for a practically useful solution. [less ▲]

Detailed reference viewed: 63 (0 UL)
Peer Reviewed
See detailA global operator approach to Wess-Zumino-Novikov-Witten models
Schlichenmaier, Martin UL

in Proceedings of the XXVI Workshop on Geometrical Methods in Physics (2007)

Detailed reference viewed: 94 (2 UL)
See detailDiagnosing Dyslexia in multilingual contexts
Ziegler, Gudrun UL

in Actes de colloque. Luxembourg: Ministère de l’Education Nationale et de la Formation Professionnelle - Service de l'Education Différenciée. (2007)

Detailed reference viewed: 32 (3 UL)
Full Text
Peer Reviewed
See detailReconstruction of biological networks through gene silencing and overexpression
Russell, H.; Goncalves, Jorge UL; Neil, D. et al

in Proceedings of the eighth International Conference on Systems Biology (2007)

Many methods that exist for reconstructing biological networks take into account assumptions of sparsity or already known relationships among states of the network. We show that we can completely ... [more ▼]

Many methods that exist for reconstructing biological networks take into account assumptions of sparsity or already known relationships among states of the network. We show that we can completely characterize the relationships among observed states and inputs in a linearized network through a series of easily performed biological experiments--inducible overexpression and gene silencing. We briefly review dynamical structure and give conditions for a set of experiments that will give all necessary information to obtain the structure. [less ▲]

Detailed reference viewed: 48 (0 UL)
Full Text
Peer Reviewed
See detailStatistical Analysis of the Global Geodesic Function for 3D Object Classification
Aouada, Djamila UL; Feng, Shuo; Krim, Hamid

in IEEE International Conference on Acoustics, Speech and Signal Processing, 2007. ICASSP 2007 (2007)

This paper presents a novel classification strategy for 3D objects. Our technique is based on using a global geodesic function to intrinsically describe the surface of an object. The choice of the global ... [more ▼]

This paper presents a novel classification strategy for 3D objects. Our technique is based on using a global geodesic function to intrinsically describe the surface of an object. The choice of the global geodesic function ensures the invariance of the classification procedure to scaling and all isometric transformations. Using the Jensen-Shannon divergence, feature parameters are extracted from the probability distribution functions of the global geodesic function for each one of the classes. These parameters are used in the decision of a class membership of an object. This approach demonstrates low computational cost, efficiency, and robustness to resolution over many different data sets. [less ▲]

Detailed reference viewed: 84 (10 UL)
Full Text
Peer Reviewed
See detailCombining altimetric/gravimetric and ocean model mean dynamic topography models in the GOCINA region
Knudsen, Per; Andersen, Ole; Forsberg, Rene et al

in International Association of Geodesy Symposia (2007)

Detailed reference viewed: 110 (2 UL)
Peer Reviewed
See detailModel transformation for model driven development of semantic web enabled multi-agent systems
Kardas, G.; Göknil, Arda UL; Dikenelli, O. et al

in 5th German Conference on Multiagent System Technologies (MATES) 2013-12-05 15:33:03 +0000 (2007)

Detailed reference viewed: 59 (0 UL)
Full Text
Peer Reviewed
See detailDealing with requirements: Influences on Idea Generation in the Early Stages of Product Development
Gericke, Kilian UL; Schmidt-Kretschmer, Michael; Blessing, Lucienne UL

in Proceedings of DTRS7: Design Meeting Protocols (2007)

This paper aims at identifying factors which influence the number of ideas generated during a brainstorming meeting as part of an industrial mechanical engineering design project. A framework for ... [more ▼]

This paper aims at identifying factors which influence the number of ideas generated during a brainstorming meeting as part of an industrial mechanical engineering design project. A framework for describing groups of influencing factors and their relationships is used. As a result of an explorative, comparative protocol analysis of two design meetings the influence of some factors is described e.g. the formulation of the design task description and the sequence of the process steps. [less ▲]

Detailed reference viewed: 105 (1 UL)
Peer Reviewed
See detailSurvey of traceability approaches in model-driven engineering
Galvao, I.; Göknil, Arda UL

in 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC) 2013-12-05 15:42:49 +0000 (2007)

Detailed reference viewed: 78 (1 UL)
Full Text
Peer Reviewed
See detailCommon Foundations for Belief Revision, Belief Merging and Voting
Gabbay, Dov M. UL; Pigozzi, Gabriella UL; Rodrigues, Odinaldo

in Formal Models of Belief Change in Rational Agents (2007)

In this paper, we consider a number of different ways of reasoning about voting as a problem of conciliating contradictory interests. The mechanisms that do the reconciliation are belief revision and be ... [more ▼]

In this paper, we consider a number of different ways of reasoning about voting as a problem of conciliating contradictory interests. The mechanisms that do the reconciliation are belief revision and be- lief merging. By investigating the relationship between different voting strategies and their associated counterparts in revision theory, we find that whereas the counting mechanism of the voting process is more easily done at the meta-level in belief merging, it can be brought to the object level in base revision. In the former case, the counting can b e tweaked according to the aggregation procedure used, whereas in base revision, we can only rely on the notion of minimal change and hence the syntactical representation of the voters’ preferences plays a crucial part in the process. This highlights the similarities between the revi sion approaches on the one hand and voting on the other, but also opens up a numb er of interesting questions. [less ▲]

Detailed reference viewed: 22 (0 UL)
Peer Reviewed
See detailMerging Roles in Coordination and in Agent Deliberation
Boella, Guido UL; Genovese, Valerio UL; Grenna, Roberto UL et al

in PRIMA (2007)

In this paper we generalize and merge two models of roles used in multiagent systems which address complementary aspects: enacting roles and communication among roles in an organization or institution. We ... [more ▼]

In this paper we generalize and merge two models of roles used in multiagent systems which address complementary aspects: enacting roles and communication among roles in an organization or institution. We do this by proposing a metamodel of roles and specializing the metamodel to two existing models. We show how the two approaches can be integrated since they deal with complementary aspects: Boella [1] focuses on roles as a way to specify interactions among agents, and, thus, it emphasizes the public character of roles. [2] focuses instead on how roles are played, and thus it emphasizes the private aspects of roles: how the beliefs and goals of the roles become the beliefs and goals of the agents. The former approach focuses on the dynamics of roles in function of the communication process. The latter focuses on agents internal dynamics when they start playing a role or shift the role they are currently playing. [less ▲]

Detailed reference viewed: 76 (0 UL)
See detailTracer des sentiers, ouvrir des boulevards. Réflexions à la suite d'un colloque sur la mémoire des traces et les traces de la mémoire
Pauly, Michel UL

in Boggiani, Jos; Caldognetto, Maria Luisa; Cicotti, Claudio (Eds.) et al Traces de mémoire, mémoire des traces. Parcours et souvenirs de la présence italienne au Luxembourg et dans la Grande Région. Actes du colloque international (2007)

Detailed reference viewed: 27 (0 UL)
Full Text
Peer Reviewed
See detailDynamical structure functions for the reverse engineering of LTI networks
Goncalves, Jorge UL; Howes, R.; Warnick, S.

in Proceedings of the 46th IEEE Conference on Decision and Control (2007)

This research explores the role and representation of network structure for LTI systems with partial state observations. We demonstrate that input-output representations, i.e. transfer functions, contain ... [more ▼]

This research explores the role and representation of network structure for LTI systems with partial state observations. We demonstrate that input-output representations, i.e. transfer functions, contain no internal structural information of the system. We further show that neither the additional knowledge of system order nor minimality of the true realization is generally sufficient to characterize network structure. We then introduce dynamical structure functions as an alternative, graphical-model based representation of LTI systems that contain both dynamical and structural information of the system. The main result uses dynamical structure to precisely characterize the additional information required to obtain network structure from the transfer function of the system. [less ▲]

Detailed reference viewed: 74 (0 UL)
Full Text
Peer Reviewed
See detailAccelerated variational dirichlet process mixtures
Kurihara, Kenichi; Welling, Max; Vlassis, Nikos UL

in Advances in Neural Information Processing Systems 19 (2007)

Dirichlet Process (DP) mixture models are promising candidates for clustering applications where the number of clusters is unknown a priori. Due to computational considerations these models are ... [more ▼]

Dirichlet Process (DP) mixture models are promising candidates for clustering applications where the number of clusters is unknown a priori. Due to computational considerations these models are unfortunately unsuitable for large scale data-mining applications. We propose a class of deterministic accelerated DP mixture models that can routinely handle millions of data-cases. The speedup is achieved by incorporating kd-trees into a variational Bayesian algorithm for DP mixtures in the stick-breaking representation, similar to that of Blei and Jordan (2005). Our algorithm differs in the use of kd-trees and in the way we handle truncation: we only assume that the variational distributions are fixed at their priors after a certain level. Experiments show that speedups relative to the standard variational algorithm can be significant. [less ▲]

Detailed reference viewed: 282 (0 UL)
Full Text
Peer Reviewed
See detailBesoins et qualifications dans le contexte de la formation universitaire de l’éducateur gradué et dans le domaine socio-éducatif au Luxembourg
Limbach-Reich, Arthur UL; Peters, Ulla UL; Gaitsch, Regina

in ADMEE (Ed.) «L’évaluation au 21e siècle: Vers de nouvelles formes, modélisations et pratiques de l’évaluation», 11.-13.09. 2006, Luxembourg. internet. publication http://jemacs.uni.lu/index.php/JEMACS/article/viewFile/85/85., 1(1) (2007)

Detailed reference viewed: 80 (3 UL)
Full Text
See detailLe problème du cinéma : la question du langage, la solution de Sokurov
Tore, Gian Maria UL

in Ustünipek, M. (Ed.) Cultures of visuality (2007)

Detailed reference viewed: 32 (0 UL)
See detailThe integration of rural regions of Ireland and Poland into the European Union
Nienaber, Birte UL; Kriszan, Michael

in Geographical Institute “Jovan Cvijic” Serbian Academy of Sciences and Arts (Ed.) Collection of Papers. 47 (2007)

Detailed reference viewed: 104 (3 UL)
Full Text
Peer Reviewed
See detailRoute Diversity: A Future For Transmission Protocols
Sorger, Ulrich UL; Melakessou, Foued UL; Suchanecki, Zdzislaw UL et al

in Proceedings of the 2007 Fourth International Conference on Broadband Communications, Networks and Systems BROADNETS 2007 (2007)

Detailed reference viewed: 111 (0 UL)
See detail"Tentatives spéculaires dans La Vie mode d'emploi de Georges Perec ou étude de la mise en abyme"
Raus, Tonia UL

in Wilhelm, Frank; Colas, Marion; Baustert, Raymond (Eds.) et al Le blé en herbe. Actes des journées des jeunes chercheurs en littérature et linguistique françaises à l'UNiversité du Luxembourg (2007)

Detailed reference viewed: 7 (2 UL)
Peer Reviewed
See detailAccelerated microRNA-Precursor Detection Using the Smith-Waterman Algorithm on FPGAs
May, Patrick UL; Klau, Gunnar W.; Bauer, Markus et al

in Dubitzky, Werner; Schuster, Assaf; Sloot, Peterm A. (Eds.) et al Distributed, High-Performance and Grid Computing in Computational Biology (2007)

During the last few years more and more functionalities of RNA have been discovered that were previously thought of being carried out by proteins alone. One of the most striking discoveries was the ... [more ▼]

During the last few years more and more functionalities of RNA have been discovered that were previously thought of being carried out by proteins alone. One of the most striking discoveries was the detection of microRNAs, a class of noncoding RNAs that play an important role in post-transcriptional gene regulation. Large-scale analyses are needed for the still increasingly growing amount of sequence data derived from new experimental technologies. In this paper we present a framework for the detection of the distinctive precursor structure of microRNAS that is based on the well-known Smith-Waterman algorithm. By conducting the computation of the local alignment on a FPGA, we are able to gain a substantial speedup compared to a pure software implementation bringing together supercomputer performance and bioinformatics research. We conducted experiments on real genomic data and we found several new putative hits for microRNA precursor structures. [less ▲]

Detailed reference viewed: 115 (5 UL)
Full Text
Peer Reviewed
See detailMPTCP: Concept of a Flow Control Protocol Based on Multiple Paths for the Next Generation Internet 2007
Sorger, Ulrich UL; Melakessou, Foued UL; Suchanecki, Zdzislaw UL

in Proceedings of the 7th International Symposium on Communications and Information Technologies ISCIT'07 (2007)

Detailed reference viewed: 99 (2 UL)
Peer Reviewed
See detailBridging Agent Theory and Object Orientation: Agent-Like Communication Among Objects
Baldoni, Matteo UL; Boella, Guido UL; van der Torre, Leon UL

in Programming Multi-Agent Systems, 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers (2007)

This paper begins with the comparison of the message- sending mechanism, for communication among agents, and the method-invocation mechanism, for communication among objects. Then, we describe an ... [more ▼]

This paper begins with the comparison of the message- sending mechanism, for communication among agents, and the method-invocation mechanism, for communication among objects. Then, we describe an extension of the method-invocation mechanism by introducing the notion of “sender” of a message, “state” of the interaction and “protocol” using the notion of “role”, as it has been introduced in the powerJava extension of Java. The use of roles in communication is shown by means of an example of protocol. [less ▲]

Detailed reference viewed: 74 (0 UL)
Peer Reviewed
See detailRelationships Meet Their Roles in Object Oriented Programming
Baldoni, Matteo UL; Boella, Guido UL; van der Torre, Leon UL

in International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19 2007, Proceedings (2007)

In this paper we study how roles can be added to patterns modelling relationships in Object Oriented programming. Relationships can be introduced in programming languages either by reducing them to ... [more ▼]

In this paper we study how roles can be added to patterns modelling relationships in Object Oriented programming. Relationships can be introduced in programming languages either by reducing them to attributes of the objects which participate in the relationship, or by modelling the relationship itself as a class whose instances have the participants of the relationships among their attributes. However, even if roles have been recognized as an essential component of relationships, also in modelling languages like UML, they have not been introduced in Object Oriented programming when it is necessary to model relationships. Introducing roles allows to add attributes and behaviors to the participants in the relationship, rather than to the relationship itself, and to distinguish the natural types of the participants in the relationships from the roles the participants acquire in the relationships. We show how the role model of the language powerJava can be used to endow the relationship as attribute pattern with roles. [less ▲]

Detailed reference viewed: 73 (0 UL)
Peer Reviewed
See detailOn the Acceptability of Incompatible Arguments
Kaci, Souhila UL; van der Torre, Leon UL; Weydert, Emil UL

in Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 – November 2, 2007, Proceedings (2007)

In this paper we study the acceptability of incompatible arguments within Dung’s abstract argumentation framework. As an example we introduce an instance of Dung’s framework where arguments are ... [more ▼]

In this paper we study the acceptability of incompatible arguments within Dung’s abstract argumentation framework. As an example we introduce an instance of Dung’s framework where arguments are represented by propositional formulas and an argument attacks another one when the conjunction of their representations is inconsistent, which we characterize as a kind of symmetric attack. Since symmetric attack is known to have the drawback to collapse the various argumentation semantics, we consider also two variations. First, we consider propositional arguments distinguishing support and conclusion. Second, we introduce a preference ordering over the arguments and we define the attack relation in terms of a symmetric incompatibility relation and the preference relation. We show how to characterize preference-based argumentation using a kind of acyclic attack relation. [less ▲]

Detailed reference viewed: 98 (2 UL)
Peer Reviewed
See detailModeling and Analysis of UVB Influence on IL-1 induced NF-kappaB Signaling
Witt, Johannes; Husser, Sebastian; Kulms, Dagmar et al

in Proceedings of the FOSBE, September 9-12, Stuttgart, Germany (2007)

Enhancement of UVB-induced apoptosis has recently been reported upon co-stimulation of cells with IL-1. The phenomenon has been shown to be NF-kappaB dependent and coincides with a sustained absence of ... [more ▼]

Enhancement of UVB-induced apoptosis has recently been reported upon co-stimulation of cells with IL-1. The phenomenon has been shown to be NF-kappaB dependent and coincides with a sustained absence of the inhibitor of NF-kappaB, IkappaBalpha. The exact mechanisms are the subject of present research. In order to investigate the behavior of IkappaBalpha, a mathematical model for the IL-1 receptor is developed based on ordinary differential equations. It is coupled with an existing NF-kappaB signaling module and parameterized using experimental and literature data. The model provides a more realistic input for the NF-kappaB module and is suitable for fitting the experimental data of IkappaBalpha following IL-1 stimulation. It is used to test and reject the hypothesis that the sustained absence of IkappaBalpha upon IL-1+UVB stimulation is due to an altered internalization behavior of the IL-1 receptor. [less ▲]

Detailed reference viewed: 34 (0 UL)
Peer Reviewed
See detailA semi-supervised learning approach to disease gene prediction
Nguyen, Thanh-Phuong UL; Ho, Tu Bao

in Proceeding of the IEEE International Conference on Bioinformatics and Biomedicine 2007. (2007)

Detailed reference viewed: 73 (1 UL)
Full Text
See detailDevelopment Process for a Charge Air Cooler to Meet Modern Requirements
Puillandre, Youen; Kedziora, Slawomir UL; Mailliet-Bestel, Damienne et al

in White, Peter (Ed.) Vehicle thermal management systems : VTMS 8 (2007)

Detailed reference viewed: 75 (1 UL)
Full Text
Peer Reviewed
See detailA new software architecture for learning managements systems with SCORM support
Casel, Nicolas UL; El Alami, Marc UL; Garot, Damien UL et al

in Proceedings of “IADIS - International Conference on e-Learning” (2007)

Multimodality and standardization are the main requirements to achieve in order to deliver powerful and successful Learning Management Systems (LMS). This paper shows how we designed such a LMS in the ... [more ▼]

Multimodality and standardization are the main requirements to achieve in order to deliver powerful and successful Learning Management Systems (LMS). This paper shows how we designed such a LMS in the context of the “e-FSTC” project, which insures reusability and portability of its features and of learning contents. We sum up current trends in the e-learning domain, and we explain to what extent our LMS matches with them, as well as how it implements a flexible architecture, and how it adopts the SCORM Run-Time Environment for interoperability issues. [less ▲]

Detailed reference viewed: 170 (8 UL)
Peer Reviewed
See detailThe Orientation of Greek Education towards Multiculturalism
Gogonas, Nikolaos UL

in The 3rd Hellenic Observatory PhD ConferenceHellenic Observatory, London School of Economics and Political Sciences (2007)

Detailed reference viewed: 53 (0 UL)
Peer Reviewed
See detailPower in Norm Negotiation
Boella, Guido UL; van der Torre, Leon UL

in Agent and Multi-Agent Systems: Technologies and Applications, First KES International Symposium, KES-AMSTA 2007, Wroclaw, Poland, May 31 – June 1, 2007, Proceedings (2007)

In social mechanism design, norm negotiation creates individual or contractual obligations fulfilling goals of the agents. The social delegation cycle distinguishes among social goal negotiation ... [more ▼]

In social mechanism design, norm negotiation creates individual or contractual obligations fulfilling goals of the agents. The social delegation cycle distinguishes among social goal negotiation, obligation and sanction negotiation and norm acceptance. Power may affect norm negotiation in various ways, and we therefore introduce a new formalization of the social delegation cycle based on power and dependence, without referring to the rule structure of norms, actions, decision variables, tasks, and so on. [less ▲]

Detailed reference viewed: 30 (0 UL)
Peer Reviewed
See detailPremise Independence in Judgment Aggregation
Pigozzi, Gabriella UL; van der Torre, Leon UL

in Formal Models of Belief Change in Rational Agents (2007)

Judgment aggregation studies how agent opinions on logically interconnected propositions can be mapped into a collective judgment on the same propositions, and is plagued by impossibility results. In this ... [more ▼]

Judgment aggregation studies how agent opinions on logically interconnected propositions can be mapped into a collective judgment on the same propositions, and is plagued by impossibility results. In this paper we study the central notion of independence in these impossibility results. First, we argue that the distinction between the premises and conclusions play an important role in the benchmark examples of judgment aggregation. Second, we consider the notion of independence in judgment aggregation frameworks, and we observe that the distinction between premises and conclusion is not taken into account. Third, based on our analysis, we introduce independence assumptions that distinguish premises from conclusion. We show that, by introducing new operators that satisfy our independence assumptions, the problematic impossibility results no longer hold. [less ▲]

Detailed reference viewed: 27 (0 UL)
See detailHôpitaux et léproseries entre Rhin et Meuse: approches spatio-temporelles
Pauly, Michel UL

in Hôpitaux du Moyen Âge et des Temps Modernes. Actes. Archæologia mediævalis 25 (2007)

Detailed reference viewed: 27 (0 UL)
Full Text
Peer Reviewed
See detailThree-dimensional non-linear fracture mechanics by enriched meshfree methods without asymptotic enrichment
Bordas, Stéphane UL; Zi, G.; Rabczuk, T.

in Proceedings of the IUTAM Symposium on Discretization Methods for Evolving Discontinuities (2007)

This paper presents a three-dimensional, extrinsically enriched meshfree method for initiation, growth and coalescence of an arbitrary number of cracks in non-linear solids including large deformations ... [more ▼]

This paper presents a three-dimensional, extrinsically enriched meshfree method for initiation, growth and coalescence of an arbitrary number of cracks in non-linear solids including large deformations, for statics and dynamics. The novelty of the methodology fashioned in this work is that only an extrinsic discontinuous enrichment and no near-tip/asymptotic enrichment is required. Instead, a Lagrange multiplier field is added along the crack front to close the crack along the front. This decreases the computational cost and removes difficulties involved with a branch enrichment. Numerical examples treated include the pull-out of a reinforcement bar from a concrete block, and a Taylor bar impact with very large deformation and fragmentation. The results are compared to experimental results, and other simulations from the literature, which shows the robustness and accuracy of the method. © 2007 Springer. [less ▲]

Detailed reference viewed: 145 (0 UL)