Search Results - Project Veritas~

LAPORAN PERENCANAAN DAN PERANCANGAN STASIUN TERPADU KOTA BANDUNG DENGAN TEMA KONTEKSTUAL JUKSTAPOSISI by Luthfi Fauzyan Hermawanpraja, -

Link Metadata

AS ESCREVIVÊNCIAS DAS MARIAS DA CONCEIÇÃO: CONSTRUÇÃO DE NARRATIVAS HISTÓRICAS SITUADAS by Carla de Moura, Fernando Seffner

Connect to this object online.

Editorial by Gildenir Carolino Santos

Connect to this object online.

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

Table of Contents: “…Verification Techniques (not SMT) -- Directed Reachability for Infinite-State Systems -- Bridging Arrays and ADTs in Recursive Proofs -- A Two-Phase Approach for Conditional Floating-Point Verification -- Symbolic Coloured SCC Decomposition -- Case Studies -- Local Search with a SAT Oracle for Combinatorial Optimization -- Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities -- Proof Generation/Validation -- Certifying Proofs in the First-Order Theory of Rewriting -- Syntax-Guided Quantifier Instantiation -- Making Theory Reasoning Simpler -- Deductive Stability Proofs for Ordinary Differential Equations -- Tool Papers -- An SMT-Based Approach for Verifying Binarized Neural Networks -- cake lpr: Verified Propagation Redundancy Checking in CakeML -- Deductive Veri cation of Floating-Point Java Programs in KeY -- Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types -- SyReNN: A Tool for Analyzing Deep Neural Networks -- MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers -- dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts -- Tool Demo Papers -- HLola: a Very Functional Tool for Extensible Stream Runtime Verification -- AMulet 2.0 for Verifying Multiplier Circuits -- RTLola on Board: Testing Real Driving Emissions on your Phone -- Replicating Restart with Prolonged Retrials: An Experimental Report -- A Web Interface for Petri Nets with Transits and Petri Games -- Momba: JANI Meets Python -- SV-Comp Tool Competition Papers -- Software Veri cation: 10th Comparative Evaluation (SV-COMP 2021) -- CPALockator: Thread-Modular Approach with Projections (Competition Contribution) -- Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution) -- Gazer-Theta: LLVM-based Veri er Portfolio with BMC/CEGAR (Competition Contribution) -- Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints (Competition Contribution) -- Towards String Support in JayHorn (Competition Contribution) -- JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution) -- Symbiotic 8: Beyond Symbolic Execution (Competition Contribution) -- VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution).…”
Link to Metadata

Samsang gjennom livsløpet

DOAB: download the publication
DOAB: description of the publication

One Health, many perspectives: Exploring Indigenous and Western epistemologies by Michelle Pollowitz, Cole Allick, Keala B. Campbell, Nicole lee Kamakahiolani Ellison, Giselle Perez-Aguilar, Melissa Vera, Vickie Ramirez, Deborah Nadal, Julianne Meisner

Connect to this object online.

Samsang gjennom livsløpet

OAPEN Library: download the publication
OAPEN Library: description of the publication

02 Portici Advanced Design Studio

DOAB: download the publication
DOAB: description of the publication

PENGEMBANGAN KETERAMPILAN SOSIAL PADA PEMBELAJARAN IPS BERBASIS ABAD 21 MELALUI PEMANFAATAN SEJARAH LOKAL SISWA : Penelitian Tindakan Kelas pada siswa Kelas V SDN 2 Sukadana... by Neni, Maulidah

Link Metadata

MANUSIA DAN MOTOR HONDA TUA SEBAGAI IDE LUKISAN LOWBROW ART by Muhamad Parid Gunawan, -

Link Metadata

