NSTL国家科技图书文献中心

1. Encoding TLA plus proof obligations safely for SMT NSTL国家科技图书文献中心

Defourne, Rosalie - 《Science of Computer Programming》 - 2025,239 - 共32页

摘要：The TLA+ + Proof System (TLAPS) allows users | trust in TLAPS, we revisited the encoding of TLA | to verify proofs with the support of automated | theorem provers, including SMT solvers. To increase | + + for SMT, whose implementation had become too complex

关键词： Automated theorem proving | SMT | TLA plus | TLAPS

2. A Systematic Literature Review on a Decade of Industrial TLA+ Practice NSTL国家科技图书文献中心

Roman Bogli | Leandro Lerena ... - 《Integrated Formal Methods》 - International Conference on Integrated Formal Methods - 2025, - 24～34 - 共11页

摘要：TLA~+ is a formal specification language used | usage of the TLA~+ ecosystem in practice remains | solutions to the practical challenges of TLA~+. This paper | literature review of TLA~+'s industrial usage over the past | for designing, modeling, documenting, and verifying

关键词： Formal methods | TLA~+ | PlusCal | Literature review | Industry

3. Photonic Generation of Joint Amplitude-Frequency Modulated Waveform for THz Integrated Sensing and Communication NSTL国家科技图书文献中心

Ming Che | Bo Li ... - 《Microwave and optical technology letters》 - 2025,67(5) - e70216～ - 共7页

摘要： array (TLA) module and a developed uni-traveling | feedback laser diodes (DFB-LDs) integrated within the TLA | In this letter, we present a photonic-aided | approach for generating a joint amplitude-frequency | modulated waveform, tailored for integrated sensing and

关键词： Amplitude-shift keying (ASK) | Stepped-frequency continuous-wave (SFCW) | THz integrated sensing and communication (THz ISAC) | Tunable laser array (TLA) | Uni-traveling-carrier photodiode (UTC-PD)

4. Direct thin-layer agar for bedaquiline-susceptibility testing of Mycobacterium tuberculosis at BSL2 level yields high accuracy in 15 days from sputum processing NSTL国家科技图书文献中心

Cuella-Martin, I. | Runyambo, D.... - 《Journal of Clinical Microbiology》 - 2025,63(4) - e0180624～e0180624 - 共11页

摘要：This study evaluated thin-layer agar (TLA) as | -MIC results from TLA* were compared to the* | established 7H11 solid DST. Direct-TLA-DST performance was | rifampicin-resistant TB cases. Direct-TLA* tested* | ) and MGIT. For indirect BDQ-MIC determination, TLA

关键词： thin-layer agar | bedaquiline | drug-susceptibility testing | minimum inhibitory concentration | rapid diagnostics | drug-resistant TB management

5. The effectiveness of tumescent anesthesia in managing pain for enzymatic debridement of burns. A case-control study NSTL国家科技图书文献中心

Lombardo, Giuseppe A... | Mangiameli, Luciano ... - 《Burns》 - 2025,51(2) - 107366～107366 - 共6页

摘要： lidocaine (TLA) in managing pain during this procedure | ventilation due to other causes. The case group (TLA* group* | (TLA), while the control group (w/o TLA) included 13 | the TLA* group, the Friedman One-Way Repeated* | < 0.05), with lower pain levels in the TLA* group*

关键词： Tumescent anesthesia | Burn management | Enzymatic debridement | Pain control | Klein's solution | Numeric Pain Rating Scale | Burn care

6. Enhanced bio-adsorbent derived from turnip leaves for crystal violet removal in aqueous solutions:experimental investigation, characterization, and machine learning modeling NSTL国家科技图书文献中心

Dounya Kaboub | Hinda Khelili ... - 《International Journal of Chemical Reactor Engineering》 - 2025,23(3) - 321～340 - 共20页

摘要： processed in the raw state(TL)and activated with H3PO4(TLA | data were the pseudo-second-order(PSO)model for TLA | )of 635.54 mg/g for TL and 621.76 mg/g for TLA. The | for TL and 120 min for TLA, leading to elimination | adsorption of the CV dye using TL and TLA* could be*

关键词： adsorption | characterization | crystal violet | Dragonfly algorithm(DA) | mechanism parameter | SVM method

