Search Results - Porur~

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

Defending Checks and Balances in EU Member States Taking Stock of Europe's Actions /

Table of Contents: “…Part I: Understanding the Development in EU Member States: Not on Bread Alone Doth Man Liveth (Deut. 8:3; Mat 4:4) - Some Iconoclastic Views on Populism, Democracy, the Rule of Law and the Polish Circumstance by Joseph HH Weiler -- Constitutional Crisis in Poland 2015-2016 in the Light of the Rule of Law Principle by Marcin Wiącek -- Hungary's Latest Experiences with Article 2 TEU: The Need for 'Informed' EU Sanctions by Beáta Bakó -- Part II: European Action: Towards a Tyranny of Values? …”
Link to Metadata

Health Dimensions of COVID-19 in India and Beyond

Table of Contents: “…IMPACT OF COVID-19 ON VULNERABLE POPULATIONS -- Chapter 13. Commentary-"I Just Want To Go Home": What The Lockdown Meant for India's Inter-state Migrants Workers (Ms. …”
Link to Metadata

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

Table of Contents: “…Maguire -- Articulating and Implementing Rhetoric and Writing as a Knowledge-Making Practice in Higher Education -- Representing Writing: A Rhetoric for Change, Roger Graves -- Building Academic Community through a Town Hall Forum: Rhetorical Theories in Action, Tania Smith -- Talking the Talk and Walking the Walk: Establishing the Academic Role of Writing Centres, Margaret Procter -- Author Affiliations…”
Access online version

Wellbeing, Freedom and Social Justice The Capability Approach Re-Examined by Robeyns, Ingrid

Table of Contents: “…-- 4.6 Is the capability approach too individualistic? -- 4.7 What about power and political economy? -- 4.8 Is the capability approach a liberal theory? …”
Access online version

United States Securities Law

Table of Contents: “…. -- Volume 1 -The Securities Act of 1933 and The Securities and Exchange Act of 1934 -- Volume 2 -The Investment Company Act of 1940 and The Investment Advisors Act of 1940 -- Volume 3 -Sarbanes-Oxley Act of 2002, Dodd-Frank Wall Street Reform Act and Consumer Protection Act of 2010 and Jumpstart our Business Startups Act of 2012 -- Volume 4 -Title 17 of the Code of Federal Regulations, Parts 200, 201, 202 and 203 -- Volume 5 -Title 17 of the Code of Federal Regulations, Parts 210 and 229 -- Volume 6 -Title 17 of the Code of Federal Regulations, Part 230 -- Volume 7 -Title 17 of the Code of Federal Regulations, Part 240 and 250 -- Volume 8 -Title 17 of the Code of Federal Regulations, Part 260, 270 and 275…”
Access online version

Law 101 Fundamentals of the Law by Martella, Michael H.

Table of Contents: “…Chapter 1 – Major Factors In Choosing And Working With An Attorney -- Chapter 2 – Comparing And Contrasting Civil And Criminal Law -- Chapter 3 – New York State And Federal Court Structure And Sources Of Law -- Chapter 4 – How The United States And New York State Constitutions Affects Our Lives -- Chapter 5 – The Path Of A New York State Criminal Case -- Chapter 6 – Traffic Stops & DWI -- Chapter 7 – Discrimination Law -- Chapter 8 – The Path Of A Civil Tort Case -- Chapter 9 – Marriage, Divorce And Family Law -- Chapter 10 – Common Estate Planning Processes And Documents -- Chapter 11 – Taxes -- Chapter 12 – Real Estate Transfers -- Chapter 13 – Residential Lease Transactions -- Chapter 14 – Elements Of A Contract, Consumer Protections, And Bankruptcy -- Chapter 15 – Privacy --…”
Access online version

Agile Processes in Software Engineering and Extreme Programming - Workshops XP 2021 Workshops, Virtual Event, June 14-18, 2021, Revised Selected Papers /

