scholarly journals Space Analysis of a Predicate Logic Fragment for the Specification of Stream Monitors

10.29007/jnj2 ◽  
2018 ◽  
Author(s):  
David Cerna ◽  
Wolfgang Schreiner ◽  
Temur Kutsia
Keyword(s):  
Predicate Logic ◽  
Operational Semantics ◽  
Specification Language ◽  
Space Complexity ◽  
Runtime Monitoring ◽  
Space Analysis ◽  
The Core ◽  
Core Language ◽  
Industrial Context ◽  
Over Time

We analyze the space complexity of monitoring streams of messages whose expected behavior is specified in a fragment of predicate logic; this fragment is the core of the LogicGuard specification language that has been developed in industrial context for the runtime monitoring of network traffic. The execution of the monitors is defined by an operational semantics for the step-wise evaluation of formulas, of which require the preservation of instances of the formulas in memory until their truth value can be determined. In the presented work, we analyze the number of instances that have to be preserved over time for a significant fragment of the core language that involves only “future looking quantifiers” which lays the foundations for the space analysis of the entire core language.

Measuring the Gap: Algorithmic Approximation Bounds for the Space Complexity of Stream Specifications

10.29007/t3jg ◽  
2018 ◽  
Author(s):  
David Cerna ◽  
Wolfgang Schreiner
Keyword(s):  
Real World ◽  
Predicate Logic ◽  
Space Complexity ◽  
Runtime Monitoring ◽  
Large Fragment ◽  
Memory Efficiency ◽  
Real World Applications ◽  
Space Requirements ◽  
Algorithmic Procedure

In previous work we presented an algorithmic procedure for analysing the space complexity of monitor specifications written in a fragment of predicate logic. These monitor specifications were developed for runtime monitoring of event streams. Our procedure provides accurate results for a large fragment of the possible specifications, but overestimates the space complexity of precisely those specifications which are more likely to be found in real world applications. Experiments hinted at a relationship between the extent our procedure over-approximates the space requirements of a specification and the quantifier structure of the specification. In this paper we provide a formalization of this relationship as approximation ratios, and are able to pinpoint ``good'' constructions, that is specifications using less memory. These results are first steps towards categorizing specifications based on memory efficiency.

Equality and Equity in Chinese Higher Education in the Post-massification Era: An Analysis Based on Chinese Scholarly Literature

2021 ◽  
pp. 1-22
Author(s):  
Qiang Zha
Keyword(s):  
Higher Education ◽  
Literature Review ◽  
Bibliometric Analysis ◽  
Chinese Higher Education ◽  
Scholarly Literature ◽  
The Core ◽  
Research Questions ◽  
Changes Over Time ◽  
Core Issues ◽  
Over Time

Abstract This paper examines several research questions relating to equality and equity in Chinese higher education via an extended literature review, which in turn sheds light on evolving scholarly explorations into this theme. First, in the post-massification era, has the Chinese situation of equality and equity in higher education improved or deteriorated since the late 1990s? Second, what are the core issues with respect to equality and equity in Chinese higher education? Third, how have those core issues evolved or changed over time and what does the evolution indicate and entail? Methodologically, this paper uses a bibliometric analysis to detect the topical hotspots in scholarly literature and their changes over time. The study then investigates each of those topical terrains against their temporal contexts in order to gain insights into the core issues.

scholarly journals What is special about L3 processing?

2013 ◽  
Vol 18 (2) ◽  
pp. 130-144 ◽  
Author(s):  
KEES DE BOT ◽  
CAROL JAENSCH
Keyword(s):  
Second Language ◽  
Language Processing ◽  
Language Use ◽  
Fundamental Question ◽  
Third Language ◽  
The Core ◽  
Dynamic Perspective ◽  
Core Issue ◽  
The Brain ◽  
Over Time

While research on third language (L3) and multilingualism has recently shown remarkable growth, the fundamental question of what makes trilingualism special compared to bilingualism, and indeed monolingualism, continues to be evaded. In this contribution we consider whether there is such a thing as a true monolingual, and if there is a difference between dialects, styles, registers and languages. While linguistic and psycholinguistic studies suggest differences in the processing of a third, compared to the first or second language, neurolinguistic research has shown that generally the same areas of the brain are activated during language use in proficient multilinguals. It is concluded that while from traditional linguistic and psycholinguistic perspectives there are grounds to differentiate monolingual, bilingual and multilingual processing, a more dynamic perspective on language processing in which development over time is the core issue, leads to a questioning of the notion of languages as separate entities in the brain.

Accuracy of the Core Language Score of the CELF P2UK in Identifying Language Delay in Children from a Disadvantaged Community in Ireland

