Results 51 to 60 of about 118,600 (325)
Partial cut elimination for combinations of propositional multi-modal logics with past time
Lietuvos Matematikos Rinkinys, 2011 We consider combinations of nine propositional multi-modal logics with propositional discrete linear time temporal logic with past time. For these combinations, we present sound and complete Gentzen-type sequent calculi with a restricted cut rule.
Jūratė Sakalauskaitė
doaj +1 more source
An Investigation into the Multi-Pass Radial-Mode Micro Abrasive Air Jet Turning of Fused-Silica Rods
Machines, 2023 With the increased requirement of miniaturization structures on hard and brittle substrates, micro abrasive air jet turning technology has become a promising machining technology for manufacturing miniaturization structures.
Ruibo Yang +4 more
doaj +1 more source
Composite power system reliability evaluation using modified minimal cut set approach
Alexandria Engineering Journal, 2018 The composite power system reliability analysis is generally based on minimal path or cut enumeration, tracing of power flow paths from which the related reliability indices are calculated.
T. Bharath Kumar +2 more
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Pediatric radiation therapy presents unique challenges compared to adult treatments, including those of immobilization, potential need for sedation, and the critical importance of accurate, reproducible positioning. Additionally, heightened attention to imaging doses is necessary to minimize long‐term toxicity in survivors.
Parham Alaei +17 more
wiley +1 more source
On Combining Intuitionistic and S4 Modal Logic
Bulletin of the Section of LogicWe address the problem of combining intuitionistic and S4 modal logic in a non-collapsing way inspired by the recent works in combining intuitionistic and classical logic.
João Rasga, Cristina Sernadas
doaj +1 more source
Nature Communications, 2020 The trade-off between growth and production affects the application of engineered microbes. Here, the authors take the minimal cut set approach to predict metabolic reactions for elimination to couple metabolite production strongly with growth and ...
Deepanwita Banerjee +13 more
doaj +1 more source
On Nested Sequents for Constructive Modal Logics [PDF]
Logical Methods in Computer Science, 2015 We present deductive systems for various modal logics that can be obtained from the constructive variant of the normal modal logic CK by adding combinations of the axioms d, t, b, 4, and 5.
Lutz Strassburger +2 more
doaj +1 more source
Personalized Zebrafish Models for Fusion‐Positive Pediatric Sarcomas
Pediatric Blood &Cancer, EarlyView.ABSTRACT Clinical sequencing efforts have revolutionized our approaches to categorizing pediatric cancers in real time. This has dramatically improved our ability to profile pediatric tumors, identify actionable vulnerabilities, and influence clinical care.
Lisa H. Hall +2 more
wiley +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Leukemia is the most common childhood cancer in Mexico, and acute lymphoblastic leukemia (ALL) is the most frequent subtype. Exposure to high concentrations of benzene has been associated with ALL incidence, particularly in urban areas. This study evaluated the relationship between distance to benzene emission sources and the number
Orlando Rivera Zurita +5 more
wiley +1 more source
Frontiers in Nutrition, 2022 Enormous efforts have been made to evaluate the worldwide prevention and control of iodine deficiency disorders (IDDs). This study evaluated China's achievements in IDD prevention and control against WHO criteria for sustainable elimination of IDD.
Lijun Fan +4 more
doaj +1 more source