Cadherin interplay during neural crest segregation from the non‐neural ectoderm and neural tube in the early chick embryo
Sign Up to like & getrecommendations! Published in 2017 at "Developmental Dynamics"
DOI: 10.1002/dvdy.24517
Abstract: Background: In the avian embryo, neural crest (NC) progenitors arise in the neuroectoderm during gastrulation, long before their dissemination. Although the gene regulatory network involved in NC specification has been deciphered, the mechanisms involved in… read more here.
Keywords: cadherin; epidermis neural; neural tube; embryo ... See more keywords
Fmrp regulates oligodendrocyte lineage cell specification and differentiation
Sign Up to like & getrecommendations! Published in 2021 at "Glia"
DOI: 10.1002/glia.24041
Abstract: Neurodevelopment requires the precise integration of a wide variety of neuronal and glial cell types. During early embryonic development, motor neurons and then oligodendrocyte precursor cells (OPCs) are specified from neural progenitors residing in the… read more here.
Keywords: fmrp regulates; cell; specification differentiation; cell specification ... See more keywords
Programming by predicates: a formal model for interactive synthesis
Sign Up to like & getrecommendations! Published in 2019 at "Acta Informatica"
DOI: 10.1007/s00236-019-00340-y
Abstract: Program synthesis is the problem of computing from a specification a program that implements it. New and popular variations on the synthesis problem accept specifications in formats that are easier for the human synthesis user… read more here.
Keywords: formal model; model interactive; model; specification ... See more keywords
Specification-driven predictive business process monitoring
Sign Up to like & getrecommendations! Published in 2019 at "Software and Systems Modeling"
DOI: 10.1007/s10270-019-00761-w
Abstract: Predictive analysis in business process monitoring aims at forecasting the future information of a running business process. The prediction is typically made based on the model extracted from historical process execution logs (event logs). In… read more here.
Keywords: specification; prediction tasks; prediction; business process ... See more keywords
CoqTL: a Coq DSL for rule-based model transformation
Sign Up to like & getrecommendations! Published in 2019 at "Software and Systems Modeling"
DOI: 10.1007/s10270-019-00765-6
Abstract: In model-driven engineering, model transformation (MT) verification is essential for reliably producing software artifacts. While recent advancements have enabled automatic Hoare-style verification for non-trivial MTs, there are certain verification tasks (e.g. induction) that are intrinsically… read more here.
Keywords: transformation; model transformation; verification; specification ... See more keywords
Positive entropy equilibrium states
Sign Up to like & getrecommendations! Published in 2019 at "Israel Journal of Mathematics"
DOI: 10.1007/s11856-019-1891-5
Abstract: For transitive shifts of finite type, and more generally for shifts with specification, it is well-known that every equilibrium state for a Holder continuous potential has positive entropy as long as the shift has positive… read more here.
Keywords: positive entropy; specification; equilibrium states; entropy equilibrium ... See more keywords
Transcription Factor VAX1 Regulates the Regional Specification of the Subpallium Through Repressing Gsx2.
Sign Up to like & getrecommendations! Published in 2021 at "Molecular neurobiology"
DOI: 10.1007/s12035-021-02378-x
Abstract: Specification of the progenitors' regional identity is a pivotal step during development of the cerebral cortex and basal ganglia. The molecular mechanisms underlying progenitor regionalization, however, are poorly understood. Here we showed that the transcription… read more here.
Keywords: repressing gsx2; factor vax1; transcription factor; vax1 ... See more keywords
Writing from sources: Does audience matter?
Sign Up to like & getrecommendations! Published in 2018 at "Assessing Writing"
DOI: 10.1016/j.asw.2018.03.004
Abstract: Abstract Contextual factors influence the way we speak and write. An audience is central to the rhetorical context and helps to identify the parameters of a writing task. The purpose of this study was to… read more here.
Keywords: specification; sources audience; audience; audience matter ... See more keywords
Framework for technical specifications of 3D concrete printers
Sign Up to like & getrecommendations! Published in 2021 at "Automation in Construction"
DOI: 10.1016/j.autcon.2021.103732
Abstract: Abstract In this paper, we propose a technical specification framework for three-dimensional concrete printers (3DCPs) by analyzing 139 academic papers from 1997 to 2020, 98 3DCPs, and a Delphi survey with 22 3DCP experts. Despite… read more here.
Keywords: concrete printers; specification framework; specification; technical specification ... See more keywords
Diabetes impairs arterio-venous specification in engineered vascular tissues in a perivascular cell recruitment-dependent manner.
Sign Up to like & getrecommendations! Published in 2017 at "Biomaterials"
DOI: 10.1016/j.biomaterials.2016.12.003
Abstract: Cell-based tissue engineering is a potential treatment alternative for organ replacement. However, the lack of a robust vasculature, especially in the context of diseases such as diabetes, is a major hindrance to its success. Despite… read more here.
Keywords: recruitment; perivascular cell; cell; specification ... See more keywords
Transcriptional and epigenetic control of germline competence and specification.
Sign Up to like & getrecommendations! Published in 2019 at "Current opinion in cell biology"
DOI: 10.1016/j.ceb.2019.05.006
Abstract: In mammals, germline specification is induced during early embryogenesis when competent cells respond to extrinsic signals and form primordial germ cells (PGCs), the precursors of the gametes. The fusion of the two types of gametes,… read more here.
Keywords: epigenetic control; germline competence; specification; transcriptional epigenetic ... See more keywords