Table of Contents: “…3rd international workshop on Agile Transformation -- Agile Transformation at Scale: A Tertiary Study -- Institutional Logics in Large-Scale Agile Software Development Transformations -- 9th International Workshop on Large-Scale Agile Development -- Innovation in Large-scale agile - Benefits and Challenges of Hackathons when Hacking from Home -- Impacts of COVID-19 Pandemic for Software Development in Nordic Companies - Agility Helps to Respond -- The EFIS framework for leveraging agile organizations within large enterprises -- Managing Dependencies in Large-Scale Agile -- First International Workshop on Agile Sustainability -- How Collective Intelligence Can Gear Agility with Sustainability -- 4th International Workshop on Software-intensive Businesses -- SaaS Pricing Practices Typology: A Case Study -- Is your Software Ecosystem in Danger? Preventing Ecosystem Death through Lessons in Ecosystem Health -- Genesis of a Wood Harvesting B2B Software Platform -- Towards aTaxonomy of Impact Factors for Digital Platform Pricing -- Assessing the Health of the Dark Web: An Analysis of Dark Web Open Source Software Projects -- Using Guilds to Foster Internal Startups in Large Organizations: A case study -- Employee-Driven Innovation to Fuel Internal Software Startups: Preliminary Findings -- Towards a framework to guide the development of practices for software startups -- 2nd Workshop on Agility with Microservice Programming -- Towards Integrating Blockchains with Microservice Architecture Using Model-Driven Engineering -- A service mesh for collaboration between geo-distributed services: the replication case -- Implementation of a microservice-based certification platform -- Poster presentations -- Multiple Roles of Middle Managers in Agile Project Governance: An Activity Theory Perspective -- Cherry Picking - Agile Software Development Teams Applying Design Thinking Tools -- From Project to Product -- Panels -- The Stories We Tell: Experience, Research, or Patterns? …”
Link to Metadata

Transforming Urban Food Systems in Secondary Cities in Africa

Table of Contents: “…Practice Theory and Informal Urban Livelihoods in M'Bour, Senegal: A Case Study of Urban Cultivation -- 4. …”
Link to Metadata

ePortfolio Performance Support Systems Constructing, Presenting, and Assessing Portfolios

Table of Contents: “…Klein -- Section 2: Constructing the Bridge -- Chapter 4. ePorts: Making the Passage from Academics to Workplace, Barbara J. …”
Access online version

Migration and Identity through Creative Writing StOries: Strangers to Ourselves /

Table of Contents: “…My Journey as a Writer (Owen Guo) -- Part 4. An Ode to our Loved Ones far away, some Messages in a Bottle -- 9. …”
Link to Metadata

Concept and Design Developments in School Improvement Research Longitudinal, Multilevel and Mixed Methods and Their Relevance for Educational Accountability /

Table of Contents: “…Regulation Activities of Teachers in Secondary Schools: Development of a Theoretical Framework and Exploratory Analyses in Four Secondary Schools Based on Time Sampling Data (Katharina Maag Merki, Urs Grob, Beat Rechsteiner, Andrea Wullschleger, Nathanael Schori, & Ariane Rickenbacher) -- Chapter 13. …”
Link to Metadata

Technologies and Applications for Big Data Value

Table of Contents: “…Technologies and Applications for Big Data Value -- Part I: Technologies and Methods -- Trade-Offs and Challenges of Serverless Data Analytics -- Big Data and AI Pipeline Framework: Technology Analysis from a Benchmarking Perspective -- An Elastic Software Architecture for Extreme-Scale Big Data Analytics -- Privacy-Preserving Technologies for Trusted Data Spaces -- Leveraging Data-Driven Infrastructure Management to Facilitate AIOps for Big Data Applications and Operations -- Leveraging High-Performance Computing and Cloud Computing with Unified Big-DataWorkflows: The LEXIS Project -- Part II: Processes and Applications -- The DeepHealth Toolkit: A Key European Free and Open-Source Software for Deep Learning and Computer Vision Ready to Exploit Heterogeneous HPC and Cloud Architectures -- Applying AI to Manage Acute and Chronic Clinical Condition -- 3D Human Big Data Exchange Between the Healthcare and Garment Sectors -- Using a Legal Knowledge Graph for Multilingual Compliance Services in Labor Law, Contract Management, and Geothermal Energy -- Big Data Analytics in the Banking Sector: Guidelines and Lessons Learned from the CaixaBank Case -- Data-Driven Artificial Intelligence and Predictive Analytics for the Maintenance of Industrial Machinery with Hybrid and Cognitive Digital Twins -- Big Data Analytics in the Manufacturing Sector: Guidelines and Lessons Learned Through the Centro Ricerche FIAT (CRF) Case -- Next-Generation Big Data-Driven Factory 4.0 Operations and Optimization: The Boost 4.0 Experience -- Big Data-Driven Industry 4.0 Service Engineering Large-Scale Trials: The Boost 4.0 Experience -- Model-Based Engineering and Semantic Interoperability for Trusted Digital Twins Big Data Connection Across the Product Lifecycle -- A Data SciencePipeline for Big Linked Earth Observation Data -- Towards Cognitive Ports of the Futures -- Distributed Big Data Analytics in a Smart City -- Processing Big Data in Motion: Core Components and System Architectures with Applications to the Maritime Domain -- Knowledge Modeling and Incident Analysis for Special Cargo.…”
Link to Metadata

