Showing 1 - 20 results of 74 for search '"theory of computation"' Skip to content

0 items (Full)

Advanced Search History Search by Map: Arctic Antarctic

Search Results - Open Polar - "theory of computation"

Search Results

Showing 1 - 20 results of 74 for search '"theory of computation"', query time: 1.37s Refine Results

Sort

List Grid Visual

Select Page | with selected:

Select result number 1
1

Concurrencey in DES and A class of hybrid systems : theory and computation

by Fatemi Booshehri, Seyed Mehdi, 1979-
Published 2010

Get access

Text
Select result number 2
2

Simulation Of The Absorption Spectrum Of Chlorine Peroxide (cloocl)

by Bentley, Megan R
Published in Proceedings of the 2021 International Symposium on Molecular Spectroscopy (2021)
Subjects: “...Theory and Computation...”

Get access
Get access

Text
Select result number 3
3

SIMULATION OF THE ABSORPTION SPECTRUM OF CHLORINE PEROXIDE (ClOOCl)

by Bentley, Megan R
Published
Subjects: “...Theory and Computation...”

Get access

Text
Select result number 4
4

A Type Checker for a Logical Framework with Union and Intersection Types (System Description)

by Stolze, Claude, Liquori, Luigi
Published 2020
Subjects: “...Theory of computation → Lambda calculus...”

Get access
Get access

Conference Object
Select result number 5
5

High performance 400 gigabit ethernet links using hybrid multiband CAP/QAM scheme

by Wei, JL, Cheng, Q, Cunningham, DG, Penty, RV, White, IH, Griesser, H
Published 2015
Subjects: “...4613 Theory Of Computation...”

Get access

Article in Journal/Newspaper
Select result number 6
6

Tight Bounds for Connectivity Problems Parameterized by Cutwidth ...

by Bojikian, Narek, Chekan, Vera, Hegerfeld, Falko, Kratsch, Stefan
Published 2023
Subjects: “...Theory of computation → Parameterized complexity and exact algorithms...”

Get access
Get access

Conference Object
Select result number 7
7

Crystal Structure, Infrared Spectrum and Elastic Anomalies in Tuperssuatsiaite

by Colmenero, Francisco, Sejkora, J., Plášil, J.
Published 2020
Subjects: “...Theory and computation...”

Get access
Get access
Get access

Article in Journal/Newspaper
Select result number 8
8

Optimization of Short-Term Underground Mine Planning Using Constraint Programming ...

by Aalian, Younes, Pesant, Gilles, Gamache, Michel
Published 2023
Subjects: “...Theory of computation → Constraint and logic programming...”

Get access
Get access

Conference Object
Select result number 9
9

A Type Checker for a Logical Framework with Union and Intersection Types

by Stolze, Claude, Liquori, Luigi
Published 2020
Subjects: “...2012 ACM Subject Classification Theory of computation → Lambda calculus...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 10
10

A Type Checker for a Logical Framework with Union and Intersection Types

by Stolze, Claude, Liquori, Luigi
Published 2020
Subjects: “...2012 ACM Subject Classification Theory of computation → Lambda calculus...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 11
11

A Type Checker for a Logical Framework with Union and Intersection Types

by Stolze, Claude, Liquori, Luigi
Published 2020
Subjects: “...2012 ACM Subject Classification Theory of computation → Lambda calculus...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 12
12

A Type Checker for a Logical Framework with Union and Intersection Types

by Stolze, Claude, Liquori, Luigi
Published 2020
Subjects: “...2012 ACM Subject Classification Theory of computation → Lambda calculus...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 13
13

A Type Checker for a Logical Framework with Union and Intersection Types

by Stolze, Claude, Liquori, Luigi
Published in Canadian Journal of Zoology (2020)
Subjects: “...2012 ACM Subject Classification Theory of computation → Lambda calculus...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 14
14

On the extension of computable real functions

by Hoyrup, Mathieu, Gomaa, Walid
Published 2017
Subjects: “...ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation/F...”

Get access
Get access
Get access

Conference Object
Select result number 15
15

On the extension of computable real functions

by Hoyrup, Mathieu, Gomaa, Walid
Published 2017
Subjects: “...ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation/F...”

Get access
Get access
Get access

Conference Object
Select result number 16
16

A type checking algorithm for qualified session types

by Giunti, Marco
Published in Electronic Proceedings in Theoretical Computer Science (2011)
Subjects: “...ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 17
17

A type checking algorithm for qualified session types

by Giunti, Marco
Published in Electronic Proceedings in Theoretical Computer Science (2011)
Subjects: “...ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming...”

Get access
Get access
Get access
Get access

Conference Object
Select result number 18
18

Efektivna kompaktnost

by Vasung, Patrik
Published 2022
Subjects: “...theory of computability...”

Get access
Get access
Get access
Get access

Master Thesis
Select result number 19
19

Solvent Flux Method (SFM): A Case Study of Water Access to Candida antarctica Lipase B

by Benson, Sven P., Pleiss, Jürgen
Published in Journal of Chemical Theory and Computation (2014)

Get access
Get access

Article in Journal/Newspaper
Select result number 20
20

Empirical Correction to Molecular Interaction Energies in Density Functional Theory (DFT) for Methane Hydrate Simulation

by Du, Qi-Shi, Liu, Peng-Jun, Deng, Jun
Published in Journal of Chemical Theory and Computation (2007)

Get access
Get access

Article in Journal/Newspaper