Search Results - TVP1~

Autonomous Control for a Reliable Internet of Services Methods, Models, Approaches, Techniques, Algorithms, and Tools /

Table of Contents: “…QoX Network- and Cloud Services Management -- Traffic Management for Cloud Federation -- Efficient Simulation of IoT Cloud Use Cases -- Security of Internet of Things for Reliable Internet of Services -- TCP performance over current cellular access: Acomprehensive analysis.…”
Link to Metadata

Concepts, Frames and Cascades in Semantics, Cognition and Ontology

Table of Contents: “…Implicatures and naturalness (Igor Douven) -- Chapter 8. Perception, types and frames (Robin Cooper) -- Part III: Conceptualizing eventualities -- Chapter 9. …”
Link to Metadata

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /

Table of Contents: “…Certified Core-Guided MaxSAT Solving -- Superposition with Delayed Unification -- On Incremental Pre-processing for SMT -- Verified Given Clause Procedures -- QSMA: A New Algorithm for Quantified Satisfiability Modulo Theory and Assignment -- Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs -- An Isabelle/HOL Formalization of the SCL(FOL) Calculus -- SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning -- Formal Reasoning about Influence in Natural Sciences Experiments -- A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification) -- SAT-Based Subsumption Resolution -- A more Pragmatic CDCL for IsaSAT and targetting LLVM (Short Paper) -- Proving Non-Termination by Acceleration Driven Clause Learning (Short Paper) -- COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description) -- Choose your Colour: Tree Interpolation for Quantified Formulas in SMT -- Proving Termination of C Programs with Lists -- Reasoning about Regular Properties: A Comparative Study -- Program Synthesis in Saturation -- A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus -- Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs -- Verification of NP-hardness Reduction Functions for Exact Lattice Problems -- Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic -- Left-Linear Completion with AC Axioms -- On P -interpolation in local theory extensions and applications to the study of interpolation in the description logics EL, EL+ -- Theorem Proving in Dependently-Typed Higher-Order Logic -- Towards Fast Nominal Anti-Unification of Letrec-Expressions -- Confluence Criteria for Logically Constrained Rewrite Systems -- Towards a Verified Tableau Prover for a Quantifier-Free Fragment of Set Theory -- An Experimental Pipeline for Automated Reasoning in Natural Language (Short paper) -- Combining Combination Properties: An Analysis of Stable-infiniteness, Convexity, and Politeness -- Decidability of difference logic over the reals with uninterpreted unary predicates -- Incremental Rewriting Modulo SMT -- Iscalc: an Interactive Symbolic Computation Framework (System Description).…”
Link to Metadata

Language Technologies for the Challenges of the Digital Age 27th International Conference, GSCL 2017, Berlin, Germany, September 13-14, 2017, Proceedings /

Table of Contents: “…Examining the Impact of Implicitness on the Perception of Hate Speech -- Automatic Classification of Abusive Language and Personal Attacks in Various Forms of Online Communication -- Token Level Code-Switching Detection Using Wikipedia as a Lexical Resource -- How Social Media Text Analysis Can Inform Disaster Management -- A Comparative Study of Uncertainty Based Active Learning Strategies for General Purpose Twitter Sentiment Analysis with Deep Neural Networks -- An Infrastructure for Empowering Internet Users to Handle Fake News and Other Online Media Phenomena -- Different Types of Automated and Semi-automated Semantic Storytelling: Curation Technologies for Different Sectors -- Twitter Geolocation Prediction Using Neural Networks -- Diachronic Variation of Temporal Expressions in Scientific Writing Through the Lens of Relative Entropy -- A Case Study on the Relevance of the Competence Assumption for Implicature Calculation in Dialogue Systems -- Supporting Sustainable Process Documentation -- Optimizing Visual Representations in Semantic Multi-Modal Models with Dimensionality Reduction, De-noising and Contextual Information -- Using Argumentative Structure to Grade Persuasive Essays.…”
Link to Metadata

Sexual Reproduction in Animals and Plants

