| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910783199303321 |
|
|
Autore |
Jenkyns Marina |
|
|
Titolo |
The play's the thing : exploring text in drama and therapy / / Marina Jenkyns |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
London ; ; New York : , : Routledge, , 1996 |
|
|
|
|
|
|
|
ISBN |
|
1-85077-950-3 |
1-134-82183-2 |
1-134-82184-0 |
1-280-60366-6 |
9786610603664 |
0-203-12953-9 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references (p. 232-236) and index. |
|
|
|
|
|
|
Nota di contenuto |
|
chapter 1 DRAMATHERAPY -- Through the lens of the play -- chapter 2 PLAYING WHERE TWO WORLDS MEET -- chapter 3 THEORY INTO PRACTICE -- Means and methods -- chapter 4 BEGINNING -- Roots by Arnold Wesker -- chapter 5 PAST INTO PRESENT THE WIDER CONTEXT: CLOUD -- Cloud Nine by Caryl Churchill / NINE BY CARYL CHURCHILL -- chapter 6 THAT WAY MADNESS LIES: THURSDAY'S CHILD BY -- Thursday's Child by Daphne Thomas / DAPHNE THOMAS -- chapter 7 THE OPPRESSION OF TABOO: GHOSTS BY HENRIK -- Ghosts by Henrik Ibsen / IBSEN -- chapter 8 WALLS WITHIN WALLS SOCIETY, FAMILY AND THE INDIVIDUAL -- A Shaft of Sunlight by Abhijat Joshi -- chapter 9 DEATH AND ACCEPTANCE: RIDERS TO THE SEA BY -- Riders to the Sea by J. M. Synge / J. M. SYNGE -- chapter 10 THE EPILOGUE. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910143644403321 |
|
|
Titolo |
Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings / / edited by Neil V. Murray |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1999 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 1999.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (X, 334 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Artificial Intelligence, , 2945-9141 ; ; 1617 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Artificial intelligence |
Natural language processing (Computer science) |
Machine theory |
Artificial Intelligence |
Natural Language Processing (NLP) |
Formal Languages and Automata Theory |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Extended Abstracts of Invited Lectures -- Microprocessor Verification Using Efficient Decision Procedures for a Logic of Equality with Uninterpreted Functions -- Comparison -- Design and Results of the Tableaux-99 Non-classical (Modal) Systems Comparison -- DLP and FaCT -- Applying an ABox Consistency Tester to Modal Logic SAT Problems -- KtSeqC : System Description -- Abstracts of Tutorials -- Automated Reasoning and the Verification of Security Protocols -- Proof Confluent Tableau Calculi -- Contributed Research Papers -- Analytic Calculi for Projective Logics -- Merge Path Improvements for Minimal Model Hyper Tableaux -- CLDS for Propositional Intuitionistic Logic -- Intuitionisitic Tableau Extracted -- A Tableau-Based Decision Procedure for a Fragment of Set Theory Involving a Restricted Form of Quantification -- Bounded Contraction in Systems with Linearity -- The Non-associative Lambek Calculus with Product in Polynomial Time -- Sequent Calculi for Nominal Tense Logics: A Step Towards Mechanization? -- Cut-Free Display Calculi for Nominal Tense Logics |
|
|
|
|
|
|
|
|
|
|
|
-- Hilbert’s ?-Terms in Automated Theorem Proving -- Partial Functions in an Impredicative Simple Theory of Types -- A Simple Sequent System for First-Order Logic with Free Constructors -- linTAP : A Tableau Prover for Linear Logic -- A Tableau Calculus for a Temporal Logic with Temporal Connectives -- A Tableau Calculus for Pronoun Resolution -- Generating Minimal Herbrand Models Step by Step -- Tableau Calculi for Hybrid Logics -- Full First-Order Free Variable Sequents and Tableaux in Implicit Induction -- Contributed System Descriptions -- An Interactive Theorem Proving Assistant -- A Time Efficient KE Based Theorem Prover -- Strategy Parallel Use of Model Elimination with Lemmata. |
|
|
|
|
|
|
Sommario/riassunto |
|
ThisvolumecontainsaselectionofpaperspresentedattheInternationalConf- ence on Analytic Tableaux and Related Methods (TABLEAUX'99) held on June 7-11, 1999 at the Inn at Saratoga, Saratoga Springs, NY, USA. This conference was the continuation of international meetings on Theorem Proving with A- lytic Tableaux and Related Methods held in Lautenbach near Karlsruhe (1992), Marseille (1993), Abingdon near Oxford (1994), St. Goar near Koblenz (1995), Terrasini near Palermo (1996), Pont-` a-Mousson near Nancy (1997), and Oist- wijk near Tilburg (1998). TABLEAUX'99 marks the ?rst time the conference has been held in North America. Tableau and related methods have been found to be convenient and e'ective for automating deduction in various non-standard logics as well as in classical logic. Examples taken from this meeting alone include temporal, description, tense, quantum, modal, projective, hybrid, intuitionistic, and linear logics. - eas of application include veri'cation of software and computer systems, ded- tive databases, knowledge representation and its required inference engines, and system diagnosis. The conference brought together researchers interested in all aspects - theoretical foundations, implementation techniques, systems devel- ment and applications - of the mechanization of reasoning with tableaux and related methods. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9911046553303321 |
|
|
Autore |
Pereira Ana I |
|
|
Titolo |
Optimization, Learning Algorithms and Applications : 5th International Conference, OL2A 2025, Sesti Levante, Italy, April 28–30, 2025, Proceedings, Part II / / edited by Ana I. Pereira, Florbela P. Fernandes, João P. Coelho, João P. Teixeira, José Lima, Maria F. Pacheco, Luca Oneto, Rui P. Lopes |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2026 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2026.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (384 pages) |
|
|
|
|
|
|
Collana |
|
Communications in Computer and Information Science, , 1865-0937 ; ; 2618 |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
FernandesFlorbela P |
CoelhoJoão P |
TeixeiraJoão P |
LimaJosé |
PachecoMaria F |
OnetoLuca |
LopesRui P |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computational intelligence |
Artificial intelligence |
Computer networks |
Computer engineering |
Software engineering |
Computational Intelligence |
Artificial Intelligence |
Computer Communication Networks |
Computer Engineering and Networks |
Software Engineering |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
-- Optimization in the SDG context. -- Application of Continuous and Periodic Review Models to Optimize Inventory Management in Dynamic Demand Scenarios. -- Social Context in Fake News Diffusion. -- |
|
|
|
|
|
|
|
|
|
|
|
Integrating Renewable Energy into Sustainability Metrics: a multicriteria decision. -- A Secure Architecture for Supply-chain Orders Exchange between Textile and Clothing Companies. -- Machine Learning. -- Partial Knowledge Predictive Models for Hydrocarbon Storage. -- Districting Methods for Water Distribution Network. -- Enhancing Soil Organic Carbon Prediction: A Machine Learning Approach with Outlier Removal. -- A Personalized Math Learning Experience with Clustering and Random Forest Algorithms. -- Macroeconomics' Forecasting using Machine Learning Approaches by Policy Makers: A Case Study Analysis. -- TI-FPCA: Effective and Interpretable Dimensionality Reduction with Transform-Invariant Functional Principal Component Analysis. -- Prediction of Average Power Produced by Wind Turbines Using MLP Neural Networks. -- OML-AD: Online Machine Learning for Anomaly Detection in Time Series Data. -- Machine Learning and Artificial Intelligence in Robotics. -- AI-Powered Tutoring for Personalized Learning. -- Markerless Geometric Inspection Planning based on Greedy Algorithm with Registration Stability Constraint. -- Comparing RL Policies for Robotic Pusher. -- Reward-function design for Discrete and Continuous Mapless Navigation. -- Object Classification using 2D-LiDAR and YOLO for Robot Navigation. |
|
|
|
|
|
|
Sommario/riassunto |
|
The two-volume set CCIS 2617 and 2618 constitutes the refereed post-conference proceedings of the 5th International Conference on Optimization, Learning Algorithms and Applications, OL2A 2025, held in Sesti Levante, Italy, during April 28–30, 2025. The 38 revised full papers presented in these proceedings were carefully reviewed and selected from 92 submissions. The papers are organized in the following topical sections: Part I: Optimization; Optimization in Control Systems Design; Artificial Intelligence in Healthcare and Medicine; and Deep Learning. Part II: Optimization in the SDG context; Machine Learning; and Machine Learning and Artificial Intelligence in Robotics. |
|
|
|
|
|
|
|
| |