Search Results

Deep-Sea Trenches of the Pacific Ocean: a Comparative Analysis of the Submarine Geomorphology Using Data Modeling by GMT, Python and R

by Lemenkova, Polina
Published 2021

Glenda Software Design.

by Seyfarth, Benjamin R., Bickham, Jerry L., Peggion, Germana
Published 1995

Perpetuality for full and safe composition (in a constructive setting)

by Kesner, Delia
Published 2008

Perpetuality for full and safe composition (in a constructive setting)

by Kesner, Delia
Published 2008

Perpetuality for full and safe composition (in a constructive setting)

by Kesner, Delia
Published 2008

The Arc Consistency Problem: a Case Study in Parallel Programming with Shared Objects

by Irina Athanasiu, Henri E. Bal
Published 1993

On global types and multi-party sessions

by Castagna, Giuseppe, Dezani-Ciancaglini, Mariangiola, Padovani, Luca
Published 2011

Contextual Refinement Types

by Gaulin, Antoine, Pientka, Brigitte
Published in Electronic Proceedings in Theoretical Computer Science (2023)

On global types and multi-party sessions

by Castagna, Giuseppe, Dezani-Ciancaglini, Mariangiola, Padovani, Luca
Published 2011

On global types and multi-party sessions

by Castagna, Giuseppe, Dezani-Ciancaglini, Mariangiola, Padovani, Luca
Published 2011

A type checking algorithm for qualified session types

by Giunti, Marco
Published in Electronic Proceedings in Theoretical Computer Science (2011)

A type checking algorithm for qualified session types

by Giunti, Marco
Published in Electronic Proceedings in Theoretical Computer Science (2011)

Relationships Between Ice Water Content and Volume Extinction Coefficient from in Situ Observations for Temperatures from 0° to -86°C: Implications for Spaceborne Iidar Retrievals...

by Heymsfield, A., Winker, D., Avery, M., Vaughan, M., Diskin, G., Deng, Min, Mitev, V., Matthey, R.
Published in Journal of Applied Meteorology and Climatology (2014)

Relationships Between Ice Water Content and Volume Extinction Coefficient from in Situ Observations for Temperatures from 0° to -86°C: Implications for Spaceborne Iidar Retrievals...

by Heymsfield, A., Winker, D., Avery, M., Vaughan, M., Diskin, G., Deng, Min, Mitev, V., Matthey, R.
Published in Journal of Applied Meteorology and Climatology (2014)

Dependence analysis and evaluation of inherent parallelism of programs

by Chen, Zhenjie, 1957-
Published 1995

Arora : Python package for Sleep Revolution

by Anton Björn Mayböck Helgason 2000-, Björgvin Ægir Elisson 2000-, Eva Björg Nåbye 2000-, Margrét Sól Aðalsteinsdóttir 2000-
Published 2022

Novel array representation methods in support of a microcomputer-based APL interpreter

by Fleysher, Daniel
Published 1985

CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle

by El-Korashy, Akram, Tsampas, Stelios, Patrignani, Marco, Devriese, Dominique, Garg, Deepak, Piessens, Frank
Published 2020

Ownership guided C to Rust translation ...

by Zhang, Hanliang, David, Cristina, Yu, Yijun, Wang, Meng
Published 2023

A Bridge Anchored on Both Sides: Formal Deduction in Introductory CS, and Code Proofs in Discrete Math

by Wonnacott, David G., Osera, Peter-Michael
Published 2019