Søgeresultater - "computation"

Exploring water, sanitation, and hygiene coverage targets for reaching and sustaining trachoma elimination: G-computation analysis. af Kristin M Sullivan, Emma M Harding-Esch, Alexander P Keil, Matthew C Freeman, Wilfrid E Batcho, Amadou A Bio Issifou, Victor Bucumi, Assumpta L Bella, Emilienne Epee, Segni Bobo Barkesa, Fikre Seife Gebretsadik, Salimato Sanha, Khumbo M Kalua, Michael P Masika, Abdallahi O Minnih, Mariamo Abdala, Marília E Massangaie, Abdou Amza, Boubacar Kadri, Beido Nassirou, Caleb D Mpyet, Nicholas Olobio, Mouctar D Badiane, Balgesa E Elshafie, Gilbert Baayenda, George E Kabona, Oscar Kaitaba, Alistidia Simon, Tawfik Q Al-Khateeb, Consity Mwale, Ana Bakhtiari, Daniel Westreich, Anthony W Solomon, Emily W Gower

Connect to this object online.

Exploring water, sanitation, and hygiene coverage targets for reaching and sustaining trachoma elimination: G-computation analysis af Kristin M. Sullivan, Emma M. Harding-Esch, Alexander P. Keil, Matthew C. Freeman, Wilfrid E. Batcho, Amadou A. Bio Issifou, Victor Bucumi, Assumpta L. Bella, Emilienne Epee, Segni Bobo Barkesa, Fikre Seife Gebretsadik, Salimato Sanha, Khumbo M. Kalua, Michael P. Masika, Abdallahi O. Minnih, Mariamo Abdala, Marília E. Massangaie, Abdou Amza, Boubacar Kadri, Beido Nassirou, Caleb D. Mpyet, Nicholas Olobio, Mouctar D. Badiane, Balgesa E. Elshafie, Gilbert Baayenda, George E. Kabona, Oscar Kaitaba, Alistidia Simon, Tawfik Q. Al-Khateeb, Consity Mwale, Ana Bakhtiari, Daniel Westreich, Anthony W. Solomon, Emily W. Gower

Connect to this object online.

Computation Cost Price of clinical laboratories services in valiasr hospitals in Tehran in 1387 by using of ABC model af A.A Nasiripoor, J Tabibi, M.R Maleki, T Nourozi

Connect to this object online.

PENGARUH PENGGUNAAN MEDIA AUDIBLE BOOKS TERHADAP KEMAMPUAN COMPUTATION THINKING SISWA DI SEKOLAH DASAR af Jesi Alexander Alim, Neni Hermita, Muhammad Fendrik, Cici Oktaviani

Connect to this object online.

Parallel and distributed computation of a fingerprint access control system / Bopatriciat Boluma Mangata ... [et al.] af Mangata, Bopatriciat Boluma, Muamba, Kadima, Khalaba, Fundji, Parfum, Bukanga Christian, Mbambi, Kisiaka

Link Metadata

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings /

Fag: “...Computer science Mathematics....”
Link to Metadata

Gender Differences in Computer and Information Literacy An In-depth Analysis of Data from ICILS / af Gebhardt, Eveline, Thomson, Sue, Ainley, John, Hillman, Kylie

Indholdsfortegnelse: “...Introduction to Gender Differences in Computer and Information Literacy -- 2. Data and Methods Used for ICILS 2013 -- 3. ...”
Link to Metadata

Computational Cognitive Modeling and Linguistic Theory af Brasoveanu, Adrian, Dotlačil, Jakub

Link to Metadata

Measuring the Business Value of Cloud Computing

