Historie a současný stav internetové reklamy jako celku ve světě a v České republice. Definice, historie a popis současného stavu kontextové reklamy. Popis, srovnání a analýza českých systémů kontextové reklamy na internetu. Podrobněji jsou rozebírány systémy Google AdWords, Sklik, ETARGET, Adfox a BillBoard Media. Praktická ukázka plánování a spuštění kontextové reklamní kampaně.

The diploma thesis characterizes the internet as the environment for marketing. It introduces the internet as a business tool and provides analysis of customer behavior on the internet in the Czech Republic. Following part deals with internet marketing and its specifics, which are websites, search engines and PPC ads. Next section analyses selected web analytics tools for managing internet campaings with regard on the needs of small and medium businesses. The last part is a case study, which implements the principles of the previous parts on the e-shop SteamGames.cz.

The thesis is about internet marketing tools and their possible usage, shown on exact example from internet shop Minibike-shop.cz. The thesis is divided in three logical parts, which are built on each other. There are theoretically described tools in the first part, which can be used for an online promotion of the shop. The individual tools describe their advantages and possibilities of usage, which can result in improvement of business competitiveness. The fourth chapter of the thesis is completely devoted to social networks in Czech Republic and possibilities, which are offered by these networks to businesses. One of the chapters of the theoretical part of the thesis is a chapter devoted to indicators, which will help us measuring company's marketing success. Second part of the thesis is focused on a chosen shop analysis and its competitors according to the theoretical assumptions set up in first part of the thesis. Web pages audit of the individual shops is completed on the top of that, resulting in showing lack of their qualities. Third part of the thesis is devoted to a strategy proposal, which is based on shortages found out in the analyst part. Aim of the strategy is to eliminate detected mistakes and also gain competitive advantage. The thesis is ended by conclusion, which is devoted to the thesis summary and evaluation of the set goals. The main benefit of the thesis is the competitive analysis completed for the internet shop Minibike-shop.cz. and the proposed strategy on company's marketing growth. The strategy will manage to increase an amount of visitors and their satisfaction, resulting in an increase of the company's profit.

