User-definable resource bounds analysis for logic programs

We present a static analysis that infers both upper and lower bounds on the usage that a logic program makes of a set of user-definable resources. The inferred bounds will in general be functions of input data sizes. A resource in our approach is a quite general, user-defined notion which associates a basic cost function with elementary operations. The analysis then derives the related (upper- and lower-bound) resource usage functions for all predicates in the program. We also present an assertion language which is used to define both such resources and resourcerelated properties that the system can then check based on the results of the analysis. We have performed some preliminary experiments with some concrete resources such as execution steps, bytes sent or received by an application, number of files left open, number of accesses to a datábase, number of calis to a procedure, number of asserts/retracts, etc. Applications of our analysis include resource consumption verification and debugging (including for mobile code), resource control in parallel/distributed computing, and resource-oriented specialization.

Interval-based resource usage verification: Formalization and prototype

In an increasing number of applications (e.g., in embedded, real-time, or mobile systems) it is important or even essential to ensure conformance with respect to a specification expressing resource usages, such as execution time, memory, energy, or user-defined resources. In previous work we have presented a novel framework for data size-aware, static resource usage verification. Specifications can include both lower and upper bound resource usage functions. In order to statically check such specifications, both upper- and lower-bound resource usage functions (on input data sizes) approximating the actual resource usage of the program which are automatically inferred and compared against the specification. The outcome of the static checking of assertions can express intervals for the input data sizes such that a given specification can be proved for some intervals but disproved for others. After an overview of the approach in this paper we provide a number of novel contributions: we present a full formalization, and we report on and provide results from an implementation within the Ciao/CiaoPP framework (which provides a general, unified platform for static and run-time verification, as well as unit testing). We also generalize the checking of assertions to allow preconditions expressing intervals within which the input data size of a program is supposed to lie (i.e., intervals for which each assertion is applicable), and we extend the class of resource usage functions that can be checked.

User-definable resource usage bounds analysis for java bytecode

Automatic cost analysis of programs has been traditionally concentrated on a reduced number of resources such as execution steps, time, or memory. However, the increasing relevance of analysis applications such as static debugging and/or certiflcation of user-level properties (including for mobile code) makes it interesting to develop analyses for resource notions that are actually application-dependent. This may include, for example, bytes sent or received by an application, number of files left open, number of SMSs sent or received, number of accesses to a datábase, money spent, energy consumption, etc. We present a fully automated analysis for inferring upper bounds on the usage that a Java bytecode program makes of a set of application programmer-deflnable resources. In our context, a resource is defined by programmer-provided annotations which state the basic consumption that certain program elements make of that resource. From these deflnitions our analysis derives functions which return an upper bound on the usage that the whole program (and individual blocks) make of that resource for any given set of input data sizes. The analysis proposed is independent of the particular resource. We also present some experimental results from a prototype implementation of the approach covering a signiflcant set of interesting resources.

Customizable resource usage analysis for java bytecode

Automatic cost analysis of programs has been traditionally studied in terms of a number of concrete, predefined resources such as execution steps, time, or memory. However, the increasing relevance of analysis applications such as static debugging and/or certification of user-level properties (including for mobile code) makes it interesting to develop analyses for resource notions that are actually applicationdependent. This may include, for example, bytes sent or received by an application, number of files left open, number of SMSs sent or received, number of accesses to a database, money spent, energy consumption, etc. We present a fully automated analysis for inferring upper bounds on the usage that a Java bytecode program makes of a set of application programmer-definable resources. In our context, a resource is defined by programmer-provided annotations which state the basic consumption that certain program elements make of that resource. From these definitions our analysis derives functions which return an upper bound on the usage that the whole program (and individual blocks) make of that resource for any given set of input data sizes. The analysis proposed is independent of the particular resource. We also present some experimental results from a prototype implementation of the approach covering an ample set of interesting resources.

Resource bounds analysis.

We present a generic analysis that infers both upper and lower bounds on the usage that a program makes of a set of user-definable resources. The inferred bounds will in general be functions of input data sizes. A resource in our approach is a quite general, user-defined notion which associates a basic cost function with elementary operations. The analysis then derives the related (upper- and lower- bound) cost functions for all procedures in the program. We also present an assertion language which is used to define both such resources and resource-related properties that the system can then check based on the results of the analysis. We have performed some experiments with some concrete resource-related properties such as execution steps, bits sent or received by an application, number of arithmetic operations performed, number of calls to a procedure, number of transactions, etc. presenting the resource usage functions inferred and the times taken to perform the analysis. Applications of our analysis include resource consumption verification and debugging (including for mobile code), resource control in parallel/distributed computing, and resource-oriented specialization.

