Business design: strategy practice in innovation consulting

Escalating complexity of the business world establishes an organisation’s ability to innovate as its greatest competitive advantage. And as linear, rational approaches have proven insufficient for the goal, executives seek novel, creative ways to develop and realise breakthrough strategies. The concept of design thinking, centring around empathy, invention and learning, becomes instrumental in tackling business challenges and supporting innovation initiatives. By bringing about a hands-on toolkit, design professionals become well-equipped in developing offerings, improving operations and crafting strategies. Over the past decade, the discipline blending strategy with de'sign began to emerge in specialised consultancy. The large design firm, such as IDEO, Fjord and Doblin, launch strategic offering to drive business growth and align organisations. In parallel, design-led approaches thrive in innovation practices at the consulting majors, including BCG, McKinsey and Deloitte. The insider research aims to establish the relevance of business design by linking its practice to a holistic theoretical framework. Defining and describing the core approach of the discipline provides insights for both professionals and scholars at the intersection of design and strategic management

Understanding and evolving the Rust programming language

Rust is a young systems programming language that aims to fill the gap between high-level languages—which provide strong static guarantees like memory and thread safety—and low-level languages—which give the programmer fine-grained control over data layout and memory management. This dissertation presents two projects establishing the first formal foundations for Rust, enabling us to better understand and evolve this important language: RustBelt and Stacked Borrows. RustBelt is a formal model of Rust’s type system, together with a soundness proof establishing memory and thread safety. The model is designed to verify the safety of a number of intricate APIs from the Rust standard library, despite the fact that the implementations of these APIs use unsafe language features. Stacked Borrows is a proposed extension of the Rust specification, which enables the compiler to use the strong aliasing information in Rust’s types to better analyze and optimize the code it is compiling. The adequacy of this specification is evaluated not only formally, but also by running real Rust code in an instrumented version of Rust’s Miri interpreter that implements the Stacked Borrows semantics. RustBelt is built on top of Iris, a language-agnostic framework, implemented in the Coq proof assistant, for building higher-order concurrent separation logics. This dissertation begins by giving an introduction to Iris, and explaining how Iris enables the derivation of complex high-level reasoning principles from a few simple ingredients. In RustBelt, this technique is exploited crucially to introduce the lifetime logic, which provides a novel separation-logic account of borrowing, a key distinguishing feature of the Rust type system.Rust ist eine junge systemnahe Programmiersprache, die es sich zum Ziel gesetzt hat, die Lücke zu schließen zwischen Sprachen mit hohem Abstraktionsniveau, die vor Speicher- und Nebenläufigkeitsfehlern schützen, und Sprachen mit niedrigem Abstraktionsniveau, welche dem Programmierer detaillierte Kontrolle über die Repräsentation von Daten und die Verwaltung des Speichers ermöglichen. Diese Dissertation stellt zwei Projekte vor, welche die ersten formalen Grundlagen für Rust zum Zwecke des besseren Verständnisses und der weiteren Entwicklung dieser wichtigen Sprache legen: RustBelt und Stacked Borrows. RustBelt ist ein formales Modell des Typsystems von Rust einschließlich eines Korrektheitsbeweises, welcher die Sicherheit von Speicherzugriffen und Nebenläufigkeit zeigt. Das Modell ist darauf ausgerichtet, einige komplexe Komponenten der Standardbibliothek von Rust zu verifizieren, obwohl die Implementierung dieser Komponenten unsichere Sprachkonstrukte verwendet. Stacked Borrows ist eine Erweiterung der Spezifikation von Rust, die es dem Compiler ermöglicht, den Quelltext mit Hilfe der im Typsystem kodierten Alias-Informationen besser zu analysieren und zu optimieren. Die Tauglichkeit dieser Spezifikation wird nicht nur formal belegt, sondern auch an echten Programmen getestet, und zwar mit Hilfe einer um Stacked Borrows erweiterten Version des Interpreters Miri. RustBelt basiert auf Iris, welches die Konstruktion von Separationslogiken für beliebige Programmiersprachen im Beweisassistenten Coq ermöglicht. Diese Dissertation beginnt mit einer Einführung in Iris und erklärt, wie komplexe Beweismethoden mit Hilfe weniger einfacher Bausteine hergeleitet werden können. In RustBelt wird diese Technik für die Umsetzung der „Lebenszeitlogik“ verwendet, einer Erweiterung der Separationslogik mit dem Konzept von „Leihgaben“ (borrows), welche eine wichtige Rolle im Typsystem von Rust spielen.This research was supported in part by a European Research Council (ERC) Consolidator Grant for the project "RustBelt", funded under the European Union’s Horizon 2020 Framework Programme (grant agreement no. 683289)

Stochastic Optimization Approaches for Outpatient Appointment Scheduling under Uncertainty

