| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465908103316 |
|
|
Titolo |
Advances in Artificial Intelligence [[electronic resource] ] : Third Congress of the Italian Association for Artificial Intelligence, AIIA `93, Torino, Italy, October 26-28, 1993. Proceedings / / edited by Pietro Torasso |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1993 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 1993.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XIII, 343 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Artificial Intelligence ; ; 728 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Artificial intelligence |
Artificial Intelligence |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Proving formulas through reduction to decidable classes -- Building and executing proof strategies in a formal metatheory -- Computing 3-valued stable models by using the ATMS -- Abstract properties for the choice provability relation in nonmonotonic logics -- Characterizing prime implicants as projective spaces -- EFH-Soar: Modeling education in highly interactive microworlds -- Foundations for interaction: The dependence theory -- Letter spirit: An architecture for creativity in a microdomain -- New systems for extracting 3-D shape information from images -- Projecting sub-symbolic onto symbolic representations in artificial neural networks -- Integrating the symbolic and the sub-symbolic level in sonar-based navigation -- Randomness, imitation or reason explain agents' behaviour into an artificial stock market? -- Neural networks for constraint satisfaction -- Reasoning with individuals in concept languages -- A family of temporal terminological logics -- Logic programming and autoepistemic logics: New relations and complexity results -- Inferring in lego-land: an architecture for the integration of heterogeneous inference modules -- MAP — a language for the modelling of Multi-Agent systems -- Developing co-operating legal knowledge based systems -- Negation as a specializing operator -- Constructing |
|
|
|
|
|
|
|
|
|
|
|
refinement operators by decomposing logical implication -- Learning relations: Basing top-down methods on inverse resolution -- Complexity of the CFP, a method for Classification based on Feature Partitioning -- Genetic algorithms elitist probabilistic of degree 1, a generalization of simulated annealing -- Learning relations using genetic algorithms -- Evolutionary learning for relaxation labeling processes -- Increasing cohesion in automatically generated natural language texts -- Production of cooperative answers on the basis of partial knowledge in information-seeking dialogues -- Coping with modifiers in a restricted domain -- Explanation strategies in a tutoring system -- Maintaining consistency in quantitative temporal constraint networks for planning and scheduling -- Making an autonomous robot plan temporally constrained maintenance operations -- A generative constraint formalism for configuration problems -- Selecting observation time in the monitoring and interpretation of time-varying data -- Spatial reasoning in a holey world. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book contains 22 long papers and 13 short ones selected for the Scientific Track of the Third Congress of the Italian Association for Artificial Intelligence. The long papers report completed work whereas the short papers are mainly devoted to ongoing research. The papers report significant work carried out in the different subfields of artificial intelligence not only in Italy but also elsewhere: 8 of the papers come from outside Italy, with 2 from the United States and 1 eachfrom Australia, Austria, Germany, The Netherlands, Spain, and Turkey. The papers in the book are grouped into parts on: automated reasoning; cognitive models; connectionist models and subsymbolic approaches; knowledge representation and reasoning; languages, architectures and tools for AI; machine learning; natural language; planning and robotics; and reasoning about physical systems and artifacts. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910746594103321 |
|
|
Autore |
Lízalová Vanda |
|
|
Titolo |
Být připraven, znamená přežít! : Metodický materiál k výuce ochrany člověka za mimořádných událostí pro 2. stupeň základních škol – první pomoc v OČMU |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Masaryk University Press, 2022 |
|
Brno : , : Masaryk University, , 2022 |
|
©2023 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
|
|
Edizione |
[1st ed.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (164 pages) |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Soggetti |
|
First aid in illness and injury |
Emergency management |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Obsah -- Užívané piktogramy -- Úvod -- První pomoc v kontextu Rámcového vzdělávacího programu pro základní školy -- Základní životní funkce, stavy bezprostředněohrožující život -- Úkony zachraňující život, resuscitace -- Vnější a vnitřní krvácení -- Neúrazové stavy – infarkt myokardu, cévní mozková příhoda -- Neúrazové stavy – diabetes, křeče, mdloba, kolaps, akutní zánět slepého střeva, febrilní křeče, invazivní meningokokové onemocnění, astmatické a epileptické záchvaty -- Poranění páteře, poranění končetin, ztrátová poranění, poranění hlavy, hrudníku a břicha -- Tepelná poranění a poranění způsobená elektrickým proudem a bleskem -- Otravy, poleptání, poranění oka, tonutí -- Polohování a transport raněných -- Dopravní nehody -- Seznam použitých zdrojů |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This educational material, authored by Vanda Lízalová and Jitka Reissmannová, is designed to teach first aid and emergency preparedness to students in the second stage of primary schools. It provides a comprehensive guide for teachers, including structured lesson plans, theoretical content, practical activities, and worksheets. The primary focus is on equipping students with the knowledge and |
|
|
|
|
|
|
|
|
|
|
skills necessary to provide first aid in various scenarios, such as resuscitation, handling bleeding, responding to non-traumatic conditions like heart attacks and strokes, and dealing with injuries and environmental hazards. The material aims to support teachers in delivering effective health and safety education, emphasizing the importance of being prepared to ensure survival in emergency situations. |
|
|
|
|
|
| |