"We don't need no education" - Or do we? Management education and alumni adoption of strategy tools

Despite concerns about the relevance of management education, there is relatively little evidence about whether graduates use the management tools and concepts they are taught. We address this gap with evidence from a survey of business school alumni adoption of tools typically taught in strategic management courses. Our findings show that four educational characteristics-level of formal education, frequency of management training, specificity of strategic management education, and time elapsed since formal education-drive adoption of strategy tools. Specifically, features such as postgraduate over undergraduate qualifications and frequent exposure to management training predispose greater user of strategy tools. However, other factors, such as time elapsed since formal education, are not as great a predictor of variation in use. We conclude with a predictive model of the relative weight and importance of educational and demographic characteristics on strategy tool adoption and discuss our findings in light of the relevance debate. © The Author(s) 2013.

Almost Separable Data Aggregation by Layers of Formal Neurons

Information extraction or knowledge discovery from large data sets should be linked to data aggregation process. Data aggregation process can result in a new data representation with decreased number of objects of a given set. A deterministic approach to separable data aggregation means a lesser number of objects without mixing of objects from different categories. A statistical approach is less restrictive and allows for almost separable data aggregation with a low level of mixing of objects from different categories. Layers of formal neurons can be designed for the purpose of data aggregation both in the case of deterministic and statistical approach. The proposed designing method is based on minimization of the of the convex and piecewise linear (CPL) criterion functions.

An automated tool for semantic accessing to formal software models

Many software engineers have found that it is difficult to understand, incorporate and use different formal models consistently in the process of software developments, especially for large and complex software systems. This is mainly due to the complex mathematical nature of the formal methods and the lack of tool support. It is highly desirable to have software models and their related software artefacts systematically connected and used collaboratively, rather than in isolation. The success of the Semantic Web, as the next generation of Web technology, can have profound impact on the environment for formal software development. It allows both the software engineers and machines to understand the content of formal models and supports more effective software design in terms of understanding, sharing and reusing in a distributed manner. To realise the full potential of the Semantic Web in formal software development, effectively creating proper semantic metadata for formal software models and their related software artefacts is crucial. This paper proposed a framework that allows users to interconnect the knowledge about formal software models and other related documents using the semantic technology. We first propose a methodology with tool support is proposed to automatically derive ontological metadata from formal software models and semantically describe them. We then develop a Semantic Web environment for representing and sharing formal Z/OZ models. A method with prototype tool is presented to enhance semantic query to software models and other artefacts. © 2014.

Formal Definition of Artificial Intelligence

* This publication is partially supported by the KT-DigiCult-Bg project.

Formal Definition of the Concept “Infos”

The concept INFOS is very important for understanding the information phenomena. Because of this, it is basic for the General Information Theory. The more precise formal definition of this concept is given in the paper.

A Metaontology for Medical Diagnostics of Acute Diseases. Part 2. A Formal Description of Cause-and-effect Relations

This article is the continuation of the formal description of the metaontology for medical diagnostics in the language of applied logic. It contains a description of interrelations between terms of knowledge and reality in the form of ontological agreements.

A Metaontology for Medical Diagnostics of Acute Diseases. Part 3. A Formal Description of the Causes of Signs’ Values and of Diseases

This article is the final part of the formal description of the metaontology for medical diagnostics in the language of applied logic. It contains a description of the causes of signs’ values and of the causes of diseases.

Symmetric and Asymmetric Gaps in Some Fields of Formal Power Series

2000 Mathematics Subject Classification: 03E04, 12J15, 12J25.

Formal Specification of Relational Model of Data in Z-Notation

Владимир Димитров - Целта на настоящия доклад е формалната спецификация на релационния модел на данни. Тази спецификация след това може да бъде разширена към Обектно-релационния модел на данни и към Потоците от данни.

Social - Oriented Applications of the Folklore Heritage for the Needs of the Non-formal Learning and Cultural Tourisms

The report presents a description of the most popular digital folklore archives in the world. Specifications for designing and developing web-based social-oriented applications in the field of education and cultural tourism are formulated on the basis of comparative analysis. A project for structuring and categorizing the content is presented. A website for accessing the digital folklore archive is designed and implemented.

Formal methods @ runtime

Heuristics, simulation, artificial intelligence techniques and combinations thereof have all been employed in the attempt to make computer systems adaptive, context-aware, reconfigurable and self-managing. This paper complements such efforts by exploring the possibility to achieve runtime adaptiveness using mathematically-based techniques from the area of formal methods. It is argued that formal methods @ runtime represents a feasible approach, and promising preliminary results are summarised to support this viewpoint. The survey of existing approaches to employing formal methods at runtime is accompanied by a discussion of their challenges and of the future research required to overcome them. © 2011 Springer-Verlag.

Formal methods for the development and verification of autonomic IT systems

This chapter explores ways in which rigorous mathematical techniques, termed formal methods, can be employed to improve the predictability and dependability of autonomic computing. Model checking, formal specification, and quantitative verification are presented in the contexts of conflict detection in autonomic computing policies, and of implementation of goal and utility-function policies in autonomic IT systems, respectively. Each of these techniques is illustrated using a detailed case study, and analysed to establish its merits and limitations. The analysis is then used as a basis for discussing the challenges and opportunities of this endeavour to transition the development of autonomic IT systems from the current practice of using ad-hoc methods and heuristic towards a more principled approach. © 2012, IGI Global.

Formal professional relationships between general practitioners and specialists: possible associations with patient health and pharmacy costs

