Browsing
     by title


0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:   
OK
See detailUsing Community Demographics in Social and Political Action
Powell, Justin J W UL

Report (1990)

Handbook for college community service programs

Detailed reference viewed: 23 (2 UL)
Full Text
Peer Reviewed
See detailUsing Complex Problem Solving Simulations for General Cognitive Ability Assessment: the Genetics Lab Framework
Mayer, Hélène; Hazotte, Cyril; Djaghloul, Younes et al

in International Journal of Information Science and Intelligent System (2013), 2(4), 71-88

This paper presents the conception and operation of “the Genetics Lab,” a research platform designed for general intelligence measurement. This tool has been developed and refined to measure cognitive ... [more ▼]

This paper presents the conception and operation of “the Genetics Lab,” a research platform designed for general intelligence measurement. This tool has been developed and refined to measure cognitive skills of students in Luxembourg, Thanks to its generic and clear architecture, “the Genetics Lab” makes a major contribution by addressing technical weaknesses and flaws met with tools previously used to assess intelligence. This new platform can be used as groundwork for other evaluation solutions. In this paper, we explore in depth the main fields of e-assessment such as instructions, localized and multilingual content production and display, traces, and scoring. We also describe how the platform was put into action to create complex simulations and to make data collection resulting from the user’s test a flawless process. This paper is a continuation and extension of earlier work. [less ▲]

Detailed reference viewed: 46 (5 UL)
See detailUsing Concordances in the Classroom
Weber, Jean-Jacques UL

in Bulletin Nouvelles Technologies et Education (1990), 6

Detailed reference viewed: 31 (0 UL)
Full Text
Peer Reviewed
See detailUsing CPAL to model and validate the timing behaviour of embedded systems
Altmeyer, Sebastian UL; Navet, Nicolas UL; Fejoz, Loïc

in 6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS) (2015, July 07)

This work presents a solution to the Formal Methods for Timing Verification (FMTV) Challenge 2015 using CPAL. CPAL stands for the Cyber-Physical Action Language and is a novel language to model, simulate ... [more ▼]

This work presents a solution to the Formal Methods for Timing Verification (FMTV) Challenge 2015 using CPAL. CPAL stands for the Cyber-Physical Action Language and is a novel language to model, simulate and verify cyber-physical systems as those described in the challenge. We believe that the complexity of the challenge mainly stems from the complex interactions of the tasks and processes composing the aerial video tracking system of the challenge. Using CPAL we have derived a complete and unambiguous description of the system that supports timing verification. The different sub-challenges were solved by timing-accurate simulation and/or schedulability analysis. Even though simulation does not provide firm guarantees on the worst-case behaviour, it helps the system designer solve scheduling problems and validate the solutions, where verification tools can not be applied directly due to the complexity of the model as in the 2015 FMTV challenge. [less ▲]

Detailed reference viewed: 286 (7 UL)
Peer Reviewed
See detailUsing Data-Flow Analysis for Resilence and Result Checking in Peer to Peer Computations
Jafar, S.; Varrette, Sébastien UL; Roch, J.-L.

