02765nam 22004935 450 99641820530331620230329140919.03-030-63595-310.1007/978-3-030-63595-4(CKB)4100000011645303(DE-He213)978-3-030-63595-4(MiAaPQ)EBC6424323(PPN)252514408(EXLCZ)99410000001164530320201210d2020 u| 0engurnn#008mamaatxtrdacontentcrdamediacrrdacarrierRewriting Logic and Its Applications[electronic resource] 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers /edited by Santiago Escobar, Narciso Martí-Oliet1st ed. 2020.Cham :Springer International Publishing :Imprint: Springer,2020.1 online resource (VII, 217 p. 39 illus., 11 illus. in color.)Theoretical Computer Science and General Issues,2512-2029 ;12328Includes index.3-030-63594-5 Models of rewriting and rewriting logic -- Termination, confluence, coherence, and complexity -- Unification, generalization, and narrowing -- Graph rewriting -- Tree automata -- Rewriting strategies -- Rewriting-based declarative languages -- Explicit-state and symbolic model checking techniques -- Rewriting-based theorem proving, including (co)inductive theorem proving -- Rewriting-based constraint solving and satisfiability.This book constitutes selected papers from the 12th International Workshop on Rewriting Logic and Its Applications, WRLA 2020, held in Dublin, Ireland, in April 2020. Due to the COVID-19 pandemic the workshop took place virtually. The 11 full papers presented in this volume were carefully reviewed and selected from 16 submissions Rewriting logic is a natural model of computation and an expressive semantic framework for concurrency, parallelism, communication, and interaction. It can be used for specifying a wide range of systems and languages in various application fields.Theoretical Computer Science and General Issues,2512-2029 ;12328Computer scienceComputer Science Logic and Foundations of ProgrammingComputer science.Computer Science Logic and Foundations of Programming.005.1015113Escobar SantiagoMartí-Oliet N(Narciso),MiAaPQMiAaPQUtOrBLWBOOK996418205303316Rewriting logic and its applications2247230UNISA08488nam 22008415 450 991048472410332120251226202153.01-280-38750-597866135654263-642-13923-X10.1007/978-3-642-13923-9(CKB)2670000000028963(SSID)ssj0000446621(PQKBManifestationID)11269696(PQKBTitleCode)TC0000446621(PQKBWorkID)10497341(PQKB)11686255(DE-He213)978-3-642-13923-9(MiAaPQ)EBC3065361(PPN)149064179(BIP)30955839(EXLCZ)99267000000002896320100607d2010 u| 0engurnn|008mamaatxtccrMedical Biometrics Second International Conference, ICMB 2010, Hong Kong, China, June 28-30, 2010. Proceedings /edited by David Zhang, Milan Sonka1st ed. 2010.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2010.1 online resource (XII, 424 p. 220 illus.) Image Processing, Computer Vision, Pattern Recognition, and Graphics,3004-9954 ;6165Bibliographic Level Mode of Issuance: Monograph3-642-13922-1 Includes bibliographical references and index.Feature Extraction and Classification -- Fiber Segmentation Using Constrained Clustering -- A New Multi-Task Learning Technique to Predict Classification of Leukemia and Prostate Cancer -- A Benchmark for Geometric Facial Beauty Study -- An Effective Feature Extraction Method Used in Breath Analysis -- Classification of Diabetics with Various Degrees of Autonomic Neuropathy Based on Linear and Nonlinear Features Using Support Vector Machine -- Diabetes Identification and Classification by Means of a Breath Analysis System -- Automatic Measurement of Vertical Cup-to-Disc Ratio on Retinal Fundus Images -- Tongue Image Identification System on Congestion of Fungiform Papillae (CFP) -- Newborn Footprint Recognition Using Band-Limited Phase-Only Correlation -- Radii Solaris Extraction through Primitive Modelling -- A DIAMOND Method for Classifying Biological Data -- Tongue Image Texture Segmentation Based on Gabor Filter Plus Normalized Cut -- Chaos Synchronization Detector Combining Radial Basis Network for Estimation of Lower Limb Peripheral Vascular Occlusive Disease -- Classification of Wrist Pulse Blood Flow Signal Using Time Warp Edit Distance -- Computerized Pork Quality Evaluation System -- Abnormal Image Detection Using Texton Method in Wireless Capsule Endoscopy Videos -- Active Contour Method Combining Local Fitting Energy and Global Fitting Energy Dynamically -- Optic Disc Detection by Multi-scale Gaussian Filtering with Scale Production and a Vessels’ Directional Matched Filter -- Retinal Vessel Centerline Extraction Using Multiscale Matched Filter and Sparse Representation-Based Classifier -- Pulse Waveform Classification Using ERP-Based Difference-Weighted KNN Classifier -- Health Care -- Development of a Ubiquitous Emergency Medical Service System Based on Zigbee and 3.5GWireless Communication Technologies -- Digital Skating Board with RFID Technique for Upper Extremity Rehabilitation -- Knowledge Acquisition and Reasoning in Web Based Epidemic Analysis -- Assistive Communication Robot for Pre-operative Health Care -- Design and Implementation of a Digital Auscultation System -- The Application of Non-invasive Oxygen Saturation Sensor to Evaluate Blood Flow in Human -- Context Aware Health Monitoring System -- Novel Two-Stage Analytic Approach in Extraction of Strong Herb-Herb Interactions in TCM Clinical Treatment of Insomnia -- Medical Diagnosis -- Clinical Usage Considerations in the Development and Evaluation of a Computer Aided Diagnosis System for Acute Intracranial Hemorrhage on Brain CT -- Research on the Meridian Diagnostic System Based on the Measuring Principle of the Electrical Properties of Well, Source and Sea Acupoints -- Atrial Fibrillation Analysis Based on Blind Source Separation in 12-Lead ECG Data -- State-of-the-Art of Computer-Aided Detection/Diagnosis (CAD) -- Advances in Detecting Parkinson’s Disease -- Using Formal Concept Analysis to Visualize Relationships of Syndromes in Traditional Chinese Medicine -- Wrist Pulse Diagnosis Using LDA -- Computerized Wrist Pulse Signal Diagnosis Using KPCA -- Framework of Computer-Assisted Instruction and Clinical Decision Support System for Orthodontics with Case-Based Reasoning -- Design of an Intelligent Reporting System for Cardiac Catheterization -- Presenting a Simplified Assistant Tool for Breast Cancer Diagnosis in Mammography to Radiologists -- Medical Image Processing and Registration -- Feature Based Non-rigid Registration Using Quaternion Subdivision -- A Sparse Decomposition Approach to Compressing Biomedical Signals -- A Comparative Study of Color Correction Algorithms for TongueImage Inspection -- An Mean Shift Based Gray Level Co-occurrence Matrix for Endoscope Image Diagnosis -- A Novel Criterion for Characterizing Diffusion Anisotropy in HARDI Data Based on the MDL Technique.In the medical ?eld, personalmedical feature data,especially digitalimages,can be referred to as medical biometrics. Such data are produced in ever-increasing quantities and used for diagnostics and therapy purposes. Medical biometric research aims to use personal medical features in di'erent formats such as - ages, signals and other sources to solve medical problems and to provide hi- performance services in the medical ?eld. Medical biometric systems integrate multidisciplinary technologies in biology, medicine, electronics, computing, and statistics. The importance of computer-aided diagnosis and therapy has drawn moreandmoreattentionworldwideandlaidthefoundationformodernmedicine withexcellentpotentialforpromisingapplicationssuchastelemedicineandW- based healthcare. The2010InternationalConferenceonMedicalBiometrics(ICMB2010)placed emphasis on e'cient and e'ective medical biometric technologies and systems. It provided a central forum for researchers,engineers and vendors from di'erent disciplines to exchange the most recent results, identify future directions and challenges, and initiate possible collaborative research and system development. We are pleased that this conference attracted a large number of high-quality research papers that re'ect the increasing interests and popularity in this fa- growing ?eld. The conference proceedingscontain 45 papers which were selected through a strict review process, with an acceptance rate at 38%. Each paper was assessed by three independent reviewers. All of the accepted papers were presented in either oral (20) or poster (25) sessions at the conference in conju- tion with three special sessions on State-of-the-Art of Computer-Aided Det- tion/Diagnosis (CAD), Modernization of Traditional Chinese Medicine (TCM) and E'ective Healthcare.Image Processing, Computer Vision, Pattern Recognition, and Graphics,3004-9954 ;6165Computer visionData miningComputer graphicsPattern recognition systemsImage processingDigital techniquesBiometric identificationComputer VisionData Mining and Knowledge DiscoveryComputer GraphicsAutomated Pattern RecognitionComputer Imaging, Vision, Pattern Recognition and GraphicsBiometricsComputer vision.Data mining.Computer graphics.Pattern recognition systems.Image processingDigital techniques.Biometric identification.Computer Vision.Data Mining and Knowledge Discovery.Computer Graphics.Automated Pattern Recognition.Computer Imaging, Vision, Pattern Recognition and Graphics.Biometrics.610.28Zhang David1949-763056Sonka Milan28581MiAaPQMiAaPQMiAaPQBOOK9910484724103321Medical biometrics4196983UNINA03916nam 22008055 450 991048472780332120260604161818.03-030-74224-510.1007/978-3-030-74224-9(CKB)4100000011891293(MiAaPQ)EBC6566402(Au-PeEL)EBL6566402(OCoLC)1247058646(PPN)255289456(BIP)79898481(BIP)79522990(DE-He213)978-3-030-74224-9(EXLCZ)99410000001189129320210416d2021 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierAccelerator Programming Using Directives 7th International Workshop, WACCPD 2020, Virtual Event, November 20, 2020, Proceedings /edited by Sridutt Bhalachandra, Sandra Wienke, Sunita Chandrasekaran, Guido Juckeland1st ed. 2021.Cham :Springer International Publishing :Imprint: Springer,2021.1 online resource (108 pages)Programming and Software Engineering,2945-9168 ;126553-030-74223-7 Includes bibliographical references and index.Evaluating Performance Portability of OpenMP for SNAP on NVIDIA, Intel, and AMD GPUs using the Roofline Methodology -- Performance Assessment of OpenMP Compilers Targeting NVIDIA V100 GPUs -- GPU acceleration of the FINE/FR CFD solver in a heterogeneous environment with OpenACC directives -- Performance and Portability of a Linear Solver Across Emerging Architectures -- ADELUS: A Performance-Portable Dense LU Solver for Distributed-Memory Hardware-Accelerated Systems.This book constitutes the proceedings of the 7th International Workshop on Accelerator Programming Using Directives, WACCPD 2020, which took place on November 20, 2021. The workshop was initially planned to take place in Atlanta, GA, USA, and changed to an online format due to the COVID-19 pandemic. WACCPD is one of the major forums for bringing together users, developers, and the software and tools community to share knowledge and experiences when programming emerging complex parallel computing systems. The 5 papers presented in this volume were carefully reviewed and selected from 7 submissions. They were organized in topical sections named: OpenMP; OpenACC; and Domain-specific Solvers.Programming and Software Engineering,2945-9168 ;12655Compilers (Computer programs)Computer engineeringComputer networksMicroprogrammingComputer programmingNumerical analysisCompilers and InterpretersComputer Engineering and NetworksControl Structures and MicroprogrammingProgramming TechniquesNumerical AnalysisProgramació (Ordinadors)thubCàlcul intensiu (Informàtica)thubLlibres electrònicsthubCompilers (Computer programs)Computer engineering.Computer networks.Microprogramming.Computer programming.Numerical analysis.Compilers and Interpreters.Computer Engineering and Networks.Control Structures and Microprogramming.Programming Techniques.Numerical Analysis.Programació (Ordinadors)Càlcul intensiu (Informàtica)005.13Bhalachandra SriduttMiAaPQMiAaPQMiAaPQBOOK9910484727803321Accelerator Programming Using Directives2853320UNINA