Embedding Groups into Distributive Subsets of the Monoid of Binary Operations

Let X be a set and Bin(X) the set of all binary operations on X. We say that a subset of Bin(X) is a distributive set of operations if all pairs of elements are right distributive. J.Przytycki posed the question of which groups can be realized as distributive sets. The initial guess that any group may be embedded into Bin(X) for some X was complicated by an observation that if a binary operation is idempotent (a*a=a), then it commutes with every element of S. The first noncommutative subgroup of Bin(X), the symmetric group on three elements, was found in October of 2011 by Y.Berman. We show that any group can be embedded in Bin(X) for X=G (as a set). We also discuss minimality of embeddings observing that, in particular, X with six elements is the smallest set such that Bin(X) contains a non-abelian subgroup.Comment: 6 page

Single Pair Shortest Path on Surface

Hledání nejkratší cesty patří mezi základní problémy řešené v počítačové geometrii. Optimálním řešením je výpočet pomocí Dijkstrova algoritmu. Existuje ale i celá řada aproximačních algoritmů, které je také možné pro výpočet nejkratší cesty použít.Finding the shortest path is a fundamental problem in computational geometry. Optimal solution is computation by force of Dijkstra algorithm. There are many approximation algorithms which we can use for calculate the shortest path.

Highway bridge over the II/464 road

Náplní bakalářské práce je vyřešení přeložky pozemní komunikace II/464. Jedná se o most o jednom poli z dodatečně předpjatého betonu. Byly navrženy 3 studie, z nichž jedna byla zpracována v rámci této bakalářské práce. Vybrána byla varianta č. 3 dvojdeskotrám. Statický model byl vytvořen v softwaru Scia engineer 15.2. a posudky byly zpracovány ručně podle eurokódu. Účinky větru, sněhu, rozjezdové a brzdné síly byly zanedbány.The content of the thesis is to solve the relocation of the II / 464 road. It is a bridge with one field of post-tensioned concrete. 3 studies were designed, one of which was elaborated within the framework of this thesis. Was selected option no. 3 double plate-grinder construction. The static model was created in Scia Engineer 2.15 and reports were processed manually, according to EC. The effects of wind, snow, acceleration and braking forces have been neglected.

Introduction of a Yellow Flag List in a Call Center Setting

Improve work processes of newly established triage/scheduling call center by creating a nurse driven yellow flag list that supports RN scope of practice, improves access to care, and an overall goal of reducing total cost of care.https://digitalcommons.centracare.com/nursing_posters/1091/thumbnail.jp

Using Discovery-Based Learning to Prove the Behavior of an Autonomous Agent

Computer-generated autonomous agents in simulation often behave predictably and unrealistically. These characteristics make them easy to spot and exploit by human participants in the simulation, when we would prefer the behavior of the agent to be indistinguishable from human behavior. An improvement in behavior might be possible by enlarging the library of responses, giving the agent a richer assortment of tactics to employ during a combat scenario. Machine learning offers an exciting alternative to constructing additional responses by hand by instead allowing the system to improve its own performance with experience. This thesis presents NOSTRUM, a discovery-based learning DBL system designed to work in tandem with the MAXIM air combat simulator. Through a process of repeated experimentation modeled after the scientific method, NOSTRUM was able to discover many responses that were more appropriate than the single mode of agent control implemented in the original MAXIM program. NOSTRUM often found responses that dramatically improved the offensive position of the agent, and it sometimes placed the agent in position for an extended shot on the target when one was not available before

\u3cem\u3eCarpenter\u27s\u3c/em\u3e Legacy: Limiting the Scope of the Electronic Private Search Doctrine

One of the most significant challenges confronting courts and legal scholars in the twenty-first century is the application of Fourth Amendment doctrine to new technology. The circuit split over the application of the private search doctrine to electronic devices exemplifies how courts struggle to apply old doctrines to new circumstances. Some courts take the position that the old doctrine should apply consistently in the new context. Other courts have changed the scope of the old doctrine in order to account for the change in circumstances. The Supreme Court took the latter position in Carpenter v. United States and held that the third-party doctrine does not apply to cell-site location information records. The Court’s willingness to limit the scope of an established doctrine to preserve fundamental privacy interests suggests that Carpenter is just the beginning of a dramatic shift in Fourth Amendment law. This Note argues that the circuit split over the private search doctrine should be resolved by creating a narrow electronic private search doctrine based on the logic of Carpenter

Superresolution

