A temperature control problem by Ioannis Athanasopoulos

“…Moreover for n=2 the time derivative of the temperature is proven to be continuous across the free boundary.…”
Get full text

Management of External Parasites with Forced-Use Dust Bags by Phillip E. Kaufman, Philip G. Koehler, Jerry F. Butler

“…One technique, forced-use dust bags, has proven to be the best technique available to Florida cattlemen. …”
Get full text

Management of External Parasites with Forced-Use Dust Bags by Phillip E. Kaufman, Philip G. Koehler, Jerry F. Butler

“…One technique, forced-use dust bags, has proven to be the best technique available to Florida cattlemen. …”
Get full text

Non-Convex Split Feasibility Problems: Models, Algorithms and Theory by Gibali, Aviv, Sabach, Shoham, Voldman, Sergey

“…All the studied methods, including the well-known CQ Algorithm, are proven to have global convergence guarantees in the non-convex setting under mild conditions on the problem’s data.…”
Get full text

TAP Sampling for Asian Citrus Psyllid (ACP) Field Sheet by Phil Stansly, Jawwad A. Qureshi

“…The most efficient way to estimate field populations of this insect is by monitoring adults. Tap sampling has proven to provide data needed to make informed decisions for managing this insect pest. …”
Get full text

Certificateless generalized signcryption scheme in the standard model by Shu-fen NIU, Ling NIU, Cai-fen WANG, Ya-hong LI

“…In 2010,Liu,et al.proposed a certificateless signcryption scheme in the standard model,but many analyses revealed that Liu's scheme was insecure in fact.To overcome the disadvantages,the scheme was improved and a certificateless generalized signcryption scheme was constructed.In addition,a formal security model for the proposed scheme against the malicious-but-passive KGC attacks was introduced.Furthermore,the proposed scheme was proven to be secure under the decisional bilinear Diffie-Hellman and the computational Diffie-Hellman intractability assumptions in the standard model.Numerical results illustrate that the proposed algorithm is efficient.…”
Get full text

Vaginal Myomectomy for a Thirteen-Centimeter Anterior Myoma by Bruno Deval, Pascal Rousset, Salma Kayani

“…Myomectomy is performed via laparotomy and laparoscopy; however, in selected cases, vaginal myomectomy has been proven to be a safe and an effective surgical procedure. …”
Get full text

Sino-Orbital Aspergillosis in a Kidney Transplant Recipient by Christian Maalouli, Julien De Greef, Thierry Duprez, Arnaud Devresse, Caroline Huart, Maëlle Coutel, Nathalie Demoulin, Leïla Belkhir, Nada Kanaan

“…Here, we report the case of a kidney transplant recipient who presented with proven invasive sino-orbital aspergillosis resulting in irreversible loss of vision despite surgical management and antifungal therapy. …”
Get full text

Stochastic burstiness boundary analysis of LFSN-based self-similar network traffic model by YU Li, BAI Yun, ZHU Guang-xi

“…A stochastic burstiness boundary of general LFSN（linear fractional stable noise）-based traffic model,which is an important model that has been proven capable to capture both properties of self-similar and heavy tailed,was derived.The final result is much more general than the current one,especially for the upper boundary which is also more accurate.Meanwhile,a unique experiment based on fast simulation of general LFSN process was set up to get an estimation result for actual distribution,which in turn proved theoretical derivation correct.…”
Get full text

Identification of Olfactory Receptors Responding to Androstenone and the Key Structure Determinant in Domestic Pig by Peidong Yang, Tingting Luo, Shuqi Yang, Anjing Zhang, Yuan Tang, Li Chen, Jinyong Wang, Yongju Zhao, Zhining Zhong, Xuemin Li, Ziyin Han, Yupei Zhang, Yue Tang, Jideng Ma, Long Jin, Keren Long, Mingzhou Li, Lu Lu

“…Nevertheless, the natural non-synonymous mutation M133V (rs696400829) of pig OR7D4 was proven to significantly impair the respondence to androstenone. …”
Get full text

