Beyond the Hype: RPA Horizon for Robot-Human Interaction

Medium and big organizations have embraced RPA in the last years bringing to light the high maturity of the technology. Current trends are towards including “human-in-the-loop” which promotes efficient ways for robot-human interaction. This is especially relevant since most real RPA projects require a collaboration between the human and the robot leading to hybrids approaches. The challenges that arise from this line can be addressed by both asynchronous (i.e., landing area or task queues where robots and humans share information) and synchronous solutions (i.e., human digital augmentation where robots provide immediate support). This paper goes in deep elaborating in these two alternatives by setting the benefits, requirements, and future research lines which are envisioned through industrial experiences. In addition, this work exposes the role of process mining in this journey since it allows for the necessary efficiency in the process analysis, time-to-market reduction, and continuous improvement that this robot-human collaboration requires.Ministerio de Economía y Competitividad TIN2016-76956-C3-2-RJunta de Andalucía CEI-12-TIC02

Different genome stability proteins underpin primed and naïve adaptation in E. coli CRISPR-Cas immunity

CRISPR-Cas is a prokaryotic immune system built from capture and integration of invader DNA into CRISPR (Clustered Regularly Interspaced Short Palindromic Repeats) loci, termed ‘Adaptation’, which is dependent on Cas1 and Cas2 proteins. In Escherichia coli, Cascade-Cas3 degrades invader DNA to effect immunity, termed ‘Interference’. Adaptation can interact with interference (‘primed’), or is independent of it (‘naïve’). We demonstrate that primed adaptation requires the RecG helicase and PriA protein to be present. Genetic analysis of mutant phenotypes suggests that RecG is needed to dissipate R-loops at blocked replication forks. Additionally, we identify that DNA polymerase I is important for both primed and naive adaptation, and that RecB is needed for naïve adaptation. Purified Cas1-Cas2 protein shows specificity for binding to and nicking forked DNA within single strand gaps, and collapsing forks into DNA duplexes. The data suggest that different genome stability systems interact with primed or naïve adaptation when responding to blocked or collapsed invader DNA replication. In this model, RecG and Cas3 proteins respond to invader DNA replication forks that are blocked by Cascade interference, enabling DNA capture. RecBCD targets DNA ends at collapsed forks, enabling DNA capture without interference. DNA polymerase I is proposed to fill DNA gaps during spacer integration

Efficient Certified RAT Verification

Clausal proofs have become a popular approach to validate the results of SAT solvers. However, validating clausal proofs in the most widely supported format (DRAT) is expensive even in highly optimized implementations. We present a new format, called LRAT, which extends the DRAT format with hints that facilitate a simple and fast validation algorithm. Checking validity of LRAT proofs can be implemented using trusted systems such as the languages supported by theorem provers. We demonstrate this by implementing two certified LRAT checkers, one in Coq and one in ACL2

Body Composition and Functional Abilities in Terms of the Quality of Professional Ballerinas

The objective of this research was to determine the variability of the sample of professional ballerinas in the space of characteristics of their body composition and some functional characteristics according to the requirements of their roles in ballet. The sample of examinees was comprised of 30 professional ballerinas, members of the Croatian National Theatre Ballet (15 soloists and 15 members of the corps de ballet). The data showed that the soloists were characterized by a significantly larger knee diameter, significantly lower thickness of skin folds on the trunk and the lower fat body mass percentage, as well as by greater grip strength. Aerobic capacity was only moderately more developed than in fit people who participated in physical exercising because of recreational reasons, and there were no differences between soloists and the members of the corps

CRISPR-Cas Adaptation in Escherichia coli requires RecBCD helicase but not nuclease activity, is independent of homologous recombination, and is antagonised by 5’ ssDNA exonucleases

