Advances in Smart Vehicular Technology, Transportation, Communication and Applications : Proceeding of the Second International Conference on Smart Vehicular Technology, Transportation, Communication and Applications, October 25-28, 2018 Mount Emei, China, Part 2 / / edited by Yong Zhao, Tsu-Yang Wu, Tang-Hsien Chang, Jeng-Shyang Pan, Lakhmi C. Jain
| Advances in Smart Vehicular Technology, Transportation, Communication and Applications : Proceeding of the Second International Conference on Smart Vehicular Technology, Transportation, Communication and Applications, October 25-28, 2018 Mount Emei, China, Part 2 / / edited by Yong Zhao, Tsu-Yang Wu, Tang-Hsien Chang, Jeng-Shyang Pan, Lakhmi C. Jain |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (380 pages) |
| Disciplina | 388.312 |
| Collana | Smart Innovation, Systems and Technologies |
| Soggetto topico |
Computational intelligence
Transportation engineering Traffic engineering Artificial intelligence Computational Intelligence Transportation Technology and Traffic Engineering Artificial Intelligence |
| ISBN | 3-030-04585-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modified Adaptive Nonsmooth Attitude Tracking Control of Quadrotor UAV with Dynamic Uncertainties -- Geo-spatial Ontology Matching through Compact Evolutionary Algorithm -- Research on Optimization Of LMS Frequency Estimation Based On FPGA Technology -- The Development and Analysis of Electromagnetic Compatibility for Vehicles -- Non-linear Random Change Differential Evolution for Multi-objective Resource Allocation Problem -- Design and Realization of Intelligent Voice-control Car based on Raspberry Pi -- Improved Performance of Wireless Sensor Network Based on Fuzzy Logic for Clustering Scheme -- Dynamic Traffic Information Estimation based on Floating Car Data -- Regional Coverage Monitoring Planning Technology for Multi-UAV Based on Pruning PSO -- Using On-Board Diagnostics Data to Analyze Driving Behavior and Fuel Consumption -- Application of TRIZ to determine strategies for Transitioning from Third-party to Fourth-party Logistics in China. |
| Record Nr. | UNINA-9910483549203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Advances in Smart Vehicular Technology, Transportation, Communication and Applications : Proceedings of the First International Conference on Smart Vehicular Technology, Transportation, Communication and Applications, November 6-8, 2017, Kaohsiung, Taiwan / / edited by Jeng-Shyang Pan, Tsu-Yang Wu, Yong Zhao, Lakhmi C. Jain
| Advances in Smart Vehicular Technology, Transportation, Communication and Applications : Proceedings of the First International Conference on Smart Vehicular Technology, Transportation, Communication and Applications, November 6-8, 2017, Kaohsiung, Taiwan / / edited by Jeng-Shyang Pan, Tsu-Yang Wu, Yong Zhao, Lakhmi C. Jain |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XV, 404 p. 194 illus.) |
| Disciplina | 388.312 |
| Collana | Smart Innovation, Systems and Technologies |
| Soggetto topico |
Transportation engineering
Traffic engineering Computational intelligence Artificial intelligence Transportation Technology and Traffic Engineering Computational Intelligence Artificial Intelligence |
| ISBN | 3-319-70730-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Easy i-Move: Structured Image Recognition Solution for Auto Guided Vehicles -- Evaluating Multi-dimensional Abilities of Bus Drivers -- Research on Detection Algorithm of Roadway Intersection Rule Detection Based on Big Data -- Predicting the Travel Time in Using Recurrent Neural Networks: A Case Study of Fuzhou -- Driving Behavior Motivation Model Research Based on Vehicle Trajectory Data -- A Ranging Algorithm for Mobile Vehicles Based on Kalman Filter -- The Evaluation of the Video Codec Performances on the Driving Recorder with Different Vehicle Speeds -- Railway Train Working Diagram Plan System -- Railway Passenger Service Mode on “Internet +” -- Design of High Speed Train Operation Plan Simulation System -- Service Quality Evaluation of Railway Freight Transportation Network Based on Bayes Theory -- Train Headway Calculation and Simulation System for High-speed Railway -- Train Scheduling for Heavy Haul Railway -- Research on Train Delay Diagnosis in Train Diagram Based on Big Data Technology -- On Linear Precoding of Unitary Space-Time Modulation for Spatial-Temporal Correlated Flat Fading Channel -- The Integration of DFX Principles with TRIZ for Product Design - A Case Study of Electric Scooter -- Adaptive Nonsmooth Attitude Tracking Control of Quadrotor UAV with Dynamic Uncertainties -- A Constructive Problem-based Course Design for Internet of Things. |
| Record Nr. | UNINA-9910299581103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Exploring Learning & Teaching in Higher Education / / edited by Mang Li, Yong Zhao
| Exploring Learning & Teaching in Higher Education / / edited by Mang Li, Yong Zhao |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (413 p.) |
| Disciplina | 378.125 |
| Collana | New Frontiers of Educational Research |
| Soggetto topico |
Education, Higher
Higher Education |
| ISBN |
9783642553523
3642553524 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Instructional Model Oriented towards Improving Teaching Ability of Pre-service Teachers -- Beyond Survival: Using Games to Thrive in Lecture -- Using Entertaining Metaphors in the Introduction of the Case Method in a Case-based Course -- Case Study Instruction in Educational Psychology: Implications for Teacher Preparation -- An Experiential Learning Approach to Teaching Business Planning: Connecting Students to the Real World -- Innovative assessment and collaborative learning using problem-based learning. Learning through Construction a different medium in which to excel? -- Enhancing cooperative education through action learning projects -- Examining Instructional Interventions: Encouraging Academic Integrity Through Active Learning Approaches -- Peer Mentoring and Tutoring in Higher Education -- Learning and Transformation -- Using the Discovering Model to Facilitate Transformative Learning in Higher Education -- Transformative learning theory: Addressing new challenges in social work education -- Technology-supported design for inquiry-based Learning -- Past, Present and Future of Podcasting in Higher Education -- Blended Learning in English for Tourism: a Case Study -- Essay Question Formative Assessments in Large Section Courses: Two Studies Illustrating Easy and Effective Use -- Learner-Centered Assessment in US Colleges and Universities -- Application of Formative Assessment in a Chinese EFL Course. . |
| Record Nr. | UNINA-9910483877603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Genetic Analyses of Wheat and Molecular Marker-Assisted Breeding, Volume 2 : Conditional QTL Analysis and MAS / / by Jichun Tian, Jiansheng Chen, Guangfeng Chen, Peng Wu, Han Zhang, Yong Zhao
| Genetic Analyses of Wheat and Molecular Marker-Assisted Breeding, Volume 2 : Conditional QTL Analysis and MAS / / by Jichun Tian, Jiansheng Chen, Guangfeng Chen, Peng Wu, Han Zhang, Yong Zhao |
| Autore | Tian Jichun |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Dordrecht : , : Springer Netherlands : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (338 p.) |
| Disciplina | 570 |
| Soggetto topico |
Agriculture
Plant breeding Plant Breeding/Biotechnology |
| ISBN | 94-017-7447-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910298444103321 |
Tian Jichun
|
||
| Dordrecht : , : Springer Netherlands : , : Imprint : Springer, , 2015 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Leading modern learning : a blueprint for vision-driven schools / / Jay McTighe, Greg Curtis ; foreword by Yong Zhao
| Leading modern learning : a blueprint for vision-driven schools / / Jay McTighe, Greg Curtis ; foreword by Yong Zhao |
| Autore | McTighe Jay |
| Edizione | [Second edition.] |
| Pubbl/distr/stampa | Bloomington, Indiana : , : ASCD : , : Solution Tree Press, , [2019] |
| Descrizione fisica | 1 online resource (248 pages) |
| Disciplina | 371.207 |
| Soggetto topico |
School improvement programs - United States
Educational change - United States School management and organization - United States |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-947604-45-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910480587103321 |
McTighe Jay
|
||
| Bloomington, Indiana : , : ASCD : , : Solution Tree Press, , [2019] | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
MTAGS'11 : proceedings of the 2011 ACM International Workshop on Many Task Computing on Grids and Supercomputers : November 14, 2011, Seattle, Washington, USA
| MTAGS'11 : proceedings of the 2011 ACM International Workshop on Many Task Computing on Grids and Supercomputers : November 14, 2011, Seattle, Washington, USA |
| Autore | Raicu Ioan |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2011 |
| Descrizione fisica | 1 online resource (70 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| ISBN | 1-4503-1145-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Many Task Computing on Grids and Supercomputers'11 : proceedings of the 2011 ACM International Workshop on Many Task Computing on Grids and Supercomputers : November 14, 2011, Seattle, Washington, USA
Proceedings of the 2011 ACM international workshop on Many task computing on grids and supercomputers |
| Record Nr. | UNINA-9910376141003321 |
Raicu Ioan
|
||
| [Place of publication not identified], : ACM, 2011 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Multidisciplinary Design Optimization of Flight Vehicles : Theory and Applications
| Multidisciplinary Design Optimization of Flight Vehicles : Theory and Applications |
| Autore | Yao Wen |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Singapore : , : Springer, , 2025 |
| Descrizione fisica | 1 online resource (672 pages) |
| Disciplina | 629.13334 |
| Altri autori (Persone) |
ZhaoYong
ZhengXiaohu WangNing |
| Collana | Mechanical Engineering (R0) Series |
| ISBN | 981-9614-33-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9911028646803321 |
Yao Wen
|
||
| Singapore : , : Springer, , 2025 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Optimized cloud resource management and scheduling : theory and practice / / Wenhong Tian, Yong Zhao
| Optimized cloud resource management and scheduling : theory and practice / / Wenhong Tian, Yong Zhao |
| Autore | Tian Wenhong |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Waltham, Massachusetts : , : Morgan Kaufmann, , 2015 |
| Descrizione fisica | 1 online resource (285 p.) |
| Disciplina | 004.6782 |
| Soggetto topico | Cloud computing - Management |
| Soggetto genere / forma | Electronic books. |
| ISBN | 0-12-801645-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front Cover; Optimized Cloud Resource Management and Scheduling; Copyright Page; Contents; Foreword; Preface; About the Authors; Acknowledgments; 1 An Introduction to Cloud Computing; Main Contents of this Chapter; 1.1 The background of Cloud computing; 1.2 Cloud computing is an integration of other advanced technologies; 1.2.1 Parallel computing; 1.2.2 Grid computing; 1.2.3 Utility computing; 1.2.4 Ubiquitous computing; 1.2.5 Software as a service; 1.2.6 Virtualization technology; 1.3 The driving forces of Cloud computing; 1.4 The development status and trends of Cloud computing
1.5 The classification of Cloud computing applications1.5.1 Classification by service type; 1.5.2 Classification by deployment method; 1.6 The different roles in the Cloud computing industry chain; 1.7 The main features and technical challenges of Cloud computing; 1.7.1 The main features of Cloud computing; 1.7.2 Challenging issues; Summary; References; 2 Big Data Technologies and Cloud Computing; Main Contents of this Chapter; 2.1 The background and definition of big data; 2.2 Big data problems; 2.2.1 The problem of speed; 2.2.2 The type and architecture problem 2.2.3 Volume and flexibility problems2.2.4 The cost problem; 2.2.5 The value mining problem; 2.2.6 The security and privacy problem; 2.2.7 Interoperability and data sharing issues; 2.3 The dialectical relationship between Cloud computing and big data; 2.4 Big data technologies; 2.4.1 Infrastructure support; 2.4.2 Data acquisition; 2.4.3 Data storage; 2.4.4 Data computing; 2.4.4.1 Offline batch computing; 2.4.4.2 Real-time interactive computing; 2.4.4.3 Streaming computing; 2.4.5 Data presentation and interaction; 2.4.6 Related work; Summary; Acknowledgments; References 3 Resource Modeling and Definitions for Cloud Data CentersMain Contents of this Chapter; 3.1 Resource models in Cloud data centers; 3.2 Data center resources; 3.3 Categories of Cloud data center resources; 3.3.1 Properties and operations of various resources; 3.3.1.1 Physical servers (PMs); 3.3.1.1.1 The main properties of a physical server; 3.3.1.1.2 Physical server states; 3.3.1.1.3 Main operations of a physical server; 3.3.1.1.4 Server operation error; 3.3.1.2 Physical server cluster; 3.3.1.2.1 Main properties of a physical server cluster; 3.3.1.2.2 States of a physical server cluster 3.3.1.2.3 Operations of a physical server cluster3.3.1.2.4 Physical server errors; 3.3.1.3 Virtual machines; 3.3.1.3.1 Properties of VMs; 3.3.1.3.2 Operations of VMs; 3.3.1.3.3 States of VMs; 3.3.1.3.4 Typical configurations of VMs; 3.3.1.4 Virtual clusters; 3.3.1.4.1 Main properties of a virtual cluster; 3.3.1.4.2 States of a virtual cluster; 3.3.1.4.3 Operations of a virtual cluster; 3.3.1.4.4 Operational errors on VMs; 3.3.1.5 Schedule domains; 3.3.1.5.1 Properties of schedule domains; 3.3.1.5.2 Operations of schedule domains; 3.3.1.5.3 States of schedule domains; 3.3.1.6 Storage 3.3.1.6.1 Properties of shared storage |
| Record Nr. | UNINA-9910460223003321 |
Tian Wenhong
|
||
| Waltham, Massachusetts : , : Morgan Kaufmann, , 2015 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Optimized cloud resource management and scheduling : theory and practice / / Wenhong Tian, Yong Zhao
| Optimized cloud resource management and scheduling : theory and practice / / Wenhong Tian, Yong Zhao |
| Autore | Tian Wenhong |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Waltham, Massachusetts : , : Morgan Kaufmann, , 2015 |
| Descrizione fisica | 1 online resource (285 p.) |
| Disciplina | 004.6782 |
| Soggetto topico | Cloud computing - Management |
| ISBN | 0-12-801645-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front Cover; Optimized Cloud Resource Management and Scheduling; Copyright Page; Contents; Foreword; Preface; About the Authors; Acknowledgments; 1 An Introduction to Cloud Computing; Main Contents of this Chapter; 1.1 The background of Cloud computing; 1.2 Cloud computing is an integration of other advanced technologies; 1.2.1 Parallel computing; 1.2.2 Grid computing; 1.2.3 Utility computing; 1.2.4 Ubiquitous computing; 1.2.5 Software as a service; 1.2.6 Virtualization technology; 1.3 The driving forces of Cloud computing; 1.4 The development status and trends of Cloud computing
1.5 The classification of Cloud computing applications1.5.1 Classification by service type; 1.5.2 Classification by deployment method; 1.6 The different roles in the Cloud computing industry chain; 1.7 The main features and technical challenges of Cloud computing; 1.7.1 The main features of Cloud computing; 1.7.2 Challenging issues; Summary; References; 2 Big Data Technologies and Cloud Computing; Main Contents of this Chapter; 2.1 The background and definition of big data; 2.2 Big data problems; 2.2.1 The problem of speed; 2.2.2 The type and architecture problem 2.2.3 Volume and flexibility problems2.2.4 The cost problem; 2.2.5 The value mining problem; 2.2.6 The security and privacy problem; 2.2.7 Interoperability and data sharing issues; 2.3 The dialectical relationship between Cloud computing and big data; 2.4 Big data technologies; 2.4.1 Infrastructure support; 2.4.2 Data acquisition; 2.4.3 Data storage; 2.4.4 Data computing; 2.4.4.1 Offline batch computing; 2.4.4.2 Real-time interactive computing; 2.4.4.3 Streaming computing; 2.4.5 Data presentation and interaction; 2.4.6 Related work; Summary; Acknowledgments; References 3 Resource Modeling and Definitions for Cloud Data CentersMain Contents of this Chapter; 3.1 Resource models in Cloud data centers; 3.2 Data center resources; 3.3 Categories of Cloud data center resources; 3.3.1 Properties and operations of various resources; 3.3.1.1 Physical servers (PMs); 3.3.1.1.1 The main properties of a physical server; 3.3.1.1.2 Physical server states; 3.3.1.1.3 Main operations of a physical server; 3.3.1.1.4 Server operation error; 3.3.1.2 Physical server cluster; 3.3.1.2.1 Main properties of a physical server cluster; 3.3.1.2.2 States of a physical server cluster 3.3.1.2.3 Operations of a physical server cluster3.3.1.2.4 Physical server errors; 3.3.1.3 Virtual machines; 3.3.1.3.1 Properties of VMs; 3.3.1.3.2 Operations of VMs; 3.3.1.3.3 States of VMs; 3.3.1.3.4 Typical configurations of VMs; 3.3.1.4 Virtual clusters; 3.3.1.4.1 Main properties of a virtual cluster; 3.3.1.4.2 States of a virtual cluster; 3.3.1.4.3 Operations of a virtual cluster; 3.3.1.4.4 Operational errors on VMs; 3.3.1.5 Schedule domains; 3.3.1.5.1 Properties of schedule domains; 3.3.1.5.2 Operations of schedule domains; 3.3.1.5.3 States of schedule domains; 3.3.1.6 Storage 3.3.1.6.1 Properties of shared storage |
| Record Nr. | UNINA-9910787012003321 |
Tian Wenhong
|
||
| Waltham, Massachusetts : , : Morgan Kaufmann, , 2015 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Optimized cloud resource management and scheduling : theory and practice / / Wenhong Tian, Yong Zhao
| Optimized cloud resource management and scheduling : theory and practice / / Wenhong Tian, Yong Zhao |
| Autore | Tian Wenhong |
| Edizione | [1st edition] |
| Pubbl/distr/stampa | Waltham, Massachusetts : , : Morgan Kaufmann, , 2015 |
| Descrizione fisica | 1 online resource (285 p.) |
| Disciplina | 004.6782 |
| Soggetto topico | Cloud computing - Management |
| ISBN | 0-12-801645-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Front Cover; Optimized Cloud Resource Management and Scheduling; Copyright Page; Contents; Foreword; Preface; About the Authors; Acknowledgments; 1 An Introduction to Cloud Computing; Main Contents of this Chapter; 1.1 The background of Cloud computing; 1.2 Cloud computing is an integration of other advanced technologies; 1.2.1 Parallel computing; 1.2.2 Grid computing; 1.2.3 Utility computing; 1.2.4 Ubiquitous computing; 1.2.5 Software as a service; 1.2.6 Virtualization technology; 1.3 The driving forces of Cloud computing; 1.4 The development status and trends of Cloud computing
1.5 The classification of Cloud computing applications1.5.1 Classification by service type; 1.5.2 Classification by deployment method; 1.6 The different roles in the Cloud computing industry chain; 1.7 The main features and technical challenges of Cloud computing; 1.7.1 The main features of Cloud computing; 1.7.2 Challenging issues; Summary; References; 2 Big Data Technologies and Cloud Computing; Main Contents of this Chapter; 2.1 The background and definition of big data; 2.2 Big data problems; 2.2.1 The problem of speed; 2.2.2 The type and architecture problem 2.2.3 Volume and flexibility problems2.2.4 The cost problem; 2.2.5 The value mining problem; 2.2.6 The security and privacy problem; 2.2.7 Interoperability and data sharing issues; 2.3 The dialectical relationship between Cloud computing and big data; 2.4 Big data technologies; 2.4.1 Infrastructure support; 2.4.2 Data acquisition; 2.4.3 Data storage; 2.4.4 Data computing; 2.4.4.1 Offline batch computing; 2.4.4.2 Real-time interactive computing; 2.4.4.3 Streaming computing; 2.4.5 Data presentation and interaction; 2.4.6 Related work; Summary; Acknowledgments; References 3 Resource Modeling and Definitions for Cloud Data CentersMain Contents of this Chapter; 3.1 Resource models in Cloud data centers; 3.2 Data center resources; 3.3 Categories of Cloud data center resources; 3.3.1 Properties and operations of various resources; 3.3.1.1 Physical servers (PMs); 3.3.1.1.1 The main properties of a physical server; 3.3.1.1.2 Physical server states; 3.3.1.1.3 Main operations of a physical server; 3.3.1.1.4 Server operation error; 3.3.1.2 Physical server cluster; 3.3.1.2.1 Main properties of a physical server cluster; 3.3.1.2.2 States of a physical server cluster 3.3.1.2.3 Operations of a physical server cluster3.3.1.2.4 Physical server errors; 3.3.1.3 Virtual machines; 3.3.1.3.1 Properties of VMs; 3.3.1.3.2 Operations of VMs; 3.3.1.3.3 States of VMs; 3.3.1.3.4 Typical configurations of VMs; 3.3.1.4 Virtual clusters; 3.3.1.4.1 Main properties of a virtual cluster; 3.3.1.4.2 States of a virtual cluster; 3.3.1.4.3 Operations of a virtual cluster; 3.3.1.4.4 Operational errors on VMs; 3.3.1.5 Schedule domains; 3.3.1.5.1 Properties of schedule domains; 3.3.1.5.2 Operations of schedule domains; 3.3.1.5.3 States of schedule domains; 3.3.1.6 Storage 3.3.1.6.1 Properties of shared storage |
| Record Nr. | UNINA-9910812528603321 |
Tian Wenhong
|
||
| Waltham, Massachusetts : , : Morgan Kaufmann, , 2015 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||