Results 31 to 40 of about 86,588 (304)
Bodily Complexity: Integrated Multicellular Organizations for Contraction-Based Motility
Frontiers in Physiology, 2019 Compared to other forms of multicellularity, the animal case is unique. Animals—barring some exceptions—consist of collections of cells that are connected and integrated to such an extent that these collectives act as unitary, large free-moving entities ...
Argyris Arnellos +2 more
doaj +1 more source
Achieving Customer Satisfaction through Integrated Products and Services: An Exploratory Study [PDF]
, 2013 Much of the research on satisfying customer needs is strongly influenced by the product or service dichotomy. Customer solutions however represent a type of offering that integrates products and services.
Bourne, Dorota +9 more
core +1 more source
A Productivity Checker for Logic Programming [PDF]
, 2017 Automated analysis of recursive derivations in logic programming is known to be a hard problem. Both termination and non-termination are undecidable problems in Turing-complete languages. However, some declarative languages offer a practical work-around for this problem, by making a clear distinction between whether a program is meant to be understood ...
Ekaterina Komendantskaya +2 more
openaire +2 more sources
Provability in predicate product logic [PDF]
Archive for Mathematical Logic, 2007 The paper extends the theory of BL-logics introduced by \textit{P. Hájek} in 1998, exploiting the connection of the cancellative conjunctions on BL-algebras with ordered abelian groups. Then a sentence is provable if and only if it is a tautology (completeness). Moreover, closed models and the lexicographic sums are discussed and the completeness of BL-
Michael C. Laskowski, Shirin Malekpour
openaire +2 more sources
Complementing Logic Program Semantics [PDF]
, 1996 We consider abstract interpretation, and in particular the basic operators of reduced product and complementation of abstract domains, as a tool to systematically derive denotational semantics by composition and decomposition.
Roberto Giacobazzi +4 more
core +1 more source
A Novel Logic Detection Algorithm for Logic Circuits
IEEE Access, 2019 Synthesizing logic circuits with different logic will result in different circuit structure, and then obtain different circuit performance. However, few studies have focused on logic detection technology that detects which logic is appropriate for the ...
Zhenxue He +4 more
doaj +1 more source
Stability analysis of time-delay differential systems with impulsive effect suffered by logic choice
Results in Control and Optimization, 2021 In the field of artificial intelligence, nonlinear systems with logic function are everywhere. This paper investigates a time-delay differential system with impulsive effects suffered by logic choice.
Rong Li, Zhenhua He
doaj +1 more source
Product/Business Portfolio management: Logic, structural, and managerial implications
South African Journal of Business Management, 1985 The objective and scope of this article are to discuss the logic of Product/Business Portfolio management and to demonstrate how the expected optimal results of such management are undermined, if not completely undermined by factors which are ...
S. Shabalala
doaj +1 more source
Probabilistic modal {\mu}-calculus with independent product [PDF]
Logical Methods in Computer Science, 2012 The probabilistic modal {\mu}-calculus is a fixed-point logic designed for expressing properties of probabilistic labeled transition systems (PLTS's). Two equivalent semantics have been studied for this logic, both assigning to each state a value in the ...
Matteo Mio
doaj +1 more source
The ubiquitin‐proteasome system and autophagy as guardians of the cellular proteome
FEBS Letters, EarlyView.This Perspective covers the three principles governing the crosstalk between the ubiquitin‐proteasome system and autophagy in cellular proteostasis: (1) a shared ubiquitin code routing substrates via shuttle factors or autophagy receptors; (2) spatial compartmentalization into phase‐separated degradation hubs and organelle‐specific modules (exemplified
Ivan Dikic
wiley +1 more source