1,303 results found (page 4 of 87)
https://www.pa.gov/agencies/dhs/resources/for-dhs-partners/contractor-partnership-program

Contractor Partnership Program | Department of Human Services | Commonwealth of Pennsylvania Information for DHS Partners Contractor Partnership Program The Contractor Partnership Program (CPP) is a collaborative effort between the Department of Human Services (DHS) and its contr…

US Syllabi
https://lifewest.edu/academics/syllabi

Syllabi Skip to content Academics Syllabi Choose a course from the list below to access a syllabus. Clinical Sciences ACS-209 Radiology Review This course reviews Radiology I, IIA, IIB, and III and focuses on mastering the radiology component of the NBCE Part III board examinatio…

https://popl21.sigplan.org/details/CPP-2021/5/Machine-Checked-Semantic-Session-Typing

Machine-Checked Semantic Session Typing (CPP 2021 - Certified Programs and Proofs) - POPL 2021 Write a Blog >> POPL 2021 Sun 17 - Fri 22 January 2021 Online Attending Venue: Online (How to POPL in 2021) Supporting POPL Student Volunteers Code of Conduct Registration FAQ Program P…

https://popl21.sigplan.org/details/CPP-2021/6/A-Minimalistic-Verified-Bootstrapped-Compile…

A Minimalistic Verified Bootstrapped Compiler (Proof Pearl) (CPP 2021 - Certified Programs and Proofs) - POPL 2021 Write a Blog >> POPL 2021 Sun 17 - Fri 22 January 2021 Online Attending Venue: Online (How to POPL in 2021) Supporting POPL Student Volunteers Code of Conduct Regist…

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC1852059

Introduction The hippocampus (HPC) and the amygdala are thought to contribute differentially to mammalian learning and memory systems, the former being integral to providing a spatiotemporal contextual ‘tag’ to episodic information ( O'Keefe & Nadel, 1978 ; Squire et al., 1993 ) …

https://popl26.sigplan.org/details/CPP-2026-papers/13/Precise-Reasoning-about-Container-In…

Precise Reasoning about Container-Internal Pointers with Logical Pinning (CPP 2026) - POPL 2026 POPL 2026 Sun 11 - Sat 17 January 2026 Rennes, France Attending Venue: le Couvent des Jacobins Supporting POPL Registration Requesting a Visa Code of Conduct Accommodation Information …

https://resolver.caltech.edu/CaltechTHESIS:06042013-150337959

Coupled Plasmonic Systems and Devices: Applications in Visible Metamaterials, Nanophotonic Circuits, and CMOS Imaging - CaltechTHESIS CaltechTHESIS A Caltech Library Service About Browse Deposit an Item Instructions for Students Coupled Plasmonic Systems and Devices: Applications…

https://popl23.sigplan.org/details/CPP-2023-papers/1/A-Formalization-of-the-Development-Cl…

A Formalization of the Development Closedness Criterion for Left-Linear Term Rewrite Systems (CPP 2023) - POPL 2023 POPL 2023 Sun 15 - Sat 21 January 2023 Boston, Massachusetts, United States Attending Venue: Boston Park Plaza Supporting POPL Registration Information for Students…

https://popl22.sigplan.org/details/CPP-2022-papers/21/Semantic-cut-elimination-for-the-log…

Semantic cut elimination for the logic of bunched implications, formalized in Coq (CPP 2022) - POPL 2022 POPL 2022 Sun 16 - Fri 28 January 2022 Philadelphia, Pennsylvania, United States Attending Hotel: Westin Philadelphia Supporting POPL Accessibility Visa Information Registrati…