Table of Contents: “…Franklin-Tong ) -- 24 S-RNase-based Self-incompatibility in Petunia: A Complex Non-self Recognition System Between Pollen and Pistil (Teh-hui Kao) -- 25 Self-incompatibility System of Ipomoea trifida, a Wild-type Sweet Potato (Tohru Tsuchiya) -- Part 4 Male-Female Interaction and Gamete Fusion -- 26 Profiling the GCS1-based Gamete Fusion Mechanism (Toshiyuki Mori) -- 27 Fertilization Mechanisms of the Rodent Malarial Parasite Plasmodium berghei (Makoto Hirai) -- 28 Sexual Reproduction of a Unicellular Charophycean Alga, Closterium peracerosum-strogosum-littorale Complex (Hiroyuki Sekimoto) -- 29 Fertilization of Brown Algae: Flagellar Function in Phototaxis and Chemotaxis (Taizo Motomura ) -- 30 Gene and Protein Expression Profiles in Rice Gametes and Zygotes: A Cue for Understanding the Mechanisms of Gametic and Early Zygotic Development in Angiosperms (Takashi Okamoto) -- 31 Role of CD9 in Sperm-Egg Fusion and Virus-induced Cell Fusion in Mammals (Kenji Miyado) -- 32 The Mechanism of Sperm-Egg Fusion in Mouse and the Involvement of IZUMO1 (Naokazu Inoue) -- 33 A ZP2 Cleavage Model of Gamete Recognition and the Post-fertilization Block to Polyspermy (Jurrien Dean) -- 34 Involvement of Carbohydrate Residues of the Zona Pellucida in In Vitro Sperm Recognition in Pigs and Cattle (Naoto Yonezawa) -- Part 5 Organella, Proteolysis, and New Techniques -- 35 The Role of Peroxisomes in Plant Reproductive Processes (Shoji Mano) -- 36 Regulation of Vacuole-mediated Programmed Cell Death During Innate Immunity and Reproductive Development in Plants (Tomoko Koyano) -- 37 Sperm Proteasomes as a Putative Egg Coat Lysin in Mammals (Peter Sutovsky) -- 38 Germline Transformation in the Ascidian Ciona intestinalis (Yasunori Sasakura) -- BM Index.  .…”
Link to Metadata

Forest Entomology and Pathology Volume 1: Entomology /

Table of Contents: “…Sap-sucking Forest Pests -- 14. Gall Formers -- 15. Tip, Shoot, Root and Regeneration Pests -- 16. Insects of Reproductive Structures -- Section III: Management of Forest Insect Pests -- 17. …”
Link to Metadata

The Plaston Concept Plastic Deformation in Structural Materials /

Table of Contents: “…Improvement of fatigue lifetime by controlling plaston at crack tip -- Part IV. Design and development of high performance structural materials -- 12. …”
Link to Metadata