Outpatient clinics (OPCs) are quickly growing as a central component of the healthcare system. OPCs offer a variety of medical services, with benefits such as avoiding inpatient hospitalization, improving patient safety, and reducing costs of care. However, they also introduce new challenges for appointment planning and scheduling, primarily due to the heterogeneity and variability in patient characteristics, multiple competing performance criteria, and the need to deliver care within a tight time window. Ignoring uncertainty, especially when designing appointment schedules, may have adverse outcomes such as patient delays and clinic overtime. Conversely, accounting for uncertainty when scheduling has the potential to create more efficient schedules that mitigate these adverse outcomes. However, many challenges arise when attempting to account for uncertainty in appointment scheduling problems. In this dissertation, we propose new stochastic optimization models and approaches to address some of these challenges. Specifically, we study three stochastic outpatient scheduling problems with broader applications within and outside of healthcare and propose models and methods for solving them. We first consider the problem of sequencing a set of outpatient procedures for a single provider (where each procedure has a known type and a random duration that follows a known probability distribution), minimizing a weighted sum of waiting, idle time, and overtime. We elaborate on the challenges of solving this complex stochastic, combinatorial, and multi-criteria optimization problem and propose a new stochastic mixed-integer programming model that overcomes these challenges in contrast to the existing models in the literature. In doing so, we show the art of, and the practical need for, good mathematical formulations in solving real-world scheduling problems. Second, we study a stochastic adaptive outpatient scheduling problem which incorporates the patients’ random arrival and service times. Finding a provably-optimal solution to this problem requires solving a MSMIP, which in turn must optimize a scheduling problem over each random arrival and service time for each stage. Given that this MSMIP is intractable, we present two approximation based on two-stage stochastic mixed-integer models and a Monte Carlo Optimization approach. In a series of numerical experiments, we demonstrate the near-optimality of the appointment order (AO) rescheduling policy, which requires that patients are served in the order of their scheduled appointments, in many parameter settings. We also identify parameter settings under which the AO policy is suboptimal. Accordingly, we propose an alternative swap-based policy that improves the solution of such instances. Finally, we consider the outpatient colonoscopy scheduling problem, recognizing the impact of pre-procedure bowel preparation (prep) quality on the variability of colonoscopy duration. Data from a large OPC indicates that colonoscopy durations are bimodal, i.e., depending on the prep quality they can follow two different probability distributions, one for those with adequate prep and the other for those with inadequate prep. We define a distributionally robust outpatient colonoscopy scheduling (DRCOS) problem that seeks optimal appointment sequence and schedule to minimize the worst-case weighted expected sum of patient waiting, provider idling, and provider overtime, where the worst-case is taken over an ambiguity set characterized through the known mean and support of the prep quality and durations. We derive an equivalent mixed-integer linear programming formulation to solve DRCOS. Finally, we present a case study based on extensive numerical experiments in which we draw several managerial insights into colonoscopy scheduling.PHDIndustrial & Operations EngineeringUniversity of Michigan, Horace H. Rackham School of Graduate Studieshttps://deepblue.lib.umich.edu/bitstream/2027.42/151727/1/ksheha_1.pdfDescription of ksheha_1.pdf : Restricted to UM users only

De-Sign Environment Landscape City Atti

La VI Conferenza Internazionale sul Disegno, De_Sign Environment Landscape City_Genova 2020 tratta di: Rilievo e Rappresentazione dell’Architettura e dell’Ambiente; Il Disegno per il paesaggio; Disegni per il Progetto: tracce - visioni e pre-visioni; I margini i segni della memoria e la città in progress; Cultura visiva e comunicazione dall’idea al progetto; Le emergenze architettoniche; Il colore e l’ambiente; Percezione e identità territoriale; Patrimonio iconografico culturale paesaggistico: arte, letteratura e ricadute progettuali; Segni e Disegni per il Design e Rappresentazione avanzata. Federico Babina, architetto e graphic designer presenta ARCHIVISION, e Eduardo Carazo Lefort, Docente dell’Università di Valladolid e Targa d’Oro dell’Unione Italiana Disegno la Lectio Magistralis. The VI International Conference on Drawing, De_Sign Environment Landscape City_Genoa 2020, deals with: Survey and Representation of Architecture and the Environment; Drawing for the landscape; De-signs for the Project: traces-visions and previews; Margins, signs of memory and the city in progress; Visual culture and communication from idea to project; Architectural emergencies; The color and the environment; Perception and territorial identity; Landscape cultural iconographic heritage: art, literature and design implications; Signs and Drawings for Design and Advanced Representation. Federico Babina, architect and graphic designer presents ARCHIVISION, and Professor Eduardo Carazo Lefort-University of Valladolid and Gold Plate of the Italian Design Union presents his Lectio Magistralis

The Fifteenth Marcel Grossmann Meeting

