Results 291 to 300 of about 1,240,940 (339)
Some of the next articles are maybe not open access.
2023
AbstractWe consider the guarded fragment of first-order logic together with its k-variable subfragments. Using the technique of resolution theorem proving, we show that the satisfiability problem for the guarded fragment is in 2-ExpTime, falling to ExpTime if the number of variables is bounded.
openaire +2 more sources
AbstractWe consider the guarded fragment of first-order logic together with its k-variable subfragments. Using the technique of resolution theorem proving, we show that the satisfiability problem for the guarded fragment is in 2-ExpTime, falling to ExpTime if the number of variables is bounded.
openaire +2 more sources
Proceedings of the 51st Annual Design Automation Conference, 2014
Soft errors are a reliability threat for reconfigurable systems implemented with SRAM-based FPGAs. They can be handled through fault tolerance techniques like scrubbing and modular redundancy. However, selecting these techniques statically at design or compile time tends to be pessimistic and prohibits optimal adaptation to changing soft error rate at ...
Zhang, H. +5 more
openaire +2 more sources
Soft errors are a reliability threat for reconfigurable systems implemented with SRAM-based FPGAs. They can be handled through fault tolerance techniques like scrubbing and modular redundancy. However, selecting these techniques statically at design or compile time tends to be pessimistic and prohibits optimal adaptation to changing soft error rate at ...
Zhang, H. +5 more
openaire +2 more sources
Patient Education and Counseling, 2018
• A neonatologist describes working to forge trust with young parents to make decisions for their very sick baby, in the midst of civil unrest in Baltimore, Maryland.
openaire +2 more sources
• A neonatologist describes working to forge trust with young parents to make decisions for their very sick baby, in the midst of civil unrest in Baltimore, Maryland.
openaire +2 more sources
Guarded Microvitreoretinal Blade
Archives of Ophthalmology, 1996During vitreoretinal surgery, the microvitreoretinal blade may be misdirected and injure operating room personnel. A sheated, retractable blade has been developed to reduce the likelihood of such injuries. In the blade's retracted position, a safety feature prevents inadvertent exposure of the sharp blade.
openaire +2 more sources
Calcium channels activated by hydrogen peroxide mediate abscisic acid signalling in guard cells
Nature, 2000Z. Pei +7 more
semanticscholar +1 more source
Nursing Standard, 1988
The sooner the Royal College of Nursing is able to hold an Extra- I ordinary General Meeting of its I membership the better.
openaire +2 more sources
The sooner the Royal College of Nursing is able to hold an Extra- I ordinary General Meeting of its I membership the better.
openaire +2 more sources
Nanoencapsulation, Nano-guard for Pesticides: A New Window for Safe Application.
Journal of Agricultural and Food Chemistry, 2016M. Nuruzzaman +3 more
semanticscholar +1 more source