2015 ◽  
Vol 22 (1) ◽  
pp. 1-28
Author(s):  
Jennifer Keogh ◽  
Fiona Gibbon ◽  
Cara Teahan
Keyword(s):  
Screening Tool ◽  
Standard Test ◽  
Identification Accuracy ◽  
Language Delay ◽  
Disadvantaged Community ◽  
The Core ◽  
Normal Language ◽  
Core Language ◽  
Low Sensitivity ◽  
Language Screening

Objective: To determine if the Core Language Screen, a widely-used language screening tool, accurately identifies language delay in children from a disadvantaged community. Method: Participants were 234 children with mean age 4;07 years attending primary and preschools in a city area designated as disadvantaged in the south of Ireland. Participants were assessed on the CLS (screen) and full CELF-P2UK (gold standard) test. Sensitivity and specificity levels of the CLS were calculated. Main results: In total, 73 (31%) children had language delay on the CELF P2UK but of this group 34 (47%) passed the CLS screen. This gives the CLS a low sensitivity level of 0.53. In contrast, only one child with normal language failed the screen. This gives the CLS an excellent specificity level of 0.99. The results revealed an unusual profile of weaker receptive compared to expressive skills in all children, although it was particularly evident in those with language delay. Conclusion: The CLS failed to identify almost half the group with delays and therefore is not an accurate language screening tool for clinical or research purposes. Further research is needed to investigate not only the poor identification accuracy of the CLS but also the children’s unusual profile of weaker receptive and stronger expressive language skills.

Parameters or cues?

2004 ◽  
Vol 7 (1) ◽  
pp. 35-36 ◽  
Author(s):  
BRIAN MACWHINNEY
Keyword(s):  
Second Language ◽  
Second Language Acquisition ◽  
Language Acquisition ◽  
Hebbian Learning ◽  
Universal Grammar ◽  
Back Propagation ◽  
Parameter Setting ◽  
Functional Categories ◽  
The Core ◽  
Over Time

Truscott and Sharwood Smith (henceforth T&SS) attempt to show how second language acquisition can occur without any learning. In their APT model, change depends only on the tuning of innate principles through the normal course of processing of L2. There are some features of their model that I find attractive. Specifically, their acceptance of the concepts of competition and activation strength brings them in line with standard processing accounts like the Competition Model (Bates and MacWhinney, 1982; MacWhinney, 1987, in press). At the same time, their reliance on parameters as the core constructs guiding learning leaves this model squarely within the framework of Chomsky's theory of Principles and Parameters (P&P). As such, it stipulates that the specific functional categories of Universal Grammar serve as the fundamental guide to both first and second language acquisition. Like other accounts in the P&P framework, this model attempts to view second language acquisition as involving no real learning beyond the deductive process of parameter-setting based on the detection of certain triggers. The specific innovation of the APT model is that changes in activation strength during processing function as the trigger to the setting of parameters. Unlike other P&P models, APT does not set parameters in an absolute fashion, allowing their activation weight to change by the processing of new input over time. The use of the concept of activation in APT is far more restricted than its use in connectionist models that allow for Hebbian learning, self-organizing features maps, or back-propagation.

Solar-flare exposure and thermoluminescence of Luna 24 core material

1980 ◽  
Vol 297 (1428) ◽  
pp. 41-50 ◽  
Keyword(s):  
Solar Flare ◽  
Core Material ◽  
Substantial Fraction ◽  
Natural Radiation ◽  
Mixing Properties ◽  
Local Component ◽  
The Core ◽  
Radiation History ◽  
Solar Flare Tracks ◽  
Over Time

Mineral grains from three depths within the Luna 24 drill core ( ca . 90, 125 and 196 cm) have been examined for solar-flare tracks. Large proportions (55-100%) of grains from all three levels are found to be track-rich (with central track densities p e > 10 8 cm -2 ), and a substantial fraction ( ca . 25-50%) of all grains display trackdensity gradients. These observations indicate that most of the mineral grains have been cycled through the top ca . 1 mm of the lunar surface at some time in their history. Some degree of submaturity is observed towards the bottom of the core. The most likely depositional model envisages rapid infall of highly irradiated material into a less mature local component with rather little subsequent reworking. Thermoluminescence (t.l.) studies indicate a lower natural radiation dose in samples from the 196 cm level compared with those from the two upper levels. This can result either from random variations in the local internal radioactivity or from mixing properties of the pre-irradiated material over time scales of less than ca . 100 ka. Radiation sensitization of samples suggests a possible use of t.l. sensitivity for the interpretation of lunar radiation history.

The Development of Xunzi’s Theory of Xing, Reconstructed on the Basis of a Textual Analysis of Xunzi 23, “Xing E” 性惡 (Xing is Bad)

Early China ◽  
2001 ◽  
Vol 26 ◽  
pp. 99-158 ◽  
Author(s):  
Dan Robins
Keyword(s):  
Human Nature ◽  
Textual Analysis ◽  
Detailed Examination ◽  
The Core ◽  
Over Time

