Combinatorial Group Testing (CGT) is a process of identifying faulty interactions (“errors”) within a particular set of items. Error Locating Arrays (ELAs) are combinatorial designs that can be built from Covering Arrays (CAs) to not only cover all errors in a system (each involving up to a certain number of items), but to locate and identify the errors as well. In this thesis, we survey known results for CGT, as well as CAs, ELAs, and some other types of related arrays. More importantly, we give several new results. First, we give a new algorithm that can be used to test a system in which each component (factor) has two options (values), and at most two errors are present. We show that, for systems with at most two errors, our algorithm improves upon a related algorithm by Mart´ınez et al. in terms of both robustness and efficiency. Second, we give the first adaptive CGT algorithm that can identify, among a given set of k items, all faulty interactions involving up to three items. We then compare it, performance-wise, to current-best nonadaptive method that can identify faulty interactions involving up to three items. We also give the first adaptive ELA-building algorithm that can identify all faulty interactions involving up to three items when safe values are known. Both of our new algorithms are generalizations of ones previously given by Mart´ınez et al. for identifying all faulty interactions involving up to two items.

This thesis addresses the detailed design new buildings Wine Centre. The building is detached, three-storey, with a gable roof. Vertical and horizontal brick ceiling are from Heluz. The construction is based on monolithic footings and footings. The roof structure consists of trusses with burnt roof covering. Around the house there are parking spaces for cars.

We meet with solving of optimization problems every day, when we try to do our tasks in the best way. An Ant Colony Optimization is an algorithm inspired by behavior of ants seeking a source of food. The Ant Colony Optimization is successfuly using on optimization tasks, on which is not possible to use a classical optimization methods. A Genetic Algorithm is inspired by transmision of a genetic information during crossover. The Genetic Algorithm is used for solving optimization tasks like the ACO algorithm. The result of my master's thesis is created simulator for solving choosen optimization tasks by the ACO algorithm and the Genetic Algorithm and a comparison of gained results on implemented tasks.

Un système couvrant est un ensemble fini de progressions arithmétiques avec la propriété que chaque entier appartient à au moins une des progressions. L’étude des systèmes couvrants a été initié par Erdős dans les années 1950, et il posa dans les années qui suivirent plusieurs questions sur ces objets mathématiques. Une de ses questions les plus célèbres est celle du plus petit module : est-ce que le plus petit module de tous les systèmes couvrants avec modules distinct est borné uniformément? En 2015, Hough a montré que la réponse était affirmative, et qu’une borne admissible est 1016. En se basant sur son travail, mais en simplifiant la méthode, Balister, Bollobás, Morris, Sahasrabudhe et Tiba on réduit cette borne a 616, 000. Leur méthode a menée a plusieurs applications supplémentaires. Entre autres, ils ont compté le nombre de système couvrant avec un nombre fixe de module. La première partie de ce mémoire vise a étudier une question similaire. Nous allons essayer de compter le nombre de système couvrant avec un ensemble de module fixé. La technique que nous utiliserons nous mènera vers l’étude des symmétries de système couvrant. Dans la seconde partie, nous répondrons à des variantes du problème du plus petit module. Nous regarderons des bornes sur le plus petit module d’un système couvrant de multiplicité s, c’est-à-dire un système couvrant dans lequel chaque module apparait au plus s fois. Nous utiliserons ensuite ce résultat afin montrer que le plus petit module d’un système couvrant de multiplicité 1 d’une progression arithmétique est borné, ainsi que pour montrer que le n-eme plus petit module dans un système couvrant de multiplicité 1 est borné. / A covering system is a finite set of arithmetic progressions with the property that every integer belongs to at least one of them. The study of covering systems was started by Erdős in the 1950’s, and he asked many questions about them in the following years. One of the most famous questions he asked was if the minimum modulus of a covering system with distinct moduli is bounded uniformly. In 2015, Hough showed that it is at most 1016. Following on his work, but simplifying the method, Balister, Bollobás, Morris, Sahasrabudhe and Tiba showed that it is at most 616, 000. Their method led them to many further applications. Notably, they counted the number of covering systems with a fixed number of moduli. The first part of this thesis seeks to study a related question, that is to count the number of covering systems with a given set of moduli. The technique developped to do this for some sets will lead us to look at symmetries of covering systems. The second part of this thesis will look at variants of the minimum modulus problem. Notably, we will be looking at bounds on the minimum modulus of a covering system of multiplicity s, that is a covering system in which each moduli appears at most s times, as well as bounds on the minimum modulus of a covering system of multiplicity 1 of an arithmetic progression, and finally look at bounds for the n-th smallest modulus in a covering system.

