Trust Logics and Their Horn Fragments: Formalizing Socio-Cognitive Aspects of Trust
, 2015 Karl Nygren
openalex +1 more source
A Bounded Domain Property for an Expressive Fragment of First-Order Linear Temporal Logic
, 2019 Quentin Peyras +2 more
openalex +2 more sources
The power of many: when genetics met yeasts and high‐throughput
Biological Reviews, EarlyView.ABSTRACT In recent years, complex technological capabilities have evolved, driven by the need to solve complex and integrative biological questions through global analyses. New equipment allows the scaling up and automation of processes which previously were carried out on a very limited scale.
Víctor A. Tallada, Víctor Carranco
wiley +1 more source
Dual recombinase-mediated endothelial cell-specific lineage tracing and ablation. [PDF]
Cell RegenLi J +6 more
europepmc +1 more source
Fuzzy logic in the determination of forest fragments for seed collection
, 2017 Telma Machado de Oliveira Peluzio
openalex +1 more source
A PSPACE-Complete First Order Fragment of Computability Logic [PDF]
, 2012 Matthew S. Bauer
openalex +1 more source
Benefit Corporations: The Moral Legitimacy That Requires More Rules
Business Strategy and the Environment, EarlyView.ABSTRACT This study examines why Italian for‐profit firms convert to Benefit Corporation status and how they navigate the ensuing hybridization. Survey data from 118 companies are interpreted through a pragmatic and moral legitimacy lens. Results show that the main trigger is pragmatic legitimacy: managers seek to strengthen trust with internal and ...
Laura Rocca +3 more
wiley +1 more source
Liquid-liquid phase separation of peptides: a molecular foundation for next-generation biomaterials. [PDF]
Chem SciLu L, Wang H.
europepmc +1 more source
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives [PDF]
, 2017 Alberto Molinari +2 more
openalex +1 more source