Search Results - FRSCM~

Handbook of Life Course Health Development

Table of Contents: “…Growth and Life Course Health-Development -- Chapter 18. From Epidemiology to Epigenetics: Evidence for the Importance of Nutrition to Optimal Health-Development across the Life Course -- Chapter 19. …”
Link to Metadata

History Education and Conflict Transformation Social Psychological Theories, History Teaching and Reconciliation /

Table of Contents: “…History Textbook Writing in Post-Conflict Societies: From Battlefield to Site and Means of Conflict Transformation ; Denise Bentrovato -- Chapter 3. …”
Link to Metadata

Geographies of the University

Table of Contents: “…Croissant) -- part III: Universities and Regional Economies -- Chapter 10: The entrepreneurial university wave: shaping a triple helix for sustainable innovation (Henry Etzkowitz) -- Chapter 11: The Economic Impact of the Universities in the State of Baden-Württemberg (Johannes Glückler) -- Chapter 12: African Universities as Employers of Returning Graduates from Germany. The Example of Ghana and Cameroon (Julia Boger) -- Part IV: Localization, Globalization and Regional Integration of Universities -- Chapter 13: The University in its Place: Thinking in and Beyond Globalization (Allan Cochrane ) -- Chapter 14: The University Unbound: How Roots and Routes Intersect (Jane Kenway) -- Chapter 15: International Education Hubs (Jane Knight) -- Chapter 16: The Nonmetropolitan University's Regional Engagement in the African Context: TheCase of Cameroon (Eike W. …”
Link to Metadata

Maritime Spatial Planning past, present, future /

Table of Contents: “…Stakeholder Processes in Marine Spatial Planning:Ambitions and Realities from the European Atlantic Experience; Sarah Twomey and Cathal O'Mahony -- Chapter 14. …”
Link to Metadata

The Future Internet Future Internet Assembly 2013: Validated Results and New Horizons /

Table of Contents: “…Software Driven Networks, Virtualisation, Programmability and Autonomic Management -- Towards a Socially-Aware Management of New Overlay Application Traffic Combined with Energy Efficiency in the Internet (SmartenIT) -- The NEBULA Future Internet Architecture -- Open the Way to Future Networks - A Viewpoint Framework from ITU-T -- Towards a Minimal Core for Information-Centric Networking -- Managing QoS for Future Internet Applications over Virtual Sensor Networks -- High Availability in the Future Internet -- Integrating OpenFlow in IMS Networks and Enabling for Future Internet Research and Experimentation -- Computing and Networking Clouds Contrail: Distributed Application Deployment under SLA in Federated Heterogeneous Clouds -- Cloud-Based Evaluation Framework for Big Data -- Optimizing Service Ecosystems in the Cloud -- Resource Optimisation in IoT Cloud Systems by Using Matchmaking and Self-management Principles -- Towards a Secure Network Virtualization Architecture for the Future Internet -- Seeding the Cloud: An Innovative Approach to Grow Trust in Cloud Based Infrastructures -- Internet of Things -- IoT6 - Moving to an IPv6-Based Future IoT -- SmartSantander: Internet of Things Research and Innovation through Citizen Participation -- A Cognitive Management Framework for Empowering the Internet of Things -- Building Modular Middlewares for the Internet of Things with OSGi -- Towards an Architecture for Future Internet Applications -- ComVantage: Mobile Enterprise Collaboration Reference Framework and Enablers for Future Internet Information Interoperability -- Test-Enabled Architecture for IoT Service Creation and Provisioning -- Enabling Technologies and Economic Incentives Sustainable Wireless Broadband Access to the Future Internet -- The EARTH Project -- An Internet-Based Architecture Supporting Ubiquitous Application User Interfaces -- Cooperative Strategies for Power Saving in Multi-standard Wireless Devices -- Counting the Cost of FIRE: Overcoming Barriers to Sustainable Experimentation Facilities -- User Involvement in Future Internet Projects -- Design and Implementation of Cooperative Network Connectivity Proxy Using Universal Plug and Play -- Book Sponsoring Projects Overview 3DLife - Bringing the Media Internet to Life -- CONCORD Project Management of the Future Internet -- FLAMINGO NoE Project Management of the Future Internet -- The GEYSERS Concept and Major Outcomes -- iCore: A Cognitive Management Framework for the Internet of Things -- IoT6 Project in a Nutshell -- Mobile Cloud Networking: Mobile Network, Compute, and Storage as One Service On-Demand -- The SmartenIT STREP Project: Socially-Aware Management of New Overlay Application Traffic Combined with Energy Efficiency in the Internet -- The SmartSantander Project -- UniverSelf, Realizing Autonomics for Future Networks.…”
Link to Metadata

