Counting matroids in minor-closed classes

A flat cover is a collection of flats identifying the non-bases of a matroid. We introduce the notion of cover complexity, the minimal size of such a flat cover, as a measure for the complexity of a matroid, and present bounds on the number of matroids on $n$ elements whose cover complexity is bounded. We apply cover complexity to show that the class of matroids without an $N$-minor is asymptotically small in case $N$ is one of the sparse paving matroids $U_{2,k}$, $U_{3,6}$, $P_6$, $Q_6$, or $R_6$, thus confirming a few special cases of a conjecture due to Mayhew, Newman, Welsh, and Whittle. On the other hand, we show a lower bound on the number of matroids without $M(K_4)$-minor which asymptoticaly matches the best known lower bound on the number of all matroids, due to Knuth.Comment: 13 pages, 3 figure

Applying Formal Methods to Gossiping Networks with mCRL and Groove

In this paper we explore the practical possibilities of using formal methods to analyze gossiping networks. In particular, we use mCRL and Groove to model the peer sampling service, and analyze it through a series of model transformations to CTMCs and finally MRMs. Our tools compute the expected value of various network quality indicators, such as average path lengths, over all possible system runs. Both transient and steady state analysis are supported. We compare our results with the simulation and emulation results found in [10]

Tetrahydrofuran (co)polymers as potential materials for vascular prostheses

Polyethers were studied as potential materials for vascular prostheses. By crosslinking poly(tetramethylene oxide) (PTMO) with poly(ethylene oxide) (PEO), hydrophilic networks were obtained containing PTMO as well as PEO. Attempts were made to reduce the crystallinity and melting point of PTMO because of the required elastomeric behaviour at body temperature. Compared to non-crosslinked PTMO, crosslinking in the melt resulted in a decrease in the melting point from 43·7 to 38·7°C and a decrease of the crystallinity from 46 to 28%. By copolymerizing tetrahydrofuran with oxetane or dimethyloxetane, melting points below 38°C were obtained, together with crystallinities lower than 20%

Forelimb muscle and joint actions in Archosauria: insights from Crocodylus johnstoni (Pseudosuchia) and Mussaurus patagonicus (Sauropodomorpha)

Many of the major locomotor transitions during the evolution of Archosauria, the lineage including crocodiles and birds as well as extinct Dinosauria, were shifts from quadrupedalism to bipedalism (and vice versa). Those occurred within a continuum between more sprawling and erect modes of locomotion and involved drastic changes of limb anatomy and function in several lineages, including sauropodomorph dinosaurs. We present biomechanical computer models of two locomotor extremes within Archosauria in an analysis of joint ranges of motion and the moment arms of the major forelimb muscles in order to quantify biomechanical differences between more sprawling, pseudosuchian (represented the crocodile Crocodylus johnstoni) and more erect, dinosaurian (represented by the sauropodomorph Mussaurus patagonicus) modes of forelimb function. We compare these two locomotor extremes in terms of the reconstructed musculoskeletal anatomy, ranges of motion of the forelimb joints and the moment arm patterns of muscles across those ranges of joint motion. We reconstructed the three-dimensional paths of 30 muscles acting around the shoulder, elbow and wrist joints. We explicitly evaluate how forelimb joint mobility and muscle actions may have changed with postural and anatomical alterations from basal archosaurs to early sauropodomorphs. We thus evaluate in which ways forelimb posture was correlated with muscle leverage, and how such differences fit into a broader evolutionary context (i.e. transition from sprawling quadrupedalism to erect bipedalism and then shifting to graviportal quadrupedalism). Our analysis reveals major differences of muscle actions between the more sprawling and erect models at the shoulder joint. These differences are related not only to the articular surfaces but also to the orientation of the scapula, in which extension/flexion movements in Crocodylus (e.g. protraction of the humerus) correspond to elevation/depression in Mussaurus. Muscle action is highly influenced by limb posture, more so than morphology. Habitual quadrupedalism in Mussaurus is not supported by our analysis of joint range of motion, which indicates that glenohumeral protraction was severely restricted. Additionally, some active pronation of the manus may have been possible in Mussaurus, allowing semi-pronation by a rearranging of the whole antebrachium (not the radius against the ulna, as previously thought) via long-axis rotation at the elbow joint. However, the muscles acting around this joint to actively pronate it may have been too weak to drive or maintain such orientations as opposed to a neutral position in between pronation and supination. Regardless, the origin of quadrupedalism in Sauropoda is not only linked to manus pronation but also to multiple shifts of forelimb morphology, allowing greater flexion movements of the glenohumeral joint and a more columnar forelimb posture