Process Mining Workshops ICPM 2021 International Workshops, Eindhoven, The Netherlands, October 31 - November 4, 2021, Revised Selected Papers /

Table of Contents: “…An assessment framework and analysis -- Remaining Time Prediction for Processes with Inter-Case Dynamics -- Event Log Sampling for Predictive Monitoring -- Active Anomaly Detection for Key Item Selection in Process Auditing -- Prescriptive Process Monitoring Under Resource Constraints: A Causal Inference Approach -- Quantifying Explainability in Outcome-Oriented Predictive Process Monitoring -- Online Prediction of Aggregated Retailer Consumer Behaviour -- PErrCas: Process Error Cascade Mining in Trace Streams -- Continuous performance evaluation for business process outcome monitoring -- An Event Data Extraction Approach from SAP ERP for Process Mining -- Towards a Natural Language Conversational Interface for Process Mining -- On the Performance Analysis of the Adversarial System Variant Approximation Method to Quantify Process Model Generalization -- Verifying guideline compliance in clinical treatment using multi-perspective conformance checking: a case study -- Patient Discharge Classification based on the Hospital Treatment Process -- Combining the Clinical and Operational Perspectives in Heterogeneous Treatment E ect Inference in Healthcare Processes -- Interactive Process Mining Applied in a Cardiology Outpatient Department -- Discovering care pathways for multi-morbid patients using event graphs -- Process Mining in Trusted Execution Environments: Towards Hardware Guarantees for Trust-aware Inter-organizational Process Analysis -- Quantifying the Re-identification Risk in Published Process Models -- Trustworthy Artificial Intelligence and Process Mining: Challenges and Opportunities.…”
Link to Metadata

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /

Table of Contents: “…Certified Core-Guided MaxSAT Solving -- Superposition with Delayed Unification -- On Incremental Pre-processing for SMT -- Verified Given Clause Procedures -- QSMA: A New Algorithm for Quantified Satisfiability Modulo Theory and Assignment -- Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs -- An Isabelle/HOL Formalization of the SCL(FOL) Calculus -- SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning -- Formal Reasoning about Influence in Natural Sciences Experiments -- A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification) -- SAT-Based Subsumption Resolution -- A more Pragmatic CDCL for IsaSAT and targetting LLVM (Short Paper) -- Proving Non-Termination by Acceleration Driven Clause Learning (Short Paper) -- COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description) -- Choose your Colour: Tree Interpolation for Quantified Formulas in SMT -- Proving Termination of C Programs with Lists -- Reasoning about Regular Properties: A Comparative Study -- Program Synthesis in Saturation -- A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus -- Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs -- Verification of NP-hardness Reduction Functions for Exact Lattice Problems -- Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic -- Left-Linear Completion with AC Axioms -- On P -interpolation in local theory extensions and applications to the study of interpolation in the description logics EL, EL+ -- Theorem Proving in Dependently-Typed Higher-Order Logic -- Towards Fast Nominal Anti-Unification of Letrec-Expressions -- Confluence Criteria for Logically Constrained Rewrite Systems -- Towards a Verified Tableau Prover for a Quantifier-Free Fragment of Set Theory -- An Experimental Pipeline for Automated Reasoning in Natural Language (Short paper) -- Combining Combination Properties: An Analysis of Stable-infiniteness, Convexity, and Politeness -- Decidability of difference logic over the reals with uninterpreted unary predicates -- Incremental Rewriting Modulo SMT -- Iscalc: an Interactive Symbolic Computation Framework (System Description).…”
Link to Metadata

Multidisciplinary Perspectives on Artificial Intelligence and the Law

Table of Contents: “…The law, governance and regulation of Artificial Intelligence -- Introduction to Part III -- 1. Dismantling four myths in AI & EU Law through legal information 'about' reality -- 2. …”
Link to Metadata

