Results 121 to 130 of about 105,023,630 (305)

Multilevel transitive and intransitive non-interference, causally [PDF]

, 2018
We develop a theory of non-interference for multilevel security based on causality, with Petri nets as a reference model. We first focus on transitive non-interference, where the relation representing the admitted flow is transitive.
Beggiato, Alessandro, Paolo Baldan, Alessandro Beggiato, Baldan, Paolo   +3 more
core   +1 more source

Vertex Hashing Assignment‐Based Distributed Sampling Algorithm for Large‐Scale Dynamic Graph Stream

CAAI Transactions on Intelligence Technology, EarlyView.
ABSTRACT In recent years, research on triangle counting in large graphs has primarily focused on estimating the number of triangles in static graphs. Most streaming graph sampling algorithms are only capable of estimating triangle counts in static graphs and cannot handle dynamic graphs.
Yu‐Lin He, Gao‐Jie Liu, Bo Wu, Joshua Zhexue Huang   +3 more
wiley   +1 more source

Grammatica contrastiva, lessicografia e insegnamento: verbi transitivi / intransitivi e complementi

Philologia Hispalensis, 2014
As authors of the ‘GrandeDizionario di Spagnolo Zanichelli’ (2012) (GDS), we raised several questions on the description of grammatical voices in Spanish and Italian. In this article we present how we have dealt with lexicographic practice in relation to
Adriana Padoan, Rossend Arqués Corominas   +1 more
doaj   +1 more source

Untested Feasibility as Progressive Performativity: Towards a Desirable Future Through Transformative Responsible Management Education

British Journal of Management, EarlyView.
Abstract The call for transformation in Management Education (ME) has intensified amid global crises, including the climate emergency, social inequality, and recurrent corporate misconduct. While Responsible Management Education (RME) has emerged in response to these challenges, it often struggles to move beyond symbolic gestures towards substantive ...
Janette Brunstein, Marcelo de Souza Bispo, Flavio Hourneaux Junior   +2 more
wiley   +1 more source

Social networks in special schools: Friendships, bullying and play among pupils with special educational needs and disabilities

British Journal of Special Education, EarlyView.
Abstract Little is known about the social networks of children with special educational needs and disabilities (SEND) in specialist school settings—schools designed to support specific educational needs. Most literature on the social connections of children with SEND suggests that they have fewer friendships and are more involved in bullying situations,
Julia R. Badger, Lucy Robinson, Kimberly Winardi, Ariel Lindorff, Chloe Bracegirdle   +4 more
wiley   +1 more source

The Finite Satisfiability Problem for Two-Variable, First-Order Logic with one Transitive Relation is Decidable [PDF]

, 2017
We consider the two-variable fragment of first-order logic with one distinguished binary predicate constrained to be interpreted as a transitive relation.
Pratt-Hartmann, Ian; id_orcid, Pratt-Hartmann, Ian   +1 more
core   +1 more source

Bactrian in Issyk‐Kushan Script: Additional Readings and Decipherments1

Transactions of the Philological Society, EarlyView.
Abstract This article presents additional readings of several inscriptions written in the Issyk‐Kushan script, building on the improved system of sound values recently proposed by Sims‐Williams (2025b). We propose that some further lines of Dašt‐i Nāwur inscription DN III and parts of several other inscriptions can now be read as Bactrian, add new ...
Jakob Halfmann, Simon Fries, Bobomullo Bobomulloev, Muhsin Bobomulloev   +3 more
wiley   +1 more source

There Is no First Phase of the Jespersen Cycle1

Transactions of the Philological Society, EarlyView.
Abstract This paper challenges the traditional conception of the Jespersen Cycle by arguing that no ‘pure’ first phase of the cycle exists where a single negator operates without reinforcement. Drawing on historical data from Northern Italian dialects (Piedmontese, Lombard, Emilian), we demonstrate that emphatic negative structures systematically co ...
Tommaso Mattiuzzi, Cecilia Poletto
wiley   +1 more source

From Nouns and Adjectives to Verbs: Base Effects on the Grammatical Behaviour of Denominal Verbs in Ancient Greek1

Transactions of the Philological Society, EarlyView.
Abstract This paper investigates the role of semantic features of noun and adjective bases in determining the grammatical behaviour of Ancient Greek denominal and deadjectival verbs in *‐ye/o‐. The paper adopts a lexicalist framework (Rappaport Hovav & Levin 1998) and examines how the event schema, actionality, telicity and voice of derived verbs are ...
Carolina Marescotti
wiley   +1 more source

Why Bulk Discount for Multiple Offenders? A Lexical Local Justification

The Modern Law Review, EarlyView.
This paper offers an original non‐consequentialist justification for the ‘bulk discount’ given to offenders who are sentenced for multiple counts in a single proceeding, a discount that is available in most jurisdictions. Existing justifications for this practice face serious objections. I propose a new account, ‘Lexical Local Justification’.
Peter Chau
wiley   +1 more source