The special condition in the Anchorage, Alaska draws my attention when I traveled to this place. The downtown area is in the far north of the city, it is an interesting point to develop the lifestyle and living condition for the people stay in the northern city. My thesis starts from the research on the surrounding areas and determines what function of the building suits the site the best. Besides, the shape of the building has some extensions and elevations in order to emphasize the connection between the building and the surrounding spaces. Whats more, the design of the square and the interior parking space are based on the research of the special weather condition in the Anchorage, Alaska. Throughout the various stages of the design, the final project has the steel structure for the primary structural system and metal perforated board for the elevation to balance the huge body of the building. The feature of the project's function and programmatic needs are based on the connections between the site and the surroundings. / Master of Architecture

Dans des régions avec beaucoup d'électricité renouvelable, comme le Québec, une augmentation du nombre de Véhicules Électriques (VE) peut réduire les gaz à effet de serre. Par contre, l'autonomie réduite des VE et la présence limitée d'infrastructure publique pour recharger les véhicules peuvent contribuer à un phénomène nommé anxiété de l'autonomie, où les usagers n'achètent pas des VE par peur qu'ils tombent en panne. On peut alors planifier l'emplacement de l'infrastructure publique de recharge de manière stratégique pour combattre cet effet, menant alors à un taux d'adoption plus élevé pour les VE. En utilisant des modèles de choix discret, nous incorporons des modèles économétriques de demande avancés capturant les préférences hétérogènes des usagers à l'intérieur de l'optimisation. En particulier, comme nous le démontrerons, ceci permet l'inclusion de nouveaux facteurs importants, tels qu'une disponibilité de la recharge à domicile et des effets de distance plus granulaire. Par contre, la méthodologie existante pour ce processus crée un modèle de programmation linéaire mixte en nombres entiers qui ne peut pas être résolue, même pour des instances de taille modeste. Nous développons alors une reformulation efficace en problème de couverture maximum qui, comme nous le démontrerons, permet une amélioration de plusieurs ordres de magnitude pour le temps de calcul. Bien que cette reformulation dans un problème de couverture maximum améliore grandement la capacité à résoudre le modèle, celui-ci demeure difficile à résoudre pour des problèmes de grandes tailles, nécessitant des heuristiques pour obtenir des solutions de haute qualité. Nous développons alors deux méthodes de décomposition de Benders spécialisées pour cette application. La première est une méthode de décomposition de Benders accélérée, qui se spécialise à réduire l'écart d'optimalité et à la résolution de problèmes de petite taille ou de taille modeste. La deuxième approche rajoute un branchement local à la méthode de décomposition de Benders accélérée, qui sacrifie de l'efficacité lors de la résolution de problèmes de plus petite taille pour une capacité augmentée afin d'obtenir des solutions réalisables de haute qualité. Finalement, nous présentons une méthode pour dériver des valeurs de paramètres autrement difficiles à obtenir pour le modèle de choix discrets dans le modèle d'optimisation. Ces paramètres dictent les effets de l'infrastructure publique de recharge sur l'adoption des VE. Pour ce processus, nous regardons les facteurs qui encouragent les usagers courants des VE à utiliser l'infrastructure existante. De manière plus précise, nous utilisons des données de recharge réelles de la ville de Montréal (Québec) pour estimer les impacts des caractéristiques des stations, tels que la distance des usagers, le nombre de bornes de recharge, et les installations à proximité. Différents types d'infrastructure sont considérés, de manière parallèle avec des modèles de choix discrets qui peuvent tenir compte de plusieurs observations pour chaque individu. Les contributions de cette thèse sont plus générales que simplement l'adoption de VE, étant applicable, par exemple, au problème de capture maximum, au problème de couverture maximum à multiples périodes, et à la prédiction de la station de recharge choisie par les conducteurs de VE. / In areas with large amounts of clean renewable electricity, such as Quebec, an increase to the number of electric vehicles (EVs) can reduce greenhouse gas emissions. However, the reduced range of EVs and the limited public charging infrastructure can contribute to a phenomenon known as range anxiety, where users do not purchase EVs out of concern they run out of charge while driving. We can strategically optimise the placement of public EV charging infrastructure to combat this effect, thus leading to increased EV adoption. By utilising discrete choice models, we incorporate advanced econometric demand models capturing heterogeneous user preferences within the optimisation framework. In particular, as we demonstrate, this allows for the inclusion of new, important attributes, such as a more granular home charging availability and a continuous degradation of quality based on the distance. However, existing methodologies for this optimisation framework result in a mixed-integer linear program which cannot be solved for even moderately sized instances. We thus develop an efficient reformulation into a maximum covering location problem which, as we show experimentally, allows for multiple orders of magnitude of improved solving time. While the reformulation into a maximum covering location problem greatly improves the solving capabilities for the model, it remains intractable for large-scale instances, relying on heuristics to obtain high-quality solutions. As such, we then develop two specialised Benders decomposition methods for this application. The first is an accelerated branch-and-Benders-cut method, which excels at solving small or medium-scale instances and at decreasing the optimality gap. The second approach incorporates a local branching scheme to the accelerated branch-and-Benders-cut method, which sacrifices some efficiency in solving smaller instances for an increased ability to obtain high-quality feasible solutions. Finally, we discuss a method for deriving difficult-to-obtain parameter values of the discrete choice model in the optimisation framework. These parameter values dictate the effects of the public charging infrastructure on EV adoption and, as such, play a crucial role in the optimisation model. For this process, we investigate the attributes that encourage current EV owners to utilise existing infrastructure. More specifically, we use real charging session data from the city of Montreal (Quebec) to determine the impacts of station characteristics such as the distance to the users, the number of outlets, and the nearby amenities. Different types of charging infrastructure are considered alongside discrete choice models which take into account multiple observations from individual users. The contributions of this thesis lie more broadly than simply EV adoption, being applicable to, e.g., the maximum capture problem, the multi-period maximum covering location problem, and the prediction of the charging station selected by EV drivers.

