Connectivity measures for internet topologies on the level of autonomous systems

Classical measures of network connectivity are the number of disjoint paths between a pair of nodes and the size of a minimum cut. For standard graphs, these measures can be computed efficiently using network flow techniques. However, in the Internet on the level of autonomous systems (ASs), referred to as AS-level Internet, routing policies impose restrictions on the paths that traffic can take in the network. These restrictions can be captured by the valley-free path model, which assumes a special directed graph model in which edge types represent relationships between ASs. We consider the adaptation of the classical connectivity measures to the valley-free path model, where it is -hard to compute them. Our first main contribution consists of presenting algorithms for the computation of disjoint paths, and minimum cuts, in the valley-free path model. These algorithms are useful for ASs that want to evaluate different options for selecting upstream providers to improve the robustness of their connection to the Internet. Our second main contribution is an experimental evaluation of our algorithms on four types of directed graph models of the AS-level Internet produced by different inference algorithms. Most importantly, the evaluation shows that our algorithms are able to compute optimal solutions to instances of realistic size of the connectivity problems in the valley-free path model in reasonable time. Furthermore, our experimental results provide information about the characteristics of the directed graph models of the AS-level Internet produced by different inference algorithms. It turns out that (i) we can quantify the difference between the undirected AS-level topology and the directed graph models with respect to fundamental connectivity measures, and (ii) the different inference algorithms yield topologies that are similar with respect to connectivity and are different with respect to the types of paths that exist between pairs of ASs.

High leverage interventions: three cases of defensive action and their lessons for OR/MS today.

This paper has two aims. First, to present cases in which scientists developed a defensive system for their homeland: Blackett and the air defense of Britain in WWII, Forrester and the SAGE system for North America in the Cold War, and Archimedes’ work defending Syracuse during the Second Punic War. In each case the historical context and the individual’s other achievements are outlined, and a description of the contribution’s relationship to OR/MS is given. The second aim is to consider some of the features the cases share and examine them in terms of contemporary OR/MS methodology. Particular reference is made to a recent analysis of the field’s strengths and weaknesses. This allows both a critical appraisal of the field and a set of potential responses for strengthening it. Although a mixed set of lessons arise, the overall conclusion is that the cases are examples to build on and that OR/MS retains the ability to do high stakes work.

The National Audit Office uses OR to assess the value for money of public services

Supreme audit institutions (SAIs) have an important role in assessing value for money in the delivery of public services. Assessing value for money necessarily involves assessing counterfactuals: good value for money has been achieved if a policy could not reasonably have been delivered more efficiently, effectively, or economically. Operations research modelling has the potential to help in the assessment of these counterfactuals. However, is such modelling too arcane, complex, and technically burdensome for organisations that, like SAIs, operate in a time- and resource-constrained and politically charged environment? We report on three applications of modelling at the UK's SAI, the National Audit Office, in the context of studies on demand management in tax collection, end-of-life care, and health-care associated infections. In all cases, the models have featured in the audit reports and helped study teams come to a value-for-money judgment. We conclude that OR modelling is indeed a valuable addition to the value-for-money auditor's methodological tool box.

Multi-agent based modeling and simulation of complex system in hospital

This study puts forward a method to model and simulate the complex system of hospital on the basis of multi-agent technology. The formation of the agents of hospitals with intelligent and coordinative characteristics was designed, the message object was defined, and the model operating mechanism of autonomous activities and coordination mechanism was also designed. In addition, the Ontology library and Norm library etc. were introduced using semiotic method and theory, to enlarge the method of system modelling. Swarm was used to develop the multi-agent based simulation system, which is favorable for making guidelines for hospital's improving it's organization and management, optimizing the working procedure, improving the quality of medical care as well as reducing medical charge costs.

Modeling bidding competitiveness and position performance in multi-attribute construction auctions

Currently, multi-attribute auctions are becoming widespread awarding mechanisms for contracts in construction, and in these auctions, criteria other than price are taken into account for ranking bidder proposals. Therefore, being the lowest-price bidder is no longer a guarantee of being awarded, thus increasing the importance of measuring any bidder’s performance when not only the first position (lowest price) matters. Modeling position performance allows a tender manager to calculate the probability curves related to the more likely positions to be occupied by any bidder who enters a competitive auction irrespective of the actual number of future participating bidders. This paper details a practical methodology based on simple statistical calculations for modeling the performance of a single bidder or a group of bidders, constituting a useful resource for analyzing one’s own success while benchmarking potential bidding competitors.

The multiple team formation problem using sociometry

The Team Formation problem (TFP) has become a well-known problem in the OR literature over the last few years. In this problem, the allocation of multiple individuals that match a required set of skills as a group must be chosen to maximise one or several social positive attributes. Speci�cally, the aim of the current research is two-fold. First, two new dimensions of the TFP are added by considering multiple projects and fractions of people's dedication. This new problem is named the Multiple Team Formation Problem (MTFP). Second, an optimization model consisting in a quadratic objective function, linear constraints and integer variables is proposed for the problem. The optimization model is solved by three algorithms: a Constraint Programming approach provided by a commercial solver, a Local Search heuristic and a Variable Neighbourhood Search metaheuristic. These three algorithms constitute the first attempt to solve the MTFP, being a variable neighbourhood local search metaheuristic the most effi�cient in almost all cases. Applications of this problem commonly appear in real-life situations, particularly with the current and ongoing development of social network analysis. Therefore, this work opens multiple paths for future research.

Establishment of a Brazilian Line of Human Embryonic Stem Cells in Defined Medium: Implications for Cell Therapy in an Ethnically Diverse Population

Pluripotent human embryonic stem (hES) cells are an important experimental tool for basic and applied research, and a potential source of different tissues for transplantation. However, one important challenge for the clinical use of these cells is the issue of immunocompatibility, which may be dealt with by the establishment of hES cell banks to attend different populations. Here we describe the derivation and characterization of a line of hES cells from the Brazilian population, named BR-I, in commercial defined medium. In contrast to the other hES cell lines established in defined medium, BR-I maintained a stable normal karyotype as determined by genomic array analysis after 6 months in continuous culture (passage 29). To our knowledge, this is the first reported line of hES cells derived in South America. We have determined its genomic ancestry and compared the HLA-profile of BR-I and another 22 hES cell lines established elsewhere with those of the Brazilian population, finding they would match only 0.011% of those individuals. Our results highlight the challenges involved in hES cell banking for populations with a high degree of ethnic admixture.

Isolation, Characterization, and Differentiation Potential of Canine Adipose-Derived Stem Cells

Adipose tissue may represent a potential source of adult stem cells for tissue engineering applications in veterinary medicine. It can be obtained in large quantities, under local anesthesia, and with minimal discomfort. In this study, canine adipose tissue was obtained by biopsy from subcutaneous adipose tissue or by suction-assisted lipectomy (i.e., liposuction). Adipose tissue was processed to obtain a fibroblast-like population of cells similar to human adipose-derived stem cells (hASCs). These canine adipose-derived stem cells (cASCs) can be maintained in vitro for extended periods with stable population doubling and low levels of senescence. Immunofluorescence and flow cytometry show that the majority of cASCs are of mesodermal or mesenchymal origin. cASCs are able to differentiate in vitro into adipogenic, chondrogenic, myogenic, and osteogenic cells in the presence of lineage-specific induction factors. In conclusion, like human lipoaspirate, canine adipose tissue may also contain multipotent cells and represent an important stem cell source both for veterinary cell therapy as well as preclinical studies.