Results 41 to 50 of about 7,269,595 (295)
Complex Theory and Batch Processing in Mechanical Systemic Data Extraction
IEEE Access, 2022 This paper designs a new batching program to extract the original data, which helps to traverse the entire sample space quickly and provides a new approach for data extraction based on the motion stroke diagram. The designed program can read thousands of
Xuefang Chang +4 more
doaj +1 more source
Organoids in pediatric cancer research
FEBS Letters, EarlyView.Organoid technology has revolutionized cancer research, yet its application in pediatric oncology remains limited. Recent advances have enabled the development of pediatric tumor organoids, offering new insights into disease biology, treatment response, and interactions with the tumor microenvironment.
Carla Ríos Arceo, Jarno Drost
wiley +1 more source
Human-competitive tagging using automatic keyphrase extraction [PDF]
, 2009 This paper connects two research areas: automatic tagging on the web and statistical keyphrase extraction. First, we analyze the quality of tags in a collaboratively created folksonomy using traditional evaluation techniques.
Olena Medelyan +5 more
core +1 more source
Experiment of terminology extraction oriented to the construction of a library science thesaurus
Biblios, 2022 Objective. The objective of this artcicle is to evaluate two terminology extraction techniques: manual terminology extraction and automated terminology extraction, to assess the effectiveness of each process in obtaining useful terms for the construction
Adriana Suárez-Sánchez
doaj +1 more source
Proofs and Programs: A Naïve Approach to Program Extraction
Publications of the Research Institute for Mathematical Sciences, 1989 In this paper, we examine a naive but precise relation between verification proofs of iterative programs with recursions and proofs in a predicate logic. For that purpose, a logic of total correctness of programs is introduced, which is an extension of a predicate logic and a variant of Pratt's dynamic logic equipped with program variables.
openaire +2 more sources
A symmetric lambda calculus for “classical” program extraction
Information and Computation, 1994 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
F. BARBANERA, BERARDI, Stefano
openaire +4 more sources
Diversity and complexity in neural organoids
FEBS Letters, EarlyView.Neural organoid research aims to expand genetic diversity on one side and increase tissue complexity on the other. Chimeroids integrate multiple donor genomes within single organoids. Self‐organising multi‐identity organoids, exogenous cell seeding, or enforced assembly of region‐specific organoids contribute to tissue complexity.
Ilaria Chiaradia, Madeline A. Lancaster
wiley +1 more source
FEBS Letters, EarlyView.Ascidian Ciona larvae initially show strong clockwise tail twisting, which is largely corrected during development. However, a small residual twist remains. This study shows that organized helical myofibrils in tail muscles mechanically stabilize this residual asymmetry, preventing complete restoration of bilateral symmetry and revealing how embryos ...
Yuki S. Kogure +3 more
wiley +1 more source
The human gut microbiome across the life course
FEBS Letters, EarlyView.Despite significant individual variation and continuous change throughout life, the human gut microbiome follows some life stage‐specific trends. This article provides a brief overview of how gut microbiome composition shifts across different phases of life. Created in BioRender. Özkurt, E. (2026) https://BioRender.com/8q4nrnc.
Alise J. Ponsero +4 more
wiley +1 more source
Classical Program Extraction in the Calculus of Constructions [PDF]
, 2007 We show how to extract classical programs expressed in Krivine λc-calculus from proof-terms built in a proof-irrelevant and classical version of the calculus of constructions with universes. For that, we extend Krivine's realisability model of classical second-order arithmetic to the calculus of constructions with universes using a structure of Π-set ...
openaire +3 more sources