Evaluating how agent methodologies support the specification of the normative environment through the development process

[EN] Due to the increase in collaborative work and the decentralization of processes in many domains, there is an expanding demand for large-scale, flexible and adaptive software systems to support the interactions of people and institutions distributed in heterogeneous environments. Commonly, these software applications should follow specific regulations meaning the actors using them are bound by rights, duties and restrictions. Since this normative environment determines the final design of the software system, it should be considered as an important issue during the design of the system. Some agent-oriented software engineering methodologies deal with the development of normative systems (systems that have a normative environment) by integrating the analysis of the normative environment of a system in the development process. This paper analyses to what extent these methodologies support the analysis and formalisation of the normative environment and highlights some open issues of the topic.This work is partially supported by the PROMETEOII/2013/019, TIN2012-36586-C03-01, FP7-29493, TIN2011-27652-C03-00, CSD2007-00022 projects, and the CASES project within the 7th European Community Framework Program under the grant agreement No 294931.Garcia Marques, ME.; Miles, S.; Luck, M.; Giret Boggino, AS. (2014). Evaluating how agent methodologies support the specification of the normative environment through the development process. Autonomous Agents and Multi-Agent Systems. 1-20. https://doi.org/10.1007/s10458-014-9275-zS120Cossentino, M., Hilaire, V., Molesini, A., & Seidita, V. (Eds.). (2014). Handbook on agent-oriented design processes (Vol. VIII, 569 p. 508 illus.). Berlin: Springer.Akbari, O. (2010). A survey of agent-oriented software engineering paradigm: Towards its industrial acceptance. Journal of Computer Engineering Research, 1, 14–28.Argente, E., Botti, V., Carrascosa, C., Giret, A., Julian, V., & Rebollo, M. (2011). An abstract architecture for virtual organizations: The THOMAS approach. Knowledge and Information Systems, 29(2), 379–403.Argente, E., Botti, V., & Julian, V. (2009). GORMAS: An organizational-oriented methodological guideline for open MAS. In Proceedings of AOSE’09 (pp. 440–449).Argente, E., Botti, V., & Julian, V. (2009). Organizational-oriented methodological guidelines for designing virtual organizations. In Distributed computing, artificial intelligence, bioinformatics, soft computing, and ambient assisted living. Lecture Notes in Computer Science (Vol. 5518, pp. 154–162).Boella, G., Pigozzi, G., & van der Torre, L. (2009). Normative systems in computer science—Ten guidelines for normative multiagent systems. In G. Boella, P. Noriega, G. Pigozzi, & H. Verhagen (Eds.), Normative multi-agent systems, number 09121 in Dagstuhl seminar proceedings.Boella, G., Torre, L., & Verhagen, H. (2006). Introduction to normative multiagent systems. Computational and Mathematical Organization Theory, 12(2–3), 71–79.Bogdanovych, A., Esteva, M., Simoff, S., Sierra, C., & Berger, H. (2008). A methodology for developing multiagent systems as 3d electronic institutions. In M. Luck & L. Padgham (Eds.), Agent-Oriented Software Engineering VIII (Vol. 4951, pp. 103–117). Lecture Notes in Computer Science. Berlin: Springer.Boissier, O., Padget, J., Dignum, V., Lindemann, G., Matson, E., Ossowski, S., Sichman, J., & Vazquez-Salceda, J. (2006). Coordination, organizations, institutions and norms in multi-agent systems. LNCS (LNAI) (Vol. 3913).Bordini, R. H., Fisher, M., Visser, W., & Wooldridge, M. (2006). Verifying multi-agent programs by model checking. In Autonomous agents and multi-agent systems (Vol. 12, pp. 239–256). Hingham, MA: Kluwer Academic Publishers.Botti, V., Garrido, A., Giret, A., & Noriega, P. (2011). The role of MAS as a decision support tool in a water-rights market. In Post-proceedings workshops AAMAS2011 (Vol. 7068, pp. 35–49). Berlin: Springer.Breaux, T. (2009). Exercising due diligence in legal requirements acquisition: A tool-supported, frame-based approach. In Proceedings of the IEEE international requirements engineering conference (pp. 225–230).Breaux, T. D., & Baumer, D. L. (2011). Legally reasonable security requirements: A 10-year ftc retrospective. Computers and Security, 30(4), 178–193.Breaux, T. D., Vail, M. W., & Anton, A. I. (2006). Towards regulatory compliance: Extracting rights and obligations to align requirements with regulations. In Proceedings of the 14th IEEE international requirements engineering conference, RE ’06 (pp. 46–55). Washington, DC: IEEE Computer Society.Bresciani, P., Perini, A., Giorgini, P., Giunchiglia, F., & Mylopoulos, J. (2004). Tropos: An agent-oriented software development methodology. Autonomous Agents and Multi-Agent Systems, 8(3), 203–236.Cardoso, H. L., & Oliveira, E. (2008). A contract model for electronic institutions. In COIN’07: Proceedings of the 2007 international conference on Coordination, organizations, institutions, and norms in agent systems III (pp. 27–40).Castor, A., Pinto, R. C., Silva, C. T. L. L., & Castro, J. (2004). Towards requirement traceability in tropos. In WER (pp. 189–200).Chopra, A., Dalpiaz, F., Giorgini, P., & Mylopoulos, J. (2009). Modeling and reasoning about service-oriented applications via goals and commitments. ICST conference on digital business.Cliffe, O., Vos, M., & Padget, J. (2006). Specifying and analysing agent-based social institutions using answer set programming. In O. Boissier, J. Padget, V. Dignum, G. Lindemann, E. Matson, S. Ossowski, J. Sichman, & J. Vázquez-Salceda (Eds.), Coordination, organizations, institutions, and norms in multi-agent systems. Lecture Notes in Computer Science (Vol. 3913, pp. 99–113). Springer. Berlin.Criado, N., Argente, E., Garrido, A., Gimeno, J. A., Igual, F., Botti, V., Noriega, P., & Giret, A. (2011). Norm enforceability in Electronic Institutions? In Coordination, organizations, institutions, and norms in agent systems VI (Vol. 6541, pp. 250–267). Springer.Dellarocas, C., & Klein, M. (2001). Contractual agent societies. In R. Conte & C. Dellarocas (Eds.), Social order in multiagent systems (Vol. 2, pp. 113–133)., Multiagent Systems, Artificial Societies, and Simulated Organizations New York: Springer.DeLoach, S. A. (2008). Developing a multiagent conference management system using the o-mase process framework. In Proceedings of the international conference on agent-oriented software engineering VIII (pp. 168–181).DeLoach, S. A., & Garcia-Ojeda, J. C. (2010). O-mase; a customisable approach to designing and building complex, adaptive multi-agent systems. International Journal of Agent-Oriented Software Engineering, 4(3), 244–280.DeLoach, S. A., Padgham, L., Perini, A., Susi, A., & Thangarajah, J. (2009). Using three aose toolkits to develop a sample design. International Journal Agent-Oriented Software Engineering, 3, 416–476.Dignum, F., Dignum, V., Thangarajah, J., Padgham, L., & Winikoff, M. (2007). Open agent systems? Eighth international workshop on agent oriented software engineering (AOSE) in AAMAS07.Dignum, V. (2003). A model for organizational interaction:based on agents, founded in logic. PhD thesis, Utrecht University.Dignum, V., Meyer, J., Dignum, F., & Weigand, H. (2003). Formal specification of interaction in agent societies. Formal approaches to agent-based systems (Vol. 2699).Dignum, V., Vazquez-Salceda, J., & Dignum, F. (2005). Omni: Introducing social structure, norms and ontologies into agent organizations. In R. Bordini, M. Dastani, J. Dix, & A. Seghrouchni (Eds.)Programming multi-agent systems. Lecture Notes in Computer Science (Vol. 3346, pp. 181–198). Berlin: Springer.d’Inverno, M., Luck, M., Noriega, P., Rodriguez-Aguilar, J., & Sierra, C. (2012). Communicating open systems, 186, 38–94.Elsenbroich, C., & Gilbert, N. (2014). Agent-based modelling. In Modelling norms (pp. 65–84). Dordrecht: Springer.Esteva, M., Rosell, B., Rodriguez, J. A., & Arcos, J. L. (2004). AMELI: An agent-based middleware for electronic institutions. In AAMAS04 (pp. 236–243).Fenech, S., Pace, G. J., & Schneider, G. (2009). Automatic conflict detection on contracts. In Proceedings of the 6th international colloquium on theoretical aspects of computing, ICTAC ’09 (pp. 200–214).Garbay, C., Badeig, F., & Caelen, J. (2012). Normative multi-agent approach to support collaborative work in distributed tangible environments. In Proceedings of the ACM 2012 conference on computer supported cooperative work companion, CSCW ’12 (pp. 83–86). New York, NY: ACM.Garcia, E., Giret, A., & Botti, V. (2011). Regulated open multi-agent systems based on contracts. In Information Systems Development (pp. 243–255).Garcia, E., Tyson, G., Miles, S., Luck, M., Taweel, A., Staa, T. V., & Delaney, B. (2012). An analysis of agent-oriented engineering of e-health systems. In 13th international eorkshop on sgent-oriented software engineering (AOSE-AAMAS).Garcia, E., Tyson, G., Miles, S., Luck, M., Taweel, A., Staa, T. V., and Delaney, B. (2013). Analysing the Suitability of Multiagent Methodologies for e-Health Systems. In Agent-Oriented Software Engineering XIII, volume 7852, pages 134–150. Springer-Verlag.Garrido, A., Giret, A., Botti, V., & Noriega, P. (2013). mWater, a case study for modeling virtual markets. In New perspectives on agreement technologies (Vol. Law, Gover, pp. 563–579). Springer.Gteau, B., Boissier, O., & Khadraoui, D. (2006). Multi-agent-based support for electronic contracting in virtual enterprises. IFAC Symposium on Information Control Problems in Manufacturing (INCOM), 150(3), 73–91.Hollander, C. D., & Wu, A. S. (2011). The current state of normative agent-based systems. Journal of Artificial Societies and Social Simulation, 14(2), 6.Hsieh, F.-S. (2005). Automated negotiation based on contract net and petri net. In E-commerce and web technologies. Lecture Notes in Computer Science (Vol. 3590, pp. 148–157).Kollingbaum, M., Jureta, I. J., Vasconcelos, W., & Sycara, K. (2008). Automated requirements-driven definition of norms for the regulation of behavior in multi-agent systems. In Proceedings of the AISB 2008 workshop on behaviour regulation in multi-agent systems, Aberdeen, Scotland, U.K., April 2008.Li, T., Balke, T., Vos, M., Satoh, K., & Padget, J. (2013). Detecting conflicts in legal systems. In Y. Motomura, A. Butler, & D. Bekki (Eds.), New Frontiers in Artificial Intelligence (Vol. 7856, pp. 174–189)., Lecture Notes in Computer Science Berlin Heidelberg: Springer.Lomuscio, A., Qu, H., & Solanki, M. (2010) Towards verifying contract regulated service composition. Journal of Autonomous Agents and Multi-Agent Systems (pp. 1–29).Lopez, F., Luck, M., & d’Inverno, M. (2006). A normative framework for agent-based systems. Computational and Mathematical Organization Theory, 12, 227–250.Lpez, F. y, Luck, M., & dInverno, M. (2006). A normative framework for agent-based systems. Computational and Mathematical Organization Theory, 12(2–3), 227–250.Mader, P., & Egyed, A. (2012). Assessing the effect of requirements traceability for software maintenance. In 28th IEEE International Conference on Software Maintenance (ICSM) (pp. 171–180), Sept 2012.Mao, X., & Yu, E. (2005). Organizational and social concepts in agent oriented software engineering. In AOSE IV. Lecture Notes in Artificial Intelligence (Vol. 3382, pp. 184–202).Meyer, J.-J. C., & Wieringa, R. J. (Eds.). (1993). Deontic logic in computer science: Normative system specification. Chichester, UK: Wiley.Okouya, D., & Dignum, V. (2008). Operetta: A prototype tool for the design, analysis and development of multi-agent organizations (demo paper). In AAMAS (pp. 1667–1678).Malone, T. W., Smith J. B., & Olson, G. M. (2001). Coordination theory and collaboration technology. Mahwah, NJ: Lawrence Erlbaum Associates.Oren, N., Panagiotidi, S., Vázquez-Salceda, J., Modgil, S., Luck, M., & Miles, S. (2009). Towards a formalisation of electronic contracting environments. COIN (pp. 156–171).Osman, N., Robertson, D., & Walton, C. (2006). Run-time model checking of interaction and deontic models for multi-agent systems. In AAMAS ’06: Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems (pp. 238–240). New York, NY: ACM.Pace, G., Prisacariu, C., & Schneider, G. (2007). Model checking contracts a case study. In Automated technology for verification and analysis. Lecture Notes in Computer Science (Vol. 4762, pp. 82–97).Rotolo, A., & van der Torre, L. (2011). Rules, agents and norms: Guidelines for rule-based normative multi-agent systems. RuleML Europe, 6826, 52–66.Saeki, M., & Kaiya, H. (2008). Supporting the elicitation of requirements compliant with regulations. In CAiSE ’08 (pp. 228–242).Siena, A., Mylopoulos, J., Perini, A., & Susi, A. (2009). Designing law-compliant software requirements. In Proceedings of the 28th international conference on conceptual modeling, ER ’09 (pp. 472–486).Singh, M. P. Commitments in multiagent systems: Some history, some confusions, some controversies, some prospects.Solaiman, E., Molina-Jimenez, C., & Shrivastav, S. (2003). Model checking correctness properties of electronic contracts. In Service-oriented computing—ICSOC 2003. Lecture Notes in Computer Science (Vol. 2910, pp. 303–318). Berlin: Springer.Telang, P. R., & Singh, M. P. (2009). Conceptual modeling: Foundations and applications. Enhancing tropos with commitments (pp. 417–435).Vázquez-Salceda, J., Confalonieri, R., Gomez, I., Storms, P., Nick Kuijpers, S. P., & Alvarez, S. (2009). Modelling contractually-bounded interactions in the car insurance domain. DIGIBIZ 2009.Viganò, F., & Colombetti, M. (2007). Symbolic model checking of institutions. In ICEC (pp. 35–44).Walton, C. D. (2007). Verifiable agent dialogues. Journal of Applied Logic, 5(2):197–213, Logic-Based Agent Verification.Winkler, S., & Pilgrim, J. (2010). A survey of traceability in requirements engineering and model-driven development. Software and Systems Modeling (SoSyM), 9(4), 529–565.Wooldridge, M., Fisher, M., Huget, M., & Parsons, S. (2002). Model checking multi-agent systems with mable. In AAMAS02 (pp. 952–959). ACM

