Results 1 to 10 of about 149,618 (233)

TLA+ Proofs [PDF]

, 2012
TLA+ is a specification language based on standard set theory and temporal logic that has constructs for hierarchical proofs. We describe how to write TLA+ proofs and check them with TLAPS, the TLA+ Proof System.
Damien Doligez, Damien Doligez, Damien Doligez, Daniel Ricketts, Daniel Ricketts, Denis Cousineau, Denis Cousineau, Denis Cousineau, Et Al, Leslie Lamport, Leslie Lamport, Leslie Lamport, Ricketts Hernán Vanzetto, Stephan Merz, Stephan Merz, Stephan Merz   +15 more
core   +10 more sources

Pairing limb posture feedback with an ankle exoskeleton to augment limb propulsion. [PDF]

PLoS ONE
Limb propulsion deficits are common in a variety of clinical populations and may arise from a decreased plantarflexor moment and/or decreased trailing limb angle (TLA).
Steven A Thompson, Emily E Foley, Jason R Franz, Gregory S Sawicki, Michael D Lewek   +4 more
doaj   +2 more sources

Enhancing Asphalt Binder Performance and Storage Stability with Trinidad Lake Asphalt (TLA)

Applied Sciences (Switzerland)
This study delves into the transformative effects of Trinidad Lake Asphalt (TLA) on asphalt binders, revealing significant improvements in various performance metrics.
Shyaamkrishnan Vigneswaran, Jihyeon Yun, Hyun Hwan Kim   +2 more
exaly   +3 more sources

Direct thin-layer agar for bedaquiline-susceptibility testing of Mycobacterium tuberculosis at BSL2 level yields high accuracy in 15 days from sputum processing [PDF]

Journal of Clinical Microbiology
This study evaluated thin-layer agar (TLA) as a faster alternative for both indirect minimum inhibitory concentration (MIC) determination of bedaquiline (BDQ) from culture isolates and direct drug-susceptibility testing (DST) from sputum samples ...
I. Cuella-Martin, D. Runyambo, S. De Bock, M. Diels, H. Niyompano, F. Hakizayezu, J. Keysers, W. B. De Rijk, Y. M. Habimana, N. Gahamanyi, E. Ardizzoni, C. M. Muvunyi, B. C. de Jong, J. C. S. Ngabonziza, L. Rigouts   +14 more
doaj   +2 more sources

Reduction of Allergic Lung Disease by Mucosal Application of Toxoplasma gondii-Derived Molecules: Possible Role of Carbohydrates

Frontiers in Immunology, 2021
BackgroundThe hygiene hypothesis suggests a link between parasitic infections and immune disorders, such as allergic diseases. We previously showed that infection with Toxoplasma gondii or systemic application of T. gondii tachyzoites lysate antigen (TLA)
Elke Korb, Mirjana Drinić, Angelika Wagner, Nora Geissler, Aleksandra Inic-Kanada, Roman Peschke, Anja Joachim, Ursula Wiedermann, Irma Schabussova   +8 more
doaj   +1 more source

Total Laboratory Automation and Three Shifts Reduce Turnaround Time of Cerebrospinal Fluid Culture Results in the Chinese Clinical Microbiology Laboratory

Frontiers in Cellular and Infection Microbiology, 2021
BackgroundTotal laboratory automation (TLA) has the potential to reduce specimen processing time, optimize workflow, and decrease turnaround time (TAT).
Weili Zhang, Siying Wu, Jin Deng, Quanfeng Liao, Ya Liu, Li Xiong, Ling Shu, Yu Yuan, Yuling Xiao, Ying Ma, Mei Kang, Dongdong Li, Yi Xie   +12 more
doaj   +1 more source

Comparison of Outcomes of Lumbar Interbody Fusion and Full-endoscopic Laminectomy for L5 Radiculopathy Caused by Lumbar Foraminal Stenosis

Neurologia Medico-Chirurgica, 2022
This study compared the outcomes of microendoscopy-assisted lumbar interbody fusion (ME-LIF) and uniportal full-endoscopic laminectomy (FEL) for L5 radiculopathy caused by lumbar foraminal stenosis (LFS).
Muneyoshi FUJITA, Takahiro INUI, Yasushi OSHIMA, Hiroki IWAI, Hirohiko INANAMI, Hisashi KOGA   +5 more
doaj   +1 more source

Rapid Detection of Mycobacterium tuberculosis in Pleural Fluid Using Resuscitation-Promoting Factor-Based Thin Layer Agar Culture Method

Frontiers in Microbiology, 2022
BackgroundPleural tuberculous is difficult to diagnose. Culture is still considered the gold standard, especially in resource-limited settings where quick, cheap, and easy techniques are needed.
Fengjiao Du, Aiying Xing, Zihui Li, Liping Pan, Hongyan Jia, Boping Du, Qi Sun, Rongrong Wei, Zhongquan Liu, Zongde Zhang   +9 more
doaj   +1 more source

Verifying Safety Properties With the TLA+ Proof System [PDF]

, 2010
TLAPS, the TLA+ proof system, is a platform for the development and mechanical verification of TLA+ proofs written in a declarative style requiring little background beyond elementary mathematics.
A. Chaieb, B. Alpern, E. Gafni, L. Lamport, L. Lamport, L. Lamport, P. Corbineau, R. Bonichon, T. Bouton   +8 more
core   +7 more sources

Tla ali prst ? Prispevek k razpravam o rabi izrazov 'tla' in 'prst' v slovenskem poljudnem in strokovnem izrazoslovju

Acta Agriculturae Slovenica, 2013
Skrb za natančno in bogato izrazoslovje, tako poljudno in predvsem strokovno, je nujen in pomemben prispevek k razvoju in pestrosti materinega jezika. Pri rabi strokovnih izrazov se pogosto soočamo z različnimi interpretacijami in nepotrebno pestrostjo ...
Borut VRŠČAJ
doaj   +1 more source