74 results on '"Svoboda, Vladimír"'
Search Results
52. Logika a etika
- Author
-
Kolář, Petr, primary and Svoboda, Vladimír, additional
- Published
- 1996
- Full Text
- View/download PDF
53. Forms of Norms and Validity
- Author
-
Svoboda, Vladimír
- Abstract
Finland is internationally known as one of the leading centers of twentieth century analytic philosophy. This volume offers for the first time an overall survey of the Finnish analytic school. The rise of this trend is illustrated by original articles of Edward Westermarck, Eino Kaila, Georg Henrik von Wright, and Jaakko Hintikka. Contributions of Finnish philosophers are then systematically discussed in the fields of logic, philosophy of language, philosophy of science, history of philosophy, ethics and social philosophy. Metaphilosophical reflections on the nature of philosophy are highlighted by the Finnish dialogue between analytic philosophy, phenomenology, pragmatism, and critical theory.
- Published
- 2003
54. Pokročilé metody blokování nevhodného obsahu v mobilním webovém prohlížeči
- Author
-
Bartík, Vladimír, Malčík, Dominik, Svoboda, Vladimír, Bartík, Vladimír, Malčík, Dominik, and Svoboda, Vladimír
- Abstract
Tato práce popisuje současný stav v oblasti open-source prohlížečů na platformě Android, porovnává jejich vlastnosti. Práce dále popisuje problematiku klasifikace webových stránek, se zaměřením na detekci pornografie. V poslední části je popsán návrh klientské a serverové části systému blokování nepovoleného obsahu., This work describes actual state of open-source browsers on the Android platform and compares their features. It describes webpage classification problem and methods how to detect porn websites. It also shows a design of a system for blocking and detection of webpages with adult content and its implementation. For pornography detection there were used text based methods but also methods based on detection in images from web page with deep learning. Implemented solution was tested with experiments and described. The last chapter contains summarization of this work and proposal of improvements.
55. Technologie výroby plastového držáku ložisek motoru
- Author
-
Kandus, Bohumil, Odehnal, Petr, Svoboda, Vladimír, Kandus, Bohumil, Odehnal, Petr, and Svoboda, Vladimír
- Abstract
Cílem diplomové práce je na základě zadaného tvaru plastového dílce vypracovat rešerši na technologii vstřikování plastů do forem, provést návrh technologického postupu a konstrukce vstřikovací formy včetně potřebných výpočtů. Projekt obsahuje rešeršní část a část praktickou. Na základě získaných informací z rešeršní části byl zvolen vhodný materiál, které se stal podkladem pro praktickou část práce. Praktická část obsahuje základní technologické výpočty, je doplněna o simulační analýzy plnění a pevnostní výpočty kritických prvků. Součástí práce je výkresová dokumentace., The target of this dissertation is based on the specified shape of plastic part to develop search technology of plastic injection molds, to the technological design process and construction of injection molds, including the necessary calculations. The project includes a search and a practical sections. Based on information from a search section a suitable material was chosen, which became the basis for practical section. The practical section with basic technology calculation is complemented by filling simulation analysis and stress analysis of critical elements. A part of this dissertation is the set of the drawings.
56. Pokročilé automatizované testování rozsáhlých informačních systémů
- Author
-
Bartík, Vladimír, Rychlý, Marek, Svoboda, Vladimír, Bartík, Vladimír, Rychlý, Marek, and Svoboda, Vladimír
- Abstract
Cílem této práce je prozkoumat současný stav v oblasti automatizovaného testování informačních systémů, dále vytvořit sadu testovacích nástrojů pro automatické ověření validity systému Webnode. Pro vytvoření sady testovacích nástrojů byl použit programovací jazyk Java s knihovnou Selenium. Tyto nástroje lze použít jak pro lokální testování, tak se službami BrowserStack a SauceLabs pro vzdálené testování v různých operačních systémech a v různých verzích prohlížečů. Výsledek této práce pomůže vývojářům systému Webnode automaticky ověřit, zda je nová verze systému validní. Čtenáři tento text objasní funkci a použití knihovny Selenium pro automatizaci webového prohlížeče, její použití pro testování informačních systémů a její propojení se službami BrowserStack a SauceLabs., The goal of this thesis is to research current options in automated testing of information systems, create testing tools for automatic validity check of the Webnode system. These tools were created using Java programming language in combination with Selenium library. They can be used for local or even for remote testing with BrowserStack and SauceLabs. These two services are used for running your tests under many different operating systems and browser versions. The product of this thesis will help developers of Webnode project to automatically verify the validity of new features. It will show to the reader, how to use Selenium library to automate web browser, how to use it for automated testing of information systems and also how to connect it with BrowserStack and SauceLabs services.
57. Pokročilé automatizované testování rozsáhlých informačních systémů
- Author
-
Bartík, Vladimír, Rychlý, Marek, Svoboda, Vladimír, Bartík, Vladimír, Rychlý, Marek, and Svoboda, Vladimír
- Abstract
Cílem této práce je prozkoumat současný stav v oblasti automatizovaného testování informačních systémů, dále vytvořit sadu testovacích nástrojů pro automatické ověření validity systému Webnode. Pro vytvoření sady testovacích nástrojů byl použit programovací jazyk Java s knihovnou Selenium. Tyto nástroje lze použít jak pro lokální testování, tak se službami BrowserStack a SauceLabs pro vzdálené testování v různých operačních systémech a v různých verzích prohlížečů. Výsledek této práce pomůže vývojářům systému Webnode automaticky ověřit, zda je nová verze systému validní. Čtenáři tento text objasní funkci a použití knihovny Selenium pro automatizaci webového prohlížeče, její použití pro testování informačních systémů a její propojení se službami BrowserStack a SauceLabs., The goal of this thesis is to research current options in automated testing of information systems, create testing tools for automatic validity check of the Webnode system. These tools were created using Java programming language in combination with Selenium library. They can be used for local or even for remote testing with BrowserStack and SauceLabs. These two services are used for running your tests under many different operating systems and browser versions. The product of this thesis will help developers of Webnode project to automatically verify the validity of new features. It will show to the reader, how to use Selenium library to automate web browser, how to use it for automated testing of information systems and also how to connect it with BrowserStack and SauceLabs services.
58. Pokročilé metody blokování nevhodného obsahu v mobilním webovém prohlížeči
- Author
-
Bartík, Vladimír, Malčík, Dominik, Svoboda, Vladimír, Bartík, Vladimír, Malčík, Dominik, and Svoboda, Vladimír
- Abstract
Tato práce popisuje současný stav v oblasti open-source prohlížečů na platformě Android, porovnává jejich vlastnosti. Práce dále popisuje problematiku klasifikace webových stránek, se zaměřením na detekci pornografie. V poslední části je popsán návrh klientské a serverové části systému blokování nepovoleného obsahu., This work describes actual state of open-source browsers on the Android platform and compares their features. It describes webpage classification problem and methods how to detect porn websites. It also shows a design of a system for blocking and detection of webpages with adult content and its implementation. For pornography detection there were used text based methods but also methods based on detection in images from web page with deep learning. Implemented solution was tested with experiments and described. The last chapter contains summarization of this work and proposal of improvements.
59. Technologie výroby plastového držáku ložisek motoru
- Author
-
Kandus, Bohumil, Odehnal, Petr, Svoboda, Vladimír, Kandus, Bohumil, Odehnal, Petr, and Svoboda, Vladimír
- Abstract
Cílem diplomové práce je na základě zadaného tvaru plastového dílce vypracovat rešerši na technologii vstřikování plastů do forem, provést návrh technologického postupu a konstrukce vstřikovací formy včetně potřebných výpočtů. Projekt obsahuje rešeršní část a část praktickou. Na základě získaných informací z rešeršní části byl zvolen vhodný materiál, které se stal podkladem pro praktickou část práce. Praktická část obsahuje základní technologické výpočty, je doplněna o simulační analýzy plnění a pevnostní výpočty kritických prvků. Součástí práce je výkresová dokumentace., The target of this dissertation is based on the specified shape of plastic part to develop search technology of plastic injection molds, to the technological design process and construction of injection molds, including the necessary calculations. The project includes a search and a practical sections. Based on information from a search section a suitable material was chosen, which became the basis for practical section. The practical section with basic technology calculation is complemented by filling simulation analysis and stress analysis of critical elements. A part of this dissertation is the set of the drawings.
60. Pokročilé metody blokování nevhodného obsahu v mobilním webovém prohlížeči
- Author
-
Bartík, Vladimír, Malčík, Dominik, Svoboda, Vladimír, Bartík, Vladimír, Malčík, Dominik, and Svoboda, Vladimír
- Abstract
Tato práce popisuje současný stav v oblasti open-source prohlížečů na platformě Android, porovnává jejich vlastnosti. Práce dále popisuje problematiku klasifikace webových stránek, se zaměřením na detekci pornografie. V poslední části je popsán návrh klientské a serverové části systému blokování nepovoleného obsahu., This work describes actual state of open-source browsers on the Android platform and compares their features. It describes webpage classification problem and methods how to detect porn websites. It also shows a design of a system for blocking and detection of webpages with adult content and its implementation. For pornography detection there were used text based methods but also methods based on detection in images from web page with deep learning. Implemented solution was tested with experiments and described. The last chapter contains summarization of this work and proposal of improvements.
61. Technologie výroby plastového držáku ložisek motoru
- Author
-
Kandus, Bohumil, Odehnal, Petr, Svoboda, Vladimír, Kandus, Bohumil, Odehnal, Petr, and Svoboda, Vladimír
- Abstract
Cílem diplomové práce je na základě zadaného tvaru plastového dílce vypracovat rešerši na technologii vstřikování plastů do forem, provést návrh technologického postupu a konstrukce vstřikovací formy včetně potřebných výpočtů. Projekt obsahuje rešeršní část a část praktickou. Na základě získaných informací z rešeršní části byl zvolen vhodný materiál, které se stal podkladem pro praktickou část práce. Praktická část obsahuje základní technologické výpočty, je doplněna o simulační analýzy plnění a pevnostní výpočty kritických prvků. Součástí práce je výkresová dokumentace., The target of this dissertation is based on the specified shape of plastic part to develop search technology of plastic injection molds, to the technological design process and construction of injection molds, including the necessary calculations. The project includes a search and a practical sections. Based on information from a search section a suitable material was chosen, which became the basis for practical section. The practical section with basic technology calculation is complemented by filling simulation analysis and stress analysis of critical elements. A part of this dissertation is the set of the drawings.
62. Pokročilé automatizované testování rozsáhlých informačních systémů
- Author
-
Bartík, Vladimír, Rychlý, Marek, Svoboda, Vladimír, Bartík, Vladimír, Rychlý, Marek, and Svoboda, Vladimír
- Abstract
Cílem této práce je prozkoumat současný stav v oblasti automatizovaného testování informačních systémů, dále vytvořit sadu testovacích nástrojů pro automatické ověření validity systému Webnode. Pro vytvoření sady testovacích nástrojů byl použit programovací jazyk Java s knihovnou Selenium. Tyto nástroje lze použít jak pro lokální testování, tak se službami BrowserStack a SauceLabs pro vzdálené testování v různých operačních systémech a v různých verzích prohlížečů. Výsledek této práce pomůže vývojářům systému Webnode automaticky ověřit, zda je nová verze systému validní. Čtenáři tento text objasní funkci a použití knihovny Selenium pro automatizaci webového prohlížeče, její použití pro testování informačních systémů a její propojení se službami BrowserStack a SauceLabs., The goal of this thesis is to research current options in automated testing of information systems, create testing tools for automatic validity check of the Webnode system. These tools were created using Java programming language in combination with Selenium library. They can be used for local or even for remote testing with BrowserStack and SauceLabs. These two services are used for running your tests under many different operating systems and browser versions. The product of this thesis will help developers of Webnode project to automatically verify the validity of new features. It will show to the reader, how to use Selenium library to automate web browser, how to use it for automated testing of information systems and also how to connect it with BrowserStack and SauceLabs services.
63. Late results of multiple fractions per day (MFD) with misonidazole in advanced cancer of the head and neck. A pilot study of the EORTC radiotherapy group
- Author
-
Van den Bogaert, Walter, van der Schueren, Emmanuel, Van Tongelen, Chris, Horiot, Jean-Claude, Chaplain, Gilles, Arcangeli, Giorgio, Gonzalez, Dionisio, and Svoboda, Vladimir
- Published
- 1985
- Full Text
- View/download PDF
64. The EORTC randomized trial on three fractions per day and misonidazole in advanced head and neck cancer: prognostic factors
- Author
-
Van den Bogaert, Walter, van der Schueren, Emmanuel, Horiot, Jean Claude, De Vilhena, Mario, Schraub, Simon, Svoboda, Vladimir, Arcangeli, Giorgio, de Pauw, Marleen, and van Glabbeke, Martine
- Published
- 1995
- Full Text
- View/download PDF
65. The EORTC randomized trial on three fractions per day and misonidazole (trial no. 22811) in advanced head and neck cancer: long-term results and side effects
- Author
-
Van den Bogaert, Walter, van der Schueren, Emmanuel, Horiot, Jean-Claude, De Vilhena, Mario, Schraub, Simon, Svoboda, Vladimir, Arcangeli, Giorgio, de Pauw, Marleen, and Van Glabbeke, Martine
- Published
- 1995
- Full Text
- View/download PDF
66. 83 Early experience with the treatment of skin tumours by high dose-rate microselectron moulds
- Author
-
Kovarik, Josef, Svoboda, Vladimir H.J., and Morris, Forbes
- Published
- 1994
- Full Text
- View/download PDF
67. Using single-board computers in education
- Author
-
Pěnkava, Vít, Svoboda, Vladimír, and Lapeš, Jakub
- Subjects
Single-board computer ,Open-source ,Arduino ,Raspberry Pi ,Linux ,Micro Bit ,Jednodeskový počítač - Abstract
The bachelor thesis introduces single-board computers, their definition, history and specific attributes of modern ones. Alongside this, there is information about resources of projects and organizations focused on these SBCs in education environment. The second part is about configure centralised user accounts and file storage system PiNet for a Rasberry Pi classroom, blinking LED on two most used platforms and after all making more complex project overlapping other subjects like a physics and biology. 1
- Published
- 2018
68. The truth of future contingent propositions as a logical and philosophical problem
- Author
-
Kolínská, Marie, Svoboda, Vladimír, and Bendová, Kamila
- Subjects
Aristoteles ,budoucnost ,Aristotle ,determinism ,future ,Truth ,Pravdivost ,determinismus - Abstract
According to some logicians and philosophers, future contingent propositions pose a specific problem. Many of those who look into this problem now and those who looked into it (even hundreds) years ago, refer to Aristotle. Nevertheless not in agreement. Our aim is to give an overview of traditional and non-traditional interpretations of the part of Aristotle's work which deals with this issue. On the basis of their comparison we will try to uncover what causes the variety of readings. That will allow us to assess whether the truth of future contingent propositions really is a specific problem and what is its actual nature.
- Published
- 2012
69. Hare's thesis as a logical and philosophical problem
- Author
-
Luhan, Martin, Svoboda, Vladimír, and Marvan, Tomáš
- Subjects
Logika imperativů ,Logic of imperatives ,deontic logic ,Hareova teze ,deontická logika ,metaethics ,Hare's Thesis ,metaetika - Abstract
Title: Hare's thesis as a logical and philosophical problem Author: Martin Luhan Department: Department of Logic Supervisor: PhDr. Vladimír Svoboda, CSc. Abstract: The present work is aiming to analyse the problem of inferring from impe- rative premisses to an indicative conclusion which goes by the name Hare's Thesis. The logical analysis of the language of morals was the basis of Richard M. Hare's ethical studies. Therefore a brief presentation of his philosophy is given followed by a detailed walkthrough of his way of dealing with impera- tives. Hare states that logic should be interested in dealing with prescriptive sentences. The paper also presents a selection of some of the semantics of logic of imperatives and some of their fundamental problems. Based on this we finally analyse whether the Hare's Thesis which forbids inferring from im- perative premisses to indicative conclusions is acceptable. And we conclude that in most cases it is reasonable to reject it. Keywords: Logic of imperatives, Hare's Thesis, deontic logic, metaethics
- Published
- 2012
70. Útoky na počítače, servery a jejich služby
- Author
-
Bitner, Oldřich, Novák, Jaroslav, and Svoboda, Vladimír
- Subjects
Data_MISCELLANEOUS ,service ,The attacks ,cizí identita ,Útoky ,sociální inženýrství ,počítač ,social engineering ,služba ,server ,attacker ,computer ,útočník ,foreign identity - Abstract
TITLE: Attacks on computers, servers and services. SUMMARY: The aim of theoretical part is to describe global software attacks on computer systems, servers and their services. It also describes the way of performing illegal attacks and dividing of attackers according to their knowledge of the issue.Practical part of the theses focuses focucec on an examination of basic safety and durability of university software systems. KEYWORDS: The attacks, attacker, computer, north, service, social engineering, foreign identity.
- Published
- 2011
71. Protocolar and observation sentences
- Author
-
Navara, David, Peregrin, Jaroslav, and Svoboda, Vladimír
- Abstract
This work focuses on the comparison of Carnap's account of protocolar sentences and Quine's account of observation sentences. Carnap's works on protocolar sentences date back to the beginning of 1930's. His chief idea was to make a bridge between science and experience and to transmit the connection between the terms of various scientific fields. Some of Carnap's ideas were questioned by Otto Neurath, who shared with Carnap the physicalistic approach, but had a different view on the desirable features of the protocolar sentences. Within Carnap's theory, protocolar sentences were intended to refer to the sensory characteristics of the physical world. The very conception of protocolar sentences was inspired by physicist's or psychologist's reports, but protocolar sentences in Carnapean sense could also be produced by animals or machines. Carnap originally believed some protocolar sentences to be fundamental and unquestionable. They should have afforded a safe ground for the development of science. Neurath's objections against such a view forced Carnap to adjust his own theory. Carnap also gave up his hopes of total verification, but still expected his theory to enable the confirmation of the general statements of the form "Every X is Y." with a sufficient level of certainty. Carnap's conception faced various...
- Published
- 2010
72. Actualism and possible worlds
- Author
-
Tomala, Ondřej, Kolář, Petr, Svoboda, Vladimír, and Kolman, Vojtěch
- Abstract
The study focuses on the development of the philosophical analysis of alethic modalities (possibility and necessity) in terms of possible worlds semantics in the analytical tradition from 20th century onwards. Possible worlds semantics has pro ven to be powerful and useful tool of philosophical analysis. However, in order to benefit from its use we have to philosophically scrutinize its central concept - the possible world. We have to clarify its ontological status, identity conditions and other important features, i.e. we have to create theory of possible worlds. Yet during that project we must not fall back into speculative metaphysics of the past, so much abhorred by contemporary analytic philosophy. The goal ofthis study is the defense of Actualism, one of the major theories of possible worlds, which in accordance with its slogan "Everything that exists is actual" treats possible worlds as abstract entities of certain kind representing the ways world might have been. Implicit aim of the study is the defense of the analytical metaphysics and its method as a distinguished discipline within analytic tradition. ln Chapter One it is shown how important role modality plays in our theoretical discourse and reasoning, several types of modalities are distinguished. Possible worlds are presented as useful tool...
- Published
- 2010
73. Semantics of prescriptive discourse and language games
- Author
-
Kuklíková, Kateřina, Holeček, Tomáš, and Svoboda, Vladimír
- Abstract
The main theme of this thesis is prescriptive sentences and their usage within language games. At the beginning, the thesis defines the range of analyzed sentences and presents a possible approach to their semantic analysis. Subsequently, the terms "Language Game" and "Score" are introduced and followed by illustrative examples. Moreover, the thesis describes one selected prescriptive language game in detail, analyses and evaluates the presented model. Furthermore, alternative approaches to solving of problems related to analysis of prescriptive language games are also put forward. The final part of this thesis summarizes the perspectives on this field of research.
- Published
- 2009
74. Formalization of reasoning and the paradox of surprise examination
- Author
-
Nevrkla, Svatopluk, Peregrin, Jaroslav, and Svoboda, Vladimír
- Abstract
Po prezentaci možných přístupů k řešení problému v první kapitole jsem ve druhé kapitole poukázal na Sorensenovu kritiku pokusů interpretovat paradox jinak, než pomocí modálních reprezentací epistemických, či doxastických logik. Třetí kapitola byla věnována představení potřebných pojmů k pochopení Binkleyho přínosu k diskuzi paradoxu. V kapitole čtvrté jsem nakonec ukázal, že pokud se přidržíme výše zmíněného přístupu a idealizujeme si usuzovací schopnosti studenta, je analýza paradoxu, kterou provedl Binkley, korektní. Učitelovo oznámení se nám však zdá intuitivně srozumitelné a důvěryhodné, jelikož sami původně nepředjímáme studentův argument v celé komplexnosti. Pokud se s ním však již jednou ztotožníme, nezbude nám než učitelovo tvrzení odmítnout jako absurdní. Budoucnost možných příspěvků k Paradoxu překvapivé písemky pak vidím ve formalismech, které směřují k popisu explicitních znalostí.
- Published
- 2007
Catalog
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.