Multiple domains in the Crumbs Homolog 2a (Crb2a) protein are required for regulating rod photoreceptor size

Background Vertebrate retinal photoreceptors are morphologically complex cells that have two apical regions, the inner segment and the outer segment. The outer segment is a modified cilium and is continuously regenerated throughout life. The molecular and cellular mechanisms that underlie vertebrate photoreceptor morphogenesis and the maintenance of the outer segment are largely unknown. The Crumbs (Crb) complex is a key regulator of apical membrane identity and size in epithelia and in Drosophila photoreceptors. Mutations in the human gene CRUMBS HOMOLOG 1 (CRB1) are associated with early and severe vision loss. Drosophila Crumbs and vertebrate Crb1 and Crumbs homolog 2 (Crb2) proteins are structurally similar, all are single pass transmembrane proteins with a large extracellular domain containing multiple laminin- and EGF-like repeats and a small intracellular domain containing a FERM-binding domain and a PDZ-binding domain. In order to begin to understand the role of the Crb family of proteins in vertebrate photoreceptors we generated stable transgenic zebrafish in which rod photoreceptors overexpress full-length Crb2a protein and several other Crb2a constructs engineered to lack specific domains. Results We examined the localization of Crb2a constructs and their effects on rod morphology. We found that only the full-length Crb2a protein approximated the normal localization of Crb2a protein apical to adherens junctions in the photoreceptor inner segment. Several Crb2a construct proteins localized abnormally to the outer segment and one construct localized abnormally to the cell body. Overexpression of full-length Crb2a greatly increased inner segment size while expression of several other constructs increased outer segment size. Conclusions Our observations suggest that particular domains in Crb2a regulate its localization and thus may regulate its regionalized function. Our results also suggest that the PDZ-binding domain in Crb2a might bring a protein(s) into the Crb complex that alters the function of the FERM-binding domain

