02583oam 2200637I 450 991045069610332120200520144314.01-134-95806-41-280-11167-40-203-97671-110.4324/9780203976715 (CKB)1000000000253317(EBL)242317(OCoLC)191662254(SSID)ssj0000237074(PQKBManifestationID)11210875(PQKBTitleCode)TC0000237074(PQKBWorkID)10190871(PQKB)11215491(MiAaPQ)EBC242317(Au-PeEL)EBL242317(CaPaEBR)ebr10099116(CaONFJC)MIL11167(OCoLC)935227781(EXLCZ)99100000000025331720180706d1990 uy 0engur|n|---|||||txtccrRetailing environments in developing countries /edited by Allan M. Findlay, Ronan Paddison, and John A. DawsonLondon ;New York :Routledge,1990.1 online resource (300 p.)Description based upon print version of record.1-138-99730-7 0-415-03739-5 Includes bibliographical references and index.Book Cover; Half-Title; Title; Copyright; Contents; List of figures; List of tables; Notes on contributors; Preface; Part I Theory and practice of retail studies in developing countries; Part II Retail structure and change in less-developed countries; Part III Consumer behaviour, culture and retail change; Part IV Towards a research agendaRetailing in less developed countries can take any number of forms and fulfils a wide range of different needs. As this book shows it is susceptible to cultural as well as to economic forces and it needs to be analysed in terms of both global economic shifts and place-specific social and economic formations.Consumer behaviorDeveloping countriesCase studiesRetail tradeDeveloping countriesCase studiesElectronic books.Consumer behaviorRetail trade381.1091724381/.1Dawson John A106006Findlay Allan M243416Paddison Ronan141236FlBoTFGFlBoTFGBOOK9910450696103321Retailing environments in developing countries1950375UNINA06898nam 2200469 450 99646453510331620220425120939.03-030-94479-4(MiAaPQ)EBC6846187(Au-PeEL)EBL6846187(CKB)20592832400041(PPN)261525778(EXLCZ)992059283240004120220302d2022 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierPractical aspects of declarative languages 24th international symposium, PADL 2022, Philadelphia, PA, USA, January 17-18, 2022 : proceedings /James Cheney, Simona Perri (editors)Cham, Switzerland :Springer,[2022]©20221 online resource (225 pages)Lecture notes in computer science ;13165Includes index.Print version: Cheney, James Practical Aspects of Declarative Languages Cham : Springer International Publishing AG,c2022 9783030944780 Intro -- Preface -- Organization -- Abstracts of Invited Talks -- People, Ideas, and the Path Ahead -- Declarative Programming and Education -- Contents -- Invited Talk -- People, Ideas, and the Path Ahead -- 1 Introduction -- 2 KR Methodology and Practical Applications -- 3 Hybrid Declarative Languages for Practical Applications -- 4 Intelligent Agents as Thought Partners -- 5 Conclusion -- References -- Answer Set Programming -- Modelling the Outlier Detection Problem in ASP(Q) -- 1 Introduction -- 2 Preliminaries -- 3 Outlier Detection -- 4 ASP(Q) Encoding -- 5 Experiments -- 6 Conclusion -- References -- Multi-agent Pick and Delivery with Capacities: Action Planning Vs Path Finding -- 1 Introduction -- 2 Related Work -- 3 MAPDC-P: Solving MAPDC with a Planning Approach -- 3.1 MAPDC as a Planning Problem -- 3.2 Solving MAPDC-P Using Multi-shot ASP -- 4 MAPDC-G: Solving MAPDC with a Path Finding Approach -- 4.1 MAPDC as a Graph Problem -- 4.2 Solving MAPDC-G Using Multi-shot ASP -- 5 Experimental Evaluations -- 6 Conclusions -- References -- Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers -- 1 Introduction -- 2 Background -- 3 Reversibility of Actions -- 4 ASP(Q) Encodings of Reversibility -- 4.1 the plasp Format -- 4.2 a Uniform Reversibility Encoding Using ASP(Q) -- 4.3 A Non-uniform Reversibility Encoding Using ASP(Q) -- 5 Experiments -- 6 Conclusions -- References -- Functional Programming -- Functional Programming on Top of SQL Engines -- 1 Recursive SQL UDFs: From 1000s of Plans to One Plan -- 2 Treating SQL UDFs Like Functions (Not Queries) -- 2.1 Transition from SQL to FP -- 2.2 From Recursion Towards Iteration: CPS and Defunctionalization -- 2.3 Trampolined Style: Single Loop Replaces Mutual Recursion -- 3 An Iterative SQL-Based Interpreter for Recursive UDFs.3.1 Memoizing the Results of Recursive Calls -- 3.2 Optimizations: Slimmer/Shorter Working and Union Tables -- 4 Experiments: Functional Programming on Top of PostgreSQL -- 5 More Related Work -- 6 Wrap-Up -- References -- CircuitFlow: A Domain Specific Language for Dataflow Programming -- 1 Introduction -- 2 CircuitFlow Language -- 2.1 DataStores -- 2.2 Circuit Type -- 2.3 Circuit Constructors -- 2.4 CircuitFlow in Action -- 2.5 mapC Operator -- 3 CircuitFlow Under the Hood -- 3.1 Circuit API -- 3.2 Network Typeclass -- 3.3 The Basic Network Representation -- 3.4 Translation to a BasicNetwork -- 4 Benchmarks -- 5 Discussion and Related Work -- 6 Conclusion -- References -- Languages, Methods and Tools -- Timed Concurrent Language for Argumentation: An Interleaving Approach -- 1 Introduction -- 2 Background -- 3 Syntax and Semantics -- 4 Modelling a Dialogue -- 5 tcla Simulator -- 6 Related Work -- 7 Conclusion -- References -- Towards Dynamic Consistency Checking in Goal-Directed Predicate Answer Set Programming -- 1 Introduction -- 2 Background: S(CASP) -- 2.1 Execution Procedure of s(CASP) -- 2.2 Unsafe Variables and Uninterpreted Function Symbols -- 2.3 s(CASP) as a Conservative Extension of ASP -- 2.4 The s(CASP) Interpreter -- 3 Dynamic Consistency Checking in s(CASP) -- 3.1 Motivation -- 3.2 Outline of the DCC Approach -- 3.3 Implementation of DCC in s(CASP) -- 4 Evaluation -- 5 Conclusions -- References -- Implementing Stable-Unstable Semantics with ASPTOOLS and Clingo -- 1 Introduction -- 2 Preliminaries -- 2.1 Minimal and Stable Models -- 2.2 Stable-Unstable Semantics -- 3 Modularity -- 4 Translating NLPs into SAT -- 5 Saturation -- 6 Capturing Stable-Unstable Semantics -- 7 Implementation and Practical Modeling -- 7.1 Practical Modeling -- 7.2 Performance Analysis -- 8 Discussion and Conclusion -- References.Smart Devices and Large Scale Reasoning via ASP: Tools and Applications -- 1 Introduction -- 2 The DLV-LS System -- 3 A Use Case Application of DLV-LS -- 4 Conclusion -- References -- Declarative Solutions -- Decomposition-Based Job-Shop Scheduling with Constrained Clustering -- 1 Introduction -- 2 Job-Shop Scheduling Problem -- 3 Feature Extraction -- 4 Constrained Clustering Algorithm -- 5 Evaluation Results -- 6 Related Work -- 7 Conclusions -- References -- Modeling and Verification of Real-Time Systems with the Event Calculus and s(CASP) -- 1 Introduction -- 2 Background -- 2.1 Easy Approach to Requirement Syntax (EARS) -- 2.2 Basic Event Calculus (BEC) -- 2.3 Goal-Directed Answer Set Programming -- 3 Modeling and Verifying Cyber Physical Systems in EC -- 3.1 Train-Gate-Controller in EARS -- 3.2 Train-Gate-Requirements in EC Using s(CASP) -- 4 Checking Safety and Liveness of Train-Gate-Controller -- 4.1 Safety and Liveness Queries -- 5 Conclusion and Future Work -- References -- Parallel Declarative Solutions of Sequencing Problems Using Multi-valued Decision Diagrams and GPUs -- 1 Introduction -- 2 Background -- 2.1 Multi-valued Decision Diagrams -- 2.2 Large Neighborhood Search -- 2.3 GPGPU with CUDA -- 2.4 Related Works -- 3 Design and Implementation -- 3.1 Overview -- 3.2 LNS Parallelization -- 3.3 Implementation Details -- 4 Results and Analysis -- 4.1 Results -- 4.2 Analysis -- 5 Conclusions and Future Work -- References -- Green Application Placement in the Cloud-IoT Continuum -- 1 Introduction -- 2 GFogBrain in Action -- 3 Related Work -- 4 Concluding Remarks -- References -- Author Index.Lecture notes in computer science ;13165.Declarative programming languagesCongressesDeclarative programming languages005.131Cheney JamesPerri SimonaMiAaPQMiAaPQMiAaPQBOOK996464535103316Practical Aspects of Declarative Languages772495UNISA01183nam 2200409 450 991081316780332120230814215244.02-14-009803-X(CKB)5340000000060910(MiAaPQ)EBC6668608(Au-PeEL)EBL6668608(OCoLC)1247066267(EXLCZ)99534000000006091020220702d2018 uy 0freurcnu||||||||txtrdacontentcrdamediacrrdacarrierDémocratie locale 2.0 /Myriam DeslandesParis :L'Harmattan,[2018]©20181 online resource (174 pages)Questions contemporaines2-343-15211-X Collection Questions contemporaines.Public administrationData processingPublic administrationData processing.350.000285Morin-Deslandes Huguette1949-1617756MiAaPQMiAaPQMiAaPQBOOK9910813167803321Démocratie locale 2.03949074UNINA00893cam0-2200313---450 99000489984040332120241206164045.0000489984FED01000489984(Aleph)000489984FED0119990604d1966----km-y0itay50------baengNLa-------001yyInvestigating linguistic acceptabilityby Randolph Quirk and Jan SvartvikThe HagueMouton196617 p.22 cmJanua linguarumSeries minor54Linguistica410Quirk,Randolph132068Svartvik,Jan184213ITUNINARICAUNIMARCBK990004899840403321410 QUIR 01Ist.f.m.18960FLFBCFLFBCInvestigating linguistic acceptability524365UNINA