Model checking LTL properties over C programs with bounded traces

by Morse, Jeremy, Cordeiro, Lucas, Nicole, Denis, Fischer, Bernd
Published 2013

Modelling the operation of multireservoir systems using decomposition and stochastic dynamic programming

by Archibald, T.W, McKinnon, K.I.M, Thomas, L.C
Published 2006

Conditional quadratic semidefinite programming: examples and methods

by Qi, Hou-Duo
Published 2014

A semidefinite programming study of the Elfving theorem

by Qi, Houduo
Published 2011

Inflammation and nutritional science for programs/policies and interpretation of research evidence (INSPIRE)

by Raiten, D., Ashour, F., Ross, A., Meydani, S., Dawson, H., Stephensen, C., Brabin, B., Suchdev, P., van Ommen, B., Calder, P.C
Published 2015

The Functional "C" experience

by Hartel, Pieter, Muller, Henk, Glaser, Hugh
Published 2004

Testing the Cenozoic multisite composite ?18O and ?13C curves: new monospecific Eocene records from...

by Sexton, Philip F., Wilson, Paul A., Norris, Richard D.
Published 2006

Programming the assembly of gold nanoparticles on graphene oxide sheets using DNA

by Heuer-Jungemann, Amelie, Kiessling, Liam, Stratakis, Emmanuel, Kymakis, Emmanuel, El-Sagheer, Afaf H., Brown, Tom, Kanaras, Antonios G.
Published 2015

Observational program tracks Arctic Ocean transition to a warmer state

by Polyakov, I., Timokhov, L., Dmitrenko, I., Ivanov, V., Simmons, H., Beszcynska-Moeller, A., Dickson, R., Fahrbach, E., Fortier, L., Gascard, J., Hoeleman, J., Holliday, N.P, Hansen, E., Mauritzen, C., Piechura, J., Pickart, R., Schauer, U., Steele, M., Walczowski, W.
Published 2007

C-Jun N-terminal kinases/c-Jun and p38 pathways cooperate in ceramide-induced neuronal apoptosis

by Willaime-Morawek, S., Brami-Cherrier, K., Mariani, J., Caboche, J., Brugg, B.
Published 2003

A DNA based five-state switch with programmed reversibility

by Stulz, Eugen, Burns, Jonathan R., Singleton, Daniel, Preus, Soren
Published 2012

AutoBayes: A System for Generating Data Analysis Programs from Statistical Models

by Fischer, Bernd, Schumann, Johann
Published 2003

Approximating stationary points of stochastic mathematical programs with equilibrium constraints via sample averaging

by Xu, Huifu, Ye, Jane J.
Published 2010

C-terminal binding proteins: Emerging roles in cell survival and tumorigenesis

by Bergman, L.M, Blaydes, J.P
Published 2006

The design of the SAFE or SORRY? study: a cluster randomised trial on the development and testing of an evidence based inpatient safety program for the prevention of adverse events

by Van Gaal, Betsie G.I, Schoonhoven, Lisette, Hulscher, Marlies E.J.L, Mintjes, Joke A.J, Borm, George F., Koopmans, Raymond T.C.M, van Achterberg, Theo
Published 2009

Soft error-aware voltage scaling technique for power minimization in application-specific MPSoC

by Shafik, Rishad Ahmed, Al-Hashimi, Bashir M., Kundu, Sandip, Ejlali, Alireja
Published 2009

Assessing the impact of diagenesis on d11B, d13C, d18O, Sr/Ca and B/Ca values in fossil planktic foraminiferal calcite

by Edgar, Kirsty M., Anagnostou, Eleni, Pearson, Paul N., Foster, Gavin L.
Published 2015

Lending decisions with limits on capital available: the polygamous marriage problem

by So, M.C, Thomas, L.C, Huang, B.
Published 2016

When to rebuild or when to adjust scorecards

by Jung, K.M, Thomas, Lyn C., So, M.C
Published 2015

Text Classification using String Kernels

by Lodhi, H., Saunders, C., Shawe-Taylor, J., Cristianini, N., Watkins, C.
Published 2002