Transforming ophthalmic education into virtual learning during COVID-19 pandemic : a global perspective

Objective: The coronavirus disease 2019 (COVID-19) pandemic has imposed measures of social distancing and barriers in delivery of "in person" education. Institutions, involved in training the next generation of ophthalmologists, are using alternative teaching methods to maintain the standard of education. Methods: We conducted a worldwide survey among physicians, who are actively involved in Ophthalmology-related education, between 3 and 14 April 2020. The expert survey, developed on the basis of literature search and focus group discussions, comprised 23 questions addressing the use of e-learning in Ophthalmology during the COVID-19 pandemic. Results: A total of 321 participants from both academic and non-academic institutions worldwide, with variable practice experience and expertise, completed the survey. Before the pandemic, the majority of participants used traditional training modalities, including lectures, grand rounds and journal clubs, and 48% did not use any e-learning. There was a statistically significant increase in the use of all e-learning alternatives during the pandemic (p < 0.001), associated mainly with the availability of e-learning facilities (p < 0.001) and the academic character of institutions (p < 0.001). Zoom\uae was recognized as the mostly used platform for virtual teaching. Although theoretical teaching may take place, the surgical training of residents/fellows was dramatically reduced. The latter was significantly associated with participants' perspectives about teaching practices (p < 0.001). Conclusion: COVID-19 pandemic imposed great challenges in the educational field of Ophthalmology. The experience related to virtual training in Ophthalmology, gained during the pandemic, may change the traditional teaching practices in the world and provide new educational opportunities