Maternal and neonatal outcomes after caesarean delivery in the African Surgical Outcomes Study: a 7-day prospective observational cohort study by David Bishop, PhD, Robert A Dyer, ProfPhD, Salome Maswime, PhD, Reitze N Rodseth, ProfPhD, Dominique van Dyk, FCA, Hyla-Louise Kluyts, ProfMMed Anaes, Janat T Tumukunde, MMed Anaes, Farai D Madzimbamuto, FCA ECSA, Abdulaziz M Elkhogia, FRCA, Andrew K N Ndonga, FICS, Zipporah W W Ngumi, ProfFFARCS, Akinyinka O Omigbodun, ProfFWACS, Simbo D Amanor-Boadu, ProfFMCA, Eugene Zoumenou, ProfPhD, Apollo Basenero, MBChB, Dolly M Munlemvo, MD, Coulibaly Youssouf, ProfMD, Gabriel Ndayisaba, ProfMD, Akwasi Antwi-Kusi, FGCS, Veekash Gobin, MD, Patrice Forget, ProfMD, Bernard Mbwele, MSc, Henry Ndasi, DS, Sylvia R Rakotoarison, MD, Ahmadou L Samateh, FWACS, Ryad Mehyaoui, ProfMD, Ushmaben Patel-Mujajati, MMed Anaes, Chaibou M Sani, MD, Tonya M Esterhuizen, MSc, Thandinkosi E Madiba, ProfPhD, Rupert M Pearse, ProfMD Res, Bruce M Biccard, ProfPhD, Hippolyte Abadagan, N Abbas, A Ibrahim Abdelatif, Traoré Abdoulaye, A Abd-rouf, A Abduljalil, A Abdulrahman, S Abdurazig, A Abokris, W Abozaid, SOA Abugassa, F Abuhdema, SA Abujanah, R Abusamra, A Abushnaf, SA Abusnina, TS Abuzalout, HM Ackermann, YB Adamu, A Addanfour, DM Adeleke, TA Adigun, AO Adisa, Sèhivè Valéry Adjignon, NA Adu-Aryee, BB Afolabi, AFX Agaba, PKA Agaba, K Aghadi, H Agilla, B Ahmed, El-Z Ahmed, Al-J Ahmed, M Ahmed, Rene Ahossi, SA Aji, S Akanyun, I Akhideno, M Akhter, OA Akinyemi, M Akkari, Joseph Akodjenou, AL AL Samateh, ES al Shams, OT Alagbe-Briggs, EA Alakkari, RB Alalem, M Alashhab, OI Alatise, A Alatresh, MSI Alayeb Alayeb, BA Albakosh, F Albert, ANJD Alberts, AD Aldarrat, A Alfari, A Alfetore, M Algbali, A Algddar, HA Algedar, IA Alghafoud, A Alghazali, M Alhajj, A Alhendery Alhendery, FFH Alhoty, A Ali, YA Ali, A Ali, Beye Seïdina Alioune, MA Alkassem, MA Alkchr, TS Alkesa, A Alkilani, F Alkobty Alkobty, Thomas Allaye, SBM Alleesaib, A Alli, K Allopi, NL Allorto, A Almajbery, R Almesmary, SHA Almisslati, F Almoraid, H Alobeidi, MA Alomami, Christella S Alphonsus, OA Alqawi, AA Alraheem, SA Alsabri, A Alsayed, B Alsellabi, M Al-Serksi, MSA Alshareef, AA Altagazi, JS Aluvale, HW Alwahedi, EA Alzahra, MA Alzarouk, K Al-Zubaidy, M Amadou, Maiga Amadou, Simbo D Amanor-Boadu, Al-A Amer, BT Amisi, MA Amuthenu, TWA Anabah, Felix Anani, PGR Anderson, AGB Andriamampionona, L Andrianina, A Anele, R Angelin, N Anjar, O Antùnez, Akwasi Antwi-Kusi, LJC Anyanwu, AA Aribi, OA Arowolo, O Arrey, Daniel Zemenfes Ashebir, SB Assefa, Guy Assoum, V Athanse, JS Athombo, M Atiku, E Atito-Narh, Anatole Atomabe, A Attia, M Aungraheeta, DMA Aurélia, OO Ayandipo, AET Ayebale, HMZ Azzaidey, NB Babajee, HB Badi, EK Badianga, RB Baghni, MT Bahta, M Bai, Y Baitchu, AM Baloyi, KA Bamuza, MI Bamuza, L Bangure, OB Bankole, ML Barongo, MM Barow, Apollo Basenero, L Bashiya, CH Basson, Sudha Bechan, S Belhaj, MM Ben Mansour, D Benali, ASB Benamour, A Berhe, JD Bertie, JJA Bester, M Bester, JD Bezuidenhout, K Bhagwan, DR Bhagwandass, KAP Bhat, MMZU Bhuiyan, Bruce M Biccard, F Bigirimana, CJ Bikuelo, BE Bilby, SS Bingidimi, KE Bischof, David G Bishop, C Bitta, M Bittaye, Thuli Biyase, CA Blake, E Blignaut, F Blignaut, BN BN Tanjong, A Bogoslovskiy, PM Boloko, SKB Boodhun, I Bori, F Boufas, M Brand, Nicholas T Brouckaert, JD Bruwer, I Buccimazza, IM Bula Bula, Fred Bulamba, BC Businge, YB Bwambale, SRC Cacala, MA Cadersa, Chris Cairns, F Carlos, ME Casey, AC Castro, ND Chabayanzara, MS Chaibou, TNO Chaibva, NK Chakafa, C Chalo, C Changfoot, MC Chari, L Chelbi, JT Chibanda, HN Chifamba, N Chikh, E Chikumba, P Chimberengwa, J Chirengwa, FM Chitungo, MC Chiwanga, MM Chokoe, TM Chokwe, B Chrirangi, M Christian, B Church, JC Cisekedi, JN Clegg-Lamptey, Estie Cloete, Megan Coltman, W Conradie, N Constance, Youssouf Coulibaly, L Cronje, MA Da Silva, H Daddy, L Dahim, D Daliri, MS Dambaki, A Dasrath, JG Davids, Gareth L Davies, JT De Lange, JB de Wet, B Dedekind, MA Degaulle, V Dehal, PD Deka, S Delinikaytis, IS Desalu, Hubert Dewanou, MB Moussa Deye, C Dhege, BSG Diale, DF Dibwe, BJS Diedericks, JM Dippenaar, L Dippenaar, MP Diyoyo, Edith Djessouho, SN Dlamini, A Dodiyi-Manuel, BA Dokolwana, DP Domoyyeri, Leanne W Drummond, DE du Plessis, WM du Plessis, LJ du Preez, K Dube, NZ Dube, KD Dullab, R Duvenhage, RC Echem, SA Edaigbini, AK Egote, A Ehouni, G Ekwen, NC Ekwunife, M El Hensheri, IE Elfaghi, MA Elfagieh, S Elfallah, Mahmoud Elfiky, S Elgelany, AM Elghallal, MG Elghandouri, ZS Elghazal, AM Elghobashy, FT Elharati, Abdulaziz M Elkhogia, RM Elkhwildi, S Ellis, L Elmadani, HB Elmadany, H Elmehdawi, A Elmgadmi, H Eloi, D Elrafifi, G Elsaadi, RB Elsaity, A Elshikhy, M Eltaguri, A Elwerfelli, IE Elyasir, AZ Elzoway, AM Elzufri, EO Enendu, BC Enicker, EO Enwerem, R Esayas, M Eshtiwi, AA Eshwehdi, JL Esterhuizen, Tonya M Esterhuizen, EB Etuk, O Eurayet, OR Eyelade, RF Fanjandrainy, Lionelle Fanou, Z Farina, Maher Fawzy, A Feituri, NL Fernandes, LM Ford, Patrice Forget, T François, T Freeman, YBM Freeman, VM Gacii, B Gadi, M Gagara, A Gakenia, PD Gallou, GGN Gama, MG Gamal, YG Gandy, A Ganesh, Diallo Gangaly, M Garcia, AP Gatheru, SSD Gaya, Oswald Gbéhadé, G Gerbel, A Ghnain, R Gigabhoy, DG Giles, GT Girmaye, S Gitau, B Githae, Said Gitta, Veekash Gobin, Riaz Goga, AAG Gomati, ME Gonzalez, J Gopall, Christina Salmina Gordon, O Gorelyk, M Gova, K Govender, P Govender, S Govender, V Govindasamy, JTK Green-Harris, MB Greenwood, SV Grey-Johnson, Mariette Grobbelaar, MA Groenewald, KK Grünewald, Ambroise Guegni, M Guenane, S Gueye, Marius Guezo, T Gunguwo, MG Gweder, M Gwila, L Habimana, Rodrigue Hadecon, E Hadia, L Hamadi, M Hammouda, MI Hampton, R Hanta, Tim C Hardcastle, JA Hariniaina, S Hariparsad, AH Harissou, R Harrichandparsad, SHA Hasan, HB Hashmi, MP Hayes, A Hdud, SH Hebli, HMSN Heerah, S Hersi, AH Hery, Adam Hewitt-Smith, TC Hlako, SCH Hodges, Richard Eric Hodgson, M Hokoma, H Holder, EB Holford, E Horugavye, C Houston, M Hove, D Hugo, CM Human, H Hurri, O Huwidi, AI Ibrahim, Traoré Ibrahim, OK Idowu, IE Igaga, John Igenge, O Ihezie, K Ikandi, IAR Ike, JJN Ikuku, MN Ilbarasi, IBB Ilunga, JPM Ilunga, NAV Imbangu, Z Imessaoudene, DH Imposo, AM Iraya, M Isaacs, M Isiguzo, A Issoufou, P Izquirdo, A Jaber, UV Jaganath, CS Jallow, S Jamabo, ZS Jamal, L Janneh, MJ Jannetjies, I Jasim, Megan AJ Jaworska, S Jay Narain, K Jermi, R Jimoh, S Jithoo, M Johnson, S Joomye, RM Judicael, M Judicaël, A Juwid, LP Jwambi, R Kabango, JK Kabangu, DK Kabatoro, AN Kabongo, K Kabongo, LT Kabongo, MD Kabongo, N Kady, S Kafu, M Kaggya, BNK Kaholongo, PCK Kairuki, SI Kakololo, K Kakudji, Amina Kalisa, R Kalisa, MR Kalufwelu, S Kalume, RJ Kamanda, MK Kangili, H Kanoun, Kapesa, P Kapp, JK Karanja, M Karar, K Kariuki, K Kaseke, PNK Kashuupulwa, KJP Kasongo, SK Kassa, GK Kateregga, MIS Kathrada, PM Katompwa, L Katsukunya, KAM Kavuma, Khalfallah, A Khamajeet, SB Khetrish, Kibandwa, W Kibochi, AM Kilembe, AK Kintu, B Kipng'etich, B Kiprop, VMK Kissoon, Theroshnie K Kisten, JK Kiwanuka, Hyla-Louise Kluyts, MEK Knox, AK Koledale, VL Koller, MA Kolotsi, M Kongolo, ND Konwuoh, WJ Koperski, MYK Koraz, AA Kornilov, M Zach Koto, Samantha Kransingh, D Krick, S Kruger, C Kruse, W Kuhn, WP Kuhn, AM Kukembila, KL Kule, M Kumar, Belinda S Kusel, VK Kusweje, KJ Kuteesa, YY Kutor, MA Labib, M Laksari, F Lanos, TA Lawal, Yannick Le Manach, C Lee, RM Lekoloane, SN Lelo, B Lerutla, MT Lerutla, AI Levin, TB Likongo, ML Limbajee, DM Linyama, C Lionnet, MM Liwani, E Loots, A Garrido Lopez, CLC Lubamba, KF Lumbala, AJM Lumbamba, John Lumona, RF Lushima, L Luthuli, HL Luweesi, TSK Lyimo, HM Maakamedi, BM Mabaso, M Mabina, ME Maboya, I Macharia, AM Macheka, AZ Machowski, Thandinkosi E Madiba, ASM Madsen, Farai Madzimbamuto, LJ Madzivhe, SC Mafafo, M Maghrabi, Diango Djibo Mahamane, A Maharaj, A Maharaj, AD Maharaj, MR Mahmud, M Mahoko, NA Mahomedy, O Mahomva, TM Mahureva, RK Maila, DM Maimane, M Maimbo, SN Maina, Dela A Maiwald, MD Maiyalagan, N Majola, N Makgofa, V Makhanya, WP Makhaye, NM Makhlouf, S Makhoba, EK Makopa, O Makori, Alex M Makupe, MA Makwela, ME Malefo, SM Malongwe, DM Maluleke, MR Maluleke, K Touré Mamadou, MP Mamaleka, Y Mampangula, RM Mamy, MNR Mananjara, MTM Mandarry, DM Mangoo, C Manirimbere, A Manneh, A Mansour, I Mansour, M Manvinder, DV Manyere, VT Manzini, JK Manzombi, PM Mapanda, LC Marais, O Maranga, JPB Maritz, FK Mariwa, RS Masela, MM Mashamba, Doreen M Mashava, MV Mashile, E Mashoko, OR Masia, JN Masipa, ATM Masiyambiri, MW Matenchi, W Mathangani, RC Mathe, Christopher Y Matola, PM Matondo, R Matos-Puig, FFH Matoug, JT Matubatuba, HP Mavesere, R Mavhungu, S Maweni, CJM Mawire, T Mawisa, S Mayeza, R Mbadi, M Mbayabu, N Mbewe, WD Mbombo, T Mbuyi, WMS Mbuyi, MW Mbuyisa, Bernard Mbwele, RM Mehyaoui, ID Menkiti, LVM Mesarieki, A Metali, Serge Mewanou, L Mgonja, N Mgoqo, S Mhatu, TM Mhlari, S Miima, IM Milod, P Minani, F Mitema, A Mlotshwa, JE Mmasi, T Mniki, BO Mofikoya, JO Mogale, A Mohamed, A Mohamed, A Mohamed, S Mohamed, S Mohamed, TS Mohamed, A Mohamed, A Mohamed, AM Mohamed, P Mohamed, I Mohammed, FAM Mohammed, M Mohammed, NM Mohammed, MP Mohlala, R Mokretar, FM Molokoane, KN Mongwe, L Montenegro, OD Montwedi, QK Moodie, M Moopanar, M Morapedi, TG Morulana, VL Moses, P Mossy, H Mostafa, SR Motilall, SP Motloutsi, Kanté Moussa, M Moutari, OM Moyo, PE Mphephu, Busi Mrara, C Msadabwe, VM Mtongwe, FK Mubeya, K Muchiri, J Mugambi, GIM Muguti, AB Muhammad, IF Mukama, MM Mukenga, FK Mukinda, PM Mukuna, ARW Mungherera, Dolly M Munlemvo, TW Munyaradzi, AA Munyika, JM Muriithi, MP Muroonga, R Murray, VK Mushangwe, M Mushaninga, VEM Musiba, JM Musowoya, S Mutahi, MGH Mutasiigwa, G Mutizira, A Muturi, T Muzenda, KR Mvwala, NM Mvwama, A Mwale, CN Mwaluka, JD Mwamba, HAM Mwanga, CM Mwangi, S Mwansa, V Mwenda, IM Mwepu, TM Mwiti, SZ Mzezewa, L Nabela, MTN Nabukenya, SM Nabulindo, K Naicker, D Naidoo, L Naidoo, LC Naidoo, N Naidoo, R Naidoo, RD Naidoo, S Naidoo, TD Naidoo, TK Naidu, NZ Najat, Y Najm, F Nakandungile, P Nakangombe, CN Namata, ES Namegabe, A Nansook, NP Nansubuga, C Nantulu, Rodrigue Nascimento, GT Naude, H Nchimunya, MA Ndaie, PN Ndarukwa, Henry Ndasi, Gabriel Ndayisaba, D Ndegwa, R Ndikumana, Andrew KN Ndonga, C Ndung'u, MC Neil, MS Nel, EV Neluheni, DS Nesengani, NT Nesengani, LE Netshimboni, AM Ngalala, BM Ngari, NBM Ngari, E Ngatia, GK Ngcobo, TS Ngcobo, D Ngorora, D Ngouane, K Ngugi, Zipporah WW Ngumi, Z Nibe, E Ninise, JC Niyondiko, PW Njenga, MN Njenga, M Njoroge, S Njoroge, W Njuguna, PN Njuki, T Nkesha, TN Nkuebe, NP Nkuliyingoma, M Nkunjana, Ernest Nkwabi, RN Nkwine, C Nnaji, I Notoane, Shaaban Nsalamba, LM Ntlhe, C Ntoto, B Ntueba, MT Nyassi, Z Nyatela-Akinrinmade, HO Nyawanda, NN Nyokabi, VN Nziene, S Obadiah, OJP Ochieng, PK Odia, OEO Oduor, EO Ogboli-Nwasor, SWO Ogendo, O Ogunbode, TO Ogundiran, O Ogutu, RW Ojewola, M Ojujo, DO Ojuka, OS Okelo, S Okiya, N Okonu, PR Olang, Akinyinka O Omigbodun, S Omoding, J Omoshoro-Jones, R Onyango, A Onyegbule, O Orjiako, MO Osazuwa, Kpatinvo Oscar, BB Osinaike, AO Osinowo, OM Othin, FFH Otman, J Otokwala, F Ouanes, Ongoïba Oumar, AO Ousseini, S Padayachee, SM Pahlana, J Pansegrouw, FP Paruk, MB Patel, Ushmaben Patel-Mujajati, AP Patience, Rupert M Pearse, JD Pembe, GN Pengemale, N Perez, MF Aguilera Perez, A Mallier Peter, M Phaff, RM Pheeha, BH Pienaar, V Pillay, KA Pilusa, MP Pochana, O Polishchuk, Owen S Porrill, EF Post, A Prosper, M Pupyshev, A Rabemazava, MS Rabiou, L Rademan, M Rademeyer, RAR Raherison, FR Rajah, MSR Rajcoomar, Z Rakhda, AHR Rakotoarijaona, AHN Rakotoarisoa, Sylvia R Rakotoarison, RR Rakotoarison, François Rakotoniaina, L Ramadan, MLR Ramananasoa, M Rambau, TPR Ramchurn, HE Ramilson, Rajesh J Ramjee, H Ramnarain, R Ramos, TJ Rampai, SR Ramphal, T Ramsamy, R Ramuntshi, R Randolph, DMA Randriambololona, WAP Ras, RAF Rasolondraibe, JDLC Rasolonjatovo, RM Rautenbach, S Ray, Sarah R Rayne, FAR Razanakoto, SR Reddy, Anthony R Reed, JR Rian, FR Rija, B Rink, AT Robelie, CA Roberts, AGL Rocher, S Rocher, Reitze N Rodseth, I Rois, W Rois, S Rokhsi, J Roos, Nicolette F Rorke, H Roura, FJ Rousseau, N Rousseau, L Royas, D Roytowski, Devan Rungan, SSR Rwehumbiza, BB Ryabchiy, V Ryndine, CR Saaiman, HK Sabwa, S Sadat, SS Saed, E Salaheddin, H Salaou, M Saleh, HM Salisu-Kabara, Hamza Doles Sama, Ahmadou L Samateh, W Sam-Awortwi (Jnr), N Samuel, DK Sanduku, Chaibou M Sani, LN Sanyang, HN Sarah, A Sarkin-Pawa, R Sathiram, T Saurombe, H Schutte, MP Sebei, MD Sedekounou, MP Segooa, EM Semenya, BO Semo, CS Sendagire, SA Senoga, FS Senusi, T Serdyn, MD Seshibe, GB Shah, R Shamamba, CS Shambare, TN Shangase, SH Shanin, IE Shefren, AA Sheshe, OB Shittu, AS Shkirban, T Sholadoye, A Shubba, N Sigcu, SE Sihope, DS Sikazwe, BS Sikombe, K Simaga Abdoul, WAG Simo, K Singata, AS Singh, S Singh, Usha Singh, V Sinoamadi, N Sipuka, NLM Sithole, S Sitima, David Lee Skinner, GC Skinner, OI Smith, CAG Smits, MSI Sofia, Gaoussou Sogoba, A Sohoub, SS Sookun, O Sosinska, Rosalie Souhe, G Souley, Thiam Souleymane, JM Spicer, Sandra Spijkerman, H Steinhaus, A Steyn, G Steyn, HC Steyn, Heidi L Stoltenkamp, S Stroyer, A Swaleh, E Swayeb, AJ Szpytko, NA Taiwo, A Tarhuni, D Tarloff, Blaise Tchaou, Charles Tchegnonsi, M Tchoupa, MO Teeka, B Thakoor, MM Theunissen, BP Thomas, MB Thomas, A Thotharam, O Tobiko, AM Torborg, SM Tshisekedi, SK Tshisola, R Tshitangano, F Tshivhula, HT Tshuma, Janat Tumukunde, M Tun, IA Udo, DI Uhuebor, KU Umeh, AO Usenbo, JdD Uwiteyimbabazi, DJ Van der Merwe, FH van der Merwe, JE van der Walt, Dominique van Dyk, JG Van Dyk, JJS van Niekerk, S van Wyk, HA van Zyl, B Veerasamy, PJ Venter, AJ Vermeulen, R Villarreal, J Visser, L Visser, M Voigt, Richard P von Rahden, A Wafa, A Wafula, PK Wambugu, P Waryoba, EN Waweru, M Weideman, Robert D Wise, EE Wynne, AI Yahya, AA Yahya, R Yahya, Y Yakubu, JJ Yanga, YM Yangazov, O Yousef, G Yousef, Coulibaly Youssouf, AA Yunus, AS Yusuf, AZ Zeiton, HZ Zentuti, Henry Zepharine, AB Zerihun, S Zhou, A Zidan, Sanogo Zimogo Zié, CZ Zinyemba, A Zo, Lidwine Zomahoun, NZ Zoobei, Eugene Zoumenou, NZ Zubia

