Categorical concepts for parameterized partial specifications

1995 ◽  
Vol 5 (2) ◽  
pp. 153-188 ◽  
Author(s):  
Ingo Claßen ◽  
Martin GroßE-Rhode ◽  
Uwe Wolter
Keyword(s):  
Structural Theory ◽  
Specification Languages ◽  
Alternative Definition ◽  
Categorical Approach ◽  
Categorical Constructions ◽  
Definition Of ◽  
Act One

Categorical constructions inherent to a theory of algebras with strict partial operations are presented and exploited to provide a categorical deduction calculus for conditional existence equations and an alternative definition of such algebras based on the notion of syntactic categories. A compact presentation of the structural theory of parameterized (partial) specifications is given using the categorical approach. This theory is shown to be suitable for providing initial semantics as well as the compositionality results necessary for the definition of specification languages like ACT ONE and ACT TWO

scholarly journals The Effect of an Alternative Definition of “Percent Highly Annoyed” on the Exposure–Response Relationship: Comparison of Noise Annoyance Responses Measured by ICBEN 5-Point Verbal and 11-Point Numerical Scales

2021 ◽  
Vol 18 (12) ◽  
pp. 6258
Author(s):  
Makoto Morinaga ◽  
Thu Lan Nguyen ◽  
Shigenori Yokoshima ◽  
Koji Shimoyama ◽  
Takashi Morihara ◽  
...  
Keyword(s):  
Sound Pressure ◽  
Response Relationship ◽  
Alternative Definition ◽  
Exposure Response ◽  
Noise Annoyance ◽  
Numerical Scale ◽  
Verbal Scale ◽  
Sound Pressure Levels ◽  
Acoustic Surveys ◽  
Definition Of

Since the development of the 5-point verbal and 11-point numerical scales for measuring noise annoyance by the ICBEN Team 6, these scales have been widely used in socio-acoustic surveys worldwide, and annoyance responses have been easily compared internationally. However, both the top two categories of the 5–point verbal scale and the top three ones of the 11-point numerical scale are correspond to high annoyance, so it is difficult to precisely compare annoyance responses. Therefore, we calculated differences in day–evening–night-weighted sound pressure levels (Lden) by comparing values corresponding to 10% highly annoyed (HA) on Lden_%HA curves obtained from measurements in 40 datasets regarding surveys conducted in Japan and Vietnam. The results showed that the Lden value corresponding to 10% HA using the 5-point verbal scale was approximately 5 dB lower than that of the 11-point numerical scale. Thus, some correction is required to compare annoyance responses measured by the 5-point verbal and the 11-point numerical scales. The results of this study were also compared with those of a survey in Switzerland.

An alternative definition of sustainable development using stability and chaos theories

2006 ◽  
Vol 14 (1) ◽  
pp. 62-71 ◽  
Author(s):  
Amir Abbas Rassafi ◽  
Hossain Poorzahedy ◽  
Manouchehr Vaziri
Keyword(s):  
Sustainable Development ◽  
Alternative Definition ◽  
Definition Of

On the Very Idea of Civilisation

2021 ◽  
Vol 31 (2) ◽  
pp. 307-321
Author(s):  
Luke O’Sullivan ◽  
Keyword(s):  
Technological Development ◽  
Thomas Hobbes ◽  
Alternative Definition ◽  
Starting Point ◽  
Western Imperialism ◽  
Clash Of Civilisations ◽  
Definition Of ◽  
Contemporary Liberalism ◽  
Relationship Of ◽  
The Relationship

The concept of civilisation is a controversial one because it is unavoidably normative in its implications. Its historical associations with the effort of Western imperialism to impose substantive conditions of life have made it difficult for contemporary liberalism to find a definition of “civilization” that can be reconciled with progressive discourse that seeks to avoid exclusions of various kinds. But because we lack a way of identifying what is peculiar to the relationship of civilisation that avoids the problem of domination, it has tended to be conflated with other ideas. Taking Samuel Huntington's idea of a “Clash of Civilisations” as a starting point, this article argues that we suffer from a widespread confusion of civilisation with “culture,” and that we also confuse it with other ideas including modernity and technological development. Drawing on Thomas Hobbes, the essay proposes an alternative definition of civilisation as the existence of limits on how we may treat others.

Learning Patterns in the Disadvantaged