Writing in Knowledge Societies by Starke-Meyerring, Doreen, Paré, Anthony, Artemeva, Natasha, Horne, Miriam, Yousoubova, Larissa

Table of Contents: “…Grabill -- The Role of Writing in the Production of Knowledge in Research Environments -- Rhetoric, Knowledge, and "The Brute Facts of Nature" in Science Research, Heather Graves -- Disciplines and Discourses: Social Interactions in the Construction of Knowledge, Ken Hyland -- Knowledge and Identity Work in the Supervision of Doctoral Student Writing: Shaping Rhetorical Subjects, Anthony Paré, Doreen Starke-Meyerring, and Lynn McAlpine -- Writing into the Knowledge Society: A Case Study of Vulnerability in Inkshedding, Miriam Horne -- The Teaching of Writing as an Epistemic Practice in Higher Education -- Writing and Knowledge Making: Insights from an Historical Perspective, Paul M. Rogers and Olivia Walling -- Reinventing WAC (again): The First-Year Seminar and Academic Literacy, Doug Brent -- A Code of Ethics as a Collaborative Learning Tool: Comparing a Face-to-Face Engineering Team and Multidisciplinary Online Teams, Anne Parker and Amanda Goldrick-Jones -- "An Engrained Part of My Career": The Formation of a Knowledge Worker in the Dual Space of Engineering Knowledge and Rhetorical Process, Natasha Artemeva -- International Students and Identity: Resisting Dominant Ways of Writing and Knowing in Academe, Heekyeong Lee and Mary H. …”
Access online version

Astronomy 2e by Fraknoi, Andrew, Morrison, David, Wolff, Sidney C.

Table of Contents: “…Cosmic Samples and the Origin of the Solar System -- 14.1 Meteors -- 14.2 Meteorites: Stones from Heaven -- 14.3 Formation of the Solar System -- 14.4 Comparison with Other Planetary Systems -- 14.5 Planetary Evolution -- Chapter 15. …”
Access online version

Immunogenetics Methods and Protocols /

Table of Contents: “…The Advent of Precision Immunology: Immunogenetics at the Center of Immune Cell Analysis in Health and Disease -- Next-Generation Sequencing-Based Clonality Detection of Immunoglobulin Gene Rearrangements in B-Cell Lymphoma -- One-Step Next Generation Sequencing of Immunoglobulin and T-Cell Receptor Gene Recombinations for MRD Marker Identification in Acute Lymphoblastic Leukemia -- Immunoglobulin/T-Cell Receptor Gene Rearrangement Analysis Using RNA-Seq -- Minimal Residual Disease Analysis by Monitoring Immunoglobulin and T-Cell Receptor Gene Rearrangements by Quantitative PCR and Droplet Digital PCR -- Quality Control for IG/TR Marker Identification and MRD Analysis -- cfDNA-Based NGS IG Analysis in Lymphoma -- Targeted Locus Amplification as Marker Screening Approach to Detect Immunoglobulin (IG) Translocations in B-Cell Non-Hodgkin Lymphomas -- Immunoglobulin/T-Cell Receptor Capture Strategy for Comprehensive Immunogenetics -- Immunoglobulin Gene Mutational Status Assessment by Next Generation Sequencing in Chronic Lymphocytic Leukemia -- NGS-Based B-Cell Receptor Repertoire Analysis in the Context of Inborn Errors of Immunity -- Generic Multiplex Digital PCR for Accurate Quantification of T-Cells in Copy Number Stable and Unstable DNA Samples -- Gene Engineering T-Cells with T-Cell Receptor for Adoptive Therapy -- Combined Analysis of Transcriptome and T-Cell Receptor Alpha Beta (TRA/TRB) Repertoire in Paucicellular Samples at the Single Cell Level -- AIRR Community Guide to Planning and Performing AIRR-Seq Experiments -- Adaptive Immune Receptor Repertoires (AIRR) Community Guide to TR and IG Gene Annotation -- Adaptive Immune Receptor Repertoires (AIRR) Community Guide to Repertoire Analysis -- Bulk gDNA Sequencing of Antibody Heavy Chain Gene Rearrangements for Detection and Analysis of B-Cell Clone Distribution: A Method by the AIRR Community -- Bulk Sequencing from mRNA with UMI for Evaluation of B-Cell Isotype and Clonal Evolution: A Method by the AIRR Community -- Single Cell Analysis and Tracking of Antigen-Specific T-Cells: Integrating Paired-Chain AIRR-Seq and Transcriptome Sequencing: A Method by the AIRR Community -- Quality Control: Chain Pairing Precision and Monitoring of Cross-Sample Contamination: A Method by the AIRR Community -- Immune Repertoire Analysis on High-Performance Computing Using VDJServer V1: A Method by the AIRR Community -- Data Sharing and Re-Use: A Method by the AIRR Community -- IMGT® Immunoinformatics Tools for Standardized V-DOMAIN Analysis -- IMGT/3Dstructure-DB: T-Cell Receptor TR Paratope and Peptide/Major Histocompatibility pMH Contact Sites and Epitope -- ARResT/Interrogate Immunoprofiling Platform: Concepts, Workflows, and Insights -- Purpose-Built Immunoinformatics for BcR IG/TR Repertoire Data Analysis.…”
Link to Metadata