Abstract Heparan Sulfate, A New Target for Platinum in Metastatic TNBC Author: Samantha J. Katner, Ph.D. A dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy Virginia Commonwealth University, 2018 Advisor: Dr. Nicholas Farrell, Professor, Chemistry Department Heparan sulfate proteoglycans (HSPGs), composed of the linear polysaccharide heparan sulfate (HS) conjugated to a protein core, are located on the cell surface and extracellular matrix. The HS chains display varying degrees of sulfation, which constitutes the molecular recognition motif for many HS-protein interactions. HSPGs, associated growth factors, and heparanase promote tumor progression by facilitating invasion, angiogenesis, and metastasis.1 Sulfate clusters on the glycan backbone also mediate the interaction of polynuclear platinum complexes (PPCs) with HSPG through a “sulfate clamp.” Such PPC-HS interactions can be conceptualized as “polyarginine” mimics. Strong HS-PPC binding protects the oligosaccharide against sulfate loss through metalloshielding.2 The biological consequences of metalloshielding will in principle affect HS interactions with relevant enzymes and proteins such as heparanase and growth factors, similar in concept to the inhibition of DNA-protein binding through modification of DNA structure and conformation. The end-point of functional modulation of HS interactions is inhibition of angiogenesis and metastasis. PPCs are dual-function agents through their interactions with both nucleic acids and HS. The novel Pt-HS interactions open up new areas of metalloglycomics and potential anti-angiogenic activity. Here, we report PPC interactions with HS-like models: Fondaparinux (FPX)3 and heparin4. We demonstrate TriplatinNC high affinity to heparin in biophysical studies and compare HS interactions with DNA and HS using competition assays.3,4 these approaches may be extended to a range of metal-ammine compounds.4 The biological consequences of PPC-HS interactions include modulation of heparanase cleavage of FPX,3 growth factor binding to HS, and growth factor-induced migration and signaling in breast cancer and endothelial cells, as potential anti-metastatic and anti-angiogenic effects in vivo. We report proof-of-principle of strong in vivo anti-metastatic activity of PPCs in triple negative breast cancer (TNBC) models.5–7 Already, PPC-HS interactions have major biological consequences in the aggressive metastatic TNBC mouse models. Impressively, PPCs reduce overall tumor metastases with emphasis in lung, bone, and liver locations in both immunocompetent and immunosuppressive mouse models. PPCs demonstrated permeability through the blood brain barrier (BBB) implying further applications for PPCs. PPCs represent a novel class of intrinsically dual-function agents combining platinum cytotoxicity through DNA targeting with anti-angiogenic effects through glycan targeting. Together, these results suggest that strong PPC-HS interactions have a significant role in the inhibition of breast cancer metastases, particularly in metastatic TNBC patients. 1. Peterson, E. J. et al. Antiangiogenic platinum through glycan targeting. Chem. Sci. 8, 241–252 (2017). 2. Mangrum, J. B. et al. A new approach to glycan targeting: enzyme inhibition by oligosaccharide metalloshielding. Chem. Commun. (Camb). 50, 4056–8 (2014). 3. Gorle, A. K. et al. Substitution-Inert Polynuclear Platinum Complexes as Metalloshielding Agents for Heparan Sulfate. Chem. Eur. J (2018). doi:10.1002/chem.201706030 4. Katner, S. J., Johnson, W. E., Peterson, E. J., Page, P. & Farrell, N. P. Comparison of Metal–Ammine Compounds Binding to DNA and Heparin. Glycans as Ligands in Bioinorganic Chemistry. Inorg. Chem. acs.inorgchem.7b03043 (2018). doi:10.1021/acs.inorgchem.7b03043 5. Katsuta, E., Peterson, E. J., Katner, S. J., Farrell, N. P. & Takabe, K. Triplatin preferably suppress lung metastasis of breast cancer, and peritoneal carcinomatosis of colon and pancreatic cancer. Proc. AACR Washingt. D.C. Abstract #5117 (2017). 6. Katner, S. J. et al. Heparan sulfate , a new target for platinum in metastatic TNBC. Proc. AACR Chicago, Abstract #3941 (2018). 7. Katner, S. J. et al. Anti-metastatic platinum through glycan targeting in breast cancer. Proc. AACR Washingt. D.C. Abstract #17 (2017). 8. Silva, H. et al. Heparan sulfate proteoglycan-mediated entry pathway for charged tri-platinum compounds. Differential cellular accumulation mechanisms for platinum. Mol. Pharmacol. 9, 1795–1802 (2012). 9. Peterson, E. J. et al. Nucleolar targeting by platinum: P53-independent apoptosis follows rRNA inhibition, cell-cycle arrest, and DNA compaction. Mol. Pharm. 12, 287–297 (2015).

No description available.

El presente trabajo busca determinar y cuantificar el desalineamiento del Tipo de Cambio Real respecto a su trayectoria de largo plazo, y los efectos que tiene dicho desalineamiento sobre los distintos sectores de la Economía Boliviana a partir del shock positivo de precios internacionales vivido a partir del año 2003 en el contexto mundial. Para dicho fin se ha dividido el mismo en tres partes. En una primera parte se identifica la situación de dicha variable al interior de nuestra economía y se plantea el periodo de estudio (1991 – 2008). En la segunda parte se plantea todo el marco teórico a utilizarse: Se presenta el modelo de PPC, mismo que se descarta, el modelo TNT para determinación del Tipo de Cambio Real, el cual finalmente se utiliza y un modelo de Booming Sector para una economía pequeña y abierta, el cual se utiliza para el testeo de Enfermedad Holandesa. La tercera parte es la de desarrollo a partir de series estadísticas para los modelos planteados en la segunda parte. Se utiliza el Modelo TNT para la obtención del Tipo de Cambio Real, utilizando la metodología de dos pasos de Engel – Granger. El primer paso consiste en plantear y determinar un Tipo de Cambio Real de Equilibrio a partir de variables que lo determinan (Fundamentos del Tipo de Cambio Real). El segundo paso determina la velocidad de ajuste del TCR hacia su trayectoria de equilibrio de largo plazo, luego de un shock externo. Para determinar la trayectoria de equilibrio de largo plazo es necesaria la eliminación de la tendencia para ello se utilizo el filtro de Hodrick y Prescott. A partir de lo anteriormente mencionado, se obtuvo una apreciación del Tipo de Cambio Real de 16% respecto a su trayectoria de equilibrio. Una vez obtenido el resultado que arroja apreciación del Tipo de Cambio Real, se utiliza el modelo de Booming Sector dividiendo a la economía en tres sectores y se corrobora insipiente presencia de Enfermedad Holandesa en la Economía Boliviana, cuantificándose el efecto causado por el boom de precios sobre el nivel de producción sobre los tres sectores en que se divide a la economía.