Indholdsfortegnelse: “...-Chapter 3 - The SaaS Payoff: Measuring the Business Value of Provisioning Software-as-a-Service Technologies Chapter 4 - Cloud service brokerage: Exploring characteristics and benefits of B2B cloud application marketplaces -- Chapter 5 - Economic Models for Federated Clouds: An Extension of Cost Models for Cloud Deployments -- Chapter 6 - Value creation and power asymmetries in digital ecosystems: A study of a cloud gaming provider -- Chapter 7 - Measuring the Business Value of Cloud Computing: Emerging Paradigms and Future Directions for Research....”
Link to Metadata

Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings /

Fag: “...Computer science Mathematics....”
Link to Metadata

Probability in Electrical Engineering and Computer Science An Application-Driven Course / af Walrand, Jean

Fag: “...Computer science Mathematics....”
Link to Metadata

Data Privacy and Trust in Cloud Computing Building trust in the cloud through assurance and accountability /

Indholdsfortegnelse: “...Chapter 1: Understanding Trust and Cloud Computing: An Integrated Framework for Assurance and Accountability in the Cloud -- Chapter 2: Dear Cloud, I think we have trust issues: Cloud Computing Contracts and Trust -- Chapter 3: Competing Jurisdictions - Data Privacy Across the Border -- Chapter 4: Understanding and Enhancing Consumer Privacy Perceptions in the Cloud -- Chapter 5: Justice vs Control in Cloud Computing: A Conceptual Framework for Positioning a Cloud Service Provider's Privacy Orientation -- Chapter 6: Ethics and Cloud Computing -- Chapter 7: Trustworthy Cloud Computing....”
Link to Metadata

Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings /

Fag: “...Computer science....”
Link to Metadata

Foundations of Software Science and Computation Structures 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings /

Fag: “...Computer science....”
Link to Metadata

Handbook of Computational Social Science for Policy

Link to Metadata

Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings /

Fag: “...Computer science....”
Link to Metadata

Differential Equations for Studies in Computational Electrophysiology af Horgmo Jæger, Karoline, Tveito, Aslak

Fag: “...Computer science....”
Link to Metadata

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018....

Indholdsfortegnelse: “...Semantics -- Non-angelic Concurrent Game Semantics -- A Trace Semantics for System F Parametric Polymorphism -- Categorical Combinatorics for Non Deterministic Strategies on Simple Games -- A Syntactic View of Computational Adequacy -- Linearity -- A New Linear Logic for Deadlock-Free Session-Typed Processes -- A Double Category Theoretic Analysis of Graded Linear Exponential Comonads -- Depending on Session-Typed Processes -- FabULous Interoperability for ML and a Linear Language -- Concurrency -- Automata for True Concurrency Properties -- A Theory of Encodings and Expressiveness -- A Framework for Parameterized Monitorability -- Logics for Bisimulation and Divergence -- Lambda-Calculi and Types -- Call-by-need, Neededness and All That -- Fitch-Style Modal Lambda Calculi -- Realizability Interpretation and Normalization of Typed Call-by-Need -- Quotient Inductive-Inductive Types -- Category Theory and Quantum Control -- Guarded Traced Categories -- Proper Semirings and Proper Convex Functors -- From Symmetric Pattern-Matching to Quantum Control -- Quantitative Models -- The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes -- A Hierarchy of Scheduler Classes for Stochastic Automata -- Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings -- Comparator Automata in Quantitative Verification -- Logics and Equational Theories -- Modular Tableaux Calculi for Separation Theories -- Differential Calculus with Imprecise Input and its Logical Framework -- The Effects of Adding Reachability Predicates in Propositional Separation Logic -- The Equational Theory of the Natural Join and of Inner Union is Decidable -- Graphs and Automata -- Minimization of Graph Weighted Models over Circular Strings -- Games on Graphs with a Public Signal Monitoring -- WQO Dichotomy for 3-Graphs -- Verifying Higher-Order Functions with Tree Automata....”
Link to Metadata

Computer-Aided Exercises in Civil Procedure af Park, Roger C., McFarland, Douglas D.

Access online version

Classical Numerical Methods in Scientific Computing af van Kan, Jos, Segal, Guus, Vermolen, Fred

Access online version