SCCJ Cafe - Season 2 -

GDF Briefing 2 - world cafe

In these spaces people access networked, digital design and fabrication tools and, it is argued, can therefore make almost anything they wish. Ideas, designs, experiences and viewpoints are shared between spaces through on-line social media. Makerspaces are globally connected. Indeed, observers and participants consider makerspaces to connect to and express materially various broader social mov...

Debate percolates over CAFE standards.

vaccines may cause an immunosuppression with lymphopaenia, impaired cytokine production and defective lymphocyte response to mitogenes. These abnormalities were described in subjects vaccinated against measles. This study was performed to analyse the host immune response related to immunosuppression in subjects vaccinated with live attenuated rubella vaccine. Methods: Eighteen schoolgirls, aged...

Quantum oscillations in antiferromagnetic CaFe(2)As(2) on the brink of superconductivity.

We report quantum oscillation measurements on CaFe(2)As(2) under strong magnetic fields-recently reported to become superconducting under pressures of as little as a kilobar. The largest observed carrier pocket occupies less than 0.05% of the paramagnetic Brillouin zone volume-consistent with Fermi surface reconstruction caused by antiferromagnetism. On comparing several alkaline earth AFe(2)As...

An Overview of Cafe Project

Cafe is the name of an environment for systematic development of formal speci cations based on algebraic speci cation techniques. The concept of Cafe was conceived by the rst author around 1990 at ETL 1 as a successor of the OBJ language system. The development of Cafe has been supported by IPA 2 from 1992, and the rst version of CafeOBJ (a main speci cation language of Cafe ) was released in D...

Resource Selection in CAFE : an Architecture