Nutritional management in a horse after caecocolic intussusception with almost total typhlectomy : a case report

A 17-year-old Haflinger gelding was referred to the Faculty of Veterinary Medicine for evaluation and treatment of acute colic. Clinical examination resulted in a presumptive diagnosis of caecocolic intussusception, which was confirmed by exploratory laparotomy. Due to severe compromise of the caecal apex wall, a partial typhlectomy was performed. Information about optimal nutritional management of typhlectomised horses is unfortunately rather limited. While immediate postsurgical support focuses on maintaining current bodyweight, the long-term goal is to obtain and maintain an optimal body condition score. In this case, postoperative nutritional support focused initially on a low-bulk diet that would be primarily digested in the small intestine, while providing sufficient fibre to provide colonocytes with an energy source. One month after surgery, a slow transition towards a more traditional diet containing long-stem roughage was made. This is the first case report describing a detailed successful nutritional approach up until six months postoperatively

Having Fun in Learning Formal Specifications

There are many benefits in providing formal specifications for our software. However, teaching students to do this is not always easy as courses on formal methods are often experienced as dry by students. This paper presents a game called FormalZ that teachers can use to introduce some variation in their class. Students can have some fun in playing the game and, while doing so, also learn the basics of writing formal specifications in the form of pre- and post-conditions. Unlike existing software engineering themed education games such as Pex and Code Defenders, FormalZ takes the deep gamification approach where playing gets a more central role in order to generate more engagement. This short paper presents our work in progress: the first implementation of FormalZ along with the result of a preliminary users' evaluation. This implementation is functionally complete and tested, but the polishing of its user interface is still future work

Gastrostomy tube placement via a laparotomic procedure in growing conventional piglets to perform multi-dose preclinical paediatric drug studies

The use of juvenile conventional pigs as a preclinical animal model to perform pharmacokinetic (PK), pharmacodynamic (PD) and safety studies for the paediatric population is increasing. Repetitive oral administration of drugs to juvenile pigs is however challenging. A representative method which can be used from birth till adulthood is necessary. The current study presents the placement and use of a gastrostomy button in pigs with a weight ranging from 2.4 to 161 kg. The surgical placement was performed via a laparotomic procedure on, each time, 12 pigs (six male, six female) of 1 week, 4 weeks, 8 weeks and 6-7 months old. For every age category, eight pigs were part of a PK study with a non-steroidal anti-inflammatory drug (NSAID) and four pigs served as a control group. No severe complications were observed during surgery. The button remained functional for 10 days in 40 out of 48 pigs. No significant differences in body temperature or white blood cell count were observed during the trial. Three control pigs showed signs of inflammation indicating a NSAID might be warranted. Autopsy revealed minimal signs of major inflammation in the abdominal cavity or the stomach. A limited number of pigs showed mucosal inflammation, ulcers or abscesses in the stomach or around the fistula. These results indicate that the laparotomic placement of a gastrostomy button might be considered safe and easy in growing pigs to perform repetitive oral dosing preclinical studies. However, the method is not advised in pigs weighing more than 100 kg