1967 ◽  
Vol 37 (4) ◽  
pp. 546-593 ◽  
Author(s):  
Susan Stodolsky ◽  
Gerald Lesser
Keyword(s):  
Educational Policy ◽  
Educational Opportunity ◽  
Equal Educational Opportunity ◽  
Alternative Definition ◽  
Future Directions ◽  
Disadvantaged Children ◽  
Learning Patterns ◽  
Definition Of

The authors review evidence and suggest future directions for research on the learning patterns of disadvantaged children. After a detailed description of a specific case of research, some implications for educational policy are discussed. The authors take issue with James S. Coleman's definition of the concept of "equal educational opportunity"and advance an alternative definition. The problem of achieving a useful definition of the term "disadvantaged"is addressed throughout the paper.

scholarly journals Mathematical and Physical Continuity

2008 ◽  
Vol 6 ◽  
Author(s):  
Mark Colyvan ◽  
Kenny Easwaran
Keyword(s):  
Common Sense ◽  
Natural Question ◽  
Alternative Definition ◽  
Continuous Motion ◽  
Mathematical Definition ◽  
Definition Of ◽  
Point Of Departure

There is general agreement in mathematics about what continuity is. In this paper we examine how well the mathematical definition lines up with common sense notions. We use a recent paper by Hud Hudson as a point of departure. Hudson argues that two objects moving continuously can coincide for all but the last moment of their histories and yet be separated in space at the end of this last moment. It turns out that Hudson’s construction does not deliver mathematically continuous motion, but the natural question then is whether there is any merit in the alternative definition of continuity that he implicitly invokes.

Introduction

2017 ◽  
Author(s):  
Georg Löfflmann
Keyword(s):  
National Security ◽  
Grand Strategy ◽  
The Political ◽  
Methodological Framework ◽  
Alternative Definition ◽  
Academic Literature ◽  
Conventional Literature ◽  
Definition Of ◽  
American Grand Strategy

This chapter highlights the conflict of competing grand strategy discourses under the Obama presidency, which are identified as hegemony, engagement and restraint. It provides an overview of the political significance of grand strategy and its treatment in the academic literature. The chapter describes the political and expert debate of American grand strategy under the Obama presidency and briefly introduces the theoretical-methodological framework that has guided the research into competing discourses of American grand strategy under Obama. The chapter offers an alternative definition of grand strategy from the conventional literature, identifying it as discursive link between geopolitical identity and national security.

scholarly journals The total occlusal convergence of the abutment of a partial fixed dental prosthesis: A definition and a clinical technique for its assessment

2013 ◽  
Vol 07 (04) ◽  
pp. 509-513 ◽  
Author(s):  
John S. Mamoun
Keyword(s):  
Dental Prosthesis ◽  
Experimental Results ◽  
High Magnification ◽  
Operating Microscope ◽  
Alternative Definition ◽  
Fixed Dental Prosthesis ◽  
Definition Of ◽  
The Ideal

ABSTRACTThe abutment(s) of a partial fixed dental prosthesis (PFDP) should have a minimal total occlusal convergence (TOC), also called a taper, in order to ensure adequate retention of a PFDP that will be made for the abutment(s), given the height of the abutment(s). This article reviews the concept of PFDP abutment TOC and presents an alternative definition of what TOC is, defining it as the extent to which the shape of an abutment differs from an ideal cylinder shape of an abutment. This article also reviews experimental results concerning what is the ideal TOC in degrees and explores clinical techniques of estimating the TOC of a crown abutment. The author suggests that Dentists use high magnification loupes (×6-8 magnification or greater) or a surgical operating microscope when preparing crown abutments, to facilitate creating a minimum abutment TOC.

Assessment of Depression in Children

2000 ◽  
Vol 10 (1) ◽  
pp. 35-50
Author(s):  
Michael J. Fry
Keyword(s):  
Critical Review ◽  
Measurement Techniques ◽  
Symptom Cluster ◽  
Self Report ◽  
Review Of The Literature ◽  
Categorical Approach ◽  
Clinical Interviews ◽  
Definition Of ◽  
Peer Reports ◽  
Selection Of

The assessment of childhood depression is a function of the definition of depression, namely, a single-symptom, symptom cluster, or categorical approach. Furthermore, the assumptions associated with these approaches underpin the development and selection of assessment devices which fall into three main categories: self-report measures, parent, teacher and peer reports, and diagnostic clinical interviews. In describing, exemplifying, and evaluating these measurement techniques, their relationship with the definitional assumptions will be demonstrated through a critical review of the literature. The related and crucial issues of comorbidity and informant variability will also be examined.

Sign in / Sign up

Export Citation Format

Share Document