Multisensory causal inference in the brain

At any given moment, our brain processes multiple inputs from its different sensory modalities (vision, hearing, touch, etc.). In deciphering this array of sensory information, the brain has to solve two problems: (1) which of the inputs originate from the same object and should be integrated and (2) for the sensations originating from the same object, how best to integrate them. Recent behavioural studies suggest that the human brain solves these problems using optimal probabilistic inference, known as Bayesian causal inference. However, how and where the underlying computations are carried out in the brain have remained unknown. By combining neuroimaging-based decoding techniques and computational modelling of behavioural data, a new study now sheds light on how multisensory causal inference maps onto specific brain areas. The results suggest that the complexity of neural computations increases along the visual hierarchy and link specific components of the causal inference process with specific visual and parietal regions

Icon: A diagrammatic theorem prover for ontologies

Concept diagrams form a visual language that is aimed at non-experts for the specification of ontologies and reason- ing about them. Empirical evidence suggests that they are more accessible to ontology users than symbolic notations typically used for ontologies (e.g., DL, OWL). Here, we re- port on iCon, a theorem prover for concept diagrams that al- lows reasoning about ontologies diagrammatically. The input to iCon is a theorem that needs proving to establish how an entailment, in an ontology that needs debugging, is caused by a minimal set of axioms. Such a minimal set of axioms is called an entailment justification. Carrying out inference in iCon provides a diagrammatic proof (i.e., explanation) that shows how the axioms in an entailment justification give rise to the entailment under investigation. iCon proofs are for- mally verified and guaranteed to be correct.Zohre

Deductive reasoning about expressive statements using external graphical representations

Research in psychology on reasoning has often been restricted to relatively inexpressive statements involving quantifiers. This is limited to situations that typically do not arise in practical settings, such as ontology engineering. In order to provide an analysis of inference, we focus on reasoning tasks presented in external graphic representations where statements correspond to those involving multiple quantifiers and unary and binary relations. Our experiment measured participants’ performance when reasoning with two notations. The first used topology to convey information via node-link diagrams (i.e. graphs). The second used topological and spatial constraints to convey information (Euler diagrams with additional graph-like syntax). We found that topological- spatial representations were more effective than topological representations. Unlike topological-spatial representations, reasoning with topological representations was harder when involving multiple quantifiers and binary relations than single quantifiers and unary relations. These findings are compared to those for sentential reasoning tasks

Tunable Fiber Bragg Grating Ring Lasers using Macro Fiber Composite Actuators

The research reported herein includes the fabrication of a tunable optical fiber Bragg grating (FBG) fiber ring laser (FRL)1 from commercially available components as a high-speed alternative tunable laser source for NASA Langley s optical frequency domain reflectometer (OFDR) interrogator, which reads low reflectivity FBG sensors. A Macro-Fiber Composite (MFC) actuator invented at NASA Langley Research Center (LaRC) was selected to tune the laser. MFC actuators use a piezoelectric sheet cut into uniaxially aligned rectangular piezo-fibers surrounded by a polymer matrix and incorporate interdigitated electrodes to deliver electric fields along the length of the piezo-fibers. This configuration enables MFC actuators to produce displacements larger than the original uncut piezoelectric sheet. The FBG filter was sandwiched between two MFC actuators, and when strained, produced approximately 3.62 nm of wavelength shift in the FRL when biasing the MFC actuators from 500 V to 2000 V. This tunability range is comparable to that of other tunable lasers and is adequate for interrogating FBG sensors using OFDR technology. Three different FRL configurations were studied. Configuration A examined the importance of erbium-doped fiber length and output coupling. Configuration B demonstrated the importance of the FBG filter. Configuration C added an output coupler to increase the output power and to isolate the filter. Only configuration C was tuned because it offered the best optical power output of the three configurations. Use of Plastic Optical Fiber (POF) FBG s holds promise for enhanced tunability in future research

Exploring and conceptualising attestation

When formalising the rules of trust in the remote attesta- tion of TPM-based computer systems it is paramount that the rules are precisely understood, supporting unambiguous communication of infor- mation about system requirements between engineers. We present a dia- grammatic approach to modelling rules of trust using an extended version of concept diagrams. Within the context of our proof-of-concept Net- work Function Virtualisation and Attestation environment, these rules allow different level of trust to be explored and, importantly, allow us to identify when a computer system should not be trusted. To ensure that the modelling approach can be applied to general systems, we in- clude generic patterns for extending our domain model and rules of trust. Consequently, through the use of a formal, yet accessible, diagrammatic notation, domain experts can define rules of trust for their systems.Leverhulme Trust gran

Tunable Optical Assembly with Vibration Dampening

Since their market introduction in 1995, fiber Bragg gratings (FBGs) have emerged as excellent means of measuring such parameters as strain and temperature. Distributed-grating sensing is particularly beneficial for such structural-health monitoring applications such as those of 'smart' structures or integrated vehicle health management in aerospace vehicles. Because of the variability of their output wavelengths, tunable lasers have become widely used as means of measuring FBGs. Several versions of a lightweight assembly for strain-tuning an FBG and dampening its vibrations have been constructed. The main components of such an assembly are one or more piezoelectric actuators, an optical fiber containing one or more Bragg grating(s), a Bragg-grating strain-measurement system, and a voltage source for actuation. The piezoelectric actuators are, more specifically, piezoceramic fiber composite actuators and, can be, still more specifically, of a type known in the art as macro-fiber composite (MFC) actuators. In fabrication of one version of the assembly, the optical fiber containing the Bragg grating(s) is sandwiched between the piezoelectric actuators along with an epoxy that is used to bond the optical fiber to both actuators, then the assembly is placed in a vacuum bag and kept there until the epoxy is cured. Bonding an FBG directly into an MFC actuator greatly reduces the complexity, relative to assemblies, that include piezoceramic fiber composite actuators, hinges, ferrules, and clamp blocks with setscrews. Unlike curved actuators, MFC actuators are used in a flat configuration and are less bulky. In addition, the MFC offers some vibration dampening and support for the optical fiber whereas, in a curved piezoelectric actuator assembly, the optical fiber is exposed, and there is nothing to keep the exposed portion from vibrating

