Results 41 to 50 of about 188,814 (295)
Formalizing Abstract Algebra in Constructive Set Theory [PDF]
, 2003 We present a machine-checked formalization of elementary abstract algebra in constructive set theory. Our formalization uses an approach where we start by specifying the group axioms as a collection of inference rules, defining a logic for groups.
Hickey, Jason, Yu, Xin
core
An Epistemic Perspective on Consistency of Concurrent Computations
, 2013 Consistency properties of concurrent computations, e.g., sequential consistency, linearizability, or eventual consistency, are essential for devising correct concurrent algorithms.
A. Gotsman +11 more
core +1 more source
A QBF-based Formalization of Abstract Argumentation Semantics [PDF]
, 2013 Supported by the National Research Fund, Luxembourg (LAAMI project) and by the Engineering and Physical Sciences Research Council (EPSRC, UK), grant ref.
Arieli, Ofer, Caminada, Martin W.A.
core +1 more source
Arthritis Care &Research, EarlyView.People with systemic autoimmune and rheumatic diseases (SARDs) are at higher risk than the general population of experiencing adverse pregnancy and perinatal outcomes such as preeclampsia, intrauterine growth restriction, and maternal and/or fetal death.
Mehret Birru Talabi, Sonya Borrero
wiley +1 more source
Revista Iberoamericana de Estudios de DesarrolloIt is common to find «informal ownership» in Latin America in the context of illegal takings. Human settlements in Peru, favelas in Brazil, or camps in Chile, in all cases, a group of people builds land rights outside the law.
Guillermo Arribas
doaj +1 more source
Kajian Formalisasi PKL di Kawasan Pasar Waru Semarang
Jurnal Pembangunan Wilayah dan Kota, 2014 Formalization of street vendors in the city of Semarang such official site at Waru Market Area in Kaligawe to accommodate that activities. In 2007, the market is prepared to accommodate the relocated Waru merchants of Kartini, Progo and Citarum with ...
Nurani Nurul Hidayati, Nurini Nurini
doaj +1 more source
Arthritis Care &Research, Accepted Article.Over the past 50 years, the science of pediatric rheumatology has grown exponentially due to an expansion in the understanding of complex rheumatic conditions and a surge in novel targeted therapeutics. Physician‐scientists in the field of pediatric rheumatology have played major roles in these advancements that have improved the care of children ...
Ekemini A. Ogbu +2 more
wiley +1 more source
Judging by the Rules? The emergence of evaluation practices
Valuation StudiesHow does evaluation work differently, and how do evaluation practices emerge, in different contexts? Drawing on a mixed-methods study of evaluation in figure skating and classical music, I discuss the divergent evaluative cultures in these settings ...
Stacy Lom
doaj +1 more source
Concrete Semantics with Coq and CoqHammer
, 2018 The "Concrete Semantics" book gives an introduction to imperative programming languages accompanied by an Isabelle/HOL formalization. In this paper we discuss a re-formalization of the book using the Coq proof assistant.
A Chlipala +7 more
core +1 more source
Advanced Engineering Materials, EarlyView.This article presents the NFDI‐MatWerk Ontology (MWO), a Basic Formal Ontology‐based framework for interoperable research data management in materials science and engineering (MSE). Covering consortium structures, research data management resources, services, and instruments, MWO enables semantic integration, Findable, Accessible, Interoperable, and ...
Hossein Beygi Nasrabadi +4 more
wiley +1 more source