Connect to this object online.

Introduction to Political Science by Rom, Mark Carl, Hidaka, Masaki, Walker, Rachel Bzostek

Table of Contents: “…The Media -- Introduction -- 12.1 The Media as a Political Institution: Why Does It Matter? -- 12.2 Types of Media and the Changing Media Landscape -- 12.3 How Do Media and Elections Interact? …”
Access online version

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

Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings /

Table of Contents: “…Invited Talks -- Non-well-founded Deduction for Induction and Coinduction -- Towards the Automatic Mathematician -- Logical Foundations -- Tableau-based decision procedure for non-Fregean logic of sentential identity -- Learning from Lukasiewicz and Meredith: Investigations into Proof Structures -- Efficient Local Reductions to Basic Modal Logic -- Isabelle's Metalogic: Formalization and Proof Checker -- Theory and Principles -- The ksmt calculus is a delta-complete decision procedure for non-linear constraints -- Universal Invariant Checking of Parametric Systems with Quantifier-Free SMT Reasoning -- Politeness and Stable Infiniteness: Stronger Together -- Equational Theorem Proving Modulo -- Unifying Decidable Entailments in Separation Logic with Inductive Definitions -- Subformula Linking for Intuitionistic Logic with Application to Type Theory -- Efficient SAT-based Proof Search in Intuitionistic Propositional Logic -- Proof Search and Certificates for Evidential Transactions -- Non-Clausal Redundancy Properties -- Multi-Dimensional Interpretation Methods for Termination of Term Rewriting -- Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures -- Computing Optimal Repairs of Quantified ABoxes w.r.t. …”
Link to Metadata