The VLSI CAD flow encompasses an abundance of critical NP-complete and PSPACE-complete problems. Instead of developing a dedicated algorithm for each, the trend during the last decade has been to encode them in formal languages, such as Boolean satisfiability (SAT) and quantified Boolean formulas (QBFs), and focus academic resources on improving SAT and QBF solvers. The significant progress of these solvers has validated this strategy. This dissertation contributes to the further advancement of formal techniques in CAD. Today, the verification and debugging of increasingly complex RTL designs can consume up to 70% of the VLSI design cycle. In particular, RTL debug is a manual, resource-intensive task in the industry. The first contribution of this thesis is an in-depth examination of the factors affecting the theoretical computational complexity of debugging. It is established that most variations of the debugging problem are NP-complete. Automated debugging tools return all potential error sources in the RTL, called solutions, that can explain a given failing error trace. Finding each solution requires a separate call to a formal engine, which is computationally expensive. The second contribution of this dissertation comprises techniques for reducing the number of such iterations, by leveraging dominance relationships between RTL blocks to imply solutions. Extensive experiments on industrial designs show a three-fold reduction in the number of formal engine calls due to solution implications, resulting in a 1.64x overall speed-up. The third contribution aims to advance the state-of-the-art of QBF solvers, whose progress has not been as impressive as that of SAT solvers. We present a framework for using complete dominators to preprocess and reduce QBFs with an inherent circuit structure, which is common in encodings of PSPACE-complete CAD problems. Experiments show that three modern QBF solvers together solve 55% of preprocessed QBF instances, compared to none without preprocessing. The final contribution consists of a series of QBF encodings for evaluating the reconfigurability of partially programmable circuits (PPCs). The metrics of fault tolerance, design error tolerance and engineering change coverage are defined for PPCs and encoded using QBFs. These formulations along with experimental results demonstrate the theoretical and practical appropriateness of QBFs for dealing with reconfigurability.

The VLSI CAD flow encompasses an abundance of critical NP-complete and PSPACE-complete problems. Instead of developing a dedicated algorithm for each, the trend during the last decade has been to encode them in formal languages, such as Boolean satisfiability (SAT) and quantified Boolean formulas (QBFs), and focus academic resources on improving SAT and QBF solvers. The significant progress of these solvers has validated this strategy. This dissertation contributes to the further advancement of formal techniques in CAD. Today, the verification and debugging of increasingly complex RTL designs can consume up to 70% of the VLSI design cycle. In particular, RTL debug is a manual, resource-intensive task in the industry. The first contribution of this thesis is an in-depth examination of the factors affecting the theoretical computational complexity of debugging. It is established that most variations of the debugging problem are NP-complete. Automated debugging tools return all potential error sources in the RTL, called solutions, that can explain a given failing error trace. Finding each solution requires a separate call to a formal engine, which is computationally expensive. The second contribution of this dissertation comprises techniques for reducing the number of such iterations, by leveraging dominance relationships between RTL blocks to imply solutions. Extensive experiments on industrial designs show a three-fold reduction in the number of formal engine calls due to solution implications, resulting in a 1.64x overall speed-up. The third contribution aims to advance the state-of-the-art of QBF solvers, whose progress has not been as impressive as that of SAT solvers. We present a framework for using complete dominators to preprocess and reduce QBFs with an inherent circuit structure, which is common in encodings of PSPACE-complete CAD problems. Experiments show that three modern QBF solvers together solve 55% of preprocessed QBF instances, compared to none without preprocessing. The final contribution consists of a series of QBF encodings for evaluating the reconfigurability of partially programmable circuits (PPCs). The metrics of fault tolerance, design error tolerance and engineering change coverage are defined for PPCs and encoded using QBFs. These formulations along with experimental results demonstrate the theoretical and practical appropriateness of QBFs for dealing with reconfigurability.