Global investments in pandemic preparedness and COVID-19: development assistance and domestic spending on health between 1990 and 2026 by Angela E Micah, Kayleigh Bhangdia, Ian E Cogswell, Dylan Lasher, Brendan Lidral-Porter, Emilie R Maddison, Trang Nhu Ngoc Nguyen, Nishali Patel, Paola Pedroza, Juan Solorio, Hayley Stutzman, Golsum Tsakalos, Yifeng Wang, Wesley Warriner, Yingxi Zhao, Bianca S Zlavog, Cristiana Abbafati, Jaffar Abbas, Mohsen Abbasi-Kangevari, Zeinab Abbasi-Kangevari, Michael Abdelmasseh, Deldar Morad Abdulah, Aidin Abedi, Kedir Hussein Abegaz, E S Abhilash, Richard Gyan Aboagye, Hassan Abolhassani, Michael R M Abrigo, Hiwa Abubaker Ali, Eman Abu-Gharbieh, Mohammed Hussien Adem, Muhammad Sohail Afzal, Ali Ahmadi, Haroon Ahmed, Tarik Ahmed Rashid, Budi Aji, Hossein Akbarialiabad, Yibeltal Akelew, Hanadi Al Hamad, Khurshid Alam, Fahad Mashhour Alanezi, Turki M Alanzi, Mohammed Khaled Al-Hanawi, Robert Kaba Alhassan, Syed Mohamed Aljunid, Sami Almustanyir, Rajaa M Al-Raddadi, Nelson Alvis-Guzman, Nelson J Alvis-Zakzuk, Azmeraw T Amare, Edward Kwabena Ameyaw, Mostafa Amini-Rarani, Hubert Amu, Robert Ancuceanu, Tudorel Andrei, Sumadi Lukman Anwar, Francis Appiah, Muhammad Aqeel, Jalal Arabloo, Morteza Arab-Zozani, Aleksandr Y Aravkin, Olatunde Aremu, Raphael Taiwo Aruleba, Seyyed Shamsadin Athari, Leticia Avila-Burgos, Martin Amogre Ayanore, Samad Azari, Atif Amin Baig, Abere Tilahun Bantie, Amadou Barrow, Pritish Baskaran, Sanjay Basu, Abdul-Monim Mohammad Batiha, Bernhard T Baune, Zombor Berezvai, Nikha Bhardwaj, Pankaj Bhardwaj, Sonu Bhaskar, Micheal Kofi Boachie, Virginia Bodolica, João Silva Botelho Botelho, Dejana Braithwaite, Nicholas J K Breitborde, Reinhard Busse, Lucero Cahuana-Hurtado, Ferrán Catalá-López, Collins Chansa, Jaykaran Charan, Vijay Kumar Chattu, Simiao Chen, Isaac Sunday Chukwu, Omid Dadras, Lalit Dandona, Rakhi Dandona, Abdollah Dargahi, Sisay Abebe Debela, Edgar Denova-Gutiérrez, Belay Desye, Samath Dhamminda Dharmaratne, Nancy Diao, Linh Phuong Doan, Milad Dodangeh, Wendel Mombaque dos Santos, Leila Doshmangir, John Dube, Ebrahim Eini, Maysaa El Sayed Zaki, Maha El Tantawi, Daniel Berhanie Enyew, Sharareh Eskandarieh, Mohamad Ezati Asar, Adeniyi Francis Fagbamigbe, Emerito Jose A Faraon, Ali Fatehizadeh, Hamed Fattahi, Ginenus Fekadu, Florian Fischer, Nataliya A Foigt, Kayode Raphael Fowobaje, Alberto Freitas, Takeshi Fukumoto, Nancy Fullman, Peter Andras Gaal, Amiran Gamkrelidze, M A Garcia-Gordillo, Mesfin Gebrehiwot, Urge Gerema, Mansour Ghafourifard, Seyyed-Hadi Ghamari, Reza Ghanbari, Ahmad Ghashghaee, Ali Gholamrezanezhad, Mahaveer Golechha, Davide Golinelli, Yitayal Ayalew Goshu, Girma Garedew Goyomsa, Avirup Guha, Damitha Asanga Gunawardane, Bhawna Gupta, Samer Hamidi, Harapan Harapan, Reza Hashempour, Khezar Hayat, Golnaz Heidari, Ileana Heredia-Pi, Claudiu Herteliu, Demisu Zenbaba Heyi, Kamal Hezam, Yuta Hiraike, Mbuzeleni Mbuzeleni Hlongwa, Ramesh Holla, Mohammad Enamul Hoque, Mehdi Hosseinzadeh, Sorin Hostiuc, Salman Hussain, Olayinka Stephen Ilesanmi, Mustapha Immurana, Arnaud Iradukunda, Nahlah Elkudssiah Ismail, Gaetano Isola, Linda Merin J, Mihajlo Jakovljevic, Mahsa Jalili, Manthan Dilipkumar Janodia, Tahereh Javaheri, Sathish Kumar Jayapal, Digisie Mequanint Jemere, Tamas Joo, Nitin Joseph, Jacek Jerzy Jozwiak, Mikk Jürisson, Billingsley Kaambwa, Vidya Kadashetti, Rajendra Kadel, Dler Hussein Kadir, Laleh R Kalankesh, Rajesh Kamath, Himal Kandel, Rami S Kantar, Shama D Karanth, Ibraheem M Karaye, Salah Eddin Karimi, Bekalu Getnet Kassa, Gbenga A Kayode, Leila Keikavoosi-Arani, Vikash Ranjan Keshri, Cumali Keskin, Yousef Saleh Khader, Morteza Abdullatif Khafaie, Himanshu Khajuria, Hamid Reza Khayat Kashani, Zemene Demelash Kifle, Hanna Kim, Jihee Kim, Min Seo Kim, Yun Jin Kim, Adnan Kisa, Stefan Kohler, Farzad Kompani, Soewarta Kosen, Sindhura Lakshmi Koulmane Laxminarayana, Ai Koyanagi, Kewal Krishan, Dian Kusuma, Judit Lám, Demetris Lamnisos, Anders O Larsson, Sang-woong Lee, Shaun Wen Huey Lee, Wei-Chen Lee, Yo Han Lee, Jacopo Lenzi, Lee-Ling Lim, László Lorenzovici, Rafael Lozano, Vanessa Sintra Machado Machado, Farzan Madadizadeh, Mohammed Magdy Abd El Razek, Razzagh Mahmoudi, Azeem Majeed, Mohammad-Reza Malekpour, Ana Laura Manda, Borhan Mansouri, Mohammad Ali Mansournia, Lorenzo Giovanni Mantovani, Carlos Alberto Marrugo Arnedo, Miquel Martorell, Ali Masoud, Elezebeth Mathews, Richard James Maude, Enkeleint A Mechili, Entezar Mehrabi Nasab, José João João Mendes Mendes, Atte Meretoja, Tuomo J Meretoja, Mohamed Kamal Mesregah, Tomislav Mestrovic, Andreea Mirica, Erkin M Mirrakhimov, Mizan Kiros Mirutse, Moonis Mirza, Mohammad Mirza-Agh, Awoke Misganaw, Marcello Moccia, Javad Moghadasi, Esmaeil Mohammadi, Mokhtar Mohammadi, Abdollah Mohammadian-Hafshejani, Marita Mohammadshahi, Shafiu Mohammed, Mohammad Mohseni, Ali H Mokdad, Lorenzo Monasta, Elias Mossialos, Ebrahim Mostafavi, Haleh Mousavi Isfahani, Christine Mpundu-Kaambwa, Shruti Murthy, Saravanan Muthupandian, Ahamarshan Jayaraman Nagarajan, Kovin S Naidoo, Mukhammad David Naimzada, Vinay Nangia, Atta Abbas Naqvi, Biswa Prakash Nayak, Rawlance Ndejjo, Trang Huyen Nguyen, Nafise Noroozi, Jean Jacques Noubiap, Khan M Nuruzzaman, Chimezie Igwegbe Nzoputam, Ogochukwu Janet Nzoputam, Bogdan Oancea, Felix Chukwudi Abrahams Obi, Abiola Ogunkoya, In-Hwan Oh, Osaretin Christabel Okonji, Andrew T Olagunju, Tinuke O Olagunju, Babayemi Oluwaseun Olakunde, Ahmed Omar Bali, Obinna E Onwujekwe, John Nelson Opio, Adrian Otoiu, Nikita Otstavnov, Stanislav S Otstavnov, Mayowa O Owolabi, Tamás Palicz, Raffaele Palladino, Adrian Pana, Tarang Parekh, Deepak Kumar Pasupula, Jay Patel, George C Patton, Uttam Paudel, Mihaela Paun, Shrikant Pawar, Simone Perna, Navaraj Perumalsamy, Ionela-Roxana Petcu, Zahra Zahid Piracha, Mohsen Poursadeqiyan, Naeimeh Pourtaheri, Sergio I Prada, Sima Rafiei, Pankaja Raghav Raghav, Fakher Rahim, Mohammad Hifz Ur Rahman, Mosiur Rahman, Amir Masoud Rahmani, Chhabi Lal Ranabhat, Temam Beshir Raru, Sina Rashedi, Mohammad-Mahdi Rashidi, Ramin Ravangard, Salman Rawaf, Reza Rawassizadeh, Elrashdy Moustafa Mohamed Redwan, Robert C Reiner, Jr, Andre M N Renzaho, Maryam Rezaei, Nazila Rezaei, Mavra A Riaz, Jefferson Antonio Buendia Rodriguez, Aly M A Saad, Basema Saddik, Saeid Sadeghian, Mohammad Reza Saeb, Umar Saeed, Maitreyi Sahu, Morteza Saki, Payman Salamati, Hedayat Salari, Sana Salehi, Abdallah M Samy, Juan Sanabria, Francesco Sanmarchi, João Vasco Santos, Milena M Santric-Milicevic, Bruno Piassi Sao Jose, Yaser Sarikhani, Brijesh Sathian, Maheswar Satpathy, Miloje Savic, Yaser Sayadi, Falk Schwendicke, Subramanian Senthilkumaran, Sadaf G Sepanlou, Edson Serván-Mori, Naomi Setshegetso, Allen Seylani, Saeed Shahabi, Masood Ali Shaikh, Murad Ziyaudinovich Shakhmardanov, Mohd Shanawaz, Mequannent Melaku Sharew Sharew, Nigussie Tadesse Sharew, Rajesh Sharma, Maryam Shayan, Aziz Sheikh, Suchitra M Shenoy, Adithi Shetty, Pavanchand H Shetty, K M Shivakumar, Luís Manuel Lopes Rodrigues Silva, Wudneh Simegn, Jasvinder A Singh, Kuldeep Singh, Natia Skhvitaridze, Valentin Yurievich Skryabin, Anna Aleksandrovna Skryabina, Bogdan Socea, Yonatan Solomon, Suhang Song, Simona Cătălina Ștefan, Muhammad Suleman, Rafael Tabarés-Seisdedos, Nathan Y Tat, Vivian Y Tat, Belay Negash Tefera, Ales Tichopad, Ruoyan Tobe-Gai, Marcos Roberto Tovani-Palone, Lorainne Tudor Car, Derara Girma Tufa, Tommi Juhani Vasankari, Milena Vasic, Dominique Vervoort, Vasily Vlassov, Bay Vo, Linh Gia Vu, Yasir Waheed, Richard G Wamai, Cong Wang, Gizachew Tadesse Wassie, Nuwan Darshana Wickramasinghe, Sanni Yaya, Arzu Yigit, Vahit Yiğit, Naohiro Yonemoto, Mustafa Z Younis, Chuanhua Yu, Ismaeel Yunusa, Leila Zaki, Burhan Abdullah Zaman, Alireza Zangeneh, Ali Zare Dehnavi, Mikhail Sergeevich Zastrozhin, Wu Zeng, Zhi-Jiang Zhang, Liesl J Zuhlke, Yves Miel H Zuniga, Simon I Hay, Christopher J L Murray, Joseph L Dieleman