The issue of a Muslim woman‟s dress code has been debated for centuries. This is of great importance as it is widely used as a criterion to measure the extent of a woman‟s piety or devotion to Allah. A study of the religious texts on the issue is essential. Therefore, Qur‟anic text, Prophetic Traditions and Qur‟anic exegesis of both classical and modern scholars would have been used in determining the correct dress code for Muslim women. While all research indicates that women dress conservatively, in order not to attract the attention of the opposite sex. The extent to which a woman must be covered has not been agreed upon. Even if what has to be covered is established by scholars, the manner in which this is to be done and the type of colours and fabric to be used needs further clarification. The issue of the female dress code needs to be presented from a female perspective. / Religious Studies and Arabic / M.A. (Islamic Studies)

Lietuva per paskutinius keletą metų prarado lyderės pozicijas Vakarų Europoje lyginant apmokestinamojo pelno apskaičiavimo taisykles ir pelno mokesčio tarifo dydį, tačiau iš pirmaujančių šalių grupės nepasitraukė, nenusileidžia ji ir Latvijai bei Estijai, kuriose yra sukurtos taip pat vienos patraukliausių investuotojams pelno mokesčio sistemų Europos Sąjungoje. Siekiant įvertinti šalies patrauklumą užsienio investuotojams reikia įvertinti apmokestinamojo pelno apskaičiavimo taisykles bei apžvelgti pelno mokesčio tarifą. Šio darbo objektas yra apmokestinamasis pelnas. Tikslas – išsiaiškinti apmokestinamojo pelno apskaičiavimą. Šiam tikslui pasiekti iškelti šie svarbiausi uždaviniai: 1) išnagrinėti pelno sampratą bei pateikti informaciją apie pelno valdymą; 2) išanalizuoti Lietuvos akcinių bendrovių apmokestinamojo pelno apskaičiavimą; 3) išnagrinėti ir palyginti Lietuvos, Latvijos ir Estijos apmokestinamojo pelno apskaičiavimo tvarką; Darbą sudaro 3 pagrindinės dalys. Pirmoje dalyje “Pelno samprata ir valdymas“ nagrinėjama pelno sąvoka, išskiriami neatitikimai tarp finansinio ir mokestinio pelno bei pateikiamos pelno valdymo galimybės pasirenkant apskaitos politikos priemones. Antroje dalyje „Apmokestinamojo pelno apskaičiavimas Lietuvoje“ analizuojama akcinių bendrovių apmokestinamojo pelno apskaičiavimo tvarka, pateikiamos neapmokestinamosios pajamos, neleidžiami ir ribojamų dydžių leidžiami atskaitymai. Nagrinėjami galimi pelno mokesčio sumažinimo būdai bei metinė pelno... [toliau žr. visą tekstą] / Lithuania during several recent years has lost its leading position in Western Europe compared to calculation of taxable profit rules and income tax rate, but it is still one of leading countries, it keep up with Latvia and Estonia where also are developed one of the most attractive income tax systems in the European Union. In order to evaluate country’s attractiveness to foreign investors we need to evaluate calculation of taxable profit rules and review corporate income tax rate. The subject of this investigation is taxable profit. Purpose is to find out calculation of taxable profit rules. There are main tasks to achieve the purpose: 1) to investigate concept of profit and to give information about profit management; 2) to analyze calculation of taxable profit of Lithuanian stock companies; 3) to consider and compare Lithuanian, Latvian and Estonian calculation of taxable profit. This paper consists of three main parts. In the first part “Concept of profit and management”, is considered the profit concept, differences between taxable and accounting profit, also there is written about profit management opportunities choosing of accounting policy tools. In the second part “Calculation of taxable profit in Lithuania” is analyzed stock companies calculation of taxable profit and is introduced non-taxable income, not allowed and limited amount allowed deductions. Also there is written possibilities of reducing income tax and about profit tax declaration as well its purpose. The... [to full text]

