Results 101 to 110 of about 22,607,729 (330)
Lifted Model Checking for Relational MDPs [PDF]
Probabilistic model checking has been developed for verifying systems that have stochastic and nondeterministic behavior. Given a probabilistic system, a probabilistic model checker takes a property and checks whether or not the property holds in that system. For this reason, probabilistic model checking provide rigorous guarantees.
arxiv
Abstract This article examines the digitalisation of employment services in the UK and Australia, countries that have been on similar policy trajectories with respect to the development of quasi‐markets and increased digitalisation. The article deploys comparative mixed methods comprising surveys of employment service providers and interviews with ...
Jo Ingold, Chris Forde, David Robertshaw
wiley +1 more source
Relation-dependent Contrastive Learning with Cluster Sampling for Inductive Relation Prediction [PDF]
Relation prediction is a task designed for knowledge graph completion which aims to predict missing relationships between entities. Recent subgraph-based models for inductive relation prediction have received increasing attention, which can predict relation for unseen entities based on the extracted subgraph surrounding the candidate triplet.
arxiv
UML Class Diagram or Entity Relationship Diagram : An Object Relational Impedance Mismatch [PDF]
It is now nearly 30 years since Peter Chen’s watershed paper “The Entity-Relationship Model –towards a Unified View of Data”. [1] The entity relationship model and variations and extensions to ithave been taught in colleges and universities for many ...
Byrne, Bernadette+1 more
core
Design and the Modeling Relation
Human perceptions of the world can be described in terms of models, such as mental models, formal models, and so on. All models involve some selection of the elements which comprise them. The degree to which those selections are consciously made varies according to the type of model being described, or thought to be relevant.
openaire +3 more sources
Abstract This paper explores the animating ethos of digital unemployment services. Unlike human‐to‐human services, where the intention of policy is normally mediated by professionals, digital services are fully designed in the policy imagination. As a result, it is a pressing issue to understand the ethos that animates their development.
Ray Griffin+2 more
wiley +1 more source
Abstract Children's relationship with time in preschools is an under‐researched area. Young children rarely know how to measure time using a clock, but their experiences of time may contribute to understanding children's well‐being and debates about quality in preschools.
Kristín Dýrfjörð+3 more
wiley +1 more source
A Relational Database Model for Text Encoding
None
Jeff Smith, Yin Liu
doaj +1 more source
Paraconsistent Intuitionistic Fuzzy Relational Data Model [PDF]
In this paper, we present a generalization of the relational data model based on paraconsistent intuitionistic fuzzy sets. Our data model is capable of manipulating incomplete as well as inconsistent information. Fuzzy relation or intuitionistic fuzzy relation can only handle incomplete information.
arxiv
User Defined Types and Nested Tables in Object Relational Databases [PDF]
Bernadette Byrne, Mary Garvey, ‘User Defined Types and Nested Tables in Object Relational Databases’, paper presented at the United Kingdom Academy for Information Systems 2006: Putting Theory into Practice, Cheltenham, UK, 5-7 June, 2006.There has been ...
Byrne, Bernadette, Garvey, Mary
core