Browsing
     by title


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

or enter first few letters:   
OK
Full Text
Peer Reviewed
See detailA Game Theoretic Analysis of the Twitter Follow-Unfollow Mechanism
Chen, Jundong; Hossain, Md Shafaeat; Brust, Matthias R. UL et al

in International Conference on Decision and Game Theory for Security (2018)

Twitter users often crave more followers to increase their social popularity. While a variety of factors have been shown to attract the followers, very little work has been done to analyze the mechanism ... [more ▼]

Twitter users often crave more followers to increase their social popularity. While a variety of factors have been shown to attract the followers, very little work has been done to analyze the mechanism how Twitter users follow or unfollow each other. In this paper, we apply game theory to modeling the follow-unfollow mechanism on Twitter. We first present a two-player game which is based on the Prisoner’s Dilemma, and subsequently evaluate the payoffs when the two players adopt different strategies. To allow two players to play multiple rounds of the game, we propose a multi-stage game model. We design a Twitter bot analyzer which follows or unfollows other Twitter users by adopting the strategies from the multi-stage game. We develop an algorithm which enables the Twitter bot analyzer to automatically collect and analyze the data. The results from analyzing the data collected in our experiment show that the follow-back ratios for both of the Twitter bots are very low, which are 0.76% and 0.86%. This means that most of the Twitter users do not cooperate and only want to be followed instead of following others. Our results also exhibit the effect of different strategies on the follow-back followers and on the non-following followers as well. [less ▲]

Detailed reference viewed: 42 (0 UL)
Full Text
See detailGamifying the Commute
McCall, Roderick UL

Presentation (2014, November 14)

The seminar outlined the I-GEAR project which examines the use of gamification to reduce traffic congestion. Topics included user interfaces for gamified applications, requirements capture methodologies ... [more ▼]

The seminar outlined the I-GEAR project which examines the use of gamification to reduce traffic congestion. Topics included user interfaces for gamified applications, requirements capture methodologies and a sample gamified application. [less ▲]

Detailed reference viewed: 139 (13 UL)
Full Text
Peer Reviewed
See detailGene expression data analysis using spatiotemporal blind source separation
Sainlez, Matthieu UL; Absil, Pierre-Antoine; Teschendorff, Andrew E.

in Verleysen, Michel (Ed.) ESANN'2009 proceedings, European Symposium on Artificial Neural Networks - Advances in Computational Intelligence and Learning. (2009)

We propose a “time-biased” and a “space-biased” method for spatiotemporal independent component analysis (ICA). The methods rely on computing an orthogonal approximate joint diagonalizer of a collection ... [more ▼]

We propose a “time-biased” and a “space-biased” method for spatiotemporal independent component analysis (ICA). The methods rely on computing an orthogonal approximate joint diagonalizer of a collection of covariance-like matrices. In the time-biased version, the time signatures of the ICA modes are imposed to be white, whereas the space-biased version imposes the same condition on the space signatures. We apply the two methods to the analysis of gene expression data, where the genes play the role of the space and the cell samples stand for the time. This study is a step towards addressing a question first raised by Liebermeister, on whether ICA methods for gene expression analysis should impose independence across genes or across cell samples. Our preliminary experiment indicates that both approaches have value, and that exploring the continuum between these two extremes can provide useful information about the interactions between genes and their impact on the phenotype. [less ▲]

Detailed reference viewed: 18 (0 UL)
See detailGeneralized Information Theory based on the Theory of Hints
Pouly, Marc UL

in Liu, Weiru (Ed.) Symbolic and Quantitative Approaches to Reasoning with Uncertainty (2011)

The aggregate uncertainty is the only known functional for Dempster-Shafer theory that generalizes the Shannon and Hartley mea- sures and satis?es all classical requirements for uncertainty measures ... [more ▼]

