Book Review: Jnaneshvari

A review of Jnaneshvari by Felix Machado

On a non-referential theory of meaning for simple names based on Ajdukiewicz's theory of meaning

In 1931-1934 Kazimierz Ajdukiewicz formulated two versions of the theory of meaning (A1 and A2). Tarski showed that A2 allows for synonymous names existing with different denotations. Tarski and Ajdukiewicz found that this feature disparages the theory. The force of Tarski's argument rests on the assumption that none of an adequate theory of meaning allows for synonymous names existing with different denotations. In the first part of this paper we present an appropriate fragment of A2 and Tarski's argument. In the second part we consider an elementary, interpreted language in which individual constants occur, but not functional symbols. For such a language we define semantically a relation of synonymity for simple names and show that it fulfills syntactical conditions formulated by Ajdukiewicz in A2 and allows for synonymous names with different denotations

(3RS)-S-[1-(3-Chloro­phen­yl)-2-oxopyr­rolidin-3-yl]-N,N′-dimethyl­thio­uronium bromide

The title mol­ecule, C13H17ClN3OS+·Br−, consists of benzene and pyrrolidine rings and an S–C(NHCH3)2 group. The central C—N bond lengths in the S–C(NHCH3)2 fragment indicate partial double-bond character. Mol­ecules are inter­connected into chains by N—H⋯Br hydrogen bonds and the chains are linked into pairs by weak C—H⋯Br hydrogen bonds

(3RS)-S-[1-(3-Chloro­phen­yl)-2-oxopyr­roli­din-3-yl]thio­uronium bromide

In the title molecular salt, C11H13ClN3OS+·Br−, the C—N bond lengths in the –S–C(NH2)2 fragment indicate partial double-bond character of these bonds. The constituent ions are connected by N—H⋯Br bridges into Z-shaped chains. The supra­molecular architecture of the structure can be described by being composed of these chains inter­locked by additional C—H⋯Br short contacts. An intra­molecular N—H⋯O=C bridge, as well as weak C—H⋯O hydrogen bonds, are also present in the structure

Implementation of Freescale Kinetis L Technology in Portable Medical Device

Import 22/07/2015Cílem této práce je navrhnout mobilní zařízení pro snímání EKG s využitím mikrokontroléru Kinetis L od firmy Freescale. V práci je popsána metodika snímání a geneze elektrokardiografického signálu. Návrh je řešen pomocí vývojových modulů FRDM-KL25Z a ADS1298ECG-FE. Součástí řešení je návrh vhodného zdroje napájení umožňujícího provoz zařízení po dobu 24h a déle. Jako paměťové médium, na které budou zaznamenávány naměřené hodnoty, byla vybrána SD karta. V práci je uveden i návrh zařízení založený na využití výukového modulu bmeng EKG. Dále se popisuje softwarový návrh pro mikrokontrolér, který je potřebný pro zprovoznění zařízení. V závěru jsou prezentovány výsledky navrženého zařízení.The aim of this thesis is to design a mobile device ECG measurement using microcontroller Kinetis L from Freescale. The thesis describes the methodology of measuring and generating the electrocardiographic signal. The design was constructed using development modules FRDM-KL25Z and ADS1298ECG-FE. A part of the solution is a design of a suitable power supply allowing the device operation for 24 hours or longer. SD card was selected for storage of aquired data. The thesis includes a design of the device based on usage of educational module „bmeng EKG“. The thesis also describes a software design for a microcontroller, which is required for operation of the device. And finally, the results of the designed device are presented.450 - Katedra kybernetiky a biomedicínského inženýrstvídobř

Enterprise Software for Management and Deployment of Cloud Services and Applications