A escolha por uma técnica de Planejamento e Controle da Produção (PCP) alinhada e adequada com o cenário de ambiente de produção de uma empresa é considerado um fator crucial na estratégia da mesma. Tal escolha poderá refletir na forma como a empresa gerencia seus prazos, estoques e consequentemente seus custos. Esta dissertação propõe a validação de um instrumento desenvolvido para avaliação da aderência entre o foco e as práticas de PCP em empresas. Foram considerados dentro do escopo do trabalho seis técnicas de PCP dentro de quatro ambientes de produção: – Assemble To Order (ATO), Make To Stock (MTS), Engineer To Order (ETO) e Make To Order (MTO). As técnicas selecionadas foram baseadas no trabalho de Stevenson, Hendry e Kingsman (2005) sendo três clássicas – Material Requirements Planning (MRP), Drum Buffer Rope (DBR) e Kanban e três emergentes Constant Work in Process (CONWIP), Workload Control (WLC) e Paired cell Overlapping Loops of Cards with Authorization (POLCA). Para o estudo, um instrumento de pesquisa considerando dois diferentes pontos de vista dentro de uma empresa, gestão e operação, foi proposto, com questões pontuadas conforme as relações entre as técnicas e os ambientes de produção. O instrumento de pesquisa foi elaborado com base em parâmetros sensíveis, em maior ou menor grau, a utilização de cada uma das técnicas em cada empresa. Um estudo de caso múltiplo com oito empresas do segmento metalmecânico alinhadas com os quatro ambientes de produção e localizadas na Serra Gaúcha foi realizado. Foram entrevistados gestores, que estabeleceram o foco do PCP em cada empresa, e especialistas de PCP, que informaram as práticas do ambiente de produção. O uso do instrumento de pesquisa se mostrou adequado, tornando possível captar a essência das atividades de PCP da empresa. Os resultados mostram que algumas técnicas possuem maior compatibilidade com determinados ambientes de produção, enquanto outras ainda merecem um ajuste mais fino. / Submitted by Marcelo Teixeira (mvteixeira@ucs.br) on 2014-05-06T13:29:15Z No. of bitstreams: 1 Dissertacao Cassiano Daniel Bridi.pdf: 2006831 bytes, checksum: 634dc6ed0951213f68e68a8b666a72da (MD5) / Made available in DSpace on 2014-05-06T13:29:15Z (GMT). No. of bitstreams: 1 Dissertacao Cassiano Daniel Bridi.pdf: 2006831 bytes, checksum: 634dc6ed0951213f68e68a8b666a72da (MD5) / The choice of a technique of Production Planning and Control (PPC) properly aligned with the production environment of a company is seen as a key strategy. This choice may reflect the way the company manages its deadlines, inventories and consequently its costs. This study proposes to validate a tool of research developed for evaluating the adherence between the focus and practice of PPC into enterprises. Six PPC techniques within four production environments were considered within the scope of this study: Assemble To Order (ATO), Make To Stock (MTS), Engineer To Order (ETO) and Make To Order (MTO). These techniques were selected according to the paper of Stevenson, Hendry and Kingsman (2005) with three classic - Material Requirements Planning (MRP), Drum Buffer Rope (DBR) and Kanban along with three emerging techniques Constant Work in Process (CONWIP), Workload Control (WLC) and Paired cell Overlapping Loops of Cards with Authorization (POLCA). For this study, a research instrument considering two different points of view inside the company, management and operational, was proposed, being scored according to the relations between the techniques and production environments. The research instrument was designed composed by different parameters that can be influenced by the use of each technique into a company. A multiple case study with eight companies aligned with the four production environments was performed in the Serra Gaúcha region. Managers were interviewed establishing the focus of the PPC in each company, while PPC experts describes the PPC practices of their production environment. The results show that the research instrument was suitable for its application, making it possible to capture the essence of the PPC activities. Also, it has been identified that some techniques are more easily related to certain production environments, while others demand further researches.

