Search Results - program computing https functionality via https

1

Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings /

Published 2008

Table of Contents: “...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”
View full text

Electronic eBook

2

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings /

Published 2010

Table of Contents: “...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”
View full text

Electronic eBook

3

DNA Computing and Molecular Programming 19th International Conference, DNA 2013, Tempe, AZ, USA, September 22-27, 2013, Proceedings /

Published 2013

Table of Contents: “...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”
View full text

Electronic eBook

4

Prediction of course grades in computer science higher education program via a combination of loss functions in lstm model

by Ghazvini, Anahita, Mohd Sharef, Nurfadhlina, Sidi, Fatimah
Published 2024

“... learning management system (LMS) and assessment records from a higher education computer science program...”
View full text

Article

5

Stochastic Linear Programming Models, Theory, and Computation /

by Kall, Peter., Kall, Peter., Mayer, János.
Published 2011

Subjects: “...Mathematical and Computational Engineering. https://scigraph.springernature.com/ontologies/product...”
View full text

Electronic eBook

6

Domain of Attraction Analysis and Control via SOS Programming /

by Chesi, Graziano., Chesi, Graziano.
Published 2011

Table of Contents: “... -- Domain of Attraction in Non-polynomial Systems -- Domain of Attraction via Multiple Lyapunov Function...”
View full text

Electronic eBook

7

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I /

Published 2008

Table of Contents: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
View full text

Electronic eBook

8

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II /

Published 2006

Table of Contents: “...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...”
View full text

Electronic eBook

9

Computer Algebra in Scientific Computing 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007, Proceedings /

Published 2007

Table of Contents: “... -- Computations in Modules over Commutative Domains -- Advances on the Continued Fractions Method Using Better...”
View full text

Electronic eBook

10

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I /

Published 2015

Table of Contents: “... via Primal-Dual Method -- What Percentage of Programs Halt? -- The Parity of Set Systems Under Random...”
View full text

Electronic eBook

11

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /

Published 2010

Table of Contents: “... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”
View full text

Electronic eBook

12

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Published 2014

Table of Contents: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
View full text

Electronic eBook

13

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II /

Published 2015

Table of Contents: “... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”
View full text

Electronic eBook

14

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I /

Published 2006

Table of Contents: “... in the Presence of Memory Faults -- Reliable and Efficient Computational Geometry Via Controlled Perturbation...”
View full text

Electronic eBook

15

Programs, Proofs, Processes 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings /

Published 2010

Table of Contents: “... -- Computational Interpretations of Analysis via Products of Selection Functions -- The Peirce Translation...”
View full text

Electronic eBook

16

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Published 2006

Table of Contents: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
View full text

Electronic eBook

17

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I /

Published 2010

Table of Contents: “...: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable...”
View full text

Electronic eBook

18

Reflections on the Teaching of Programming Methods and Implementations /

Published 2008

Table of Contents: “... -- Exposing the Programming Process -- Apprentice-Based Learning Via Integrated Lectures and Assignments...”
View full text

Electronic eBook

19

Integer Programming and Combinatorial Optimization 16th International Conference, IPCO 2013, Valparaíso, Chile, March 18-20, 2013. Proceedings /

Published 2013

Table of Contents: “... of Unsplittable Flow on a Path -- Content Placement via the Exponential Potential Function Method -- Blocking...”
View full text

Electronic eBook

20

Scalable Optimization via Probabilistic Modeling From Algorithms to Applications /

Published 2006

Table of Contents: “... Learning via Probabilistic Modeling in the Extended Compact Genetic Algorithm (ECGA) -- Hierarchical...”
View full text

Electronic eBook

Narrow Search