This article investigates whether the strength of formal professional relationships between general practitioners (GPs) and specialists (SPs) affects either the health status of patients or their pharmacy costs. To this end, it measures the strength of formal professional relationships between GPs and SPs through the number of shared patients and proxies the patient health status by the number of comorbidities diagnosed and treated. In strong GP–SP relationships, the patient health status is expected to be high, due to efficient care coordination, and the pharmacy costs low, due to effective use of resources. To test these hypotheses and compare the characteristics of the strongest GP–SP connections with those of the weakest, this article concentrates on diabetes—a chronic condition where patient care coordination is likely important. Diabetes generates the largest shared patient cohort in Hungary, with the highest traffic of specialist medication prescriptions. This article finds that stronger ties result in lower pharmacy costs, but not in higher patient health statuses. Key points for decision makers • The number of shared patients may be used to measure the strength of formal professional relationships between general practitioners and specialists. • A large number of shared patients indicates a strong, collaborative tie between general practitioners and specialists, whereas a low number indicates a weak, fragmented tie. • Tie strength does not affect patient health—strong, collaborative ties between general practitioners and specialists do not involve better patient health than weak, fragmented ties. • Tie strength does affect pharmacy costs—strong, collaborative ties between general practitioners and specialists involve significantly lower pharmacy costs than weak, fragmented ties. • Pharmacy costs may be reduced by lowering patient care fragmentation through channelling a general practitioner’s patients to a small number of specialists and increasing collaboration between general practitioner and specialists. • Limited patient choice is financially more beneficial than complete freedom of choice, and no more detrimental to patient health.

A gyógyszerkiadás és a betegek egészségi állapota a háziorvosi és szakorvosi kapcsolatok függvényében = Formal professional relations between general practitioners and specialists. Possible links with patient health and pharmacy cost

Arra a kérdésre keressük a választ, hogy a szoros háziorvosi-szakorvosi szakmai kapcsolatoknak van-e hatásuk a betegek gyógyszerkiadására, illetve egészségi állapotára. Az orvosok közötti szakmai kapcsolatok szorosságát a közösen gondozott betegek száma alapján határoztuk meg, míg a betegek egészségügyi állapotát a diagnosztizált és kezelt társbetegségek számával mértük. Hipotézisünk egyrészt az volt, hogy a hatékonyabb koordinációnak köszönhetően a szoros kapcsolatban kezelt betegek jobb egészségi állapotúak, másrészt kezelésük az erőforrások hatékonyabb felhasználása miatt kisebb gyógyszerköltséggel jár. E két hipotézist a cukorbetegekre teszteltük. Azért esett erre a krónikus betegségre a választásunk, mert itt a háziorvosok és a szakorvosok együttműködése elsődleges fontosságú. Magyarországon a cukorbetegek esetében a legnagyobb a közösen kezelt betegek populációja, valamint itt a legmagasabb a szakorvosi javaslatra felírt háziorvosi receptek száma. Azt az eredményt kaptuk, hogy a szoros kapcsolatban kezelt betegek nem rendelkeznek sem jobb, sem rosszabb egészségi állapottal, miközben a kapcsolódó gyógyszerkiadásuk szignifikánsan alacsonyabb. ____ The article considers whether strong formal professional relations between GPs and specialists in shared care affect either the health of patients or the pharmacy costs they incur. The strength of such relations is measured by the number of shared patients; patient health is proxied by number of co-morbidities diagnosed and treated. The first hypothesis is that patients treated amid strong GP-specialist relations have better health status than those treated amid weak ones, due to enhanced efficiency of care coordination. The second is that patients treated in such strong relations incur lower pharmacy costs high numbers of shared patients are assumed to promote appropriate, effective use of resources. The article tests these hypotheses and compares the outcomes of the strongest and weakest GP-specialist relations through the example of diabetes, a chronic condition where patient-care coordination is important. Diabetes generates the largest shared patient cohort in Hungary, with the highest number of specialist medication prescriptions. This article finds that stronger ties result in significantly lower pharmacy costs, but not a higher patient health status.

Formal verification and testing of software architectural models

Ensuring the correctness of software has been the major motivation in software research, constituting a Grand Challenge. Due to its impact in the final implementation, one critical aspect of software is its architectural design. By guaranteeing a correct architectural design, major and costly flaws can be caught early on in the development cycle. Software architecture design has received a lot of attention in the past years, with several methods, techniques and tools developed. However, there is still more to be done, such as providing adequate formal analysis of software architectures. On these regards, a framework to ensure system dependability from design to implementation has been developed at FIU (Florida International University). This framework is based on SAM (Software Architecture Model), an ADL (Architecture Description Language), that allows hierarchical compositions of components and connectors, defines an architectural modeling language for the behavior of components and connectors, and provides a specification language for the behavioral properties. The behavioral model of a SAM model is expressed in the form of Petri nets and the properties in first order linear temporal logic.^ This dissertation presents a formal verification and testing approach to guarantee the correctness of Software Architectures. The Software Architectures studied are expressed in SAM. For the formal verification approach, the technique applied was model checking and the model checker of choice was Spin. As part of the approach, a SAM model is formally translated to a model in the input language of Spin and verified for its correctness with respect to temporal properties. In terms of testing, a testing approach for SAM architectures was defined which includes the evaluation of test cases based on Petri net testing theory to be used in the testing process at the design level. Additionally, the information at the design level is used to derive test cases for the implementation level. Finally, a modeling and analysis tool (SAM tool) was implemented to help support the design and analysis of SAM models. The results show the applicability of the approach to testing and verification of SAM models with the aid of the SAM tool.^