| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996466284503316 |
|
|
Titolo |
Integration of AI and OR Techniques in Constraint Programming [[electronic resource] ] : 14th International Conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017, Proceedings / / edited by Domenico Salvagnin, Michele Lombardi |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2017.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XXIII, 420 p. 78 illus.) |
|
|
|
|
|
|
Collana |
|
Theoretical Computer Science and General Issues, , 2512-2029 ; ; 10335 |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Numerical analysis |
Artificial intelligence—Data processing |
Computer science—Mathematics |
Discrete mathematics |
Algorithms |
Artificial intelligence |
Operations research |
Management science |
Numerical Analysis |
Data Science |
Discrete Mathematics in Computer Science |
Artificial Intelligence |
Operations Research, Management Science |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Sharpening Constraint Programming approaches for Bit-Vector Theory -- Range-Consistent Forbidden Regions of Allen's Relations -- MDDs are Efficient Modeling Tools: An Application to Dispersion Constraints -- On Finding the Optimal Relaxed Decision Diagram -- Design and Implementation of Bounded-Length Sequence Variables -- In Search of Balance: The Challenge of Generating Balanced Latin Rectangles -- |
|
|
|
|
|
|
|
|
|
|
|
Debugging Unsatisfiable Constraint Models -- Learning Decision Trees with Exible Constraints and Objectives Using Integer Optimization -- Relaxation Methods for Constrained Matrix Factorization Problems: Solving the Phase Mapping Problem in Materials Discovery -- Minimizing Landscape Resistance for Habitat Conservation -- A Hybrid Approach for Stator Winding Design Optimization -- A Distributed Optimal Method for the Geographically Distributed Data Centres Problem -- Explanation-Based-Weighted Degree -- Counting-Weighted Spanning Trees to Solve Constrained Minimum Spanning Tree Problems -- The Weighted Arborescence Constraint -- Learning When to Use a Decomposition -- Experiments with Conict Analysis in Mixed Integer Programming -- A First Look at Picking Dual Variables for Maximizing Reduced-cost Based fixing -- Experimental Validation of Volume-based Comparison for Double-McCormick Relaxations -- Vehicle Routing Problem with Min-max Objective and Heterogeneous Fleet -- Solving the Traveling Salesman Problem with Time Windows with Dynamic Discretization Discovery -- A Fast Prize-collecting Steiner Forest Algorithm for Functional Analyses in Biological Networks -- Scenario Based Learning for Stochastic Combinatorial Optimization -- Optimal Stock Sizing in a Cutting Stock Problem with Stochastic Demands -- Stochastic Task Networks: Trading Performance for Stability -- Rescheduling Railway Traffic on Real Time Situations Using Time-Interval Variables -- A Multi-stage Simulated Annealing Algorithm for the Torpedo Scheduling Problem -- Combining CP and ILP in a Tree Decomposition of Bounded Height to Solve the Sum Coloring Problem -- A Free, Open-Source Framework for (Customized) Tree Decompositions and Beyond -- The Nemhauser-Trotter Reduction and Lifted Message Passing for Weighted CSPs -- A Local Search Approach for Incomplete Soft Constraint Problems: Experimental Results on Meeting Scheduling Problems. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the proceedings of the 14th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization Problems, CPAIOR 2017, held in Padua, Italy, in June 2017. The 32 full papers presented together with 6 abstracts were carefully reviewed and selected from numerous submissions. The conference brings together interested researchers from constraint programming, artificial intelligence, and operations research to present new techniques or applications in the intersection of these fields and provides an opportunity for researchers in one area to learn about techniques in the others, and to show how the integration of techniques from different fields can lead to interesting results on large and complex problems. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910797893403321 |
|
|
Titolo |
Domains and directions in the development of TBLT : a decade of plenaries from the International Conference / / edited by Martin Bygate, University of Lancaster |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Amsterdam ; ; Philadelphia : , : John Benjamins Publishing Company, , [2015] |
|
©2015 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (349 p.) |
|
|
|
|
|
|
Collana |
|
Task-Based Language Teaching, , 1877-346X ; ; volume 8 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Language and languages - Study and teaching - Methodology |
Second language acquisition |
Task analysis in education |
Adquisició d'una segona llengua |
Llenguatge i llengües |
Llibres electrònics |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Domains and Directions in the Development of TBLT; Editorial page; Title page; LCC data; Table of contents; Introduction; The DNA of TBLT; The fundamental challenge to the TBLT project; The organisation of the volume; Acknowledgments; References; TBLT; TBLT: Definition and rationale; TBLT's consistency with research findings on ISLA; TBLT: A brief primer; Task-based needs analysis; Task syllabus design; Production of task-based materials; Methodology and pedagogy; Task-based, criterion-referenced performance testing; Program evaluation; Does TBLT have a future?; Building the road as we travel |
Task-based interactions online: What the research base tells teachersCognitive complexity in technology-mediated tasks: An opening agenda; Widening the scope: Beyond online translations of traditional tasks; Technology-mediated tasks at their best: Some examples; Traditional tasks reinvigorated by technological innovation and virtual excitement; New tasks deriving from new mobile and social |
|
|
|
|
|
|
|
|
|
|
technologies; When technology and tasks meet: Towards technology-mediated TBLT; The challenge of authenticity in technology-mediated TBLT; Multifaceted motivation in technology-mediated TBLT |
Concluding remarksReferences; The Cognition Hypothesis, second language task demands and the SSARC model of pedagogic task sequencing; Introduction; Syllabus design; Mapping pedagogic task design to real-world task demands; Situating and distributing task cognition; The Cognition Hypothesis; Task Sequencing Principle 1; Task Sequencing Principle 2; The SSARC model; The Triadic Componential Framework for task classification and sequencing; Task Complexity; Task Complexity and task sequencing; Task Conditions; Task Difficulty; Mapping Task Complexity/Condition-Task Difficulty interactions |
Cognitive abilities and Task ComplexityBroad summary of potentials for Task Complexity-Task Difficulty interactions; Affective factors and Task Conditions; The Cognition Hypothesis and the Trade-Off Hypothesis; Summary and Conclusions; Reference; Limited Attention Capacity and Cognition; Introduction; The Limited Attention Capacity (LAC) Hypothesis: Underlying principles; Evidence and theory; Task research and the Levelt Model: General outline; Conceptualiser Influences; Formulator influences: Lemma retrieval; Formulator influences: Syntactic encoding; The Cognition Hypothesis |
Contrasts between the approaches |
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910787600703321 |
|
|
Titolo |
Book illustration in the long eighteenth century : reconfiguring the visual periphery of the text / / edited by Christina Ionescu |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Newcastle upon Tyne : , : Cambridge Scholars, , 2011 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (620 p.) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Illustration of books - Europe - 18th century |
Art and literature - Europe - History - 18th century |
European literature - 18th century - History and criticism |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
Nota di contenuto |
|
""TABLE OF CONTENTS""; ""LIST OF ILLUSTRATIONS""; ""ACKNOWLEDGEMENTS""; ""INTRODUCTION""; ""PART I""; ""CHAPTER ONE""; ""CHAPTER TWO""; ""CHAPTER THREE""; ""CHAPTER FOUR""; ""PART II""; ""CHAPTER FIVE""; ""CHAPTER SIX""; ""CHAPTER SEVEN""; ""CHAPTER EIGHT""; ""PART III""; ""CHAPTER NINE""; ""CHAPTER TEN""; ""CHAPTER ELEVEN""; ""CHAPTER TWELVE""; ""PART IV""; ""CHAPTER THIRTEEN""; ""CHAPTER FOURTEEN""; ""CHAPTER FIFTEEN""; ""CHAPTER SIXTEEN""; ""CONTRIBUTORS"" |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
Hitherto relegated to the closets of art history and literary studies, book illustration has entered mainstream scholarship. The chapters of this collection offer only a glimpse of where a complete reconfiguration of the visual periphery of eighteenth-century texts might ultimately take us. The use of the gerund of the verb ""to reconfigure"" in the subtitle of this collection, instead of the corresponding noun, underlines the work-in-progress character of this interdisciplinary endeavour, which aims above all to discern new vistas while charting or revisiting landmarks in the rich field of ei |
|
|
|
|
|
|
|
| |