Knowledge and Networks

Table of Contents: “…Exploring the Interaction of Space and Networks in the Creation of Knowledge: An Introduction: Johannes Glückler, Emmanuel Lazega, and Ingmar Hammer -- I: The Significance of Knowledge About Networks: The Relational Dimension as a Bridging Principle Between Economic, Social, and Geographic Issues: Reversing the Instrumentality of the Social for the Economic: A Critical Agenda for 21st-Century Knowledge Networks: Nancy Ettlinger -- Interpersonal Networks in Foreign Assignments and Intercultural Learning Processes: Erika Spieß -- Family Networks for Learning and Knowledge Creation in Developing Regions: Pengfei Li -- Studying Networks Geographically: World Political Regionalization in the United Nations General Assembly (1985-2010): Laurent Beauguitte -- (Post)graduate Education Markets and the Formation of Mobile Transnational Economic Elites: Sarah Hall -- II: Relational Opportunity: Network Evolution and Its Impact on Individuals and Regions: Organized Mobility and Relational Turnover as Context for Social Mechanisms: A Dynamic Invariant at the Heart of Stability from Movement: Emmanuel Lazega -- Trajectory Types Across Network Positions: Jazz Evolution from 1930 to 1969: Charles Kirschbaum -- Topology and Evolution of Collaboration Networks: The Case of a Policy-anchored District: Laura Prota, Maria Prosperina Vitale, and Maria Rosaria D'Esposito -- Platforming for Path-Breaking? …”
Link to Metadata

