121
Kaapa, Pietari
2018
Table of Contents:
“...The material implications of media -- The network -- Media policy in actor networks -- Material rhetoric -- The sustainability rhetoric of film and television organizations -- Regulatory infrastructure -- The media in the Nordic countries : broadcasting...”2018
Full text
122
Aved, Alex J.
2018
Table of Contents:
“... Detection and Isolation of Control Systems -- 18 Approximate Local Utility Design for Potential Game Approach to Cooperative Sensor Network Planning -- 19 Dynamic Sensor-Actor Interactions for Path-Planning in a Threat Field -- 20 Energy-Aware Dynamic Data-Driven...”2018
Full text
123
Table of Contents:
“... -- Anatomy of an international norm entrepreneur: the friends of fossil fuel subsidy reform / Vernon Rive -- The global subsidies initiative: catalytic actors and the politics of fossil fuel subsidy reform / Nathan Lemphers, Steven Bernstein and Matthew Hoffmann...”
Full text
Full text
124
Mazzara, Manuel
2016
Table of Contents:
“... in Polynomial Time -- Dynamics Security Policies and Process Opacity for Timed Process Algebras -- Estimating Development E_ort for Software Architectural Tactics -- Clone Detection in Reuse of Software Technical Documentation -- Modeling Actor Systems Using Dynamic...”2016
Full text
126
Masys, Anthony J
2016
Table of Contents:
“... Safety and Disaster Forensics: understanding complex causality through Actor Network ethnography -- The Fog of Battle in risk and crisis communication: Towards the goal of interoperability in the digital age -- Disaster Forensics: Governance, Adaptivity...”2016
Full text
127
Carman, Emily
2016
Subject (ZB):
“...Motion picture actors and actresses California Los Angeles History....”2016
Full text
128
Barrett, Ross
2016
Table of Contents:
“...The Whats and Wherefores of Physics -- Dramatis Personae (The Actors) -- Is Physics an Exact Science? -- Newton and Beyond -- Statistical Mechanics and Thermodynamics -- Electromagnetism and Cracks in the Edifice of Classical Physics -- Relativity...”2016
Full text
129
130
131
Bonsangue, Marcello
2016
Table of Contents:
“... by Probabilistic Testing -- On Time Actors -- A Small-Step Semantics of a Concurrent Calculus with Goroutines and Deferred Functions -- Quicksort Revisited - Verifying Alternative Versions of Quicksort....”2016
Full text
132
Thiemann, Peter
2016
Table of Contents:
“... Diagnosis for Embedded DSLs by Two-Stage Specialized Type Rules -- Actor Services: Modular Verification of Message Passing Programs -- Transfinite Step-indexing: Decoupling Concrete and Logical Steps -- A Higher-Order Abstract Syntax Approach to Verified...”2016
Full text
133
Huisman, Marieke
2016
Table of Contents:
“... -- On Implementing a Monitor-Oriented Programming Framework for Actor Systems -- Towards a Thread-Local Proof Technique for Starvation Freedom -- Reasoning about Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems -- A Formal Model of the Safety...”2016
Full text
134
Jelasity, Márk
2016
Table of Contents:
“...Enhanced Energy Efficiency with the Actor Model on Heterogeneous Architectures -- Evaluating the Cost and Robustness of Self-organizing Distributed Hash Tables -- Mignon: A Fast Decentralized Content Consumption Estimation in Large-Scale Distributed...”2016
Full text
135
Bošnački, Dragan
2016
Table of Contents:
“... Synthesis for Timed-Arc Petri Net Games via Discretization -- Finite-Horizon Bisimulation Minimisation for Probabilistic Systems -- Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking -- smid: A Black-Box...”2016
Full text
136
Cardoso, João M.P.
2016
Table of Contents:
“... in Canny Edge Detector -- Analysis and Exploitation of CTU-Level Parallelism in the HEVC Mode Decision Process Using Actor-based Modeling -- Low-Cost Hardware Infrastructure for Runtime Thread Level Energy Accounting -- Allocation: From Memories to FPGA Hardware...”2016
Full text
137
138
Dimov, Ivan.
2015
Table of Contents:
“...-Adaptation in Spatially-Structured Multimemetic Algorithms -- An Ant Algorithm for the Partition Graph Coloring Problem -- Multi-exchange Neighborhoods for the Capacitated Ring Tree Problem -- Hebbian Versus Gradient Training of ESN Actors in Closed-Loop ACD...”2015
Full text
139
140
Table of Contents:
“...Foreword -- Acronyms and abbreviations -- Executive summary -- Assessment and recommendations -- Job displacement in Sweden and its consequences -- Key actors and institutions involved in managing displacement in Sweden -- Anticipating and responding...”
Full text
Full text