rhz

<!DOCTYPE node PUBLIC "-//freedesktop//DTD D-BUS Object Introspection 1.0//EN"
          "http://www.freedesktop.org/standards/dbus/1.0/introspect.dtd">
<node>
  <interface name="org.freedesktop.DBus.Introspectable">
    <method name="Introspect">
      <arg name="xml" type="s" direction="out"/>
    </method>
  </interface>
  <interface name="org.bluez.Device1">
    <method name="Disconnect"></method>

rhz

% This is for XeLaTeX
\documentclass[12pt,svgnames,dvipsnames]{beamer}

% https://kbroman.org/blog/2013/10/07/better-looking-latexbeamer-slides/
\usepackage{graphicx}

\setbeameroption{hide notes}
\setbeamertemplate{note page}[plain]

% use the default Beamer theme

rhz

bluetoothd[31844]: Bluetooth daemon 5.50
bluetoothd[31844]: src/main.c:parse_config() parsing /etc/bluetooth/main.conf
bluetoothd[31844]: src/main.c:parse_config() Key file does not have key “DiscoverableTimeout” in group “General”
bluetoothd[31844]: src/main.c:parse_config() Key file does not have key “PairableTimeout” in group “General”
bluetoothd[31844]: src/main.c:parse_config() Key file does not have key “Privacy” in group “General”
bluetoothd[31844]: src/main.c:parse_config() Key file does not have key “Name” in group “General”
bluetoothd[31844]: src/main.c:parse_config() Key file does not have key “Class” in group “General”
bluetoothd[31844]: src/main.c:parse_config() Key file does not have key “DeviceID” in group “General”
bluetoothd[31844]: src/main.c:parse_config() Key file does not have key “ReverseServiceDiscovery” in group “General”
bluetoothd[31844]: src/main.c:parse_config() Key file does not have key “MinEncKeySize” in group “GATT”

rhz

data Nat : Set where
  zero : Nat
  suc  : Nat -> Nat

data Vec (A : Set) : Nat -> Set where
  []   : Vec A zero
  _::_ : {n : Nat} -> A -> Vec A n -> Vec A (suc n)

data Fin : Nat -> Set where
  fzero : {n : Nat} -> Fin (suc n)

rhz

module Main where

import System.Process
import System.Environment (getArgs)
import Data.List (intercalate)

data Gender = Male
            | Female

data Var = FirstValue

rhz

JOB "Main 1.kappa 10000 0 500 +RTS -hc -T"
DATE "Fri Mar 16 08:01 2012"
SAMPLE_UNIT "seconds"
VALUE_UNIT "bytes"
BEGIN_SAMPLE 0.00
END_SAMPLE 0.00
BEGIN_SAMPLE 0.09
(898)CAF:nodeOfId	16
(2523)findNewInjs.ccIdInjs/...	48
(1943)infinity/add.(...)/ad...	16

rhz

JOB "Main 1.kappa 10000 0 500 +RTS -hc -T"
DATE "Fri Mar 16 08:13 2012"
SAMPLE_UNIT "seconds"
VALUE_UNIT "bytes"
BEGIN_SAMPLE 0.00
END_SAMPLE 0.00
BEGIN_SAMPLE 0.09
(2524)create/findNewInjs.cc...	104
(1740)evalMixture/evalObs.a...	192
(2308)diff.addModifications...	64

rhz

import qualified Data.Map as Map
import qualified Data.Set as Set

type IntMap = Map.Map Int Int
type IntSet = Set.Set Int

extend :: IntMap -> IntSet -> IntMap -> Maybe (IntMap, IntSet)
extend inj codom map = Map.foldrWithKey f (Just (inj, codom)) map
  where f :: Int -> Int -> Maybe (IntMap, IntSet) -> Maybe (IntMap, IntSet)
        f i j (Just (inj, codom)) = if Set.member j codom

rhz

import qualified Data.Map as Map
import qualified Data.Set as Set
import Data.Maybe
import Data.List
import Random (randomRIO)
import qualified Data.Enumerator as E
import qualified Data.Enumerator.List as EL

type Mol = String
type Mixture = Map.Map Mol Integer

rhz

import qualified Data.Map as Map

type Mol = String
type Mixture = Map.Map Mol Integer
type Rxn = (Mixture, (Mixture -> Mixture), Double)

getActivities :: [Rxn] -> Mixture -> [Double]
getActivities rxns mixture =
  let f acc mol sc = if sc == 1 -- sc is stoichiometric coefficient
                       then fromIntegral $ mixture Map.! mol