One-sided versus two-sided stochastic descriptions

It is well-known that discrete-time finite-state Markov Chains, which are described by one-sided conditional probabilities which describe a dependence on the past as only dependent on the present, can also be described as one-dimensional Markov Fields, that is, nearest-neighbour Gibbs measures for finite-spin models, which are described by two-sided conditional probabilities. In such Markov Fields the time interpretation of past and future is being replaced by the space interpretation of an interior volume, surrounded by an exterior to the left and to the right. If we relax the Markov requirement to weak dependence, that is, continuous dependence, either on the past (generalising the Markov-Chain description) or on the external configuration (generalising the Markov-Field description), it turns out this equivalence breaks down, and neither class contains the other. In one direction this result has been known for a few years, in the opposite direction a counterexample was found recently. Our counterexample is based on the phenomenon of entropic repulsion in long-range Ising (or "Dyson") models.Comment: 13 pages, Contribution for "Statistical Mechanics of Classical and Disordered Systems

miR-132/212 knockout mice reveal roles for these miRNAs in regulating cortical synaptic transmission and plasticity

miR-132 and miR-212 are two closely related miRNAs encoded in the same intron of a small non-coding gene, which have been suggested to play roles in both immune and neuronal function. We describe here the generation and initial characterisation of a miR-132/212 double knockout mouse. These mice were viable and fertile with no overt adverse phenotype. Analysis of innate immune responses, including TLR-induced cytokine production and IFNβ induction in response to viral infection of primary fibroblasts did not reveal any phenotype in the knockouts. In contrast, the loss of miR-132 and miR-212, while not overtly affecting neuronal morphology, did affect synaptic function. In both hippocampal and neocortical slices miR-132/212 knockout reduced basal synaptic transmission, without affecting paired-pulse facilitation. Hippocampal long-term potentiation (LTP) induced by tetanic stimulation was not affected by miR-132/212 deletion, whilst theta burst LTP was enhanced. In contrast, neocortical theta burst-induced LTP was inhibited by loss of miR-132/212. Together these results indicate that miR-132 and/or miR-212 play a significant role in synaptic function, possibly by regulating the number of postsynaptic AMPA receptors under basal conditions and during activity-dependent synaptic plasticity

