Results 141 to 150 of about 10,035,291 (332)
Closure properties of locally finite ω-languages
, 2004 Locally finite ω-languages, defined via second-order quantifications followed by a first-order locally finite sentence, were introduced by Ressayre (J. Symbolic Logic 53(4) (1988) 1009–1026).
Finkel, Olivier
core +1 more source
FEBS Open Bio, EarlyView.In this study, we developed a deep learning method for mitotic figure counting in H&E‐stained whole‐slide images and evaluated its prognostic impact in 13 external validation cohorts from seven different cancer types. Patients with more mitotic figures per mm2 had significantly worse patient outcome in all the studied cancer types except colorectal ...
Joakim Kalsnes +32 more
wiley +1 more source
Some closure features of locally testable affine-invariant properties [PDF]
, 2013 Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2013.Cataloged from PDF version of thesis.Includes bibliographical references (p.
Guo, Alan Xinyu
core
Characterization and closure properties of linear ω-languages
, 1998 This article is an investigation to the theory of ω-languages. The characterization of linear ω-languages by automaton and grammars is given.
Mihoubi, Douadi
core +1 more source
FEBS Open Bio, EarlyView.Amino acids sequence of two different proteins with the same sequence (chameleon sequence—black boxes) represent in 3D structure of the proteins different secondary structures: HHHH—helical and BBB—Beta‐structural. The chains folded in water environment adopt different III‐order structures in which the chameleon fragments appear to adopt similar status
Irena Roterman +4 more
wiley +1 more source
Development of a Degradation Model for the Collapse Analysis of Composite Aerospace Structures
, 2006 For stiffened structures in compression the most critical damage mechanism leading to structural collapse is delamination or adhesive disbonding between the skin and stiffener.
Adrian C. Orifici +9 more
core
FEBS Open Bio, EarlyView.This study investigated a novel WST‐8‐based assay for evaluating d‐Amino acid oxidase (DAO) inhibitors. We confirmed its effectiveness using known inhibitors and found that uremic toxins possess relatively weak inhibitory activity compared to existing drugs.
Kahoko Miyake +4 more
wiley +1 more source
Functional Closure Properties of Finite $\mathbb{N}$-weighted Automata
We determine all functional closure properties of finite $\mathbb{N}$-weighted automata, even all multivariate ones, and in particular all multivariate polynomials.
Dörfler, Julian, Ikenmeyer, Christian
core
FEBS Open Bio, EarlyView.This protocol paper outlines methods to establish the success of a time‐resolved serial crystallographic experiment, by means of statistical analysis of timepoint data in reciprocal space and models in real space. We show how to amplify the signal from excited states to visualise structural changes in successful experiments.
Jake Hill +4 more
wiley +1 more source
Closure operators in Morita contexts: mappings and their properties.
, 2019 Closure operators in Morita contexts: mappings and their ...
Kashu, A. I.
core