127,718 Hits in 5.1 sec

A Study on the Viability of Formalizing Use Cases

Rui Couto, Antonio Nestor Ribeiro, Jose Creissac Campos
2014 2014 9th International Conference on the Quality of Information and Communications Technology  
It reports on a study aimed at validating our approach and our tool with real users. A preliminary set of results is discussed.  ...  This paper addresses the transformation of use case descriptions expressed in a Controller Natural Language into an ontology expressed in the Web Ontology Language (OWL), as well as the query process for  ...  We would like to thank to the participants which helped us in the study, namely Pedro Ferreira, Filipa Rocha, Mariana Capelo, Henrique Pacheco and Daniel Coelho.  ... 
doi:10.1109/quatic.2014.23 dblp:conf/quatic/CoutoRC14 fatcat:5j3a56ltrbecfpbxg4oszhewmu

Managing the Unknowable

Laura Huang, Jone L. Pearce
2015 Administrative Science Quarterly  
to lose their entire investment in most cases-and they rely on a combination of expertise-based intuition and formal analysis in which intuition trumps analysis, contrary to reports in other investment  ...  Using an inductive theory-development study, a field experiment, and a longitudinal field test, we examine early-stage entrepreneurial investment decision making under conditions of extreme uncertainty  ...  This served to both affirm (in the case of positive intuitions about the entrepreneur) and deny (in the case of their analysis of the business viability data) content to create a consistent set of cognitions  ... 
doi:10.1177/0001839215597270 fatcat:bgte2y2e2bhpng7n6becgvujfu

Reducing Conservatism in Model-Invariant Safety-Preserving Control of Propofol Anesthesia Using Falsification [article]

Mahdi Yousefi, Klaske van Heusden, Ian M. Mitchell, J. Mark Ansermino, Guy A. Dumont
2018 arXiv   pre-print
Model-invariant formal verification is used to formalize the safety system. This technique requires a multi-model description of model-uncertainty.  ...  This work provides a formalized model-invariant safety system for closed-loop anesthesia that uses feedback from measured data for model falsification to reduce conservatism.  ...  [27] described the effect of alfentanil on BP using a linear model.  ... 
arXiv:1804.06941v1 fatcat:sn7ixoz3m5fhrothsb5svrrlb4

Are Formal Planners More Likely To Achieve New Venture Viability? A Counterfactual Model And Analysis

Francis J. Greene, Christian Hopp
2017 Strategic Entrepreneurship Journal  
This study develops and tests a counterfactual model of the relationship between formal written business plans and the achievement of new venture viability.  ...  To test our model, we use propensity score matching to identify the impact that founder, venture and environmental factors have on the decision to write a formal plan (selection effects).  ...  These are vital because estimates of, in our case, plan effects on venture viability, are sensitive to the use of predictor variables and matching estimators.  ... 
doi:10.1002/sej.1245 fatcat:fcf4s7olabb4raxik3qnwvsmfu

Model‐based management (MBM): a vital prerequisite for organizational viability

Markus Schwaninger, Markus Schwaninger
2010 Kybernetes  
Originality/value -Taking models as the pivot of a research project on general management is unconventional.  ...  Findings -An analysis of the concept, role and function of models in the context of management and organization, as well as an outline for a new understanding of both the concept and role of models for  ...  Both formal and informal models will be objects of research. In the latter case, for example, the process of eliciting a mental model and making it explicit will be studied.  ... 
doi:10.1108/03684921011081105 fatcat:g57w5xovbnd4vlk5nt6don3qz4

From Resistance to Transformation: A Generic Metric of Resilience Through Viability

Christophe Béné, Luc Doyen
2018 Earth's Future  
Those categories are then reframed into a generic metric, using viability analysis-a mathematical formalism which builds on dynamic systems and control theory.  ...  To illustrate this new metric, we draw on two models widely discussed in the resilience literature: the exploitation of renewable resources and the case of lake eutrophication.  ...  Acknowledgments The initial part of this work has been carried out with support from the Institut Henri Poincaré (IHP) in Paris during the trimester "mathematics of bio-economics" organized as part of  ... 
doi:10.1002/2017ef000660 fatcat:jbso2wxg4zggxezadncvpav3ma

Evaluating Factors Affecting Performance of Land Reform Beneficiaries in South Africa

Colleta Gandidzanwa, Aart Jan Verschoor, Thabo Sacolo
2021 Sustainability  
Using a sample of 1956 redistributed farms across the nine provinces of South Africa, the current study employs an ordinary least square regression as well as a generalised logistic regression model to  ...  The study provides valuable insight to programme managers on the factors that needs to be enhanced in order to increase the odds of success for redistributed farms.  ...  Whilst the Agricultural Research Council team developed the methodology using a panel of experts from the different ARC institutes, Entsika's logistical support in panel discussions is acknowledged.  ... 
doi:10.3390/su13169325 fatcat:4ytua2bmmnafxam4fxbex2kqna

In Pursuit of Time: Business Plan Sequencing, Duration and Intraentrainment Effects on New Venture Viability