Connect to this object online.

Conservation in Chilean Patagonia Assessing the State of Knowledge, Opportunities, and Challenges /

Link to Metadata

Book Review: Theoretical and applied perspective on teaching foreign languages in multilingual settings: Pedagogical implications by Shahzad-

Connect to this object online.

Cluster creativi per i beni culturali L'esperienza toscana delle tecnologie per la conservazione e la valorizzazione by Lazzeretti, Luciana

DOAB: download the publication
DOAB: description of the publication

Cluster creativi per i beni culturali L'esperienza toscana delle tecnologie per la conservazione e la valorizzazione by Lazzeretti, Luciana

OAPEN Library: download the publication
OAPEN Library: description of the publication

Living Communities and Their Archaeologies in the Middle East

DOAB: download the publication
DOAB: description of the publication

Fighting strategies to social inequality in network hall of São José by Karine Rodrigues Ramos, Celso João Carminati

Connect to this object online.

Efficient Strategies to Develop the Cultural Competence of Our Pupils. Recommendations for a High-Quality Management of Educational Activities by Diana-Crina Marin, Mușata Bocoș

Connect to this object online.

Living Communities and Their Archaeologies in the Middle East

OAPEN Library: download the publication
OAPEN Library: description of the publication

Public art : the enrichment of Genius Loci / Muhammad Falihin Jasmi, Nur Huzeima Mohd Hussain and Siti Syamimi Omar by Muhammad Falihin, Jasmi, Nur Huzeima Mohd, Hussain, Siti Syamimi, Omar

Link Metadata