7. Advancing Reduction Mammaplasty Surgery: Advancements and Outcomes with Tumescent Local Anaesthesia NSTL国家科技图书文献中心

Giovanni,Arrica | Matilde,Tettamanzi ... - 《Aesthetic plastic surgery》 - 2025,49(6) - 1708～1714 - 共7页

摘要： anaesthesia (TLA) is a method of anaesthesia used for | . In this article, we present a modified TLA* protocol* | anaesthesia (TLA). The composition of the tumescent solution | volume of tumescent solution infiltrated during TLA* was* | (TLA) has been confirmed as a safe and effective

关键词： Reductive mammoplasty | Breast | Tumescent local anaesthesia | Macromastia

8. Ag(I) Ion-Concentration-Dependent Dynamic Mechanism of Thiolactic-Acid-Capped Gold Nanoclusters Revealed by Fluorescence Spectra and Two-Dimensional Correlation Spectroscopy NSTL国家科技图书文献中心

Zhang, Liping | Li, Hong-Wei ... - 《Applied Spectroscopy》 - 2025,79(1) - 123～131 - 共9页

摘要： (AuNCs@TLA) induced by Ag(I) ions. Transmission | variations of AuNCs@TLA* induced by Ag(I) ion. The first* | Based on fluorescence spectroscopy, being | combined with several spectral analysis techniques | including principal component analysis (PCA), two

关键词： Gold nanoclusters | two-dimensional correlation spectroscopy | 2D-COS | photoluminescence | anti-galvanic reaction | size effect

9. TSegLab: Multi-stage 3D dental scan segmentation and labeling NSTL国家科技图书文献中心

Rekik A. | Ben-Hamadou A.... - 《Computers in Biology and Medicine》 - 2025,185 - Article 109535～Article 109535 - 共17页

摘要： key metrics: Teeth Localization Accuracy (TLA | , and achieved a TLA* of 98.45%, TSA of 98.17%, and TIR* | © 2024 Elsevier LtdThis study introduces a | novel deep learning approach for 3D teeth scan | segmentation and labeling, designed to enhance accuracy in

关键词： 3D intraoral scan | Dental scan segmentation | Graph neural network | Teeth classification | Teeth segmentation | Teeth3DS

10. Long-Tail Temporal Action Segmentation with Group-Wise Temporal Logit Adjustment NSTL国家科技图书文献中心

Zhanzhong Pang | Fadime Sener ... - 《Computer Vision - ECCV 2024,Part XXX》 - European Conference on Computer Vision - 2025, - 320～338 - 共19页

摘要：-TLA) framework that combines a group-wise softmax | Procedural activity videos often exhibit a | long-tailed action distribution due to varying action | frequencies and durations. However, state-of-the-art | temporal action segmentation methods overlook the long

摘要：The TLA+ + Proof System (TLAPS) allows users | trust in TLAPS, we revisited the encoding of TLA | to verify proofs with the support of automated | theorem provers, including SMT solvers. To increase | + + for SMT, whose implementation had become too complex

关键词： Automated theorem proving | SMT | TLA plus | TLAPS

摘要：TLA~+ is a formal specification language used | usage of the TLA~+ ecosystem in practice remains | solutions to the practical challenges of TLA~+. This paper | literature review of TLA~+'s industrial usage over the past | for designing, modeling, documenting, and verifying

关键词： Formal methods | TLA~+ | PlusCal | Literature review | Industry

摘要： array (TLA) module and a developed uni-traveling | feedback laser diodes (DFB-LDs) integrated within the TLA | In this letter, we present a photonic-aided | approach for generating a joint amplitude-frequency | modulated waveform, tailored for integrated sensing and

关键词： Amplitude-shift keying (ASK) | Stepped-frequency continuous-wave (SFCW) | THz integrated sensing and communication (THz ISAC) | Tunable laser array (TLA) | Uni-traveling-carrier photodiode (UTC-PD)

摘要：This study evaluated thin-layer agar (TLA) as | -MIC results from TLA* were compared to the* | established 7H11 solid DST. Direct-TLA-DST performance was | rifampicin-resistant TB cases. Direct-TLA* tested* | ) and MGIT. For indirect BDQ-MIC determination, TLA