Border environmental education resource guide = Guía de recursos de educación ambiental en la frontera : Southern New Mexico, South Texas, Northern Chihuahua, Northern Coahuila, Northern Nuevo Leon, Northern Tamaulipas.

English and Spanish text inverted, bound together back to back.

An integrative framework for determining cross-national human resource management practices

Currently, debate in the area of cross-national human resource management (HRM) suggests that both “culture-bound” and “culture-free” factors and variables are important determinants of HRM policies and practices. HRM is presented as being context-specific and it is argued that with the growth of new markets world-wide, and increased levels of competition and globalization of business, there is a strong need for more cross-national HRM studies. However, the literature shows the absence of an integrated framework, which can help to highlight the different role that context-specific facets of HRM practices play. The nature of different determinants in different national and regional settings is rarely analyzed. This paper develops an integrated framework. It delineates the main distinctive facets associated with national factors, contingent variables, and organizational and human resource (HR) strategies and policies, that may be used to evaluate cross-national comparative HRM policies and practices.

Defending the 'public interest': an assessment of competing actor representations of 'solutions' to growing natural resource deficiencies.

This paper applies a SRT framework to the study of two case studies, namely the recent campaign of opposition to the legalization of hydraulic fracking in the State of New York and the more ongoing debate on land leasing in Africa. In relation to both campaigns, the analysis accounts for the arguments of a major financial institution and industry representatives who stress the safe and value-adding dimensions of these practices, as well as the views of opponents who refute the validity of industry's position and point to the unacceptable risks posed to the community, health and the environment. In spite of a number of obvious differences between these two case studies, not least differences arising from contrasting socio-economic and geo-political settings, there were also some notable similarities. First, was a tendency amongst protesters in both cases to formulate their role as contemporaries in a historically extended struggle for democratic justice. All perceived of themselves as guardians of their community's right to resist a corporate 'invasion' of their territories, like their forefathers and mothers before them. A theme of colonialism was explored in both settings through various identity and thematic anchoring devices that deliberately evoked shared understandings and historical memories of exploitation and human suffering. The evocation of powerful symbols of identity through visual narratives of protest further reinforced the cultural comprehensibility of opponents' message of protest in both contexts.

Hierarchical Multi-Label Text Classification in a Low-Resource Setting

In this thesis we address a multi-label hierarchical text classification problem in a low-resource setting and explore different approaches to identify the best one for our case. The goal is to train a model that classifies English school exercises according to a hierarchical taxonomy with few labeled data. The experiments made in this work employ different machine learning models and text representation techniques: CatBoost with tf-idf features, classifiers based on pre-trained models (mBERT, LASER), and SetFit, a framework for few-shot text classification. SetFit proved to be the most promising approach, achieving better performance when during training only a few labeled examples per class are available. However, this thesis does not consider all the hierarchical taxonomy, but only the first two levels: to address classification with the classes at the third level further experiments should be carried out, exploring methods for zero-shot text classification, data augmentation, and strategies to exploit the hierarchical structure of the taxonomy during training.

An Integrated Framework To Improve The Concept Of Resource Specialisation.

Resource specialisation, although a fundamental component of ecological theory, is employed in disparate ways. Most definitions derive from simple counts of resource species. We build on recent advances in ecophylogenetics and null model analysis to propose a concept of specialisation that comprises affinities among resources as well as their co-occurrence with consumers. In the distance-based specialisation index (DSI), specialisation is measured as relatedness (phylogenetic or otherwise) of resources, scaled by the null expectation of random use of locally available resources. Thus, specialists use significantly clustered sets of resources, whereas generalists use over-dispersed resources. Intermediate species are classed as indiscriminate consumers. The effectiveness of this approach was assessed with differentially restricted null models, applied to a data set of 168 herbivorous insect species and their hosts. Incorporation of plant relatedness and relative abundance greatly improved specialisation measures compared to taxon counts or simpler null models, which overestimate the fraction of specialists, a problem compounded by insufficient sampling effort. This framework disambiguates the concept of specialisation with an explicit measure applicable to any mode of affinity among resource classes, and is also linked to ecological and evolutionary processes. This will enable a more rigorous deployment of ecological specialisation in empirical and theoretical studies.

Infertility Care And The Introduction Of New Reproductive Technologies In Poor Resource Settings.