Insulin Resistance Increases MRI-Estimated Pancreatic Fat in Nonalcoholic Fatty Liver Disease and Normal Controls by Niraj S. Patel, Michael R. Peterson, Grace Y. Lin, Ariel Feldstein, Bernd Schnabl, Ricki Bettencourt, Ekihiro Seki, Claude B. Sirlin, Rohit Loomba

“…This nested case-control study was derived from two prospective studies including 43 patients with biopsy-proven NAFLD and 49 healthy controls who underwent biochemical testing and MRI. …”
Get full text

The Clinical Significance of HLA Compatibility Scores in Lung Transplantation by Liesbeth Daniëls, Liesbeth Daniëls, Hanne Beeckmans, Andrea Zajacova, Pieterjan Kerckhof, Saskia Bos, Maarten Naesens, Bart Vanaudenaerde, Frans Claas, Frans Claas, Robin Vos, Robin Vos

“…Adjusted Cox proportional hazards model was used to investigate the association between mismatched scores and time to development of donor-specific antibodies (DSA) post-transplant, time to first biopsy-proven acute rejection episode, freedom from CLAD, graft survival and overall survival. …”
Get full text

On the continuity of the function describing the times of meeting impulsive set and its application by Sanyi Tang, Wenhong Pang

“…In this note, we will show a more realistic counter example on the continuity of this function which has been proven and widely used in impulsive dynamical system and applied in life sciences including population dynamics and disease control. …”
Get full text

Preoperative Imaging Assessment and Staging of Perihilar Cholangiocarcinoma: Tips and Pitfalls by Yu Shan Stephanie Yong, Zhuyi Rebekah Lee, Yock Teck Nicholas Soh, Su Chong Albert Low

“…The correlation between radiological, surgical, and pathological findings is illustrated through a pictorial review of pathologically proven cases. Benign and malignant mimics of pCCA are included to provide a comprehensive overview.…”
Get full text

The Alternating Direction Method of Multipliers for Sufficient Dimension Reduction by Sheng Ma, Qin Jiang, Zaiqiang Ku

“…The minimum average variance estimation (MAVE) method has proven to be an effective approach to sufficient dimension reduction. …”
Get full text

ChatGPT is an Unreliable Source of Peer-Reviewed Information for Common Total Knee and Hip Arthroplasty Patient Questions by Jonathan D. Schwartzman, M. Kareem Shaath, Matthew S. Kerr, Cody C. Green, George J. Haidukewych

“…This study suggests that until ChatGPT is proven to be a reliable source of valid information and references, patients must exercise extreme caution in directing their pre-TKA and THA questions to this medium.…”
Get full text

History of pharmacy according to Zbigniew Bela by Anita Magowska

“…The aim of the article is to identify specificity of his research activity, particular because he was a Polish language scholar, however, interested in the history of pharmacy. It was proven that he used literary perspective to investigate the history of pharmacy that was very original and peculiar. …”
Get full text

Two New Approximations for Variable-Order Fractional Derivatives by Ruilian Du, Zongqi Liang

“…For the given parameter σ(t), the error estimations of formulas were proven, which were higher than some recently derived schemes. …”
Get full text

FORMAL STRUCTURE AND POLYPHONIC TECHNIQUE IN ZOLTÁN KODÁLY’S “SEVEN EASY CHORAL PIECES FOR CHILDREN" by Gabriela COCA

“…His thoughtfulness and precision is proven also by the fact that he wrote the year of composition to every piece, although these small pieces belong to the same cycle. …”
Get full text

Existence and Uniqueness of Weak Solutions for a New Class of Convex Optimization Problems Related to Image Analysis by Anas Tiarimti Alaoui, Mostafa Jourhmane

“…After that, the existence and uniqueness of weak solutions for the corresponding Euler–Lagrange equation are proven in an appropriate functional space, and a consistent and stable numerical model is also shown. …”
Get full text