Ecosystem-Based Management, Ecosystem Services and Aquatic Biodiversity Theory, Tools and Applications /

Table of Contents: “…Case Studies -- Models and Mapping Tools to Inform Resilience Planning After Disasters: A Case Study of Hurricane Sandy and Long Island Ecosystem Services -- Ecosystem-Based Management to Support Conservation and Restoration Efforts in the Danube Basin -- Combining Methods to Establish Potential Management Measures for Invasive Species Elodea nutallii in Lough Erne Northern Ireland -- Mitigating Negative Unintended Impacts on Biodiversity in the Natura 2000 Vouga Estuary (Ria de Aveiro, Portugal) -- Ecosystem-Based Management for More Effective and Equitable Marine Protected Areas: A Case Study on the Faial-Pico Channel Marine Protected Area, Azores -- Using Stakeholder Engagement, Translational Science and Decision Support Tools for Ecosystem-Based Management in the Florida Everglades -- Remediation to Restoration to Revitalization: Engaging Communities to Support Ecosystem-Based Management and Improve Human Wellbeing at Clean-up Sites -- Predicting Future Vegetated Landscapes Under Climate Change: Application of the Environmental Stratification Methodology to Protected Areas in the Lower Mekong Basin.…”
Link to Metadata

Interlocal Adaptations to Climate Change in East and Southeast Asia Sharing Lessons of Agriculture, Disaster Risk Reduction, and Resource Management /

Table of Contents: “…Analysis on Measures for Preventing the Desertification in Inner Mongolia in China (Yulu Ma) -- Column 9. The Power of Dialogical Tools in in Participatory Learning.…”
Link to Metadata

The Pandemic of Argumentation

Table of Contents: “…Responding to the COVID Conspiracy Theories: Why Narratives Themselves are More Powerful Arguments than Fact-Checking -- Chapter 10. …”
Link to Metadata

The International Handbook of Social Enterprise Law Benefit Corporations and Other Purpose-Driven Companies /

Table of Contents: “…-- Corporate Purpose : How the Board of Directors can Achieve an Inclusive Corporate Governance Regime -- Social Enterprise: Conceptual Debates and Approaches -- Models and Trends of Social Enterprise Regulation in the European Union -- Social enterprises in the social cooperative form -- How social entrepreneurs create systemic change A comparative analysis of for-profit and non- profit models -- PART II: Benefit Corporations and B Corp Certification -- Benefit Corporations: Trends and Perspectives -- Behavioral Perspectiveson B Corps -- B Lab and the process of certificating B Corps -- Introduction to the law of Benefit Corporations and other public purpose-driven companies -- Benefit Corporations and the Common Law Tradition -- Viability of non-recognized benefit corporations -- Real-World Lessons on Stakeholder Capitalism: How B Lab & B Corp movement catalyze change in society -- PART III: Purpose-Driven Companies: An International Overview -- Social Enterprises and Benefit Corporations in Argentina -- The Failed Attempt to Enact Benefit Company Legislation in Australia and the Rise of B Corps -- Social Enterprises and Benefit Corporations in Brazil: Projects for Corporate Qualification and Capital Market Regulation -- The suitability of Belgian Law to B-Corp -- B Corps, Benefit Corporations and socially oriented enterprises in Canada -- Purpose-driven companies and the projected legal system for benefit and collective interest companies in Chile -- Social Enterprises and Benefit Corporations in China -- Social Enterprises and Benefit Corporations in Colombia -- Social Enterprises and B-Corps in Ecuador -- The suitability of French Law to B-Corp -- Social Purposes in German Corporate Law and Benefit Corporations in Germany -- Social Enterprises and Certified B Corporations in Hong Kong: Development, Key Lessons Learnt and Ways Forward -- B-Corps in India: A Sustainable Business Model -- Social Enterprises and Benefit Corporations in Italy -- Corporations with Social Aims in the Japanese Legal System -- The suitability of Luxembourgish Law to B-Corp -- Certified B Corps in Mexico -- Benefit Corporations in the Peruvian legal ecosystem -- Social Enterprises and Benefit Corporations in Portugal -- Finding space for the B-Corporation within the South African legal landscape -- Social Enterprises and Benefit Corporations in South-Korea -- Social Enterprises and Benefit Corporations in Spain -- Social Enterprises and Benefit Corporations in Switzerland -- Social Enterprises in the Netherlands: Towards more institutional diversity? …”
Link to Metadata