246 results on '"Šafránek, David"'
Search Results
102. Contributors
- Author
-
Abraham, Gerard, Ahmed, Haseen, Anand, N., Barona-Gómez, Francisco, Bustos-Díaz, Edder D., Cepoi, Liliana, Červený, Jan, Chakraborty, Sindhunath, Cibrián-Jaramillo, Angélica, Cirés, Samuel, Dadheech, P.K., Elster, Josef, Fernández-Piñas, Francisca, Gaysina, Lira A., Gonçalves, Cátia F., González-Pleiter, Miguel, Govindjee, Häder, Donat-P., Hurtado-Gallego, Jara, Kannaujiya, Vinod K., Kant, Chandra, Kaushik, Manish Singh, Kharwar, Surbhi, Komárek, Jiří, Konur, O., Kumar, Vinod, Kumar, Deepak, Kumar, Jay, Kumar, Ashok, Kvíderová, Jana, Lazár, Dušan, Leganés, Francisco, Lima, Steeve, Maldener, Iris, Maurya, Pankaj K., Maurya, Shashank Kumar, Mishra, Arun Kumar, Mishra, Rajnikant, Mondal, Soumila, Muzika, František, Niveshika, Oliveira, Paulo, Papageorgiou, George C., Parihar, Parul, Patel, Anuradha, Pathak, Jainendra, Prasad, Sheo Mohan, Rai, A.N., Reddy, Yattapu Prasad, Rücker, Jacqueline, Šafránek, David, Šalagovič, Jakub, Saraf, Aniket, Schreiber, Igor, Singh, Prashant, Singh, Shailendra P., Singh, Prashant R., Singh, Rachana, Singh, Divya, Singh, Savita, Singh, Satya Shila, Singh, A.K., Sinha, Rajeshwar P., Srivastava, Meenakshi, Stirbet, Alexandrina, Sukenik, Assaf, Syiem, M.B., Tamagnini, Paula, Thajuddin, N., Tiwari, D.N., Tiwari, Sanjesh, Tiwari, Balkrishna, Tyagi, Madhu B., Velázquez, David, Verma, Ekta, Yadav, Ravindra Kumar, and Yunes, Joao Sarkis
- Published
- 2019
- Full Text
- View/download PDF
103. Competition of selected sports centers in the region
- Author
-
Šafránek, David, Šíma, Jan, and Ruda, Tomáš
- Subjects
marketingový mix ,fitness centrum ,marketing ,marketing služeb ,competition ,sports center ,marketing of services ,konkurence ,marketing mix - Abstract
Title: Competition of selected sports centers in the region Objective: Analysis and comparison of the marketing activities of selected sports centers operating in Kolin. Information obtained from the marketing research was used for the analysis of the competitive surrounding in the region and also to create and propose measures that will lead to the improvement of marketing activities and improve the competitiveness of selected sports centers. Methods: For the analysis of the competitive surrounding in Kolin was used PEST analysis and SWOT analysis. Marketing research was conducted using qualitative techniques in- depth interview with the managers of selected sports centers. Results: Results of the analysis of the competitive surrounding Kolin show the necessity of using marketing tools to operate the fitness center. It was found that competition between selected fitness centers is very intense. Marketing activities help to differentiate themselves from the competition and increase client base. The results of the analysis confirmed that examined fitness center are insufficiently used marketing tools and in this direction have large reserves. Key words: competition, marketing, marketing mix, marketing of services, sports center
- Published
- 2014
104. Hybrid Systems Biology : Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers / edited by Alessandro Abate, David Šafránek.
- Author
-
Abate, Alessandro. editor., Šafránek, David. editor., SpringerLink (Online service), Abate, Alessandro. editor., Šafránek, David. editor., and SpringerLink (Online service)
- Abstract
This book constitutes the thoroughly referred post-workshop proceedings of the 4th International Workshop on Hybrid Systems biology, HSB 2015, held as part of the Madrid Meet 2015 event, in Madrid, Spain in September 2015. The volume presents 13 full papers together with 2 abstracts of invited sessions from 18 submissions. The scope of the HSB workshop is the general area of dynamical models in Biology with an emphasis on hybrid approaches — by no means restricted to a narrow class of mathematical models — and taking advantage of techniques developed separately in different areas. .
- Published
- 2015
105. Robustness Analysis of Stochastic Biochemical Systems
- Author
-
Česka, Milan, primary, Šafránek, David, additional, Dražan, Sven, additional, and Brim, Luboš, additional
- Published
- 2014
- Full Text
- View/download PDF
106. Second world war in American film
- Author
-
Bubíková, Šárka, Smažilová, Petra, Šafránek, David, Bubíková, Šárka, Smažilová, Petra, and Šafránek, David
- Abstract
This bachelor thesis deals with contemporary American war film set in the Second World War. It presents historical and cultural context of war film evolution. Then it deals with established procedures in war films in general. On the sample of three films it then presents various approaches to the topic and at the same time points out common elements., Tato bakalářská práce se zabývá současným americkým válečným filmem zasazeným do druhé světové války. Uvádí historický i kulturní kontext vzniku válečného filmu. Dále se zabývá zavedenými postupy ve válečných filmech v obecné rovině. Na vzorku tří filmů poté ukazuje rozdílné přístupy k látce a zároveň poukazuje na společné elementy., Katedra anglistiky a amerikanistiky, Dokončená práce s úspěšnou obhajobou
- Published
- 2009
107. Proceedings Fourth International Workshop on Computational Models for Cell Processes
- Author
-
Brim, Luboš, primary, Češka, Milan, additional, Dražan, Sven, additional, and Šafránek, David, additional
- Published
- 2013
- Full Text
- View/download PDF
108. On Expressing and Monitoring Oscillatory Dynamics
- Author
-
Dluhoš, Petr, primary, Brim, Luboš, additional, and Šafránek, David, additional
- Published
- 2012
- Full Text
- View/download PDF
109. BioDiVinE: A Framework for Parallel Analysis of Biological Models
- Author
-
Barnat, Jiří, primary, Brim, Luboš, additional, Černá, Ivana, additional, Dražan, Sven, additional, Fabriková, Jana, additional, Láník, Jan, additional, Šafránek, David, additional, and Ma, Hongwu, additional
- Published
- 2009
- Full Text
- View/download PDF
110. Pokročilé výpočetní metody pro detekci CNV v bakteriálních genomech
- Author
-
Vítková, Helena, Bystrý, Vojtěch, Šafránek,, David, Jugas, Robin, Vítková, Helena, Bystrý, Vojtěch, Šafránek,, David, and Jugas, Robin
- Abstract
Hlavní pozornost v oblasti strukturálních variací je zaměřena na lidské genomy. Detekce změny variace počtu kopií (CNV) u bakterií je tedy méně rozvinutou oblastí. Běžně používané metody detekce CNV neberou v úvahu specifika bakteriálních kruhových genomů a obecně existuje prostor pro zlepšení metrik výkonnosti. Tato práce představuje metodu detekce CNV nazvanou CNproScan zaměřenou na bakteriální genomy. CNproScan implementuje hybridní přístup kombinující signály hloubky čtení a párů čtení. Bere v potaz všechny vlastnosti bakterií a využívá pouze sekvenační data. Na základě výsledků ze srovnání dosáhl CNproScan velmi dobrých výsledků v různých podmínkách. Pomocí informací z párových čtení jsou CNV klasifikovány do několika kategorií. Ve srovnání s jinými metodami může CNproScan také detekovat mnohem kratší CNV. Vzhledem k nutnosti slučovat nejen signály různých přístupů, ale také výsledky různých algoritmů, dizertační práce také představuje pipelinu nazvanou ProcaryaSV vyvinutou k detekci CNV s využitim pěti nástrojů a slučování jejich výsledků. ProcaryaSV se stará o celý postup od kontroly kvality čtení, ořezávání konců čtení, zarovnání čtení až k detekci CNV., The focus in the field of structural variations is mainly focused on human genomes. Thus, detecting copy number variation (CNV) in bacteria is a less developed field. Commonly used CNV detection methods do not consider the features of bacterial circular genomes and generally, there is a space to improve performance metrics. This thesis presents a CNV detection method called CNproScan focused on bacterial genomes. CNproScan implements a hybrid approach combining read depth and read pair signals. It considers all bacteria features and depends only on NGS data. Based on the benchmarking results, the CNproScan achieved very well in various conditions. Using the read pair information, the CNVs are classified into several categories. Also, compared with other methods, CNproScan can detect much shorter CNV events. Because of the necessity of merging not only the various feature signals but also the results of different algorithms, the thesis also introduces a pipeline called ProcaryaSV developed to easily employ five CNV detection tools and merge their results. ProcaryaSV handles the whole procedure from quality check, reads trimming, and alignment to the CNV calling.
111. Dolování rozpustných enzymů z genomických databází
- Author
-
Zendulka, Jaroslav, Brejová, Bronislava, Šafránek, David, Hon, Jiří, Zendulka, Jaroslav, Brejová, Bronislava, Šafránek, David, and Hon, Jiří
- Abstract
Enzymy jsou proteiny urychlující chemické reakce s velkým potenciálem pro farmaceutický a obecně chemický průmysl. Enzymatická funkce je obvykle zajištěna několika nepostradatelnými aminokyselinami, které tvoří tzv. aktivní místo, kde se odehrává chemická reakce. V této práci jsou prezentovány dva integrované softwarové nástroje pro dolování a racionální výběr nových rozpustných enzymů - EnzymeMiner a SoluProt. EnzymeMiner slouží k hledání nových enzymů. Na vstupu vyžaduje jednu nebo více sekvencí zvoleného enzymu spolu se seznamem klíčových aminokyselin. Tento seznam slouží k zvýšení pravděpodobnosti, že nalezený enzym bude mít podobnou funkci jako vstupní enzym. Výstupem EnzymeMineru je množina anotovaných sekvencí nalezených v databázi. Za účelem ulehčení výběru několika málo kandidátů pro experimentální ověření v laboratoři integruje EnzymeMiner anotace z dostupných databází - informaci o zdrojovém organismu a prostředí, ve kterém se vyskytuje, a informaci o proteinových doménách, ze kterých se enzym skládá. Hlavním kritériem pro výběr kandidátů je rozpustnost predikovaná druhým prezentovaným nástrojem, SoluProtem. SoluProt je metoda založená na strojovém učení, která predikuje heterologní rozpustnou expresi proteinu v organismu Escherichia coli . Vstupem je sekvence a výstupem je pravděpodobnost, že protein bude exprimován v rozpustné formě. SoluProt využívá model gradient boosting machine a byl trénován na datové sadě odvozené od databáze TargetTrack. Při srovnání na vyvážené nezávislé datové sadě odvozené z databáze NESG dosáhl SoluProt přesnosti 58,5 % a hodnoty AUC 0,62, čímž lehce převyšuje ostatní existující nástroje. Nástroje EnzymeMiner i SoluProt jsou často využívány řadou uživatelů z oblasti proteinového inženýrství za účelem hledání nových rozpustných biokatalyzátorů chemických reakcí. Ty mají velký potenciál snížit energetickou náročnost a ekologickou zátěž mnoha průmyslových procesů., Enzymes are proteins accelerating chemical reactions, which makes them attractive targets for both pharmaceutical and industrial applications. The enzyme function is mediated by several essential amino acids which form the optimal chemical environment to catalyse the reaction. In this work, two integrated bioinformatics tools for mining and rational selection of novel soluble enzymes, EnzymeMiner and SoluProt, are presented. EnzymeMiner uses one or more enzyme sequences as input along with a description of essential residues to search the protein database. The description of essential amino acids is used to increase the probability of similar enzymatic function. EnzymeMiner output is a set of annotated database hits. EnzymeMiner integrates taxonomic, environmental, and protein domain annotations to facilitate selection of promising targets for experiments. The main prioritization criterion is solubility predicted by the second tool being presented, SoluProt. SoluProt is a machine-learning method for the prediction of soluble protein expression in Escherichia coli . The input is a protein sequence and the output is the probability of such protein to be soluble. SoluProt exploits a gradient boosting machine to decide on the output prediction class. The tool was trained on TargetTrack database. When evaluated against a balanced independent test set derived from the NESG database, SoluProt accuracy was 58.5% and its AUC 0.62, slightly exceeding those of a suite of alternative solubility prediction tools. Both EnzymeMiner and SoluProt are frequently used by the protein engineering community to find novel soluble biocatalysts for chemical reactions. These have a great potential to decrease energetic consumption and environmental burden of many industrial chemical processes.
112. Pokročilé výpočetní metody pro detekci CNV v bakteriálních genomech
- Author
-
Vítková, Helena, Bystrý, Vojtěch, Šafránek,, David, Jugas, Robin, Vítková, Helena, Bystrý, Vojtěch, Šafránek,, David, and Jugas, Robin
- Abstract
Hlavní pozornost v oblasti strukturálních variací je zaměřena na lidské genomy. Detekce změny variace počtu kopií (CNV) u bakterií je tedy méně rozvinutou oblastí. Běžně používané metody detekce CNV neberou v úvahu specifika bakteriálních kruhových genomů a obecně existuje prostor pro zlepšení metrik výkonnosti. Tato práce představuje metodu detekce CNV nazvanou CNproScan zaměřenou na bakteriální genomy. CNproScan implementuje hybridní přístup kombinující signály hloubky čtení a párů čtení. Bere v potaz všechny vlastnosti bakterií a využívá pouze sekvenační data. Na základě výsledků ze srovnání dosáhl CNproScan velmi dobrých výsledků v různých podmínkách. Pomocí informací z párových čtení jsou CNV klasifikovány do několika kategorií. Ve srovnání s jinými metodami může CNproScan také detekovat mnohem kratší CNV. Vzhledem k nutnosti slučovat nejen signály různých přístupů, ale také výsledky různých algoritmů, dizertační práce také představuje pipelinu nazvanou ProcaryaSV vyvinutou k detekci CNV s využitim pěti nástrojů a slučování jejich výsledků. ProcaryaSV se stará o celý postup od kontroly kvality čtení, ořezávání konců čtení, zarovnání čtení až k detekci CNV., The focus in the field of structural variations is mainly focused on human genomes. Thus, detecting copy number variation (CNV) in bacteria is a less developed field. Commonly used CNV detection methods do not consider the features of bacterial circular genomes and generally, there is a space to improve performance metrics. This thesis presents a CNV detection method called CNproScan focused on bacterial genomes. CNproScan implements a hybrid approach combining read depth and read pair signals. It considers all bacteria features and depends only on NGS data. Based on the benchmarking results, the CNproScan achieved very well in various conditions. Using the read pair information, the CNVs are classified into several categories. Also, compared with other methods, CNproScan can detect much shorter CNV events. Because of the necessity of merging not only the various feature signals but also the results of different algorithms, the thesis also introduces a pipeline called ProcaryaSV developed to easily employ five CNV detection tools and merge their results. ProcaryaSV handles the whole procedure from quality check, reads trimming, and alignment to the CNV calling.
113. Pokročilé výpočetní metody pro detekci CNV v bakteriálních genomech
- Author
-
Vítková, Helena, Bystrý, Vojtěch, Šafránek,, David, Jugas, Robin, Vítková, Helena, Bystrý, Vojtěch, Šafránek,, David, and Jugas, Robin
- Abstract
Hlavní pozornost v oblasti strukturálních variací je zaměřena na lidské genomy. Detekce změny variace počtu kopií (CNV) u bakterií je tedy méně rozvinutou oblastí. Běžně používané metody detekce CNV neberou v úvahu specifika bakteriálních kruhových genomů a obecně existuje prostor pro zlepšení metrik výkonnosti. Tato práce představuje metodu detekce CNV nazvanou CNproScan zaměřenou na bakteriální genomy. CNproScan implementuje hybridní přístup kombinující signály hloubky čtení a párů čtení. Bere v potaz všechny vlastnosti bakterií a využívá pouze sekvenační data. Na základě výsledků ze srovnání dosáhl CNproScan velmi dobrých výsledků v různých podmínkách. Pomocí informací z párových čtení jsou CNV klasifikovány do několika kategorií. Ve srovnání s jinými metodami může CNproScan také detekovat mnohem kratší CNV. Vzhledem k nutnosti slučovat nejen signály různých přístupů, ale také výsledky různých algoritmů, dizertační práce také představuje pipelinu nazvanou ProcaryaSV vyvinutou k detekci CNV s využitim pěti nástrojů a slučování jejich výsledků. ProcaryaSV se stará o celý postup od kontroly kvality čtení, ořezávání konců čtení, zarovnání čtení až k detekci CNV., The focus in the field of structural variations is mainly focused on human genomes. Thus, detecting copy number variation (CNV) in bacteria is a less developed field. Commonly used CNV detection methods do not consider the features of bacterial circular genomes and generally, there is a space to improve performance metrics. This thesis presents a CNV detection method called CNproScan focused on bacterial genomes. CNproScan implements a hybrid approach combining read depth and read pair signals. It considers all bacteria features and depends only on NGS data. Based on the benchmarking results, the CNproScan achieved very well in various conditions. Using the read pair information, the CNVs are classified into several categories. Also, compared with other methods, CNproScan can detect much shorter CNV events. Because of the necessity of merging not only the various feature signals but also the results of different algorithms, the thesis also introduces a pipeline called ProcaryaSV developed to easily employ five CNV detection tools and merge their results. ProcaryaSV handles the whole procedure from quality check, reads trimming, and alignment to the CNV calling.
114. Dynamický model produkce polyhydroxyalkonoátů termofilní bakterií S. thermodepolymerans
- Author
-
Sedlář, Karel, Šafránek, David, Křápková, Monika, Sedlář, Karel, Šafránek, David, and Křápková, Monika
- Abstract
Tato diplomová práce se zabývá rekonstrukcí dynamického modelu produkce polyhydroxyalkanoátů (PHA) termofilní bakterií Schlegelella thermodepolymerans. První kapitola poskytuje čtenářům krátký úvod do systémové biologie a matematické teorie grafů. Na ni navazuje druhá kapitola zabývající se různými přístupy v dynamickém modelování, včetně běžně používaných nástrojů pro dynamickou analýzu komplexních systémů. Třetí kapitola pak sleduje další pojmy a možnosti týkající se analýzy modelu. Následující kapitola se zaměřuje na metabolomiku a často používané laboratorní techniky a pátá kapitola je pak věnována polyhydroxyalkanoátům, zejména jejich chemické struktuře a vlastnostem. V kapitole šesté je navržen obecný booleovský model pro produkci PHA termofilními bakteriemi. Kapitola sedmá se poté zaměřuje na zdokonalení modelu se zaměřením na S. thermodepolymerans. Výsledný dynamický model je podroben analýze a výsledky jsou diskutovány., This master's thesis deals with the reconstruction of a dynamic model for production of polyhydroxyalkanoates (PHA) by thermophilic bacterium Schlegelella thermodepolymerans. The first chapter provides readers with a brief introduction into the systems biology and mathematical graph theory. It is followed by Chapter Two dealing with different approaches in dynamic modelling, including the commonly used tools for dynamic analysis of complex systems. The third chapter then pursues further terms and possibilities regarding the model analysis. The following chapter focuses on metabolomics and the frequently used laboratory techniques and the fifth chapter is then occupied with polyhydroxyalkanoates, especially their chemical structure and properties. In Chapter Six, a general Boolean model for PHA production by thermophilic bacteria is proposed. Chapter Seven then aims at model refinement with focus on S. thermodepolymerans. The final dynamic model is analysed and the results are discussed.
115. Pokročilé metody genomové anotace a funkčního popisu nemodelových organismů v biotechnologickém výzkumu
- Author
-
Sedlář, Karel, Friedel, Caroline, Šafránek,, David, Musilová, Jana, Sedlář, Karel, Friedel, Caroline, Šafránek,, David, and Musilová, Jana
- Abstract
Komplexní znalost genomu a fenotypu biotechnologicky využitelných bakterií je pro jejich uplatněnění klíčová, přesto přístupy k zevrubnému poznání těchto organismů převážně chybí. Cílem disertační práce je proto navržení nových výpočetních metod pro popis genomových a funkčních vlastností zaměřených na nemodelové bakterie. Úvodní část práce se věnuje metodám anotace genomu. Zahrnuje vývoj nové pipeline pro hybridní sestavování celého genomu, její aplikaci na různé bakterie a následnou identifikaci zájmových oblastí genomu těchto bakterií. Následující část rozebírá metody funkčního popisu se zaměřením na přístupy ke studiu genové regulace. Podrobně jsou shrnuty aktuální přístupy a je představen nový balíček pro odvozování genových regulačních sítí a Booleovských sítí včetně jeho testování., Comprehensive knowledge of the genome and phenotype of biotechnologically usable bacteria is crucial for their exploitation. However, approaches to a complex understanding of these organisms are widely lacking. The dissertation, therefore, aims to propose novel computational methods for describing the genomic and functional characteristics targeted at non-model bacteria. The initial part of the thesis is focused on the genome annotation methods. Developing a novel pipeline for whole-genome hybrid assembly is included, as well as its application to various bacteria and consequent identification of their genomic regions of interest. Subsequently, functional description methods focused on approaches for studying gene regulation are covered. In detail, the state-of-the-art approaches are reviewed, and the development and testing of a package for gene regulatory network and Boolean network inference are presented.
116. Dynamický model produkce polyhydroxyalkonoátů termofilní bakterií S. thermodepolymerans
- Author
-
Sedlář, Karel, Šafránek, David, Sedlář, Karel, and Šafránek, David
- Abstract
Tato diplomová práce se zabývá rekonstrukcí dynamického modelu produkce polyhydroxyalkanoátů (PHA) termofilní bakterií Schlegelella thermodepolymerans. První kapitola poskytuje čtenářům krátký úvod do systémové biologie a matematické teorie grafů. Na ni navazuje druhá kapitola zabývající se různými přístupy v dynamickém modelování, včetně běžně používaných nástrojů pro dynamickou analýzu komplexních systémů. Třetí kapitola pak sleduje další pojmy a možnosti týkající se analýzy modelu. Následující kapitola se zaměřuje na metabolomiku a často používané laboratorní techniky a pátá kapitola je pak věnována polyhydroxyalkanoátům, zejména jejich chemické struktuře a vlastnostem. V kapitole šesté je navržen obecný booleovský model pro produkci PHA termofilními bakteriemi. Kapitola sedmá se poté zaměřuje na zdokonalení modelu se zaměřením na S. thermodepolymerans. Výsledný dynamický model je podroben analýze a výsledky jsou diskutovány., This master's thesis deals with the reconstruction of a dynamic model for production of polyhydroxyalkanoates (PHA) by thermophilic bacterium Schlegelella thermodepolymerans. The first chapter provides readers with a brief introduction into the systems biology and mathematical graph theory. It is followed by Chapter Two dealing with different approaches in dynamic modelling, including the commonly used tools for dynamic analysis of complex systems. The third chapter then pursues further terms and possibilities regarding the model analysis. The following chapter focuses on metabolomics and the frequently used laboratory techniques and the fifth chapter is then occupied with polyhydroxyalkanoates, especially their chemical structure and properties. In Chapter Six, a general Boolean model for PHA production by thermophilic bacteria is proposed. Chapter Seven then aims at model refinement with focus on S. thermodepolymerans. The final dynamic model is analysed and the results are discussed.
117. Dolování rozpustných enzymů z genomických databází
- Author
-
Zendulka, Jaroslav, Brejová, Bronislava, Šafránek, David, Zendulka, Jaroslav, Brejová, Bronislava, and Šafránek, David
- Abstract
Enzymy jsou proteiny urychlující chemické reakce s velkým potenciálem pro farmaceutický a obecně chemický průmysl. Enzymatická funkce je obvykle zajištěna několika nepostradatelnými aminokyselinami, které tvoří tzv. aktivní místo, kde se odehrává chemická reakce. V této práci jsou prezentovány dva integrované softwarové nástroje pro dolování a racionální výběr nových rozpustných enzymů - EnzymeMiner a SoluProt. EnzymeMiner slouží k hledání nových enzymů. Na vstupu vyžaduje jednu nebo více sekvencí zvoleného enzymu spolu se seznamem klíčových aminokyselin. Tento seznam slouží k zvýšení pravděpodobnosti, že nalezený enzym bude mít podobnou funkci jako vstupní enzym. Výstupem EnzymeMineru je množina anotovaných sekvencí nalezených v databázi. Za účelem ulehčení výběru několika málo kandidátů pro experimentální ověření v laboratoři integruje EnzymeMiner anotace z dostupných databází - informaci o zdrojovém organismu a prostředí, ve kterém se vyskytuje, a informaci o proteinových doménách, ze kterých se enzym skládá. Hlavním kritériem pro výběr kandidátů je rozpustnost predikovaná druhým prezentovaným nástrojem, SoluProtem. SoluProt je metoda založená na strojovém učení, která predikuje heterologní rozpustnou expresi proteinu v organismu Escherichia coli . Vstupem je sekvence a výstupem je pravděpodobnost, že protein bude exprimován v rozpustné formě. SoluProt využívá model gradient boosting machine a byl trénován na datové sadě odvozené od databáze TargetTrack. Při srovnání na vyvážené nezávislé datové sadě odvozené z databáze NESG dosáhl SoluProt přesnosti 58,5 % a hodnoty AUC 0,62, čímž lehce převyšuje ostatní existující nástroje. Nástroje EnzymeMiner i SoluProt jsou často využívány řadou uživatelů z oblasti proteinového inženýrství za účelem hledání nových rozpustných biokatalyzátorů chemických reakcí. Ty mají velký potenciál snížit energetickou náročnost a ekologickou zátěž mnoha průmyslových procesů., Enzymes are proteins accelerating chemical reactions, which makes them attractive targets for both pharmaceutical and industrial applications. The enzyme function is mediated by several essential amino acids which form the optimal chemical environment to catalyse the reaction. In this work, two integrated bioinformatics tools for mining and rational selection of novel soluble enzymes, EnzymeMiner and SoluProt, are presented. EnzymeMiner uses one or more enzyme sequences as input along with a description of essential residues to search the protein database. The description of essential amino acids is used to increase the probability of similar enzymatic function. EnzymeMiner output is a set of annotated database hits. EnzymeMiner integrates taxonomic, environmental, and protein domain annotations to facilitate selection of promising targets for experiments. The main prioritization criterion is solubility predicted by the second tool being presented, SoluProt. SoluProt is a machine-learning method for the prediction of soluble protein expression in Escherichia coli . The input is a protein sequence and the output is the probability of such protein to be soluble. SoluProt exploits a gradient boosting machine to decide on the output prediction class. The tool was trained on TargetTrack database. When evaluated against a balanced independent test set derived from the NESG database, SoluProt accuracy was 58.5% and its AUC 0.62, slightly exceeding those of a suite of alternative solubility prediction tools. Both EnzymeMiner and SoluProt are frequently used by the protein engineering community to find novel soluble biocatalysts for chemical reactions. These have a great potential to decrease energetic consumption and environmental burden of many industrial chemical processes.
118. Dynamický model produkce polyhydroxyalkonoátů termofilní bakterií S. thermodepolymerans
- Author
-
Sedlář, Karel, Šafránek, David, Sedlář, Karel, and Šafránek, David
- Abstract
Tato diplomová práce se zabývá rekonstrukcí dynamického modelu produkce polyhydroxyalkanoátů (PHA) termofilní bakterií Schlegelella thermodepolymerans. První kapitola poskytuje čtenářům krátký úvod do systémové biologie a matematické teorie grafů. Na ni navazuje druhá kapitola zabývající se různými přístupy v dynamickém modelování, včetně běžně používaných nástrojů pro dynamickou analýzu komplexních systémů. Třetí kapitola pak sleduje další pojmy a možnosti týkající se analýzy modelu. Následující kapitola se zaměřuje na metabolomiku a často používané laboratorní techniky a pátá kapitola je pak věnována polyhydroxyalkanoátům, zejména jejich chemické struktuře a vlastnostem. V kapitole šesté je navržen obecný booleovský model pro produkci PHA termofilními bakteriemi. Kapitola sedmá se poté zaměřuje na zdokonalení modelu se zaměřením na S. thermodepolymerans. Výsledný dynamický model je podroben analýze a výsledky jsou diskutovány., This master's thesis deals with the reconstruction of a dynamic model for production of polyhydroxyalkanoates (PHA) by thermophilic bacterium Schlegelella thermodepolymerans. The first chapter provides readers with a brief introduction into the systems biology and mathematical graph theory. It is followed by Chapter Two dealing with different approaches in dynamic modelling, including the commonly used tools for dynamic analysis of complex systems. The third chapter then pursues further terms and possibilities regarding the model analysis. The following chapter focuses on metabolomics and the frequently used laboratory techniques and the fifth chapter is then occupied with polyhydroxyalkanoates, especially their chemical structure and properties. In Chapter Six, a general Boolean model for PHA production by thermophilic bacteria is proposed. Chapter Seven then aims at model refinement with focus on S. thermodepolymerans. The final dynamic model is analysed and the results are discussed.
119. Dynamický model produkce polyhydroxyalkonoátů termofilní bakterií S. thermodepolymerans
- Author
-
Sedlář, Karel, Šafránek, David, Sedlář, Karel, and Šafránek, David
- Abstract
Tato diplomová práce se zabývá rekonstrukcí dynamického modelu produkce polyhydroxyalkanoátů (PHA) termofilní bakterií Schlegelella thermodepolymerans. První kapitola poskytuje čtenářům krátký úvod do systémové biologie a matematické teorie grafů. Na ni navazuje druhá kapitola zabývající se různými přístupy v dynamickém modelování, včetně běžně používaných nástrojů pro dynamickou analýzu komplexních systémů. Třetí kapitola pak sleduje další pojmy a možnosti týkající se analýzy modelu. Následující kapitola se zaměřuje na metabolomiku a často používané laboratorní techniky a pátá kapitola je pak věnována polyhydroxyalkanoátům, zejména jejich chemické struktuře a vlastnostem. V kapitole šesté je navržen obecný booleovský model pro produkci PHA termofilními bakteriemi. Kapitola sedmá se poté zaměřuje na zdokonalení modelu se zaměřením na S. thermodepolymerans. Výsledný dynamický model je podroben analýze a výsledky jsou diskutovány., This master's thesis deals with the reconstruction of a dynamic model for production of polyhydroxyalkanoates (PHA) by thermophilic bacterium Schlegelella thermodepolymerans. The first chapter provides readers with a brief introduction into the systems biology and mathematical graph theory. It is followed by Chapter Two dealing with different approaches in dynamic modelling, including the commonly used tools for dynamic analysis of complex systems. The third chapter then pursues further terms and possibilities regarding the model analysis. The following chapter focuses on metabolomics and the frequently used laboratory techniques and the fifth chapter is then occupied with polyhydroxyalkanoates, especially their chemical structure and properties. In Chapter Six, a general Boolean model for PHA production by thermophilic bacteria is proposed. Chapter Seven then aims at model refinement with focus on S. thermodepolymerans. The final dynamic model is analysed and the results are discussed.
120. Dynamický model produkce polyhydroxyalkonoátů termofilní bakterií S. thermodepolymerans
- Author
-
Sedlář, Karel, Šafránek, David, Křápková, Monika, Sedlář, Karel, Šafránek, David, and Křápková, Monika
- Abstract
Tato diplomová práce se zabývá rekonstrukcí dynamického modelu produkce polyhydroxyalkanoátů (PHA) termofilní bakterií Schlegelella thermodepolymerans. První kapitola poskytuje čtenářům krátký úvod do systémové biologie a matematické teorie grafů. Na ni navazuje druhá kapitola zabývající se různými přístupy v dynamickém modelování, včetně běžně používaných nástrojů pro dynamickou analýzu komplexních systémů. Třetí kapitola pak sleduje další pojmy a možnosti týkající se analýzy modelu. Následující kapitola se zaměřuje na metabolomiku a často používané laboratorní techniky a pátá kapitola je pak věnována polyhydroxyalkanoátům, zejména jejich chemické struktuře a vlastnostem. V kapitole šesté je navržen obecný booleovský model pro produkci PHA termofilními bakteriemi. Kapitola sedmá se poté zaměřuje na zdokonalení modelu se zaměřením na S. thermodepolymerans. Výsledný dynamický model je podroben analýze a výsledky jsou diskutovány., This master's thesis deals with the reconstruction of a dynamic model for production of polyhydroxyalkanoates (PHA) by thermophilic bacterium Schlegelella thermodepolymerans. The first chapter provides readers with a brief introduction into the systems biology and mathematical graph theory. It is followed by Chapter Two dealing with different approaches in dynamic modelling, including the commonly used tools for dynamic analysis of complex systems. The third chapter then pursues further terms and possibilities regarding the model analysis. The following chapter focuses on metabolomics and the frequently used laboratory techniques and the fifth chapter is then occupied with polyhydroxyalkanoates, especially their chemical structure and properties. In Chapter Six, a general Boolean model for PHA production by thermophilic bacteria is proposed. Chapter Seven then aims at model refinement with focus on S. thermodepolymerans. The final dynamic model is analysed and the results are discussed.
121. Systems Metagenomics: Applying Systems Biology Thinking to Human Microbiome Analysis
- Author
-
Radwan, Golestan Sally, Shanahan, Hugh, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Češka, Milan, editor, and Šafránek, David, editor
- Published
- 2018
- Full Text
- View/download PDF
122. LNA++: Linear Noise Approximation with First and Second Order Sensitivities
- Author
-
Feigelman, Justin, Weindl, Daniel, Theis, Fabian J., Marr, Carsten, Hasenauer, Jan, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Češka, Milan, editor, and Šafránek, David, editor
- Published
- 2018
- Full Text
- View/download PDF
123. On the Full Control of Boolean Networks
- Author
-
Paul, Soumya, Pang, Jun, Su, Cui, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Češka, Milan, editor, and Šafránek, David, editor
- Published
- 2018
- Full Text
- View/download PDF
124. Buffering Gene Expression Noise by MicroRNA Based Feedforward Regulation
- Author
-
Bokes, Pavol, Hojcka, Michal, Singh, Abhyudai, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Češka, Milan, editor, and Šafránek, David, editor
- Published
- 2018
- Full Text
- View/download PDF
125. On Robustness Computation and Optimization in BIOCHAM-4
- Author
-
Fages, François, Soliman, Sylvain, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Češka, Milan, editor, and Šafránek, David, editor
- Published
- 2018
- Full Text
- View/download PDF
126. KaSa: A Static Analyzer for Kappa
- Author
-
Boutillier, Pierre, Camporesi, Ferdinanda, Coquet, Jean, Feret, Jérôme, Lý, Kim Quyên, Theret, Nathalie, Vignet, Pierre, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Češka, Milan, editor, and Šafránek, David, editor
- Published
- 2018
- Full Text
- View/download PDF
127. Reparametrizing the Sigmoid Model of Gene Regulation for Bayesian Inference
- Author
-
Modrák, Martin, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Češka, Milan, editor, and Šafránek, David, editor
- Published
- 2018
- Full Text
- View/download PDF
128. Computing Diverse Boolean Networks from Phosphoproteomic Time Series Data
- Author
-
Razzaq, Misbah, Kaminski, Roland, Romero, Javier, Schaub, Torsten, Bourdon, Jeremie, Guziolowski, Carito, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Češka, Milan, editor, and Šafránek, David, editor
- Published
- 2018
- Full Text
- View/download PDF
129. Synthesis for Vesicle Traffic Systems
- Author
-
Gupta, Ashutosh, Mani, Somya, Shukla, Ankit, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Češka, Milan, editor, and Šafránek, David, editor
- Published
- 2018
- Full Text
- View/download PDF
130. Stochastic Rate Parameter Inference Using the Cross-Entropy Method
- Author
-
Revell, Jeremy, Zuliani, Paolo, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Češka, Milan, editor, and Šafránek, David, editor
- Published
- 2018
- Full Text
- View/download PDF
131. ASSA-PBN 3.0: Analysing Context-Sensitive Probabilistic Boolean Networks
- Author
-
Mizera, Andrzej, Pang, Jun, Qu, Hongyang, Yuan, Qixia, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Češka, Milan, editor, and Šafránek, David, editor
- Published
- 2018
- Full Text
- View/download PDF
132. Derivation of a Biomass Proxy for Dynamic Analysis of Whole Genome Metabolic Models
- Author
-
Self, Timothy, Gilbert, David, Heiner, Monika, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Češka, Milan, editor, and Šafránek, David, editor
- Published
- 2018
- Full Text
- View/download PDF
133. Formal Analysis of Network Motifs
- Author
-
Kugler, Hillel, Dunn, Sara-Jane, Yordanov, Boyan, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Češka, Milan, editor, and Šafránek, David, editor
- Published
- 2018
- Full Text
- View/download PDF
134. Characterization of the Experimentally Observed Clustering of VEGF Receptors
- Author
-
Güven, Emine, Wester, Michael J., Wilson, Bridget S., Edwards, Jeremy S., Halász, Ádám M., Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Češka, Milan, editor, and Šafránek, David, editor
- Published
- 2018
- Full Text
- View/download PDF
135. Deep Abstractions of Chemical Reaction Networks
- Author
-
Bortolussi, Luca, Palmieri, Luca, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Češka, Milan, editor, and Šafránek, David, editor
- Published
- 2018
- Full Text
- View/download PDF
136. A Trace Query Language for Rule-Based Models
- Author
-
Laurent, Jonathan, Medina-Abarca, Hector F., Boutillier, Pierre, Yang, Jean, Fontana, Walter, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Češka, Milan, editor, and Šafránek, David, editor
- Published
- 2018
- Full Text
- View/download PDF
137. Modeling and Engineering Promoters with Pre-defined RNA Production Dynamics in Escherichia Coli
- Author
-
Oliveira, Samuel M. D., Bahrudeen, Mohamed N. M., Startceva, Sofia, Kandavalli, Vinodh, Ribeiro, Andre S., Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Češka, Milan, editor, and Šafránek, David, editor
- Published
- 2018
- Full Text
- View/download PDF
138. Composable Rate-Independent Computation in Continuous Chemical Reaction Networks
- Author
-
Chalk, Cameron, Kornerup, Niels, Reeves, Wyatt, Soloveichik, David, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Češka, Milan, editor, and Šafránek, David, editor
- Published
- 2018
- Full Text
- View/download PDF
139. Inferring Mechanism of Action of an Unknown Compound from Time Series Omics Data
- Author
-
Vertes, Akos, Arul, Albert-Baskar, Avar, Peter, Korte, Andrew R., Li, Hang, Nemes, Peter, Parvin, Lida, Stopka, Sylwia, Hwang, Sunil, Sahab, Ziad J., Zhang, Linwen, Bunin, Deborah I., Knapp, Merrill, Poggio, Andrew, Stehr, Mark-Oliver, Talcott, Carolyn L., Davis, Brian M., Dinn, Sean R., Morton, Christine A., Sevinsky, Christopher J., Zavodszky, Maria I., Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Češka, Milan, editor, and Šafránek, David, editor
- Published
- 2018
- Full Text
- View/download PDF
140. Experimental Biological Protocols with Formal Semantics
- Author
-
Abate, Alessandro, Cardelli, Luca, Kwiatkowska, Marta, Laurenti, Luca, Yordanov, Boyan, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Češka, Milan, editor, and Šafránek, David, editor
- Published
- 2018
- Full Text
- View/download PDF
141. Programming Substrate-Independent Kinetic Barriers with Thermodynamic Binding Networks
- Author
-
Breik, Keenan, Chalk, Cameron, Doty, David, Haley, David, Soloveichik, David, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Češka, Milan, editor, and Šafránek, David, editor
- Published
- 2018
- Full Text
- View/download PDF
142. Robust Data-Driven Control of Artificial Pancreas Systems Using Neural Networks
- Author
-
Dutta, Souradeep, Kushner, Taisa, Sankaranarayanan, Sriram, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Češka, Milan, editor, and Šafránek, David, editor
- Published
- 2018
- Full Text
- View/download PDF
143. Model Checking Tap Withdrawal in C. Elegans
- Author
-
Islam, Md. Ariful, De Francisco, Richard, Fan, Chuchu, Grosu, Radu, Mitra, Sayan, Smolka, Scott A., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Abate, Alessandro, editor, and Šafránek, David, editor
- Published
- 2015
- Full Text
- View/download PDF
144. Analysis of Cellular Proliferation and Survival Signaling by Using Two Ligand/Receptor Systems Modeled by Pathway Logic
- Author
-
Santos-García, Gustavo, Talcott, Carolyn, De Las Rivas, Javier, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Abate, Alessandro, editor, and Šafránek, David, editor
- Published
- 2015
- Full Text
- View/download PDF
145. Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic
- Author
-
Bartocci, Ezio, Bortolussi, Luca, Milios, Dimitrios, Nenzi, Laura, Sanguinetti, Guido, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Abate, Alessandro, editor, and Šafránek, David, editor
- Published
- 2015
- Full Text
- View/download PDF
146. Synthesising Robust and Optimal Parameters for Cardiac Pacemakers Using Symbolic and Evolutionary Computation Techniques
- Author
-
Kwiatkowska, Marta, Mereacre, Alexandru, Paoletti, Nicola, Patanè, Andrea, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Abate, Alessandro, editor, and Šafránek, David, editor
- Published
- 2015
- Full Text
- View/download PDF
147. Solving General Auxin Transport Models with a Numerical Continuation Toolbox in Python: PyNCT
- Author
-
Draelants, Delphine, Kłosiewicz, Przemysław, Broeckhove, Jan, Vanroose, Wim, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Abate, Alessandro, editor, and Šafránek, David, editor
- Published
- 2015
- Full Text
- View/download PDF
148. Model-Based Whole-Genome Analysis of DNA Methylation Fidelity
- Author
-
Bock, Christoph, Bortolussi, Luca, Krüger, Thilo, Mikeev, Linar, Wolf, Verena, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Abate, Alessandro, editor, and Šafránek, David, editor
- Published
- 2015
- Full Text
- View/download PDF
149. Efficient Reduction of Kappa Models by Static Inspection of the Rule-Set
- Author
-
Beica, Andreea, Guet, Calin C., Petrov, Tatjana, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Abate, Alessandro, editor, and Šafránek, David, editor
- Published
- 2015
- Full Text
- View/download PDF
150. Parallelized Parameter Estimation of Biological Pathway Models
- Author
-
Ramanathan, R., Zhang, Yan, Zhou, Jun, Gyori, Benjamin M., Wong, Weng-Fai, Thiagarajan, P. S., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Abate, Alessandro, editor, and Šafránek, David, editor
- Published
- 2015
- Full Text
- View/download PDF
Catalog
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.