Advances in Intelligent Data Analysis XVIII 18th International Symposium on Intelligent Data Analysis, IDA 2020, Konstanz, Germany, April 27-29, 2020, Proceedings /

Table of Contents: “…Multivariate Time Series as Images: Imputation Using Convolutional Denoising Autoencoder -- Dual Sequential Variational Autoencoders for Fraud Detection -- A Principled Approach to Analyze Expressiveness and Accuracy of Graph Neural Networks -- Efficient Batch-Incremental Classification Using UMAP for Evolving Data Streams -- GraphMDL: Graph Pattern Selection Based on Minimum Description Length -- Towards Content Sensitivity Analysis -- Gibbs Sampling Subjectively Interesting Tiles -- Even Faster Exact k-Means Clustering -- Ising-Based Consensus Clustering on Special Purpose Hardware -- Transfer Learning by Learning Projections from Target to Source -- Computing Vertex-Vertex Dissimilarities Using Random Trees: Application to Clustering in Graphs -- Towards Evaluation of CNN Performance in Semantically Meaningful Latent Spaces -- Vouw: Geometric Pattern Mining Using the MDL Principle -- A Consensus Approach to Improve NMF Document Clustering -- Discriminative Bias for Learning Probabilistic Sentential Decision Diagrams -- Widening for MDL-Based Retail Signature Discovery -- Addressing the Resolution Limit and the Field of View Limit in Community Mining -- Estimating Uncertainty in Deep Learning for Reporting Confidence: An Application on Cell Type Prediction in Testes Based on Proteomics -- Adversarial Attacks Hidden in Plain Sight -- Enriched Weisfeiler-Lehman Kernel for Improved Graph Clustering of Source Code -- Overlapping Hierarchical Clustering (OHC) -- Digital Footprints of International Migration on Twitter -- Percolation-Based Detection of Anomalous Subgraphs in Complex Networks -- A Late-Fusion Approach to Community Detection in Attributed Networks -- Reconciling Predictions in the Regression Setting: an Application to Bus Travel Time Prediction -- A Distribution Dependent and Independent Complexity Analysis of Manifold Regularization -- Actionable Subgroup Discovery and Urban Farm Optimization -- AVATAR - Machine Learning Pipeline Evaluation Using Surrogate Model -- Detection ofDerivative Discontinuities in Observational Data -- Improving Prediction with Causal Probabilistic Variables -- DO-U-Net for Segmentation and Counting -- Enhanced Word Embeddings for Anorexia Nervosa Detection on Social Media -- Event Recognition Based on Classification of Generated Image Captions -- Human-to-AI Coach: Improving Human Inputs to AI Systems -- Aleatoric and Epistemic Uncertainty with Random Forests -- Master your Metrics with Calibration -- Supervised Phrase-Boundary Embeddings -- Predicting Remaining Useful Life with Similarity-Based Priors -- Orometric Methods in Bounded Metric Data -- Interpretable Neuron Structuring with Graph Spectral Regularization -- Comparing the Preservation of Network Properties by Graph Embeddings -- Making Learners (More) Monotone -- Combining Machine Learning and Simulation to a Hybrid Modelling Approach -- LiBRe: Label-Wise Selection of Base Learners in Binary Relevance for Multi-Label Classification -- Angle-Based Crowding Degree Estimation for Many-Objective Optimization.…”
Link to Metadata