The overall prevalence of infertility was estimated to be 3.5-16.7% in developing countries and 6.9-9.3% in developed countries. Furthermore, according to reports from some regions of sub-Saharan Africa, the prevalence rate is 30-40%. The consequences of infertility and how it affects the lives of women in poor-resource settings, particularly in developing countries, has become an important issue to be discussed in reproductive health. In some societies, the inability to fulfill the desire to have children makes life difficult for the infertile couple. In many regions, infertility is considered a tragedy that affects not only the infertile couple or woman, but the entire family. This is a position paper which encompasses a review of the needs of low-income infertile couples, mainly those living in developing countries, regarding access to infertility care, including ART and initiatives to provide ART at low or affordable cost. Information was gathered from the databases MEDLINE, CENTRAL, POPLINE, EMBASE, LILACS, and ICTRP with the key words: infertility, low income, assisted reproductive technologies, affordable cost, low cost. There are few initiatives geared toward implementing ART procedures at low cost or at least at affordable cost in low-income populations. Nevertheless, from recent studies, possibilities have emerged for new low-cost initiatives that can help millions of couples to achieve the desire of having a biological child. It is necessary for healthcare professionals and policymakers to take into account these new initiatives in order to implement ART in resource-constrained settings.

Metal Ions Bound To The Human Milk Immunoglobulin A: Metalloproteomic Approach.

The presence of calcium, iron, and zinc bound to human milk secretory IgA (sIgA) was investigated. The sIgA components were first separated by two-dimensional polyacrylamide gel electrophoresis and then identified by electrospray ionization-tandem mass spectrometry (ESI MS MS). The metal ions were detected by flame atomic absorption spectrometry after acid mineralization of the spots. The results showed eight protein spots corresponding to the IgA heavy chain constant region. Another spot was identified as the transmembrane secretory component. Calcium was bound to both the transmembrane component and the heavy chain constant region, while zinc was bound to the heavy chain constant region and iron was not bound with the identified proteins. The association of a metal ion with a protein is important for a number of reasons, and therefore, the findings of the present study may lead to a better understanding of the mechanisms of action and of additional roles that sIgA and its components play in human milk.

State-of-the-Art and Future Directions for Green Human Resource Management: Introduction to the Special Issue

The topic of environmental sustainability is generating increased concern among business executives, governments, consumers, and management scholars. As these stakeholders struggle with the challenges and opportunities presented by an array of environmental issues, HRM scholars and practitioners alike have been relatively slow to engage in the ongoing discussions and debates. Through this special issue on Green FIRM, we seek to stimulate the field of HRM to expand its role in the pursuit of environmentally sustainable business. In this introduction to the special issue, we first provide an overview of the articles that appear in the special issue. Next we present a detailed discussion of research questions that arise from a consideration of several functional HRM practices, including performance management; training, development, and learning; compensation and rewards; and organizational culture. We conclude by describing opportunities for research at the intersection of strategic HRM and environmental management. If pursued with vigor, research addressing this extensive agenda could begin to establish a healthy field of Green FIRM scholarship.

Bone Marrow Concentrate and Bovine Bone Mineral for Sinus Floor Augmentation: A Controlled, Randomized, Single-Blinded Clinical and Histological Trial-Per-Protocol Analysis

Purpose: The purpose of this work was to evaluate the potential of substituting autogenous bone (AB) by bone marrow aspirate concentrate (BMAC). Both AB and BMAC were tested in combination with a bovine bone mineral (BBM) for their ability of new bone formation (NBF) in a multicentric, randomized, controlled, clinical and histological noninferiority trial. Materials and Methods: Forty-five severely atrophied maxillary sinus from 26 patients were evaluated in a partial cross-over design. As test arm, 34 sinus of 25 patients were augmented with BBM and BMAC containing mesenchymal stem cells. Eleven control sinus from 11 patients were augmented with a mixture of 70% BBM and 30% AB. Biopsies were obtained after a 3-4-month healing period at time of implant placement and histomorphometrically analyzed for NBF. Results: NBF was 14.3%+/- 1.8% for the control and nonsignificantly lower (12.6%+/- 1.7%) for the test (90% confidence interval: -4.6 to 1.2). Values for BBM (31.3%+/- 2.7%) were significantly higher for the test compared with control (19.3%+/- 2.5%) (p < 0.0001). Nonmineralized tissue was lower by 3.3% in the test compared with control (57.6%; p = 0.137). Conclusions: NBF after 3-4 months is equivalent in sinus, augmented with BMAC and BBM or a mixture of AB and BBM. This technique could be an alternative for using autografts to stimulate bone formation.