Results 81 to 90 of about 380,664 (276)
An Integrated Development Environment for Declarative Multi-Paradigm Programming
, 2001 In this paper we present CIDER (Curry Integrated Development EnviRonment), an analysis and programming environment for the declarative multi-paradigm language Curry.
Hanus, Michael, Koj, Johannes
core +2 more sources
FunTAL: Reasonably Mixing a Functional Language with Assembly
, 2017 We present FunTAL, the first multi-language system to formalize safe interoperability between a high-level functional language and low-level assembly code while supporting compositional reasoning about the mix.
Ahmed, Amal +3 more
core +1 more source
FEBS Open Bio, EarlyView.CRISPRI‐mediated gene silencing and phenotypic exploration in nontuberculous mycobacteria. In this Research Protocol, we describe approaches to control, monitor, and quantitatively assess CRISPRI‐mediated gene silencing in M. smegmatis and M. abscessus model organisms.
Vanessa Point +7 more
wiley +1 more source
Combining Static and Dynamic Contract Checking for Curry
, 2017 Static type systems are usually not sufficient to express all requirements on function calls. Hence, contracts with pre- and postconditions can be used to express more complex constraints on operations. Contracts can be checked at run time to ensure that
A Serrano +17 more
core +1 more source
FEBS Open Bio, EarlyView.Mouse pre‐implantation development involves a transition from totipotency to pluripotency. Integrating transcriptomics, epigenetic profiling, low‐input proteomics and functional assays, we show that eight‐cell embryos retain residual totipotency features, whereas cytoskeletal remodeling regulated by the ubiquitin‐proteasome system drives progression ...
Wanqiong Li +8 more
wiley +1 more source
Theorising creative expression in children’s participation
Perspectives in Education, 2011 The paper suggests that phenomenology, the anthropology of the senses and of embodiment, performance theory and multi-modal pedagogies offer a rich set of theoretical ideas with which to consider children’s expressive repertoires as overlooked forms of ...
Patricia C. Henderson
doaj +3 more sources
Developments in the Built EnvironmentThe present study used the techniques of gene expression programming (GEP) and multi-expression programming (MEP) to assess the compressive strength (CS) and flexural strength (FS) and develop predictive models of sustainable mortar modified with waste ...
Dong Wang +5 more
doaj +1 more source
The C Object System: Using C as a High-Level Object-Oriented Language
, 2010 The C Object System (Cos) is a small C library which implements high-level concepts available in Clos, Objc and other object-oriented programming languages: uniform object model (class, meta-class and property-metaclass), generic functions, multi-methods,
Deniau, Laurent
core
FEBS Open Bio, EarlyView.The inhibition of mitochondrial dihydroorotate dehydrogenase (DHODH) impairs syncytialization and induces cellular senescence via mitochondrial and endoplasmic reticulum stress in human trophoblast stem cells, elevating sFlt1/PlGF levels, a hallmark of placental dysfunction in hypertensive disorders of pregnancy.
Kanoko Yoshida +6 more
wiley +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