Learn More
  • Vivek Raghunathan, Winnie N Ye, Juejun Hu, Tomoyuki Izuhara, Jurgen Michel, Lionel Kimerling +54 others
  • 2010
The MIT Faculty has made this article openly available. Please share how this access benefits you. Your story matters. Abstract: We report the design criteria and performance of Si ring resonators for passive athermal applications in wavelength division multiplexing (WDM). The waveguide design rules address i) positive-negative thermo-optic (TO) composite(More)
Reduction rules in interaction nets are constrained to pattern match exactly one argument at a time. Consequently, a programmer has to introduce auxiliary rules to perform more sophisticated matches. In this paper, we describe the design and implementation of a system for interaction nets which allows nested pattern matching on interaction rules. We achieve(More)
We compile functional languages with pattern-matching features into interaction nets, extending the well-known efficient evaluation strategies developed for the pure λ-calculus. We give direct translations of recursion and pattern matching for languages with a strict matching semantics, implementing an evaluation strategy that is natural in interaction nets(More)
Although studies have indicated a close relationship between nitric oxide (NO) and kainic acid (KA)-induced seizures, the role of NO in seizures is not fully understood. Here, we quantified NO levels in the brain of KA-treated mice using EPR spectrometry to elucidate the role of NO in KA-induced seizures. KA was administered to mice with or without(More)
Although the white matter lesions, so called leuko-araiosis, often seen in elderly people have been gaining attention due to their association with cognitive dysfunction (CD) and high risk of incident stroke, the pathological significance of these lesions still remains controversial. Therefore, in the present study, we investigated the alterations in(More)
Acetaminophen (APAP) is a widely used antipyretic and analgesic agent. However, overdosing and sometimes even a recommended dose can lead to serious and conceivably fatal liver toxicity. Therefore, it is important to clarify understand mechanisms of hepatotoxicity induced by APAP. Gap junctions, formed by connexin, have important roles in maintenance of(More)
Interaction nets are graph rewriting systems which are a generalisation of proof nets for classical linear logic. The linear chemical abstract machine (CHAM) is a term rewriting system which corresponds to classical linear logic, via the Curry-Howard isomorphism. We can obtain a textual calculus for interaction nets which is surprisingly similar to linear(More)