المؤلفون: Matthew Kehrt, Laura Effinger-Dean, Michael Schmitz, Dan Grossman

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 17, Iss Proc. PLACES 2009, Pp 43-48 (2010)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1002.0936v1; https://doaj.org/toc/2075-2180

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

المؤلفون: AbuKhadra, Diaa, Dan Grossman, Amit, Al-Ashhab, Ashraf, Al-Sharabati, Ibrahim, Bernstein, Roy, Herzberg, Moshe

المصدر: In Water Research 15 August 2024 260

المؤلفون: Ruth Manski, Amanda Dennis, Kelly Blanchard, Naomi Lince, Dan Grossman

المصدر: AIDS Research and Treatment, Vol 2012 (2012)

مصطلحات موضوعية: Immunologic diseases. Allergy, RC581-607

وصف الملف: electronic resource

Relation: https://doaj.org/toc/2090-1240; https://doaj.org/toc/2090-1259

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

المؤلفون: Dan Grossman, Amit, Qi, Siyao, Aregawi Gebretsadkan, Angesom, Euni Beyioku, Olanrewaju, Turkeltaub, Tuvia, Shames, Alexander I., Oren, Yoram, Ronen, Avner, Bernstein, Roy

المصدر: In Applied Surface Science 1 May 2024 654

المؤلفون: Yisu Remy Wang, Dan Grossman, Max Willsey, Chandrakana Nandi, Zachary Tatlock, Adam Anderson, Brett Saiki, Amy Y. X. Zhu, Adriana Schulz

مصطلحات موضوعية: FOS: Computer and information sciences, business.product_category, Theoretical computer science, Computer Science - Programming Languages, Computer science, Semantics (computer science), media_common.quotation_subject, Rewrite rule, Inference, computer.software_genre, Domain (software engineering), Ruler, Debugging, Compiler, Safety, Risk, Reliability and Quality, business, computer, Software, Program synthesis, media_common, Programming Languages (cs.PL)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ac624ad4eae71a99bdc77128a43ecfe7
http://arxiv.org/abs/2108.10436

المؤلفون: Luis Vega, Adrian Sampson, Luis Ceze, Dan Grossman, Joseph McMahan

المصدر: PLDI

مصطلحات موضوعية: 010302 applied physics, ComputingMilieux_THECOMPUTINGPROFESSION, Assembly language, Computer science, business.industry, Coroutine, 02 engineering and technology, computer.software_genre, Instruction selection, 01 natural sciences, Reconfigurable computing, 020202 computer hardware & architecture, Virtual machine, Embedded system, 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, Reticle, Compiler, Field-programmable gate array, business, computer, computer.programming_language

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

المؤلفون: John Toman, Dan Grossman

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

مصطلحات موضوعية: Soundness, Reflection (computer programming), Computer science, Programming language, 020207 software engineering, 02 engineering and technology, Abstract interpretation, computer.software_genre, Automatic summarization, Metaprogramming, Abstraction layer, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Concerto, Safety, Risk, Reliability and Quality, computer, Implementation, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::02667cf00def1c2dc94af4273c0130f0
https://doi.org/10.1145/3290356

المؤلفون: Gideon Oron, Daniela Calero Camarena, Roy Bernstein, Uri Yogev, Yang Yang, Amit Dan Grossman

المصدر: Environmental Science: Water Research & Technology. 5:1145-1156

مصطلحات موضوعية: Environmental Engineering, Fouling, Chemistry, Membrane fouling, Ultrafiltration, law.invention, Biofouling, Membrane, Wastewater, Chemical engineering, law, Bioreactor, Filtration, Water Science and Technology

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::bb289f2d83798b391c5a650875d603d7
https://doi.org/10.1039/c9ew00205g

المؤلفون: Song Wang, Franziska Ortiz Tena, Rohit Dey, Claudia Thomsen, Christian Steinweg, Dennis Kraemer, Amit Dan Grossman, Yonas Zeslase Belete, Roy Bernstein, Amit Gross, Stefan Leu, Sammy Boussiba, Laurenz Thomsen, Clemens Posten

المصدر: Separation and Purification Technology. 289:120744

مصطلحات موضوعية: Filtration and Separation, Analytical Chemistry

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::843cbfad6c1b95500852a7909b84989a
https://doi.org/10.1016/j.seppur.2022.120744

المؤلفون: Dan Grossman, Alex Sanchez-Stern, Sorin Lerner, Talia Ringer

المصدر: CPP

مصطلحات موضوعية: Future studies, Computer science, business.industry, Replica, Proof assistant, 020207 software engineering, 02 engineering and technology, Mathematical proof, Theorem provers, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Development (topology), 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Instrumentation (computer programming), User interface, Software engineering, business

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