关键词： thin-layer agar | bedaquiline | drug-susceptibility testing | minimum inhibitory concentration | rapid diagnostics | drug-resistant TB management

摘要： lidocaine (TLA) in managing pain during this procedure | ventilation due to other causes. The case group (TLA* group* | (TLA), while the control group (w/o TLA) included 13 | the TLA* group, the Friedman One-Way Repeated* | < 0.05), with lower pain levels in the TLA* group*

关键词： Tumescent anesthesia | Burn management | Enzymatic debridement | Pain control | Klein's solution | Numeric Pain Rating Scale | Burn care

摘要： processed in the raw state(TL)and activated with H3PO4(TLA | data were the pseudo-second-order(PSO)model for TLA | )of 635.54 mg/g for TL and 621.76 mg/g for TLA. The | for TL and 120 min for TLA, leading to elimination | adsorption of the CV dye using TL and TLA* could be*

关键词： adsorption | characterization | crystal violet | Dragonfly algorithm(DA) | mechanism parameter | SVM method

摘要： anaesthesia (TLA) is a method of anaesthesia used for | . In this article, we present a modified TLA* protocol* | anaesthesia (TLA). The composition of the tumescent solution | volume of tumescent solution infiltrated during TLA* was* | (TLA) has been confirmed as a safe and effective

关键词： Reductive mammoplasty | Breast | Tumescent local anaesthesia | Macromastia

摘要： (AuNCs@TLA) induced by Ag(I) ions. Transmission | variations of AuNCs@TLA* induced by Ag(I) ion. The first* | Based on fluorescence spectroscopy, being | combined with several spectral analysis techniques | including principal component analysis (PCA), two

关键词： Gold nanoclusters | two-dimensional correlation spectroscopy | 2D-COS | photoluminescence | anti-galvanic reaction | size effect

摘要： key metrics: Teeth Localization Accuracy (TLA | , and achieved a TLA* of 98.45%, TSA of 98.17%, and TIR* | © 2024 Elsevier LtdThis study introduces a | novel deep learning approach for 3D teeth scan | segmentation and labeling, designed to enhance accuracy in

关键词： 3D intraoral scan | Dental scan segmentation | Graph neural network | Teeth classification | Teeth segmentation | Teeth3DS

摘要：-TLA) framework that combines a group-wise softmax | Procedural activity videos often exhibit a | long-tailed action distribution due to varying action | frequencies and durations. However, state-of-the-art | temporal action segmentation methods overlook the long

关键词： Temporal action segmentation | Procedural video understanding | Long-tail recognition | Logit adjustment

4008-161-200 800-990-8900

国家科技图书文献中心

摘要：The TLA+ + Proof System (TLAPS) allows users | trust in TLAPS, we revisited the encoding of TLA | to verify proofs with the support of automated | theorem provers, including SMT solvers. To increase | + + for SMT, whose implementation had become too complex

关键词： Automated theorem proving | SMT | TLA plus | TLAPS

摘要：TLA~+ is a formal specification language used | usage of the TLA~+ ecosystem in practice remains | solutions to the practical challenges of TLA~+. This paper | literature review of TLA~+'s industrial usage over the past | for designing, modeling, documenting, and verifying

关键词： Formal methods | TLA~+ | PlusCal | Literature review | Industry

摘要： array (TLA) module and a developed uni-traveling | feedback laser diodes (DFB-LDs) integrated within the TLA | In this letter, we present a photonic-aided | approach for generating a joint amplitude-frequency | modulated waveform, tailored for integrated sensing and

关键词： Amplitude-shift keying (ASK) | Stepped-frequency continuous-wave (SFCW) | THz integrated sensing and communication (THz ISAC) | Tunable laser array (TLA) | Uni-traveling-carrier photodiode (UTC-PD)

摘要：This study evaluated thin-layer agar (TLA) as | -MIC results from TLA were compared to the | established 7H11 solid DST. Direct-TLA-DST performance was | rifampicin-resistant TB cases. Direct-TLA tested | ) and MGIT. For indirect BDQ-MIC determination, TLA

关键词： thin-layer agar | bedaquiline | drug-susceptibility testing | minimum inhibitory concentration | rapid diagnostics | drug-resistant TB management

