Výsledky vyhledávání - integration functional program program issues https

1

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

Vydáno 2010

Obsah: “...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”
Získat plný text

Elektronický zdroj E-kniha

2

Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers /

Vydáno 2010

Obsah: “... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...”
Získat plný text

Elektronický zdroj E-kniha

3

Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19, 2011, Proceedings /

Vydáno 2011

Témata: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Získat plný text

Elektronický zdroj E-kniha

4

Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers /

Vydáno 2011

Témata: “...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”
Získat plný text

Elektronický zdroj E-kniha

5

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Vydáno 2008

Obsah: “... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...”
Získat plný text

Elektronický zdroj E-kniha

6

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization...

Vydáno 2007

Obsah: “... with Integer Programming -- Hybrid Local Search for Constrained Financial Portfolio Selection Problems...”
Získat plný text

Elektronický zdroj E-kniha

7

Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...

Vydáno 2008

Obsah: “... Encodings and Dependent Types -- Functional and Logic Programming -- Programming in JoCaml (Tool...”
Získat plný text

Elektronický zdroj E-kniha

8

Certified Programs and Proofs Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings /

Vydáno 2012

Obsah: “... in Computer-Aided Cryptography: Proofs, Attacks and Designs -- Program Certification by Higher-Order Model...”
Získat plný text

Elektronický zdroj E-kniha

9

Reflections on the Teaching of Programming Methods and Implementations /

Vydáno 2008

Obsah: “...Issues in Introductory Programming Courses -- to Part I Issues in Introductory Programming Courses...”
Získat plný text

Elektronický zdroj E-kniha

10

Programming Languages and Systems 11th International Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013, Proceedings /

Vydáno 2013

Obsah: “... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”
Získat plný text

Elektronický zdroj E-kniha

11

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

Vydáno 2007

Obsah: “... -- Integration of Learning and Reasoning Techniques -- Injecting Life with Computers -- Special Issue Extended...”
Získat plný text

Elektronický zdroj E-kniha

12

Integer Programming and Combinatorial Optimization 12th International IPCO Conference, Ithaca, NY, USA, June 25-27, 2007, Proceedings /

Vydáno 2007

Obsah: “... Programming -- Sequential-Merge Facets for Two-Dimensional Group Problems -- Session 2 -- Triangle-Free Simple...”
Získat plný text

Elektronický zdroj E-kniha

13

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

Vydáno 2013

Obsah: “...On the Structure of Reduced Kernel Lattice Bases -- Constant Integrality Gap LP formulations...”
Získat plný text

Elektronický zdroj E-kniha

14

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...

Vydáno 2013

Obsah: “... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”
Získat plný text

Elektronický zdroj E-kniha

15

Genetic Programming Theory and Practice III

Vydáno 2006

Obsah: “... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...”
Získat plný text

Elektronický zdroj E-kniha

16

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Vydáno 2005

Obsah: “...Independently Checkable Proofs from Decision Procedures: Issues and Progress -- Zap: Automated...”
Získat plný text

Elektronický zdroj E-kniha

17

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

Autor Ghazvini, Anahita, Mohd Sharef, Nurfadhlina, Sidi, Fatimah
Vydáno 2024

“... programs. To address these issues, nonlinear dynamic systems, notably Recurrent Neural Networks (RNNs...”
Získat plný text

Článek

18

Food Engineering: Integrated Approaches

Vydáno 2008

Obsah: “... Engineering -- Towards an Integrated Approach to Food Engineering: Structure-Function Relationships...”
Získat plný text

Elektronický zdroj E-kniha

19

Data Engineering Issues in E-Commerce and Services Second International Workshop, DEECS 2006, San Francisco, CA, USA, June 26, 2006 /

Vydáno 2006

Obsah: “...-Marketplaces -- Customer Future Profitability Assessment: A Data-Driven Segmentation Function Approach...”
Získat plný text

Elektronický zdroj E-kniha

20

Treatment of Chronic Pain by Integrative Approaches the AMERICAN ACADEMY of PAIN MEDICINE Textbook on Patient Management /

Vydáno 2015

Obsah: “... -- 13. Interdisciplinary Functional Restoration and Pain Programs -- 14. Pain and Spirituality -- 15...”
Získat plný text

Elektronický zdroj E-kniha

Upřesnit hledání