Cette dissertation se divise en deux parties, distinctes mais connexes, qui sont le reflet de la cotutelle. Nous étudions et résolvons des problèmes concernant d'une part la combinatoire des mots dans un contexte abélien et d'autre part des problèmes de couverture dans des graphes. Chaque question fait l'objet d'un chapitre. En combinatoire des mots, le premier problème considéré s'intéresse à la régularité des suites au sens défini par Allouche et Shallit. Nous montrons qu'une suite qui satisfait une certaine propriété de symétrie est 2-régulière. Ensuite, nous appliquons ce théorème pour montrer que les fonctions de complexité 2-abélienne du mot de Thue--Morse ainsi que du mot appelé ''period-doubling'' sont 2-régulières. Les calculs et arguments développés dans ces démonstrations s'inscrivent dans un schéma plus général que nous espérons pouvoir utiliser à nouveau pour prouver d'autres résultats de régularité. Le deuxième problème poursuit le développement de la notion de mot de retour abélien introduite par Puzynina et Zamboni. Nous obtenons une caractérisation des mots sturmiens avec un intercepte non nul en termes du cardinal (fini ou non) de l'ensemble des mots de retour abélien par rapport à tous les préfixes. Nous décrivons cet ensemble pour Fibonacci ainsi que pour Thue--Morse (bien que cela ne soit pas un mot sturmien). Nous étudions la relation existante entre la complexité abélienne et le cardinal de cet ensemble. En théorie des graphes, le premier problème considéré traite des codes identifiants dans les graphes. Ces codes ont été introduits par Karpovsky, Chakrabarty et Levitin pour modéliser un problème de détection de défaillance dans des réseaux multiprocesseurs. Le rapport entre la taille optimale d'un code identifiant et la taille optimale du relâchement fractionnaire d'un code identifiant est comprise entre 1 et 2 ln(|V|)+1 où V est l'ensemble des sommets du graphe. Nous nous concentrons sur les graphes sommet-transitifs, car nous pouvons y calculer précisément la solution fractionnaire. Nous exhibons des familles infinies, appelées quadrangles généralisés, de graphes sommet-transitifs pour lesquelles les solutions entière et fractionnaire sont de l'ordre |V|^k avec k dans {1/4, 1/3, 2/5}. Le second problème concerne les (r,a,b)-codes couvrants de la grille infinie déjà étudiés par Axenovich et Puzynina. Nous introduisons la notion de 2-coloriages constants de graphes pondérés et nous les étudions dans le cas de quatre cycles pondérés particuliers. Nous présentons une méthode permettant de lier ces 2-coloriages aux codes couvrants. Enfin, nous déterminons les valeurs exactes des constantes a et b de tout (r,a,b)-code couvrant de la grille infinie avec |a-b|>4. Il s'agit d'une extension d'un théorème d'Axenovich. / This dissertation is divided into two (distinct but connected) parts that reflect the joint PhD. We study and we solve several questions regarding on the one hand combinatorics on words in an abelian context and on the other hand covering problems in graphs. Each particular problem is the topic of a chapter. In combinatorics on words, the first problem considered focuses on the 2-regularity of sequences in the sense of Allouche and Shallit. We prove that a sequence satisfying a certain symmetry property is 2-regular. Then we apply this theorem to show that the 2-abelian complexity functions of the Thue--Morse word and the period-doubling word are 2-regular. The computation and arguments leading to these results fit into a quite general scheme that we hope can be used again to prove additional regularity results. The second question concerns the notion of return words up to abelian equivalence, introduced by Puzynina and Zamboni. We obtain a characterization of Sturmian words with non-zero intercept in terms of the finiteness of the set of abelian return words to all prefixes. We describe this set of abelian returns for the Fibonacci word but also for the Thue-Morse word (which is not Sturmian). We investigate the relationship existing between the abelian complexity and the finiteness of this set. In graph theory, the first problem considered deals with identifying codes in graphs. These codes were introduced by Karpovsky, Chakrabarty and Levitin to model fault-diagnosis in multiprocessor systems. The ratio between the optimal size of an identifying code and the optimal size of a fractional relaxation of an identifying code is between 1 and 2 ln(|V|)+1 where V is the vertex set of the graph. We focus on vertex-transitive graphs, since we can compute the exact fractional solution for them. We exhibit infinite families, called generalized quadrangles, of vertex-transitive graphs with integer and fractional identifying codes of order |V|^k with k in {1/4,1/3,2/5}. The second problem concerns (r,a,b)-covering codes of the infinite grid already studied by Axenovich and Puzynina. We introduce the notion of constant 2-labellings of weighted graphs and study them in four particular weighted cycles. We present a method to link these labellings with covering codes. Finally, we determine the precise values of the constants a and b of any (r,a,b)-covering code of the infinite grid with |a-b|>4. This is an extension of a theorem of Axenovich.