Prokaryotic adaptive immunity is established against mobile genetic elements (MGEs) by “naïve adaptation” when DNA fragments from a newly encountered MGE are integrated into CRISPR-Cas systems. In E. coli, DNA integration catalysed by Cas1-Cas2 integrase is well understood in mechanistic and structural detail but much less is known about events prior to integration that generate DNA for capture by Cas1-Cas2. Naïve adaptation in E. coli is thought to depend on the DNA helicase-nuclease RecBCD for generating DNA fragments for capture by Cas1-Cas2. The genetics presented here show that naïve adaptation does not require RecBCD nuclease activity but that helicase activity may be important. RecA loading by RecBCD inhibits adaptation explaining previously observed adaptation phenotypes that implicated RecBCD nuclease activity. Genetic analysis of other E. coli nucleases and naïve adaptation revealed that 5’ ssDNA tailed DNA molecules promote new spacer acquisition. We show that purified E. coli Cas1-Cas2 complex binds to and nicks 5’ ssDNA tailed duplexes and propose that E. coli Cas1-Cas2 nuclease activity on such DNA structures supports naïve adaptation

CRISPR-Cas adaptation in Escherichia coli requires RecBCD helicase but not nuclease activity, is independent of homologous recombination, and is antagonized by 5' ssDNA exonucleases

© The Author(s) 2018. Prokaryotic adaptive immunity is established against mobile genetic elements (MGEs) by 'naïve adaptation' when DNA fragments from a newly encountered MGE are integrated into CRISPR-Cas systems. In Escherichia coli, DNA integration catalyzed by Cas1- Cas2 integrase is well understood in mechanistic and structural detail butmuch less is known about events prior to integration that generate DNA for capture by Cas1-Cas2. Naïve adaptation in E. coli is thought to depend on the DNA helicase-nuclease RecBCD for generating DNA fragments for capture by Cas1- Cas2. The genetics presented here show that naïve adaptation does not require RecBCD nuclease activity but that helicase activity may be important. RecA loading by RecBCD inhibits adaptation explaining previously observed adaptation phenotypes that implicated RecBCD nuclease activity. Genetic analysis of other E. coli nucleases and naïve adaptation revealed that 5' ssDNA tailed DNA molecules promote new spacer acquisition. We show that purified E. coli Cas1-Cas2 complex binds to and nicks 5' ssDNA tailed duplexes and propose that E. coli Cas1-Cas2 nuclease activity on such DNA structures supports naïve adaptation

CRISPR-Cas Adaptation in Escherichia coli requires RecBCD helicase but not nuclease activity, is independent of homologous recombination, and is antagonised by 5’ ssDNA exonucleases

Prokaryotic adaptive immunity is established against mobile genetic elements (MGEs) by “naïve adaptation” when DNA fragments from a newly encountered MGE are integrated into CRISPR-Cas systems. In E. coli, DNA integration catalysed by Cas1-Cas2 integrase is well understood in mechanistic and structural detail but much less is known about events prior to integration that generate DNA for capture by Cas1-Cas2. Naïve adaptation in E. coli is thought to depend on the DNA helicase-nuclease RecBCD for generating DNA fragments for capture by Cas1-Cas2. The genetics presented here show that naïve adaptation does not require RecBCD nuclease activity but that helicase activity may be important. RecA loading by RecBCD inhibits adaptation explaining previously observed adaptation phenotypes that implicated RecBCD nuclease activity. Genetic analysis of other E. coli nucleases and naïve adaptation revealed that 5’ ssDNA tailed DNA molecules promote new spacer acquisition. We show that purified E. coli Cas1-Cas2 complex binds to and nicks 5’ ssDNA tailed duplexes and propose that E. coli Cas1-Cas2 nuclease activity on such DNA structures supports naïve adaptation

Cas3 is a limiting factor for CRISPR-Cas immunity in Escherichia coli cells lacking H-NS

