|
|
Advanced Methods for Blocking of Inappropriate Content in a Mobile Web Browser
Svoboda, Vladimír ; Malčík, Dominik (referee) ; Bartík, Vladimír (advisor)
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.
|
|
|
Production technology of plastic bracket bearings motor
Svoboda, Vladimír ; Odehnal, Petr (referee) ; Kandus, Bohumil (advisor)
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.
|
|
| |
|
|
Formalization of reasoning and the paradox of surprise examination
Nevrkla, Svatopluk ; Svoboda, Vladimír (advisor) ; Peregrin, Jaroslav (referee)
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í.
|
|
|
Protocolar and observation sentences
Navara, David ; Peregrin, Jaroslav (advisor) ; Svoboda, Vladimír (referee)
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...
|
|
|
The truth of future contingent propositions as a logical and philosophical problem
Kolínská, Marie ; Svoboda, Vladimír (advisor) ; Bendová, Kamila (referee)
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.
|
|
|
Hare's thesis as a logical and philosophical problem
Luhan, Martin ; Svoboda, Vladimír (advisor) ; Marvan, Tomáš (referee)
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
|
|
|
Attacks on computers, servers and services
Bitner, Oldřich ; Novák, Jaroslav (advisor) ; Svoboda, Vladimír (referee)
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.
|
|
| |
|
|
Using single-board computers in education
Pěnkava, Vít ; Svoboda, Vladimír (advisor) ; Lapeš, Jakub (referee)
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
|
guest ::
RSS feed.