The Explanatory Role of Computation in Cognitive Science

Which notion of computation (if any) is essential for explaining cognition? Five answers to this question are discussed in the paper. (1) The classicist answer: symbolic (digital) computation is required for explaining cognition; (2) The broad digital computationalist answer: digital computation broadly construed is required for explaining cognition; (3) The connectionist answer: sub-symbolic computation is required for explaining cognition; (4) The computational neuroscientist answer: neural computation (that, strictly, is neither digital nor analogue) is required for explaining cognition; (5) The extreme dynamicist answer: computation is not required for explaining cognition. The first four answers are only accurate to a first approximation. But the ??devil?? is in the details. The last answer cashes in on the parenthetical ??if any?? in the question above. The classicist argues that cognition is symbolic computation. But digital computationalism need not be equated with classicism. Indeed, computationalism can, in principle, range from digital (and analogue) computationalism through (the weaker thesis of) generic computationalism to (the even weaker thesis of) digital (or analogue) pancomputationalism. Connectionism, which has traditionally been criticised by classicists for being non-computational, can be plausibly construed as being either analogue or digital computationalism (depending on the type of connectionist networks used). Computational neuroscience invokes the notion of neural computation that may (possibly) be interpreted as a sui generis type of computation. The extreme dynamicist argues that the time has come for a post-computational cognitive science. This paper is an attempt to shed some light on this debate by examining various conceptions and misconceptions of (particularly digital) computation.     

Threshold of stimulated Brillouin scattering by use of a solar pumped laser

What is to our knowledge the first stimulated Brillouin scattering experiment using a high-power low-gain solar pumped laser is presented. A threshold reflectivity of 0.23% was reached when a peak power of 20.7 kW was used at 7.6 GHz. A cw solar pumped laser was Q-switched with an acousto-optic modulator, and the bandwidth was narrowed with an intracavity etalon. A high polarization ratio (>99.4%) was achieved by use of an intracavity configuration. Higher reflectivity values were limited because of the lack of availability of optical switches.     

Alcohol-mediated haemolysis in yeast

Although yeast are generally non-haemolytic, we have found that addition of alcohol vapour confers haemolytic properties on many strains of yeast and other fungi. We have called this phenomenon 'microbial alcohol-conferred haemolysis' (MACH). MACH is species- and strain-specific: whereas all six Candida tropicalis strains tested were haemolytic in the presence of ethanol, none among 10 C. glabrata strains tested exhibited this phenomenon. Among 27 C. albicans strains and 11 Saccharomyces cerevisiae strains tested, ethanol-mediated haemolysis was observed in 11 and 4 strains, respectively. Haemolysis is also dependent on the alcohol moiety: n-butanol and n-pentanol could also confer haemolysis, whereas methanol and 2-propanol did not. Haemolysis was found to be dependent on initial oxidation of the alcohol. Reduced haemolysis was observed in specific alcohol dehydrogenase mutants of both Aspergillus nidulans and S. cerevisiae. MACH was not observed during anaerobic growth, and was reduced in the presence of pararosaniline, an aldehyde scavenger. Results suggest that initial oxidation of the alcohol to the corresponding aldehyde is an essential step in the observed phenomenon.     

Interface Modifications of InAs Quantum‐Dots Solids and their Effects on FET Performance

InAs nanocrystals field‐effect transistors with an ON/OFF ratio of 10⁵ are reported. By tailoring the interface regions in the active layer step‐by‐step, the evolution of the ON/OFF ratio can be followed from approximately 5 all the way to around 10⁵. The formation of a semiconducting solid from colloidal nanocrystals is achieved through targeted design of the nanocrystal–nanocrystal interaction. The manipulation characteristics of the nanocrystal interfaces include the matrix surrounding the inorganic core, the interparticle distance, and the order of nanocrystals in the 3D array. Through careful analysis of device characteristics following each treatment, the effect of each on the physical properties of the films are able to be verified. The enhanced performance is related to interparticle spacing, reduction in sub‐gap states, and better electronic order (lower σ parameter). Films with enhanced charge transport qualities retain their quantum‐confined characteristics throughout the procedure, thus making them useful for optoelectronic applications.     

Strategy logic

