This study aims to examine the role of green governance in quality sustainability reports. We also moderating commitment between and research is a quantitative by using unbalanced data panels. The retrieves samples from companies listed on ASEAN Stock Exchange that published reports 2015 2019. finding shows board’s independence, board diversity, are significantly associated with Moreover, size ...

Constraints can be used in concurrency theory to increase the conciseness and the expressive power of concurrent languages from a pragmatic point of view. In this work we study the expressive power of a concurrent language, namely Constraint Handling Rules, that supports constraints as a primitive construct. We show what features of this language make it Turing powerful and what happens to its ...

We demonstrate how infinities improve the expressivity, power, readability, conciseness, and compositionality of a program logic. We prove that adding infinities to Presburger arithmetic enables these improvements without sacrificing decidability. We develop Omega++, a Coq-certified decision procedure for Presburger arithmetic with infinity and benchmark its performance. Both the program and pr...

insufficiently the departments of Pharmacy and Pharmaceutical Chemistry, so that the student preparing for an examination in Materia Medica would find it necessary to seek for further information elsewhere on these subjects. Dr. F. T. Roberts has now issued that part of the notes for his course ?f lectures on Materia Medica at University College, which relates to Materia Medica, Pharmacy and Ph...

We present an evaluation framework in which the effectiveness of evaluative arguments can be measured with real users. The framework is based on the task-efficacy evaluation method. An evaluative argument is presented in the context of a decision task and measures related to its effectiveness are assessed. Within this framework, we are currently running a formal experiment to verify whether arg...

Largely because of an attempt at conciseness, but also be cause of the compactness of KeyKOS and the mutual re liance of the abstractions from which it is developed, certain words and phrases appear, of necessity, earlier in this publi cation than the principle discussions explaining them. The information in this publication is ordered with the intent that a reader will need to assume as lit...

In an extensive review of the literature on reading disability Hallgren (1950) finds a consensus of opinion among most authors that the incidence of severe cases of dyslexia among otherwise normal school-children is about 1% ; and this agrees well with the most recent findingin this country, reported in the Ministry of Education (1950) pamphlet " Reading Ability ", that 1-4% of children leaving...