:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Cutler, Joseph W., Disselkoen, Craig, Eline, Aaron, He, Shaobo, Headley, Kyle, Hicks, Michael, Hietala, Kesha, Ioannidis, Eleftherios, Kastner, John, Mamat, Anwar, McAdams, Darin, McCutchen, Matt, Rungta, Neha, Torlak, Emina, Wells, Andrew
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Programming Languages
Accesso online:	https://arxiv.org/abs/2403.04651
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

How We Built Cedar: A Verification-Guided Approach
di: Disselkoen, Craig, et al.
Pubblicazione: (2024)

Trends in Academic Library Facilities.
di: McAdams, Nancy R.
Pubblicazione: (1987)

Fundamentos de la antropología metafísica de Clarence Finlayson
di: Hugo Ochoa Disselkoen
Pubblicazione: (2011)

El carácter dialógico de la hermenéutica de Schleiermacher. Su fundamento y sentido
di: Hugo Renato Ochoa Disselkoen
Pubblicazione: (2009)

La América indígena según Clarence Finlayson
di: Hugo Renato Ochoa Disselkoen
Pubblicazione: (2013)

Auditory Environments to Physical Environments
di: Ivaana Rungta
Pubblicazione: (2026)

OMNE SYMBOLUM DE SYMBOLO: LAS HUELLAS DE PEIRCE QUE DERRIDA NO RASTREÓ
di: Darin McNabb
Pubblicazione: (2012)

Structural Temporal Logic for Mechanized Program Verification
di: Ioannidis, Eleftherios, et al.
Pubblicazione: (2024)

Work alienation and quality of work life among nurses: A descriptive cross‐sectional study
di: Ayşe Çiçek Korkmaz, et al.
Pubblicazione: (2024)

Mind, Meaning and Architecture
di: Ivaana Rungta, Ivaana
Pubblicazione: (2026)

Superficial acral calcified chondroid mesenchymal neoplasm harboring an FN1::FGFR2 fusion and review of the literature
di: Isidro Machado, et al.
Pubblicazione: (2024)

3D Annotation Of Arbitrary Objects In The Wild
di: Blomqvist, Kenneth, et al.
Pubblicazione: (2021)

Machine learning model quantifies mast cells in biopsies of psoriatic lesions imaged with confocal microscopy
di: Sara Bohjanen, et al.
Pubblicazione: (2024)

Response to Letter to the Editor by Kumar, et al.
di: Babak J. Orandi, et al.
Pubblicazione: (2026)

Minimalism and Expressivism
di: Fritz McDonald
Pubblicazione: (2012)

Librarian of the Year 2009: Team Cedar Rapids
di: Berry, John N., III
Pubblicazione: (2009)

Reseña de "Modernity Disavowed: Haiti and the Cultures of Slavery in the Age of Revolution" de Sibylle Fischer
di: Clevis R. Headley
Pubblicazione: (2005)

Magnetic Dipole Trapping Potential between Infinite Superconducting Plates
di: Headley, Francis J.
Pubblicazione: (2025)

Quantum Fisher Information for Entropy of Gibbs States
di: Headley, Francis J.
Pubblicazione: (2026)

Cause-effect relationship between air quality and public health in the city of Novi Sad based on the DPSEEA model
di: Emina S. Kričković
Pubblicazione: (2021)

A educação como direito social e a escola como espaço protetivo de direitos: uma análise à luz da legislação educacional brasileira
di: Émina Santos
Pubblicazione: (2019)

“I want to lift my people up”: Exploring the psychological correlates of racial themes within the life stories of midlife Black Americans
di: Ananya Mayukha, et al.
Pubblicazione: (2024)

Fallen Cedar: Lebanon's Debt Diplomacy, 2015–2020
di: Kevin Rosier
Pubblicazione: (2026)

Vacuum pair production under spatially asymmetric time-oscillating electric fields
di: Bake, Mamat Ali, et al.
Pubblicazione: (2025)

Characterization of Silver Nanoparticles Synthesized Using Hypericum perforatum L. and Their Effects on Staphylococcus aureus
di: Canan Sevinc‐Sasmaz, et al.
Pubblicazione: (2025)

Non-Perturbative Topological Gadgets for Many-Body Coupling
di: Headley, David, et al.
Pubblicazione: (2025)

Least-perimeter partition of the disc into $N$ regions of two different areas
di: Headley, Francis, et al.
Pubblicazione: (2019)

A Bayesian Approach for Inference on Mixed Graphical Models
di: Florez, Mauro, et al.
Pubblicazione: (2025)

Examining the association between cognitive ability and emotional problems across childhood using a genetically informative design: could there be a causal relationship?
di: Meredith X. Han, et al.
Pubblicazione: (2025)

A Combinatorial Perspective on the Noncommutative Symmetric Functions
di: Hicks, Angela, et al.
Pubblicazione: (2024)

Whose Story Gets Told? Positionality and Bias in LLM Summaries of Life Narratives
di: Subbiah, Melanie, et al.
Pubblicazione: (2026)

Grit in the Information Machine: Library Professionalism in a World Without Friction
di: Darin Freeburg
Pubblicazione: (2025)

Going beyond the Text: Turning Classrooms into Communities of Practice to Uncover and Create Noncanonical Knowledge
di: Freeburg, Darin
Pubblicazione: (2018)

The Knowledge Lens: Equipping Information Professionals to Spark Innovation within Organizations and Society
di: Freeburg, Darin
Pubblicazione: (2018)

Experimental and Numerical Investigation of Cedar Façade Flame Spread With Respect to Sidewall
di: Xukun Sun, et al.
Pubblicazione: (2025)

The Socio-economic Framework of the Spiny Lobster (Panulirus argus) Fishery in St. Vincent and the Grenadines and associated Socio-economic Fishery Performance Indicators.
di: Headley, M.D., et al.
Pubblicazione: (2009)

The Imaginary Museum: Researching Imagination Through Practices of the Imaginary
di: Kathryn Cutler‐MacKenzie, et al.
Pubblicazione: (2025)

Assessing Factors Associated With Detection Probability of the Japanese Burrowing Cricket ( Velarifictorus micado ) on Point Count Surveys
di: Sam V. Cecconi, et al.
Pubblicazione: (2025)

Redundancy Management for Fast Service (Rates) in Edge Computing Systems
di: Peng, Pei, et al.
Pubblicazione: (2023)

On the Redundancy of Function-Correcting Codes over Finite Fields
di: Ly, Hoang, et al.
Pubblicazione: (2025)