00908cam0-22003251i-450-99000673904040332120050621101514.0000673904FED01000673904(Aleph)000673904FED0100067390420010426d1952----km-y0itay50------bafreFRy-------001yyHistoire diplomatique de 1648 à 1919Jacques DrozParisDalloz1952619 p.20 cmÉtudes politiques, économiques et sociales4327.9Droz,Jacques<1909-1998>134742ITUNINARICAUNIMARCBK990006739040403321XIII B 5449427FSPBCCOLLEZ. 170 (4)44784FGBCFSPBCFGBCHistoire diplomatique de 1648 à 1919224119UNINA04290nam 22004815 450 99666847180331620250714130240.09783031982088(electronic bk.)978303198207110.1007/978-3-031-98208-8(MiAaPQ)EBC32208604(Au-PeEL)EBL32208604(CKB)39645156300041(DE-He213)978-3-031-98208-8(EXLCZ)993964515630004120250714d2026 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierTheoretical Aspects of Software Engineering 19th International Symposium, TASE 2025, Limassol, Cyprus, July 14–16, 2025, Proceedings /edited by Philipp Rümmer, Zhilin Wu1st ed. 2026.Cham :Springer Nature Switzerland :Imprint: Springer,2026.1 online resource (628 pages)Lecture Notes in Computer Science,1611-3349 ;15841Print version: Rümmer, Philipp Theoretical Aspects of Software Engineering Cham : Springer,c2025 9783031982071 -- Program Verification. -- Safeguarding Neural Network-Controlled Systems via Formal Methods: From Safety-by-Design to Runtime Assurance (Invited Talk) . -- Testing-Based Formal Verification with Program Slicing on Functional Soundness and Completeness. -- Dependent Assertion Logic for Modular Software Verification. -- A Formal Framework for Naturally Specifying and Verifying Sequential Algorithms. -- Machine-Checked Compositional Specification and Proofs for Embedded Systems. -- Verification and Concurrency. -- Failure divergence refinement for Event-B -- Mining Diamonds in labeled Transition Systems. -- Portability of Optimizations from SC to TSO. -- SAT and SMT Solving. -- Adaptive Clause Management in SMT Solvers: A Dynamic Weighting Framework for Formal Verification. -- SNRWLS: Improve (W)PMS Solver with Weighting Strategies Related to Number of Soft Clauses. -- Trustworthy AI and System Software. -- Robust Deep Reinforcement Learning Using Formal Verification. -- A Formally Verified Neural Network Converter for the Interactive Theorem Prover Coq. -- COMPASS: An Agent for MLIR Compilation Pass Pipeline Generation. -- Stable Ranges: Shared Dichotomy in Large Version-Controlled Repositories. -- Program Analysis using Machine Learning. -- CASTLE: Benchmarking Dataset for Static Code Analyzers and LLMs towards CWE Detection. -- FAMiT: Mitigating False Alarms for Program Analysis Using Large Language Models. -- Security. -- A Cross-domain Data Sharing Scheme Based on Federated Blockchain. -- Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs. -- Detecting speculative data flow vulnerabilities using weakest precondition reasoning. -- Dynamic Analysis. -- Random Testing of Model Checkers for Timed Automata with Automated Oracle Generation. -- State Significance-Guided Fuzzing for Stateful Protocol Program. -- Unleash the Hidden Power of CAR-based Model Checking through Dynamic Traversal.This book constitutes the refereed proceedings of the 19th International Symposium on Theoretical Aspects of Software Engineering, TASE 2025, held in Limassol, Cyprus, during July 14–16, 2025. The 20 full papers, 1 short paper, 2 invited papers were carefully selected from 66 submissions. The papers present the latest developments in formal and theoretical software engineering methods and techniques. They are grouped in topical sections on program verification; verification and concurrency; SAT and SMT solving; trustworthy AI and system software; program analysis using machine learning; security; and dynamic analysis.Lecture Notes in Computer Science,1611-3349 ;15841Software engineeringSoftware EngineeringSoftware engineering.Software Engineering.005.1Rümmer Philipp1835204Wu Zhilin1218251MiAaPQMiAaPQMiAaPQ996668471803316Theoretical Aspects of Software Engineering4411439UNISA05530nam 22005655 450 991104092590332120251111120418.03-032-02754-310.1007/978-3-032-02754-2(MiAaPQ)EBC32409379(Au-PeEL)EBL32409379(CKB)42729802300041(DE-He213)978-3-032-02754-2(EXLCZ)994272980230004120251111d2025 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierDigital Technology, Algorithmic Governance and Workplace Democracy Interrogating the Nordic Model in Practice /edited by Tereza Østbø Kuldova, Inger Marie Hagen, Anthony Lloyd1st ed. 2025.Cham :Springer Nature Switzerland :Imprint: Palgrave Macmillan,2025.1 online resource (433 pages)Business and Management Series3-032-02753-5 Chapter 1: Introduction Digital Technology Algorithmic Governance and the Nordic Model in Practice -- Chapter 2: Digitalization Algorithmic Management and the Norwegian Model of Labour Market Regulation -- Chapter 3: Digitalization Algorithmic Governance and the Limits of Workplace Democracy -- Chapter 4: The Trade Union Contradiction After the COVID 19 Pandemic Social Harm and the Failure to Transform Work -- Chapter 5: From Taylorism to Algorithmic Governance Debating Control and Democratization at Work at the International Labour Organization ca 1970 to 1990 -- Chapter 6: The Politics of Employees Critique and Whistleblowing in a Digitized Norwegian Working Life -- Chapter 7: Algorithmic Governance Power and Social Dialogue in White Collar Work in Norway Negotiating the Impossible -- Chapter 8: AI and Data intensive Surveillance in Professional Work Transforming Discretion and Accountability -- Chapter 9: Social Dialogue on Digitalization in the Pipeline Results from Two Representative Surveys among Norwegian Employees and Managers -- Chapter 10: Professional Responses to Digital Projects and Systems in Norwegian Hospitals Retaining Autonomy Through Negotiation Strategic Adaptation and Opposition -- Chapter 11: When Shall we Meet Digitalization of Workforce Planning in the Norwegian Police -- Chapter 12: Now we Know Quantified Epistemology in News Production and Outpowered Unions.Globally, 2 billion workers are in precarious informal jobs without protection. The Nordic Model privileges co-determination and worker participation in employment relations which can foreclose precarity and the absence of protection. However, the growth of digitalization and algorithmic governance within the workplace raises questions about labour process, worker agency, co-determination, governance, power, surveillance, control, and representation in all parts of the world, including the Nordic countries. This interdisciplinary edited collection offers a unique combination of macro level and micro level analyses of digitalization, algorithmic governance and workplace democracy in the context of Nordic labour markets. Including studies from the finance industry, hospitals, higher education, police, and journalism, this collection teases out similarities and differences across labour markets and employment sectors and seeks to reflect nuances in terms of worker autonomy and agency, transformation of professional discretion, modes of resistance, representation and co-determination, and employment relations. It will be of great importance to the scholars and students of labour studies, workplace governance, HRM and the sociology of work. Tereza Østbø Kuldova is a Research Director and Research Professor at the Work Research Institute (WRI), Oslo Metropolitan University, Norway and has published extensively on fashion, intellectual property rights, philanthropy, compliance, management, algorithmic governance, labour, (anti-)corruption and organized crime. Anthony Lloyd is a Professor of Criminology at Teesside University, UK, focusing on sociological and criminological issues including conditions of employment in the UK service economy, the impact of international migration on settled communities, the impacts of algorithmic governance and surveillance on workplaces, neighbourhood crime and anti-social behaviour. Inger Marie Hagen is a Research Professor of Sociology and Organizational Theory at the Work Research Institute (WRI) at Oslo Metropolitan University, Norway working and has published extensively on industrial relations, corporate governance, participation, co-determination, collective agreements, and social dialogue.Business and Management SeriesTechnological innovationsCorporate governanceIndustrial sociologyInnovation and Technology ManagementCorporate GovernanceSociology of WorkTechnological innovations.Corporate governance.Industrial sociology.Innovation and Technology Management.Corporate Governance.Sociology of Work.658.3152Kuldova Tereza Østbø1764897MiAaPQMiAaPQMiAaPQBOOK9911040925903321Digital Technology, Algorithmic Governance and Workplace Democracy4456782UNINA