A Decidable Confluence Test for Cognitive Models in ACT-R

Computational cognitive modeling investigates human cognition by building detailed computational models for cognitive processes. Adaptive Control of Thought - Rational (ACT-R) is a rule-based cognitive architecture that offers a widely employed framework to build such models. There is a sound and complete embedding of ACT-R in Constraint Handling Rules (CHR). Therefore analysis techniques from CHR can be used to reason about computational properties of ACT-R models. For example, confluence is the property that a program yields the same result for the same input regardless of the rules that are applied. In ACT-R models, there are often cognitive processes that should always yield the same result while others e.g. implement strategies to solve a problem that could yield different results. In this paper, a decidable confluence criterion for ACT-R is presented. It allows to identify ACT-R rules that are not confluent. Thereby, the modeler can check if his model has the desired behavior. The sound and complete translation of ACT-R to CHR from prior work is used to come up with a suitable invariant-based confluence criterion from the CHR literature. Proper invariants for translated ACT-R models are identified and proven to be decidable. The presented method coincides with confluence of the original ACT-R models.Comment: To appear in Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, and Dumitru Roman: "Proceedings of RuleML+RR 2017". Springer LNC

Using Clinical Trial Simulators to Analyse the Sources of Variance in Clinical Trials of Novel Therapies for Acute Viral Infections.

BACKGROUND:About 90% of drugs fail in clinical development. The question is whether trials fail because of insufficient efficacy of the new treatment, or rather because of poor trial design that is unable to detect the true efficacy. The variance of the measured endpoints is a major, largely underestimated source of uncertainty in clinical trial design, particularly in acute viral infections. We use a clinical trial simulator to demonstrate how a thorough consideration of the variability inherent in clinical trials of novel therapies for acute viral infections can improve trial design. METHODS AND FINDINGS:We developed a clinical trial simulator to analyse the impact of three different types of variation on the outcome of a challenge study of influenza treatments for infected patients, including individual patient variability in the response to the drug, the variance of the measurement procedure, and the variance of the lower limit of quantification of endpoint measurements. In addition, we investigated the impact of protocol variation on clinical trial outcome. We found that the greatest source of variance was inter-individual variability in the natural course of infection. Running a larger phase II study can save up to $38 million, if an unlikely to succeed phase III trial is avoided. In addition, low-sensitivity viral load assays can lead to falsely negative trial outcomes. CONCLUSIONS:Due to high inter-individual variability in natural infection, the most important variable in clinical trial design for challenge studies of potential novel influenza treatments is the number of participants. 100 participants are preferable over 50. Using more sensitive viral load assays increases the probability of a positive trial outcome, but may in some circumstances lead to false positive outcomes. Clinical trial simulations are powerful tools to identify the most important sources of variance in clinical trials and thereby help improve trial design

Conjugate addition nitro-Mannich reaction of carbon and heteroatom nucleophiles to nitroalkenes

The conjugate addition nitro-Mannich reactions of ethyl-β-nitroacrylate (1) and β-nitrostyrene (2) with electron rich aromatic nucleophiles, stabilized carbanions, alcohols, amines, thiols, and diphenyl phosphine oxide were investigated. The one pot conjugate addition nitro-Mannich reaction was unsuccessful except for the addition of alkoxides to 2 in alcohol as solvent. Isolation of the conjugate addition products followed by deprotonation with nBuLi and treatment with a simple imine in the presence of TFA led to β-nitroamine derived products. Products derived from 1 spontaneously cyclised in only a few examples and on the whole led to inherently unstable products. Products derived from 2 were isolated as their trifluoroacetamides, gave good yields of single diastereoisomers for aromatic and alkoxide nucleophiles and the structures were verified by single crystal X-ray crystallography. Products derived from amine nucleophiles were isolated in low yields while sulfur nucleophiles gave poor diastereoselectivities

Use of a dual reporter plasmid to demonstrate bactofection with an attenuated aroa- derivative of Pasteurella multocida b:2

A reporter plasmid pSRG has been developed which expresses red fluorescent protein (RFP) from a constitutive prokaryotic promoter within Pasteurella multocida B:2 and green fluorescent protein (GFP) from a constitutive eukaryotic promoter within mammalian cells. This construct has been used to determine the location and viability of the bacteria when moving from the extracellular environment into the intracellular compartment of mammalian cells. Invasion assays with embryonic bovine lung (EBL) cells and an attenuated AroA- derivative of Pasteurella multocida B:2 (strain JRMT12), harbouring the plasmid pSRG, showed that RFP-expressing bacteria could be detected intracellularly at 3 h post-invasion. At this stage, some EBL cells harbouring RFP-expressing bacteria were observed to express GFP simultaneously, indicating release of the plasmid into the intracellular environment. At 5 h post-invasion, more EBL cells were expressing GFP, while still harbouring RFP-expressing bacteria. Concurrently, some EBL cells were shown to express only GFP, indicating loss of viable bacteria within these cells. These experiments proved the functionality of the pSRG dual reporter system and the potential of P. multocida B:2 JRMT12 for bactofection and delivery of a DNA vaccine

Molecular heterogeneity of large-conductance calcium-activated potassium channels in canine intracardiac ganglia