A escolha por uma técnica de Planejamento e Controle da Produção (PCP) alinhada e adequada com o cenário de ambiente de produção de uma empresa é considerado um fator crucial na estratégia da mesma. Tal escolha poderá refletir na forma como a empresa gerencia seus prazos, estoques e consequentemente seus custos. Esta dissertação propõe a validação de um instrumento desenvolvido para avaliação da aderência entre o foco e as práticas de PCP em empresas. Foram considerados dentro do escopo do trabalho seis técnicas de PCP dentro de quatro ambientes de produção: – Assemble To Order (ATO), Make To Stock (MTS), Engineer To Order (ETO) e Make To Order (MTO). As técnicas selecionadas foram baseadas no trabalho de Stevenson, Hendry e Kingsman (2005) sendo três clássicas – Material Requirements Planning (MRP), Drum Buffer Rope (DBR) e Kanban e três emergentes Constant Work in Process (CONWIP), Workload Control (WLC) e Paired cell Overlapping Loops of Cards with Authorization (POLCA). Para o estudo, um instrumento de pesquisa considerando dois diferentes pontos de vista dentro de uma empresa, gestão e operação, foi proposto, com questões pontuadas conforme as relações entre as técnicas e os ambientes de produção. O instrumento de pesquisa foi elaborado com base em parâmetros sensíveis, em maior ou menor grau, a utilização de cada uma das técnicas em cada empresa. Um estudo de caso múltiplo com oito empresas do segmento metalmecânico alinhadas com os quatro ambientes de produção e localizadas na Serra Gaúcha foi realizado. Foram entrevistados gestores, que estabeleceram o foco do PCP em cada empresa, e especialistas de PCP, que informaram as práticas do ambiente de produção. O uso do instrumento de pesquisa se mostrou adequado, tornando possível captar a essência das atividades de PCP da empresa. Os resultados mostram que algumas técnicas possuem maior compatibilidade com determinados ambientes de produção, enquanto outras ainda merecem um ajuste mais fino. / The choice of a technique of Production Planning and Control (PPC) properly aligned with the production environment of a company is seen as a key strategy. This choice may reflect the way the company manages its deadlines, inventories and consequently its costs. This study proposes to validate a tool of research developed for evaluating the adherence between the focus and practice of PPC into enterprises. Six PPC techniques within four production environments were considered within the scope of this study: Assemble To Order (ATO), Make To Stock (MTS), Engineer To Order (ETO) and Make To Order (MTO). These techniques were selected according to the paper of Stevenson, Hendry and Kingsman (2005) with three classic - Material Requirements Planning (MRP), Drum Buffer Rope (DBR) and Kanban along with three emerging techniques Constant Work in Process (CONWIP), Workload Control (WLC) and Paired cell Overlapping Loops of Cards with Authorization (POLCA). For this study, a research instrument considering two different points of view inside the company, management and operational, was proposed, being scored according to the relations between the techniques and production environments. The research instrument was designed composed by different parameters that can be influenced by the use of each technique into a company. A multiple case study with eight companies aligned with the four production environments was performed in the Serra Gaúcha region. Managers were interviewed establishing the focus of the PPC in each company, while PPC experts describes the PPC practices of their production environment. The results show that the research instrument was suitable for its application, making it possible to capture the essence of the PPC activities. Also, it has been identified that some techniques are more easily related to certain production environments, while others demand further researches.