01302nam2-2200397li-450 99000012055020331620180918160656.00012055USA010012055(ALEPH)000012055USA0100120552001990061977-------y0itay0103----baengUS<<The>> Hamilton-Jacobi equationa global approachStanley H. Benton jr.New York [etc.]Academic Press1977XI, 147 p.graf.23 cmMathematics in science and engineering1310010003335932001Mathematics in science and engineering131hamilton-jacobi, equazioni di51535Equazioni differenzialiBenton,Stanley H.,jr.54412ITsalbcISBD990000120550203316510 MSE 131 (A)2886/CBS51000111361510 MSE 131 (B)9856/CBS51000111362BKSCI1990060120001110USA011711ALANDI9020020325USA01160320020403USA011619PATRY9020040406USA011609RSIAV69020091022USA011039Hamilton Jacobi equation345428UNISA04168nam 22007455 450 991052298210332120251113194210.03-030-94479-410.1007/978-3-030-94479-7(MiAaPQ)EBC6846187(Au-PeEL)EBL6846187(CKB)20592832400041(PPN)261525778(OCoLC)1291560980(DE-He213)978-3-030-94479-7(EXLCZ)992059283240004120220107d2022 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierPractical Aspects of Declarative Languages 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17–18, 2022, Proceedings /edited by James Cheney, Simona Perri1st ed. 2022.Cham :Springer International Publishing :Imprint: Springer,2022.1 online resource (225 pages)Programming and Software Engineering,2945-9168 ;13165Includes index.Print version: Cheney, James Practical Aspects of Declarative Languages Cham : Springer International Publishing AG,c2022 9783030944780 Answer Set Programming -- Modelling the Outlier Detection Problem in ASP(Q) -- Multi-Agent Pick and Delivery with Capacities: Action Planning vs Path Finding -- Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers -- Functional Programming -- Functional Programming on Top of SQL Engines -- CircuitFlow: A Domain Specific Language for Dataflow Programming -- Languages, Methods and Tools -- Timed Concurrent Language for Argumentation: an Interleaving Approach -- Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Programming -- Implementing Stable-Unstable Semantics with ASPTOOLS and Clingo -- Smart Devices and Large Scale Reasoning via ASP: Tools and Applications -- Declarative Solutions -- Decomposition-based Job-shop Scheduling with Constrained Clustering -- Modeling and Verification of Real-time Systems with the Event Calculus and s(CASP) -- Parallel Declarative Solutions of Sequencing Problems using Multi-valued Decision Diagrams and GPUs -- Green Application Placement in the Cloud-IoT Continuum.This book constitutes the refereed proceedings of the 24th International Conference on Practical Aspects of Declarative Languages, PADL 2022, held in Philadelphia, PA, USA, during January 17-18, 2022. The 9 full papers and 4 short papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: answer set programming; functional programming; languages, methods and tools; and declarative solutions. .Programming and Software Engineering,2945-9168 ;13165Programming languages (Electronic computers)Application softwareExpert systems (Computer science)Computer scienceComputer engineeringComputer networksProgramming LanguageComputer and Information Systems ApplicationsKnowledge Based SystemsTheory of ComputationComputer Engineering and NetworksProgramming languages (Electronic computers)Application software.Expert systems (Computer science)Computer science.Computer engineering.Computer networks.Programming Language.Computer and Information Systems Applications.Knowledge Based Systems.Theory of Computation.Computer Engineering and Networks.005.131005.131Cheney JamesPerri SimonaMiAaPQMiAaPQMiAaPQBOOK9910522982103321Practical Aspects of Declarative Languages772495UNINA