The aggregate uncertainty is the only known functional for Dempster-Shafer theory that generalizes the Shannon and Hartley mea- sures and satis?es all classical requirements for uncertainty measures, including subadditivity. Although being posed several times in the liter- ature, it is still an open problem whether the aggregate uncertainty is unique under these properties. This paper derives an uncertainty measure based on the theory of hints and shows its equivalence to the pignistic entropy. It does not satisfy subadditivity, but the viewpoint of hints un- covers a weaker version of subadditivity. On the other hand, the pignistic entropy has some crucial advantages over the aggregate uncertainty. i.e. explicitness of the formula and sensitivity to changes in evidence. We observe that neither of the two measures captures the full uncertainty of hints and propose an extension of the pignistic entropy called hints en- tropy that satis?es all axiomatic requirements, including subadditivity, while preserving the above advantages over the aggregate uncertainty. [less ▲]

Detailed reference viewed: 51 (2 UL)
Full Text
See detailGeneralizing the isogeometric concept: weakening the tight coupling between geometry and simulation in IGA
Tomar, Satyendra UL; Atroshchenko, Elena; Xu, Gang et al

Presentation (2016, June 02)

In the standard paradigm of isogeometric analysis [2, 1], the geometry and the simulation spaces are tightly integrated, i.e. the non-uniform rational B-splines (NURBS) space, which is used for the ... [more ▼]

In the standard paradigm of isogeometric analysis [2, 1], the geometry and the simulation spaces are tightly integrated, i.e. the non-uniform rational B-splines (NURBS) space, which is used for the geometry representation of the domain, is also employed for the numerical solution of the problem over the domain. However, in certain situations, such as, when the geometry of the domain can be represented by low order NURBS but the numerical solution can be obtained with improved accuracy by using NURBS of order higher than that required for the geometry; or in the shape and topology optimization where the constraint of using the same space for the geometry and the numerical solution is not favorable, this tight coupling is disadvantageous. Therefore, we study the effect of decoupling the spaces for the geometry representation and the numerical solution, though still using the prevalent functions in CAD/CAGD. To begin with, we perform the patch tests on various combinations of polynomial degree, geometry type, and various cases of varying degrees and control variables between the geometry and the numerical solution. This shows that certain cases, perhaps intuitive, should be avoided in practice because patch test fails. The above-mentioned situations are further explored with some numerical examples, which shows that weakening the tight coupling between geometry and simulation offers more flexibility in choosing the numerical solution spaces. [1] J. Cottrell, T.J.R. Hughes, and Y. Bazilevs. Isogeometric Analysis: Toward Integration of CAD and FEA, volume 80. Wiley, Chichester, 2009. [2] T.J.R. Hughes, J. Cottrell, and Y. Bazilevs. Isogeometric analysis: CAD, finite elements, NURBS, exact geometry and mesh refinement. Computer Methods in Applied Mechanics and Engineering, 194:4135–4195, 2005. [less ▲]

Detailed reference viewed: 138 (11 UL)
See detailGeneralizing the isogeometric concept: weakening the tight coupling between geometry and simulation in IGA
Bordas, Stéphane UL; Tomar, Satyendra UL; Atroshchenko, Elena et al

Scientific Conference (2016, May 30)

In the standard paradigm of isogeometric analysis [2, 1], the geometry and the simulation spaces are tightly integrated, i.e. the non-uniform rational B-splines (NURBS) space, which is used for the ... [more ▼]

In the standard paradigm of isogeometric analysis [2, 1], the geometry and the simulation spaces are tightly integrated, i.e. the non-uniform rational B-splines (NURBS) space, which is used for the geometry representation of the domain, is also employed for the numerical solution of the problem over the domain. However, in certain situations, such as, when the geometry of the domain can be represented by low order NURBS but the numerical solution can be obtained with improved accuracy by using NURBS of order higher than that required for the geometry; or in the shape and topology optimization where the constraint of using the same space for the geometry and the numerical solution is not favorable, this tight coupling is disadvantageous. Therefore, we study the effect of decoupling the spaces for the geometry representation and the numerical solution, though still using the prevalent functions in CAD/CAGD. To begin with, we perform the patch tests on various combinations of polynomial degree, geometry type, and various cases of varying degrees and control variables between the geometry and the numerical solution. This shows that certain cases, perhaps intuitive, should be avoided in practice because patch test fails. The above-mentioned situations are further explored with some numerical examples, which shows that weakening the tight coupling between geometry and simulation offers more flexibility in choosing the numerical solution spaces. [less ▲]

