Filters








7,735 Hits in 3.0 sec

On Verifying Timed Hyperproperties [article]

Hsi-Ming Ho, Ruoyu Zhou, Timothy M. Jones
2018 arXiv   pre-print
We study the satisfiability and model-checking problems for timed hyperproperties specified with HyperMTL, a timed extension of HyperLTL. Depending on whether interleaving of events in different traces is allowed, two possible semantics can be defined for timed hyperproperties: asynchronous and synchronous. While the satisfiability problem can be decided similarly to HyperLTL regardless of the choice of semantics, we show that the model-checking problem, unless the specification is
more » ... ree, is undecidable even when very restricted timing constraints are allowed. On the positive side, we show that model checking HyperMTL with quantifier alternations is possible under certain conditions in the synchronous semantics, or when there is a fixed bound on the length of the time domain.
arXiv:1812.10005v1 fatcat:d7m7o77wzjedjmihicynozerhy

Asteroseismology of 36 Kepler subgiants – I. Oscillation frequencies, linewidths and amplitudes [article]

Yaguang Li, Timothy R. Bedding, Tanda Li, Shaolan Bi, Dennis Stello, Yixiao Zhou, Timothy R. White
2020 arXiv   pre-print
Goldreich & Keeley 1977; Balmforth 1992b; Samadi & Goupil 2001; Chaplin et al. 2005; Zhou et al. 2019 ).  ...  Belkacem et al. 2019; Zhou et al. 2019) . Appourchaux et al. (2014) first parametrised the Γ -ν relation in a given star and Lund et al. (2017) improved the fitting details.  ... 
arXiv:2005.06460v1 fatcat:g53kgfh25jcdfa3sdmrinkeg3y

Alfalfa (Medicago sativa L.) [chapter]

Chunxiang Fu, Timothy Hernandez, Chuanen Zhou, Zeng-Yu Wang
2014 Msphere  
doi:10.1007/978-1-4939-1695-5_17 pmid:25300843 fatcat:mcniieip4beo3cwlf245xzjs2i

Optimization Applied to Selected Exoplanets [article]

Shi Yuan Ng, Zhou Jiadi, Caglar Puskullu, Timothy Banks, Edwin Budding, Michael D. Rhodes
2021 arXiv   pre-print
Transit and radial velocity models were applied to archival data in order to examine exoplanet properties, in particular for the recently discovered super-Earth GJ 357b. There is however considerable variation in estimated model parameters across the literature, and especially their uncertainty estimates. This applies even for relatively uncomplicated systems and basic parameters. Some published accuracy values thus appear highly over-optimistic. We present our reanalyses with these variations
more » ... n mind and specify parameters with appropriate confidence intervals for the exoplanets Kepler-1b, -2b, -8b, -12b, -13b, -14b, -15b, -40b & -77b and 51 Peg. More sophisticated models in WinFitter, EXOFAST, and DACE were applied, leading to mean planet densities for Kepler-12b, -14b, -15b, and -40b as: 0.11 ± 0.01, 4.04 ± 0.58, 0.43 ± 0.05, and 1.19^+0.31_-0.36 g per cc respectively. We confirm a rocky mean density for the Earth-like GJ357b, although we urge caution about the modelling given the low S/N data. We cannot confidently specify parameters for the other two proposed planets in this system.
arXiv:2108.10804v1 fatcat:t6qujmlbnrakdbe3ktw7pvyd7e

Deep Domain-Adversarial Image Generation for Domain Generalisation [article]

Kaiyang Zhou, Yongxin Yang, Timothy Hospedales, Tao Xiang
2020 arXiv   pre-print
We adopt the state-of-the-art re-ID model OSNet Zhou et al. 2019a ) as the CNN backbone.  ...  It is widely acknowledged that crossdomain re-ID is a challenging problem (Zhong et al. 2019; Zhou et al. 2019a) .  ... 
arXiv:2003.06054v1 fatcat:36sfvvrg6beqvd5na6lt4uivzy

Mass spectrometry: m/z 1983–2008

