Arama Sonuçları - EDKO~

Sonuçları Daraltın
  1. 13681

    Migration in Southern Africa IMISCOE Regional Reader /

    Baskı/Yayın Bilgisi 2022
    İçindekiler: “…Policy Implementation Challenges for Worker Education and Foreign National Migrants -- Part III: Internal Labour Migration and Regional Mobility -- Chapter 8. …”
    Link to Metadata
    Elektronik Ekitap
  2. 13682

    Riverine Ecosystem Management Science for Governing Towards a Sustainable Future /

    Baskı/Yayın Bilgisi 2018
    İçindekiler: “…Public Participation and Environmental Education -- Chapter 23. NGOs in Freshwater Resource Management -- Part III Case Studies -- Chapter 24. …”
    Link to Metadata
    Elektronik Ekitap
  3. 13683

    Diversity and Evolution of Butterfly Wing Patterns An Integrative Approach /

    Baskı/Yayın Bilgisi 2017
    İçindekiler: “…Developmental Genetics -- Chapter8:A practical guide to CRISPR/Cas9 genome editing in Lepidoptera -- Chapter9:What can we learn about adaptation from the wing pattern genetics of Heliconiusbutterflies? …”
    Link to Metadata
    Elektronik Ekitap
  4. 13684

    Foundations of Robotics A Multidisciplinary Approach with Python and ROS /

    Baskı/Yayın Bilgisi 2022
    İçindekiler: “…Multi-robot systems: bio-inspired concepts and deployment challenges (Vivek Shankar Varadharajan and Giovanni Beltrame) -- Chapter 12 - The Embedded design process: CAD/CAM and prototyping (Eddi Pianca) -- PART III: Interaction Design -- Chapter 13 - Social robots: Principles of interaction design and user studies (Janie Busby Grant & Damith Herath) -- Chapter 14 - Safety first: On the safe deployment of robotic systems (Bruno Belzile and David St-Onge) -- Chapter 15 - Managing the world complexity: from linear regression to deep learning (Yann Bouteiller) -- Chapter 16 - Robot ethics: Ethical design considerations (Dylan Cawthorne) -- Chapter 17 - Robot Hexapod Build Labs (David Hinwood and Damith Herath) -- Chapter 18 - ROS Mobile Manipulator labs (David St-Onge, Corentin Boucher and Bruno Belzile).…”
    Link to Metadata
    Elektronik Ekitap
  5. 13685

    Technological Imagination in the Green and Digital Transition

    Baskı/Yayın Bilgisi 2023
    İçindekiler: “…From public residential estates to eco-districts -- Adaptive building technologies for building envelopes under climate change conditions -- The importance of testing activities for a "new" generation of building envelope -- Data visualization and web-based mapping for SGDs and adaptation to climate change in the urban environment -- Fog water harvesting through smart façade for a climate resilient built environment -- Building façade retrofit: A comparison between current methodologies and innovative membranes strategies for overcoming the existing retrofit constraints -- Technologies and solutions for collaborative processes in mutating cities -- New perspectives for the building heritage in depopulated areas: A methodological approach for evaluating sustainable reuse and upcycling strategies -- Climate adaptation in urban regeneration: A cross-scale digital design workflow -- Adaptive "velari" -- Temporary climate change adaptation: 5 measures for outdoor spaces of the mid-adriatic city -- Serious game: New tools for exploring and designing urban sustainability -- Energy efficiency improvement in industrial brownfield heritage buildings: Case study of "Beko" -- Industrial heritage of Belgrade: Brownfield sites revitalization status, potentials and opportunities missed -- Challenges and potentials of green roof retrofit: A case study -- Designing with nature climate-resilient cities: A lesson from Copenhagen -- New urban centralities universities as a paradigm for a sustainable city -- Part 5: Health -- Environment for healthy living -- New paradigms for indoor healthy living -- Healthy and empowering life in schoolyards. …”
    Link to Metadata
    Elektronik Ekitap
  6. 13686
  7. 13687

    Antisense RNA Design, Delivery, and Analysis

    Baskı/Yayın Bilgisi 2022
    İçindekiler: “…Introduction and History of the Chemistry of Nucleic Acids Therapeutics -- Antisense RNA Therapeutics: A Brief Overview -- Design of Bifunctional Antisense Oligonucleotides for Exon Inclusion -- Design and Delivery of SINEUP: A New Modular Tool to Increase Protein Translation -- How to Design U1 snRNA Molecules for Splicing Rescue -- Conjugation of Nucleic Acids and Drugs to Gold Nanoparticles -- Determination of Optimum Ratio of Cationic Polymers and Small Interfering RNA with Agarose Gel Retardation Assay -- Generation of Protein-Phosphorodiamidate Morpholino Oligomer Conjugates for Efficient Cellular Delivery via Anthrax Protective Antigen -- Development and Use of Cellular Systems to Assess and Correct Splicing Defects -- Modeling Splicing Variants Amenable to Antisense Therapy by Use of CRISPR-Cas9-Based Gene Editing in HepG2 Cells -- In Vitro Models for the Evaluation of Antisense Oligonucleotides in Skin -- In Vitro Delivery of PMOs in Myoblasts by Electroporation -- Rapid Determination of MBNL1 Protein Levels by Quantitative Dot Blot for Evaluation of Antisense Oligonucleotides in Myotonic Dystrophy Myoblasts -- Evaluation of Exon Skipping and Dystrophin Restoration in In Vitro Models of Duchenne Muscular Dystrophy -- Generation of Human iPSC-Derived Myotubes to Investigate RNA-Based Therapies In Vitro -- Eye on a Dish Models to Evaluate Splicing Modulation -- Establishment of In Vitro Brain Models for AON Delivery -- Considerations for Generating Humanized Mouse Models to Test Efficacy of Antisense Oligonucleotides -- Generation of Humanized Zebrafish Models for the In Vivo Assessment of Antisense Oligonucleotide-Based Splice Modulation Therapies -- Use of Small Animal Models for Duchenne and Parameters to Assess Efficiency upon Antisense Treatment -- In Vivo Models for the Evaluation of Antisense Oligonucleotides in Skin -- Delivery of Antisense Oligonucleotides to the Mouse Retina -- Delivery of Antisense Oligonucleotides to the Mouse Brain by Intracerebroventricular Injections -- Intrathecal Delivery of Therapeutic Oligonucleotides for Potent Modulation of Gene Expression in the Central Nervous System -- Preclinical Safety Assessment of Therapeutic Oligonucleotides -- Preclinical Evaluation of the Renal Toxicity of Oligonucleotide Therapeutics in Mice -- Protocol for Isolation and Culture of Mouse Hepatocytes (HCs), Kupffer Cells (KCs), and Liver Sinusoidal Endothelial Cells (LSECs) in Analyses of Hepatic Drug Distribution -- Patent Considerations When Embarking on New Antisense Drug Programs.…”
    Link to Metadata
    Elektronik Ekitap
  8. 13688

    The Palgrave Handbook of Digital Russia Studies

    Baskı/Yayın Bilgisi 2021
    İçindekiler: “…Digitalization of Russian education: Changing actors and spaces of governance -- 11. …”
    Link to Metadata
    Elektronik Ekitap
  9. 13689

    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...

    Baskı/Yayın Bilgisi 2021
    İçindekiler: “…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
    Elektronik Ekitap
  10. 13690

    Biodiversity of the Gulf of Guinea Oceanic Islands Science and Conservation /

    Baskı/Yayın Bilgisi 2022
    İçindekiler: “…Biodiversity Conservation in the Gulf of Guinea Oceanic Islands: Recent Progress, Ongoing Challenges, and Future Directions -- Chapter 25. Environmental Education in São Tomé and Príncipe: the Challenges of Owning a Unique Biodiversity -- Chapter 26. …”
    Link to Metadata
    Elektronik Ekitap
  11. 13691

    Gender-Competent Legal Education

    Baskı/Yayın Bilgisi 2023
    İçindekiler: “…Introduction by Mareike Fröhlich, Thomas Giegerich and Dragica Vujadinovic -- Part I Gender in a General Context: Gender Issues in Comparative Legal History by Una Divac, Maurilio Felici, Pietro Lo Iacono, Nina Kršljanin and Vojislav Stanimirović -- Feminist Political and Legal Theories by Antonio Álvarez del Cuvillo, Fabio Macioce and Sofia Strid -- Gender and Structural Inequalities from a Socio-legal Perspective by Eva Bermúdez Figueroa, Valerija Dabetić , Raquel Pastor Yuste and Zara Saeidzadeh -- Feminist Judgments by Marco Evola, Ivana Krstic and Fuensanta Rabadán Sánchez-Lafuente -- Gender Research and Feminist Methodologies by Zara Saeidzadeh -- Part II Gender in a Public Context: Human Rights Law through the Lens of the Gender Perspective by Marco Evola, Julia Jungfleisch and Tanasije Marinkovic -- The Evolving Recognition of Gender in International and European Law by Rigmor Argren, Marco Evola, Thomas Giegerich and Ivana Krstic -- Gender Equality Aspects on Public Law by Marko Davinic, Eleonor Kristoffersson and Tanasije Marinkovic -- Gender Perspective of Social Security Law by MªAngustias Benito and Carmen Jover Ramírez -- Gender Equitable Taxation by Marco Cedro, Eleonor Kristoffersson, Teresa Ponton Aricha and Lidija Živković -- Public Policies on Gender Equality by Vanesa Hervías Parejo and Branko Radulović -- Gender Competent Criminal Law by María Acale Sánchez, Ivana Marković and Susanne Strand -- Gender Perspective of Victimization, Crime and Penal Policy by Beatriz Cruz, Natalija Lukić and Susanne Strand -- Part III Gender in a Private Context: Gender Equality in the Different Fields of Private Law by Amalia Blandino, Letizia Coppo, Gabriele Carapezza Figlia, Snežana Dabic and Katarina Dolovic -- Gender Competent Family Law by Ivana Barac, Amalia Blandino, Letizia Coppo, Giampaolo Frezza, Uros Novakovic, Fuensanta Rabadán and ZaraSaeidzadeh -- Labour Law and Gender by Thais Guerrero Padrón, Ljubinka Kovačević and Mª Isabel Ribes Moreno -- Integrating Gender Equality in Economics and Management by Lydia Bares Lopez, Francesca Costanza, Manuela Ortega Gil and Sofia Strid -- Gender, Business and the Law by Mareike Fröhlich, Tatjana Jevremović Petrović and Jelena Lepetić.…”
    Link to Metadata
    Elektronik Ekitap
  12. 13692

    Social Innovations in the Urban Context

    Baskı/Yayın Bilgisi 2016
    İçindekiler: “…-Chapter 12: Amsterdam: Neighbourhood Stores for Education, Research, and Talent Development - the BOOT project -- Chapter 13: Lille: Co-production of housing in a major urban renewal district -- Chapter 14: Pamplona: Neighbourhood Children services - a grassroots and local council initiative -- Chapter 15: Berlin: Kreuzberg acts - entrepreneurship in the district -- Chapter 16: Milan: "We help you to help yourself". …”
    Link to Metadata
    Elektronik Ekitap
  13. 13693

    Knowledge and Networks

    Baskı/Yayın Bilgisi 2017
    İçindekiler: “…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
    Elektronik Ekitap
  14. 13694

    Agricultural Implications of Fukushima Nuclear Accident (IV) After 10 Years /

    Baskı/Yayın Bilgisi 2023
    İçindekiler: “…Global Fallout: Radioactive Materials from Atmospheric Nuclear Tests That Fell Half a Century Ago and Where to Find Them -- 21. Resilience Education Program in Iitate Village for the Young Generation.…”
    Link to Metadata
    Elektronik Ekitap
  15. 13695

    The Word on College Reading and Writing Yazar: Babin, Monique, Burnell, Carol, Pesznecker, Susan, Rosevear, Nicole, Wood, Jaime

    Baskı/Yayın Bilgisi 2017
    İçindekiler: “…Lower Order Concerns -- Reverse Outlining -- Editing -- Document Format, Documentation Style, and Proofreading -- Giving and Receiving Feedback -- What's Next? …”
    Access online version
    Elektronik Ekitap
  16. 13696

    The Gene Ontology Handbook

    Baskı/Yayın Bilgisi 2017
    İçindekiler: “…: Retrieving GO Data Using AmiGO, QuickGO, API, Files, and Tools -- Semantic Similarity in the Gene Ontology -- Gene-Category Analysis -- Gene Ontology: Pitfalls, Biases, and Remedies -- Visualizing GO Annotations -- A Gene Ontology Tutorial in Python -- Annotation Extensions -- The Evidence and Conclusion Ontology (ECO): Supporting GO Annotations -- Complementary Sources of Protein Functional Information: The Far Side of GO -- Integrating Bio-Ontologies and Controlled Clinical Terminologies: From Base Pairs to Bedside Phenotypes -- The Vision and Challenges of the Gene Ontology.…”
    Link to Metadata
    Elektronik Ekitap
  17. 13697
  18. 13698

    Whole-Body Regeneration Methods and Protocols /

    Baskı/Yayın Bilgisi 2022
    İçindekiler: “…The Hazards of Regeneration: From Morgan's Legacy to Evo-Devo -- Studying Regeneration in Ascidians: An Historical Overview -- Studying Protista WBR and Repair using Physarum polycephalum -- Studying Porifera WBR using the Calcerous Sponges Leucosolenia -- Studying Ctenophora WBR using Mnemiopsis leidyi -- Studying Placozoa WBR in the Simplest Metazoan Animal, Trichoplax adhaerens -- Collecting and Culturing Kamptozoans for Regenerative Studies -- Collecting and Culturing Bryozoans for Regenerative Studies -- Studying Annelida Regeneration in a Novel Model Organism: The Freshwater Aeolosoma viride -- Studying Annelida Body Regeneration under Environmental Stress in Diopatra neapolitana -- Studying Annelida Regeneration using Platynereis dumerilii -- Collecting and Culturing Lineus sanguineus to Study Nemertea WBR -- Studying Xenacoelomorpha WBR using Isodiametra pulchra -- Studying Echinodermata Arm Explant Regeneration using Echinaster sepositus -- Studying Hemichordata WBR using Ptychodera flava.…”
    Link to Metadata
    Elektronik Ekitap
  19. 13699

    Compositionality and Concepts in Linguistics and Psychology

    Baskı/Yayın Bilgisi 2017
    İçindekiler: “…Poortman -- Critical typicality: Truth Judgements and Compositionality with Plurals and other Gradable Concepts by Yoad Winter -- Complement Coercion as the Processing of Aspectual Verbs: Evidence from Self-Paced Reading and fMRI by Yao-Ying Lai, Cheryl Lacadie, Todd Constable, Ashwini Deo, and Maria Mercedes Piñango -- Conceptual Combination, Property Inclusion, and the Aristotelian-Thomistic View of Concepts by Christina L. …”
    Link to Metadata
    Elektronik Ekitap
  20. 13700

    The Future of the Bamiyan Buddha Statues Heritage Reconstruction in Theory and Practice /

    Baskı/Yayın Bilgisi 2020
    İçindekiler: “…Cultural identity and the revival of values after the demolishment of Bamiyan's Buddhist wall paintings (Yoko Taniguchi) -- Chapter 5. The Cultural Masterplan Bamiyan: the sustainable dilemma of protection and progress (Michael Jansen and Georgios Toubekis) -- Part III: Deliberate destruction of heritage and its recovery -- Chapter 6. …”
    Link to Metadata
    Elektronik Ekitap