Results 21 to 30 of about 69,786 (317)

Episode 31: Leah Martin: A Passion for CSP [PDF]

, 2023
Leah Martin earned her B.A. in studio art and an M.A. in Organizational Management at CSP and has spent the past 15 years as part of the CSP\u27s enrollment management/admissions team.
Schultz, Billy, Martin, Leah
core  

CSP is a retract of CCS

Theoretical Computer Science, 2006
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
He, J, Hoare, T
openaire   +3 more sources

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

Production and management of Energy; the interdisciplinary approach of ENEA to Concentrated Solar Power

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

The Socio-Economic Pedagogy of Computerised Ifá Divination: A Conversation with Professor Danoye O. Laguda

Університети і лідерство, 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

On planar valued CSPs

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   +7 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

Material screening for the development of a photovoltaic module using biodegradable materials from renewable raw materials

EPJ Photovoltaics
The 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, Koepge Ringo, Jaeckel Bengt, Mordvinkin Anton   +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

Relating and Visualising CSP, VCR and Structural Traces [PDF]

, 2009
As well as being a useful tool for formal reasoning, a trace can provide insight into a concurrent program's behaviour, especially for the purposes of run-time analysis and debugging.
Brown, Neil C.C., Smith, Marc L.
core   +1 more source