Interface Oral Health Science 2016 Innovative Research on Biosis-Abiosis Intelligent Interface /

Table of Contents: “…Development and performance of low cost beta-type Ti-based alloys for biomedical applications using Mn additions -- 20. …”
Link to Metadata

FYE 103 Career Exploration by Dufek, Denise

Table of Contents: “…Kit's "Success At Work" Videos -- 2.9 Summary -- Unit 3 -- 3.1 Introduction -- 3.2 Assignments -- 3.3 Lecture Notes -- 3.4 Stress Management -- 3.5 Recognizing & Coping with Long-Term Stress -- 3.6 Short-Term Stress, Causes, & Coping Tips -- 3.7 The Power of Positive Thinking -- 3.8 Summary…”
Access online version

A Practicum in Behavioral Economics by Caplan, Arthur J

Table of Contents: “…A Practicum in Behavioral Economics -- Dedication -- Acknowledgments -- This Book's Approach -- The Book's Genesis and Tips on How to Use It -- A (Very) Brief History fo the Origin of Behavioral Economciis -- Introduction -- I. …”
Access online version

Etiology and Morphogenesis of Congenital Heart Disease From Gene Function and Cellular Interaction to Morphology /

Table of Contents: “…Conduction System and Arrhythmia -- Regulation of vertebrate conduction system development -- Cardiac Pacemaker Development from a Tertiary Heart Field -- Endothelin receptor type A expressing cell population in the inflow tract contributes to chamber formation -- Specific isolation of HCN4 positive cardiac pace-making cells derived from embryonic stem cell -- Part IX. …”
Link to Metadata