The section of the Xunzi called “Xing e” 性惡 (xing is bad) prominently and repeatedly claims that people's xing is bad. However, no other text in the Xunzi makes this claim, and it is widely thought that the claim does not express Xunzi's fundamental ideas about human nature. This article addresses the issue in a somewhat indirect way, beginning with a detailed examination of the text of “Xing e”: identifying a core text, removing a series of interpolations, analyzing the structure of the core text, and distinguishing between three positions that are defended there. This analysis shows that the claim that people's xing is bad is not really central to “Xing e.” More ambitiously, it supports the conclusion that Xunzi's ideas about people's xing changed over time. Though Xunzi did claim that people's xing is bad, he later abandoned the claim, and replaced it with an account of wei 偽 “artifice.”

scholarly journals Identification of damage development in the core of steel cord belts with the diagnostic system

2021 ◽  
Author(s):  
Ryszard Blazej ◽  
Leszek Jurdziak ◽  
Agata Kirjanow-Blazej ◽  
Tomasz Kozłowski
Keyword(s):  
Diagnostic System ◽  
Water Migration ◽  
Damage Development ◽  
Copper Ore ◽  
The Core ◽  
Single Defect ◽  
Steel Cord ◽  
Belt Conveyors ◽  
Changes Over Time ◽  
Over Time

Abstract Belt conveyors are used for transporting bulk materials over distances. The core of the belt, by transferring the longitudinal stresses and ensuring proper frictional coupling of the belt, enables belt movement and transportation of materials on its surface. As the belt cover and edges are used, the belt becomes abraded, and the core is subject to fatigue. The result is the development of cracks in rubber covers across the belt, which leads to the development of damage not only along the cables (the natural direction of water migration and corrosion) but also in the direction transverse to the belt axis. Conducting a series of scans of the St-type belt operating in one of the underground copper ore mines in Poland allowed identifying the number of failures as well as their size and changes over time. These data were in turn used to determine the measures defining the condition of the belt such as the density of defects (the number of defects per 1 m of the belt), the density of the area of damage (the area of damage per 1 m of the belt) and the change in the average area of a single defect over time. By determining the regression of these measures in time and the rate of damage development in both directions (along the axis of the belt and across the belt), it was possible to forecast future states of the belt, as well as to evaluate the costs of different belt replacement strategies and the economic rationalization of the decision to replace them. This research has become possible owing to the development of the DiagBelt system for two-dimensional imaging of the damage to the core of steel-cord belts with resolution sufficiently high to allow tracking the development of single core defects.

Non-Partisan Advisors in the Minister’s Office—Ghosts in the Core Executive Machine?

2021 ◽  
Author(s):  
Rose Cole
Keyword(s):  
Public Service ◽  
Resource Dependency ◽  
Policy Coordination ◽  
Functional Approach ◽  
Change Over Time ◽  
The Core ◽  
The Past ◽  
Core Executive ◽  
Dependency Approach ◽  
Over Time

Abstract The ‘core executive’ is conceived of as the collection of organisations and procedures that coordinate executive government. Two approaches to core executive studies are: the resource dependency approach, which focusses on how roles interact and resources are utilised; and the functional approach, which focusses on how roles change over time. Both approaches are applied to non-partisan advisors (private secretaries) in ministerial office settings, actors which to date core executive studies have ignored. It reveals the resources that non-partisan advisors apply to contribute to policy coordination and maintain political neutrality; and that their role has changed since the increased presence of partisan advisors in ministers’ offices in the past 20 years. Six distinct roles describe how non-partisan advisors respond to and meet the needs of both minister and public service in the core executive. When compared with political advisory roles, five of the roles appear strongly aligned in function.

An Integrated Approach for the Enforcement of Contextual Permissions and Pre-Obligations

2012 ◽  
pp. 107-126
Author(s):  
Yehia Elrakaiby ◽  
Frédéric Cuppens ◽  
Nora Cuppens-Boulahia
Keyword(s):  
Predicate Logic ◽  
Operational Semantics ◽  
Integrated Approach ◽  
Eca Rules ◽  
Authorization Policy ◽  
Declarative Semantics ◽  
Access Request ◽  
Successful Fulfillment ◽  
Authorization Policies

Pre-obligations denote actions that may be required before access is granted. The successful fulfillment of pre-obligations leads to the authorization of the requested access. Pre-obligations enable a more flexible enforcement of authorization policies. This paper formalizes interactions between the obligation and authorization policy states when pre-obligations are supported and investigates their use in a practical scenario. The main advantage of the presented approach is that it gives pre-obligations both declarative semantics using predicate logic and operational semantics using Event-Condition-Action (ECA) rules. Furthermore, the presented framework enables policy designers to easily choose to evaluate any pre-obligation either (1) statically (an access request is denied if the pre-obligation has not been fulfilled); or (2) dynamically (users are given the possibility to fulfill the pre-obligation after the access request and before access is authorized).

Sign in / Sign up

Export Citation Format

Share Document