[{"oa_version":"None","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","language":[{"iso":"eng"}],"month":"04","doi":"10.1107/s174430911200869x","citation":{"ista":"Mandal PK, Venkadesh S, Gautham N. 2012. Structure of the tetradecanucleotide d(CCCCGGTACCGGGG)2 as an A-DNA duplex. Acta Crystallographica Section F Structural Biology Communications. 68(4), 393–399.","ieee":"P. K. Mandal, S. Venkadesh, and N. Gautham, “Structure of the tetradecanucleotide d(CCCCGGTACCGGGG)2 as an A-DNA duplex,” Acta Crystallographica Section F Structural Biology Communications, vol. 68, no. 4. International Union of Crystallography, pp. 393–399, 2012.","ama":"Mandal PK, Venkadesh S, Gautham N. Structure of the tetradecanucleotide d(CCCCGGTACCGGGG)2 as an A-DNA duplex. Acta Crystallographica Section F Structural Biology Communications. 2012;68(4):393-399. doi:10.1107/s174430911200869x","chicago":"Mandal, Pradeep K, Sarkarai Venkadesh, and Namasivayam Gautham. “Structure of the Tetradecanucleotide d(CCCCGGTACCGGGG)2 as an A-DNA Duplex.” Acta Crystallographica Section F Structural Biology Communications. International Union of Crystallography, 2012. https://doi.org/10.1107/s174430911200869x.","short":"P.K. Mandal, S. Venkadesh, N. Gautham, Acta Crystallographica Section F Structural Biology Communications 68 (2012) 393–399.","apa":"Mandal, P. K., Venkadesh, S., & Gautham, N. (2012). Structure of the tetradecanucleotide d(CCCCGGTACCGGGG)2 as an A-DNA duplex. Acta Crystallographica Section F Structural Biology Communications. International Union of Crystallography. https://doi.org/10.1107/s174430911200869x","mla":"Mandal, Pradeep K., et al. “Structure of the Tetradecanucleotide d(CCCCGGTACCGGGG)2 as an A-DNA Duplex.” Acta Crystallographica Section F Structural Biology Communications, vol. 68, no. 4, International Union of Crystallography, 2012, pp. 393–99, doi:10.1107/s174430911200869x."},"abstract":[{"lang":"eng","text":"The crystal structure of the tetradecanucleotide sequence d(CCCCGGTACC­GGGG)2 has been determined at 2.5 Å resolution in the tetragonal space group P41. This sequence was designed with the expectation of a four-way junction. However, the sequence crystallized as an A-DNA duplex and represents more than one full turn of the A-helix. The crystallographic asymmetric unit consists of one tetradecanucleotide duplex. The structural parameters of the A-type DNA duplex structure and the crystal-packing arrangement are described. One Mn2+ ion was identified with direct coordination to the N7 position of G13 and a water molecule at the major-groove side of the C2·G13 base pair."}],"publication_identifier":{"issn":["1744-3091"]},"article_processing_charge":"No","has_accepted_license":"1","publisher":"International Union of Crystallography","_id":"21106","date_updated":"2026-02-23T08:58:07Z","title":"Structure of the tetradecanucleotide d(CCCCGGTACCGGGG)2 as an A-DNA duplex","page":"393-399","day":"01","author":[{"last_name":"Mandal","id":"6a3def15-d4b4-11ef-9fa9-a24c1f545ec3","orcid":"0000-0001-5996-956X","first_name":"Pradeep K","full_name":"Mandal, Pradeep K"},{"first_name":"Sarkarai","full_name":"Venkadesh, Sarkarai","last_name":"Venkadesh"},{"last_name":"Gautham","first_name":"Namasivayam","full_name":"Gautham, Namasivayam"}],"quality_controlled":"1","article_type":"original","OA_type":"closed access","volume":68,"publication":"Acta Crystallographica Section F Structural Biology Communications","publication_status":"published","fulldoi":"https://doi.org/10.1107/s174430911200869x","issue":"4","type":"journal_article","intvolume":" 68","status":"public","year":"2012","extern":"1","date_published":"2012-04-01T00:00:00Z","date_created":"2026-01-29T22:04:31Z"},{"month":"01","language":[{"iso":"eng"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1111/j.1747-0285.2011.01258.x"}],"oa_version":"Published Version","title":"Binding to PLA2 may contribute to the anti‐inflammatory activity of catechol","_id":"21111","publisher":"Wiley","date_updated":"2026-02-20T08:20:52Z","external_id":{"pmid":["21995306"]},"has_accepted_license":"1","article_processing_charge":"No","citation":{"ista":"Dileep KV, Tintu I, Mandal PK, Karthe P, Haridas M, Sadasivan C. 2012. Binding to PLA2 may contribute to the anti‐inflammatory activity of catechol. Chemical Biology & Drug Design. 79(1), 143–147.","ieee":"K. V. Dileep, I. Tintu, P. K. Mandal, P. Karthe, M. Haridas, and C. Sadasivan, “Binding to PLA2 may contribute to the anti‐inflammatory activity of catechol,” Chemical Biology & Drug Design, vol. 79, no. 1. Wiley, pp. 143–147, 2012.","ama":"Dileep KV, Tintu I, Mandal PK, Karthe P, Haridas M, Sadasivan C. Binding to PLA2 may contribute to the anti‐inflammatory activity of catechol. Chemical Biology & Drug Design. 2012;79(1):143-147. doi:10.1111/j.1747-0285.2011.01258.x","chicago":"Dileep, Kalarickal V., Ignatius Tintu, Pradeep K Mandal, Ponnuraj Karthe, Madathilkovilakathu Haridas, and Chittalakkottu Sadasivan. “Binding to PLA2 May Contribute to the Anti‐inflammatory Activity of Catechol.” Chemical Biology & Drug Design. Wiley, 2012. https://doi.org/10.1111/j.1747-0285.2011.01258.x.","short":"K.V. Dileep, I. Tintu, P.K. Mandal, P. Karthe, M. Haridas, C. Sadasivan, Chemical Biology & Drug Design 79 (2012) 143–147.","apa":"Dileep, K. V., Tintu, I., Mandal, P. K., Karthe, P., Haridas, M., & Sadasivan, C. (2012). Binding to PLA2 may contribute to the anti‐inflammatory activity of catechol. Chemical Biology & Drug Design. Wiley. https://doi.org/10.1111/j.1747-0285.2011.01258.x","mla":"Dileep, Kalarickal V., et al. “Binding to PLA2 May Contribute to the Anti‐inflammatory Activity of Catechol.” Chemical Biology & Drug Design, vol. 79, no. 1, Wiley, 2012, pp. 143–47, doi:10.1111/j.1747-0285.2011.01258.x."},"doi":"10.1111/j.1747-0285.2011.01258.x","publication_identifier":{"issn":["1747-0277"],"eissn":["1747-0285"]},"abstract":[{"text":"Inhibiting PLA2 activity should, in theory, be an effective approach to control the inflammation. Several naturally occurring polyphenolic compounds have been reported as inhibitors of PLA2. Among the naturally occurring polyphenols, catechol (1,2-dihydroxybenzene) possesses anti-inflammatory activity. Catechol can inhibit cyclooxygenase and lipo-oxygenase. By means of enzyme kinetic study, it was revealed that catechol can inhibit PLA2 also. Crystal structure showed that catechol binds to PLA2 at the opening of the active site cleft. This might stop the entry of substrate into the active site. Hence, catechol can be used as a lead compound for the development of novel anti-inflammatory drugs with PLA2 as the target.","lang":"eng"}],"volume":79,"OA_type":"free access","article_type":"original","pmid":1,"quality_controlled":"1","author":[{"last_name":"Dileep","first_name":"Kalarickal V.","full_name":"Dileep, Kalarickal V."},{"last_name":"Tintu","first_name":"Ignatius","full_name":"Tintu, Ignatius"},{"full_name":"Mandal, Pradeep K","first_name":"Pradeep K","orcid":"0000-0001-5996-956X","id":"6a3def15-d4b4-11ef-9fa9-a24c1f545ec3","last_name":"Mandal"},{"last_name":"Karthe","first_name":"Ponnuraj","full_name":"Karthe, Ponnuraj"},{"first_name":"Madathilkovilakathu","full_name":"Haridas, Madathilkovilakathu","last_name":"Haridas"},{"full_name":"Sadasivan, Chittalakkottu","first_name":"Chittalakkottu","last_name":"Sadasivan"}],"day":"01","OA_place":"publisher","page":"143-147","date_created":"2026-01-29T22:12:53Z","oa":1,"date_published":"2012-01-01T00:00:00Z","intvolume":" 79","extern":"1","year":"2012","status":"public","issue":"1","type":"journal_article","publication_status":"published","fulldoi":"https://doi.org/10.1111/j.1747-0285.2011.01258.x","publication":"Chemical Biology & Drug Design"},{"publication_identifier":{"eissn":["1747-0285"],"issn":["1747-0277"]},"abstract":[{"lang":"eng","text":"Ester bond hydrolysis of membrane phospholipids by Phospholipase A2 and consequent release of fatty acids are the initiating steps of inflammation. It is proposed in this study that the inhibition of phospholipase A2 is one of the ways to control inflammation. Investigations are carried out to identify the mode of inhibition of phospholipase A2 by the n‐hexadecanoic acid. It may help in designing of specific inhibitors of phospholipase A2 as anti‐inflammatory agents. The enzyme kinetics study proved that n‐hexadecanoic acid inhibits phospholipase A2 in a competitive manner. It was identified from the crystal structure at 2.5Å resolution that the position of n‐hexadecanoic acid is in the active site of the phospholipase A2. The binding constant and binding energy have also been calculated using Isothermal Titration Calorimetry. Also, the binding energy of n‐hexadecanoic acid to phospholipase A2 was calculated by in silico method and compared with known inhibitors. It may be concluded from the structural and kinetics studies that the fatty acid, n‐hexadecanoic acid, is an inhibitor of phospholipase A2, hence, an anti‐inflammatory compound. The inferences from the present study validate the rigorous use of medicated oils rich in n‐hexadecanoic acid for the treatment of rheumatic symptoms in the traditional medical system of India, Ayurveda."}],"citation":{"ista":"Aparna V, Dileep KV, Mandal PK, Karthe P, Sadasivan C, Haridas M. 2012. Anti-inflammatory property of n-hexadecanoic acid: Structural evidence and kinetic assessment. Chemical Biology & Drug Design. 80(3), 434–439.","ieee":"V. Aparna, K. V. Dileep, P. K. Mandal, P. Karthe, C. Sadasivan, and M. Haridas, “Anti-inflammatory property of n-hexadecanoic acid: Structural evidence and kinetic assessment,” Chemical Biology & Drug Design, vol. 80, no. 3. Wiley, pp. 434–439, 2012.","ama":"Aparna V, Dileep KV, Mandal PK, Karthe P, Sadasivan C, Haridas M. Anti-inflammatory property of n-hexadecanoic acid: Structural evidence and kinetic assessment. Chemical Biology & Drug Design. 2012;80(3):434-439. doi:10.1111/j.1747-0285.2012.01418.x","short":"V. Aparna, K.V. Dileep, P.K. Mandal, P. Karthe, C. Sadasivan, M. Haridas, Chemical Biology & Drug Design 80 (2012) 434–439.","chicago":"Aparna, Vasudevan, Kalarickal V. Dileep, Pradeep K Mandal, Ponnuraj Karthe, Chittalakkottu Sadasivan, and Madathilkovilakathu Haridas. “Anti-Inflammatory Property of n-Hexadecanoic Acid: Structural Evidence and Kinetic Assessment.” Chemical Biology & Drug Design. Wiley, 2012. https://doi.org/10.1111/j.1747-0285.2012.01418.x.","apa":"Aparna, V., Dileep, K. V., Mandal, P. K., Karthe, P., Sadasivan, C., & Haridas, M. (2012). Anti-inflammatory property of n-hexadecanoic acid: Structural evidence and kinetic assessment. Chemical Biology & Drug Design. Wiley. https://doi.org/10.1111/j.1747-0285.2012.01418.x","mla":"Aparna, Vasudevan, et al. “Anti-Inflammatory Property of n-Hexadecanoic Acid: Structural Evidence and Kinetic Assessment.” Chemical Biology & Drug Design, vol. 80, no. 3, Wiley, 2012, pp. 434–39, doi:10.1111/j.1747-0285.2012.01418.x."},"doi":"10.1111/j.1747-0285.2012.01418.x","article_processing_charge":"No","has_accepted_license":"1","external_id":{"pmid":["22642495"]},"date_updated":"2026-02-20T08:23:29Z","_id":"21112","publisher":"Wiley","title":"Anti-inflammatory property of n-hexadecanoic acid: Structural evidence and kinetic assessment","oa_version":"Published Version","main_file_link":[{"url":"https://doi.org/10.1111/j.1747-0285.2012.01418.x","open_access":"1"}],"language":[{"iso":"eng"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"09","publication":"Chemical Biology & Drug Design","fulldoi":"https://doi.org/10.1111/j.1747-0285.2012.01418.x","publication_status":"published","type":"journal_article","issue":"3","status":"public","extern":"1","year":"2012","intvolume":" 80","date_published":"2012-09-01T00:00:00Z","oa":1,"date_created":"2026-01-29T22:14:04Z","page":"434-439","day":"01","author":[{"last_name":"Aparna","first_name":"Vasudevan","full_name":"Aparna, Vasudevan"},{"last_name":"Dileep","first_name":"Kalarickal V.","full_name":"Dileep, Kalarickal V."},{"orcid":"0000-0001-5996-956X","last_name":"Mandal","id":"6a3def15-d4b4-11ef-9fa9-a24c1f545ec3","full_name":"Mandal, Pradeep K","first_name":"Pradeep K"},{"last_name":"Karthe","first_name":"Ponnuraj","full_name":"Karthe, Ponnuraj"},{"full_name":"Sadasivan, Chittalakkottu","first_name":"Chittalakkottu","last_name":"Sadasivan"},{"first_name":"Madathilkovilakathu","full_name":"Haridas, Madathilkovilakathu","last_name":"Haridas"}],"quality_controlled":"1","pmid":1,"article_type":"original","OA_type":"free access","volume":80},{"date_created":"2026-02-06T12:10:42Z","date_published":"2012-03-01T00:00:00Z","status":"public","extern":"1","year":"2012","intvolume":" 31","type":"journal_article","issue":"3","fulldoi":"https://doi.org/10.1080/15257770.2011.648363","publication_status":"published","publication":"Nucleosides, Nucleotides and Nucleic Acids","volume":31,"pmid":1,"OA_type":"closed access","article_type":"original","quality_controlled":"1","author":[{"last_name":"Venkadesh","first_name":"S.","full_name":"Venkadesh, S."},{"first_name":"Pradeep K","full_name":"Mandal, Pradeep K","orcid":"0000-0001-5996-956X","last_name":"Mandal","id":"6a3def15-d4b4-11ef-9fa9-a24c1f545ec3"},{"last_name":"Gautham","first_name":"N.","full_name":"Gautham, N."}],"day":"01","page":"184-196","title":"Crystallographic and spectroscopic studies of d(CCGGTACCGG)","date_updated":"2026-02-20T08:17:42Z","publisher":"Informa UK Limited","_id":"21151","external_id":{"pmid":["22356234"]},"has_accepted_license":"1","article_processing_charge":"No","publication_identifier":{"issn":["1525-7770"],"eissn":["1532-2335"]},"abstract":[{"text":"The decanucleotide sequence d(CCGGTACCGG) crystallizes as a four-way junction at low cobalt ion concentrations (i.e., 1 mM). When the cobalt concentration in the crystallization solution is increased to 5 mM, the sequence crystallizes as resolved B-DNA duplexes. Gel retardation studies of the decamer show both a faint slow-moving band and a much thicker fast-moving band at low cobalt ion concentrations, and only the intense fast-moving band at higher ion concentration. Circular dichroism (CD) spectroscopy of the decamer indicates a structural transition as the cobalt ion concentration in the solution is increased, probably from B-type to A-type DNA. These studies revealed that the oligomer sequence has several conformations and structures accessible to it, in a manner dependent on sequence, ion concentration, and DNA concentration.","lang":"eng"}],"doi":"10.1080/15257770.2011.648363","citation":{"ieee":"S. Venkadesh, P. K. Mandal, and N. Gautham, “Crystallographic and spectroscopic studies of d(CCGGTACCGG),” Nucleosides, Nucleotides and Nucleic Acids, vol. 31, no. 3. Informa UK Limited, pp. 184–196, 2012.","ista":"Venkadesh S, Mandal PK, Gautham N. 2012. Crystallographic and spectroscopic studies of d(CCGGTACCGG). Nucleosides, Nucleotides and Nucleic Acids. 31(3), 184–196.","chicago":"Venkadesh, S., Pradeep K Mandal, and N. Gautham. “Crystallographic and Spectroscopic Studies of d(CCGGTACCGG).” Nucleosides, Nucleotides and Nucleic Acids. Informa UK Limited, 2012. https://doi.org/10.1080/15257770.2011.648363.","short":"S. Venkadesh, P.K. Mandal, N. Gautham, Nucleosides, Nucleotides and Nucleic Acids 31 (2012) 184–196.","ama":"Venkadesh S, Mandal PK, Gautham N. Crystallographic and spectroscopic studies of d(CCGGTACCGG). Nucleosides, Nucleotides and Nucleic Acids. 2012;31(3):184-196. doi:10.1080/15257770.2011.648363","mla":"Venkadesh, S., et al. “Crystallographic and Spectroscopic Studies of d(CCGGTACCGG).” Nucleosides, Nucleotides and Nucleic Acids, vol. 31, no. 3, Informa UK Limited, 2012, pp. 184–96, doi:10.1080/15257770.2011.648363.","apa":"Venkadesh, S., Mandal, P. K., & Gautham, N. (2012). Crystallographic and spectroscopic studies of d(CCGGTACCGG). Nucleosides, Nucleotides and Nucleic Acids. Informa UK Limited. https://doi.org/10.1080/15257770.2011.648363"},"language":[{"iso":"eng"}],"month":"03","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa_version":"None"},{"publication":"Frontiers in Life Science","publication_status":"published","fulldoi":"https://doi.org/10.1080/21553769.2012.689262","date_published":"2012-08-06T00:00:00Z","date_created":"2026-02-06T12:17:45Z","issue":"3-4","type":"journal_article","intvolume":" 5","year":"2012","status":"public","extern":"1","day":"06","author":[{"last_name":"Dileep","first_name":"K. V.","full_name":"Dileep, K. V."},{"last_name":"Tintu","first_name":"I.","full_name":"Tintu, I."},{"first_name":"Pradeep K","full_name":"Mandal, Pradeep K","orcid":"0000-0001-5996-956X","id":"6a3def15-d4b4-11ef-9fa9-a24c1f545ec3","last_name":"Mandal"},{"last_name":"Karthe","first_name":"P.","full_name":"Karthe, P."},{"full_name":"Haridas, M.","first_name":"M.","last_name":"Haridas"},{"first_name":"C.","full_name":"Sadasivan, C.","last_name":"Sadasivan"}],"page":"135-139","volume":5,"quality_controlled":"1","article_type":"original","OA_type":"closed access","has_accepted_license":"1","citation":{"apa":"Dileep, K. V., Tintu, I., Mandal, P. K., Karthe, P., Haridas, M., & Sadasivan, C. (2012). Crystal structure of porcine pancreatic phospholipase A2 in complex with 2-methoxycyclohexa-2-5-diene-1,4-dione. Frontiers in Life Science. Informa UK Limited. https://doi.org/10.1080/21553769.2012.689262","mla":"Dileep, K. V., et al. “Crystal Structure of Porcine Pancreatic Phospholipase A2 in Complex with 2-Methoxycyclohexa-2-5-Diene-1,4-Dione.” Frontiers in Life Science, vol. 5, no. 3–4, Informa UK Limited, 2012, pp. 135–39, doi:10.1080/21553769.2012.689262.","ista":"Dileep KV, Tintu I, Mandal PK, Karthe P, Haridas M, Sadasivan C. 2012. Crystal structure of porcine pancreatic phospholipase A2 in complex with 2-methoxycyclohexa-2-5-diene-1,4-dione. Frontiers in Life Science. 5(3–4), 135–139.","ieee":"K. V. Dileep, I. Tintu, P. K. Mandal, P. Karthe, M. Haridas, and C. Sadasivan, “Crystal structure of porcine pancreatic phospholipase A2 in complex with 2-methoxycyclohexa-2-5-diene-1,4-dione,” Frontiers in Life Science, vol. 5, no. 3–4. Informa UK Limited, pp. 135–139, 2012.","ama":"Dileep KV, Tintu I, Mandal PK, Karthe P, Haridas M, Sadasivan C. Crystal structure of porcine pancreatic phospholipase A2 in complex with 2-methoxycyclohexa-2-5-diene-1,4-dione. Frontiers in Life Science. 2012;5(3-4):135-139. doi:10.1080/21553769.2012.689262","short":"K.V. Dileep, I. Tintu, P.K. Mandal, P. Karthe, M. Haridas, C. Sadasivan, Frontiers in Life Science 5 (2012) 135–139.","chicago":"Dileep, K. V., I. Tintu, Pradeep K Mandal, P. Karthe, M. Haridas, and C. Sadasivan. “Crystal Structure of Porcine Pancreatic Phospholipase A2 in Complex with 2-Methoxycyclohexa-2-5-Diene-1,4-Dione.” Frontiers in Life Science. Informa UK Limited, 2012. https://doi.org/10.1080/21553769.2012.689262."},"doi":"10.1080/21553769.2012.689262","publication_identifier":{"issn":["2155-3769","2155-3777"]},"abstract":[{"lang":"eng","text":"Curcumin possess anti-inflammatory activity. In this study, the binding of curcumin with PLA2 was studied using X-ray crystallography. Since the electron density found at the active site did not match with curcumin, 2-methoxycyclohexa-2-5-diene-1,4-dione (MCW) (the photodegraded product of curcumin) was fitted in the unexplained electron density. To understand the binding mode of actual curcumin, molecular docking study was carried out. The crystallographic and docked structures were superimposed with respect to the ligand position and it was found that curcumin was binding in the hydrophobic cavity of PLA2 with a binding energy of−16.81 Kcal/mol. The binding mode was of such a nature that it prevented the entry of the substrate to the hydrophobic active site. This study indicates that curcumin can act as an inhibitor of PLA2.\r\n\r\nAn animated Interactive 3D Complement (I3DC) is available in Proteopedia at http://proteopedia.org/w/Journal:FLS:1."}],"article_processing_charge":"No","title":"Crystal structure of porcine pancreatic phospholipase A2 in complex with 2-methoxycyclohexa-2-5-diene-1,4-dione","_id":"21153","publisher":"Informa UK Limited","date_updated":"2026-02-20T08:07:19Z","language":[{"iso":"eng"}],"month":"08","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa_version":"None"},{"has_accepted_license":"1","article_processing_charge":"No","publication_identifier":{"issn":["1744-3091"]},"abstract":[{"lang":"eng","text":"The crystal structure of the decamer sequence d(CCGGGACCGG)4 has previously been reported at 2.16 Å resolution as a four-way junction. Here, the structure of this sequence is reported at the significantly higher resolution of 1.6 Å, which is the highest resolution reported for a four-way junction. This allowed the unambiguous identification of an extensive hydration network with distinct patterns and solvent-mediated interactions that shed new light on the role of water in the formation and stabilization of junction structures."}],"doi":"10.1107/s1744309112034926","citation":{"mla":"Chakraborty, Arka, et al. “Structure of d(CCGGGACCGG)4 as a Four-Way Junction at 1.6 Å Resolution: New Insights into Solvent Interactions.” Acta Crystallographica Section F Structural Biology Communications, vol. 68, no. 10, International Union of Crystallography, 2012, pp. 1169–74, doi:10.1107/s1744309112034926.","apa":"Chakraborty, A., Mandal, P. K., & Gautham, N. (2012). Structure of d(CCGGGACCGG)4 as a four-way junction at 1.6 Å resolution: New insights into solvent interactions. Acta Crystallographica Section F Structural Biology Communications. International Union of Crystallography. https://doi.org/10.1107/s1744309112034926","ieee":"A. Chakraborty, P. K. Mandal, and N. Gautham, “Structure of d(CCGGGACCGG)4 as a four-way junction at 1.6 Å resolution: New insights into solvent interactions,” Acta Crystallographica Section F Structural Biology Communications, vol. 68, no. 10. International Union of Crystallography, pp. 1169–1174, 2012.","ista":"Chakraborty A, Mandal PK, Gautham N. 2012. Structure of d(CCGGGACCGG)4 as a four-way junction at 1.6 Å resolution: New insights into solvent interactions. Acta Crystallographica Section F Structural Biology Communications. 68(10), 1169–1174.","short":"A. Chakraborty, P.K. Mandal, N. Gautham, Acta Crystallographica Section F Structural Biology Communications 68 (2012) 1169–1174.","chicago":"Chakraborty, Arka, Pradeep K Mandal, and Namasivayam Gautham. “Structure of d(CCGGGACCGG)4 as a Four-Way Junction at 1.6 Å Resolution: New Insights into Solvent Interactions.” Acta Crystallographica Section F Structural Biology Communications. International Union of Crystallography, 2012. https://doi.org/10.1107/s1744309112034926.","ama":"Chakraborty A, Mandal PK, Gautham N. Structure of d(CCGGGACCGG)4 as a four-way junction at 1.6 Å resolution: New insights into solvent interactions. Acta Crystallographica Section F Structural Biology Communications. 2012;68(10):1169-1174. doi:10.1107/s1744309112034926"},"title":"Structure of d(CCGGGACCGG)4 as a four-way junction at 1.6 Å resolution: New insights into solvent interactions","date_updated":"2026-02-23T08:21:09Z","_id":"21154","publisher":"International Union of Crystallography","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","language":[{"iso":"eng"}],"month":"10","oa_version":"None","fulldoi":"https://doi.org/10.1107/s1744309112034926","publication_status":"published","publication":"Acta Crystallographica Section F Structural Biology Communications","date_created":"2026-02-06T12:19:40Z","date_published":"2012-10-01T00:00:00Z","year":"2012","status":"public","extern":"1","intvolume":" 68","type":"journal_article","issue":"10","author":[{"last_name":"Chakraborty","full_name":"Chakraborty, Arka","first_name":"Arka"},{"first_name":"Pradeep K","full_name":"Mandal, Pradeep K","id":"6a3def15-d4b4-11ef-9fa9-a24c1f545ec3","last_name":"Mandal","orcid":"0000-0001-5996-956X"},{"full_name":"Gautham, Namasivayam","first_name":"Namasivayam","last_name":"Gautham"}],"day":"01","page":"1169-1174","volume":68,"article_type":"original","OA_type":"closed access"},{"quality_controlled":0,"volume":40,"page":"1675 - 1714","main_file_link":[{"url":"http://arxiv.org/abs/1011.0966","open_access":"1"}],"day":"01","author":[{"last_name":"Hairer","first_name":"Martin","full_name":"Hairer, Martin M"},{"orcid":"0000-0002-0845-1338","id":"4C5696CE-F248-11E8-B48F-1D18A9856A87","last_name":"Maas","full_name":"Jan Maas","first_name":"Jan"}],"month":"07","issue":"4","acknowledgement":"Supported by Rubicon Grant 680-50-0901 of the Netherlands Organisation for Scientific Research (NWO). Supported by the EPSRC Grants EP/E002269/1 and EP/D071593/1, a Wolfson Research Merit Award of the Royal Society and a Philip Leverhulme prize of the Lev","type":"journal_article","_id":"2125","publisher":"Institute of Mathematical Statistics","intvolume":" 40","date_updated":"2021-01-12T06:55:27Z","extern":1,"status":"public","year":"2012","oa":1,"title":"A spatial version of the Itô-Stratonovich correction","date_published":"2012-07-01T00:00:00Z","date_created":"2018-12-11T11:55:51Z","publication":"Annals of Probability","citation":{"ama":"Hairer M, Maas J. A spatial version of the Itô-Stratonovich correction. Annals of Probability. 2012;40(4):1675-1714. doi:10.1214/11-AOP662","short":"M. Hairer, J. Maas, Annals of Probability 40 (2012) 1675–1714.","chicago":"Hairer, Martin, and Jan Maas. “A Spatial Version of the Itô-Stratonovich Correction.” Annals of Probability. Institute of Mathematical Statistics, 2012. https://doi.org/10.1214/11-AOP662.","ista":"Hairer M, Maas J. 2012. A spatial version of the Itô-Stratonovich correction. Annals of Probability. 40(4), 1675–1714.","ieee":"M. Hairer and J. Maas, “A spatial version of the Itô-Stratonovich correction,” Annals of Probability, vol. 40, no. 4. Institute of Mathematical Statistics, pp. 1675–1714, 2012.","apa":"Hairer, M., & Maas, J. (2012). A spatial version of the Itô-Stratonovich correction. Annals of Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/11-AOP662","mla":"Hairer, Martin, and Jan Maas. “A Spatial Version of the Itô-Stratonovich Correction.” Annals of Probability, vol. 40, no. 4, Institute of Mathematical Statistics, 2012, pp. 1675–714, doi:10.1214/11-AOP662."},"doi":"10.1214/11-AOP662","abstract":[{"lang":"eng","text":"We consider a class of stochastic PDEs of Burgers type in spatial dimension 1, driven by space–time white noise. Even though it is well known that these equations are well posed, it turns out that if one performs a spatial discretization of the nonlinearity in the “wrong” way, then the sequence of approximate equations does converge to a limit, but this limit exhibits an additional correction term. This correction term is proportional to the local quadratic cross-variation (in space) of the gradient of the conserved quantity with the solution itself. This can be understood as a consequence of the fact that for any fixed time, the law of the solution is locally equivalent to Wiener measure, where space plays the role of time. In this sense, the correction term is similar to the usual Itô–Stratonovich correction term that arises when one considers different temporal discretizations of stochastic ODEs."}],"publication_status":"published","fulldoi":"https://doi.org/10.1214/11-AOP662","publist_id":"4908"},{"month":"12","author":[{"full_name":"Erbar, Matthias","first_name":"Matthias","last_name":"Erbar"},{"id":"4C5696CE-F248-11E8-B48F-1D18A9856A87","last_name":"Maas","orcid":"0000-0002-0845-1338","first_name":"Jan","full_name":"Jan Maas"}],"day":"01","main_file_link":[{"url":"http://arxiv.org/abs/1111.2687","open_access":"1"}],"page":"997 - 1038","volume":206,"quality_controlled":0,"publist_id":"4906","fulldoi":"https://doi.org/10.1007/s00205-012-0554-z","publication_status":"published","abstract":[{"lang":"eng","text":"We study a new notion of Ricci curvature that applies to Markov chains on discrete spaces. This notion relies on geodesic convexity of the entropy and is analogous to the one introduced by Lott, Sturm, and Villani for geodesic measure spaces. In order to apply to the discrete setting, the role of the Wasserstein metric is taken over by a different metric, having the property that continuous time Markov chains are gradient flows of the entropy. Using this notion of Ricci curvature we prove discrete analogues of fundamental results by Bakry–Émery and Otto–Villani. Further, we show that Ricci curvature bounds are preserved under tensorisation. As a special case we obtain the sharp Ricci curvature lower bound for the discrete hypercube."}],"citation":{"ieee":"M. Erbar and J. Maas, “Ricci curvature of finite Markov chains via convexity of the entropy,” Archive for Rational Mechanics and Analysis, vol. 206, no. 3. Springer, pp. 997–1038, 2012.","ista":"Erbar M, Maas J. 2012. Ricci curvature of finite Markov chains via convexity of the entropy. Archive for Rational Mechanics and Analysis. 206(3), 997–1038.","chicago":"Erbar, Matthias, and Jan Maas. “Ricci Curvature of Finite Markov Chains via Convexity of the Entropy.” Archive for Rational Mechanics and Analysis. Springer, 2012. https://doi.org/10.1007/s00205-012-0554-z.","short":"M. Erbar, J. Maas, Archive for Rational Mechanics and Analysis 206 (2012) 997–1038.","ama":"Erbar M, Maas J. Ricci curvature of finite Markov chains via convexity of the entropy. Archive for Rational Mechanics and Analysis. 2012;206(3):997-1038. doi:10.1007/s00205-012-0554-z","mla":"Erbar, Matthias, and Jan Maas. “Ricci Curvature of Finite Markov Chains via Convexity of the Entropy.” Archive for Rational Mechanics and Analysis, vol. 206, no. 3, Springer, 2012, pp. 997–1038, doi:10.1007/s00205-012-0554-z.","apa":"Erbar, M., & Maas, J. (2012). Ricci curvature of finite Markov chains via convexity of the entropy. Archive for Rational Mechanics and Analysis. Springer. https://doi.org/10.1007/s00205-012-0554-z"},"publication":"Archive for Rational Mechanics and Analysis","doi":"10.1007/s00205-012-0554-z","date_created":"2018-12-11T11:55:52Z","date_published":"2012-12-01T00:00:00Z","title":"Ricci curvature of finite Markov chains via convexity of the entropy","oa":1,"status":"public","year":"2012","extern":1,"date_updated":"2021-01-12T06:55:28Z","_id":"2127","intvolume":" 206","publisher":"Springer","type":"journal_article","acknowledgement":"Jan Maas is supported by Rubicon subsidy 680-50-0901 of the Netherlands Organisation for Scientific Research (NWO).","issue":"3"},{"volume":50,"quality_controlled":0,"day":"01","month":"10","author":[{"full_name":"Jan Maas","first_name":"Jan","last_name":"Maas","id":"4C5696CE-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-0845-1338"},{"last_name":"Van Neerven","first_name":"Jan","full_name":"van Neerven, Jan M"},{"last_name":"Portal","full_name":"Portal, Pierre","first_name":"Pierre"}],"page":"379 - 395","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1002.4911"}],"date_published":"2012-10-01T00:00:00Z","title":"Whitney coverings and the tent spaces T 1,q (γ) for the Gaussian measure","oa":1,"date_created":"2018-12-11T11:55:52Z","type":"journal_article","acknowledgement":"J. Maas was supported by Rubicon subsidy 680-50-0901 of the Netherlands Organisation for Scientific Research (NWO). J. van Neerven was supported by VICI subsidy 639.033.604 of the Netherlands Organisation for Scientific Research (NWO).","issue":"2","extern":1,"status":"public","date_updated":"2021-01-12T06:55:28Z","year":"2012","_id":"2128","publisher":"Springer","intvolume":" 50","publist_id":"4907","abstract":[{"lang":"eng","text":"We introduce a technique for handling Whitney decompositions in Gaussian harmonic analysis and apply it to the study of Gaussian analogues of the classical tent spaces T 1,q of Coifman–Meyer–Stein."}],"citation":{"ama":"Maas J, Van Neerven J, Portal P. Whitney coverings and the tent spaces T 1,q (γ) for the Gaussian measure. Arkiv för Matematik. 2012;50(2):379-395. doi:10.1007/s11512-010-0143-z","chicago":"Maas, Jan, Jan Van Neerven, and Pierre Portal. “Whitney Coverings and the Tent Spaces T 1,q (γ) for the Gaussian Measure.” Arkiv För Matematik. Springer, 2012. https://doi.org/10.1007/s11512-010-0143-z.","short":"J. Maas, J. Van Neerven, P. Portal, Arkiv För Matematik 50 (2012) 379–395.","ista":"Maas J, Van Neerven J, Portal P. 2012. Whitney coverings and the tent spaces T 1,q (γ) for the Gaussian measure. Arkiv för Matematik. 50(2), 379–395.","ieee":"J. Maas, J. Van Neerven, and P. Portal, “Whitney coverings and the tent spaces T 1,q (γ) for the Gaussian measure,” Arkiv för Matematik, vol. 50, no. 2. Springer, pp. 379–395, 2012.","apa":"Maas, J., Van Neerven, J., & Portal, P. (2012). Whitney coverings and the tent spaces T 1,q (γ) for the Gaussian measure. Arkiv För Matematik. Springer. https://doi.org/10.1007/s11512-010-0143-z","mla":"Maas, Jan, et al. “Whitney Coverings and the Tent Spaces T 1,q (γ) for the Gaussian Measure.” Arkiv För Matematik, vol. 50, no. 2, Springer, 2012, pp. 379–95, doi:10.1007/s11512-010-0143-z."},"publication":"Arkiv för Matematik","doi":"10.1007/s11512-010-0143-z","fulldoi":"https://doi.org/10.1007/s11512-010-0143-z","publication_status":"published"},{"pmid":1,"article_type":"original","quality_controlled":"1","volume":134,"page":"19564-19567","author":[{"full_name":"Chovnik, Olga","first_name":"Olga","last_name":"Chovnik"},{"full_name":"Balgley, Renata","first_name":"Renata","last_name":"Balgley"},{"first_name":"Joel R.","full_name":"Goldman, Joel R.","last_name":"Goldman"},{"first_name":"Rafal","full_name":"Klajn, Rafal","id":"8e84690e-1e48-11ed-a02b-a1e6fb8bb53b","last_name":"Klajn"}],"day":"26","extern":"1","status":"public","year":"2012","intvolume":" 134","type":"journal_article","issue":"48","date_created":"2023-08-01T09:47:42Z","date_published":"2012-11-26T00:00:00Z","fulldoi":"https://doi.org/10.1021/ja309633v","publication_status":"published","publication":"Journal of the American Chemical Society","oa_version":"Published Version","month":"11","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","language":[{"iso":"eng"}],"scopus_import":"1","date_updated":"2024-10-14T12:21:27Z","publisher":"American Chemical Society","_id":"13407","external_id":{"pmid":["23181449"]},"title":"Dynamically self-assembling carriers enable guiding of diamagnetic particles by weak magnets","article_processing_charge":"No","abstract":[{"text":"We show that diamagnetic particles can be remotely manipulated by a magnet by the reversible adsorption of dual-responsive, light-switchable/superparamagnetic nanoparticles down to their surface. Adsorption occurs upon exposure to UV light, and can be reversed thermally or by ambient light. The dynamic self-assembly of thin films of the dual-responsive nanoparticles induces attractive interactions between diamagnetic particles. We demonstrate that catalytic amounts of the dual-responsive nanoparticles are sufficient to magnetically guide and deliver the diamagnetic particles to desired locations, where they can then be released by disassembling the dynamic layers of superparamagnetic nanoparticles with visible light.","lang":"eng"}],"publication_identifier":{"issn":["0002-7863"],"eissn":["1520-5126"]},"citation":{"apa":"Chovnik, O., Balgley, R., Goldman, J. R., & Klajn, R. (2012). Dynamically self-assembling carriers enable guiding of diamagnetic particles by weak magnets. Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/ja309633v","mla":"Chovnik, Olga, et al. “Dynamically Self-Assembling Carriers Enable Guiding of Diamagnetic Particles by Weak Magnets.” Journal of the American Chemical Society, vol. 134, no. 48, American Chemical Society, 2012, pp. 19564–67, doi:10.1021/ja309633v.","ama":"Chovnik O, Balgley R, Goldman JR, Klajn R. Dynamically self-assembling carriers enable guiding of diamagnetic particles by weak magnets. Journal of the American Chemical Society. 2012;134(48):19564-19567. doi:10.1021/ja309633v","short":"O. Chovnik, R. Balgley, J.R. Goldman, R. Klajn, Journal of the American Chemical Society 134 (2012) 19564–19567.","chicago":"Chovnik, Olga, Renata Balgley, Joel R. Goldman, and Rafal Klajn. “Dynamically Self-Assembling Carriers Enable Guiding of Diamagnetic Particles by Weak Magnets.” Journal of the American Chemical Society. American Chemical Society, 2012. https://doi.org/10.1021/ja309633v.","ista":"Chovnik O, Balgley R, Goldman JR, Klajn R. 2012. Dynamically self-assembling carriers enable guiding of diamagnetic particles by weak magnets. Journal of the American Chemical Society. 134(48), 19564–19567.","ieee":"O. Chovnik, R. Balgley, J. R. Goldman, and R. Klajn, “Dynamically self-assembling carriers enable guiding of diamagnetic particles by weak magnets,” Journal of the American Chemical Society, vol. 134, no. 48. American Chemical Society, pp. 19564–19567, 2012."},"doi":"10.1021/ja309633v","keyword":["Colloid and Surface Chemistry","Biochemistry","General Chemistry","Catalysis"]},{"author":[{"full_name":"Ridelman, Yonatan","first_name":"Yonatan","last_name":"Ridelman"},{"first_name":"Gurvinder","full_name":"Singh, Gurvinder","last_name":"Singh"},{"last_name":"Popovitz-Biro","first_name":"Ronit","full_name":"Popovitz-Biro, Ronit"},{"last_name":"Wolf","first_name":"Sharon G.","full_name":"Wolf, Sharon G."},{"first_name":"Sanjib","full_name":"Das, Sanjib","last_name":"Das"},{"first_name":"Rafal","full_name":"Klajn, Rafal","id":"8e84690e-1e48-11ed-a02b-a1e6fb8bb53b","last_name":"Klajn"}],"day":"12","page":"654-660","volume":8,"pmid":1,"article_type":"original","quality_controlled":"1","fulldoi":"https://doi.org/10.1002/smll.201101882","publication_status":"published","publication":"Small","date_created":"2023-08-01T09:47:55Z","date_published":"2012-03-12T00:00:00Z","status":"public","extern":"1","year":"2012","intvolume":" 8","type":"journal_article","issue":"5","month":"03","language":[{"iso":"eng"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","scopus_import":"1","oa_version":"None","keyword":["Biomaterials","Biotechnology","General Materials Science","General Chemistry"],"article_processing_charge":"No","publication_identifier":{"eissn":["1613-6829"],"issn":["1613-6810"]},"abstract":[{"lang":"eng","text":"Well-defined metallic nanobowls can be prepared by extending the concept of a protecting group to colloidal synthesis. Magnetic nanoparticles are employed as “protecting groups” during the galvanic replacement of silver with gold. The replacement reaction is accompanied by spontantous dissociation of the protecting groups, leaving behind metallic nanobowls."}],"doi":"10.1002/smll.201101882","citation":{"mla":"Ridelman, Yonatan, et al. “Metallic Nanobowls by Galvanic Replacement Reaction on Heterodimeric Nanoparticles.” Small, vol. 8, no. 5, Wiley, 2012, pp. 654–60, doi:10.1002/smll.201101882.","apa":"Ridelman, Y., Singh, G., Popovitz-Biro, R., Wolf, S. G., Das, S., & Klajn, R. (2012). Metallic nanobowls by galvanic replacement reaction on heterodimeric nanoparticles. Small. Wiley. https://doi.org/10.1002/smll.201101882","ieee":"Y. Ridelman, G. Singh, R. Popovitz-Biro, S. G. Wolf, S. Das, and R. Klajn, “Metallic nanobowls by galvanic replacement reaction on heterodimeric nanoparticles,” Small, vol. 8, no. 5. Wiley, pp. 654–660, 2012.","ista":"Ridelman Y, Singh G, Popovitz-Biro R, Wolf SG, Das S, Klajn R. 2012. Metallic nanobowls by galvanic replacement reaction on heterodimeric nanoparticles. Small. 8(5), 654–660.","chicago":"Ridelman, Yonatan, Gurvinder Singh, Ronit Popovitz-Biro, Sharon G. Wolf, Sanjib Das, and Rafal Klajn. “Metallic Nanobowls by Galvanic Replacement Reaction on Heterodimeric Nanoparticles.” Small. Wiley, 2012. https://doi.org/10.1002/smll.201101882.","short":"Y. Ridelman, G. Singh, R. Popovitz-Biro, S.G. Wolf, S. Das, R. Klajn, Small 8 (2012) 654–660.","ama":"Ridelman Y, Singh G, Popovitz-Biro R, Wolf SG, Das S, Klajn R. Metallic nanobowls by galvanic replacement reaction on heterodimeric nanoparticles. Small. 2012;8(5):654-660. doi:10.1002/smll.201101882"},"title":"Metallic nanobowls by galvanic replacement reaction on heterodimeric nanoparticles","date_updated":"2024-10-14T12:21:38Z","publisher":"Wiley","_id":"13408","external_id":{"pmid":["22392681"]}},{"publication":"Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering","publication_status":"published","arxiv":1,"fulldoi":"https://doi.org/10.1145/2393596.2393664","publist_id":"5826","conference":{"location":"Cary, NC, USA","name":"FSE: Foundations of Software Engineering","end_date":"2012-11-16","start_date":"2012-11-11"},"type":"conference","year":"2012","status":"public","oa":1,"date_published":"2012-11-01T00:00:00Z","date_created":"2018-12-11T11:51:42Z","ec_funded":1,"day":"01","author":[{"last_name":"Beyer","first_name":"Dirk","full_name":"Beyer, Dirk"},{"orcid":"0000−0002−2985−7724","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A","first_name":"Thomas A"},{"first_name":"Mehmet","full_name":"Keremoglu, Mehmet","last_name":"Keremoglu"},{"last_name":"Wendler","full_name":"Wendler, Philipp","first_name":"Philipp"}],"quality_controlled":"1","doi":"10.1145/2393596.2393664","citation":{"ama":"Beyer D, Henzinger TA, Keremoglu M, Wendler P. Conditional model checking: A technique to pass information between verifiers. In: Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering. ACM; 2012. doi:10.1145/2393596.2393664","short":"D. Beyer, T.A. Henzinger, M. Keremoglu, P. Wendler, in:, Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, ACM, 2012.","chicago":"Beyer, Dirk, Thomas A Henzinger, Mehmet Keremoglu, and Philipp Wendler. “Conditional Model Checking: A Technique to Pass Information between Verifiers.” In Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering. ACM, 2012. https://doi.org/10.1145/2393596.2393664.","ista":"Beyer D, Henzinger TA, Keremoglu M, Wendler P. 2012. Conditional model checking: A technique to pass information between verifiers. Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering. FSE: Foundations of Software Engineering, 57.","ieee":"D. Beyer, T. A. Henzinger, M. Keremoglu, and P. Wendler, “Conditional model checking: A technique to pass information between verifiers,” in Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, Cary, NC, USA, 2012.","apa":"Beyer, D., Henzinger, T. A., Keremoglu, M., & Wendler, P. (2012). Conditional model checking: A technique to pass information between verifiers. In Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering. Cary, NC, USA: ACM. https://doi.org/10.1145/2393596.2393664","mla":"Beyer, Dirk, et al. “Conditional Model Checking: A Technique to Pass Information between Verifiers.” Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, 57, ACM, 2012, doi:10.1145/2393596.2393664."},"abstract":[{"text":"Software model checking, as an undecidable problem, has three possible outcomes: (1) the program satisfies the specification, (2) the program does not satisfy the specification, and (3) the model checker fails. The third outcome usually manifests itself in a space-out, time-out, or one component of the verification tool giving up; in all of these failing cases, significant computation is performed by the verification tool before the failure, but no result is reported. We propose to reformulate the model-checking problem as follows, in order to have the verification tool report a summary of the performed work even in case of failure: given a program and a specification, the model checker returns a condition Ψ - usually a state predicate - such that the program satisfies the specification under the condition Ψ - that is, as long as the program does not leave the states in which Ψ is satisfied. In our experiments, we investigated as one major application of conditional model checking the sequential combination of model checkers with information passing. We give the condition that one model checker produces, as input to a second conditional model checker, such that the verification problem for the second is restricted to the part of the state space that is not covered by the condition, i.e., the second model checker works on the problems that the first model checker could not solve. Our experiments demonstrate that repeated application of conditional model checkers, passing information from one model checker to the next, can significantly improve the verification results and performance, i.e., we can now verify programs that we could not verify before.","lang":"eng"}],"article_processing_charge":"No","department":[{"_id":"ToHe"}],"acknowledgement":"This research was supported by the Canadian NSERC grant RGPIN 341819-07, the ERC Advanced Grant QUAREM, and the Austrian Science Fund NFN RiSE.","external_id":{"arxiv":["1109.6926"]},"_id":"1384","publisher":"ACM","date_updated":"2025-06-11T08:07:37Z","title":"Conditional model checking: A technique to pass information between verifiers","oa_version":"Preprint","main_file_link":[{"url":"http://arxiv.org/abs/1109.6926","open_access":"1"}],"scopus_import":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","month":"11","language":[{"iso":"eng"}],"project":[{"call_identifier":"FP7","_id":"25EE3708-B435-11E9-9278-68D0E5697425","name":"Quantitative Reactive Modeling","grant_number":"267989"},{"_id":"25832EC2-B435-11E9-9278-68D0E5697425","name":"Rigorous Systems Engineering","call_identifier":"FWF","grant_number":"S 11407_N23"}],"article_number":"57"},{"publist_id":"5726","fulldoi":"https://doi.org/10.2140/gt.2012.16.1609","publication_status":"published","abstract":[{"lang":"eng","text":"Given a possibly reducible and non-reduced spectral cover π: X → C over a smooth projective complex curve C we determine the group of connected components of the Prym variety Prym(X/C). As an immediate application we show that the finite group of n-torsion points of the Jacobian of C acts trivially on the cohomology of the twisted SL n-Higgs moduli space up to the degree which is predicted by topological mirror symmetry. In particular this yields a new proof of a result of Harder-Narasimhan, showing that this finite group acts trivially on the cohomology of the twisted SL n stable bundle moduli space."}],"citation":{"ista":"Hausel T, Pauly C. 2012. Prym varieties of spectral covers. Geometry and Topology. 16(3), 1609–1638.","ieee":"T. Hausel and C. Pauly, “Prym varieties of spectral covers,” Geometry and Topology, vol. 16, no. 3. University of Warwick, pp. 1609–1638, 2012.","ama":"Hausel T, Pauly C. Prym varieties of spectral covers. Geometry and Topology. 2012;16(3):1609-1638. doi:10.2140/gt.2012.16.1609","chicago":"Hausel, Tamás, and Christian Pauly. “Prym Varieties of Spectral Covers.” Geometry and Topology. University of Warwick, 2012. https://doi.org/10.2140/gt.2012.16.1609.","short":"T. Hausel, C. Pauly, Geometry and Topology 16 (2012) 1609–1638.","apa":"Hausel, T., & Pauly, C. (2012). Prym varieties of spectral covers. Geometry and Topology. University of Warwick. https://doi.org/10.2140/gt.2012.16.1609","mla":"Hausel, Tamás, and Christian Pauly. “Prym Varieties of Spectral Covers.” Geometry and Topology, vol. 16, no. 3, University of Warwick, 2012, pp. 1609–38, doi:10.2140/gt.2012.16.1609."},"publication":"Geometry and Topology","doi":"10.2140/gt.2012.16.1609","date_created":"2018-12-11T11:52:13Z","date_published":"2012-08-01T00:00:00Z","title":"Prym varieties of spectral covers","oa":1,"date_updated":"2021-01-12T06:50:58Z","status":"public","extern":1,"year":"2012","intvolume":" 16","_id":"1471","publisher":"University of Warwick","type":"journal_article","issue":"3","month":"08","author":[{"id":"4A0666D8-F248-11E8-B48F-1D18A9856A87","last_name":"Hausel","full_name":"Tamas Hausel","first_name":"Tamas"},{"last_name":"Pauly","first_name":"Christian","full_name":"Pauly, Christian"}],"day":"01","main_file_link":[{"url":"http://arxiv.org/abs/1012.4748","open_access":"1"}],"page":"1609 - 1638","volume":16,"quality_controlled":0},{"date_created":"2018-12-11T11:52:13Z","title":"Topology of hitchin systems and Hodge theory of character varieties: The case A 1","date_published":"2012-05-01T00:00:00Z","oa":1,"status":"public","extern":1,"date_updated":"2021-01-12T06:50:59Z","year":"2012","intvolume":" 175","_id":"1472","publisher":"Princeton University Press","type":"journal_article","issue":"3","acknowledgement":"Mark Andrea A. de Cataldo was partially supported by N.S.A. and N.S.F. Tamás Hausel was supported by a Royal Society University Research Fellowship. Luca Migliorini was partially supported by PRIN 2007 project \"Spazi di moduli e teoria di Lie\"","publist_id":"5727","fulldoi":"https://doi.org/10.4007/annals.2012.175.3.7","publication_status":"published","abstract":[{"lang":"eng","text":"For G = GL 2, PGL 2, SL 2 we prove that the perverse filtration associated with the Hitchin map on the rational cohomology of the moduli space of twisted G-Higgs bundles on a compact Riemann surface C agrees with the weight filtration on the rational cohomology of the twisted G character variety of C when the cohomologies are identified via non-Abelian Hodge theory. The proof is accomplished by means of a study of the topology of the Hitchin map over the locus of integral spectral curves."}],"doi":"10.4007/annals.2012.175.3.7","citation":{"apa":"De Cataldo, M., Hausel, T., & Migliorini, L. (2012). Topology of hitchin systems and Hodge theory of character varieties: The case A 1. Annals of Mathematics. Princeton University Press. https://doi.org/10.4007/annals.2012.175.3.7","mla":"De Cataldo, Mark, et al. “Topology of Hitchin Systems and Hodge Theory of Character Varieties: The Case A 1.” Annals of Mathematics, vol. 175, no. 3, Princeton University Press, 2012, pp. 1329–407, doi:10.4007/annals.2012.175.3.7.","ama":"De Cataldo M, Hausel T, Migliorini L. Topology of hitchin systems and Hodge theory of character varieties: The case A 1. Annals of Mathematics. 2012;175(3):1329-1407. doi:10.4007/annals.2012.175.3.7","chicago":"De Cataldo, Mark, Tamás Hausel, and Luca Migliorini. “Topology of Hitchin Systems and Hodge Theory of Character Varieties: The Case A 1.” Annals of Mathematics. Princeton University Press, 2012. https://doi.org/10.4007/annals.2012.175.3.7.","short":"M. De Cataldo, T. Hausel, L. Migliorini, Annals of Mathematics 175 (2012) 1329–1407.","ista":"De Cataldo M, Hausel T, Migliorini L. 2012. Topology of hitchin systems and Hodge theory of character varieties: The case A 1. Annals of Mathematics. 175(3), 1329–1407.","ieee":"M. De Cataldo, T. Hausel, and L. Migliorini, “Topology of hitchin systems and Hodge theory of character varieties: The case A 1,” Annals of Mathematics, vol. 175, no. 3. Princeton University Press, pp. 1329–1407, 2012."},"publication":"Annals of Mathematics","volume":175,"quality_controlled":0,"month":"05","author":[{"last_name":"De Cataldo","first_name":"Mark","full_name":"De Cataldo, Mark A"},{"id":"4A0666D8-F248-11E8-B48F-1D18A9856A87","last_name":"Hausel","full_name":"Tamas Hausel","first_name":"Tamas"},{"last_name":"Migliorini","full_name":"Migliorini, Luca","first_name":"Luca"}],"day":"01","main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1004.1420"}],"page":"1329 - 1407"},{"page":"293-341","OA_place":"repository","day":"01","author":[{"first_name":"Zoltán","full_name":"Haiman, Zoltán","id":"7c006e8c-cc0d-11ee-8322-cb904ef76f36","last_name":"Haiman","orcid":"0000-0003-3633-5403"}],"quality_controlled":"1","OA_type":"green","editor":[{"full_name":"Wiklind, Tommy","first_name":"Tommy","last_name":"Wiklind"},{"last_name":"Mobasher","first_name":"Bahram","full_name":"Mobasher, Bahram"},{"last_name":"Brumm","first_name":"Volker","full_name":"Brumm, Volker"}],"publication":"The First Galaxies","arxiv":1,"publication_status":"published","fulldoi":"https://doi.org/10.1007/978-3-642-32362-1_6","type":"book_chapter","status":"public","year":"2012","extern":"1","oa":1,"date_published":"2012-01-01T00:00:00Z","date_created":"2025-01-03T12:30:53Z","oa_version":"Preprint","main_file_link":[{"url":"https://arxiv.org/abs/1203.6075","open_access":"1"}],"scopus_import":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","language":[{"iso":"eng"}],"month":"01","doi":"10.1007/978-3-642-32362-1_6","citation":{"apa":"Haiman, Z. (2012). The Formation of the First Massive Black Holes. In T. Wiklind, B. Mobasher, & V. Brumm (Eds.), The First Galaxies (pp. 293–341). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-32362-1_6","mla":"Haiman, Zoltán. “The Formation of the First Massive Black Holes.” The First Galaxies, edited by Tommy Wiklind et al., Springer Berlin Heidelberg, 2012, pp. 293–341, doi:10.1007/978-3-642-32362-1_6.","ama":"Haiman Z. The Formation of the First Massive Black Holes. In: Wiklind T, Mobasher B, Brumm V, eds. The First Galaxies. Berlin, Heidelberg: Springer Berlin Heidelberg; 2012:293-341. doi:10.1007/978-3-642-32362-1_6","chicago":"Haiman, Zoltán. “The Formation of the First Massive Black Holes.” In The First Galaxies, edited by Tommy Wiklind, Bahram Mobasher, and Volker Brumm, 293–341. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. https://doi.org/10.1007/978-3-642-32362-1_6.","short":"Z. Haiman, in:, T. Wiklind, B. Mobasher, V. Brumm (Eds.), The First Galaxies, Springer Berlin Heidelberg, Berlin, Heidelberg, 2012, pp. 293–341.","ista":"Haiman Z. 2012.The Formation of the First Massive Black Holes. In: The First Galaxies. Astrophysics and Space Science Library, , 293–341.","ieee":"Z. Haiman, “The Formation of the First Massive Black Holes,” in The First Galaxies, T. Wiklind, B. Mobasher, and V. Brumm, Eds. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012, pp. 293–341."},"abstract":[{"text":"Supermassive black holes (SMBHs) are common in local galactic nuclei, and SMBHs as massive as several billion solar masses already exist at redshift z = 6. These earliest SMBHs may grow by the combination of radiation-pressure-limited accretion and mergers of stellar-mass seed BHs, left behind by the first generation of metal-free stars, or may be formed by more rapid direct collapse of gas in rare special environments where dense gas can accumulate without first fragmenting into stars. This chapter offers a review of these two competing scenarios, as well as some more exotic alternative ideas. It also briefly discusses how the different models may be distinguished in the future by observations with JWST, LISA and other instruments.","lang":"eng"}],"publication_identifier":{"issn":["0067-0057"],"eisbn":["9783642323621"],"isbn":["9783642323614"],"eissn":["2214-7985"]},"article_processing_charge":"No","alternative_title":["Astrophysics and Space Science Library"],"external_id":{"arxiv":["1203.6075"]},"place":"Berlin, Heidelberg","publisher":"Springer Berlin Heidelberg","_id":"18737","date_updated":"2025-01-07T13:01:05Z","title":"The Formation of the First Massive Black Holes"},{"type":"journal_article","acknowledgement":"This work was funded by the Medical Research Council.","issue":"3","status":"public","date_updated":"2021-01-12T06:54:26Z","extern":1,"year":"2012","_id":"1972","intvolume":" 178","publisher":"Academic Press","date_published":"2012-06-01T00:00:00Z","title":"Structure of Escherichia coli OmpF porin from lipidic mesophase","date_created":"2018-12-11T11:54:59Z","abstract":[{"lang":"eng","text":"Outer membrane protein F, a major component of the Escherichia coli outer membrane, was crystallized for the first time in lipidic mesophase of monoolein in novel space groups, P1 and H32. Due to ease of its purification and crystallization OmpF can be used as a benchmark protein for establishing membrane protein crystallization in meso, as a "membrane lyzozyme" The packing of porin trimers in the crystals of space group H32 is similar to natural outer membranes, providing the first high-resolution insight into the close to native packing of OmpF. Surprisingly, interaction between trimers is mediated exclusively by lipids, without direct protein-protein contacts. Multiple ordered lipids are observed and many of them occupy identical positions independently of the space group, identifying preferential interaction sites of lipid acyl chains. Presence of ordered aliphatic chains close to a positively charged area on the porin surface suggests a position for a lipopolysaccharide binding site on the surface of the major E. coli porins."}],"publication":"Journal of Structural Biology","citation":{"mla":"Efremov, Rouslan, and Leonid A. Sazanov. “Structure of Escherichia Coli OmpF Porin from Lipidic Mesophase.” Journal of Structural Biology, vol. 178, no. 3, Academic Press, 2012, pp. 311–18, doi:10.1016/j.jsb.2012.03.005.","apa":"Efremov, R., & Sazanov, L. A. (2012). Structure of Escherichia coli OmpF porin from lipidic mesophase. Journal of Structural Biology. Academic Press. https://doi.org/10.1016/j.jsb.2012.03.005","ieee":"R. Efremov and L. A. Sazanov, “Structure of Escherichia coli OmpF porin from lipidic mesophase,” Journal of Structural Biology, vol. 178, no. 3. Academic Press, pp. 311–318, 2012.","ista":"Efremov R, Sazanov LA. 2012. Structure of Escherichia coli OmpF porin from lipidic mesophase. Journal of Structural Biology. 178(3), 311–318.","chicago":"Efremov, Rouslan, and Leonid A Sazanov. “Structure of Escherichia Coli OmpF Porin from Lipidic Mesophase.” Journal of Structural Biology. Academic Press, 2012. https://doi.org/10.1016/j.jsb.2012.03.005.","short":"R. Efremov, L.A. Sazanov, Journal of Structural Biology 178 (2012) 311–318.","ama":"Efremov R, Sazanov LA. Structure of Escherichia coli OmpF porin from lipidic mesophase. Journal of Structural Biology. 2012;178(3):311-318. doi:10.1016/j.jsb.2012.03.005"},"doi":"10.1016/j.jsb.2012.03.005","fulldoi":"https://doi.org/10.1016/j.jsb.2012.03.005","publication_status":"published","publist_id":"5109","quality_controlled":0,"volume":178,"page":"311 - 318","day":"01","month":"06","author":[{"first_name":"Rouslan","full_name":"Efremov, Rouslan G","last_name":"Efremov"},{"last_name":"Sazanov","orcid":"0000-0002-0977-7989","id":"338D39FE-F248-11E8-B48F-1D18A9856A87","first_name":"Leonid A","full_name":"Leonid Sazanov"}]},{"date_published":"2012-10-01T00:00:00Z","title":"The coupling mechanism of respiratory complex i - A structural and evolutionary perspective","date_created":"2018-12-11T11:55:00Z","acknowledgement":"The work in authors' laboratory was funded by the Medical Research Council.","issue":"10","type":"review","_id":"1976","intvolume":" 1817","publisher":"Elsevier","extern":1,"status":"public","year":"2012","date_updated":"2019-04-26T07:22:06Z","publist_id":"5108","doi":"10.1016/j.bbabio.2012.02.015","citation":{"ieee":"R. Efremov and L. A. Sazanov, “The coupling mechanism of respiratory complex i - A structural and evolutionary perspective,” Biochimica et Biophysica Acta - Bioenergetics, vol. 1817, no. 10. Elsevier, pp. 1785–1795, 2012.","ista":"Efremov R, Sazanov LA. 2012. The coupling mechanism of respiratory complex i - A structural and evolutionary perspective. Biochimica et Biophysica Acta - Bioenergetics. 1817(10), 1785–1795.","chicago":"Efremov, Rouslan, and Leonid A Sazanov. “The Coupling Mechanism of Respiratory Complex i - A Structural and Evolutionary Perspective.” Biochimica et Biophysica Acta - Bioenergetics. Elsevier, 2012. https://doi.org/10.1016/j.bbabio.2012.02.015.","short":"R. Efremov, L.A. Sazanov, Biochimica et Biophysica Acta - Bioenergetics 1817 (2012) 1785–1795.","ama":"Efremov R, Sazanov LA. The coupling mechanism of respiratory complex i - A structural and evolutionary perspective. Biochimica et Biophysica Acta - Bioenergetics. 2012;1817(10):1785-1795. doi:10.1016/j.bbabio.2012.02.015","mla":"Efremov, Rouslan, and Leonid A. Sazanov. “The Coupling Mechanism of Respiratory Complex i - A Structural and Evolutionary Perspective.” Biochimica et Biophysica Acta - Bioenergetics, vol. 1817, no. 10, Elsevier, 2012, pp. 1785–95, doi:10.1016/j.bbabio.2012.02.015.","apa":"Efremov, R., & Sazanov, L. A. (2012). The coupling mechanism of respiratory complex i - A structural and evolutionary perspective. Biochimica et Biophysica Acta - Bioenergetics. Elsevier. https://doi.org/10.1016/j.bbabio.2012.02.015"},"publication":"Biochimica et Biophysica Acta - Bioenergetics","abstract":[{"text":"Complex I is a key enzyme of the respiratory chain in many organisms. This multi-protein complex with an intricate evolutionary history originated from the unification of prebuilt modules of hydrogenases and transporters. Using recently determined crystallographic structures of complex I we reanalyzed evolutionarily related complexes that couple oxidoreduction to trans-membrane ion translocation. Our analysis points to the previously unnoticed structural homology of the electron input module of formate dehydrogenlyases and subunit NuoG of complex I. We also show that all related to complex I hydrogenases likely operate via a conformation driven mechanism with structural changes generated in the conserved coupling site located at the interface of subunits NuoB/D/H. The coupling apparently originated once in evolutionary history, together with subunit NuoH joining hydrogenase and transport modules. Analysis of quinone oxidoreduction properties and the structure of complex I allows us to suggest a fully reversible coupling mechanism. Our model predicts that: 1) proton access to the ketone groups of the bound quinone is rigorously controlled by the protein, 2) the negative electric charge of the anionic ubiquinol head group is a major driving force for conformational changes.","lang":"eng"}],"publication_status":"published","fulldoi":"https://doi.org/10.1016/j.bbabio.2012.02.015","volume":1817,"quality_controlled":0,"day":"01","author":[{"last_name":"Efremov","first_name":"Rouslan","full_name":"Efremov, Rouslan G"},{"first_name":"Leonid A","full_name":"Leonid Sazanov","id":"338D39FE-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-0977-7989","last_name":"Sazanov"}],"month":"10","page":"1785 - 1795"},{"oa_version":"Published Version","scopus_import":"1","language":[{"iso":"eng"}],"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","month":"07","article_number":"116","abstract":[{"lang":"eng","text":"Background: Characterizing root system architecture (RSA) is essential to understanding the development and function of vascular plants. Identifying RSA-associated genes also represents an underexplored opportunity for crop improvement. Software tools are needed to accelerate the pace at which quantitative traits of RSA are estimated from images of root networks.Results: We have developed GiA Roots (General Image Analysis of Roots), a semi-automated software tool designed specifically for the high-throughput analysis of root system images. GiA Roots includes user-assisted algorithms to distinguish root from background and a fully automated pipeline that extracts dozens of root system phenotypes. Quantitative information on each phenotype, along with intermediate steps for full reproducibility, is returned to the end-user for downstream analysis. GiA Roots has a GUI front end and a command-line interface for interweaving the software into large-scale workflows. GiA Roots can also be extended to estimate novel phenotypes specified by the end-user.Conclusions: We demonstrate the use of GiA Roots on a set of 2393 images of rice roots representing 12 genotypes from the species Oryza sativa. We validate trait measurements against prior analyses of this image set that demonstrated that RSA traits are likely heritable and associated with genotypic differences. Moreover, we demonstrate that GiA Roots is extensible and an end-user can add functionality so that GiA Roots can estimate novel RSA traits. In summary, we show that the software can function as an efficient tool as part of a workflow to move from large numbers of root images to downstream analysis."}],"file_date_updated":"2020-07-14T12:46:35Z","doi":"10.1186/1471-2229-12-116","citation":{"chicago":"Galkovskyi, Taras, Yuriy Mileyko, Alexander Bucksch, Brad Moore, Olga Symonova, Charles Price, Chrostopher Topp, et al. “GiA Roots: Software for the High Throughput Analysis of Plant Root System Architecture.” BMC Plant Biology. BioMed Central, 2012. https://doi.org/10.1186/1471-2229-12-116.","short":"T. Galkovskyi, Y. Mileyko, A. Bucksch, B. Moore, O. Symonova, C. Price, C. Topp, A. Iyer Pascuzzi, P. Zurek, S. Fang, J. Harer, P. Benfey, J. Weitz, BMC Plant Biology 12 (2012).","ama":"Galkovskyi T, Mileyko Y, Bucksch A, et al. GiA Roots: Software for the high throughput analysis of plant root system architecture. BMC Plant Biology. 2012;12. doi:10.1186/1471-2229-12-116","ieee":"T. Galkovskyi et al., “GiA Roots: Software for the high throughput analysis of plant root system architecture,” BMC Plant Biology, vol. 12. BioMed Central, 2012.","ista":"Galkovskyi T, Mileyko Y, Bucksch A, Moore B, Symonova O, Price C, Topp C, Iyer Pascuzzi A, Zurek P, Fang S, Harer J, Benfey P, Weitz J. 2012. GiA Roots: Software for the high throughput analysis of plant root system architecture. BMC Plant Biology. 12, 116.","mla":"Galkovskyi, Taras, et al. “GiA Roots: Software for the High Throughput Analysis of Plant Root System Architecture.” BMC Plant Biology, vol. 12, 116, BioMed Central, 2012, doi:10.1186/1471-2229-12-116.","apa":"Galkovskyi, T., Mileyko, Y., Bucksch, A., Moore, B., Symonova, O., Price, C., … Weitz, J. (2012). GiA Roots: Software for the high throughput analysis of plant root system architecture. BMC Plant Biology. BioMed Central. https://doi.org/10.1186/1471-2229-12-116"},"article_processing_charge":"No","has_accepted_license":"1","external_id":{"isi":["000309114300001"]},"ddc":["005","514","516"],"date_updated":"2025-09-30T08:36:34Z","publisher":"BioMed Central","_id":"492","title":"GiA Roots: Software for the high throughput analysis of plant root system architecture","license":"https://creativecommons.org/licenses/by/4.0/","day":"26","pubrep_id":"946","isi":1,"author":[{"last_name":"Galkovskyi","full_name":"Galkovskyi, Taras","first_name":"Taras"},{"full_name":"Mileyko, Yuriy","first_name":"Yuriy","last_name":"Mileyko"},{"full_name":"Bucksch, Alexander","first_name":"Alexander","last_name":"Bucksch"},{"last_name":"Moore","first_name":"Brad","full_name":"Moore, Brad"},{"orcid":"0000-0003-2012-9947","id":"3C0C7BC6-F248-11E8-B48F-1D18A9856A87","last_name":"Symonova","full_name":"Symonova, Olga","first_name":"Olga"},{"full_name":"Price, Charles","first_name":"Charles","last_name":"Price"},{"last_name":"Topp","first_name":"Chrostopher","full_name":"Topp, Chrostopher"},{"first_name":"Anjali","full_name":"Iyer Pascuzzi, Anjali","last_name":"Iyer Pascuzzi"},{"last_name":"Zurek","full_name":"Zurek, Paul","first_name":"Paul"},{"last_name":"Fang","full_name":"Fang, Suqin","first_name":"Suqin"},{"full_name":"Harer, John","first_name":"John","last_name":"Harer"},{"last_name":"Benfey","full_name":"Benfey, Philip","first_name":"Philip"},{"last_name":"Weitz","first_name":"Joshua","full_name":"Weitz, Joshua"}],"file":[{"date_created":"2018-12-12T10:12:35Z","access_level":"open_access","file_name":"IST-2018-946-v1+1_2012_Symonova_GiA_Roots.pdf","date_updated":"2020-07-14T12:46:35Z","relation":"main_file","checksum":"0c629e36acd5f2878ff7dd088d67d494","content_type":"application/pdf","file_id":"4953","file_size":1691436,"creator":"system"}],"quality_controlled":"1","volume":12,"tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"publication":"BMC Plant Biology","fulldoi":"https://doi.org/10.1186/1471-2229-12-116","publication_status":"published","publist_id":"7328","type":"journal_article","status":"public","extern":"1","year":"2012","intvolume":" 12","date_published":"2012-07-26T00:00:00Z","oa":1,"date_created":"2018-12-11T11:46:46Z"},{"has_accepted_license":"1","department":[{"_id":"ScienComp"},{"_id":"PeJo"}],"article_processing_charge":"No","citation":{"apa":"Tangermann, M., Müller, K., Aertsen, A., Birbaumer, N., Braun, C., Brunner, C., … Blankertz, B. (2012). Review of the BCI competition IV. Frontiers in Neuroscience. Frontiers Research Foundation. https://doi.org/10.3389/fnins.2012.00055","mla":"Tangermann, Michael, et al. “Review of the BCI Competition IV.” Frontiers in Neuroscience, vol. 6, 55, Frontiers Research Foundation, 2012, doi:10.3389/fnins.2012.00055.","ista":"Tangermann M, Müller K, Aertsen A, Birbaumer N, Braun C, Brunner C, Leeb R, Mehring C, Miller K, Müller Putz G, Nolte G, Pfurtscheller G, Preissl H, Schalk G, Schlögl A, Vidaurre C, Waldert S, Blankertz B. 2012. Review of the BCI competition IV. Frontiers in Neuroscience. 6, 55.","ieee":"M. Tangermann et al., “Review of the BCI competition IV,” Frontiers in Neuroscience, vol. 6. Frontiers Research Foundation, 2012.","ama":"Tangermann M, Müller K, Aertsen A, et al. Review of the BCI competition IV. Frontiers in Neuroscience. 2012;6. doi:10.3389/fnins.2012.00055","short":"M. Tangermann, K. Müller, A. Aertsen, N. Birbaumer, C. Braun, C. Brunner, R. Leeb, C. Mehring, K. Miller, G. Müller Putz, G. Nolte, G. Pfurtscheller, H. Preissl, G. Schalk, A. Schlögl, C. Vidaurre, S. Waldert, B. Blankertz, Frontiers in Neuroscience 6 (2012).","chicago":"Tangermann, Michael, Klaus Müller, Ad Aertsen, Niels Birbaumer, Christoph Braun, Clemens Brunner, Robert Leeb, et al. “Review of the BCI Competition IV.” Frontiers in Neuroscience. Frontiers Research Foundation, 2012. https://doi.org/10.3389/fnins.2012.00055."},"doi":"10.3389/fnins.2012.00055","file_date_updated":"2020-07-14T12:46:35Z","abstract":[{"text":"The BCI competition IV stands in the tradition of prior BCI competitions that aim to provide high quality neuroscientific data for open access to the scientific community. As experienced already in prior competitions not only scientists from the narrow field of BCI compete, but scholars with a broad variety of backgrounds and nationalities. They include high specialists as well as students.The goals of all BCI competitions have always been to challenge with respect to novel paradigms and complex data. We report on the following challenges: (1) asynchronous data, (2) synthetic, (3) multi-class continuous data, (4) sessionto-session transfer, (5) directionally modulated MEG, (6) finger movements recorded by ECoG. As after past competitions, our hope is that winning entries may enhance the analysis methods of future BCIs.","lang":"eng"}],"title":"Review of the BCI competition IV","_id":"493","publisher":"Frontiers Research Foundation","ddc":["004"],"date_updated":"2025-09-30T08:35:59Z","acknowledgement":"The studies were in part or completely supported by the Bundesministerium für Bildung und Forschung (BMBF), Fkz 01IB001A, 01GQ0850, by the German Science Foundation (DFG, contract MU 987/3-2), by the European ICT Programme Projects FP7-224631 and 216886, the World Class University Program through the National Research Foundation of Korea funded by the Ministry of Education, Science, and Technology (Grant R31-10008), the US Army Research Office [W911NF-08-1-0216 (Gerwin Schalk) and W911NF-07-1-0415 (Gerwin Schalk)] and the NIH [EB006356 (Gerwin Schalk) and EB000856 (Gerwin Schalk), the WIN-Kolleg of the Heidelberg Academy of Sciences and Humanities, German Federal Ministry of Education and Research grants 01GQ0420, 01GQ0761, 01GQ0762, and 01GQ0830, German Research Foundation grants 550/B5 and C6, and by a scholarship from the German National Academic Foundation. This paper only reflects the authors’ views and funding agencies are not liable for any use that may be made of the information contained herein.\r\n","external_id":{"isi":["000209165300066"]},"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","month":"07","language":[{"iso":"eng"}],"scopus_import":"1","oa_version":"Published Version","article_number":"55","publist_id":"7327","publication_status":"published","fulldoi":"https://doi.org/10.3389/fnins.2012.00055","publication":"Frontiers in Neuroscience","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"date_created":"2018-12-11T11:46:46Z","oa":1,"date_published":"2012-07-13T00:00:00Z","intvolume":" 6","status":"public","year":"2012","type":"journal_article","author":[{"last_name":"Tangermann","full_name":"Tangermann, Michael","first_name":"Michael"},{"first_name":"Klaus","full_name":"Müller, Klaus","last_name":"Müller"},{"full_name":"Aertsen, Ad","first_name":"Ad","last_name":"Aertsen"},{"last_name":"Birbaumer","first_name":"Niels","full_name":"Birbaumer, Niels"},{"last_name":"Braun","full_name":"Braun, Christoph","first_name":"Christoph"},{"full_name":"Brunner, Clemens","first_name":"Clemens","last_name":"Brunner"},{"last_name":"Leeb","first_name":"Robert","full_name":"Leeb, Robert"},{"last_name":"Mehring","full_name":"Mehring, Carsten","first_name":"Carsten"},{"full_name":"Miller, Kai","first_name":"Kai","last_name":"Miller"},{"last_name":"Müller Putz","full_name":"Müller Putz, Gernot","first_name":"Gernot"},{"first_name":"Guido","full_name":"Nolte, Guido","last_name":"Nolte"},{"last_name":"Pfurtscheller","first_name":"Gert","full_name":"Pfurtscheller, Gert"},{"last_name":"Preissl","full_name":"Preissl, Hubert","first_name":"Hubert"},{"last_name":"Schalk","first_name":"Gerwin","full_name":"Schalk, Gerwin"},{"orcid":"0000-0002-5621-8100","last_name":"Schlögl","id":"45BF87EE-F248-11E8-B48F-1D18A9856A87","first_name":"Alois","full_name":"Schlögl, Alois"},{"last_name":"Vidaurre","first_name":"Carmen","full_name":"Vidaurre, Carmen"},{"first_name":"Stephan","full_name":"Waldert, Stephan","last_name":"Waldert"},{"last_name":"Blankertz","full_name":"Blankertz, Benjamin","first_name":"Benjamin"}],"isi":1,"pubrep_id":"945","day":"13","volume":6,"quality_controlled":"1","file":[{"file_id":"5356","content_type":"application/pdf","creator":"system","file_size":2693701,"file_name":"IST-2018-945-v1+1_2012_Schloegl_Review_of.pdf","access_level":"open_access","date_created":"2018-12-12T10:18:34Z","checksum":"195238221c4b0b0f4035f6f6c16ea17c","relation":"main_file","date_updated":"2020-07-14T12:46:35Z"}]},{"title":"A Myhill Nerode theorem for automata with advice","date_updated":"2024-10-09T20:55:00Z","ddc":["004"],"_id":"495","publisher":"Open Publishing Association","corr_author":"1","alternative_title":["EPTCS"],"department":[{"_id":"KrCh"}],"has_accepted_license":"1","abstract":[{"text":"An automaton with advice is a finite state automaton which has access to an additional fixed infinite string called an advice tape. We refine the Myhill-Nerode theorem to characterize the languages of finite strings that are accepted by automata with advice. We do the same for tree automata with advice.","lang":"eng"}],"citation":{"apa":"Kruckman, A., Rubin, S., Sheridan, J., & Zax, B. (2012). A Myhill Nerode theorem for automata with advice. In Proceedings GandALF 2012 (Vol. 96, pp. 238–246). Napoli, Italy: Open Publishing Association. https://doi.org/10.4204/EPTCS.96.18","mla":"Kruckman, Alex, et al. “A Myhill Nerode Theorem for Automata with Advice.” Proceedings GandALF 2012, vol. 96, Open Publishing Association, 2012, pp. 238–46, doi:10.4204/EPTCS.96.18.","ista":"Kruckman A, Rubin S, Sheridan J, Zax B. 2012. A Myhill Nerode theorem for automata with advice. Proceedings GandALF 2012. GandALF: Games, Automata, Logics and Formal Verification, EPTCS, vol. 96, 238–246.","ieee":"A. Kruckman, S. Rubin, J. Sheridan, and B. Zax, “A Myhill Nerode theorem for automata with advice,” in Proceedings GandALF 2012, Napoli, Italy, 2012, vol. 96, pp. 238–246.","ama":"Kruckman A, Rubin S, Sheridan J, Zax B. A Myhill Nerode theorem for automata with advice. In: Proceedings GandALF 2012. Vol 96. Open Publishing Association; 2012:238-246. doi:10.4204/EPTCS.96.18","chicago":"Kruckman, Alex, Sasha Rubin, John Sheridan, and Ben Zax. “A Myhill Nerode Theorem for Automata with Advice.” In Proceedings GandALF 2012, 96:238–46. Open Publishing Association, 2012. https://doi.org/10.4204/EPTCS.96.18.","short":"A. Kruckman, S. Rubin, J. Sheridan, B. Zax, in:, Proceedings GandALF 2012, Open Publishing Association, 2012, pp. 238–246."},"file_date_updated":"2020-07-14T12:46:35Z","doi":"10.4204/EPTCS.96.18","project":[{"_id":"25832EC2-B435-11E9-9278-68D0E5697425","name":"Rigorous Systems Engineering","call_identifier":"FWF","grant_number":"S 11407_N23"},{"grant_number":"279307","call_identifier":"FP7","name":"Quantitative Graph Games: Theory and Applications","_id":"2581B60A-B435-11E9-9278-68D0E5697425"}],"user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","month":"10","language":[{"iso":"eng"}],"scopus_import":1,"oa_version":"Published Version","date_created":"2018-12-11T11:46:47Z","date_published":"2012-10-07T00:00:00Z","oa":1,"status":"public","year":"2012","intvolume":" 96","type":"conference","conference":{"start_date":"2012-09-06","end_date":"2012-09-08","name":"GandALF: Games, Automata, Logics and Formal Verification","location":"Napoli, Italy"},"publist_id":"7325","fulldoi":"https://doi.org/10.4204/EPTCS.96.18","publication_status":"published","tmp":{"image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"publication":"Proceedings GandALF 2012","volume":96,"file":[{"file_id":"5152","content_type":"application/pdf","creator":"system","file_size":97736,"file_name":"IST-2018-944-v1+1_2012_Rubin_A_Myhill.pdf","access_level":"open_access","date_created":"2018-12-12T10:15:31Z","checksum":"56277f95edc9d531fa3bdc5f9579fda8","relation":"main_file","date_updated":"2020-07-14T12:46:35Z"}],"quality_controlled":"1","author":[{"last_name":"Kruckman","first_name":"Alex","full_name":"Kruckman, Alex"},{"last_name":"Rubin","id":"2EC51194-F248-11E8-B48F-1D18A9856A87","full_name":"Rubin, Sasha","first_name":"Sasha"},{"first_name":"John","full_name":"Sheridan, John","last_name":"Sheridan"},{"full_name":"Zax, Ben","first_name":"Ben","last_name":"Zax"}],"day":"07","pubrep_id":"944","ec_funded":1,"page":"238 - 246"}]