3D Recording and Interpretation for Maritime Archaeology

Table of Contents: “…Calibration of Camera Systems for Underwater Photogrammetry -- Presenting Photogrammetric 3D Recording Essays in the Submerged Harbour Infrastructure of the Ancient and Medieval Harbour of Kyllene/Glarentza -- Using Digital Visualisation of Archival Sources to Enhance Archaeological Interpretation of the 'Life History' of Ships -- Presenting Computer Vision Photogrammetry (CVP) for Maritime Archaeology Research and Public Outreach -- High-Resolution Sub-Seabed Survey and Visualisation -- From Integration to Explanation: Moving from 3 to 4 Dimensions -- 3D Scanning and Mapping of the City of Adelaide -- Recent 3D Survey Work in Egypt -- Innomar's Parametric Sub-Bottom Profiler (SBP) Survey of Sub-Seabed Viking Fortifications in the Baltic -- Early Results of the High-Resolution Imaging of HMAS Sydney and HSK Kormoran -- Underwater Archaeology using Riegl Bathymetric Lidars -- The 17th/18th Century Drumbeg Shipwreck in Scotland -- James Matthews Trial Sub-Bottom Profile Survey -- Image-Based 3D Underwater Recording and Ocularcentrism -- 3D Photogrammetry for an by the Public -- Integration of Topographical and Bathymetrical Surveys in High-Resolution Textured 3D Prints.…”
Link to Metadata