Applied Pedagogies for Higher Education Real World Learning and Innovation across the Curriculum /

Table of Contents: “…Working and learning through the local community- four case studies from higher education that promote civic engagement; Dawn A. …”
Link to Metadata

Academic Integrity in Canada An Enduring and Essential Challenge /

Table of Contents: “…-- Visual plagiarism: Seeing the forest and the trees -- The distinctive nature of academic integrity in graduate legal education -- Perceptions and experiences in understanding academic integrity: Reflections within a doctoral program -- The barriers to reporting incidences of academic dishonesty: The unique perspective of faculty from Canadian community colleges -- Promotion of academic integrity through a marketing lens for Canadian post-secondary institutions -- Academic integrity in the practice / service learning setting -- Promoting academic integrity and preventing misconduct in a Canadian open digital distance education university -- Section III: An urgent and growing problem: Contract cheating in Canada -- Section introduction: Contract cheating in Canada -- Ethics, ed tech, and therise of contract cheating -- Pay-to-pass: Knowledge as a commodity in the digital age -- Education as a financial transaction: Contract employment and contract cheating -- Committing and facilitating academic misconduct as white-collar and corporate crime -- Section IV: Essential strategies and levers to advance academic integrity -- Section introduction: Essential strategies and levers to advance academic integrity -- Using quality assurance frameworks to support an institutional culture of academic integrity at Canadian universities -- Beyond the traditional: Academic integrity advocacy in Canadian librarianship -- Using computer-facilitated focus groups to gather student insight on academic integrity -- Fostering academic integrity through curriculum design -- Threading the needle: Student advocacy offices and their role within academic integrity -- Helping students resolve the ambiguous expectations of academic integrity -- How to talk about academic integrity, so students will listen: The inherent challenge in "mandated" training -- Revisioning instructor-writing specialist collaboration for paraphrasing instruction -- Supporting academic integrity in the writing centre: Student consultant perspectives -- Cultural aspects of academic integrity -- A new framework for enhancing (academic) integrity -- Building a culture of restorative practice and restorative responses to academic misconduct.…”
Link to Metadata

EU Integrated Urban Initiatives Policy Learning and Quality of Life Impacts in Spain /

Table of Contents: “…Policy levels, policy dimensions and added values of integrated local strategies from a comparative perspective. By Clemente J. Navarro -- Part I: Better urban policies or added value I: the practice and learnings on the policy integration strategy at the local level -- Chapter 2. …”
Link to Metadata

Advancing Energy Policy Lessons on the integration of Social Sciences and Humanities /

Table of Contents: “…Imaginaries and Practices: Learning from 'ENERGISE' About the Integration of Social Sciences with the EU Energy Union; Audley Genus, Frances Fahy, Gary Goggins, Marfuga Iskandarova, Senja Laakso -- Chapter 10. …”
Link to Metadata

Business Ethics

Table of Contents: “…Chapter 1: Why Ethics Matter -- 1.1 Being a Professional of Integrity -- 1.2 Ethics and Profitability -- 1.3 Multiple versus Single Ethical Standards -- Chapter 2: Ethics from Antiquity to the Present -- 2.1 The Concept of Ethical Business in Ancient Athens -- 2.2 Ethical Advice for Nobles and Civil Servants in Ancient China -- 2.3 Comparing the Virtue Ethics of East and West -- 2.4 Utilitarianism: The Greatest Good for the Greatest Number -- 2.5 Deontology: Ethics as Duty -- 2.6 A Theory of Justice -- Chapter 3: Defining and Prioritizing Stakeholders -- 3.1 Adopting a Stakeholder Orientation -- 3.2 Weighing Stakeholder Claims -- 3.3 Ethical Decision-Making and Prioritizing Stakeholders -- 3.4 Corporate Social Responsibility (CSR) -- Chapter 4: Three Special Stakeholders: Society, the Environment, and Government -- 4.1 Corporate Law and Corporate Responsibility -- 4.2 Sustainability: Business and the Environment -- 4.3 Government and the Private Sector -- Chapter 5: The Impact of Culture and Time on Business Ethics -- 5.1 The Relationship between Business Ethics and Culture -- 5.2 Business Ethics over Time -- 5.3 The Influence of Geography and Religion -- 5.4 Are the Values Central to Business Ethics Universal? …”
Access online version

