01492nam 2200409 450 00001579420050718115600.00-444-87377-520030801d1989----km-y0itay0103----baengNLClifford theory for group representationsGregory KarpilovskyAmsterdam [etc.]North-Holland1989X, 364 p.25 cm.North-Holland mathematics studies156Notas de matemática1252001North-Holland mathematics studies2001Notas de matemáticaGruppi (Matematica)Rappresentazioni512.57(21. ed.)Algebre quozienti20CxxGroup theory and generalizations. Representation theory of groupsKarpilovsky,Gregory57743ITUniversità della Basilicata - B.I.A.RICAunimarc000015794Clifford theory for group representations82945UNIBASMONSCISCIENZEEXT0020120030801BAS011837EXT0020120030801BAS01190820050601BAS011755batch0120050718BAS01105220050718BAS01111120050718BAS01114220050718BAS011156BAS01BAS01BOOKBASA2Polo Tecnico-ScientificoGENCollezione generaleMAT64541S645412003080151Riservati03696nam 2200673 a 450 991046315840332120200520144314.01-118-49372-91-78539-334-01-118-49374-51-118-49373-7(CKB)2670000000325693(EBL)1117332(OCoLC)827208443(SSID)ssj0000831846(PQKBManifestationID)11449604(PQKBTitleCode)TC0000831846(PQKBWorkID)10881452(PQKB)11213100(MiAaPQ)EBC1117332(JP-MeL)3000046277(PPN)201700387(Au-PeEL)EBL1117332(CaPaEBR)ebr10657850(CaONFJC)MIL450122(EXLCZ)99267000000032569320120222d2013 uy 0engur|n|---|||||rdacontentrdamediardacarrierABC of kidney disease[electronic resource] /[edited by] David Goldsmith, Satish Jayawardene, Penny Ackland2nd ed.Chichester, U.K. Wiley-Blackwell BMJ Books20131 online resource (114 p.)ABC seriesDescription based upon print version of record.0-470-67204-8 Includes bibliographical references and index.Diagnostic tests in chronic kidney disease / Behdad Afzali, Satish Jayawardene,David Goldsmith -- Acute kidney injury / Rachel Hilton -- Chronic kidney disease and its complications / David Goldsmith, Satish Jayawardene, Penny Ackland -- Pre-dialysis clinics : preparing for end stage renal disease / Eleri Wood, Irene Hadjimichael, Katie Vinen -- Anaemia management in chronic kidney disease / Penny Ackland -- Urinary tract infections, renal stones, renal cysts and tumours and pregnancy in chronic kidney disease / David Goldsmith -- Adult nephrotic syndrome / Richard Hull, Sean Gallagher, David Goldsmith -- Renal artery stenosis / Philip Kalra, Satish Jayawardene, David Goldsmith -- Palliative care for patients with chronic kidney disease / Frances Coldstream, Neil S. Sheerin, Emma Murphy -- Dialysis / Christopher W. Mcintyre, James O. Burton -- Renal transplantation / Ming He, John Taylor -- Chronic kidney disease, dialysis and transplantation in children / Judy Taylor, Christopher Reid -- The organization of services for people with chronic kidney disease : a 21st century challenge / Donal O'Donoghue, John Feehally.The ABC of Kidney Disease, Second Edition is a practical guide to the most common renal diseases to help healthcare professionals screen, identify, treat and refer renal patients appropriately and to provide the best possible care.Covering the common renal presentations in primary care this highly illustrated guide provides guidance on symptoms, signs and treatments, which tests to use, measures to prevent progression, and when and how to refer. Fully revised in accordance with current guidelines, it also includes organizational aspects of renal disease management, dialysABC series (Malden, Mass.)KidneysDiseasesChronic renal failureElectronic books.KidneysDiseases.Chronic renal failure.616.6/1Goldsmith David1959-937542Jayawardene Satish937543Ackland Penny937544MiAaPQMiAaPQMiAaPQBOOK9910463158403321ABC of kidney disease2111812UNINA06847nam 22005655 450 991034926990332120251113175618.03-030-32412-510.1007/978-3-030-32412-4(CKB)4100000009678244(MiAaPQ)EBC5968217(DE-He213)978-3-030-32412-4(PPN)260302228(EXLCZ)99410000000967824420191023d2019 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierArtifact-Driven Business Process Monitoring A Novel Approach to Transparently Monitor Business Processes, Supported by Methods, Tools, and Real-World Applications /by Giovanni Meroni1st ed. 2019.Cham :Springer International Publishing :Imprint: Springer,2019.1 online resource (170 pages)Lecture Notes in Business Information Processing,1865-1356 ;3683-030-32411-7 1 Introduction -- 1.1 Motivations -- 1.2 Research Challenges -- 1.3 Research Questions -- 1.4 Major Contributions -- 1.5 Book Structure -- 2 Related Work -- 2.1 Business Process Monitoring -- 2.1.1 Process Monitoring Based on Sensor Data -- 2.1.2 Event Data Logging -- 2.1.3 Business Activity Monitoring -- 2.1.4 Conformance and Compliance Checking -- 2.2 Declarative Languages -- 2.2.1 Constraint-based Languages -- 2.2.2 Artifact-centric Languages -- 2.2.3 Case Management Languages -- 2.2.4 Imperative to Declarative Model Translators -- 2.3 The Internet of Things -- 2.3.1 Enabling technologies of the IoT -- 2.3.2 Ontologies for the IoT -- 2.3.3 Synergies between the IoT and BPM -- 3 Artifact-driven Process Monitoring Overview -- 3.1 Motivating Example -- 3.2 Introducing Artifact-driven Process Monitoring -- 3.3 Reference Architecture -- 3.4 Summary -- 4 E-GSM: an Artifact-centric Language for Process Monitoring -- 4.1 The Guard-Stage-Milestone Artifact-centric Language -- 4.2 Extending GSM -- 4.3 Assessing the severity of Constraints Violations -- 4.4 E-GSM Expressiveness -- 4.4.1 Activity Exclusion -- 4.4.2 Activity Overlap -- 4.4.3 Responded Existence -- 4.4.4 Constrained Iteration -- 4.5 Summary -- 5 A Method to Easily Configure the Monitoring Platform -- 5.1 Steps -- 5.1.1 Enriching the BPMN Process Model With Artifacts -- 5.1.2 Extracting the Artifact-oriented Process View -- 5.1.3 Generating the E-GSM Process Model -- 5.1.4 Generating the E-GSM Artifact Lifecycle Model -- 5.1.5 Generating the Artifact-to-object Mapping Criteria -- 5.2 Proof of Correctness -- 5.2.1 Trace Conformance -- 5.2.2 Execution Flow Alignment -- 5.2.3 Artifact Lifecycle Alignment -- 5.3 Summary -- 6 Assessing and Improving Process Monitorability -- 6.1 Formalizing the Capabilities of the Smart Objects -- 6.1.1 Smart Objects Ontology -- 6.1.2 State Detection Rules Ontology -- 6.2 Problem Setting -- 6.3 Process Monitorability Assessment -- 6.4 Process Monitorability Improvement -- 6.4.1 Process model improvement -- 6.4.2 State detection rules improvement -- 6.4.3 Infrastructure improvement -- 6.5 Summary -- 7 Implementing and Evaluating Artifact-driven Process Monitoring -- 7.1 SMARTifact: an Artifact-driven Monitoring Platform -- 7.2 Simulated Environment -- 7.3 Field Evaluation -- 7.4 Summary -- 8 Conclusions -- 8.1 Answers to the Research Questions -- 8.2 Achievements in Runtime Process Monitoring -- 8.3 Achievements in the Integration Among BPM and IoT -- 8.4 Current Limitations and Future Work -- A Criteria to Evaluate the Integration Among BPM and IoT -- A.1 Placing sensors in a process-oriented way (IC1) -- A.2 Monitoring manual activities (IC2) -- A.3 Connecting analytical processes with the IoT (IC3) -- A.4 Exploiting the IoT to do process correctness check (IC4) -- A.5 Dealing with unstructured environments (IC5) -- A.6 Managing the links between micro processes (IC6) -- A.7 Breaking down end-to-end processes (IC7) -- A.8 Detecting new processes from data (IC8) -- A.9 Specifying the autonomy level of smart objects (IC9) -- A.10 Specifyingthe socialroles of smart objects (IC10) -- A.11 Concretizing abstract process models (IC11) -- A.12 Dealing with new situations (IC12) -- A.13 Bridging the gap between process-based and event-based systems (IC13) -- A.14 Improving online conformance checking (IC14) -- A.15 Improving resource utilization optimization (IC15) -- A.16 Improving resource monitoring and quality of task execution (IC16) -- B BPMN to E-GSM Translation Proof of Correctness -- B.1 Process Model -- B.1.1 Data Component -- B.1.2 Blocks -- B.1.3 Process Model -- B.2 Trace Conformance -- B.3 Conformance Preservation of the Translation -- References.This book proposes a novel technique, named artifact-driven process monitoring, by which multi-party processes, involving non-automated activities, can be continuously and autonomously monitored. This technique exploits the Internet of Things (IoT) paradigm to make the physical objects, participating in a process, smart. Being equipped with sensors, a computing device, and a communication interface, such smart objects can then become self-aware of their own conditions and of the process they participate in, and exchange this information with the other smart objects and the involved organizations. To allow organizations to reuse preexisting process models, a method to instruct smart objects given Business Process Model and Notation (BPMN) collaboration diagrams is also presented. The work constitutes a revised version of the PhD dissertation written by the author at the PhD School of Information Engineering of Politecnico di Milano, Italy. In 2019, the PhD dissertation won the “CAiSE PhD award”, granted to outstanding PhD theses in the field of Information Systems Engineering. .Lecture Notes in Business Information Processing,1865-1356 ;368Application softwareInformation technologyManagementCooperating objects (Computer systems)Computer and Information Systems ApplicationsBusiness Process ManagementCyber-Physical SystemsApplication software.Information technologyManagement.Cooperating objects (Computer systems).Computer and Information Systems Applications.Business Process Management.Cyber-Physical Systems.658.054Meroni Giovanniauthttp://id.loc.gov/vocabulary/relators/aut1062984MiAaPQMiAaPQMiAaPQBOOK9910349269903321Artifact-Driven Business Process Monitoring2529453UNINA