We introduce strategy logic, a logic that treats strategies in two-player games as explicit first-order objects. The explicit treatment of strategies allows us to specify properties of nonzero-sum games in a simple and natural way. We show that the one-alternation fragment of strategy logic is strong enough to express the existence of Nash equilibria and secure equilibria, and subsumes other logics that were introduced to reason about games, such as ATL, ATL¹, and game logic. We show that strategy logic is decidable, by constructing tree automata that recognize sets of strategies. While for the general logic, our decision procedure is nonelementary, for the simple fragment that is used above we show that the complexity is polynomial in the size of the game graph and optimal in the size of the formula (ranging from polynomial to 2EXPTIME depending on the form of the formula).     

C beam elements based on the Refined Zigzag Theory for multilayered composite and sandwich laminates

The paper deals with the development and computational assessment of three- and two-node beam finite elements based on the Refined Zigzag Theory (RZT) for the analysis of multilayered composite and sandwich beams. RZT is a recently proposed structural theory that accounts for the stretching, bending, and transverse shear deformations, and which provides substantial improvements over previously developed zigzag and higher-order theories. This new theory is analytically rigorous, variationally consistent, and computationally attractive. The theory is not affected by anomalies of most previous zigzag and higher-order theories, such as the vanishing of transverse shear stress and force at clamped boundaries. In contrast to Timoshenko theory, RZT does not employ shear correction factors to yield accurate results. From the computational mechanics perspective RZT requires C⁰-continuous shape functions and thus enables the development of efficient displacement-type finite elements. The focus of this paper is to explore several low-order beam finite elements that offer the best compromise between computational efficiency and accuracy. The initial attention is on the choice of shape functions that do not admit shear locking effects in slender beams. For this purpose, anisoparametric (aka interdependent) interpolations are adapted to approximate the four independent kinematic variables that are necessary to model the planar beam deformations. To achieve simple two-node elements, several types of constraint conditions are examined and corresponding deflection shape-functions are derived. It is recognized that the constraint condition requiring a constant variation of the transverse shear force gives rise to a remarkably accurate two-node beam element. The proposed elements and their predictive capabilities are assessed using several elastostatic example problems, where simply supported and cantilevered beams are analyzed over a range of lamination sequences, heterogeneous material properties, and slenderness ratios.     

Severity of respiratory syncytial virus disease related to type and genotype of virus and to cytokine values in nasopharyngeal secretions

BACKGROUND: Investigations concerning the severity of respiratory syncytial virus (RSV) disease as related to (1) RSV type and genotype determined respectively by PCR and restriction enzyme analysis and (2) interleukin 6 (IL-6) and tumor necrosis factor alpha (TNF-alpha) values in samples of nasopharyngeal secretion (NPS) have not been previously reported. METHODS: We prospectively studied 105 RSV infections in the lower respiratory tract of infants and young children admitted to a pediatric department in Copenhagen during three winter seasons, 1993, 1994 and 1995. RSV strains were typed and genotyped, respectively, by PCR and nucleic acid restriction analysis and correlated to the severity of the disease. The ratio IL-6:TNF-alpha, determined from IL-6- and TNF-alpha values in samples of NPS, was related to the severity of the disease. Concentrations of IL-6 and of TNF-alpha were determined in serum samples taken during 5 weeks after the onset of illness. RESULTS: Type B infections produced more severe disease than did type A infections, as assessed on the length of the hospital stay, use of respiratory support and the presence of an infiltrate on a chest radiograph. This difference was age-related. It was observed in infants 0 to 5 months old, but not in older age groups. Type B genotype B1122 produced more severe disease than type A genotype A2311 in infants 0 to 11 months old. Increased serum concentrations of IL-6 and TNF-alpha were detected in samples taken 1 to 2 days after the onset of illness. Whereas TNF-alpha serum concentrations remained high, IL-6 serum concentrations decreased during the following 3 to 4 weeks. The IL-6:TNF-alpha ratio in samples of NPS was related to the severity of the disease. A high ratio was related to a low severity. CONCLUSIONS: The severity of disease in patients admitted with acute RSV infections can be correlated to the RSV type as determined by PCR, to the RSV genotype as determined by nucleic acid restriction analysis and to the ratio IL-6:TNF-alpha in NPS.