Sökning: "Pathway enumeration"

Hittade 2 avhandlingar innehållade orden Pathway enumeration.

  1. 1. Adaptations and constraints associated with autotrophy in microbial metabolism

    Författare :Johannes Asplund Samuelsson; Elton P. Hudson; Adil Mardinoglu; Costas D. Maranas; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Autotrophy; Carbon fixation; CO2 fixation; Calvin cycle; CBB cycle; Bacteria; Archaea; Prokaryotes; Cyanobacteria; Synechocystis; E. coli; Comparative genomics; Metabolic engineering; Microbial metabolism; Machine learning; Systems biology; Ribosome profiling; Kinetic modeling; Enzyme kinetics; Metabolic models; Pathway enumeration; Biosynthesis pathways; Metabolomics; Metabolite concentrations; Thermodynamics; Autotrofi; Kolfixering; CO2-fixering; Calvincykeln; CBB-cykeln; Bakterier; Arkéer; Prokaryoter; Cyanobakterier; Synechocystis; E. coli; Jämförande genomik; Metabolisk ingenjörskonst; Mikrobiell metabolism; Maskininlärning; Systembiologi; Ribosomprofilering; Kinetisk modellering; Enzymkinetik; Metaboliska modeller; Syntesvägsuppräkning; Biosyntesvägar; Metabolomik; Metabolitkoncentrationer; Termodynamik; Bioteknologi; Biotechnology;

    Sammanfattning : Carbon dioxide (CO2) emissions from human activities are driving climate change, but the pending crisis could be mitigated by a circular carbon economy where released CO2 is recycled into commodity chemicals. Autotrophic microbes can make a contribution by producing chemicals, such as biofuels, from CO2 and renewable energy. LÄS MER

  3. 2. Formal Verification of Tree Ensembles in Safety-Critical Applications

    Författare :John Törnblom; Simin Nadjm-Tehrani; Ingemar Söderquist; Joao Marques-Silva; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Formal verification; Machine learning; Tree ensembles;

    Sammanfattning : In the presence of data and computational resources, machine learning can be used to synthesize software automatically. For example, machines are now capable of learning complicated pattern recognition tasks and sophisticated decision policies, two key capabilities in autonomous cyber-physical systems. LÄS MER