p53 and ovarian carcinoma survival: an Ovarian Tumor Tissue Analysis consortium study by Martin Köbel, Eun‐Young Kang, Ashley Weir, Peter F Rambau, Cheng‐Han Lee, Gregg S Nelson, Prafull Ghatage, Nicola S Meagher, Marjorie J Riggan, Jennifer Alsop, Michael S Anglesio, Matthias W Beckmann, Christiani Bisinotto, Michelle Boisen, Jessica Boros, Alison H Brand, Angela Brooks‐Wilson, Michael E Carney, Penny Coulson, Madeleine Courtney‐Brooks, Kara L Cushing‐Haugen, Cezary Cybulski, Suha Deen, Mona A El‐Bahrawy, Esther Elishaev, Ramona Erber, Sian Fereday, AOCS Group, Anna Fischer, Simon A Gayther, Arantzazu Barquin‐Garcia, Aleksandra Gentry‐Maharaj, C Blake Gilks, Helena Gronwald, Marcel Grube, Paul R Harnett, Holly R Harris, Andreas D Hartkopf, Arndt Hartmann, Alexander Hein, Joy Hendley, Brenda Y Hernandez, Yajue Huang, Anna Jakubowska, Mercedes Jimenez‐Linan, Michael E Jones, Catherine J Kennedy, Tomasz Kluz, Jennifer M Koziak, Jaime Lesnock, Jenny Lester, Jan Lubiński, Teri A Longacre, Maria Lycke, Constantina Mateoiu, Bryan M McCauley, Valerie McGuire, Britta Ney, Alexander Olawaiye, Sandra Orsulic, Ana Osorio, Luis Paz‐Ares, Teresa Ramón y Cajal, Joseph H Rothstein, Matthias Ruebner, Minouk J Schoemaker, Mitul Shah, Raghwa Sharma, Mark E Sherman, Yurii B Shvetsov, Naveena Singh, Helen Steed, Sarah J Storr, Aline Talhouk, Nadia Traficante, Chen Wang, Alice S Whittemore, Martin Widschwendter, Lynne R Wilkens, Stacey J Winham, Javier Benitez, Andrew Berchuck, David D Bowtell, Francisco J Candido dos Reis, Ian Campbell, Linda S Cook, Anna DeFazio, Jennifer A Doherty, Peter A Fasching, Renée T Fortner, María J García, Marc T Goodman, Ellen L Goode, Jacek Gronwald, David G Huntsman, Beth Y Karlan, Linda E Kelemen, Stefan Kommoss, Nhu D Le, Stewart G Martin, Usha Menon, Francesmary Modugno, Paul DP Pharoah, Joellen M Schildkraut, Weiva Sieh, Annette Staebler, Karin Sundfeldt, Anthony J Swerdlow, Susan J Ramus, James D Brenton

Connect to this object online.

Old and New Perspectives on Mortality Forecasting

Table of Contents: “…Life Expectancy is Taking Center Place in Modern National Pension Schemes - A New Challenge for the Art of Projecting Mortality: Edward Palmer -- Ch 3. Experiences from Forecasting Mortality in Finland: Juha Alho -- Ch 4. …”
Link to Metadata

The Palgrave Handbook of Family Policy

Table of Contents: “…Family Policy in the United States: State-Level Variation in Policy & Poverty Outcomes from 1980 to 2015; Zachary Parolin & Rosa Daiger Von Gleichen -- 19. …”
Link to Metadata

Agile Processes in Software Engineering and Extreme Programming - Workshops XP 2020 Workshops, Copenhagen, Denmark, June 8-12, 2020, Revised Selected Papers /

Table of Contents: “…Third International Workshop on Software-Intensive Business -- Unleashing the Business Potential of Software: A Summary of the Third International Workshop on Software-intensive Business -- An Approach for Software-Intensive Business Innovation Based on Experimentation in Non-Software-Intensive Companies -- Towards specific software engineering practices for early-stage startups -- API Utilization and Monetization in Finnish Industries -- ICO Crowdfunding: Incentives, Pricing Strategy, Token Strategy and Crowd Involvement -- What key aspects do ICOs reveal about their businesses -- Product Roadmap Alignment - Achieving the Vision Together: A Grey Literature Review -- Exploring the Success Factors for a Launch of an Algorithmic Consulting Platform -- Eighth International Workshop on Large-Scale Agile Development -- Agile at Scale: A Summary of the 8th International Workshop on Large-Scale Agile Development -- Operationalizing Agile Methods: Examining Coherence in Large-Scale AgileTransformations -- Transitioning from a First Generation to Second Generation Large-Scale Agile Development Method: Towards understanding Implications for Coordination -- Exploring the Product Owner Role within SAFe Implementation in a Multinational Enterprise -- Evaluation of Agile Team Work Quality -- A systematic approach to agile development in highly regulated environment -- Second European Workshop on Serverless Computing and Applications -- Summary of 2nd European Symposium on Serverless Computing and Applications -- Diminuendo! …”
Link to Metadata