Detailed reference viewed: 120 (3 UL)
Full Text
Peer Reviewed
See detailGenerating purpose-dependent production factors through Monte Carlo sampling techniques.
Scheffer, Ariane; Cantelmo, Guido UL; Viti, Francesco UL

Scientific Conference (2017, May)

Detailed reference viewed: 44 (16 UL)
See detailGeneric Inference A Unifying Theory for Automated Reasoning
Pouly, Marc UL; Kohlas, Jürg

Book published by John Wiley & Sons (2011)

This book provides a rigorous algebraic study of the most popular inference formalisms with a special focus on their wide application area, showing that all these tasks can be performed by a single ... [more ▼]

This book provides a rigorous algebraic study of the most popular inference formalisms with a special focus on their wide application area, showing that all these tasks can be performed by a single generic inference algorithm. Written by the leading international authority on the topic, it includes an algebraic perspective (study of the valuation algebra framework), an algorithmic perspective (study of the generic inference schemes) and a "practical" perspective (formalisms and applications). Researchers in a number of fields including artificial intelligence, operational research, databases and other areas of computer science; graduate students; and professional programmers of inference methods will benefit from this work. [less ▲]

Detailed reference viewed: 65 (0 UL)
Full Text
See detailGeneric Local Computation
Pouly, Marc UL; Schneuwly, Cesar; Kohlas, Jürg

Report (2011)

Many problems of artificial intelligence, or more generally, many problems of information processing, have a generic solution based on local computation on join trees or acyclic hypertrees. There are ... [more ▼]

Many problems of artificial intelligence, or more generally, many problems of information processing, have a generic solution based on local computation on join trees or acyclic hypertrees. There are several variants of this method all based on the algebraic structure of a valuation algebra. A strong requirement underlying this approach is that the elements of a problem decomposition form a join tree. Although it is always possible to construct covering join trees, if the requirement is originally not satisfied, it is not always possible or not efficient to extend the elements of the decomposition to the covering join tree. Therefore in this paper different variants of an axiomatic framework of valuation algebras are introduced which prove sufficient for local computation without the need of an extension of the factors of a decomposition. This framework covers the axiomatic system proposed by (Shenoy & Shafer, 1990). A particular emphasis is laid on the important special cases of idempotent algebras and algebras with some notion of division. It is shown that all well-known architectures for local computation like the Shenoy-Shafer architecture, Lauritzen-Spiegelhalter and HUGIN architectures may be adapted to this new framework. Further a new architecture for idempotent algebras is presented. As examples, in addition to the classical instances of valuation algebras, semiring induced valuation algebras, Gaussian potentials and the relational algebra are presented. [less ▲]

Detailed reference viewed: 54 (0 UL)
See detailGeneric Solution Construction in Valuation-Based Systems
Pouly, Marc UL

in Butz, Cory; Lingras, Pawan (Eds.) Advances in Artificial Intelligence (2011)

Valuation algebras abstract a large number of formalisms for automated reasoning and enable the definition of generic inference procedures. Many of these formalisms provide some notions of solutions ... [more ▼]

Valuation algebras abstract a large number of formalisms for automated reasoning and enable the definition of generic inference procedures. Many of these formalisms provide some notions of solutions. Typical examples are satisfying assignments in constraint systems, models in logics or solutions to linear equation systems. Contrary to inference, there is no general algorithm to compute solutions in arbitrary valuation algebras. This paper states formal requirements for the presence of solutions and proposes a generic algorithm for solution construction based on the results of a previously executed inference scheme. We study the application of generic solution construction to semiring constraint systems, sparse linear systems and algebraic path problems and show that the proposed method generalizes various existing approaches for specific formalisms in the literature. [less ▲]

