261,743 research outputs found
Continuum mechanics modelling of microfilament networks with different architectures based on molecular investigation of single F-actin
No full textThe actin microfilament plays a critical role in many cellular processes including embryonic development, wound healing, immune response, and tissue development. It is commonly organized in the form of networks whose mechanical properties change with changes in their architecture due to cell evolution processes. This paper presents a new nonlinear continuum mechanics model of single filamentous actin (F-actin) that is based on nanoscale molecular simulations. Following this continuum model of the single F-actin, mechanical properties of differently architected lamellipodia are studied. The results provide insight that can contribute to the understanding of the cell edge motions of living cells
Construction and Performance Analysis of variable-Weight optical Orthogonal Codes for Asynchronous Optical CDMA Systems
No full textConstruction of Two-Dimensional Wavelength/Time Optical Orthogonal Codes Using Difference Family
No full text
A coalgebraic perspective on probabilistic logic programming
Full text linkProbabilistic logic programming is increasingly important in artificial intelligence and related fields as a formalism to reason about uncertainty. It generalises logic programming with the possibility of annotating clauses with probabilities. This paper proposes a coalgebraic perspective on probabilistic logic programming. Programs are modelled as coalgebras for a certain functor F, and two semantics are given in terms of cofree coalgebras. First, the cofree F-coalgebra yields a semantics in terms of derivation trees. Second, by embedding F into another type G, as cofree G-coalgebra we obtain a “possible worlds” interpretation of programs, from which one may recover the usual distribution semantics of probabilistic logic programming
YU-FENG GU, MORIGENGAOWA, RI-HONG JIANG, BAO-DONG LIU & YUE-HONG YAN (2021) Sphaeropteris guangxiensis Y. F. Gu & Y. H. Yan (Cyatheaceae), a new species of tree fern from Southern China. Phytotaxa 518 (1): 69-74.
No full textYu-Feng Gu, Morigengaowa, Ri-Hong Jiang, Bao-Dong Liu (2021): YU-FENG GU, MORIGENGAOWA, RI-HONG JIANG, BAO-DONG LIU & YUE-HONG YAN (2021) Sphaeropteris guangxiensis Y. F. Gu & Y. H. Yan (Cyatheaceae), a new species of tree fern from Southern China. Phytotaxa 518 (1): 69-74. Phytotaxa 520 (1): 116-116, DOI: https://doi.org/10.11646/phytotaxa.520.1.10, URL: http://dx.doi.org/10.11646/phytotaxa.520.1.1
Coalgebraic semantics for probabilistic logic programming
Full text linkProbabilistic logic programming is increasingly important in artificial intelligence and related fields as a formalism to reason about uncertainty. It generalises logic programming with the possibility of annotating clauses with probabilities. This paper proposes a coalgebraic semantics on probabilistic logic programming. Programs are modelled as coalgebras for a certain functor F, and two semantics are given in terms of cofree coalgebras. First, the cofree F-coalgebra yields a semantics in terms of derivation trees. Second, by embedding F into another type G, as cofree G-coalgebra we obtain a 'possible worlds' interpretation of programs, from which one may recover the usual distribution semantics of probabilistic logic programming. Furthermore, we show that a similar approach can be used to provide a coalgebraic semantics to weighted logic programming
Letter from Carl Hayden to F. R. Goodman, County Engineer
No full textLetter from Carl Hayden to F. R. Goodman regarding the construction of new roads
Letter from Carl Hayden to F. R. Goodman
No full textLetter from Carl T. Hayden to F. R. Goodman concerning the purchase of Bright Angel Trail and construction of an approach road to the park
Letter from F. R. Goodman to Carl Hayden
No full textLetter from F. R. Goodman to Carl T. Hayden asking for clarification about the agreement to construct an approach road to the par
- …