in Proc. of the 1th Intl. Workshop on Grid and Peer-to-Peer Computing Impacts on Large Scale Heterogeneous Distributed Database Systems (GLOBE'04) (2004)

Detailed reference viewed: 11 (0 UL)
Full Text
See detailUsing Data-flow analysis in MAS for power-aware HPC runs
Varrette, Sébastien UL; Danoy, Grégoire UL; Guzek, Mateusz UL et al

in Proc. of the IEEE Intl. Conf. on High Performance Computing and Simulation (HPCS'13) (2013)

Detailed reference viewed: 46 (2 UL)
Full Text
Peer Reviewed
See detailUsing Defeasible Information to Obtain Coherence
Casini, Giovanni UL; Meyer, Thomas

in BNAIC 2016 - Proceedings of the 28th Benelux Conference on Artificial intelligence (2016)

In this paper we consider the problem of obtaining coherence in a propositional knowledge base using techniques from Belief Change. Our motivation comes from the field of formal ontologies where coherence ... [more ▼]

In this paper we consider the problem of obtaining coherence in a propositional knowledge base using techniques from Belief Change. Our motivation comes from the field of formal ontologies where coherence is interpreted to mean that a concept name has to be satisfiable. [less ▲]

Detailed reference viewed: 18 (3 UL)
Full Text
Peer Reviewed
See detailUsing Defeasible Information to Obtain Coherence
Casini, Giovanni UL; Meyer, Thomas

in Baral, Chitta; Delgrande, James; Wolter, Frank (Eds.) Proceedings of the 15th International Conference on Principle of Knowledge Representation and Reasoning (KR-16) (2016, April)

We consider the problem of obtaining coherence in a propositional knowledge base using techniques from Belief Change. Our motivation comes from the field of formal ontologies where coherence is ... [more ▼]

We consider the problem of obtaining coherence in a propositional knowledge base using techniques from Belief Change. Our motivation comes from the field of formal ontologies where coherence is interpreted to mean that a concept name has to be satisfiable. In the propositional case we consider here, this translates to a propositional formula being satisfiable. We define belief change operators in a framework of nonmonotonic preferential reasoning.We show how the introduction of defeasible information using contraction operators can be an effective means for obtaining coherence. [less ▲]

Detailed reference viewed: 27 (11 UL)
Peer Reviewed
See detailUsing Epidemic Hoarding to Minimize Load Delays in Distributed Virtual Environments
Scholtes, Ingo; Botev, Jean UL; Esch, Markus UL et al

in Proceedings of the 4th International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom) (2008)

Detailed reference viewed: 11 (1 UL)
Peer Reviewed
See detailUsing FileMaker Pro to get the most from your corpus data
Deroey, Katrien UL

Scientific Conference (2014, June 21)

This presentation provides a basic introduction to the database programme FileMaker Pro. I will use examples from my research for which I used Corpus Query Language in Sketch Engine to retrieve importance ... [more ▼]

This presentation provides a basic introduction to the database programme FileMaker Pro. I will use examples from my research for which I used Corpus Query Language in Sketch Engine to retrieve importance markers from BASE lectures which I then stored and annotated with FileMaker Pro. Although this programme is mainly used by businesses and so probably less familiar to corpus researchers than, for example, Access, it offers many features which greatly facilitate and speed up the processing of corpus data for research or materials development. Corpus concordances can be imported into a FileMaker database, where you can give them multiple tags and quickly and easily generate quantified instances from your corpus using any tag or a combination of tags. For example, the programme allowed me to classify concordances of importance markers into lexicogrammatical patterns, interactive and textual orientation types, component parts (e.g. verbs, Subjects), discipline, study level, co-occurring discourse markers etc. In this way, it took only a few seconds to generate and quantify instances of importance markers which, for instance, have the pattern ‘V clause’, contain ‘remember’ and co-occur with the discourse marker ‘but’. The programme thus allows you to examine and quantify the same data in a variety of ways and to retrieve only those instances you are interested in. This has considerable potential for facilitating the retrieval of corpus evidence for materials design and research. [less ▲]

Detailed reference viewed: 40 (3 UL)
Full Text
Peer Reviewed
See detailUsing forum theatre in organised youth soccer to positively influence antisocial and prosocial behaviour: a pilot study.
Rutten, E. A.; Biesta, Gert UL; Deković, M. et al

in Journal of Moral Education (2010), 39(1), 65-78

Detailed reference viewed: 23 (0 UL)
Full Text
Peer Reviewed
See detailUsing Game Theory to configure P2P SIP
Becker, Sheila UL; State, Radu UL; Engel, Thomas UL

in Lecture Notes in Computer Science (2009)

Detailed reference viewed: 18 (4 UL)
Full Text
Peer Reviewed
See detailUsing Gamification and Metaphor to Design a Mobility Platform for Commuters
McCall, Roderick UL; Koenig, Vincent UL; Kracheel, Martin UL

in International Journal of Mobile Human Computer Interaction (2012)

In this paper the authors explain the use of gamification as a way to optimize mobility patterns within a heav- ily congested European City. They explore this from two perspectives, first by outlining a ... [more ▼]

In this paper the authors explain the use of gamification as a way to optimize mobility patterns within a heav- ily congested European City. They explore this from two perspectives, first by outlining a gaming concept and secondly by explaining how the use of a mobility game that took place in two locations can be used to explore incentives and design issues. [less ▲]

Detailed reference viewed: 254 (25 UL)
Full Text
Peer Reviewed
See detailUsing GPS and absolute gravity observations to separate the effects of present-day and Pleistocene ice-mass changes in South East Greenland
van Dam, Tonie UL; Francis, Olivier UL; Wahr, J. et al

in Earth and Planetary Science Letters (2017), 459

Measurements of vertical crustal uplift from bedrock sites around the edge of the Greenland ice sheet (GrIS) can be used to constrain present day mass loss. Interpreting any observed crustal displacement ... [more ▼]

Measurements of vertical crustal uplift from bedrock sites around the edge of the Greenland ice sheet (GrIS) can be used to constrain present day mass loss. Interpreting any observed crustal displacement around the GrIS in terms of present day changes in ice is complicated, however, by the glacial isostatic adjustment (GIA) signal. With GPS observations alone, it is impossible to separate the uplift driven by present day mass changes from that due to ice mass changes in the past. Wahr et al. (1995) demonstrated that viscoelastic surface displacements were related to the viscoelastic gravity changes through a proportionality constant that is nearly independent of the choice of Earth viscosity or ice history model. Thus, by making measurements of both gravity and surface motion at a bedrock site, the viscoelastic effects could be removed from the observations and we would be able to constrain present day ice mass changes. Alternatively, we could use the same observations of surface displacements and gravity to determine the GIA signal. In this paper, we extend the theory of Wahr et al. (1995) by introducing a constant, Z, that represents the ratio between the elastic changes in gravity and elastic uplift at a particular site due to present day mass changes. Further, we combine 20 yrs of GPS observations of uplift with eight absolute gravity observations over the same period to determine the GIA signal near Kulusuk, a site on the southeastern side of the GrIS, to experimentally demonstrate the theory. We estimate that the GIA signal in the region is 4.49 ± 1.44 mm/yr and is inconsistent with most previously reported model predictions that demonstrate that the GIA signal here is negative. However, as there is very little in situ data to constrain the GIA rate in this part of Greenland, the Earth model or the ice history reconstructions could be inaccurate (Khan et al., 2016). Improving the estimate of GIA in this region of Greenland will allow us to better determine the present day changes in ice mass in the region, e.g. from GRACE. [less ▲]

Detailed reference viewed: 123 (16 UL)
Full Text
Peer Reviewed
See detailUsing GPS and Gravity to Infer Ice Mass Changes in Greenland
van Dam, Tonie UL; Larson, Kristine; Wahr, John et al

in EOS : Transactions, American Geophysical Union (2000), 81(37), 421-427

Detailed reference viewed: 33 (2 UL)
Full Text
Peer Reviewed
See detailUsing graph theory to analyze biological networks
Pavlopoulos, Georgios A.; Secrier, Maria; Moschopoulos, Charalampos N. et al

in BioData Mining (2011), 4(10), 1-27

Understanding complex systems often requires a bottom-up analysis towards a systems biology approach. The need to investigate a system, not only as individual components but as a whole, emerges. This can ... [more ▼]

Understanding complex systems often requires a bottom-up analysis towards a systems biology approach. The need to investigate a system, not only as individual components but as a whole, emerges. This can be done by examining the elementary constituents individually and then how these are connected. The myriad components of a system and their interactions are best characterized as networks and they are mainly represented as graphs where thousands of nodes are connected with thousands of vertices. In this article we demonstrate approaches, models and methods from the graph theory universe and we discuss ways in which they can be used to reveal hidden properties and features of a network. This network profiling combined with knowledge extraction will help us to better understand the biological significance of the system. [less ▲]

Detailed reference viewed: 34 (2 UL)
Full Text
Peer Reviewed
See detailUsing Heterogeneous Multilevel Swarms of UAVs and High-Level Data Fusion to Support Situation Management in Surveillance Scenarios
Bouvry, Pascal UL; Chaumette, Serge; Danoy, Grégoire UL et al

in 2016 IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems, MFI 2016 (2016, September 19)

The development and usage of Unmanned Aerial Vehicles (UAVs) quickly increased in the last decades, mainly for military purposes. This technology is also now of high interest in non-military contexts like ... [more ▼]

The development and usage of Unmanned Aerial Vehicles (UAVs) quickly increased in the last decades, mainly for military purposes. This technology is also now of high interest in non-military contexts like logistics, environmental studies and different areas of civil protection. While the technology for operating a single UAV is rather mature, additional efforts are still necessary for using UAVs in fleets (or swarms). The Aid to SItuation Management based on MUltimodal, MUltiUAVs, MUltilevel acquisition Techniques (ASIMUT) project which is supported by the European Defence Agency (EDA) aims at investigating and demonstrating dedicated surveillance services based on fleets of UAVs. The aim is to enhance the situation awareness of an operator and to decrease his workload by providing support for the detection of threats based on multi-sensor multi-source data fusion. The operator is also supported by the combination of information delivered by the heterogeneous swarms of UAVs and by additional information extracted from intelligence databases. As a result, a distributed surveillance system increasing detection, high-level data fusion capabilities and UAV autonomy is proposed. [less ▲]

Detailed reference viewed: 66 (7 UL)
Full Text
Peer Reviewed
See detailUsing Hidden Markov Models and Rule-based Sensor Mediation on Wearable eHealth Devices
Neyens, Gilles UL; Zampunieris, Denis UL

in Procedings of the 11th International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, Barcelona, Spain 12-16 November 2017 (2017)

Improvements in sensor miniaturization allow wearable devices to provide more functionality while also being more comfortable for users to wear. The Samsung Simband©, for example, has 6 different sensors ... [more ▼]

Improvements in sensor miniaturization allow wearable devices to provide more functionality while also being more comfortable for users to wear. The Samsung Simband©, for example, has 6 different sensors Electrocardiogram (ECG), Photoplethysmogram (PPG), Galvanic Skin Response (GSR), Bio-Impedance (Bio-Z), Accelerometer and a thermometer as well as a modular sensor hub to easily add additional ones. This increased number of sensors for wearable devices opens new possibilities for a more precise monitoring of patients by integrating the data from the different sensors. This integration can be influenced by failing or malfunctioning sensors and noise. In this paper, we propose an approach that uses Hidden Markov Models (HMM) in combination with a rule-based engine to mediate among the different sensors’ data in order to allow the eHealth system to compute a diagnosis on the basis of the selected reliable sensors. We also show some preliminary results about the accuracy of the first stage of the proposed model. [less ▲]

Detailed reference viewed: 11 (0 UL)