Background: CRISPR-Cas systems provide adaptive immunity to mobile genetic elements in prokaryotes. In many bacteria, including E. coli, a specialized ribonucleoprotein complex called Cascade enacts immunity by “an interference reaction" between CRISPR encoded RNA (crRNA) and invader DNA sequences called “protospacers”. Cascade recognizes invader DNA via short “protospacer adjacent motif” (PAM) sequences and crRNA-DNA complementarity. This triggers degradation of invader DNA by Cas3 protein and in some circumstances stimulates capture of new invader DNA protospacers for incorporation into CRISPR as “spacers” by Cas1 and Cas2 proteins, thus enhancing immunity. Co-expression of Cascade, Cas3 and crRNA is effective at giving E. coli cells resistance to phage lysis, if a transcriptional repressor of Cascade and CRISPR, H-NS, is inactivated (Δhns). We present further genetic analyses of the regulation of CRISPR-Cas mediated phage resistance in Δhns E. coli cells. Results: We observed that E. coli Type I-E CRISPR-Cas mediated resistance to phage λ was strongly temperature dependent, when repeating previously published experimental procedures. Further genetic analyses highlighted the importance of culture conditions for controlling the extent of CRISPR immunity in E. coli. These data identified that expression levels of cas3 is an important limiting factor for successful resistance to phage. Significantly, we describe the new identification that cas3 is also under transcriptional control by H-NS but that this is exerted only in stationary phase cells. Conclusions: Regulation of cas3 is responsive to phase of growth, and to growth temperature in E. coli, impacting on the efficacy of CRISPR-Cas immunity in these experimental systems

Cas1–Cas2 physically and functionally interacts with DnaK to modulate CRISPR Adaptation

Prokaryotic Cas1-Cas2 protein complexes generate adaptive immunity to mobile genetic elements (MGEs), by capture and integration of MGE DNA in to CRISPR sites. De novo immunity relies on naive adaptation-Cas1-Cas2 targeting of MGE DNA without the aid of pre-existing immunity 'interference' complexes-by mechanisms that are not clear. Using E. coli we show that the chaperone DnaK inhibits DNA binding and integration by Cas1-Cas2, and inhibits naive adaptation in cells that results from chro-mosomal self-targeting. Inhibition of naive adaptation was reversed by deleting DnaK from cells, by mutation of the DnaK substrate binding domain, and by expression of an MGE (phage) protein. We also imaged fluorescently labelled Cas1 in living cells, observing that Cas1 foci depend on active DNA replica-tion, and are much increased in frequency in cells lacking DnaK. We discuss a model in which DnaK provides a mechanism for restraining naive adaptation from DNA self-targeting, until DnaK is triggered to release Cas1-Cas2 to target MGE DNA

A tryptophan ‘gate’ in the CRISPR-Cas3 nuclease controls ssDNA entry into the nuclease site, that when removed results in nuclease hyperactivity

Cas3 is a ssDNA-targeting nuclease-helicase essential for class 1 prokaryotic CRISPR immunity systems, which has been utilized for genome editing in human cells. Cas3-DNA crystal structures show that ssDNA follows a pathway from helicase domains into a HD-nuclease active site, requiring protein conformational flexibility during DNA translocation. In genetic studies, we had noted that the efficacy of Cas3 in CRISPR immunity was drastically reduced when temperature was increased from 30C to 37C, caused by an unknown mechanism. Here, using E. coli Cas3 proteins, we show that reduced nuclease activity at higher temperature corresponds with measurable changes in protein structure. This effect of temperature on Cas3 was alleviated by changing a single highly conserved tryptophan residue (Trp-406) into an alanine. This Cas3W406A protein is a hyperactive nuclease that functions independently from temperature and from the interference effector module Cascade. Trp-406 is situated at the interface of Cas3 HD and RecA1 domains that is important for maneuvering DNA into the nuclease active site. Molecular dynamics simulations based on the experimental data showed temperature-induced changes in positioning of Trp-406 that either blocked or cleared the ssDNA pathway. We propose that Trp- 406 forms a ‘gate’ for controlling Cas3 nuclease activity via access of ssDNA to the nuclease active site. The effect of temperature in these experiments may indicate allosteric control of Cas3 nuclease activity caused by changes in protein conformations. The hyperactive Cas3W406A protein may offer improved Cas3-based genetic editing in human cells