Search

Your search keyword '"Šafránek, David"' showing total 246 results

Search Constraints

Start Over You searched for: Author "Šafránek, David" Remove constraint Author: "Šafránek, David"
246 results on '"Šafránek, David"'

Search Results

101. Preface

102. Contributors

103. Competition of selected sports centers in the region

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.

106. Second world war in American film

110. Pokročilé výpočetní metody pro detekci CNV v bakteriálních genomech

111. Dolování rozpustných enzymů z genomických databází

112. Pokročilé výpočetní metody pro detekci CNV v bakteriálních genomech

113. Pokročilé výpočetní metody pro detekci CNV v bakteriálních genomech

114. Dynamický model produkce polyhydroxyalkonoátů termofilní bakterií S. thermodepolymerans

115. Pokročilé metody genomové anotace a funkčního popisu nemodelových organismů v biotechnologickém výzkumu

116. Dynamický model produkce polyhydroxyalkonoátů termofilní bakterií S. thermodepolymerans

117. Dolování rozpustných enzymů z genomických databází

118. Dynamický model produkce polyhydroxyalkonoátů termofilní bakterií S. thermodepolymerans

119. Dynamický model produkce polyhydroxyalkonoátů termofilní bakterií S. thermodepolymerans

120. Dynamický model produkce polyhydroxyalkonoátů termofilní bakterií S. thermodepolymerans

121. Systems Metagenomics: Applying Systems Biology Thinking to Human Microbiome Analysis

122. LNA++: Linear Noise Approximation with First and Second Order Sensitivities

123. On the Full Control of Boolean Networks

124. Buffering Gene Expression Noise by MicroRNA Based Feedforward Regulation

125. On Robustness Computation and Optimization in BIOCHAM-4

126. KaSa: A Static Analyzer for Kappa

127. Reparametrizing the Sigmoid Model of Gene Regulation for Bayesian Inference

128. Computing Diverse Boolean Networks from Phosphoproteomic Time Series Data

129. Synthesis for Vesicle Traffic Systems

130. Stochastic Rate Parameter Inference Using the Cross-Entropy Method

131. ASSA-PBN 3.0: Analysing Context-Sensitive Probabilistic Boolean Networks

132. Derivation of a Biomass Proxy for Dynamic Analysis of Whole Genome Metabolic Models

133. Formal Analysis of Network Motifs

134. Characterization of the Experimentally Observed Clustering of VEGF Receptors

135. Deep Abstractions of Chemical Reaction Networks

136. A Trace Query Language for Rule-Based Models

137. Modeling and Engineering Promoters with Pre-defined RNA Production Dynamics in Escherichia Coli

138. Composable Rate-Independent Computation in Continuous Chemical Reaction Networks

139. Inferring Mechanism of Action of an Unknown Compound from Time Series Omics Data

140. Experimental Biological Protocols with Formal Semantics

141. Programming Substrate-Independent Kinetic Barriers with Thermodynamic Binding Networks

142. Robust Data-Driven Control of Artificial Pancreas Systems Using Neural Networks

143. Model Checking Tap Withdrawal in C. Elegans

144. Analysis of Cellular Proliferation and Survival Signaling by Using Two Ligand/Receptor Systems Modeled by Pathway Logic

145. Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic

146. Synthesising Robust and Optimal Parameters for Cardiac Pacemakers Using Symbolic and Evolutionary Computation Techniques

147. Solving General Auxin Transport Models with a Numerical Continuation Toolbox in Python: PyNCT

148. Model-Based Whole-Genome Analysis of DNA Methylation Fidelity

149. Efficient Reduction of Kappa Models by Static Inspection of the Rule-Set

150. Parallelized Parameter Estimation of Biological Pathway Models

Catalog

Books, media, physical & digital resources