He has been elevated to a Fellow of the IEEE for his contributions to energy-efficient and approximate computing. Reda received ... Approximate circuits : methodologies and CAD. Sherief Reda, Muhammad Shafique. Cham, Switzerland. 2019. ISBN 978-3-319-99322-5 ... IEEE International Green and Sustainable Computing Conference in 2018. In addition, his publications have been nominated for ... Reda, Sherief (2012). Power modeling and characterization of computing devices : a survey. Abdullah N. Nowroz. Boston: Now. ...

"Service-Oriented and Cloud Computing SOMF Modeling Tools" (Softcopy). Sparx Systems. "Service-Oriented and Cloud Computing SOMF ... The MSAC methodology is introduced to view and design 3D software constructions in any space, here on earth, any continent, ... SOMF includes a modeling language and a life cycle methodology (see image below) suited for narrowing the gap between the ... "Cloud Computing Modeling Notation". Sparx Systems. Bell, Michael (2023). Software Architect. Wiley & Sons. ISBN 978-1119820970 ...

Golemati, Spyretta; Nikita, Konstantina S. (2019). Cardiovascular Computing-Methodologies and Clinical Applications. Series in ... Nikita and her team developed smart systems, which incorporate sensing, computing and communication technologies, software/ ... Computing. 53 (12): 1333-1343. doi:10.1007/s11517-015-1320-9. PMID 26049412. S2CID 1565191. Golemati, S.; Gastounioti, A.; ...

Golemati, Spyretta; Nikita, Konstantina (2019). Cardiovascular Computing-Methodologies and Clinical Applications. Springer. ... In the diagnosis of lung cancer, computed tomography with special three-dimensional CAD systems are established and considered ... Giger, M. L.; Bae, K. T.; MacMahon, H. (1994-04-01). "Computerized detection of pulmonary nodules in computed tomography images ... State-of-the-art methods in cardiovascular computing, cardiovascular informatics, and mathematical and computational modeling ...

Bruce H. McCormick, Thomas A. DeFanti and Maxine D. Brown (eds.) (1987). Visualization in Scientific Computing. ACM Press. ... Gregory M. Nielson, Hans Hagen and Heinrich Müller (1997). Scientific Visualization: Overviews, Methodologies, and Techniques. ... Sandia National Laboratory San Diego Supercomputer Center Scientific Computing and Imaging Institute Texas Advanced Computing ... This image was created from data generated by a tornado simulation calculated on NCSA's IBM p690 computing cluster. High- ...

Subhasish DasGupta (November 2009). Social Computing: Concepts, Methodologies, Tools and Applications. Idea Group Inc (IGI). p ...

