| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910831060103321 |
|
|
Titolo |
Simulations in bulk solids handling : applications of DEM and other methods / / edited by Don McGlinchey |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Weinheim, Germany : , : Wiley-VCH, , [2023] |
|
©2023 |
|
|
|
|
|
|
|
|
|
ISBN |
|
3-527-83593-8 |
3-527-83592-X |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (335 pages) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Intro -- Table of Contents -- Title Page -- Copyright -- Preface -- 1 Calibration of DEM Parameters -- Abbreviations and Acronyms -- 1.1 Introduction -- 1.2 Basic DEM Theory -- 1.3 DEM Application and Calibration Philosophies -- 1.4 Physical Bulk Properties -- 1.5 DEM Parameters and Their Relation to Bulk Properties -- 1.6 Overview of Calibration Tests -- 1.7 Recommended Calibration Procedure for Non‐cohesive and Slightly Cohesive Materials -- 1.8 Outlook on the Calibration of Cohesive Materials -- 1.9 Optimisation Approaches Applied to the Calibration Process -- 1.10 Conclusion -- References -- 2 Simulation of Transfer Chutes -- 2.1 Introduction -- 2.2 Practicalities - Balancing Conflicting Objectives -- 2.3 The Suggested Approach -- 2.4 Basic Design Principles - The Continuum Approach -- 2.5 DEM Simulation of Transfer Chutes - General Comments -- 2.6 General Flow Analysis and Validation -- 2.7 Quantitative Validation of Forces in DEM Simulation -- 2.8 Belt Mistracking -- 2.9 Simulation of Build‐Up and Blockage of Cohesive Material -- 2.10 Prediction of Wear -- 2.11 Prediction of Dust -- 2.12 Interrelationships Between Wear, Build‐Up, and Flow -- 2.13 Conclusion -- References -- 3 Belt Conveyor Design and Troubleshooting -- 3.1 Introduction -- 3.2 Belt Conveyor Design -- 3.3 Belt Conveyor Troubleshooting -- References -- 4 Multibody Dynamics and Discrete Element Method Co-Simulations for Large-Scale Industrial Equipment -- 4.1 Introduction -- 4.2 Categorisation and |
|
|
|
|
|
|
|
|
|
|
Publications on DEM-MBD -- 4.3 Developing a DEM and MBD Coupling -- 4.4 How DEM-MBD Models Can be Used -- 4.5 Outlook -- References -- 5 Simulation of Pneumatic Conveying -- 5.1 Introduction -- 5.2 Single Fluid Model -- 5.3 Two Fluid Models -- 5.4 Coupled DEM-CFD Models -- 5.5 Summary -- Nomenclature -- References -- Further Reading. |
6 Modelling and Simulation of Erosive Wear and Particle Breakage in Pneumatic Conveying -- 6.1 Introduction -- 6.2 One‐dimensional Particle Breakage Modelling of the Conveying Pipeline -- 6.3 One‐dimensional Surface Erosion Modelling of the Conveying Pipeline -- 6.4 Conclusion -- References -- 7 Discrete Element Modelling of Pharmaceutical Powder Handling Processes -- 7.1 Introduction -- 7.2 Discrete Element Method -- 7.3 DEM Modelling of Powder Mixing/Segregation -- 7.4 DEM Modelling of Continuous Blending -- 7.5 DEM Modelling of Powder Filling and Hopper Discharging -- 7.6 DEM Modelling of Twin Screw Granulation -- 7.7 DEM Modelling of Milling -- 7.8 DEM Modelling of Dry Powder Inhalation -- 7.9 Summary and Perspectives -- Nomenclature -- References -- 8 Algorithms and Capabilities of Solidity to Simulate Interactions and Packing of Complex Shapes -- 8.1 Introduction -- 8.2 Mathematical Models -- 8.3 Application of Cube Packing -- 8.4 Application of the Packing of Platonic and Archimedean Solids -- 8.5 Conclusions -- Acknowledgements -- References -- Index -- End User License Agreement. |
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910961415203321 |
|
|
Autore |
Brandtler Johan |
|
|
Titolo |
The evaluability hypothesis : the syntax, semantics and pragmatics of polarity item licensing / / Johan Brandtler |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Amsterdam ; ; Philadelphia : , : John Benjamins Pub. Co., , 2012 |
|
|
|
|
|
|
|
ISBN |
|
9786613469311 |
9781283469319 |
1283469316 |
9789027274908 |
9027274908 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (213 pages) |
|
|
|
|
|
|
Collana |
|
Linguistik aktuell/Linguistics today, , 0166-0829 ; ; v. 183 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Swedish language - Grammar |
Polarity (Linguistics) |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
The Evaluability Hypothesis; Editorial page; Title page; LCC data; Dedication page; Table of contents; Preface; Abbreviations; Introduction; 1.1. Aim of the present work; 1.2. Road map; Negation and polarity; 2.1. Defining polarity items; 2.1.1. Polarity items: Weak and strong; 2.1.2. Swedish polarity items; 2.2. Issues in the study of polarity items; 2.2.1. The licensing problem; 2.2.2. The Downward Entailment Hypothesis; 2.3. Perspective of current work; A syntactic categorization of Swedish; 3.1. A minimalist view on clause structure; 3.1.1. The C-domain: Split or non-split? |
3.2. Classifying Swedish clause structure; 3.2.1. Swedish main clauses; 3.2.2. Swedish subordinate clauses; 3.3. The structural classification; The syntax of NPI-licensing in Swedish; 4.1. Configuration (i); 4.1.1. Declarative main clauses; 4.1.2. Embedded V2-clauses; 4.1.3. Wh-questions; 4.1.4. Summary; 4.2. Configuration (ii); 4.2.1. Att-clauses; 4.2.2. Exclamatives; 4.2.3. Relative clauses; 4.2.4. Summary; 4.3. Configuration (iii) and (iv); 4.3.1. Yes/no-questions; 4.3.2. Conditionals; 4.3.3. Imperatives; 4.3.4. Summary; 4.4. A new classification; The Evaluability Hypothesis |
|
|
|
|
|
|
|
|
|
|
|
5.1. Veridicality, realis and irrealis; 5.1.1. Realis and irrealis; 5.1.2. Veridicality; 5.2. Evaluability; 5.3. Summary; Applying the Evaluability Hypothesis; 6.1. Type 1-clauses; 6.1.1. Declaratives; 6.1.2. Embedded V2-clauses; 6.1.3. Wh-questions; 6.1.4. Exclamatives; 6.1.5. Relative clauses; 6.1.6. Summary; 6.2. Type 2-clauses; 6.2.1. Yes/no-questions; 6.2.2. Conditionals; 6.2.3. Summary; 6.3. Evaluability and edge features; 6.3.1. The edge-feature in C; 6.3.2. A syntactic reflex; 6.3.3. Why the edge-feature in C?; 6.4. Summary; Evaluability and polarity I; 7.1. The general idea |
7.1.1. Open to evaluation, closed to NPIs; 7.1.2. Closed to evaluation, open to NPIs; 7.2. Progovac (1994): A binding approach; 7.2.1. An operator in C; 7.2.2. Arguments against the operator in C; 7.2.3. Summary; 7.3. Proposal: No operator, no binding; 7.4. Summary; Evaluability and polarity II; 8.1. Veridicality revisited; 8.1.1. Giannakidou (1998): The Veridicality Hypothesis; 8.1.2. Veridicality and monotonicity; 8.2. Evaluability vs. veridicality; 8.2.1. Empirical issues; 8.2.2. Theoretical issues; 8.3. Evaluability and monotonicity; 8.4. Evaluability as polarity sensitivity |
Long-distance NPI-licensing; 9.1. Licensing by superordinate negation; 9.1.1. Factive predicates; 9.1.2. Volitional and non-assertive predicates; 9.1.3. Assertive and perception predicates; 9.1.4. Summary; 9.2. Predicate licensing; 9.2.1. Non-assertive predicates; 9.2.2. Factive predicates; 9.2.3. Summary; 9.3. Previous accounts; 9.3.1. Progovac (1994); 9.3.2. Giannakidou and Quer (1997); 9.3.3. Summary; 9.4. Summarizing discussion; Polarity items in wh-questions; 10.1. Empirical and theoretical issues; 10.2. Three kinds of wh-questions; 10.2.1. Argument wh-questions; 10.2.2. Framing wh-questions |
|
|
|
|
|
|
Sommario/riassunto |
|
Although the field of polarity is well researched, this monograph offers a new take on polarity sensitivity that both challenges and incorporates previous theories. Based primarily on Swedish data, it presents new solutions to long-standing problems, such as the non-complementary distribution of NPIs and PPIs in yes/no-questions and conditionals, long distance licensing by superordinate elements, and the occurrence of polarity items in wh-questions. It is argued that polarity sensitivity can be understood in terms of evaluability. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9911047802403321 |
|
|
Autore |
Kallel Slim |
|
|
Titolo |
Service-Oriented Computing – ICSOC 2024 Workshops : ASOCA, AI-PA, WESOACS, GAISS, LAIS, AI on Edge, RTSEMS, SQS, SOCAISA, SOC4AI and Satellite Events, Tunis, Tunisia, December 3–6, 2024, Revised Selected Papers, Part I / / edited by Slim Kallel, Claudia Raibulet, Ismael Bouassida Rodriguez, Noura Faci, Amel Bennaceur, Saoussen Cheikhrouhou, Leila Ben Ayed, Mohamed Sellami, Elisa Yumi Nakagawa, Riadh Ben Halima |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2026 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2026.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (515 pages) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 1611-3349 ; ; 15833 |
|
|
|
|
|
|
Altri autori (Persone) |
|
RaibuletClaudia |
Bouassida RodriguezIsmael |
FaciNoura |
BennaceurAmel |
CheikhrouhouSaoussen |
Ben AyedLeila |
SellamiMohamed |
NakagawaElisa Yumi |
Ben HalimaRiadh |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Application software |
Computer systems |
Computer networks |
Data structures (Computer science) |
Information theory |
Computer and Information Systems Applications |
Computer System Implementation |
Computer Communication Networks |
Data Structures and Information Theory |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
Nota di contenuto |
|
-- Workshop on Adaptive Service-oriented and Cloud Applications. -- Towards the interoperability of port Digital Twin systems through ontologies alignment. -- Architecture Mining approach for Systems-of-Systems : Monitoring and Discovery. -- Self-adaptation in Microservice Systems: A Literature Review. -- Expressing Variability in Requirements Specification for Adaptive Dynamic Systems. -- Workshop on AI-enabled Process Automation. -- Predictive Process Monitoring Using Object-centric Graph Embeddings. -- InferNet: Next Likely Action Prediction in Business Processes. -- Activity Instance Identification using Bipartite Graph Matching. -- Causally-informed predictive process monitoring. -- CDL+: An Extended Capability Description Language Design For Medical Data-Driven Process. -- Exploring the Systematic Use of LLMs for Microservices Generation. -- Workshop on Engineering Service-Oriented Applications and Cloud Services. -- LLM-Based DAG Creation for Data Enrichment Pipelines in SemT Framework. -- SaaS Pricing-Aware Demand and Capacity Management. -- Towards Effective SaaS Pricing Design: A Case Study of CCSIM. -- Enhancing Federated Learning with SOA: An Approach to Tackle Non-IID Data Challenges. -- Externalized and Decentralized Authorization of Microservices. -- Decoding the privacy policy implications of personal data processing: A framework for GDPR Compliance in Business and Social apps. -- Workshop on Generative AI as a Software Service. -- Generative AI for Software Development: A Survey. -- Aligning Declarations and Practices: Evaluating Privacy Policy Consistency with App Permissions using Generative AI. -- Workshop on Lightweight AI-based Services. -- Urban Sound Classification on Resource-constrained Edge Devices. -- Lightweight AI-Driven Real-Time Intruder Detection System for IoT-Enabled Smart Meters. -- Knowledge Distillation for Object Detection Using YOLO-NAS. -- Knowledge Distillation: A Key Approach For Lightweight Deep Generative Models. -- Random Forest Based Fast MTS Algorithm for VVC Encoder. -- Workshop on Optimising AI Models Using Local Data on Resource-Constrained Edge Devices - Training & Inference. -- Reinforcement Learning Challenges in Power Grid Management: A Case Study with City Learn Simulator. -- Visual Anomaly Detection In Modern Industrial Manufacturing Systems: Survey, Challenges and Future Directions. -- LLM Non-text-focused Data Generation for Payroll Fraud Detection. -- Workshop on RealTime Service oriented and EMbedded Systems. -- Task scheduling for container orchestration of Kubernetes in distributed systems development. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This two-volume set volume constitutes the papers of ten workshops which were held in conjunction with the 22nd International Conference on Service-Oriented Computing, ICSOC 2024. The conference took place in Tunis, Tunisia, during December 3–6, 2024. The 58 full papers and 3 short papers presented in this book were carefully reviewed and selected from 109 submissions. ICSOC 2024 presents the following ten workshops: – 9th International Workshop on Adaptive Service-oriented and Cloud Applications (ASOCA) – 5th International Workshop on AI-enabled Process Automation (AI-PA) – 20th International Workshop on Engineering Service-Oriented Applications and Cloud Services (WESOACS) – 1st International Workshop on Generative AI as a Software Service (GAISS) – 1st International Workshop on Lightweight AI-based Services (LAIS) – 1st International Workshop on Optimising AI Models Using Local Data on Resource-Constrained Edge Devices - Training \& Inference (AI on Edge) – 1st International Workshop on RealTime Service oriented and EMbedded Systems (RTSEMS) – 2nd International Workshop on Services and Quantum Software (SQS) – 1st International Workshop on Service-Oriented Computing, AI, and IoT for Smart |
|
|
|
|
|
|
|
|
|
|
Applications (SOCAISA) – 1st International Workshop on Service-Oriented Computing for AI Applications (SOC4AI). |
|
|
|
|
|
| |