This enlarges on earlier work attempting to show in a general way how it might be possible for a machine to use symbols with ‘non-derivative’ semantics. It elaborates on the author’s earlier suggestion that computers understand symbols referring to their own internal ‘virtual’ worlds. A machine that grasps predicate calculus notation can use a set of axioms to give a partial, implicitly defined...

Solar-driven thermochemical energy storage (TCES) can address the mismatch between solar heat production and heating demand contribute to decarbonisation in buildings. In many studies of typical salt hydrate TCES systems, massive carried by discharged humid airflow during charging phase is not well-utilised but directly dissipated ambient. Therefore, a photovoltaic/thermal-powered system integr...

Representing an epistemic situation involving several agents obviously depends on the modeling point of view one takes. We start by identifying the types of modeling points of view which are logically possible. We call the one traditionally followed by epistemic logic the perfect external approach, because there the modeler is assumed to be an omniscient and external observer of the epistemic s...

In this paper we continue the study of Lorentz space estimates for the GinzburgLandau energy started in [15]. We focus on getting estimates for the GinzburgLandau energy with external magnetic field hex in certain interesting regimes of hex. This allows us to show that for configurations close to minimizers or local minimizers of the energy, the vorticity mass of the configuration (u,A) is comp...

Cross-correlation of neural discharges was used to investigate the connections between expiratory bulbospinal neurons (EBSNs) in the caudal medulla and expiratory motoneurons innervating thoracic and abdominal muscles in anesthetized cats. Peaks were seen in the cross-correlation histograms for around half of the EBSN-nerve pairs for the following: at T8, the nerve branches innervating internal...

34 35 Cross-correlation of neural discharges was used to investigate the connections between 36 expiratory bulbospinal neurons (EBSNs) in the caudal medulla and expiratory motoneurons 37 innervating thoracic and abdominal muscles in anesthetized cats. Peaks were seen in the cross38 correlation histograms for around half of the EBSN-nerve pairs for the following: at T8, the nerve 39 branches inn...

Therapy for neurodegenerative lysosomal Tay-Sachs (TS) disease requires active hexosaminidase (Hex) A production in the central nervous system and an efficient therapeutic approach that can act faster than human disease progression. We combined the efficacy of a non-replicating Herpes simplex vector encoding for the Hex A alpha-subunit (HSV-T0alphaHex) and the anatomic structure of the brain in...

the effective parameters of (5, 0) and (5, 5) single-wall carbon nanotubes during the interaction with carbon dioxide as sensors are determined. the interaction of carbon dioxide  molecules with internal and external walls of the nanotubes is studied using gaussian 03 coding by density functional theory (dft) at the b3lyp/6-311g level of theory. co2 rotation around tube axles vertically and par...