Simulation and Modeling Methodologies, Technologies and Applications. Advances in Intelligent Systems and Computing. Vol. 319. ... Adaptation and learning methodologies used to adapt the FCM model and adjust its weights. Kosko and Dickerson (Dickerson & ... In IT project management, a FCM-based methodology helps to success modelling, risk analysis and assessment, IT scenarios ... Salmeron, Jose L.; Gutierrez, E. (2012). "Fuzzy Grey Cognitive Maps in Reliability Engineering". Applied Soft Computing. 12 (12 ...

His varied research interests also included interactive computing; time series analysis; the relation between statistical ... theory and practical decision making; survey methodology and practice; and productivity and quality improvement. Roberts was ...

Data management, Servers (computing), Workflow technology, Workflow applications). ... BMC Medical Research Methodology. 11: 43. doi:10.1186/1471-2288-11-43. PMC 3079703. PMID 21477364. ( ...

"SystemC based ESL methodologies - SystemC based ESL methodologies". Circuitsutra.com. Retrieved 2016-10-03. John M. at a major ... ERP & DBMS Corporation (2016-08-29). "QuickPlay: Bringing FPGA Computing to the Masses". Quickplay.io. Retrieved 2016-10-03. " ... covers the use of C/C++, SystemC, TML and even UML Liming Xiu (2007). VLSI circuit design methodology demystified: a conceptual ...

ACM Symposium on Applied Computing Data Streams Track held in conjunction with the 2007 ACM Symposium on Applied Computing (SAC ... Lughofer, Edwin (2011). Evolving Fuzzy Systems - Methodologies, Advanced Concepts and Applications. Studies in Fuzziness and ... ACM Computing Surveys. 46 (4): 1-37. doi:10.1145/2523813. S2CID 207208264. Gomes, Heitor Murilo; Read; Bifet; Barddal; Gama ( ... ACM Computing Surveys. 55 (4): 1-42. arXiv:2106.09170. doi:10.1145/3523055. ISSN 0360-0300. Grzenda, Maciej; Gomes, Heitor ...

"Towards a feminist HCI methodology". Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. New York, NY, ... Gender HCI by comparison, examines the functional differences between females and males in using specific computing software ... Bardzell, Shaowen (2010). "Feminist HCI". Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. pp. 1301- ... New York, NY, USA: Association for Computing Machinery. doi:10.1145/1878450.1878493. Rode, Jennifer A. (2011). "A theoretical ...

Castor, Kevin (2006). "Hardware Testing and Benchmarking Methodology". Archived from the original on 2008-02-05. Retrieved 2008 ... especially high volume concurrent batch and online computing. Batch computing tends to be much more focused on the ... In computing, a benchmark is the act of running a computer program, a set of programs, or other operations, in order to assess ... CPUs that have many execution units - such as a superscalar CPU, a VLIW CPU, or a reconfigurable computing CPU - typically have ...

The DEMO methodology gives the analyst an understanding of the essence of business processes and organisations. Enterprise ... Electronic Workshops in Computing). With Frank Dignum, Egon Verharen, and Hans Weigand. Springer ISBN 3-540-76118-7 2006. ... Inspired by the Language Action Perspective in the 1980s Dietz has been developing a methodology for transaction modelling and ... Jan L. G. Dietz at DBLP Bibliography Server DEMO Design & Engineering Methodology for Organisations website. (Webarchive ...

Ran Canetti; Oded Goldreich; Shai Halevi (1998). "The Random Oracle Methodology Revisited". Symposium on Theory of computing ( ... Danny Dolev; Cynthia Dwork; Moni Naor (1991). "Non-Malleable Cryptography" (PDF). Symposium on Theory of Computing (STOC). ACM ...

"COMPUTING THE REEB GRAPH FOR TRIANGLE MESHES WITH ACTIVE CONTOURS" Latorre Carmona, Pedro; Sánchez, J. Salvador; Fred, Ana L.N ... 2012-11-09). Mathematical Methodologies in Pattern Recognition and Machine Learning. Springer. ISBN 9781461450764. Latorre ... "COMPUTING THE REEB GRAPH FOR TRIANGLE MESHES WITH ACTIVE CONTOURS". Proceedings of the 1st International Conference on Pattern ...

Soft Computing - A Fusion of Foundations, Methodologies and Applications. 2004-09-01. Springer Berlin / Heidelberg (Automata ( ...

Dori is known for the development of Object Process Methodology, for which he received the Technion Klein Research Award and ... ACM Computing Surveys. 40: 1-89. doi:10.1145/1322432.1322435. S2CID 13604145. Dori, Dov (1995). "Object-Process Analysis: ... doi:10.1016/s0306-4379(02)00078-9. Reinhartz-Berger, I.; Dori, D. (2004). "Object-Process Methodology (OPM) vs. UML: A Code ... Dori, D. (2002). Object-Process Methodology - A Holistic Systems Paradigm. New York: Springer Verlag. Dori, Dov (2002). Object- ...

Soft Computing: A Fusion of Foundations, Methodologies and Applications. 3 (3): 117. doi:10.1007/s005000050059. S2CID 33847519 ... He has been Guest Editor of special issues of Soft Computing in 1999 and of Annals of Mathematics and Artificial Intelligence ... Possibility Measures in Probabilistic Inference in Soft Methodology for Handling Variability and Imprecision, Springer (2008) ... ". "Soft Computing". "Annals of Mathematics and Artificial Intelligence". Giulianella, Coletti (1999). "International Journal ...

Special Issue on 'Emerging Trends in Soft Computing - Memetic Algorithm', Soft Computing Journal, Completed & In Press, 2008. ... Methodologies and Applications. 13 (8-9): 871-882. CiteSeerX 10.1.1.368.7327. doi:10.1007/s00500-008-0354-4. S2CID 17032624. ... Memetic Computing' by Thomson Scientific's Essential Science Indicators as an Emerging Front Research Area. Special Issue on ... In general, using the ideas of memetics within a computational framework is called memetic computing or memetic computation (MC ...

"Process-centered review of object oriented software development methodologies". ACM Computing Surveys. Association for ... Computing Machinery ACM. 40 (1): 1-89. doi:10.1145/1322432.1322435. S2CID 13604145. Scott W. Ambler's website on the Enterprise ...

2011 31st International Conference on Distributed Computing Systems. IEEE Icdcs. pp. 363-372. doi:10.1109/ICDCS.2011.79. ISBN ... Survey methodology). ...

Methodology and Computing in Applied Probability. 1 (3): 307-328. doi:10.1023/A:1010090512027. S2CID 1512689. Diaconis, Persi ( ... Interacting MCMC methodologies are a class of mean-field particle methods for obtaining random samples from a sequence of ... These advanced particle methodologies belong to the class of Feynman-Kac particle models, also called Sequential Monte Carlo or ... Series B (Statistical Methodology). 68 (3): 411-436. arXiv:cond-mat/0212648. doi:10.1111/j.1467-9868.2006.00553.x. S2CID ...

Methodology and Computing in Applied Probability. 10 (3): 435. doi:10.1007/s11009-007-9057-z. S2CID 122047337. Lisman, J. H. C ... Methodology and Computing in Applied Probability. 13 (1): 1-27. doi:10.1007/s11009-009-9133-7. S2CID 18155189. Botev, Z. I.; ... Computing further one has 0 = D u 2 log ⁡ ( C ( ⋅ ) ) , γ → = D u ( D u C ( ⋅ ) C ( ⋅ ) ) , γ → = D u 2 C ( ⋅ ) C ( ⋅ ) , γ ...

... : Research interests, Oxford University Computing Laboratory, UK. "IFIP Working Group 2.3: Programming Methodology". ... worked on denotational semantics with Christopher Strachey in the Programming Research Group at the Oxford University Computing ...

Methodology and Computing in Applied Probability. 11 (3): 385. doi:10.1007/s11009-008-9089-z. hdl:10016/14071. S2CID 53327887. ...

Methodology and Computing in Applied Probability. 10 (4): 471-505. CiteSeerX 10.1.1.399.7912. doi:10.1007/s11009-008-9073-7. ... ISBN 978-0-415-39630-1. Zio, E.; Pedroni, N. (2011). "How to effectively compute the reliability of a thermal-hydraulic nuclear ... Subset simulation is a method used in reliability engineering to compute small (i.e., rare event) failure probabilities ... INFORMS Journal on Computing. arXiv:1909.03566. doi:10.1287/ijoc.2019.0936. S2CID 202540190. Au, S.K.; Wang, Y. (2014). ...

"How cybernetics connects computing, counterculture, and design". www.dubberly.com. Retrieved 2018-08-20. "20th WCP: The ... Midgley, Gerald (2012). Systemic Intervention: Philosophy, Methodology, and Practice. New York: Springer Science & Business ...

Crovella, M. E.; Taqqu, M. S. (1999). "Estimating the Heavy Tail Index from Scaling Properties". Methodology and Computing in ... or a computed residual or filtered data from a large class of models and estimators, including mis-specified models and models ...

2011). Cloud Computing: Methodology, Systems, and Applications. Rajiv Ranjan, Jinjun Chen, Boualem Benatallah. CRC Press. pp. ... In cloud computing, Storage as a Service (SaaS) involves the provision of off-site storage for data and information. This ...

Methodology and Computing in Applied Probability. 15 (1): 105-108. doi:10.1007/s11009-011-9224-0. hdl:20.500.11850/64244. S2CID ... This methodology is limited such that it does not allow for dependence to evolve as the financial markets exhibit asymmetric ... Applied studies adopted the copula-based methodology to examine e.g., agricultural droughts or joint effects of temperature and ... Theoretical studies adopted the copula-based methodology for instance to gain a better understanding of the dependence ...