المؤلفون: Kiyoto Nishi, Akira Yoshii, Lauren Abell, Bo Zhou, Ricardo Frausto, Julia Ritterhoff, Timothy S. McMillen, Ian Sweet, Yibin Wang, Chen Gao, Rong Tian

المصدر: Cell Reports, Vol 42, Iss 6, Pp 112641- (2023)

مصطلحات موضوعية: CP: Metabolism, Biology (General), QH301-705.5

وصف الملف: electronic resource

Relation: http://www.sciencedirect.com/science/article/pii/S2211124723006526; https://doaj.org/toc/2211-1247

URL الوصول: https://doaj.org/article/f43a4a961cc14f469d68140c703a2479

المؤلفون: Kylie Chichura, Clinton Elfers, Therese Salameh, Ian Sweet, Christian Roth, Prof Robert Doyle

المصدر: Journal of the Endocrine Society. 6:A418-A419

مصطلحات موضوعية: Endocrinology, Diabetes and Metabolism

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::7f9e3363f1b09621ba24e2cb1777172c
https://doi.org/10.1210/jendso/bvac150.871

المؤلفون: Kiyoto Nishi, Lauren Abell, Ricardo Frausto, Julia Ritterhoff, Timothy McMillen, Ian Sweet, Yibin Wang, Chen Gao, Rong Tian

المصدر: SSRN Electronic Journal.

مصطلحات موضوعية: History, Polymers and Plastics, Business and International Management, Industrial and Manufacturing Engineering

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::24a61dfc41f05e790fbd9d293e1efc94
https://doi.org/10.2139/ssrn.4022706

المؤلفون: Chang Liu, Michael Hicks, Ian Sweet, David Darais

المصدر: Proceedings of the ACM on Programming Languages. 4:1-31

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Programming Languages, Theoretical computer science, Computer science, business.industry, Computation, Probabilistic logic, 020207 software engineering, Cryptography, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Substructural type system, Tree (data structure), 010201 computation theory & mathematics, 0202 electrical engineering, electronic engineering, information engineering, Probabilistic analysis of algorithms, State (computer science), Safety, Risk, Reliability and Quality, business, Software, Independence (probability theory), Programming Languages (cs.PL)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::293d29b21b5bacb66fdcc86a4f03b6f1
https://doi.org/10.1145/3371118

المؤلفون: José Manuel, Calderón Trilla, Michael Hicks, Stephen Magill, Piotr Mardziel, Ian Sweet

مصطلحات موضوعية: Information privacy, geography, geography.geographical_feature_category, Computer science, Probabilistic logic, Inference, Data mining, computer.software_genre, Abstract interpretation, computer, Sound (geography)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::f5f8691b0892a8739fd09f3ab5045008
https://doi.org/10.1017/9781108770750.012

المؤلفون: Calderón Trilla, Michael Hicks, José Manuel, Ian Sweet, Stephen Magill, Piotr Mardziel

المساهمون: Barthe, Gilles, Katoen, Joost-Pieter, Silva, Alexandra

المصدر: Bacci, G, Mardare, R, Panangaden, P & Plotkin, G D 2020, Quantitative Equational Reasoning . in G Barthe, J-P Katoen & A Silva (eds), Foundations of Probabilistic Programming . Cambridge University Press, pp. 333-360 . https://doi.org/10.1017/9781108770750.011

مصطلحات موضوعية: Equational reasoning, Wasserstein metric, Calculus, Equational logic, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d2e3f1263540d6bac865b29347d894a0
https://vbn.aau.dk/da/publications/dcd33553-7b69-4222-a4b7-16ea6a9b45f1

المؤلفون: Michael Hicks, David Darais, Ian Sweet

المصدر: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security.

مصطلحات موضوعية: Task (computing), Tree (data structure), Theoretical computer science, 010201 computation theory & mathematics, Property (programming), Computer science, Computation, Probabilistic logic, 0102 computer and information sciences, Data structure, 01 natural sciences, Program counter, TRACE (psycholinguistics)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::79d6347b19da02dab9f3017a20dd9a14
https://doi.org/10.1145/3411506.3417598

المؤلفون: Michael Hicks, Andrew Ruef, David Tarditi, Ian Sweet, Leonidas Lampropoulos