Christian Hopp, Francis J. Greene
2017 Journal of Management Studies  
In this study, we examine three under-explored dimensions of the temporal relationship between formal written business plans and the achievement of new venture viability.  ...  First, we theorize and investigate the effects of plan sequencing; arguing that a business plan written early on in new venture development increases the prospects of venture viability.  ...  Our pursuit in this study is to theorize and empirically assess how formal plan timing effects impact on the achievement of new venture viability.  ... 
doi:10.1111/joms.12251 fatcat:fcedsudztrcvhhljooivccpfsm

Stockless organic farming: strengths and weaknesses evidenced by a multicriteria sustainability assessment model

Bruno Colomb, Matthieu Carof, Anne Aveline, Jacques-Eric Bergez
2012 Agronomy for Sustainable Development  
Tested case studies were based on 44 real cropping systems identified on 19 farms in the Midi-Pyrenees region of France and on 23 cropping system types developed by the advisers from the Centre, Ile-de-France  ...  The effective use of those models is still a challenge, notably for low-input systems.  ...  We are very grateful to the editorial team and the anonymous reviewers for their helpful comments on improving the paper.  ... 
doi:10.1007/s13593-012-0126-5 fatcat:v72porpxofconphf7xopm6ym6e

Mutational Analysis-Inspired Algorithms for Cells Self-Organization towards a Dynamic under Viability Constraints

Alexandra Fronville, Abdoulaye Sarr, Pascal Ballet, Vincent Rodin
2012 2012 IEEE Sixth International Conference on Self-Adaptive and Self-Organizing Systems  
The aim of this paper is to explain the mathematical foundations of this work and describe a simulation tool to study the morphogenesis of a virtual organism.  ...  so as to always satisfy operational constraints (such as those induced by the tissue or the use of resources).  ...  In this paper, we are going to formalize mathematically a model of cell dynamic on the principles of morphological analysis and to describe a simulation tool for studying morphogenesis of virtual multi-cellular  ... 
doi:10.1109/saso.2012.15 dblp:conf/saso/FronvilleSBR12 fatcat:ixrzt5dphjg5rikahhjsbnzfgq

Page 33 of The Journal of Arthroplasty Vol. 21, Issue 1 [page]

2006 The Journal of Arthroplasty  
Moreover, assessments were limited to knee and hip procedures in the practices of 2 surgeons, with one contributing the majority of the cases.  ...  Nevertheless, the results obtained with the OrthoPAT in this study are encouraging for hip and knee arthroplasty cases in which surgeons may use similar case management techniques.  ... 

Economic viability and sustainability of solidarity economy enterprises: a case study on the technological incubator of popular cooperatives of the Catholic University of Salvador

Lara Macedo Alencar, Helena Neves Almeida, Manuela Tvaronavičienė
2013 Entrepreneurship and Sustainability Issues  
The main points of discussion are those related to the economic viability of this kind of enterprises and how is it possible to conceive a viable and sustainable management model that, at the same time  ...  , respects the peculiarities of this kind of organization.  ...  this type of viability study.  ... 
doi:10.9770/jesi.2013.1.2(3) fatcat:ogmqpvamvnglvci2rngrthhnoy

Unlocking the Influence of Leadership Network Structures on Team Conflict and Viability

Prasad Balkundi, Zoe Barsness, Judd H. Michael
2009 Small Group Research  
One case study (Cross & Parker, 2004) illustrated how a broker who spanned disconnected subgroups within a team was overwhelmed by the coordination task, producing bottlenecks in the flow of communication  ...  Specifically, in this study we focus on the leader's position in the team's informal advice network, and explore the influence of that position on intrateam conflict and team viability.  ... 
doi:10.1177/1046496409333404 fatcat:f3b5vtuo25enrfzeu3n33wqf5i

Hare or Tortoise? Trade-offs in Recovering Sustainable Bioeconomic Systems

Vincent Martinet, Olivier Thébaud, Alain Rapaport
2010 Environmental Modelling and Assessment  
We use the mathematical concept of viability to characterize sustainability. Recovery paths are studied with regards to their duration and their acceptability.  ...  In this paper, we develop a framework for (a) the study of sustainability of dynamic bioeconomic systems and (b) the definition of recovery paths from unsustainable situations.  ...  Acknowledgments This research work was carried out as part of the CHALOUPE research project (, funded by the French National Research Agency as part of its "Biodiversity" program  ... 
doi:10.1007/s10666-010-9226-2 fatcat:gggkcwcv7rgf3eebxfk257cyrm

Towards Realizability Checking of Contracts using Theories [article]

Andrew Gacek, Andreas Katis, Michael W. Whalen, John Backes, Darren Cofer
2015 arXiv   pre-print
In this paper, we describe a new approach for checking realizability of contracts involving theories and demonstrate its usefulness on several examples.  ...  Virtual integration techniques focus on building architectural models of systems that can be analyzed early in the design cycle to try to lower cost, reduce risk, and improve quality of complex embedded  ...  Flight Critical Systems), and by NSF under grant CNS-1035715 (Assuring the safety, security, and reliability of medical device cyber physical systems).  ... 
arXiv:1502.03005v1 fatcat:tuhy7eayqzekhitwxxjgamzt6m
« Previous Showing results 1 — 15 out of 127,718 results