Revisiting Migrant Networks Migrants and their Descendants in Labour Markets /

Table of Contents: “…Social capital, immigrants and their descendants - the case of Sweden -- Chapter 7.Activating Social Capital: Steep mobility of descendants of immigrants at the top of the corporate business sector -- Chapter 8. …”
Link to Metadata

Emerging Threats of Synthetic Biology and Biotechnology Addressing Security and Resilience Issues /

Table of Contents: “…Chapter 1: Biosecurity for Synthetic Biology and Emerging Biotechnologies: Critical Challenges for Governance -- Chapter 2: Emerging Biosecurity Threats and Responses: A Review of Published and Gray Literature -- Chapter 3: Opportunities, Challenges, and Future Considerations for Top-Down Governance for Biosecurity and Synthetic Biology -- Chapter 4: Biological standards and biosecurity: The unexplored link -- Chapter 5: Responsible Governance of Biosecurity in Armenia -- Chapter 6: Addressing Emerging Synthetic Biology Threats: The Role of Education and Outreach in Fostering Effective Bottom-Up Grassroots Governance -- Chapter 7: Cybersecurity and Public Health in the Age of COVID-19 -- Chapter 8: Synthetic Biology Brings New Challenges to Managing Biosecurity and Biosafety -- Chapter 9: Emerging Biotechnology and Information Hazards -- Chapter 10: Technical Aspects of Biosecurity: Screening Guidance, Attribution, and Traceability -- Chapter 11: The Soil Habitat and Considerations for Synthetic Biology -- Chapter 12: Foresight in Synthetic Biology and Biotechnology Threats -- Chapter 13: Predicting Biosecurity Threats: Deployment and Detection of Biological Weapons -- Chapter 14: Promoting Effective Biosecurity Governance: Using Tripwires to Anticipate and Ameliorate Potentially Harmful Development Trends. .…”
Link to Metadata

Buildings for Education A Multidisciplinary Overview of The Design of School Buildings /

Table of Contents: “…Reuse of a railway depot -- A university campus for medical disciplines for the redevelopment of the Guglielmo da Saliceto Hospital in Piacenza -- Application of externally bonded fabric reinforced cementitious matrix to existing masonry and concrete structures -- Strengthening of different types of slabs with composite reinforced mortars (CRM) -- Energy Retrofit Potential evaluation. …”
Link to Metadata