Max Birchwood

Michail, Maria and Birchwood, Max (2014) Social anxiety in first-episode psychosis: the role of childhood

Numerical and Experimental Investigation of Equivalence Ratio (ER) and Feedstock Particle Size on Birchwood Gasification

This paper discusses the characteristics of Birchwood gasification using the simulated results of a Computational Fluid Dynamics (CFD) model. The CFD model is developed and validated with the experimental results obtained with the fixed bed downdraft gasifier available at the University of Agder (UIA), Norway. In this work, several parameters are examined and given importance, such as producer ...

Random Max 2-sat and Max Cut

Given a 2-SAT formula F consisting of n variables and b n random clauses, what is the largest number of clauses maxF satisfiable by a single assignment of the variables? We bound the answer away from the trivial bounds of 34 n and n. We prove that for < 1, the expected number of clauses satisfiable is b n o(1); for large , it is ( 34 + (p ))n; for = 1 + ", it is at least (1 + " O("3))n and at m...

Modelling Max-CSP as Partial Max-SAT

We define a number of original encodings that map MaxCSP instances into partial Max-SAT instances. Our encodings rely on the well-known direct and support encodings from CSP into SAT. Then, we report on an experimental investigation that was conducted to compare the performance profile of our encodings on random binary Max-CSP instances. Moreover, we define a new variant of the support encoding...

Max Wellington