Search
Results: 2025
Negative feedback via RSK modulates Erk-dependent progression from naïve pluripotency.
RSK Embryonic Stem Cells mitogen‐activated protein kinase Pluripotency signalling feedback Animals Cell Differentiation Cell Lineage Embryonic Stem Cells Extracellular Signal-Regulated MAP Kinases Feedback Physiological Humans Mutation Phosphoproteins Phosphorylation Pluripotent Stem Cells Proteome Ribosomal Protein S6 Kinases 90-kDa Small Molecule Libraries
Certified Quantum Computation in Isabelle/HOL
Abstract: In this article we present an ongoing effort to formalise quantum algorithms and results in quantum information theory using the proof assistant Isabelle/HOL. Formal methods being critical for the safety and security...
From LCF to Isabelle/HOL
Interactive theorem provers have developed dramatically over the past four
decades, from primitive beginnings to today's powerful systems. Here, we focus
on Isabelle/HOL and its distinctive strengths. They include automatic...
An Isabelle/HOL formalisation of Green’s theorem
We formalise a statement of Green’s theorem in Isabelle/ HOL, which is its first formalisation to our knowledge. The theorem statement that we formalise is enough for most applications, especially in physics and engineering. An...
Formalising Mathematics – in Praxis; A Mathematician’s First Experiences with Isabelle/HOL and the Why and How of Getting Started
Abstract This is an account of a mathematician’s first experiences with the proof assistant (interactive theorem prover) Isabelle/HOL, including a discussion on the rationale behind formalising...
A Koutsoukou-Argyraki
Oct 06, 2021
Formalising Mathematics – in Praxis; A Mathematician’s First Experiences with Isabelle/HOL and the Why and How of Getting Started
Angeliki Koutsoukou-Argyraki
Jan 21, 2021
Abstract: This is an account of a mathematician’s first experiences with the proof assistant (interactive theorem prover) Isabelle/HOL, including a discussion on the rationale behind formalising mathematics and the choice of...
Formalising Szemerédi’s Regularity Lemma and Roth’s Theorem on Arithmetic Progressions in Isabelle/HOL
Abstract We have formalised Szemerédi’s Regularity Lemma and Roth’s Theorem on Arithmetic Progressions, two major results in extremal graph theory and additive combinatorics, using the proof...
Evaluating Winding Numbers and Counting Complex Roots Through Cauchy Indices in Isabelle/HOL.
In complex analysis, the winding number measures the number of times a path (counter-clockwise) winds around a point, while the Cauchy index can approximate how the path winds. We formalise this approximation in the Isabelle...
Computer Algebra Winding Number Interactive theorem proving Root Counting Cauchy Index The Routh–hurwitz Stability Criterion
Published by: Journal of automated reasoning
Evaluating Winding Numbers and Counting Complex Roots Through Cauchy Indices in Isabelle/HOL
Abstract: In complex analysis, the winding number measures the number of times a path (counter-clockwise) winds around a point, while the Cauchy index can approximate how the path winds. We formalise this approximation in the...
The growth and superconducting properties of RE–Ba–Cu–O single grains with combined RE elements (RE = Gd and Y)
Yunhua Shi, Giovanni Bergamo-Andreis, Anthony R Dennis, John H Durrell, David A Cardwell
Feb 04, 2020
Abstract: The superconducting properties, melting temperatures and crystal growth rates of single grain, RE–Ba–Cu–O [(RE)BCO] bulk superconductors (where RE = a rare earth element or yttrium) decrease with the RE-element...
Private agenda and re-election incentives
Javier Rivas
Apr 01, 2016
Consider a politician who has to take two sequential decisions during his term in office. For each decision, the politician faces a trade-off between taking what he believes to be the decision that generates a public benefit...
MOVEMENT 4. BREATH SIGH TEMPEST
Fabien Cante, Ajmal Hussain, Timo Makori, Surer Qassim Mohamed, Alana Osbourne, Francesca Pilo', Kavita Ramakrishnan, AbdouMaliq Simone, Rike Sitas, Adeem Suhail
Mar 28, 2023
The fourth movement explores the temporal relationship between arrangements and re‐arrangements, addressing the question of how an obdurate and ‘sticky’ temporal order may give way to palpable re‐arrangement of the ways in which...
Private agenda and re-election incentives
Javier Rivas
Apr 01, 2016
Consider a politician who has to take two sequential decisions during his term in office. For each decision, the politician faces a trade-off between taking what he believes to be the decision that generates a public benefit...
Supramolecular Assembly Through Intermolecular n → π* Interactions through a Coordinated Perrhenate Formed via Superoxidation of Re(I) to Re(VII) in the Formation of Substituted Re(CO)3 Complexes Bearing Diimine Ligands
We report the structural, spectroscopic, and computational studies of two new Re(I) tricarbonyl complexes bearing 2,3,6,7-tetraphenyl-1,4,5,8-tetraazaphenanthrene (Ph4TAP) and 4,5-diazafluoren-9-one (Dafone) having a coordinated...
Video-Based Person Re-Identification With Unregulated Sequences
Video-based person re-identification (re-id) has recently attracted widespread attentions because extra space-time information and more appearance cues in videos can be used to improve the performance of image-based person...
Published by: IGI Global Scientific Publishing
ON URBAN RE‐ARRANGEMENTS
Fabien Cante, Ajmal Hussain, Timo Makori, Surer Qassim Mohamed, Alana Osbourne, Francesca Pilo’, Kavita Ramakrishnan, AbdouMaliq Simone, Rike Sitas, Adeem Suhail
Mar 28, 2023
This movement introduces the ethos of the collective project: its conceptual and practical preoccupations. It focuses on our concern with urban processes on the cusp of change, in the midst of being re‐arranged, and thus homes...
Supramolecular Assembly Through Intermolecular n → π* Interactions through a Coordinated Perrhenate Formed via Superoxidation of Re(I) to Re(VII) in the Formation of Substituted Re(CO)3 Complexes Bearing Diimine Ligands
We report the structural, spectroscopic, and computational studies of two new Re(I) tricarbonyl complexes bearing 2,3,6,7-tetraphenyl-1,4,5,8-tetraazaphenanthrene (Ph4TAP) and 4,5-diazafluoren-9-one (Dafone) having a coordinated...
Re-conceiving change management
This paper argues that for us to advance our thinking on the management of change, it may be useful to re-conceive of change as a process of knowledge generation. For organisational transformation to occur, an organisation's...
Re-conceiving change management
This paper argues that for us to advance our thinking on the management of change, it may be useful to re-conceive of change as a process of knowledge generation. For organisational transformation to occur, an organisation's...
A re-annotation pipeline for Illumina BeadArrays
Nuno L Barbosa-Morais, Mark J Dunning, Shamith A Samarajiwa, Jeremy FJ Darot, Matthew E Ritchie, Andy G Lynch, Simon Tavaré
Feb 13, 2020
Illumina BeadArrays are among the most popular and reliable platforms for gene expression profiling. However, little external scrutiny has been given to the design, selection and annotation of BeadArray probes, which is a...
Winthrop Completes Re-certification for NCAA
Winthrop University
Jan 01, 0001
Winthrop has re-certified its athletic programs through the NCAA's Division I Committee on Athletics Certification. The university completed the process without any "issues" to be corrected - a first in the history of the NCAA.
Published by: Winthrop University
Re-imagining belonging to Brazil
Daniel Robins
Aug 05, 2022
Abstract: This paper uses qualitative data conducted in São Paulo, Brazil with those who possessed the capability to emigrate yet had chosen to remain in place. It explores the strategies these ‘stayers’ employed to create and...
Editor's Choice - Re-interventions After Repair of Ruptured Abdominal Aortic Aneurysm
Janet T Powell, Michael J Sweeting, Pinar Ulug, Matthew M Thompson, Robert J Hinchliffe, IMPROVE Trial Investigators
May 25, 2018
OBJECTIVE/BACKGROUND: The aim was to describe the re-interventions after endovascular and open repair of rupture, and investigate whether these were associated with aortic morphology. METHODS: In total, 502 patients from the...
Autonomy and alienated subjectivity
D S Moon
Dec 01, 2013
In a time of political passivism in Western democracies, this article argues for the value of Cornelius Castoriadis's radical theory of autonomy as a means of conceptualising (wo)man's ability to pro-actively create new social...
Assessment of dermal exposure to pesticide residues during re-entry
Currently, the determination of health risks to pesticide applicators from dermal exposure to these chemicals is assessed using either a concentrate of the compound or a relevant aqueous dilution. Neither of these conditions...
|
|< |
< |
1 |