Results 41 to 50 of about 11,795 (112)

An Efficient Algorithm for Monitoring Practical TPTL Specifications

, 2016
We provide a dynamic programming algorithm for the monitoring of a fragment of Timed Propositional Temporal Logic (TPTL) specifications. This fragment of TPTL, which is more expressive than Metric Temporal Logic, is characterized by independent time ...
Dokhanchi, Adel, Fainekos, Georgios, Hoxha, Bardh, Tuncali, Cumhur Erkan   +3 more
core   +1 more source

Liveness of Randomised Parameterised Systems under Arbitrary Schedulers (Technical Report)

, 2016
We consider the problem of verifying liveness for systems with a finite, but unbounded, number of processes, commonly known as parameterised systems. Typical examples of such systems include distributed protocols (e.g. for the dining philosopher problem).
Lin, Anthony W., Ruemmer, Philipp
core   +2 more sources

Solid-Phase Compatible Silane-Based Cleavable Linker Enables Custom Isobaric Quantitative Chemoproteomics. [PDF]

J Am Chem Soc, 2023
Burton NR, Polasky DA, Shikwana F, Ofori S, Yan T, Geiszler DJ, Veiga Leprevost FD, Nesvizhskii AI, Backus KM.   +8 more
europepmc   +1 more source

Whole Genome Sequencing Reveals How Plasticity and Genetic Differentiation Underlie Sympatric Morphs of Arctic Charr. [PDF]

Mol Ecol
Kurta K, Fedi MO, Baker K, Barker T, Catchpole L, Ciofi C, Cocco A, Collins J, Diedericks G, Diroma MA, Durrant A, Hindar K, Iannucci A, Irish N, Knitlhoffer V, Laikre L, Leitão HG, Lucchini S, McTaggart S, Pálsson A, Pettersson ME, Ryman N, Snorrason SS, Svardal H, Swarbreck D, Waterhouse RM, Watkins C, Wood JMD, Xiao H, Gharbi K, Jónsson ZO, Andersson L.   +31 more
europepmc   +2 more sources

Absolute Quantification of Donor-Derived Cell-Free DNA in Pediatric and Adult Patients After Heart Transplantation: A Prospective Study. [PDF]

Transpl Int, 2023
Böhmer J, Wasslavik C, Andersson D, Ståhlberg A, Jonsson M, Wåhlander H, Karason K, Sunnegårdh J, Nilsson S, Asp J, Dellgren G, Ricksten A.   +11 more
europepmc   +1 more source

Adaptive Pruning for Increased Robustness and Reduced Computational Overhead in Gaussian Process Accelerated Saddle Point Searches. [PDF]

Chemphyschem
Goswami R, Jónsson H.
europepmc   +1 more source

Purifying selection constrains the evolution of Juquitiba virus in wild Oligoryzomys nigripes communities. [PDF]

PLoS Pathog
Spruill-Harrell B, Ponce-Flores A, Nnamani EI, Owen RD, Whitt MA, Jonsson CB.   +5 more
europepmc   +1 more source

Mapping the Genomic Limits of De-Extinction in the Face of Ancient DNA Degradation. [PDF]

Genome Biol Evol
Lin J, Long X, Gao Y, Liu W, Gilbert MTP.   +4 more
europepmc   +1 more source

Cancer-associated SF3B1 mutation K700E causes widespread changes in U2/branchpoint recognition without altering splicing. [PDF]

Proc Natl Acad Sci U S A
Damianov A, Lin CH, Zhang J, Manley JL, Black DL.   +4 more
europepmc   +1 more source

Genome mining for macrolactam-encoding gene clusters allowed for the network-guided isolation of β-amino acid-containing cyclic derivatives and heterologous production of ciromicin A. [PDF]

Commun Chem, 2023
Seibel E, Um S, Dayras M, Bodawatta KH, de Kruijff M, Jønsson KA, Poulsen M, Kim KH, Beemelmanns C.   +8 more
europepmc   +1 more source