摘要： lidocaine (TLA) in managing pain during this procedure | ventilation due to other causes. The case group (TLA group | (TLA), while the control group (w/o TLA) included 13 | the TLA group, the Friedman One-Way Repeated | < 0.05), with lower pain levels in the TLA group

关键词： Tumescent anesthesia | Burn management | Enzymatic debridement | Pain control | Klein's solution | Numeric Pain Rating Scale | Burn care

摘要： processed in the raw state(TL)and activated with H3PO4(TLA | data were the pseudo-second-order(PSO)model for TLA | )of 635.54 mg/g for TL and 621.76 mg/g for TLA. The | for TL and 120 min for TLA, leading to elimination | adsorption of the CV dye using TL and TLA could be

关键词： adsorption | characterization | crystal violet | Dragonfly algorithm(DA) | mechanism parameter | SVM method

摘要： anaesthesia (TLA) is a method of anaesthesia used for | . In this article, we present a modified TLA protocol | anaesthesia (TLA). The composition of the tumescent solution | volume of tumescent solution infiltrated during TLA was | (TLA) has been confirmed as a safe and effective

关键词： Reductive mammoplasty | Breast | Tumescent local anaesthesia | Macromastia

摘要： (AuNCs@TLA) induced by Ag(I) ions. Transmission | variations of AuNCs@TLA induced by Ag(I) ion. The first | Based on fluorescence spectroscopy, being | combined with several spectral analysis techniques | including principal component analysis (PCA), two

关键词： Gold nanoclusters | two-dimensional correlation spectroscopy | 2D-COS | photoluminescence | anti-galvanic reaction | size effect

摘要： key metrics: Teeth Localization Accuracy (TLA | , and achieved a TLA of 98.45%, TSA of 98.17%, and TIR | © 2024 Elsevier LtdThis study introduces a | novel deep learning approach for 3D teeth scan | segmentation and labeling, designed to enhance accuracy in

关键词： 3D intraoral scan | Dental scan segmentation | Graph neural network | Teeth classification | Teeth segmentation | Teeth3DS

摘要：-TLA) framework that combines a group-wise softmax | Procedural activity videos often exhibit a | long-tailed action distribution due to varying action | frequencies and durations. However, state-of-the-art | temporal action segmentation methods overlook the long

关键词： Temporal action segmentation | Procedural video understanding | Long-tail recognition | Logit adjustment

4008-161-200 800-990-8900

国家科技图书文献中心

摘要：This study evaluated thin-layer agar (TLA) as | -MIC results from TLA* were compared to the* | established 7H11 solid DST. Direct-TLA-DST performance was | rifampicin-resistant TB cases. Direct-TLA* tested* | ) and MGIT. For indirect BDQ-MIC determination, TLA

摘要： lidocaine (TLA) in managing pain during this procedure | ventilation due to other causes. The case group (TLA* group* | (TLA), while the control group (w/o TLA) included 13 | the TLA* group, the Friedman One-Way Repeated* | < 0.05), with lower pain levels in the TLA* group*

摘要： processed in the raw state(TL)and activated with H3PO4(TLA | data were the pseudo-second-order(PSO)model for TLA | )of 635.54 mg/g for TL and 621.76 mg/g for TLA. The | for TL and 120 min for TLA, leading to elimination | adsorption of the CV dye using TL and TLA* could be*

摘要： anaesthesia (TLA) is a method of anaesthesia used for | . In this article, we present a modified TLA* protocol* | anaesthesia (TLA). The composition of the tumescent solution | volume of tumescent solution infiltrated during TLA* was* | (TLA) has been confirmed as a safe and effective

摘要： (AuNCs@TLA) induced by Ag(I) ions. Transmission | variations of AuNCs@TLA* induced by Ag(I) ion. The first* | Based on fluorescence spectroscopy, being | combined with several spectral analysis techniques | including principal component analysis (PCA), two

摘要： key metrics: Teeth Localization Accuracy (TLA | , and achieved a TLA* of 98.45%, TSA of 98.17%, and TIR* | © 2024 Elsevier LtdThis study introduces a | novel deep learning approach for 3D teeth scan | segmentation and labeling, designed to enhance accuracy in