Cílem této práce je vytvořit a popsat software, který bude sloužit jako kompletní řešení pro poskytování cloud hosting služeb s podporou IaaS (Infrastructure as a Service) a PaaS (Platform as a Service) služeb. Je kladen velký důraz za modularitu, tak aby výsledný systém dokázal ovládat široké spektrum aplikací či služeb pomocí webového ovládacího panelu. Způsoby virtualizace jsou rovněž řešeny modulárně, systém je připraven pro podporu několika virtualizačních řešení najednou. Je možné připojit neomezené množství fyzických hostitelských serverů, na které budou služby nasazovány. Pro koncové uživatele bude nasazení aplikace do cloud prostředí záležitost několika kliknutí myší.The objective of this thesis is to create and describe software that can be used as a complete solution for a company providing cloud hosting services such as IaaS (Infrastructure as a Service) and PaaS (Platform as a Service). The implementation of this system is highly modular allowing support to deploy many different applications on various platforms. The system is ready to support multiple virtualization technologies using build-in plugin system. It is possible to connect unlimited number of physical servers to deploy applications on. The system is build to be user friendly and deploying applications is done by a few clicks in the web graphical user interface.460 - Katedra informatikyvýborn

Programming the Functions of Automatic Transmission Control Module Based on the Autosar Platform

Bakalářská práce se zabývá teoretickým rozborem platformy Autosar, praktickou realizací softwaru řídící jednotky na ní založené a její otestování v laboratorním prostředí. Úvodní kapitola se zaobírá teoretickou rešerší platformy a poskytuje čtenáři obecný přehled čítající motivaci vzniku, historii, verze platformy, popis jednotlivých vrstev architektury, stručný postup při vývoji softwaru, seznámeni s bezpečnostní normou ISO26262 a výsledným Autosar OS. Dále je zde v další kapitole popsána využitá řídící jednotka VC121, její technické parametry, vnitřní logika jednotlivých MCU a napájení. Následně se v další kapitole čtenář seznámí s konkrétními kroky postupu, které vedou k tvorbě¨softwaru automatické převodovky v prostředí DaVinci Developer a Configurator. A v poslední kapitole pak nalezne postup vedoucí k zprovoznění tohoto softwaru na fyzické řídící jednotce a výsledky měření ze zapojení v laboratorním prostředí za pomocí programu Vector CANoe.The bachelor thesis consists of theoretical research of the Autosar platform, practical realisation of software of the electronic control unit based on it and its testing in a laboratory environment. The introductory chapter consists of the mentioned theoretical research, and it does provide the reader with a basic overview, which is composed of the motivation for the creation of the platform, its brief history, versions, the description of its layers, a short description of steps of the development process, acquirement of basic knowledge of the safety norm ISO26262 and the Autosar OS. The next chapter does contain a description of the used electronic control unit VC121, its parameters, inside logic of individual MCUs and power supply. Then the reader gets acquainted with concrete steps of the development, which leads to the creation of software for automatic transmission in the workspace of the DaVinci Developer and Configurator. The last chapter consists of the steps needed to create a successfully operating electronic control unit and measurements made in a laboratory environment based on the Vector CANoe.430 - Katedra elektronikyvýborn

Halogenated imidazole derivatives block RNA polymerase II elongation along mitogen inducible genes

<p>Abstract</p> <p>Background</p> <p>Aberrant activation of protein kinases is one of the essential oncogenic driving forces inherent to the process of tumorigenesis. The protein kinase CK2 plays an important role in diverse biological processes, including cell growth and proliferation as well as in the governing and transduction of prosurvival signals. Increased expression of CK2 is a hallmark of some cancers, hence its antiapoptotic properties may be relevant to cancer onset. Thus, the designing and synthesis of the CK2 inhibitors has become an important pursuit in the search for cancer therapies.</p> <p>Results</p> <p>Using a high-throughput microarray approach, we demonstrate that two potent inhibitors of CK2, 4,5,6,7-tetrabromo-benzimidazole (TBBz) and 2-Dimethyloamino-4,5,6,7-tetrabromo-1H-benzimidazole (DMAT), blocked mitogen induced mRNA expression of immediate early genes. Given the impact of these inhibitors on the process of transcription, we investigated their effects on RNA Polymerase II (RNAPII) elongation along the mitogen inducible gene, <it>EGR1 </it>(early growth response 1), using chromatin immunoprecipitation (ChIP) assay. ChIP analysis demonstrated that both drugs arrest RNAPII elongation. Finally, we show that CDK9 kinase activity, essential for the triggering of RNAPII elongation, was blocked by TBBz and to lesser degree by DMAT.</p> <p>Conclusions</p> <p>Our approach revealed that small molecules derived from halogenated imidazole compounds may decrease cell proliferation, in part, by inhibiting pathways that regulate transcription elongation.</p