121 |
Abstrakce dynamických datových struktur s využitím šablon / Template-Based Synthesis of Heap AbstractionsMalík, Viktor January 2017 (has links)
Cieľom tejto práce je návrh analýzy tvaru haldy vhodnej pre potreby analyzátora 2LS. 2LS je nástroj pre analýzu C programov založený na automatickom odvodzovaní invariantov s použitím SMT solvera. Navrhované riešenie obsahuje spôsob reprezentácie tvaru programovej haldy pomocou logických formulí nad teóriou bitových vektorov. Tie sú následne využité v SMT solveri pre predikátovú logiku prvého rádu na odvodenie invariantov cyklov a súhrnov jednotlivých funkcií analyzovaného programu. Náš prístup je založený na ukazateľových prístupových cestách, ktoré vyjadrujú dosiahnuteľnosť objektov na halde z ukazateľových premenných. Informácie získané z analýzy môžu byť využité na dokázanie rôznych vlastností programu súvisiacich s prácou s dynamickýcmi dátovými štruktúrami. Riešenie bolo implementované v rámci nástroja 2LS. S jeho použitím došlo k výraznému zlepšeniu schopnosti 2LS analyzovať programy pracujúce s ukazateľmi a dynamickými dátovými štruktúrami. Toto je demonštrované na sade experimentov prevzatých zo známej medzinárodnej súťaže vo verifikácii programov SV-COMP a iných experimentoch.
|
122 |
Stanovení ceny stavebního podniku střední velikosti / Price Assessment of a Medium-Size Construction CompanyKřížovská, Eliška January 2011 (has links)
The subject of the diploma thesis is the price assessment of middle – size contruction company. It is concerned to the certain firm with the factual data, whose evaluation is practised by means of two methods. The choice of these methods was made with regard to the situation on the market and the calculation is made in the practical part of the diploma thesis.
|
123 |
La priorisation des demandes en ergothérapie dans les programmes de soutien à domicileRaymond, Marie-Hélène 09 1900 (has links)
No description available.
|
124 |
Od občanské k politické participaci:nestranické politické subjekty v komunální politice v kontextu antistranických postojů, nepolitické politiky a kartelizace politických stran / Independent lists in local politics in the context of anti-party sentiments, non-political politics and cartelization of political partiesDrahokoupil, Štěpán January 2019 (has links)
The dissertation thesis focuses on independent local lists (ILLs) in local elections in the Czech Republic. The research approaches the issue from various views. It studies formation of independent local lists in five specific towns, cities: Brno, Brno, Mnichovo Hradiště, Praha 10, Prachatice a Vodňany. It is related to ILLs: To Live Brno, We Live for Hradiště, the coalition Vlasta, Living Prachatice and the Vodňany for Change. Beside this five case studies, the research is dealing with topic of rising electoral support for ILLs in 27 statutory cities. The dissertation thesis is working with several theoretical concepts such as phenomenon of the cartel party, anti-party sentiments, non-political politics and development of political participation. The thesis is answering the question of how are the ILLs formed in relation to engagement of their representatives in civil society. According to my thesis, organization of civil society are more inclusive and open for participation than political parties. But this participation, outside political institution has its limits. These limits are reasons for forming independent local lists and pursuing political office. The paper also presents a typology of lists that allows for more in depth research and distinction between ILLs and political parties. It is...
|
125 |
Supporting Interaction Designers through the Accomplishment Support Tool: IxD CompanionCotoranu, Alexandru January 2012 (has links)
This thesis paper addresses a problem of motivation that interaction designers experience when managing multiple design processes while keeping track of many design considerations. Once this issue is described at length, the paper focuses towards a possible solution in the form of a hybrid between creativity and productivity support tools: an accomplishment support tool. This tool is meant to support interaction designers in their experience with managing multiple processes.This paper does not suggest that interaction design is the only profession that suffers from the motivation issue that is described, nor does it deny that other professions could benefit from the use of such a tool. The paper merely attempts to narrow the issue down to one profession so that it may be addressed within the limits of the thesis project.The paper explores the need for such a tool by inspecting and analyzing current methods and digital applications used by interaction designers and mentions how this need is addressed with solutions based on relevant theories from diverse areas of interest. As defining qualities emerge from a combination of theoretical and practical research, case studies are described from a preparation perspective and then as experienced by workshop participants and interviewees.The case studies (which include workshops and prototype modules) are then reflected upon and discussed in terms of their impact on the overall goals of the thesis project. A final prototype in the form of a web application, IxD Companion, is then described through scenarios of use and assessed in the conclusion. Suggestion to future work on accomplishment support tools such as IxD Companion, as well as others, is provided at the end.
|
126 |
Elektronické právní jednání: Srovnávací analýza s důrazem na využití elektronického podpisu podle práva EU, České republiky a Německa / Electronic Legal Transaction: Comparative analysis with emphasis on the use of electronic signature under the EU law and laws of the Czech Republic and GermanyKment, Vojtěch January 2018 (has links)
Electronic Legal Transaction: Comparative analysis with emphasis on the use of electronic signature under the EU law and laws of the Czech Republic and Germany Abstract (English) Objectives. This thesis provides a comparative analysis of electronic legal transactions under the EU law and laws of the Czech Republic and Germany, while emphasising the utilisation of higher versions of electronic signature, especially of a qualified electronic signature, which has legal effects of a handwritten signature in legal transactions performed by electronic means (Chapters 6 to 10). At the same time, increased attention is also paid to entirely novel concepts of advanced and qualified electronic seal, which are intended exclusively for use by juristic persons. The laws under scrutiny are based especially on recently adopted Regulation (EU) No 910/2014, known as eIDAS. To provide a general background, the comparative analysis is preceded by a theoretical part (Chapters 2 to 4, partially Chapter 5), dealing with the concept of legal transactions (also termed "legal acts" or "legal action") in general, while also focusing on the traditional handwritten signature and its functions, especially in view of the German and Czech legal doctrines and with occasional references to common law, as well as to requirements ensuing...
|
127 |
Elektronické právní jednání: Srovnávací analýza s důrazem na využití elektronického podpisu podle práva EU, České republiky a Německa / Electronic Legal Transaction: Comparative analysis with emphasis on the use of electronic signature under the EU law and laws of the Czech Republic and GermanyKment, Vojtěch January 2018 (has links)
Electronic Legal Transaction: Comparative analysis with emphasis on the use of electronic signature under the EU law and laws of the Czech Republic and Germany Abstract (English) Objectives. This thesis provides a comparative analysis of electronic legal transactions under the EU law and laws of the Czech Republic and Germany, while emphasising the utilisation of higher versions of electronic signature, especially of a qualified electronic signature, which has legal effects of a handwritten signature in legal transactions performed by electronic means (Chapters 6 to 10). At the same time, increased attention is also paid to entirely novel concepts of advanced and qualified electronic seal, which are intended exclusively for use by juristic persons. The laws under scrutiny are based especially on recently adopted Regulation (EU) No 910/2014, known as eIDAS. To provide a general background, the comparative analysis is preceded by a theoretical part (Chapters 2 to 4, partially Chapter 5), dealing with the concept of legal transactions (also termed "legal acts" or "legal action") in general, while also focusing on the traditional handwritten signature and its functions, especially in view of the German and Czech legal doctrines and with occasional references to common law, as well as to requirements ensuing...
|
Page generated in 0.043 seconds