Úkolem této diplomové práce je navrhnout vlastní metodu pro zvýšení rozlišení v obraze scény, pokud je k dispozici více snímků dané scény. V teoretické části diplomové práce jsou jako nejlepší metody pro zvýšení rozlišení v obraze vybrány ty, které jsou založeny na principech zpracování signálu. Dále jsou popsány základní požadavky metod pro zvýšení rozlišení v obraze při přítomnosti více snímků stejné scény a jejich typická struktura. Následuje stručný přehled těchto metod a jejich vzájemné porovnání podle optimálních kritérií. Praktická část diplomové práce se zabývá samotným návrhem metody pro zvýšení rozlišení v obraze, pokud je k dispozici více snímků této scény. První navržená metoda je naimplementována a otestována. Při testování této metody je však  zjištěna její špatná funkčnost pro snímky scény s nízkým rozlišením, které vznikly vzájemnou rotací. Z toho důvodu je navržena vylepšená metoda pro zvýšení rozlišení v obraze. Tato metoda využívá při svém výpočtu robustních technik. Díky tomu je již vylepšená metoda nezávislá na rotaci mezi snímky scény s nízkým rozlišením. I tato metoda je řádně otestována a její výsledky jsou porovnány s výsledky první navržené metody pro zvýšení rozlišení v obraze. V porovnání výpočetních časů je lepší první navrhovaná metoda, avšak její výsledky pro obrazy obsahující rotace nejsou kvalitní. Oproti tomu pro obrazy, které vznikly pouze posunem při snímání scény, jsou tyto výsledky velice dobré. Vylepšená metoda je tedy využitelná zejména pro obrazy obsahující rotace. V závěru této práce je ještě navrženo jedno vylepšení, které by mohlo zlepšit výsledky druhé navrhnuté metody pro zvýšení rozlišení v obraze scény.The goal of this thesis is to propose the super-resolution method for the image of the scene when multiple frames of the given scene are available. The theoretical part of this thesis brings the report about current multi-frame super-resolution methods. These methods are compared according to the optimal criteria. The own super-resolution method is proposed in the practical part of this thesis. However this method isn't rotation invariant and for this reason is proposed the improved super-resolution method. There are also suggested improvements of the improved super-resolution method in this thesis.

External Support in Civil Wars and Its Effects on Refugee Flow

The refugee crisis in Syria that began in 2011 raised several questions in terms of civil war interventions and their effects on refugee flow. Did a third party’s decision to intervene in the Syrian Civil War have any impact on the flow of refugees from the region? This thesis attempts to answer this question. There are multiple forms that external support by a third party can assume: direct military support, indirect military support, and humanitarian aid. This thesis hypothesized that direct and indirect military support would correlate with an increased number of refugees, and that humanitarian aid would have little to no correlation. This thesis used data from Patrick M. Regan’s article “Third-Party Interventions and the Duration of Intrastate Conflicts” (2002) to construct each of those broad categories of external support by combining relevant variables into a single measure. These categories were then tested using R against refugee data pulled from the United Nations High Commissioner for Refugees. While regression tests supported the second hypothesis by showing little to no correlation between humanitarian aid and refugee flow, direct and indirect military support also exhibited little to no relationship with refugee flow. Tests at the constituent variable-level, however, did reveal that external support in the form of troops or military equipment were correlated with increased numbers of refugees, opening the door for further research with respect to these types of interventions

Accuracy of body temperature measurement using infrared technologies

Tato práce se zabývá měřením teploty lidského těla pomocí infračervených teploměrů. Literární rešerše se věnuje popisu teploty lidského těla, způsobům jejího měření a druhům teploměrů. Dále teoretická část pojednává o infračerveném záření, principech jeho měření, fyzikálních veličinách, zákonech infračerveného záření, druzích detektorů a nejistotách měření. Praktická část se zabývá experimentálním měřením s vybranými druhy teploměrů a ověřováním jejich přesnosti. Dále je v praktické části navržen experimentální protokol, podle něhož jsou provedena klinická měření tělesné teploty v různých podmínkách a jejich následné statistické vyhodnocení.This thesis deals with the measurement of body temperature using the infrared thermometers. The literature research is devoted to the description of the human body temperature, methods of its measurement and types of thermometers. The theoretical part further examines the infrared radiation, the principles of measurement, physical quantities, laws of infrared radiation, types of detectors and measurement uncertainties. The practical part focuses on experimental measurements with selected kinds of thermometers and verifying their accuracy. Finally, an experimental procedure has been designed which has then been used for the clinical measurements of body temperature under various conditions and their subsequent statistical evaluation.