Detailed reference viewed: 71 (1 UL)
See detailGenetic Algorithm based roadmapping: A method for product innovation
Suzianti, Amalia UL

Doctoral thesis (2011)

Detailed reference viewed: 118 (3 UL)
Peer Reviewed
See detailThe Genetics Lab: An Innovative Tool for Assessment of Intelligence by Mean of Complex Problem Solving
Hazotte, Cyril; Mayer, Hélène; Djaghloul, Younes et al

Scientific Conference (2011)

Detailed reference viewed: 58 (0 UL)
Full Text
See detailA Geographical Analysis of Bicycle Sharing Systems
Médard de Chardon, Cyrille UL

Doctoral thesis (2016)

This thesis evaluates the performance of bicycle sharing systems (BSS), autonomous systems of accessible bicycles that can be easily used for one way trips, and determines whether they are successful at ... [more ▼]

This thesis evaluates the performance of bicycle sharing systems (BSS), autonomous systems of accessible bicycles that can be easily used for one way trips, and determines whether they are successful at achieving promoted social and environmental outcomes through quantitative and qualitative methods. Such systems are typically surrounded by positive narratives of success, health, environmental and social benefits. This work challenges these notions. This thesis begins with the formalisation of BSS station level and trip data revealing alternative data contained within. Combined with spatiotemporal data analysis, this allows the estimation of trips, a potential measure of success. Due to most operators not providing consistent or comparable metrics of usage this work opens this heavily promoted technological transport innovation’s performance for public scrutiny. Performance estimates of 75 case studies show a majority having less than two trips per day per bicycle, suggesting a poor investment, regardless of existing social justice issues and exaggerated environmental benefits. Using this metric this work determines which attributes impact performance. While station density and cycling infrastructure, among others, are found to impact performance, results challenge promoted practice. Formalisation yielded rebalancing, the moving of bicycles to adjust to demand exceeding supply. Spatiotemporal data analysis and interviews with operators provides the first description of applied rebalancing, providing an alternative perspective to the many theoretical optimisation models. Results show rebalancing is spatially selective and influencing BSS outcomes, potentially contrary to its purpose. Finally, this thesis, through a critical urban sustainability perspective, presents darker aspects of BSS, beyond the golden narratives, showing conflicts of interest, controversy and the commercialisation of an initially environmental and anti-consumerism concept. Existential questions are raised due to BSS, mostly privately operated, providing benefits to an already advantaged class while public space is privatised and urban advertising increased. This work concludes by suggesting that alternative investment to bicycle sharing systems, such as cycling infrastructure, may be more beneficial and just. [less ▲]

Detailed reference viewed: 372 (15 UL)
See detailGeographical Modelling with Cellular-Automata
Caruso, Geoffrey UL

Presentation (2009)

Detailed reference viewed: 38 (0 UL)
Full Text
Peer Reviewed
See detailGeometrical and material uncertainties for the mechanics of composites
Barbosa, Joaquim; Bordas, Stéphane UL; Carvalho, Andre et al

Scientific Conference (2019)

Detailed reference viewed: 69 (14 UL)
Full Text
Peer Reviewed
See detailA geometrically non-linear three-dimensional cohesive crack method for reinforced concrete structures
Rabczuk, Timon; Zi, Goangseup; Bordas, Stéphane UL et al

in Engineering Fracture Mechanics (2008), 75(16), 4740-4758

A three-dimensional meshfree method for modeling arbitrary crack initiation and crack growth in reinforced concrete structure is presented. This meshfree method is based on a partition of unity concept ... [more ▼]

A three-dimensional meshfree method for modeling arbitrary crack initiation and crack growth in reinforced concrete structure is presented. This meshfree method is based on a partition of unity concept and formulated for geometrically non-linear problems. The crack kinematics are obtained by enriching the solution space in order to capture the correct crack kinematics. A cohesive zone model is used after crack initiation. The reinforcement modeled by truss or beam elements is connected by a bond model to the concrete. We applied the method to model the fracture of several reinforced concrete structures and compared the results to experimental data. [less ▲]

