-
1دورية أكاديمية
المؤلفون: Aleksandra Tarkowska, Denise Carvalho-Silva, Charles E Cook, Edd Turner, Robert D Finn, Andrew D Yates
المصدر: PLoS Computational Biology, Vol 14, Iss 12, p e1006542 (2018)
مصطلحات موضوعية: Biology (General), QH301-705.5
وصف الملف: electronic resource
-
2
المؤلفون: Jie Luo, Maria Jesus Martin, Guoying Qi, W Liu, Emanuele Alpi, Edd Turner, Borisas Bursteinas, Ricardo Antunes, Leonardo Gonzales, Andrew Nightingale
المصدر: Nucleic Acids Research
مصطلحات موضوعية: 0301 basic medicine, Proteomics, Java, computer.internet_protocol, Interface (Java), Gene Expression, Biology, World Wide Web, 03 medical and health sciences, Mice, User-Computer Interface, Protein Annotation, Hepatolenticular Degeneration, Databases, Genetic, Genetics, Animals, Humans, computer.programming_language, Internet, Genome, Human, Molecular Sequence Annotation, Python (programming language), JSON, 030104 developmental biology, ComputingMethodologies_PATTERNRECOGNITION, Copper-Transporting ATPases, Web Server Issue, UniProt, Perl, computer, XML, Biomarkers
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::812dd40ccef2a697a1eef6df4add99a4
http://europepmc.org/articles/PMC5570157 -
3
المؤلفون: Robert D. Finn, Denise Carvalho-Silva, Charles E. Cook, Aleksandra Tarkowska, Andrew D. Yates, Edd Turner
المصدر: PLoS Computational Biology, Vol 14, Iss 12, p e1006542 (2018)
PLoS Computational Biologyمصطلحات موضوعية: 0301 basic medicine, Representational state transfer, Databases, Factual, computer.internet_protocol, Computer science, SOAP, Social Sciences, Information Storage and Retrieval, Web API, Computer Applications, Database and Informatics Methods, User-Computer Interface, Sociology, Consortia, Databases, Genetic, FASTA searching, Computer Networks, Database Searching, Biology (General), Data Management, computer.programming_language, Hypertext, Ecology, Application programming interface, Genomics, JSON, Computational Theory and Mathematics, Modeling and Simulation, Web-Based Applications, Information Technology, Computer and Information Sciences, Linguistic Morphology, Hypertext Transfer Protocol, QH301-705.5, Research and Analysis Methods, JavaScript, Biological Science Disciplines, Education, World Wide Web, 03 medical and health sciences, Cellular and Molecular Neuroscience, Genetics, Humans, Web application, Molecular Biology, Ecology, Evolution, Behavior and Systematics, Internet, Metadata, business.industry, Computational Biology, Linguistics, 030104 developmental biology, business, computer, Software
-
4
المؤلفون: Borisas Bursteinas, L-S Yeh, Klemens Pichler, Guillaume Keller, C Casal-Casas, Gerritsen, A Da Silva, Prudence Mutowo, Xavier D. Martin, Peter B. McGarvey, Volynkin, J Lew, K Sonesson, M. C. Blatter, L Pureza, Rodrigo Lopez, Anne Estreicher, Alex Bateman, Ramona Britto, A-L Veuthey, Penelope Garmiri, Patrick Masson, Baris E. Suzek, Cathy H. Wu, Paul Gane, Maria Jesus Martin, Shyamala Sundaram, Yasmin Alam-Faruque, Ioannis Xenarios, Alan Bridge, WM Chan, Guoying Qi, L Famiglietti, Christian J. A. Sigrist, Nadine Gruaz-Gumowski, Chantal Hulo, Hermann Zellner, Matthew Corbett, Monica Pozzato, Thierry Lombardot, S Staehli, Jerven Bolleman, Sylvain Poux, Séverine Duvaud, Tony Sawford, Chuming Chen, Xavier Watkins, Yuqi Wang, Elisabeth Gasteiger, Kati Laiho, Qinghua Wang, M Bingley, Lydie Bougueleret, Kristian B. Axelsen, Yongxing Chen, Salvo Paesano, Andrew Nightingale, Nicole Redaschi, Emma Hatton-Ellis, John S. Garavelli, Delphine Baratin, Darren A. Natale, Gayatri Chavali, E de Castro, Leslie Arminski, Damien Lieberherr, Elena Cibrian-Uhalte, Catherine Rivoire, Bernd Roechert, Yerramalla, Hongzhan Huang, Alistair MacDougall, Edd Turner, Maria Victoria Schneider, Aleksandra Shypitsyna, Jie Zhang, Michele Magrane, Dolnide Dornevil, Lara, M Donnelly, F. Fazzini, Andrea H. Auchincloss, Emanuele Alpi, Benoit Bely, Brigitte Boeckmann, Rolf Apweiler, Rachael P. Huntley, Lionel Breuza, Sangya Pundir, Lorenzo Cerutti, Tunca Doğan, EB Casanova, P van Rensburg, Rabie Saidi, Jie Luo, Mickael Goujon, Laure Verbregue, Tony Wardell, W Liu, Andre Stutz, P Lemercier, Hamish McWilliam, Ivo Pedruzzi, P-A Binz, Sebastien Gehant, Béatrice A. Cuche, Carlos Bonilla, Duncan Legge, C. R. Vinayaka, Anne Morgat, Diego Poggioli, J Arganiska, Teresa Batista Neto, Emmanuel Boutet, Florence Jungo, Ursula Hinz, Parit Bansal, Sandra Orchard, Ricardo Antunes, Manuela Pruess, M Feuermann, S. Rosanoff, Claire O'Donovan, Cecilia N. Arighi, J. James, M Doche, Elisabeth Coudert, M De Giorgi, Reija Hieta, Sandrine Pilbout, Arnaud Gos, Michael Tognolli, Leyla Jael Garcia Castro, Lucila Aimo
المصدر: Nucleic Acids Research
مصطلحات موضوعية: Proteomics, 0303 health sciences, Internet, Representation (systemics), Genome database, Proteins, Molecular Sequence Annotation, Computational biology, Genomics, Biology, Ontology (information science), Universal Protein Resource, II. Protein sequence and structure, motifs and domains, 03 medical and health sciences, Annotation, 0302 clinical medicine, Gene Ontology, Sequence Analysis, Protein, 030220 oncology & carcinogenesis, Genetics, UniProt, Databases, Protein, 030304 developmental biology
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::dacc18afba0dcb8db8d93542e3ba0bff
http://europepmc.org/articles/PMC3965022 -
5
المؤلفون: Edd Turner, Michael Butler, C. Spermann, Michael Leuschel
المصدر: TASE
مصطلحات موضوعية: Model checking, Computer science, State space, Graph theory, Set theory, Graph isomorphism, Orbit (control theory), Data type, Algorithm, Symmetry (physics)
وصف الملف: text
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0d83a4f697d0e2add44c3c4b7af4e7ce
https://eprints.soton.ac.uk/264161/ -
6
المؤلفون: Michael Leuschel, Michael Butler, Corinna Spermann, Edd Turner
المساهمون: Julliand, Jacques, Kouchnarenko, Olga
المصدر: B 2007: Formal Specification and Development in B ISBN: 9783540687603
مصطلحات موضوعية: Discrete mathematics, Model checking, Permutation, Correctness, Computer science, Formal specification, Data structure, Algorithm, Order of magnitude, Flooding (computer networking)
وصف الملف: text
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::13c0c5e7a782cb45331543acf0f8e816
https://doi.org/10.1007/11955757_9 -
7
المؤلفون: Edd Turner, Michael Leuschel
المصدر: ZB 2005: Formal Specification and Development in Z and B ISBN: 9783540255598
ZBمصطلحات موضوعية: Model checking, Theoretical computer science, Computer science, Computation, Formal specification, B-Method, GRASP, Graph Layout, State space, State (computer science), Formal methods, Logic programming
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::73a9df1c3536a1e8eeae3245d0997551
https://doi.org/10.1007/11415787_2