GFAP-Driven GFP Expression in Activated Mouse Muller Glial Cells Aligning Retinal Blood Vessels Following Intravitreal Injection of AAV2/6 Vectors

Background: Muller cell gliosis occurs in various retinal pathologies regardless of the underlying cellular defect. Because activated Muller glial cells span the entire retina and align areas of injury, they are ideal targets for therapeutic strategies, including gene therapy.Methodology/Principal Findings: We used adeno-associated viral AAV2/6 vectors to transduce mouse retinas. The transduction pattern of AAV2/6 was investigated by studying expression of the green fluorescent protein (GFP) transgene using scanning-laser ophthalmoscopy and immuno-histochemistry. AAV2/6 vectors transduced mouse Muller glial cells aligning the retinal blood vessels. However, the transduction capacity was hindered by the inner limiting membrane (ILM) and besides Muller glial cells, several other inner retinal cell types were transduced. To obtain Muller glial cell-specific transgene expression, the cytomegalovirus (CMV) promoter was replaced by the glial fibrillary acidic protein (GFAP) promoter. Specificity and activation of the GFAP promoter was tested in a mouse model for retinal gliosis. Mice deficient for Crumbs homologue 1 (CRB1) develop gliosis after light exposure. Light exposure of Crb1(-/-) retinas transduced with AAV2/6-GFAP-GFP induced GFP expression restricted to activated Muller glial cells aligning retinal blood vessels.Conclusions/Significance: Our experiments indicate that AAV2 vectors carrying the GFAP promoter are a promising tool for specific expression of transgenes in activated glial cells