The three volumes of the proceedings of MG15 give a broad view of all aspects of gravitational physics and astrophysics, from mathematical issues to recent observations and experiments. The scientific program of the meeting included 40 morning plenary talks over 6 days, 5 evening popular talks and nearly 100 parallel sessions on 71 topics spread over 4 afternoons. These proceedings are a representative sample of the very many oral and poster presentations made at the meeting.Part A contains plenary and review articles and the contributions from some parallel sessions, while Parts B and C consist of those from the remaining parallel sessions. The contents range from the mathematical foundations of classical and quantum gravitational theories including recent developments in string theory, to precision tests of general relativity including progress towards the detection of gravitational waves, and from supernova cosmology to relativistic astrophysics, including topics such as gamma ray bursts, black hole physics both in our galaxy and in active galactic nuclei in other galaxies, and neutron star, pulsar and white dwarf astrophysics. Parallel sessions touch on dark matter, neutrinos, X-ray sources, astrophysical black holes, neutron stars, white dwarfs, binary systems, radiative transfer, accretion disks, quasars, gamma ray bursts, supernovas, alternative gravitational theories, perturbations of collapsed objects, analog models, black hole thermodynamics, numerical relativity, gravitational lensing, large scale structure, observational cosmology, early universe models and cosmic microwave background anisotropies, inhomogeneous cosmology, inflation, global structure, singularities, chaos, Einstein-Maxwell systems, wormholes, exact solutions of Einstein's equations, gravitational waves, gravitational wave detectors and data analysis, precision gravitational measurements, quantum gravity and loop quantum gravity, quantum cosmology, strings and branes, self-gravitating systems, gamma ray astronomy, cosmic rays and the history of general relativity

The Fifteenth Marcel Grossmann Meeting

The three volumes of the proceedings of MG15 give a broad view of all aspects of gravitational physics and astrophysics, from mathematical issues to recent observations and experiments. The scientific program of the meeting included 40 morning plenary talks over 6 days, 5 evening popular talks and nearly 100 parallel sessions on 71 topics spread over 4 afternoons. These proceedings are a representative sample of the very many oral and poster presentations made at the meeting.Part A contains plenary and review articles and the contributions from some parallel sessions, while Parts B and C consist of those from the remaining parallel sessions. The contents range from the mathematical foundations of classical and quantum gravitational theories including recent developments in string theory, to precision tests of general relativity including progress towards the detection of gravitational waves, and from supernova cosmology to relativistic astrophysics, including topics such as gamma ray bursts, black hole physics both in our galaxy and in active galactic nuclei in other galaxies, and neutron star, pulsar and white dwarf astrophysics. Parallel sessions touch on dark matter, neutrinos, X-ray sources, astrophysical black holes, neutron stars, white dwarfs, binary systems, radiative transfer, accretion disks, quasars, gamma ray bursts, supernovas, alternative gravitational theories, perturbations of collapsed objects, analog models, black hole thermodynamics, numerical relativity, gravitational lensing, large scale structure, observational cosmology, early universe models and cosmic microwave background anisotropies, inhomogeneous cosmology, inflation, global structure, singularities, chaos, Einstein-Maxwell systems, wormholes, exact solutions of Einstein's equations, gravitational waves, gravitational wave detectors and data analysis, precision gravitational measurements, quantum gravity and loop quantum gravity, quantum cosmology, strings and branes, self-gravitating systems, gamma ray astronomy, cosmic rays and the history of general relativity

Models and Modelling between Digital and Humanities: A Multidisciplinary Perspective

This Supplement of Historical Social Research stems from the contributions on the topic of modelling presented at the workshop “Thinking in Practice”, held at Wahn Manor House in Cologne on January 19-20, 2017. With Digital Humanities as starting point, practical examples of model building from different disciplines are considered, with the aim of contributing to the dialogue on modelling from several perspectives. Combined with theoretical considerations, this collection illustrates how the process of modelling is one of coming to know, in which the purpose of each modelling activity and the form in which models are expressed has to be taken into consideration in tandem. The modelling processes presented in this volume belong to specific traditions of scholarly and practical thinking as well as to specific contexts of production and use of models. The claim that supported the project workshop was indeed that establishing connections between different traditions of and approaches toward modelling is vital, whether these connections are complementary or intersectional. The workshop proceedings address an underpinning goal of the research project itself, namely that of examining the nature of the epistemological questions in the different traditions and how they relate to the nature of the modelled objects and the models being created. This collection is an attempt to move beyond simple representational views on modelling in order to understand modelling processes as scholarly and cultural phenomena as such

Quantum Cosmology

Within the second half of the last century, quantum cosmology concretely became one of the main research lines within gravitational theory and cosmology. Substantial progress has been made. Furthermore, quantum cosmology can become a domain that will gradually develop further over the next handful of decades, perhaps assisted by technological developments. Indications for new physics (i.e., beyond the standard model of particle physics or general relativity) could emerge and then the observable universe would surely be seen from quite a new perspective. This motivates bringing quantum cosmology to more research groups and individuals.This Special Issue (SI) aims to provide a wide set of reviews, ranging from foundational issues to (very) recent advancing discussions. Concretely, we want to inspire new work proposing observational tests, providing an aggregated set of contributions, covering several lines, some of which are thoroughly explored, some allowing progress, and others much unexplored. The aim of this SI is motivate new researchers to employ and further develop quantum cosmology over the forthcoming decades. Textbooks and reviews exist on the present subject, and this SI will complementarily assist in offering open access to a set of wide-ranging reviews. Hopefully, this will assist new interested researchers, in having a single open access online volume, with reviews that can help. In particular, this will help in selecting what to explore, what to read in more detail, where to proceed, and what to investigate further within quantum cosmology