Results 111 to 120 of about 53,156,886 (365)
A clausal resolution method for branching-time logic ECTL+ [PDF]
, 2004 We expand the applicability of the clausal resolution technique to the branching-time temporal logic ECTL_. ECTL_ is strictly more expressive than the basic computation tree logic CTL and its extension, ECTL, as it allows Boolean combinations of ...
Basukoski, A. +3 more
core +2 more sources
Continuous $\times p,\times q$-invariant measures on the unit circle [PDF]
arXiv, 2016 We express continuous $\times p,\times q$-invariant measures on the unit circle via some simple forms. On one hand, a continuous $\times p,\times q$-invariant measure is the weak-$*$ limit of average of Dirac measures along an irrational orbit. On the other hand, a continuous $\times p,\times q$-invariant measure is a continuous function on $[0,1 ...
arxiv
PieceTimer: A Holistic Timing Analysis Framework Considering Setup/Hold Time Interdependency Using A Piecewise Model [PDF]
, 2017 In static timing analysis, clock-to-q delays of flip-flops are considered as constants. Setup times and hold times are characterized separately and also used as constants. The characterized delays, setup times and hold times, are ap- plied in timing analysis independently to verify the perfor- mance of circuits.
arxiv +1 more source
Time, clocks, and the ordering of events in a distributed system
CACM, 1978 The concept of one event happening before another in a distributed system is examined, and is shown to define a partial ordering of the events. A distributed algorithm is given for synchronizing a system of logical clocks which can be used to totally ...
L. Lamport
semanticscholar +1 more source
miRNA‐29 regulates epidermal and mesenchymal functions in skin repair
FEBS Letters, EarlyView.miRNA‐29 inhibits cell‐to‐cell and cell‐to‐matrix adhesion by silencing mRNA targets. Adhesion is controlled by complex interactions between many types of molecules coded by mRNAs. This is crucial for keeping together the layers of the skin and for regenerating the skin after wounding.
Lalitha Thiagarajan +10 more
wiley +1 more source
Not to be Opened Until the Year 8113 [PDF]
, 1937 Clipping from unidentified newspaper of Thornwell Jacobs president of Oglethorpe University studying plans for a time capsule.https://digitalcommons.wku.edu/exhibit_2015/1041/thumbnail ...
Time Wide World Photos
core +1 more source
, 2010 The original publication is available at ieeexplore.ieee.org.International audienceThis paper presents a quantitative extension for the linear-time temporal logic LTL allowing to specify the number of states satisfying certain sub-formulas along paths ...
Laroussinie, François +2 more
core +4 more sources
Classification of Nahm pole solutions of the Kapustin-Witten equations on $S^1\times Σ\times \mathbb{R}^+$ [PDF]
arXiv, 2019 In this note, we classify all solutions to the $\mathrm{SU(n)}$ Kapustin-Witten equations on $S^1\times\Sigma \times \mathbb{R}^+$, where $\Sigma$ is a compact Riemann surface, with Nahm pole singularity at $S^1\times\Sigma \times \{0\}$. We provide a similar classification of solutions with generalized Nahm pole singularities along a simple divisor ...
arxiv
Applied SciencesWe propose a method that enables the precise determination of the number of atoms in a Dick-noise-free optical lattice clock, by effectively addressing quantum projection noise.
Guodong Zhao +3 more
doaj +1 more source
FEBS Letters, EarlyView.Spot‐14 and Spot‐14R play distinct roles in regulating metabolism in brown and beige adipocytes. While both influence lipid and glucose pathways, Spot‐14 uniquely controls thermogenic gene expression. This dual regulation balances energy storage and heat production, highlighting potential therapeutic targets for obesity and metabolic disorders. Spot 14
Lidia Itzel Castro‐Rodríguez +3 more
wiley +1 more source