Search Results - "architecture"

Refine Results
  1. 7821

    Disease Characteristics, Care-Seeking Behavior, and Outcomes Associated With the Use of AYUSH-64 in COVID-19 Patients in Home Isolation in India: A Community-Based Cross-Sectional... by Narayanam Srikanth, Adarsh Kumar, Bhogavalli Chandrasekhararao, Richa Singhal, Babita Yadav, Shruti Khanduri, Sophia Jameela, Amit Kumar Rai, Arunabh Tripathi, Rakesh Rana, Azeem Ahmad, Bhagwan Sahai Sharma, Ankit Jaiswal, Rajesh Kotecha, State Level Collaborators, Tanuja Nesari, Mahesh Vyas, Umesh Tagade, Anup Thakar, Nilesh Bhatt, Kalpesh Dattani, Sagar Bhinde, Sanjeev Sharma, Pawan Kumar Godatwar, Nisha Ojha, H.M.L. Meena, Harish Bhakuni, Pradeep Kumar Goswami, Bishnu Choudhury, K Nishanth, AJV Sai Prasad, Sujata Dhoke, K Midhuna Mohan, Savita Gopod, Arvind Kumar, Ekta Dogra, G.K. Bora, K S Pravin, Pravin Masarom Radheshyam, P.L. Bharati, Jeuti Rani Das, Vimal Tewari, Deepika Tewari, Ritika Mishra, Kuldeep, D.S. Rotwar, Anil Ahvad, Sumed Paikrao, Amit Madan, Nandini Jadhav, Vikas Nariyal, Kavita Vyas, Anubha Chandla, Vineeta Negi, Chris Antony, Vipin Sharma, Poonam Mohod, Subhash Sharma, Meenakshi Suri, Aaditya Shah, G.V. Ramana, C Tejaswini, Raghavendra, S.K. Giri, Shashidhar Doddamani, M.N Shubhashree, Srinibash Sahoo, K.M. Pratap Shankar, Parvathy.G. Nair, Devi R Nair, V. Krishna Kumar, P.P. Pradeep Kumar, E Remya, A P Karthika, T.P Sinimol, P P Meghna, Praveen Balakrishnan, Emy.S. Surendran, Varsha Sumedhan, Amit Kumar, S.B. Singh, Neelam Singh, Anil Mangal, Deepa Sharma, Laxman Bhurke, Dattatray Dighe, Kuldeep Choudhary, Saylee Deshmukh, Sneha Marlewar, Shyam Kale, U.R. Shekhar Namboori, Savita Sharma, Priya Thakre, Prashant Shinde, Balaji Potbare, Deepak Rahangdale, Gwachung Magh, G.C. Bhuyan, P. Panda, K.K. Ratha, Krishna Rao, S Indu, A.K. Panda, Banamali Das, Susmita Ota, Rinku Tomar, Harbans Singh, Sandeep Baheti, Sanjeev Kumar, S Mahesh, Sangeeta Sangvikar, S.K. Vedi, Swati Sharma, V.B. Kumawat, Suhash Choudhary, Monika Kumari, P P Indu, Rahul D. Ghuse, Shriprakash, Shrawan Kumar Sahu, Ashok Kumar Sinha, P. Srinivas, K. Prameela Devi, S Asha, Sojeetra Niral, Karisma Singh, Kamble Pallavi, Ravi Ranjan Singh, Anjali B Prasad, Mayur Surana, Sanjay Kumar Singh, Harit Kumari, A.K. Srivastava, Tarun Kumar, Deepshikha Arya, D.S. Sahu, Tushar Kanti Mondal, L.D. Barik, Suparna Saha, Ranjita Ekka, Shakti Bhushan, Achintya Mitra, Saroj Kumar Debnath, Debajyoti Das, M Akashlal, A Abhayadev, Hemant Gupta, Ajay P Yadav, Asim Ali Khan, Munawar H Kazmi, Minhaj, Rahat Raza, Md.Nafees Khan, Md. Ishtiyaq Alam, Haseeb Alam Lari, N. Zaheer Ahmed, Hakimuddin Khan, Younis Iftikhar, Seema Akbar, Sheeren Afza, Mohammad Fazil, Ashok Kumar, Mohd Tarique, Amir Faisal Khan, Amir Faisal Khan, Aijaz Ahmed, Anil Khurana, S. Karunakara Moorthi, Subhash Kaushik, Nitin Kumar Saklani, B. S. Rawat, Brunda Bezawada, Sunil Ramteke, A.K. Prusty, Liyi Karso, Amit Srivastav, Ratan Chandra Shil, Partha Pratim Pal, Lipipushpa Debata, G. Ravi Chandra Reddy, Sunil Prasad, Uttam Singh, Baidurjya Bhattacharjee, Santosh Kumar Tamang, Ravi kumar Sadarla, Pawan Sharma, Amulya Ratna Sahoo, Vibha, P Prasad, D. Karthikeyan, Raghvendra Rao, Surender Sandhu, Mohan Rao, HS Vadiraj, Ishwar V. Basavaraddi, Ishwar N Achary, K Satyalakshmi, Shivkesh, P. Yuvaraj Paul, Subhas Singh, Austin Jose, Robindra Teron, Imlikumba, Addul Wadud, Abdul Nasir Ansari, Tariq Nadeem Khan, Abdul Moheen, Tsewang Dolma, Tenzin Tenba, Anupam Srivastav, N. Ramakrishnan, Surendra Soni, Ram Shukla, Rohini Salve, M.N. Shaikh, Daxen Trivedi, Shital Bhagiya, Asha Patel, Anup Indoriya, Rachna Gandhi, Naresh Jain, Nirmal Chavada, Rahul Shingadiya, Nilesh Bhadraka, Nrupesh Gupta, Dilip Italiya, Piyush Shah, Maya Chaudhari, Sumit Patel, Bhavin Chaudhari, Mehul Parmar

    Published 2022
    Connect to this object online.
    Book
  2. 7822
  3. 7823
  4. 7824

    Migration, Displacement, and Higher Education Now What? /

    Published 2023
    Table of Contents: “…Searching for Safety and Researching for Justice: Documenting Migrant Experiences in the Paso del Norte Border Region -- 11. What Can Architectural Education Do? Froma Design-Oriented Approach toward a Research-Oriented Approach and Politically Informed Spatial Practice in the Refugee Context -- 12. …”
    Link to Metadata
    Electronic eBook
  5. 7825
  6. 7826
  7. 7827

    Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...

    Published 2022
    Table of Contents: “…Probabilistic Systems -- A Probabilistic Logic for Verifying Continuous-time Markov Chains -- Under-Approximating Expected Total Rewards in POMDPs -- Correct Probabilistic Model Checking with Floating-Point Arithmetic -- Correlated Equilibria and Fairness in Concurrent Stochastic Games -- Omega Automata -- A Direct Symbolic Algorithm for Solving Stochastic Rabin Games -- Practical Applications of the Alternating Cycle Decomposition -- Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Büchi Automata Complementation -- On-The-Fly Solving for Symbolic Parity Games -- Equivalence Checking -- Distributed Coalgebraic Partition Refinement -- From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques -- Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time -- Monitoring and Analysis -- A Theoretical Analysis of Random Regression Test Prioritization -- Verified First-Order Monitoring with Recursive Rules -- Maximizing Branch Coverage withConstrained Horn Clauses -- Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation -- Tools / Optimizations, Repair and Explainability -- Adiar: Binary Decision Diagrams in External Memory -- Forest GUMP: A Tool for Explanation -- Alpinist: an Annotation-Aware GPU Program Optimizer -- Automatic Repair for Network Programs -- 11th Competition on Software Verification / SV-COMP 2022 -- Progress on Software Verification: SV-COMP 2022 -- AProVE: Non-Termination Witnesses for C Programs (Competition Contribution) -- BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution) -- A Prototype for Data Race Detection in CSeq 3 (Competition Contribution) -- Dartagnan: SMT-based Violation Witness Validation (Competition Contribution) -- Deagle: An SMT-based Veri er for Multi-threaded Programs (Competition Contribution) -- The Static Analyzer Frama-C in SV-COMP (Competition Contribution) -- GDart: An Ensemble of Tools for Dynamic Symbolic Execution on the Java Virtual Machine (Competition Contribution) -- Graves-CPA: A Graph-Attention Veri er Selector (Competition Contribution) -- GWIT: A Witness Validator for Java based on GraalVM (Competition Contribution) -- The Static Analyzer Infer in SV-COMP (Competition Contribution) -- LART: Compiled Abstract Execution (Competition Contribution) -- Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding (Competition Contribution) -- Symbiotic-Witch: A Klee-Based Violation Witness Checker (Competition Contribution) -- Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection -- Ultimate GemCutter and the Axes of Generalization (Competition Contribution) -- Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution).…”
    Link to Metadata
    Electronic eBook
  8. 7828
  9. 7829
  10. 7830

    Data Journeys in the Sciences

    Published 2020
    Table of Contents: “…'Overcoming the Bottleneck': Knowledge Architectures for Genomic Data Interpretation in Oncology (A Cambrosio, J Campbell, E Vignola-Gagné, P Keating, B Jordan and P Bourret) -- Chapter 17. …”
    Link to Metadata
    Electronic eBook
  11. 7831

    Agile Processes in Software Engineering and Extreme Programming - Workshops XP 2020 Workshops, Copenhagen, Denmark, June 8-12, 2020, Revised Selected Papers /

    Published 2020
    Table of Contents: “…Tactics in Support of FaaS Migrations -- Predictable performance for QoS-sensitive, scalable, multi-tenant Function-as-a-Service deployments -- On the use of Web Assembly in a Serverless Context -- Second International Workshop on Agile Transformations -- Agile Transformation (ATRANS) Workshop: A Summary and Research Agenda -- Agile Transformation: How Employees Experience and Cope with Transformative Change -- Strategy-focused agile transformation: acase study -- Shifting conceptualization of control in Agile Transformations -- It's not Easy Being Agile: Unpacking Paradoxes in Agile Environments -- First International Workshop on Agility with Microservices Programming -- Summary of the First International Workshop on Agility with Microservices Programming -- Improving agility by managing shared libraries in microservices -- Certification as a service -- Third International Workshop on Autonomous Agile Teams -- A decade of research on autonomous agile teams: A summary of the third international workshop at XP2020 -- Dependencies of Agile Teams - An Analysis of the Scaled Agile Framework -- Understanding Work Practices of Autonomous Agile Teams: A Social-Psychological Review -- Spotify Tailoring for Architectural Governance -- Enabling Team Autonomy in a Large Organization -- Defining TestOps: Collaborative Behaviors and Technology-driven Workflows Seen as Enablers of Effective Software Testing in DevOps -- Doctoral Symposium -- Investigating Agile Adoption in Saudi Arabian Mobile Application Development -- Crowd Agile Model for Effective Software Development -- Continuous Information Monitoring in Software Startups -- Agile Education and Training Track -- Is it Possible to Apply Agile Methods to Contribute to the Linux Kernel -- Forming and Assessing Student Teams in Software Engineering Courses -- Panel -- Covid-19's Influence on the Future of Agile.…”
    Link to Metadata
    Electronic eBook
  12. 7832
  13. 7833
  14. 7834
  15. 7835
  16. 7836
  17. 7837
  18. 7838
  19. 7839
  20. 7840