Search Results - program changing https function using https

1

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings /

Published 2006

Table of Contents: “... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”
View full text

Electronic eBook

2

Drawing Programs: The Theory and Practice of Schematic Functional Programming

by Addis, Tom., Addis, Tom., Addis, Jan.
Published 2010

Table of Contents: “...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
View full text

Electronic eBook

3

Quantifying Functional Biodiversity

by Pla, Laura., Pla, Laura., Casanoves, Fernando., Di Rienzo, Julio.
Published 2012

Table of Contents: “... FDiversity -- 4.1.2 Data Menu -- 4.1.3 Statistics and Output Menus -- 4.2 Case study: Changes in Functional...”
View full text

Electronic eBook

4

Changing Land Use Patterns in the Coastal Zone Managing Environmental Quality in Rapidly Developing Regions /

Published 2006

Table of Contents: “...Introduction—The Effects of Changing Land Use Patterns on Marine Resources: Setting a Research...”
View full text

Electronic eBook

5

Genetic Programming 10th European Conference, EuroGP 2007, Valencia, Spain, April 11-13, 2007, Proceedings /

Published 2007

Table of Contents: “... Streams Using Fractal GP Ensembles -- Multi-objective Genetic Programming for Improving the Performance...”
View full text

Electronic eBook

6

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

Published 2006

Table of Contents: “...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...”
View full text

Electronic eBook

7

Functional Imaging and Modeling of the Heart Third International Workshop, FIMH 2005, Barcelona, Spain, June 2-4, 2005, Proceedings /

Published 2005

Table of Contents: “... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”
View full text

Electronic eBook

8

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

9

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

Published 2010

Table of Contents: “... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...”
View full text

Electronic eBook

10

Inductive Logic Programming 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers /

Published 2007

Table of Contents: “... Networks -- Multi-class Prediction Using Stochastic Logic Programs -- Structuring Natural Language Data...”
View full text

Electronic eBook

11

Introduction to Stochastic Programming

by Birge, John R., Birge, John R., Louveaux, François.
Published 2011

Table of Contents: “... Programs -- Stochastic Integer Programs -- Evaluating and Approximating Expectations -- Monte Carlo Methods...”
View full text

Electronic eBook

12

Mathematics of Energy and Climate Change International Conference and Advanced School Planet Earth, Portugal, March 21-28, 2013 /

Published 2015

Table of Contents: “... Alves -- 2 Impacts of Vaccination and Behavior Change In The Optimal Intervention Strategy...”
View full text

Electronic eBook

13

Hydrological Changes and Estuarine Dynamics

by Montagna, Paul., Montagna, Paul., Palmer, Terence A., Beseres Pollack, Jennifer.
Published 2013

Subjects: “...Ecosystems. https://scigraph.springernature.com/ontologies/product-market-codes/L1904X...”
View full text

Electronic eBook

14

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /

Published 2013

Table of Contents: “...: Visualizing Relations between Answer Sets -- Symbolic System Synthesis Using Answer Set Programming...”
View full text

Electronic eBook

15

Logic Programming and Nonmonotonic Reasoning 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings /

Published 2007

Table of Contents: “... for Answer Set Programming -- Using Answer Sets to Solve Belief Change Problems -- An Smodels System...”
View full text

Electronic eBook

16

Principles and Practice of Constraint Programming 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008, Proceedings /

Published 2008

Table of Contents: “... Constraints Using Functional Dependencies -- Relaxations for Compiled Over-Constrained Problems -- Approximate...”
View full text

Electronic eBook

17

Genetic Programming Theory and Practice XII

Published 2015

Table of Contents: “... of Novel Genetic Models of Glaucoma using the "Emergent" Genetic Programming-Based Artificial Intelligence...”
View full text

Electronic eBook

18

Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers /

Published 2007

Table of Contents: “... Partial Evaluation of Logic Programs Using Online Techniques -- Improving Offline Narrowing-Driven Partial...”
View full text

Electronic eBook

19

Programmed Cells from Basic Neuroscience to Therapy

Published 2013

Table of Contents: “... .-Characterizing neural circuitry with programmed human neurons.- Direct conversion of fibroblasts to neuronal...”
View full text

Electronic eBook

20

Integrated Assessment of Water Resources and Global Change A North-South Analysis /

Published 2007

Table of Contents: “... scarcity including virtual water trading -- Water footprints of nations: Water use by people as a function...”
View full text

Electronic eBook

Narrow Search