This paper presents some features of the Vaucanson platform. We describe some original algorithms on weighted automata and transducers (computation of the quotient, conversion of a regular expression into a weighted automaton, and composition). We explain how complex declarations due to the generic programming are masked from the user and finally we present a proposal for an XML format that all...

The work presented here addresses a long-standing conceptual gap in flash file system verification: We map an abstract graphbased representation down to the flat blocks of bytes of the storage medium. Specifically, we consider grouping of file system objects into atomic transactions together with layout, allocation and garbage collection of on-flash storage space. Two major concerns guide the d...

I have alwayswanted to be adoctor.Manyaspects ofmedicine enthralled me: research, diagnosis, and the possibility of improving a patient’s quality of life, in particular.Walking the corridors of a hospital felt exhilarating. At 15 I had a volunteer position at the local hospital. Although my assignments were answering phones, directing visitors, and, my favorite, delivering goods topatients, I f...

It’s a depressingly familiar sight when an oil well blows or a tanker runs aground: thousands of stranded, helpless animals wallowing in cloying crude oil. ‘Birds are often used as the poster children for the deadly effects of oil’, says Ivan Maggini from Western University, Canada, recalling the shocking images of struggling animals that accompanied the catastrophic Deepwater Horizon oil spill...

This paper proposes a model that suggests how firms could create strategic capabilities through IT outsourcing. We suggest how a firm adds value and reaps strategic benefits from IT outsourcing arrangements. A primary proposition is that, in the process of penetration of the managerial and technical capabilities of external vendors, managerial and social factors act as facilitators or inhibitor...

We study a model in which a special role for safe, short-term assets in facilitating financial intermediation encourages the private sector to issue these assets to supplement the public supply of safe, short-term assets, even though their role in providing liquidity can be put in jeopardy during financial panics that lead agents to question the low-risk nature of these assets. During “normal” ...

Biological systems are known to be highly transparent to 700- to 1,100-nm near-infrared (NIR) light. It is shown here that the strong optical absorbance of single-walled carbon nanotubes (SWNTs) in this special spectral window, an intrinsic property of SWNTs, can be used for optical stimulation of nanotubes inside living cells to afford multifunctional nanotube biological transporters. For olig...

Compartmentalization of chemical reactions inside cells are a fundamental requirement for life. Encapsulins self-assembling protein-based nanocompartments from the prokaryotic repertoire that present highly attractive platform intracellular compartmentalization by design. Using single-molecule Förster resonance energy transfer and 3D-MINFLUX analysis, we analyze fluorescently labeled encapsulin...

Single-walled carbon nanotubes (SWNTs), which are graphitic tubular structures with single-atom-thick sidewalls and varying diameters, are effective containers for a wide variety of molecular species. They are particularly suitable for study by transmission electron microscopy (TEM). Chemical reactions between molecules inside nanotubes can be triggered by external stimuli (for example, the TEM...