Results 131 to 140 of about 69,786 (317)
Improving the efficiency of learning CSP solvers [PDF]
, 2011 Backtracking CSP solvers provide a powerful framework for search and reasoning. The aim of constraint learning is increase global reasoning power by learning new constraints to boost reasoning and hopefully reduce search effort.
Neil C. A. Moore, Moore, Neil C.A.
core
Corporate Social Responsibility and Environmental Management, EarlyView.ABSTRACT Sustainable production and operations (SPO) are widely expected to influence firm performance through improvements in efficiency, legitimacy, and organizational capabilities. This study uses ISO certifications as a proxy for SPO and examines both adoption determinants and performance implications using a balanced panel of 142 manufacturing ...
Damla Durak Uşar
wiley +1 more source
Índice de autores Volumen 12, 2012
Uni-pluriversidad, 2013 Índice de autores Volumen 12 ...
María Raquel Pulgarín Silva
doaj
Proof Principles of CSP – CSP-Prover in Practice [PDF]
, 2008 Yoshinao Isobe, Markus Roggenbach
openaire +4 more sources
JCSProB: Implementing Integrated Formal Specifications in Concurrent Java [PDF]
, 2007 The ProB model checker provides tool support for an integrated formal specification approach, which combines the classical state-based B language with the event-based process algebra CSP.
Poppleton, Michael, Yang, Letu
core
Confined Hot Carrier Cooling Via Excited‐State Energy Gap Engineering in Graphyne Carbon Allotropes
ENERGY &ENVIRONMENTAL MATERIALS, EarlyView.The excited‐state energy gap (EEG), regulated by the concentration of sp‐hybridized carbon, provides an effective handle for tuning electron–phonon coupling behavior. This design enables long‐lived confinement of hot carriers near the top of the EEG with controllable energy levels.
Fulong Dai +9 more
wiley +1 more source
Combined water and electricity production on industrial scale in the MENA countries with concentrating solar power [PDF]
, 2010 This paper presents some results from the EU-financed project MED-CSD in which were carried out technical and economic feasibility studies in concrete locations within selected MENA countries for water and power plants driven by concentrated solar power (
Kern, Jürgen +2 more
core