Search

Results: 409
Magnetic resonance imaging and thermal injury.
We read with interest the recent case report by Tanaka and coauthors (Tanaka R, Yumoto T, Shiba N, et al: Overheated and melted intracranial pressure transducer as cause of thermal brain injury during magnetic resonance imaging....
Winthrop University Financial Planning Students Attend Largest Registered Investment Advisor ("RIA") Event
Winthrop University
Jan 01, 0001
Quick Facts Tanaka Chimbane, of Hillsboro, Texas, and Salvador Perez, of Orlando, Florida, traveled to Orlando for the 4-day conference with Philip Gibson, assistant professor of finance in the College of Business...
Published by: Winthrop University
Category Theoretic Semantics for Typed Binding Signatures with Recursion
John Power, M Tanaka
Jan 01, 0001
We generalise Fiore et al's account of variable binding for untyped cartesian contexts to give an account of binding for either variables or names that may be typed. We do this in an enriched setting, allowing the incorporation...
Axiomatics for Data Refinement in Call by Value Programming Languages
J Power, M Tanaka
Jan 02, 2009
We give a systematic category theoretic axiomatics for modelling data refinement in call by value programming languages. Our leading examples of call by value languages are extensions of the computational λ-calculus, such as FPC...
Axiomatics for Data Refinement in Call by Value Programming Languages
J Power, M Tanaka
Jan 02, 2009
We give a systematic category theoretic axiomatics for modelling data refinement in call by value programming languages. Our leading examples of call by value languages are extensions of the computational λ-calculus, such as FPC...
Category Theoretic Semantics for Typed Binding Signatures with Recursion
John Power, M Tanaka
Jan 01, 0001
We generalise Fiore et al's account of variable binding for untyped cartesian contexts to give an account of binding for either variables or names that may be typed. We do this in an enriched setting, allowing the incorporation...
Association of SIGNR1 with TLR4-MD-2 enhances signal transduction by recognition of LPS in gram-negative bacteria
SIGNR1, a member of a new family of mouse C-type lectins, is expressed at high levels in macrophages (M?) within the splenic marginal zone, lymph node medulla, and in some strains, in peritoneal cavity. We previously reported...
Published by: Rockefeller University
Smartphone Solutions for Citizen-Centered Risk Monitoring in Environmental Disaster Situations
Through an analysis of three case studies, this chapter proposes a new kind of democratic risk communication that can be realized through environmental sensing by citizens with smartphones, and considers the challenges involved....
‘We Are Not Racists, We Are Mexicans’
This article analyses the conflicting understandings surrounding the recognition of anti-black racism in Mexico, drawing from an analysis of the 2005 controversy around Memín Pinguín. We ask what is at stake when opposition...
Thermal physics of the lead chalcogenides PbS, PbSe, and PbTe from first principles
The lead chalcogenides represent an important family of functional materials, in particular due to the benchmark high-temperature thermoelectric performance of PbTe. A number of recent investigations, experimental and...
Thermal physics of the lead chalcogenides PbS, PbSe, and PbTe from first principles
The lead chalcogenides represent an important family of functional materials, in particular due to the benchmark high-temperature thermoelectric performance of PbTe. A number of recent investigations, experimental and...
Seizure onset zone classification based on imbalanced iEEG with data augmentation.
Objective. Identifying the seizure onset zone (SOZ) in patients with focal epilepsy is the critical information required for surgery. However, collecting this information is challenging, time-consuming, and subjective. Some...
Influence of the exchange-correlation functional on the quasi-harmonic lattice dynamics of II-VI semiconductors

We perform a systematic comparison of the finite-temperature structure and properties of four bulk semiconductors (PbS, PbTe, ZnS, and ZnTe) predicted by eight popular exchange-correlation functionals from quasi-harmonic...

Chelate stabilized metal oxides for visible light photocatalyzed water oxidations
Visible light driven photocatalytic water oxidations were undertaken that compared lactate stabilized molecular and nanoparticle cobalt complexes and calcium manganese oxides as simple mimics of the PSII CaMn4O5 catalyst....
Influence of the exchange-correlation functional on the quasi-harmonic lattice dynamics of II-VI semiconductors

We perform a systematic comparison of the finite-temperature structure and properties of four bulk semiconductors (PbS, PbTe, ZnS, and ZnTe) predicted by eight popular exchange-correlation functionals from quasi-harmonic...

Experimental Test and Analysis of AC Losses in Multifilamentary MgB <sub>2</sub> Wire

AC losses in superconductors are essential for the design of cooling system for large scale power applications. Magnesium diboride (MgB 2 ) superconducting wires have been investigated and manufactured over the...

Investigating nanostructures in carbon fibres using Raman spectroscopy
Nanostructures in the PAN-based carbon fibres were investigated by means of the Raman spectroscopy which was performed using a series of different excitation wavelengths. UV-Raman measurements showed the predominance of...
Suppression of lattice thermal conductivity by mass-conserving cation mutation in multi-component semiconductors
In semiconductors almost all heat is conducted by phonons (lattice vibrations), which is limited by their quasi-particle lifetimes. Phonon-phonon interactions represent scattering mechanisms that produce thermal resistance. In...
Chelate stabilized metal oxides for visible light photocatalyzed water oxidations
Visible light driven photocatalytic water oxidations were undertaken that compared lactate stabilized molecular and nanoparticle cobalt complexes and calcium manganese oxides as simple mimics of the PSII CaMn4O5 catalyst....
Investigating nanostructures in carbon fibres using Raman spectroscopy
Nanostructures in the PAN-based carbon fibres were investigated by means of the Raman spectroscopy which was performed using a series of different excitation wavelengths. UV-Raman measurements showed the predominance of...
Suppression of lattice thermal conductivity by mass-conserving cation mutation in multi-component semiconductors
In semiconductors almost all heat is conducted by phonons (lattice vibrations), which is limited by their quasi-particle lifetimes. Phonon-phonon interactions represent scattering mechanisms that produce thermal resistance. In...
Experimental Test and Analysis of AC Losses in Multifilamentary MgB <sub>2</sub> Wire

AC losses in superconductors are essential for the design of cooling system for large scale power applications. Magnesium diboride (MgB 2 ) superconducting wires have been investigated and manufactured over the...

|<

<

1

2

3

4

5

>

>|