Cette dissertation se divise en deux parties, distinctes mais connexes, qui sont le reflet de la cotutelle. Nous étudions et résolvons des problèmes concernant d'une part la combinatoire des mots dans un contexte abélien et d'autre part des problèmes de couverture dans des graphes. Chaque question fait l'objet d'un chapitre. En combinatoire des mots, le premier problème considéré s'intéresse à la régularité des suites au sens défini par Allouche et Shallit. Nous montrons qu'une suite qui satisfait une certaine propriété de symétrie est 2-régulière. Ensuite, nous appliquons ce théorème pour montrer que les fonctions de complexité 2-abélienne du mot de Thue--Morse ainsi que du mot appelé ''period-doubling'' sont 2-régulières. Les calculs et arguments développés dans ces démonstrations s'inscrivent dans un schéma plus général que nous espérons pouvoir utiliser à nouveau pour prouver d'autres résultats de régularité. Le deuxième problème poursuit le développement de la notion de mot de retour abélien introduite par Puzynina et Zamboni. Nous obtenons une caractérisation des mots sturmiens avec un intercepte non nul en termes du cardinal (fini ou non) de l'ensemble des mots de retour abélien par rapport à tous les préfixes. Nous décrivons cet ensemble pour Fibonacci ainsi que pour Thue--Morse (bien que cela ne soit pas un mot sturmien). Nous étudions la relation existante entre la complexité abélienne et le cardinal de cet ensemble. En théorie des graphes, le premier problème considéré traite des codes identifiants dans les graphes. Ces codes ont été introduits par Karpovsky, Chakrabarty et Levitin pour modéliser un problème de détection de défaillance dans des réseaux multiprocesseurs. Le rapport entre la taille optimale d'un code identifiant et la taille optimale du relâchement fractionnaire d'un code identifiant est comprise entre 1 et 2 ln(|V|)+1 où V est l'ensemble des sommets du graphe. Nous nous concentrons sur les graphes sommet-transitifs, car nous pouvons y calculer précisément la solution fractionnaire. Nous exhibons des familles infinies, appelées quadrangles généralisés, de graphes sommet-transitifs pour lesquelles les solutions entière et fractionnaire sont de l'ordre |V|^k avec k dans {1/4, 1/3, 2/5}. Le second problème concerne les (r,a,b)-codes couvrants de la grille infinie déjà étudiés par Axenovich et Puzynina. Nous introduisons la notion de 2-coloriages constants de graphes pondérés et nous les étudions dans le cas de quatre cycles pondérés particuliers. Nous présentons une méthode permettant de lier ces 2-coloriages aux codes couvrants. Enfin, nous déterminons les valeurs exactes des constantes a et b de tout (r,a,b)-code couvrant de la grille infinie avec |a-b|>4. Il s'agit d'une extension d'un théorème d'Axenovich. / This dissertation is divided into two (distinct but connected) parts that reflect the joint PhD. We study and we solve several questions regarding on the one hand combinatorics on words in an abelian context and on the other hand covering problems in graphs. Each particular problem is the topic of a chapter. In combinatorics on words, the first problem considered focuses on the 2-regularity of sequences in the sense of Allouche and Shallit. We prove that a sequence satisfying a certain symmetry property is 2-regular. Then we apply this theorem to show that the 2-abelian complexity functions of the Thue--Morse word and the period-doubling word are 2-regular. The computation and arguments leading to these results fit into a quite general scheme that we hope can be used again to prove additional regularity results. The second question concerns the notion of return words up to abelian equivalence, introduced by Puzynina and Zamboni. We obtain a characterization of Sturmian words with non-zero intercept in terms of the finiteness of the set of abelian return words to all prefixes. We describe this set of abelian returns for the Fibonacci word but also for the Thue-Morse word (which is not Sturmian). We investigate the relationship existing between the abelian complexity and the finiteness of this set. In graph theory, the first problem considered deals with identifying codes in graphs. These codes were introduced by Karpovsky, Chakrabarty and Levitin to model fault-diagnosis in multiprocessor systems. The ratio between the optimal size of an identifying code and the optimal size of a fractional relaxation of an identifying code is between 1 and 2 ln(|V|)+1 where V is the vertex set of the graph. We focus on vertex-transitive graphs, since we can compute the exact fractional solution for them. We exhibit infinite families, called generalized quadrangles, of vertex-transitive graphs with integer and fractional identifying codes of order |V|^k with k in {1/4,1/3,2/5}. The second problem concerns (r,a,b)-covering codes of the infinite grid already studied by Axenovich and Puzynina. We introduce the notion of constant 2-labellings of weighted graphs and study them in four particular weighted cycles. We present a method to link these labellings with covering codes. Finally, we determine the precise values of the constants a and b of any (r,a,b)-covering code of the infinite grid with |a-b|>4. This is an extension of a theorem of Axenovich.