Detailed reference viewed: 42 (0 UL)
Full Text
Peer Reviewed
See detailGEOMETRY-INDEPENDENT FIELD APPROXIMATION FOR SPLINE-BASED FINITE ELEMENT METHODS
Xu, Gang; Atroshchenko, Elena; Bordas, Stéphane UL

in Proceedings of the 11th World Congress in Computational Mechanics (2014, July)

We propose a discretization scheme where the spline spaces used for the geometry and the field variables can be chosen independently in spline-based FEM. he method is thus applicable to arbitrary domains ... [more ▼]

We propose a discretization scheme where the spline spaces used for the geometry and the field variables can be chosen independently in spline-based FEM. he method is thus applicable to arbitrary domains with spline representation. (2) It is possible to flexibly choose between different spline spaces with different properties to better represent the solution of the PDE, e.g. the continuity of the solution field. (3) Refinement operations by knot insertion and degree elevation are performed directly on the spline space of the solution field, independently of the spline space of the geometry of the domain, i.e. the parameterization of the given geometry is not altered during the refinement process. Hence, the initial design can be optimized in the subsequent shape optimization stage without constraining the geometry discretization space to conform to the field approximation space. [less ▲]

Detailed reference viewed: 504 (12 UL)
Full Text
Peer Reviewed
See detailGeometry-Independent Field approximaTion: CAD-Analysis Integration, geometrical exactness and adaptivity
Xu, Gang; Atroshchenko, Elena; Ma, Weiyin et al

in Computer Methods in Applied Mechanics & Engineering (2014)

In isogeometric analysis (IGA), the same spline representation is employed for both the geometry of the domain and approximation of the unknown fields over this domain. This identity of the geometry and ... [more ▼]

In isogeometric analysis (IGA), the same spline representation is employed for both the geometry of the domain and approximation of the unknown fields over this domain. This identity of the geometry and field approximation spaces was put forward in the now classic 2005 paper [20] as a key advantage on the way to the integration of Computer Aided Design (CAD) and subsequent analysis in Computer Aided Engineering (CAE). [20] claims indeed that any change to the geometry of the domain is automatically inherited by the approximation of the field variables, without requiring the regeneration of the mesh at each change of the domain geometry. Yet, in Finite Element versions of IGA, a parameterization of the interior of the domain must still be constructed, since CAD only provides information about the boundary. The identity of the boundary and field representation decreases the flexibility in which this parameterization can be generated and somewhat constrains the modeling and simulation process, because an approximation able to represent the domain geometry accurately need not be adequate to also approximate the field variables accurately, in particular when the solution is not smooth. We propose here a new paradigm called Geometry-Independent Field approximaTion (GIFT) where the spline spaces used for the geometry and the field variables can be chosen and adapted independently while preserving geometric exactness and tight CAD integration. GIFT has the following features: (1) It is possible to flexibly choose between different spline spaces with different properties to better represent the solution of the problem, e.g. the continuity of the solution field, boundary layers, singularities, whilst retaining geometrical exactness of the domain boundary. (2) For multi-patch analysis, where the domain is composed of several spline patches, the continuity condition between neighboring patches on the solution field can be automatically guaranteed without additional constraints in the variational form. (3) Refinement operations by knot insertion and degree elevation are performed directly on the spline space of the solution field, independently of the spline space of the geometry of the domain, which makes the method versatile. GIFT with PHT-spline solution spaces and NURBS geometries is used to show the effectiveness of the proposed approach. Keywords : Super-parametric methods, Isogeometric analysis (IGA), Geometry-independent Spline Space, PHT-splines, local refinement, adaptivity [less ▲]

Detailed reference viewed: 994 (29 UL)
See detailGestural Interfaces for Elderly Users - Help or Hindrance?
Stossel, Christian UL

Doctoral thesis (2012)

Detailed reference viewed: 75 (1 UL)