Results 71 to 80 of about 691,939 (266)

Factoring Out Assumptions to Speed Up MUS Extraction [PDF]

, 2013
In earlier work on a limited form of extended resolution for CDCL based SAT solving, new literals were introduced to factor out parts of learned clauses. The main goal was to shorten clauses, reduce proof size and memory usage and thus speed up propagation and conflict analysis.
Jean-Marie Lagniez, Armin Biere
openaire   +2 more sources

Therapeutic Apheresis in Nigeria: A Multi‐Center Summary of Abstracts From the Inaugural Nigerian Society for Apheresis Scientific Meeting

Therapeutic Apheresis and Dialysis, EarlyView.
ABSTRACT Background Therapeutic apheresis (TA) is an established treatment modality for hematologic, neurologic, and immunologic disorders, yet access remains severely limited in sub‐Saharan Africa. Donor apheresis, including platelet apheresis collection from healthy donors, represents an important complementary modality supporting blood product ...
Nosa Bazuaye, Chimezie Okwuonu, Evelyn Idam, Folasade Adelekan‐Popoola, Shakirat Gold‐Olufadi, Olufunto Olufela Kalejaiye, Abdullateef Ogala, Zinnah Aloziem, Blossom Amamchukwu, Patience Elimia, Mkpoikanabasi Obot‐Obot, Henry Mbakwe, Praises Maduagwuna, Olatunji Akinrodoye, Chiamaka Anyanwu, Benjamin Anyanwu, Adedamola Akinsiku, Oluwatoyin A. Akinsiku, Muzamil O. Hassan, Fatiu A. Arogundade, Olalekan E. Ojo, Homayemem Weli, Jesupelumi Adenihun, Aderemi Adelaja, Ebun Bamgboye, Olalekan Olatise, Ade E. Faponle, Ayoola Odeyemi, Michael Muoka, Stephen Asaolu, Qudrat Busari, Blessing Dawudu, Michael Naiyeju, Rasheed A. Balogun   +33 more
wiley   +1 more source

Dual-channel representation learning with wind speed correction factor for enhanced wind power forecasting

Energy and AI
Wind power forecasting (WPF) accuracy is fundamentally constrained by two critical challenges. First, the high-order nonlinear relationship between wind speed (WS) and power (WP) substantially amplifies errors inherent in numerical weather prediction ...
Yanbo Chen, Qintao Du, Tuben Qiang, Liangcheng Cheng, Yongkang She, Zhi Zhang   +5 more
doaj   +1 more source

Economic Effectiveness of Operation and Utilization of Large Container Carriers

Communications, 2016
This paper deals with operational effectiveness of large container carriers transporting standardized transportation units. The calculation is related to costs per one TEU transported. What is a very important factor in maritime transport is the vessel's
Jaromir Siroky, Hana Vohankova
doaj   +1 more source

Effectiveness of Resistance Intradialytic Exercise Compared to Aerobic Intradialytic Exercise for Patients With Chronic Kidney Disease: A Randomized Controlled Clinical Trial

Therapeutic Apheresis and Dialysis, EarlyView.
ABSTRACT Background Patients with chronic kidney disease undergoing hemodialysis commonly experience reduced physical function, fatigue, poor sleep quality, and impaired health‐related quality of life. Intradialytic exercise has been proposed as a non‐pharmacological strategy to improve these outcomes.
Klebson da Silva Almeida, Gisela Cristiane Miyamoto, Daniel da Costa Torres, Ian Setubal Reis Chaves, Jonas do Carmo Paschoalin, Braúlio Lima Nascimento, Luciana Dias Chiavegato   +6 more
wiley   +1 more source

Research on forging forming force in the composite technology of cross wedge rolling (CWR) and forging for universal joint fork

Metalurgija, 2019
In this paper，the forging process of universal joint fork of automobile transmission shaft is simulated and the change of forming force of die forging is studied on the basis of the blank produced by cross wedge rolling (CWR).
J. Y. Xu, B. S. Sun, N. Li
doaj  

Serum Myonectin Levels Are Positively Associated With Physical Function and Lower Frailty‐Related Limitation in Maintenance Hemodialysis Patients: A Cross‐Sectional Study

Therapeutic Apheresis and Dialysis, EarlyView.
ABSTRACT Background Maintenance hemodialysis (MHD) patients frequently suffer from frailty, characterized by reduced physical function and poor prognosis. Myokines, such as myonectin, secreted by muscle, are emerging regulators of systemic health. This study investigated the relationship between serum myonectin, adipokines (adiponectin, omentin), and ...
Kenichi Kono, Yoshifumi Moriyama, Koji Ohashi, Naoya Otaka, Minako Tatsumi, Toyoaki Murohara, Noriyuki Ouchi, Satoru Oshima   +7 more
wiley   +1 more source

Numerical Analysis of Pulling Speed Impact on Optical Fiber Coating in a Pressurized Applicator

NTU Journal of Engineering and Technology
Optical fibers manufacturing has become one of the most important and promising processes in different industrial, medical and telecommunications fields.
Nameer A. Mahmood, Omar Dh. Jumaah
doaj   +1 more source

The Performance Evaluation of Horizontal Axis Wind Turbine Torque and Mechanical Power Generation Affected by the Number of Blade

MATEC Web of Conferences, 2016
This paper presents the evaluation of horizontal axis wind turbine torque and mechanical power generation and its relation to the number of blades at a given wind speed. The relationship of wind turbine rotational frequency, tip speed, minimum wind speed,
Tan Rodney H. G., Teow Matthew Y. W.
doaj   +1 more source

Optimization of Cutting Parameters to Minimize Tooling Cost in High Speed Turning of SS304 using Coated Carbide Tool using Genetic Algorithm Method

International Journal of Engineering Materials and Manufacture, 2016
High speed turning (HST) is an approach that can be used to increase the material removal rate (MRR) by higher cutting speed. Increasing MRR will lead to shortening time to market.
Muataz Hazza, Nur Amirah Najwa
doaj   +1 more source