المصدر: Lecture Notes in Computer Science ISBN: 9783030171377
POST

مصطلحات موضوعية: 050101 languages & linguistics, Computer science, Programming language, 05 social sciences, 02 engineering and technology, computer.software_genre, Porting, Backward compatibility, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Pointer (computer programming), 0202 electrical engineering, electronic engineering, information engineering, sort, 020201 artificial intelligence & image processing, 0501 psychology and cognitive sciences, computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::c3c79aeb6ebb7f7fd12ad1e72045cbc8
https://doi.org/10.1007/978-3-030-17138-4_4

المؤلفون: David Darais, Ian Sweet, Chang Liu, Michael Hicks

مصطلحات موضوعية: Oblivious Computation

Relation: https://doi.org/10.1145/3371118; https://doi.org/10.5281/zenodo.3546499; https://doi.org/10.5281/zenodo.3546500; oai:zenodo.org:3546500

الاتاحة: https://doi.org/10.5281/zenodo.3546500

المؤلفون: Stephen Magill, Ian Sweet, Chad Scherrer, Michael Hicks, José Manuel Calderón Trilla

المصدر: Lecture Notes in Computer Science ISBN: 9783319897219
POST

مصطلحات موضوعية: Computer science, Computation, Probabilistic logic, ComputerApplications_COMPUTERSINOTHERSYSTEMS, 020207 software engineering, 0102 computer and information sciences, 02 engineering and technology, Abstract interpretation, Symbolic execution, 01 natural sciences, Polyhedron, 010201 computation theory & mathematics, Information leakage, Scalability, 0202 electrical engineering, electronic engineering, information engineering, Leakage (economics), Algorithm

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::4c93d061038d86137435b3bc9ff5bde1
https://doi.org/10.1007/978-3-319-89722-6_1

المؤلفون: T. L. Miller, William H. Zoller, Margaret N. Stevenson, R. E. Peterson, R. J. Vong, Robert J. Charlson, David S. Covert, Ian Sweet, John F. O'Loughlin, Timothy V. Larson

المصدر: ACS Symposium Series ISBN: 9780841214149
The Chemistry of Acid Rain: Sources and Atmospheric Processes

مصطلحات موضوعية: Environmental chemistry, Rainwater harvesting

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::ec0027ecea982c4d4a47779d70e4792e
https://doi.org/10.1021/bk-1987-0349.ch017

المؤلفون: RUSSELL W. JOHNSON, GLEN E. GORDON, G. M. Hidy, W. R. Pierson, W. W. Brachaczek, R. A. Gorse, S. M. Japar, J. M. Norbeck, G. J. Keeler, James N. Galloway, Thomas M. Church, Anthony H. Knap, Douglas M. Whelpdale, John M. Miller, C. W. Lewis, R. K. Stevens, S. G. Tuncel, I. Olmez, J. R. Parrington, R. W. Shaw, R. J. Paur, Michael E. Kitto, David L. Anderson, Stephen E. Schwartz, I. N. Tang, J. H. Lee, Detlef W. Bahnemann, Michael R. Hoffmann, Andrew P. Hong, Claudius Kormann, A. J. Hynes, P. H. Wine, W. A. Jaeschke, G. J. Herrmann, Shigeru Tanaka, Kazuo Yamanaka, Yoshikazu Hashimoto, S. C. Bhatia, J. H. Hall, A. W. Gertler, N. F. Robinson, D. F. Miller, B. B. Hicks, R. P. Hosker, J. D. Womack, Richard J. Vong, Timothy V. Larson, William H. Zoller, David S. Covert, Robert J. Charlson, Ian Sweet, Richard Peterson, Theresa Miller, John F. O'Loughlin, Margaret N. Stevenson, S. Landsberger, S. J. Vermette, J. J. Drake, E. G. Chapman, D. S. Sklarew, L. E. Topol, M. Lev-On, A. K. Pollack, Jean Muhlbaier Dasch, Jed M. Waldman, Daniel J. Jacob, J. William Munge

Resource Type: eBook.

الموضوعات: Acid rain--Congresses, Atmospheric chemistry--Congresses, Air--Pollution--Congresses

Categories: SCIENCE / Chemistry / Toxicology