Ming Zhou, Timothy D. Veenstra
2008 BioTechniques  
Mass spectrometry: m/z 1983-2008 m/z 1983-2008 m/z Ming Zhou and Timothy D.  ... 
doi:10.2144/000112791 pmid:18474043 fatcat:jqffef72lrd37awkqmlhgty6sq

Improved Approximation Algorithms for Tverberg Partitions [article]

Sariel Har-Peled, Timothy Zhou
2021 arXiv   pre-print
The authors thank Timothy Chan, Wolfgang Mulzer, David Rolnick, and Pablo Soberon-Bravo for providing useful references.  ... 
arXiv:2007.08717v2 fatcat:wqjd5disa5dodanaztikm2h63q

Unwrapped two-point functions on high-dimensional tori [article]

Youjin Deng, Timothy M. Garoni, Jens Grimm, Zongzheng Zhou
2022 arXiv   pre-print
We study unwrapped two-point functions for the Ising model, the self-avoiding walk and a random-length loop-erased random walk on high-dimensional lattices with periodic boundary conditions. While the standard two-point functions of these models have been observed to display an anomalous plateau behaviour, the unwrapped two-point functions are shown to display standard mean-field behaviour. Moreover, we argue that the asymptotic behaviour of these unwrapped two-point functions on the torus can
more » ... e understood in terms of the standard two-point function of a random-length random walk model on Zd. A precise description is derived for the asymptotic behaviour of the latter. Finally, we consider a natural notion of the Ising walk length, and show numerically that the Ising and SAW walk lengths on high-dimensional tori show the same universal behaviour known for the SAW walk length on the complete graph.
arXiv:2203.05100v1 fatcat:7tvefjjv55cg3iof6lxf2vg3hi

Tunable Magnetic Skyrmions in Ferrimagnetic Mn_4N [article]

Chung T. Ma, Timothy Q. Hartnett, Wei Zhou, Prasanna V. Balachandran, S. Joseph Poon
2021 arXiv   pre-print
Zhou et al and Schlotter et al have shown that iDMI is sensitive to temperature by experimental measurements. 61, 62 (2) In our DFT calculations, we assumed an ideal interface of Mnatoms.  ... 
arXiv:2111.00258v1 fatcat:rsivl7erdzbx5okccual6v2pre

Progression of Metastasis through Lymphatic System

Hengbo Zhou, Pin-ji Lei, Timothy P. Padera
2021 Cells  
.; Zhou, F.-J.; Zhang, X.-S.; Li, J. Sphingosine 1 phosphate receptor-1 (S1P1) promotes tumor-associated regulatory T cell expansion: Leading to poor survival in bladder cancer.  ... 
doi:10.3390/cells10030627 pmid:33808959 fatcat:y7jqg7kuj5az7ofy3mzvzr7wne

Impact of Coronary Tortuosity on Coronary Blood Supply: A Patient-Specific Study

Xinzhou Xie, Yuanyuan Wang, Hongmin Zhu, Hu Zhou, Jingmin Zhou, Timothy W. Secomb
2013 PLoS ONE  
Tortuous coronary arteries are commonly observed in clinical screenings and it may cause a reduction of the coronary pressure. However, whether this reduction leads to significant decreasing in the coronary blood supply is still unknown. The purpose of this study was to investigate the effect of the coronary tortuosity (CT) on the coronary blood supply. Method: A computational fluid dynamics (CFD) study was conducted to evaluate the impact of tortuosity on the coronary blood supply. Two
more » ... specific left anterior descending coronary artery (LAD) models and the corresponding nontortuous models were reconstructed to perform three-dimensional CFD analysis. The lumped parameter model was coupled to the outlet of the simulated branches to represent the absent downstream vasculatures. The rest and exercise conditions were modeled by specifying proper boundary conditions. Result: Under resting condition, the mean flow rate could be maintained by decreasing less than 8% of the downstream vascular bed's resistance for tortuous models. While during exercise (maximal dilatation condition), the maximal coronary blood supply would reduce up to 14.9% due to tortuosity. Assuming that the flow rate can be maintained by the autoregulation effect under the maximal dilatation condition, the distal resistances for CT models still have to reduce more than 23% to maintain blood perfusion. Conclusions: Coronary tortuosity has minor influence on coronary blood supply at rest; while during exercise, patients with CT may lack the ability to adjust distal resistance sufficiently to compensate for the extra resistances generated by tortuosity and this may further lead to an ineffective regulation of the blood supply.
doi:10.1371/journal.pone.0064564 pmid:23691249 pmcid:PMC3656900 fatcat:4aa2ukohe5hg7jqjh6met75p6q

