Search Results - Vericon~
Suggested Topics within your search.
Suggested Topics within your search.
- linguistics 69
- History 18
- Language 16
- Translation & interpretation 16
- Literary studies: classical, early & medieval 14
- Grammar, syntax & morphology 13
- Technology: general issues 13
- Education 12
- Medicine 12
- Research & information: general 12
- The arts 12
- Biology, life sciences 11
- History of engineering & technology 10
- Literature: history & criticism 10
- Artificial intelligence 9
- Humanities 8
- Lexicography 8
- Media studies 8
- Social sciences 8
- Software Engineering 8
- Business 7
- Mathematics 7
- Psychology 7
- Biblical studies & exegesis 6
- Biography & True Stories 6
- Computer Science 6
- Historical & comparative linguistics 6
- Language: reference & general 6
- Literature & literary studies 6
- Management 6
-
5141
Textbook on Scar Management State of the Art Management and Emerging Technologies /
Published 2020Table of Contents: “…(see attached PDF for latest version) Foreword -- Preface -- I Semiology of scars, classifications and scoring -- 1 Biology and scar formation -- 2 Epidemiology of scars and their consequences -- 3 Scar symptoms: itching, redness, thickness, contractures, colour, hyper/hypochromia, psychological disorders -- 4 International classification and semiology od scars -- 5 Scar evaluation scales (Vancouver, POSAS, Manchester) -- 6 Assessment technologies (cutometer, laser Doppler, 3D imaging, stereophotogrammetry) -- II Scars management and Evidence-based medicine -- 7 Non-invasive technologies (lasers fractional ER Yag, pulsed dye, fractional CO2, silicone, pressure garments, postop devices) and psychological management -- 8 Semi invasive technologies (injections corticoteroids, antimitotic, needling) -- 9 Invasive techniques (surgery with local flaps, resurfacing, skin substitutes, microsurgical flaps, fat injections, others) -- 10 Specific scar management depending on anatomical features (face, hair, breast, hand, joints, foot) -- 11Cosmetic requirements depending on age and social considerations -- III State- of- the -Art Scar management technologies -- 12 Recently developed new technologies (mechanical, chemical) -- 13 Cultural and traditional approaches -- 14 Cellular skin substitutes -- 15 New drugs for scar treatment -- 16 Vacuum massage in scar treatment -- 17 Shock wave therapy for scar treatment -- Subject Index.…”
Link to Metadata
Electronic eBook -
5142
-
5143
Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2023Table of Contents: “…Regular Contributions -- ACoRe: Automated Goal-Conflict Resolution -- Nazareno Aguirre, Yves Le Traon and Mike Papadakis A Modeling Concept for Formal Verification of OS-Based Compositional Software -- Guldstrand Larsen and Marcel Baunach Compositional Automata Learning of Synchronous Systems -- Front-end JavaScript -- Democratizing Quality-Based Machine Learning Development through Extended Feature Models -- Efficient Bounded Exhaustive Input Generation from Program APIs -- Feature-Guided Analysis of Neural Networks -- JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java -- Model-based Player Experience Testing with Emotion Pattern Verification -- Opportunistic Monitoring of Multithreaded Programs -- Parallel Program Analysis via Range Splitting -- Wehrheim Runtime Enforcement Using Knowledge Bases -- Specification and Validation of Normative Rules for Autonomous Agents -- Towards Log Slicing -- VAMOS: Middleware for Best-Effort Third-Party Monitoring -- Yet Another Model! …”
Link to Metadata
Electronic eBook -
5144
Reliability and Validity of International Large-Scale Assessment Understanding IEA's Comparative Studies of Student Achievement /
Published 2020Table of Contents: “…Foreword; Dirk Hastedt -- 1 Introduction to Reliability and Validity of International Large-Scale Assessment; Hans Wagemaker -- 2 Study Design and Evolution, and the Imperatives of Reliability and Validity; Hans Wagemaker -- 3 Framework Development in International Large-Scale Assessment Studies; John Ainley and Wolfram Schulz -- 4 Assessment Content Development; Liz Twist and Julian Fraillon -- 5 Questionnaire Development in International Large-Scale Assessment Studies; Wolfram Schulz and Ralph Carstens -- 6 Translation: The Preparation of National Language Versions of Assessment Instruments; Paula Korsnakova, Steve Dept, and David Ebbs -- 7 Sampling, Weighting, and Variance Estimation; Sabine Meinck -- 8 Quality Control during Data Collection: Refining for Rigor; Lauren Musu, Sandra Dohr, and Andrea Netten -- 9 Post-collection Data Capture, Processing, and Scoring; Alena Becker -- 10 Technology and Assessment; Heiko Sibberns -- 11 Ensuring Validity in International Comparisons Using State-of-the-art Psychometric Methodologies; Matthias von Davier, Eugene Gonzalez, and Wolfram Schulz -- 12 Publishing and Dissemination; Seamus Hegarty and Sive Finlay -- 13 Consequential Validity: Data Access, Data Use, Analytical Support, and Training; Sabine Meinck, Eugene Gonzalez, and Hans Wagemaker -- 14 Using IEA Studies to Inform Policymaking and Program Development: The Case of Singapore; Hui Leng Ng, Chew Leng Poon, and Elizabeth Pang -- 15 Understanding the Policy Influence of International Large-Scale Assessments in Education; David Rutkowski, Greg Thompson, and Leslie Rutkowski.-.…”
Link to Metadata
Electronic eBook -
5145
-
5146
Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021,...
Published 2021Table of Contents: “…The Decidability of Verification under PS 2.0 -- Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains -- Types for Complexity of Parallel Computation in Pi-Calculus -- Checking Robustness Between Weak Transactional Consistency Models -- Verified Software Units -- An Automated Deductive Verication Framework for Circuit-building Quantum Programs -- Nested Session Types -- Coupled Relational Symbolic Execution for Differential Privacy -- Graded Hoare Logic and its Categorical Semantics -- Do Judge a Test by its Cover: Combining Combinatorial and Property-Based Testing -- For a Few Dollars More - Verified Fine-Grained Algorithm Analysis Down to LLVM -- Run-time Complexity Bounds Using Squeezers -- Complete trace models of state and control -- Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols -- Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages -- Densities of Almost Surely Terminating Probabilistic Programs areDifferentiable Almost Everywhere -- Graded Modal Dependent Type Theory -- Automated Termination Analysis of Polynomial Probabilistic Programs -- Bayesian strategies: probabilistic programs as generalised graphical models -- Temporal Refinements for Guarded Recursive Types -- Query Lifting: Language-integrated query for heterogeneous nested collections -- Reverse AD at Higher Types: Pure, Principled and Denotationally Correct -- Sound and Complete Concolic Testing for Higher-order Functions -- Strong-Separation Logic. .…”
Link to Metadata
Electronic eBook -
5147
Foundations of Robotics A Multidisciplinary Approach with Python and ROS /
Published 2022Table of Contents: “…-Chapter 4 - Software building blocks: From Python to Version control (Damith Herath, Adam Haskard and Niranjan Shukla) -- Chapter 5 - The Robot Operating System (ROS1&2): programming paradigms and deployment(David St-Onge and Damith Herath) -- Chapter 6 - Mathematical building blocks: From geometry to quaternions to Bayesian(Rebecca Stower, Bruno Belzile and David St-Onge).…”
Link to Metadata
Electronic eBook -
5148
Mastering Endo-Laparoscopic and Thoracoscopic Surgery ELSA Manual /
Published 2023Table of Contents: “….-30 Basic Principles and Advanced VATS procedures -- Part 8 Upper Gastrointestinal Surgery - Esophageal Surgery -- 31 Achalasia -- 32 Resection of Gastroesophageal Junction Submucosal Tumours (SMTs) -- 33 Transoral Endoscopic Zenker Diverticulotomy -- 34 Gastroesophageal Reflux Disease -- 35 Hiatal Hernia -- 36 Esophageal Cysts -- 37 McKeown Esophagectomy -- Part 9 Upper Gastrointestinal Surgery - Gastric Surgery -- 38 Gastric Gastrointestinal Stromal Tumours -- 39 Gastric Carcinoma : Subtotal and Total Gastrectomy -- Part 10 Bariatric Procedures -- 40 Laparoscopic Gastric Banding for Morbid Obesity -- 41 Laparoscopic Sleeve Gastrectomy -- 42 Laparoscopic Roux En Y Gastric Bypass (LRYGB) -- 43 One Anastomosis Gastric Bypass (OAGB) -- Part 11 Hepatobiliary Surgery - Gallbladder -- 44 Elective Cholecystectomy -- Part 12 Hepatobiliary Surgery - Common Bile Duct Stones -- 45 Laparoscopic Choledochotomy for Bile Duct Stones -- Part 13 Hepatobiliary Surgery - Liver -- 46 Hepatic cyst/ abscess -- 47 Laparoscopic Wedge Liver Resection -- 48 Laparoscopic Left Liver Resection -- 49 Laparoscopic Right Hepatectomy -- Part 14 Pancreas -- 50 Laparoscopic internal drainage of pancreatic pseudocysts -- 51 Laparoscopic Distal Pancreatectomy -- 52 Laparoscopic Pancreaticoduodenectomy -- Part 15 Spleen -- 53 Laparoscopic Splenectomy -- 54 Intraoperative Splenic Injuries -- Part 16 Inguinal Hernia -- 55 Transabdominal Pre-peritoneal approach (TAPP) -- 56 Totally Extra-peritoneal approach in Inguinal Hernia Repair -- 57 Laparoscopic Management of Recurrent and Re-Recurrent hernia -- 58 Laparo-endoscopic approach to Complex Inguinal Hernia -- Part 17 Incisional/ Ventral Hernia Repair -- 59 Laparoscopic Intraperitoneal Onlay Mesh (IPOM) and IPOM plus -- 60 Extraperitoneal Ventral Hernia Repair -- 61 Endoscopic anterior component separation technique (eACS) -- 62 Role of Botulinum Toxin-A in Chemical Component Separation Technique.-63 Endo-Laparoscopic Repair of Lateral Ventral Hernia -- Part 18 Diastasis Recti -- 64 Posterior Plication or Combined Plication of the Recti Diastasis -- 65 Endo-laparoscopic retromuscular repair -- 66 Endoscopic Subcutaneous Onlay Laparoscopic Approach -- Part 19 Other Hernias -- 67 Minimally Invasive Surgery for Diaphragmatic Hernia -- 68 Laparoscopic Parastomal Hernia Repair -- Part 20 Colorectal Surgery -- 69 Laparoscopic Right Hemicolectomy with Complete Mesocolic Excision and Central Vascular Ligation (CME/CVL) for Right sided Colon Cancer -- 70 Laparoscopic left hemicolectomy -- 71 Anterior Resection -- 72 Laparoscopic Abdominoperineal Resection -- 73 Laparoscopic Total Colectomy -- 74 Laparoscopic Ventral Mesh Rectopexy -- Part 21 Robotic Surgery -- 75 Robotic Surgery - Operating Room Set Up and Docking -- Part 22 Other Laparoscopic Procedures -- 76 Laparoscopic Varicocoelectomy -- 77 Laparoscopic Paediatric Inguinal Hernia Repair.…”
Link to Metadata
Electronic eBook -
5149
Handbook of Life Course Health Development
Published 2018Table of Contents: “…Life Course Research Agenda (LCRA), Version 1.0.…”
Link to Metadata
Electronic eBook -
5150
Handbook of Mathematical Geosciences Fifty Years of IAMG /
Published 2018Table of Contents: “…Chapter 1 Kriging, Splines, Conditional Simulation, Bayesian In-version and Ensemble Kalman Filtering -- 5. Chapter 2 A Statistical Commentary on Mineral Prospectivity analysis -- 6. …”
Link to Metadata
Electronic eBook -
5151
Essential Speech and Language Technology for Dutch Results by the STEVIN-programme /
Published 2013Table of Contents: “…J.De Belder, D.de Kok, G.van Noord, F.Nauze, L.van der Beek, and M-F.Moens -- 20.Generating, Refining and Using Sentiment Lexicons. M.de Rijke, V.Jijkoun, F.Laan, W.Weerkamp, P.Ackermans, and G.Geleijnse -- Part V. …”
Link to Metadata
Electronic eBook -
5152
-
5153
-
5154
-
5155
-
5156
-
5157
-
5158
-
5159
-
5160
Endomyocardial fibrosis: is it a systemic disease?
Published 2016Connect to this object online.
Book