Kantianism for Animals A Radical Kantian Animal Ethic / by Müller, Nico Dario

Table of Contents: “…-- 6.2 Adopting Another's Ends as Our Own -- 6.3 Kant's Denial of End-Directed Animal Agency -- 6.4 Animal 'Ends': Conceptual, Non-conceptual, 'Obscure' -- References -- 7 Kantianism for Animals: The Framework in Five Claims -- 7.1 Duties from Autonomy -- 7.2 The Primacy of Duties over Rights and Claims -- 7.3 Duties to Self and Others -- 7.4 Practical Love and Non-exaltation -- 7.5 Motives Matter -- References -- Part III Using the Framework -- 8 A Kantian Argument Against Using Animals -- 8.1 'External' Arguments Against Using Animals -- 8.2 A Kantian-for-Animals 'Internal' Argument Against Animal Use -- References -- 9 A Kantian Argument Against Eating Animals -- 9.1 The Philosophical Stalemate Regarding Vegetarianism -- 9.2 A Kantian-for-Animals Argument Against Eating Animals -- References -- 10 A Kantian Argument Against Environmental Destruction -- 10.1 Kant and the Environment: Previous Approaches -- 10.2 A Kantian-for-Animals Perspective on the Environment -- References -- 11 Animal Ethics and the Philosophical Canon: A Proposal -- References -- Index.…”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…Tool Demos -- EVA: a Tool for the Compositional Verification of AUTOSAR Models -- WASIM: A Word-level Abstract Symbolic Simulation Framework for Hardware Formal Verification -- Multiparty Session Typing in Java, Deductively -- PyLTA: A Verification Tool for Parameterized Distributed Algorithms -- FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format -- Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit -- Combinatorial Optimization/Theorem Proving -- New Core-Guided and Hitting Set Algorithms for Multi-Objective Combinatorial Optimization -- Verified reductions for optimization -- Specifying and Verifying Higher-order Rust Iterators -- Extending a High-Performance Prover to Higher-Order Logic -- Tools (Regular Papers) -- The WhyRel Prototype for Relational Verification of Pointer Programs -- Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Converter -- CoPTIC: Constraint Programming Translated Into C -- Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability -- Synthesis -- Computing Adequately Permissive Assumptions for Synthesis -- Verification-guided Programmatic Controller Synthesis -- Taming Large Bounds in Synthesis from Bounded-Liveness Specifications -- Lockstep Composition for Unbalanced Loops -- Synthesis of Distributed Agreement-Based Systems with Effciently Decidable Verification -- LTL Reactive Synthesis with a Few Hints -- Timed Automata Verification and Synthesis via Finite Automata Learning -- Graphs/Probabilistic Systems -- A Truly Symbolic Linear-Time Algorithm for SCC Decomposition -- Transforming quantified Boolean formulas using biclique covers -- Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration -- Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants -- Runtime Monitoring/Program Analysis -- Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote -- Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis -- Explainable Online Monitoring of Metric Temporal Logic -- 12th Competition on Software Verification - SV-COMP 2023 -- Competition on Software Verification and Witness Validation: SV-COMP 2023 -- Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation (Competition Contribution) -- 2LS: Arrays and Loop Unwinding (Competition Contribution) -- Bubaak: Runtime Monitoring of Program Verifiers (Competition Contribution) -- EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs (Competition Contribution) -- Goblint: Autotuning Thread-Modular Abstract Interpretation (Competition Contribution) -- Java Ranger: Supporting String and Array Operations (Competition Contribution) -- Korn-Software Verification with Horn Clauses (Competition Contribution) -- Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution) -- PIChecker: A POR and Interpolation based Verifierfor Concurrent Programs (Competition Contribution) -- Ultimate Automizer and the CommuHash Normal Form (Competition Contribution) -- Ultimate Taipan and Race Detection in Ultimate (Competition Contribution) -- VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution) -- VeriFuzz 1.4: Checking for (Non-)termination (Competition Contribution). .…”
Link to Metadata