Results 21 to 30 of about 82,016 (303)
Університети і лідерство, 2021 In recent times, there has been the general public admission that it is possible for Ifá divination to be performed via smartphones and laptops. The implication is not far-fetched – the extinction of the babaláwo/ìyanifá, in the trio communication ...
Emmanuel csp. Ofuasia
doaj +1 more source
Journal of Computer and System Sciences, 2017 We study the computational complexity of planar valued constraint satisfaction problems (VCSPs), which require the incidence graph of the instance be planar. First, we show that intractable Boolean VCSPs have to be self-complementary to be tractable in the planar setting, thus extending a corresponding result of Dvorak and Kupec [ICALP'15] from CSPs to
Fulla, Peter, Živný, Stanislav
openaire +9 more sources
Renewable Energy and Sustainable Development, 2017 Clean and efficient energy generation by environmental friendly methods and technologies is now one of the major challenges worldwide. New and heterogeneous methods to produce energy pose the challenge of how to guarantee energy security, storage of ...
Domenico De Martinis, Alberto Giaconia
doaj +1 more source
Theoretical Computer Science, 2006 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
He, J, Hoare, T
openaire +4 more sources
EPJ PhotovoltaicsThe development of photovoltaic (PV) modules made of bio-degradable materials from renewable resources offers numerous advantages. It reduces the ecological footprint of the photovoltaic industry and promotes its sustainability.
Pander Matthias +3 more
doaj +1 more source
Abstraction and Testing in CSP [PDF]
Formal Aspects of Computing, 2000 Abstract. Restricted views of process behaviour result in a form of abstraction which is useful in the construction of specifications involving fault-tolerance and atomicity. This paper presents an operational characterisation of abstraction for refusable and non-refusable events in terms of testing.
openaire +2 more sources
A CSP Model for Mobile Channels [PDF]
, 2008 CSP processes have a static view of their environment -- a fixed set of events through which they synchronise with each other. In contrast, the pi-calculus is based on the dynamic construction of events (channels) and their distribution over pre-existing
Barnes, Frederick R.M., Welch, Peter H.
core +1 more source
CST Process Heat Solution for India’s Top Cancer Hospital With ANU’s BigDish
SolarPACES Conference ProceedingsIndia has an abundance of solar radiation, making Concentrated Solar Thermal Technologies an economical option to complement, if not replace, fossil fuels for various Industrial Applications.
Artur Zawadski +2 more
doaj +1 more source
Journal of Integrative Neuroscience, 2023 Background: Somatosensory deficits are common symptoms post stroke. Repetitive transcranial magnetic stimulation (rTMS) over the motor cortex is able to promote motor rehabilitation, whereby its impact on somatosensory functioning remains unknown.
Zhongming Gao +10 more
doaj +1 more source
A General Reduction Theorem with Applications to Pathwidth and the Complexity of MAX 2-CSP [PDF]
, 2015 We prove a general reduction theorem which allows us to extend bounds for certain graph parameters on cubic graphs to bounds for general graphs taking into account the individual vertex degrees.
Edwards, Keith, McDermid, Eric
core +1 more source