Solving nondeterministic polynomial complete problems optically and the design of its light source by Zheng, Mengying.

“…Compare with the conventional computer calculation method, the problem solving time is reduced. This result is cheerful since all the NP-complete problems are inter convertible. …”
Get full text

On the corrosion resistance of some selective laser melted alloys by Suryawanshi, Jyoti, Baskaran, T., Prakash, Om, Arya, S. B., Ramamurty, Upadrasta

“…The effects of laser scanning strategy (single melt vs. checker board styles), post-SLM heat treatment, and corroding surface orientation (with respect to the scan and build directions) on the corrosion behavior were examined. …”
Get full text

GPU-accelerated real-time motion planning for safe human-robot collaboration by Fujii, Shohei

“…We experimentally demonstrate that our method can navigate a 6-DoF robot earlier than a geometric-primitives-based distance checker in a dynamic, collaborative environment. …”
Get full text

UROPOT: study protocol for a randomized, double-blind phase I/II trial for metabolism-based potentiation of antimicrobial prophylaxis in the urological tract by Stritt, Kevin, Roth, Beat, Masnada, Audrey, Hammann, Felix, Jacot, Damien, Domingos-Pereira, Sonia, Crettenand, François, Bohner, Perrine, Sommer, Isabelle, Bréat, Emilien, Sauser, Julien, Derré, Laurent, Haschke, Manuel, Collins, James J., McKinney, John

“…Trial registration The protocol is approved by the local ethics committee (CER-VD, 2023–01369, protocole 2.0) and the Swiss Agency for Therapeutic Products (Swissmedic, 701,676) and is registered on the NIH’s ClinicalTrials.gov (trial registration number: NCT05761405). …”
Get full text

Live Verification in an Interactive Proof Assistant by Gruetter, Samuel, Fukala, Viktor, Chlipala, Adam

“…Other tools providing real-time feedback already exist, but ours is the first one that only relies on a small trusted proof checker and that provides a concise summary of the symbolic state at the point in the program currently being edited, as opposed to only indicating whether user-stated assertions or postconditions hold. …”
Get full text

Tsewang Norbu NGB by Cantwell, C, Mayer, R

“…It also shares with the sDe dge xylograph the feature of a separate section at the end with additional rDzogs chen tantras. The mTshams brag manuscript from Bhutan (available in a modern photo-offset litho reproduction of the original mTshams brag monastery manuscript) is often textually quite good, and also has the most texts within it of any rNying ma'i rgyud 'bum collection, but doxographically seems to be only partially organised, as though its redactors produced it without a fully finalised doxographical program in mind. …”

Dynamic drug combination methods for suppressing bacterial antibiotics resistance adaptation by Bhone, Myint Kyaw

“…In this study, the effects of using conventional antibiotics in combination with phytochemicals were studied by using checker board methods and time-kill assays using 12 S. aureus strains. …”
Get full text

The Case for Decentralized Fallback Networks by Lynch, James, Liu, Ziqian, Li, Chenning, Ghobadi, Manya, Balakrishnan, Hari

Get full text

m3: Accurate Flow-Level Performance Estimation using Machine Learning by Li, Chenning, Nasr-Esfahany, Arash, Zhao, Kevin, Noorbakhsh, Kimia, Goyal, Prateesh, Alizadeh, Mohammad, Anderson, Thomas

Get full text