Curved Piezoelectric Actuators for Stretching Optical Fibers

Assemblies containing curved piezoceramic fiber composite actuators have been invented as means of stretching optical fibers by amounts that depend on applied drive voltages. Piezoceramic fiber composite actuators are conventionally manufactured as sheets or ribbons that are flat and flexible, but can be made curved to obtain load-carrying ability and displacement greater than those obtainable from the flat versions. In the primary embodiment of this invention, piezoceramic fibers are oriented parallel to the direction of longitudinal displacement of the actuators so that application of drive voltage causes the actuator to flatten, producing maximum motion. Actuator motion can be transmitted to the optical fiber by use of hinges and clamp blocks. In the original application of this invention, the optical fiber contains a Bragg grating and the purpose of the controlled stretching of the fiber is to tune the grating as part of a small, lightweight, mode-hop-free, rapidly tunable laser for demodulating strain in Bragg-grating strain-measurement optical fibers attached to structures. The invention could also be used to apply controllable tensile force or displacement to an object other than an optical fiber

Reference concentrations for trace elements in urine for the Brazilian population based on q-ICP-MS with a simple dilute-and-shoot procedure

Biomonitoring of trace elements is of critical importance in human health assessment. However, trace element concentrations in biological fluids are affected by environmental and physiological parameters, and therefore considerable variations can occur between specific population subgroups. Brazil is a large country with large environmental diversity and with a limited knowledge of the reference values (baseline data) for trace elements in biological fluids. Atomic absorption spectrometry (AAS) and inductively coupled plasma emission spectrometry (ICP-OES) are still the dominant analytical techniques used for biomonitoring trace element analysis in clinical specimens. However, the use of ICP-MS is becoming more usual in clinical laboratory analysis. Then, we evaluated here a simple dilute-and-shoot method for sequential determination of Al, Ba, Be, Cd, Co, Cu, Cs, Mn, Ni, Pb, Pt, Sb, Se, Sn, Tl and U in urine by quadrupole inductively coupled plasma mass spectrometry (q-ICP-MS). Urine samples (500 µL) were accurately pipetted into conical tubes (15 mL) and diluted to 10 mL with a solution containing 0.5 % (v/v) HNO3 + 0.005% (v/v) Triton X-100. Diluted urine samples also contain rhodium, iridium and yttrium added as internal standards. After that, samples were directly analyzed by ICP-MS against matrix-matching calibration. Method detection limit (3s, n = 20) were in the ng L-1 range for all analytes. The method was applied to the analysis of 412 ordinary urine samples from Brazilian healthy and non-exposed subjects to establish reference values. Data validation was provided by the analysis of the standard reference material (SRM) 2670a toxic elements in urine (freeze-dried) (high and low levels) from the National Institute of Standards and Technology (NIST) and reference urine samples from the trace elements intercomparison program operated by the Institut National de Sante' Publique du Quebec, Canada.O biomonitoramento de elementos químicos é de extrema importância na avaliação da saúde humana. Entretanto, as concentrações dos elementos químicos nos fluidos biológicos são afetadas por parâmetros ambientais e fisiológicos e, consequentemente, consideráveis variações podem ocorrer entre subgrupos de populações específicas. O Brasil é um país com ampla diversidade ambiental e existe limitado conhecimento de valores de referência para elementos químicos em fluidos biológicos. A espectrometria de absorção atômica (AAS) e a espectrometria de emissão ótica com plasma acoplado indutivamente (ICP-OES) ainda são as técnicas analíticas mais comumente empregadas no biomonitoramento de elementos químicos em amostras clínicas. Entretanto, o uso da espectrometria de massas com plasma acoplado indutivamente (ICP-MS) está se tornando a cada dia mais comum nos laboratórios clínicos. Neste estudo, foi avaliado um método rápido envolvendo simples diluição da amostra para determinação de Al, Ba, Be, Cd, Co, Cu, Cs, Mn, Ni, Pb, Pt, Sb, Se, Sn, Tl e U em urina por ICP-MS. Amostras de urina (500 μL) foram pipetadas em frascos cônicos de 15 mL e diluídas para 10 mL com uma solução contendo 0,5 % (v/v) HNO3 + 0,005% (v/v) Triton X-100. Ródio, irídio e ítrio foram adicionados como padrões internos. Em seguida, as amostras foram diretamente analisadas por ICP-MS com calibração por ajuste de matriz. Os limites de detecção do método (3s, n = 20) foram da ordem de ng L-1 para todos os analitos em estudo. O método foi aplicado para a análise de 412 amostras de urina de brasileiros saudáveis e não expostos ambientalmente ou ocupacionalmente a metais para o estabelecimento de valores de referência na população brasileira. A validação dos resultados foi acompanhada pela análise de material de referência certificada de urina (SRM) 2670a proveniente do National Institute of Standards and Technology (NIST) e de materiais de referência provenientes do Institut National de Sante' Publique Du Quebec, no Canadá.Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq