Computability of Functions Defined by Transducers over Infinite Alphabets 

Get Complete Project Material File(s) Now! » Reactive Synthesis and the Church Problem Overall, a specification relates infinite sequences of inputs to a set of infinite sequences of outputs that form acceptable behaviours. Since we are interested in reactive systems...

Simple disjunctive multiplicity expressions (DMEs)

Get Complete Project Material File(s) Now! » Intractability of unordered regular expres-sions In this section, we study the reasons of the intractability of UREs w.r.t. the following two fundamental decision problems: membership and containment. In Section 1.3.1 we show that...

Lack of knowledge about how users adopt signifierless designs 

Get Complete Project Material File(s) Now! » do users interact with swhidgets? It remains unclear how many swhidgets users actually use and how they are discovered. To the best of my knowledge, there is very little public data on current...

An approximate solution for options market-making in high dimension 

Get Complete Project Material File(s) Now! » Option market-making algorithms in high dimension In this part of the thesis we leave aside the viewpoint of the exchange to focus on the problem of the trader. Two central topics for traders...

Price formation and optimal trading in intraday electricity markets 

Get Complete Project Material File(s) Now! » Preliminaries on electricity markets In this paper we consider a short-term electricity market, populated with small agents with identical characteristics. These agents face uncertain demand or supply at some future time, and use...

Renewable Energy Sources in Electrical System and Management Issues

Get Complete Project Material File(s) Now! » Integration of Renewable Energy Sources in Electrical System and Management Issues General Introduction Faced to energy challenges, primary energy demand in the world wide is growing. According to the IEA (International Energy Agency),...

In Situ Calibration Algorithms for Environmental Sensor Networks 

Get Complete Project Material File(s) Now! » Overview of fault diagnosis for sensor networks through existing reviews In the last decade, while sensor networks gained in popularity, the question of their de2870 pendability became a major subject. In particular, multiple...

Dynamic Social Networks

Get Complete Project Material File(s) Now! » Document–pivot methods Simple document–pivot approaches cluster documents by leveraging some simi-larity metric between them. A recent work [19] follows this direction to provide a method for “breaking news” detection in Twitter. Tweets retrieved...

Theoretical connections between social capital embedded in knowledge networks and dynamic capabilities

Get Complete Project Material File(s) Now! » “Social capital” – A focus on the structure of relationships at work and knowledge networks. "Social capital is the contextual complement to human capital. The social capital metaphor is that the people who...

Environmental Dimensions of an Ethical Tourist Destination Image 

Get Complete Project Material File(s) Now! » Factors Influencing the Meaning of Destination Image The factors influencing the meaning of destination image come from an array of elements such as the components of the image construct as well as the...