Named Entity Recognition for Novel Types by Transfer Learning [article]

Lizhen Qu, Gabriela Ferraro, Liyuan Zhou, Weiwei Hou, Timothy Baldwin
2016 arXiv   pre-print
In named entity recognition, we often don't have a large in-domain training corpus or a knowledge base with adequate coverage to train a model directly. In this paper, we propose a method where, given training data in a related domain with similar (but not identical) named entity (NE) types and a small amount of in-domain training data, we use transfer learning to learn a domain-specific NE model. That is, the novelty in the task setup is that we assume not just domain mismatch, but also label mismatch.
arXiv:1610.09914v1 fatcat:dctrmsp2lzbqjmfml2ew4ywoam

Molecular Characterization of Penicillin-Binding Protein2x, 2b and 1a of Streptococcus pneumoniae Causing Invasive Pneumococcal Diseases in China: A Multicenter Study

Menglan Zhou, Menglan Zhou, Lulu Wang, Ziran Wang, Ziran Wang, Timothy Kudinha, Timothy Kudinha, Yao Wang, Yao Wang, Yingchun Xu, Yingchun Xu, Zhengyin Liu
2022 Frontiers in Microbiology  
., 2013 ), (Zhou et al., 2016; Cai et al., 2018; Fu et al., 2019; Golden et al., 2019; Shi et al., 2019) .  ...  In the study of Zhou et al., the average number of substitutions in PSSP strains was much higher for PBP2x than for PBP2b (29.26 vs. 8.22) .  ...  PLoS One 8:e82361. doi: 10.1371/journal.pone.0082361 Zhou, X., Liu, J., Zhang, Z., Liu, Y., Wang, Y., Liu, Y., et al. (2016) Conflict of Interest: The authors declare that the research was conducted  ... 
doi:10.3389/fmicb.2022.838790 pmid:35300486 pmcid:PMC8921733 doaj:82c1450a48064a37b6294a36e8bd4bdf fatcat:a2nphiaaxze4hljjyiwtw4bwmm

Polygenic scores via penalized regression on summary statistics [article]

Timothy Mak, Robert Milan Porsch, Shing Wan Choi, Xueya Zhou, Pak Chung Sham
2016 bioRxiv   pre-print
., 2012; Zhou et al., 2013) . These methods do not require the assumption of SNP independence or near independence, and have been shown to perform better than simple PGS in simulation settings.  ...  Often, multiple related diseases are analysed together to give improved power for detection of GWAS signals (Korte et al., 2012; Andreassen et al., 2013; Zhou and Stephens, 2014; Chung et al., 2014; Li  ... 
doi:10.1101/058214 fatcat:chiztiofeza6zb3svgxx6ojhey

Coplanar refractive–diffractive doublets for optoelectronic integrated systems

Zhiping Zhou, Timothy J. Drabik
1995 Applied Optics  
A coplanar refractive-diffractive doublet array employing surface-relief diffractive phase elements embedded within poly1methyl methacrylate2 microlenses is introduced as an optomechanical building block for optoelectronic integrated systems. The design method, fabrication technology, and results are described. Coplanarity of the quadratic-and linear-phase elements constituting the doublet can reduce optomechanical complexity in applications to unguided optical interconnects. The authors are with the
doi:10.1364/ao.34.003048 pmid:21052459 fatcat:6jp7k4pphre53khkwranrbxg7m
« Previous Showing results 1 — 15 out of 7,735 results