Programming by predicates: a formal model for interactive synthesis
Sign Up to like & getrecommendations! Published in 2019 at "Acta Informatica"
DOI: 10.1007/s00236-019-00340-y
Abstract: Program synthesis is the problem of computing from a specification a program that implements it. New and popular variations on the synthesis problem accept specifications in formats that are easier for the human synthesis user… read more here.
Keywords: formal model; model interactive; model; specification ... See more keywords
Beliefs, parental investments, and intergenerational persistence: A formal model
Sign Up to like & getrecommendations! Published in 2018 at "Rationality and Society"
DOI: 10.1177/1043463117754076
Abstract: Empirical research documents persistent socioeconomic and race gaps in parental investments in children. This article presents a formal model that describes the process through which parents’ beliefs about the returns on investments in children evolve… read more here.
Keywords: parental investments; beliefs parental; formal model; beliefs returns ... See more keywords
A formal model of neighborhood representation and applications in urban building aggregation supported by Delaunay triangulation
Sign Up to like & getrecommendations! Published in 2019 at "PLoS ONE"
DOI: 10.1371/journal.pone.0218877
Abstract: Neighborhood relationship plays an important role in spatial analysis, map generalization, co-location data mining and other applications. From the perspective of computation, the formal model of neighborhood representation is a challenging question. This study presents… read more here.
Keywords: generalization; model neighborhood; formal model; model ... See more keywords
A Formal Model for the FAIR4Health Information Architecture
Sign Up to like & getrecommendations! Published in 2022 at "Studies in health technology and informatics"
DOI: 10.3233/shti220761
Abstract: In the EU project FAIR4Health, a ETL pipeline for the FAIRification of structured health data as well as an agent-based, distributed query platform for the analysis of research hypotheses and the training of machine learning… read more here.
Keywords: information architecture; architecture; formal model; fair4health ... See more keywords
An Actor-Based Formal Model and Runtime Environment for Resource-Bounded IoT Services
Sign Up to like & getrecommendations! Published in 2022 at "Algorithms"
DOI: 10.3390/a15110390
Abstract: With sensors becoming increasingly ubiquitous, there is tremendous potential for Internet of Things (IoT) services that can take advantage of the data collected by these sensors. Although there are a growing number of technologies focused… read more here.
Keywords: actor based; iot services; runtime environment; iot ... See more keywords
Structural Stability of Coalitions: A Formal Model Highlighting the Role of Participants Positioned between Members and Neutral Actors
Sign Up to like & getrecommendations! Published in 2022 at "Games"
DOI: 10.3390/g13010017
Abstract: Given a fixed network that links various actors, we introduce a formal model that describes the structural stability of coalitions. To this end, we used the partition of the set of all actors in three… read more here.
Keywords: neutral actors; stability coalitions; role participants; structural stability ... See more keywords