Large conductance calcium-activated potassium (BK) channels are widely expressed in the nervous system. We have recently shown that principal neurons from canine intracardiac ganglia (ICG) express a paxilline- and TEA-sensitive BK current, which increases neuronal excitability. In the present work, we further explore the molecular constituents of the BK current in canine ICG. We found that the β1 and β4 regulatory subunits are expressed in ICG. Single channel voltage-dependence at different calcium concentrations suggested that association of the BKα with a particular β subunit was not enough to explain the channel activity in this tissue. Indeed, we detected the presence of several splice variants of the BKα subunit. In conclusion, BK channels in canine ICG may result from the arrangement of different BKα splice variants, plus accessory β subunits. The particular combinations expressed in canine IC neurons likely rule the excitatory role of BK current in this tissue

Realization of a single Josephson junction for Bose-Einstein condensates

We report on the realization of a double-well potential for Rubidium-87 Bose-Einstein condensates. The experimental setup allows the investigation of two different dynamical phenomena known for this system - Josephson oscillations and self-trapping. We give a detailed discussion of the experimental setup and the methods used for calibrating the relevant parameters. We compare our experimental findings with the predictions of an extended two-mode model and find quantitative agreement

Motif Minang Kaluak Paku Kacang Balimbiang pada Busana Kasual

Minangkabau sebagai salah satu suku bangsa yang mengisi kekhasan budaya Indonesia memiliki warisan budaya yang terpencar dalam berbagai aspek kehidupannya. Salah satu warisan budaya adalah seni ukir. Seni ukir yang dikembangkan dengan mengambil ide dari alam memiliki makna-makna filosofi bagi kehidupan masyarakat Minangkabau. Semua jenis ukiran yang dipahatkan di Rumah Gadang menunjukkan unsur penting pembentuk budaya Minangkabau bercerminkan kepada apa yang ada di alam. Salah satu ukiran pada rumah gadang yaitu kaluak paku. Kaluak paku adalah nama salah satu motif ukiran dalam adat Minangkabau. Berasal dari motif gulungan (kelukan/kaluak) pada ujung tanaman pakis (paku) yang masih muda. Ukiran kaluak paku rumah gadang melambangkan tanggung jawab seorang lelaki dalam adat Minangkabau kepada generasi penerus, sebagai ayah dari anak-anaknya dan sebagai mamak dari kemenakan (keponakan). Ukiran rumah gadang kaluak paku minangkabau inilah yang menjadi sumber ide penciptaan busana pada tugas akhir ini. Pada Penciptaan karya ini menggunakan beberapa metode, yaitu metode pendekatan estetis dan ergonomis, metode pengumpulan data dengan studi pustaka, dan motode penciptaan dengan teori Gustami Sp 3 tahap 6 Langkah. Dalam proses pembuatan karya dibutuhkan beberapa data, cara pengumpulan data acuan berdasarkan pengumpulan data pustaka yaitu berupa buku, jurnal pada media sosial, serta aplikasi pada smartphone seperti pinterest. Data yang dikumpulkan yang paling utama adalah gambar bentuk visual dari ukiran tanaman kaluak paku minangkabau dan busana kasual. Penciptaan karya yang dihasilkan yaitu berupa 8 busana kasual. Siluet pada kesuluruhan hasil karya yaitu memiliki siluet A yang mengembang pada bagian bawah. Pada penciptaan karya ini menggunakan bahan utama primisima. Perpaduan warna yang diterapkan menggunakan warna khas minangkabau yang diambil dari warna bendera adatnya “marawa” yaitu merah, hitam, dan kuning. Karya- karya yang dihasilkan dengan penggunaan warna tersebut sangat sesuai dengan tema yang mengangkat ukiran rumah gadang kaluak paku minangkabau. Kata Kunci : Minang, Kaluak Paku Kacang Balimbiang, Kasua

Reduction of frontal plane knee load caused by lateral trunk lean depends on step width

The internal knee abduction moment (KAM) in osteoarthritis is reduced by increased lateral trunk lean (TL). Mechanistically, this occurs as the Centre of Mass (COM) moves further over the stance leg. Since the size of the base of support constrains the COM, an associated increase in step width (SW) would be expected to maintain stability. This study tested the effects of TL on SW and KAM in healthy participants (n = 21) who performed normal and 6° TL walks. The latter was controlled via audio-visual biofeedback. We found two distinct gait strategies in TL walk: widening the step width substantially (>50%) to permit an increase in the COM displacement (WSW, n = 13), or maintaining a baseline SW and minimally displacing the COM by moving the hip/pelvic complex in the opposite direction (NSW, n = 8). WSW doubled SW (11.3 ± 2.4 v. 24.7 ± 5.5 cm, p  0.05). These two distinct gait strategies resulted in unique patterns of KAM reduction across the stance phase. NSW reduced KAM impulse significantly in the initial half (0.08 ± 0.02 v. 0.06 ± 0.02, p = .04) but not in the later stance phase (0.07 ± 0.02 v. 0.07 ± 0.04, p > 0.05). WSW reduced KAM significantly in both initial (0.11 ± 0.03 v. 0.08 ± 0.04, p < 0.001) and later stance phase (0.09 ± 0.02 v. 0.06 ± 0.03, p < 0.001). KAM peak results followed the pattern of impulse. This study has revealed two distinct mechanisms for increasing lateral trunk lean which can be used to explain discrepancies in past research and in the future could be used to individualise gait re-training strategies

O 004 - Motion capture without markers using the leap motion controller and artificial neural networks

Short Communicatio

Association of treatment satisfaction and psychopathological sub-syndromes among involuntary patients with psychotic disorders

Publisher's version: http://www.springerlink.com/content/rx24036274667t10