The formal representation of process system modelling assumptions and their implications

In order to analyse the effect of modelling assumptions in a formal, rigorous way, a syntax of modelling assumptions has been defined. The syntax of modelling assumptions enables us to represent modelling assumptions as transformations acting on the set of model equations. The notion of syntactical correctness and semantical consistency of sets of modelling assumptions is defined and methods for checking them are described. It is shown on a simple example how different modelling assumptions act on the model equations and their effect on the differential index of the resulted model is also indicated.

Consistency of FDG-PET Accuracy and Cost-Effectiveness in Initial Staging of Patients With Hodgkin Lymphoma Across Jurisdictions

Introduction: Two hundred ten patients with newly diagnosed Hodgkin`s lymphoma (HL) were consecutively enrolled in this prospective trial to evaluate the cost-effectiveness of fluorine-18 ((18)F)-fluoro-2-deoxy-D-glucose-positron emission tomography (FDG-PET) scan in initial staging of patients with HL. Methods: All 210 patients were staged with conventional clinical staging (CCS) methods, including computed tomography (CT), bone marrow biopsy (BMB), and laboratory tests. Patients were also submitted to metabolic staging (MS) with whole-body FDG-PET scan before the beginning of treatment. A standard of reference for staging was determined with all staging procedures, histologic examination, and follow-up examinations. The accuracy of the CCS was compared with the MS. Local unit costs of procedures and tests were evaluated. Incremental cost-effectiveness ratio (ICER) was calculated for both strategies. Results: In the 210 patients with HL, the sensitivity for initial staging of FDG-PET was higher than that of CT and BMB in initial staging (97.9% vs. 87.3%; P < .001 and 94.2% vs. 71.4%, P < 0.003, respectively). The incorporation of FDG-PET in the staging procedure upstaged disease in 50 (24%) patients and downstaged disease in 17 (8%) patients. Changes in treatment would be seen in 32 (15%) patients. Cumulative cost for staging procedures was $3751/patient for CCS compared to $5081 for CCS + PET and $4588 for PET/CT. The ICER of PET/CT strategy was $16,215 per patient with modified treatment. PET/CT costs at the beginning and end of treatment would increase total costs of HL staging and first-line treatment by only 2%. Conclusion: FDG-PET is more accurate than CT and BMB in HL staging. Given observed probabilities, FDG-PET is highly cost-effective in the public health care program in Brazil.

Determination of temperature variation during the individual steps of the production of hospital diets of modified consistency

Background & aim: Many disease outbreaks of food origin are caused by foods prepared in Food Service and Nutrition Units of hospitals, affecting hospitalized patients who, in most cases, are immunocompromised and therefore at a higher risk of severe worsening of their clinical status. The aim of this study was to determine the variations in temperature and the time-temperature factor of hospital diets. Methods: The time and temperature for the preparation of 4 diets of modified consistency were determined on 5 nonconsecutive days in a hospital Diet and Nutrition Unit at the end of preparation and during the maintenance period, portioning and distribution at 3 sites, i.e., the first, the middle and the last to receive the diets. Results and discussion: All foods reached an adequate temperature at the end of cooking, but temperature varied significantly from the maintenance period to the final distribution, characterizing critical periods for microorganism proliferation. During holding, temperatures that presented a risk were reached by 16.7% of the meats and 59% of the salads of the general diet, by 16.7% of the garnishes in the bland diet and by 20% of the meats and garnishes in the viscous diet. The same occurred at the end of distribution for 100% of the hot samples and of the salads and for 61% of the desserts. None of the preparations remained at risk temperature for a time exceeding that established by law. Conclusion: The exposure to inadequate temperature did not last long enough to pose risks to the patient.

A formal representation of assumptions in process modelling

In this work, we present a systematic approach to the representation of modelling assumptions. Modelling assumptions form the fundamental basis for the mathematical description of a process system. These assumptions can be translated into either additional mathematical relationships or constraints between model variables, equations, balance volumes or parameters. In order to analyse the effect of modelling assumptions in a formal, rigorous way, a syntax of modelling assumptions has been defined. The smallest indivisible syntactical element, the so called assumption atom has been identified as a triplet. With this syntax a modelling assumption can be described as an elementary assumption, i.e. an assumption consisting of only an assumption atom or a composite assumption consisting of a conjunction of elementary assumptions. The above syntax of modelling assumptions enables us to represent modelling assumptions as transformations acting on the set of model equations. The notion of syntactical correctness and semantical consistency of sets of modelling assumptions is defined and necessary conditions for checking them are given. These transformations can be used in several ways and their implications can be analysed by formal methods. The modelling assumptions define model hierarchies. That is, a series of model families each belonging to a particular equivalence class. These model equivalence classes can be related to primal assumptions regarding the definition of mass, energy and momentum balance volumes and to secondary and tiertinary assumptions regarding the presence or absence and the form of mechanisms within the system. Within equivalence classes, there are many model members, these being related to algebraic model transformations for the particular model. We show how these model hierarchies are driven by the underlying assumption structure and indicate some implications on system dynamics and complexity issues. (C) 2001 Elsevier Science Ltd. All rights reserved.

Post-traumatic amnesia: Consistency-of-recovery and duration-to-recovery following traumatic brain impairment

The aim of this research was to examine the nature and order of recovery of orientation and memory functioning during Post-Traumatic Amnesia (PTA) in relation to injury severity and PTA duration. The Westmead PTA Scale was used across consecutive testing days to assess the recovery of orientation and memory during PTA in 113 patients. Two new indices were examined: a Consistency-of-Recovery and a Duration-to-Recovery index. a predictable order of recovery was observed during PTA: orientation-to-person recovered sooner and more consistently than the following cluster; orientation-to-time, orientation-to-place, and the ability to remember a face and name. However, the type of memory functioning required for the recall face and name task recovered more consistently than that required for memorizing three pictures. An important overall finding was that the order-of-recovery'' of orientation and memory functioning was dependent upon both the elapsed days since injury, and the consistency of recovery. The newly developed indices were shown to be a valuable means of accounting for differences between groups in the elapsed days to recovery of orientation and memory. These indices also clearly increase the clinical utility of the Westmead PTA Scale and supply an objective means of charting (and potentially predicting) patients' recovery on the different components of orientation and memory throughout their period of hospitalization.

Type checking cryptography implementations

Cryptographic software development is a challenging eld: high performance must be achieved, while ensuring correctness and com- pliance with low-level security policies. CAO is a domain speci c language designed to assist development of cryptographic software. An important feature of this language is the design of a novel type system introducing native types such as prede ned sized vectors, matrices and bit strings, residue classes modulo an integer, nite elds and nite eld extensions, allowing for extensive static validation of source code. We present the formalisation, validation and implementation of this type system

Capital Intelectual: sua divulgação no setor bancário em Portugal

The importance of intangible resources has increased dramatically in recent years comparing to tangible ones. The economy in which we live is the result of competitive pressures that have imposed the implementation of business at an international level as well as a requirement in the application of sophisticated technologies that allow us to follow this fast evolution. In this age of information and innovation organizations will only survive if they are inserted in a global network of strategic relations, generically called as the network economy by Lev (2003). The service sector has stood out against the more traditional sectors of the economy. The intensive use of knowledge and a strong customer orientation created a new reality in today’s organizations: a growing importance attached to innovation, to the quality of products and services offered, to the information and communication technologies adopted, and to the creativity and particular abilities of human resources. The concept of intangible assets is more common in an accounting language and intellectual capital is most often applied in the context of management, being associated with a more comprehensive, multidimensional approach, representing all the knowledge that the institution owns and that it applies in the form of expertise, the creativity and organizational competencies that lead to innovation and to the sustained attainment of future economic benefits. An analysis of the scope of intellectual capital is fundamental to take more appropriate management decisions so that a more appropriate accounting treatment could be given by the accounting standardization organizations. This study intends to analyse the practices of information disclosure of the intellectual capital in the banking sector in Portugal, complementing the analysis of the disclosure of intangible assets in the context of accounting standards with the disclosure of intellectual capital in the context of organizational management. In particular, our main aims are to identify the extent of disclosure of intellectual capital made by banks in Portugal and also to identify the factors that determine such a disclosure. The disclosure in the context of accounting standards will be studied by checking the disclosure of intangible assets through the items listed in the International Accounting Standard 38 developed by the International Accounting Standards Board. The context of management was analysed by means of creating a voluntary disclosure index based on assumptions of the model Intellectus, developed by the Centro de Investigación sobre la Sociedad del Conocimiento – Instituto de Administración de Empresas (CIC-IADE) of the Universidad Autónoma of Madrid, and of the model Intellectual Capital Statement (made in Europe) (InCaS), both promoted by the European Commission and that we have adapted to the banking sector. When analysing the disclosure of intangible assets based on the context of accounting standards and the voluntary disclosure of intellectual capital, this study has tried to raise awareness about the importance of issuing reports on the intellectual capital as an alternative tool to take management decisions in the existing organizations and reflects the transparency and legitimacy that these institutions seek through a more extensive and more detailed information disclosure of their intellectual capital. Based on a complimentarily of economic theories, together with social and political theories, we tried to check the extent, evolution and tendencies of the compulsory disclosure of intangible assets and of the voluntary disclosure of the intellectual capital analysed in the period 2001-2011. Banks characteristics were also analysed in order to deduce those factors that determine or promote a larger disclosure in this sector. Based on these objectives, we adopted a longitudinal approach to explore the extent and the development of the disclosure of intangible assets as well as the factors that have determined it. Furthermore, we sought to assess the impact of the adoption of IAS 38 in the financial statements of the organizations in this sector. The disclosure index created on the basis of the disclosure requirements stated in IAS 38 from IASB was applied to the consolidated financial statements of the seventeen banks that rendered their statements in Portugal from 2001 to 2009. Since the information disclosed in the context of accounting standards may not have an important role as a management tool once it was not able to reflect what really contributes to the competitiveness and organizational growth, the voluntary disclosure of the intellectual capital was analysed according to the information obtained from the 2010 annual individual reports of the banks operating in Portugal in that year and from their respective websites in 2011. We tried to analyse the extent of the voluntary disclosure of the intellectual capital and of each of its components, human capital, structural capital and relational capital. The comparative analysis of their annual reports and their web pages allowed us to assess the incidence of the disclosure and discover what channel the banking sector focuses on when disclosing their intellectual capital. Also in this analysis the study of the disclosure determinants has allowed us to conclude about the influence of particular characteristics in the voluntary disclosure of the intellectual capital. The results of the analysis to the extent of the disclosure of intangible assets in the consolidated financial statements of the banking groups in Portugal in the period 2001-2009 have shown an average information disclosure of 0.24. This information disclosure evolved from an average value of 0.1940 in 2001 to 0.2778 in 2009. The average value is 0.8286 if it is only considered the disclosure of the intangible assets that the banks possessed. The evolution of this index means an increase in the average disclosure from 0.7852 in 2001 to 0.8788 in 2009. From the first results that are related to the extent of the disclosure of intangible assets in the financial statements, we can verify that the banking groups present a low disclosure level of these resources. However, when considering the disclosure of only the intangible assets that each institution owns, the disclosure level appears to be in compliance with the disclosure requirements for this sector. An evolution in the disclosure of intangible assets for the period considered was confirmed, showing an increase in the information disclosure of intangible assets in 2005, the year in which the accounting rules for intangible assets changed. The analysis that focused on the disclosure in the context of management tried to understand the extent, the incidence and the determinants of the voluntary information disclosure of intellectual capital in the annual reports of 2010 and on their web pages in 2011, studying the 32 banks operating in Portugal in this period. The average voluntary disclosure of the intellectual capital in the 2010 annual reports is 0.4342 while that in web pages is 0.2907. A review of the components of the intellectual capital allowed us to assess the importance that the banks confer to each of these components. The data obtained show that the relational capital, and more specifically the business capital, is the most disclosed component by banks in Portugal both in the annual reports and in their institutional web pages, followed by the structural capital and, finally, by the human capital. The disclosure of the human capital and the structural capital is higher in the annual reports than that in the websites, while the relational capital is more disclosed in the websites than in the annual reports. The results have also shown that the banks make a complementary use of both sources when disclosing information about their structural capital and relational capital but they do not show any information about their human capital in their websites. We tried to prove the influence of factors that could determine the accounting disclosure and the voluntary disclosure of the intellectual capital in this sector. The change in the IASB accounting rules as from January 1st 2005 gave a greater disclosure of accounting information of intangible assets in the financial statements of banks. The bank size and corporate governance measures have statistically proved to have an influence on the extent of the accounting disclosure of intangible assets and on the voluntary disclosure of the intellectual capital. Economic and financial variables such as profitability, operating efficiency or solvency were not determinants of information disclosure. The instability that the banking sector has experienced in economic and financial indicators in recent years as a result of the global financial markets imbalance has worsen indicators such as profitability, efficiency and solvency and caused major discrepancies in the economic situation between banks in Portugal. This empirical analysis has contributed to confront the disclosure required by accounting rules performed in the financial statements of organizations with that performed in the main disclosure media which is available for entities and which is increasingly requested in the process of taking management decisions. It also allowed us to verify whether there is homogeneity between institutions in the fulfilment of the requirements for information disclosure of intangible assets. However, as for voluntary disclosure of intellectual capital, there are large disparities in the disclosure extent between organizations. Regardless of this sector specific characteristics, the voluntary disclosure of intellectual capital made by banks in Portugal follows the trends in other sectors and the practices adopted in other countries, namely regarding the amount of information disclosed, the incidence of the disclosure on the indicators of relational capital and the importance of variables such as size as determinants of disclosure of intellectual capital. For a further knowledge in this field, we created a specific index for the banking sector, considering appropriate indicators for an incisive, comprehensive analysis in order to consider the most relevant indicators of intellectual capital components. Besides, confronting the analysis of disclosure in the context of accounting standards with the study of voluntary disclosure brought a new analysis approach to the research on intellectual capital disclosure. With this study, we have also intended to raise greater awareness of the need for harmonization in the intellectual capital disclosure on the part of the regulatory banking authority by means of a demanding, consistent and transparent report of intellectual capital with simple, clear, objective indicators so that those interested in disclosing intellectual capital information in the organizations in this sector may obtain more harmonized and comparable information. A research on the disclosure quality of intellectual capital, together with the application of other analysis methodologies in this sector, might be a promising approach for future research. Applying the voluntary disclosure index to the same sector in other countries may also contribute to the knowledge of disclosure practices in different geographical environments. We highlight the relevance of further studies contributing to the harmonization and consistency in the presentation of an intellectual capital report so as to enable organizations to disclose the resources that contribute most to their competitiveness and growth.

Early patterns of recovery from disturbance in intertidal algal assemblages: consistency across regions within a marine province

The importance of disturbance and the subsequent rate and pattern of recovery has been long recognised as an important driver of community structure. Community recovery is affected by processes operating at local and regional scales yet the examination of community level responses to a standardised disturbance at regional scales (i.e. among regions under different environmental conditions) has seldom been attempted. Here, we mechanically disturbed rocky intertidal lower shore algal dominated assemblages at three locations within each of three different regions within the Lusitanian biogeographical province (Azores, northern Portugal and the Canary Islands). All organisms were cleared from experimental plots and succession followed over a period of 12 months at which time we formally compared the assemblage structure to that of unmanipulated controls. Early patterns of recovery of disturbed communities varied among regions and was positively influenced by temperature, but not by regional species richness. Different components of the assemblage responded differently to disturbance. Regional differences in the relative abundance and identity of species had a key influence on the overall assemblage recovery. This study highlights how regional-scales differences in environmental conditions and species pool are important determinants of recovery of disturbed communities.

Internal consistency of the self-reporting questionnaire-20 in occupational groups

ABSTRACT OBJECTIVE To assess the internal consistency of the measurements of the Self-Reporting Questionnaire (SRQ-20) in different occupational groups. METHODS A validation study was conducted with data from four surveys with groups of workers, using similar methods. A total of 9,959 workers were studied. In all surveys, the common mental disorders were assessed via SRQ-20. The internal consistency considered the items belonging to dimensions extracted by tetrachoric factor analysis for each study. Item homogeneity assessment compared estimates of Cronbach’s alpha (KD-20), the alpha applied to a tetrachoric correlation matrix and stratified Cronbach’s alpha. RESULTS The SRQ-20 dimensions showed adequate values, considering the reference parameters. The internal consistency of the instrument items, assessed by stratified Cronbach’s alpha, was high (> 0.80) in the four studies. CONCLUSIONS The SRQ-20 showed good internal consistency in the professional categories evaluated. However, there is still a need for studies using alternative methods and additional information able to refine the accuracy of latent variable measurement instruments, as in the case of common mental disorders.

Consistency and Context Management in a Multi Agent Belief Revision Testbed

Multi-agent architectures are well suited for complex inherently distributed problem solving domains. From the many challenging aspects that arise within this framework, a crucial one emerges: how to incorporate dynamic and conflicting agent beliefs? While the belief revision activity in a single agent scenario is concentrated on incorporating new information while preserving consistency, in a multi-agent system it also has to deal with possible conflicts between the agents perspectives. To provide an adequate framework, each agent, built as a combination of an assumption based belief revision system and a cooperation layer, was enriched with additional features: a distributed search control mechanism allowing dynamic context management, and a set of different distributed consistency methodologies. As a result, a Distributed Belief Revision Testbed (DiBeRT) was developed. This paper is a preliminary report presenting some of DiBeRT contributions: a concise representation of external beliefs; a simple and innovative methodology to achieve distributed context management; and a reduced inter-agent data exchange format.