Effectiveness of a parenting programme in a public health setting: a randomised controlled trial of the positive parenting programme (Triple P) level 3 versus care as usual provided by the preventive child healthcare (PCH)

BACKGROUND: Considering the high burden of disease of psychosocial problems in children and adolescents, early intervention regarding problem behaviour of young children is very important. The Preventive Child Healthcare (PCH) offers a good setting to detect such problem behaviour and to provide parenting support to the parents concerned. This paper aims to describe the design of an effectiveness study of a parenting programme for parents of children with mild psychosocial problems after an initial, evidence based screening in routine PCH. METHODS/DESIGN: The effects of the intervention will be studied in a randomised controlled trial. Prior to a routine PCH health examination, parents complete a screening questionnaire on psychosocial problems. Parents of children with increased but still subclinical levels of psychosocial problems will be assigned at random to the experimental group (Triple P, level 3) or to the control group (care as usual). Outcome measures, such as problem behaviour in the child and parenting behaviour, will be assessed before, directly after and 6 and 12 months after the intervention. DISCUSSION: Parenting support may be an effective intervention to reduce psychosocial problems in children but evidence-based parenting programmes that fit the needs of the PCH are not available as yet. Although the Triple P programme seems promising and suitable for a universal population approach, evidence on its effectiveness in routine PCH still lacks. TRIAL REGISTRATION: NTR1338

Successful management of an aortoesophageal fistula caused by a fish bone – case report and review of literature

We report a case of aortoesophageal fistula (AEF) caused by a fish bone that had a successful outcome. Aortoesophageal fistula is a rare complication of foreign body ingestion from which few patients survive. Over one hundred cases of AEF secondary to foreign body ingestion have been documented but only seven, including our case, have survived over 12 months. Treatment involved stabilising the patient with a Sengstaken-Blakemore tube and insertion of a thoracic aortic endovascular stent-graft. Unfortunately the stent became infected and definitive open surgical repair involved removing the stent, replacing the aorta with a homograft and coverage with a left trapezius flap while under deep hypothermic arrest

Direct hospital costs of chest pain patients attending the emergency department: a retrospective study

BACKGROUND: Chest pain is one of the most common complaints in the Emergency Department (ED), but the cost of ED chest pain patients is unclear. The aim of this study was to describe the direct hospital costs for unselected chest pain patients attending the emergency department (ED). METHODS: 1,000 consecutive ED visits of patients with chest pain were retrospectively included. Costs directly following the ED visit were retrieved from the hospital economy system. RESULTS: The mean cost per patient visit was 26.8 thousand Swedish kronar (kSEK) (median 7.2 kSEK), with admission time accounting for 73% of all costs. Mean cost for patients discharged from the ED was 1.4 kSEK (median 1.3 kSEK), and for patients without ACS admitted 1 day or less 7.6 kSEK (median 6.9 kSEK). The practice in the present study to admit 67% of the patients, of whom only 31% proved to have ACS, was estimated to give a cost per additional life-year saved by hospital admission, compared to theoretical strategy of discharging all patients home, of about 350 kSEK (39 kEUR or 42 kUSD). CONCLUSION: Costs for chest pain patients are large and primarily due to admission time. The present admission practice seems to be cost-effective, but the substantial overadmission indicates that better ED diagnostics and triage could decrease costs considerably

Virtual Liver Resection and Volumetric Analysis of the Future Liver Remnant using Open Source Image Processing Software

Ó The Author(s) 2010. This article is published with open access at Springerlink.com Background After extended liver resection, a remnant liver that is too small can lead to postresection liver failure. To reduce this risk, preoperative evaluation of the future liver remnant volume (FLRV) is critical. The open-source OsiriX Ò PAC software system can be downloaded for free and used by nonradiologists to calculate liver volume using a stand-alone Apple computer. The purpose of this study was to assess the accuracy of OsiriX Ò CT volumetry for predicting liver resection volume and FLVR in patients undergoing partial hepatectomy. Methods Preoperative contrast-enhanced liver CT scans of patients who underwent partial hepatectomy were Joost R. van der Vorst and Ronald M. van Dam contributed equally to the study and the manuscript. These authors share first authorship. J. R. van der Vorst R. M. van Dam (&