The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games

We study multiplayer quantitative reachability games played on a finite directed graph, where the objective of each player is to reach his target set of vertices as quickly as possible. Instead of the well-known notion of Nash equilibrium (NE), we focus on the notion of subgame perfect equilibrium (SPE), a refinement of NE well-suited in the framework of games played on graphs. It is known that there always exists an SPE in quantitative reachability games and that the constrained existence problem is decidable. We here prove that this problem is PSPACE-complete. To obtain this result, we propose a new algorithm that iteratively builds a set of constraints characterizing the set of SPE outcomes in quantitative reachability games. This set of constraints is obtained by iterating an operator that reinforces the constraints up to obtaining a fixpoint. With this fixpoint, the set of SPE outcomes can be represented by a finite graph of size at most exponential. A careful inspection of the computation allows us to establish PSPACE membership

Subcritical crack growth in freestanding silicon nitride and silicon dioxide thin films using residual stress-induced crack on-chip testing technique

Thin film materials are ubiquitous in a large number of applications like flexible electronics, microelectromechanical / nanoelectromechanical systems (MEMS/NEMS) and functional coatings. In the present work, a new mechanical testing method on a chip is developed to characterize the fracture behavior of freestanding thin films. This on-chip technique is based on the residual stress inside what is called here actuator material. Two beams are fabricated with the actuator film and attached to a specimen, incorporating a notch induced by lithography. The residual stress upon release by chemical etching leads to the actuator contraction, hence pulling on the central notched specimen. A crack is initiated at the notch tip, propagates and finally stops when the energy release rate has decreased down to its critical value. This crack arrest measurement avoids the problem of introducing a sufficiently sharp precrack. Besides, using a freestanding film leads to extract the real intrinsic fracture resistance of the film without any substrate effect. By tracking the crack length growth over different time intervals as well as environments using this crack on-chip testing method, the subcritical crack growth mechanisms can be investigated without monopolizing any test equipment. Thin film materials that are showing time-dependent failure are used in numerous devices that its reliability is determined by the understanding of the mechanisms causing the subcritical crack growth. Low-pressure chemical vapor deposition (LPCVD) silicon nitride (SiN) and silicon dioxide (SiO2) films deposited by electron beam-evaporation technique are studied with a variety of thicknesses. The specimens are tested in laboratory air and dry nitrogen environments under various temperature conditions. The stress intensity factor (K) and the crack velocity (v); K-v curve in different environments is determined based on both experimental data and finite element simulation results (FE), following classical exponential law

The Ursinus Weekly, December 4, 1975

Soloists named for Messiah • Party hangover • Ec Club hears oil co. view of energy crisis • Guidelines approved for records access • Faculty grievances presented to adm. • U.S.G.A.: Risen from the dead? • Editorial: Malcontents or outdated policy? • Letters to the editor: On student rights • Super game, super seasonhttps://digitalcommons.ursinus.edu/weekly/1048/thumbnail.jp

Timed Parity Games: Complexity and Robustness

We consider two-player games played in real time on game structures with clocks where the objectives of players are described using parity conditions. The games are \emph{concurrent} in that at each turn, both players independently propose a time delay and an action, and the action with the shorter delay is chosen. To prevent a player from winning by blocking time, we restrict each player to play strategies that ensure that the player cannot be responsible for causing a zeno run. First, we present an efficient reduction of these games to \emph{turn-based} (i.e., not concurrent) \emph{finite-state} (i.e., untimed) parity games. Our reduction improves the best known complexity for solving timed parity games. Moreover, the rich class of algorithms for classical parity games can now be applied to timed parity games. The states of the resulting game are based on clock regions of the original game, and the state space of the finite game is linear in the size of the region graph. Second, we consider two restricted classes of strategies for the player that represents the controller in a real-time synthesis problem, namely, \emph{limit-robust} and \emph{bounded-robust} winning strategies. Using a limit-robust winning strategy, the controller cannot choose an exact real-valued time delay but must allow for some nonzero jitter in each of its actions. If there is a given lower bound on the jitter, then the strategy is bounded-robust winning. We show that exact strategies are more powerful than limit-robust strategies, which are more powerful than bounded-robust winning strategies for any bound. For both kinds of robust strategies, we present efficient reductions to standard timed automaton games. These reductions provide algorithms for the synthesis of robust real-time controllers

A Broadband CPW-to-Microstrip Modes Coupling Technique

A broadband vertical transition from coplanar waveguide (CPW)-to-microstrip modes is presented. The transition has a double resonance and can be tuned for very wide-band operation. The CPW-to-microstrip modes coupling technique is useful for the vertical integration of multi-layer millimeter-wave circuits, packaging and antenna feeding networks. A vertical transition has been fabricated on 100 μm silicon substrate for operation at W-band frequencies and shows less than 0.3 dB of insertion loss and better than 12 dB of return loss from 75 to 110 GHz. A 94 GHz CPW-fed microstrip antenna showing a 10-dB bandwidth of about 30 % has been built using the same transition technique.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/44555/1/10762_2004_Article_453163.pd

Towards an\u2028 EU research and innovation policy agenda for nature-based solutions & re-naturing cities. Final report of the Horizon 2020 expert group on nature-based solutions and re-naturing cities.

1. Nature-based solutions harness the power and sophistication of nature to turn environmental, social and economic challenges into innovation opportunities. They can address a variety of societal challenges in sustainable ways, with the potential to contribute to green growth, 'future-proofing' society, fostering citizen well-being, providing business opportunities and positioning Europe as a leader in world markets. \u2028 2. Nature-based solutions are actions which are inspired by, supported by or copied from nature. They have tremendous potential to be energy and resource-efficient and resilient to change, but to be successful they must be adapted to local conditions. \u2028 3. Many nature-based solutions result in multiple co-benefits for health, the economy, society and the environment, and thus they can represent more efficient and cost-effective solutions than more traditional approaches. \u2028 4. An EU Research & Innovation (R&I) agenda on nature-based solutions will enable Europe to become a world leader both in R&I and in the growing market for nature-based solutions. For this, the evidence base for the effectiveness of nature-based solutions needs to be developed and then used to implement solutions. Both need to be done in conjunction with stakeholders. The potential for transferability and upscaling of solutions also requires further investigation. There is also a need to develop a systemic approach that combines technical, business, finance, governance, regulatory and social innovation. \u2028 5. Four principal goals have been identified that can be addressed by nature-based solutions: �� Enhancing sustainable urbanisation through nature-based solutions can stimulate economic growth as well as improving the environment, making cities more attractive, and enhancing human well-being. \u2028 �� Restoring degraded ecosystems using nature-based solutions can improve the resilience of ecosystems, enabling them to deliver vital ecosystem services and also to meet other societal challenges. \u2028 �� Developing climate change adaptation and mitigation using nature-based solutions can provide more resilient responses and enhance the storage of carbon. \u2028 �� Improving risk management and resilience using nature-based solutions can lead to greater benefits than conventional methods and offer synergies in reducing multiple risks. \u2028 6. Based on the four goals, seven nature-based solutions for R&I actions are recommended to be taken forward by the European Commission and Member States: �� Urban regeneration through nature-based solutions \u2028 �� Nature-based solutions for improving well-being in urban areas \u2028 �� Establishing nature-based solutions for coastal resilience \u2028 �� Multi-functional nature-based watershed management and ecosystem restoration \u2028 �� Nature-based solutions for increasing the sustainability of the use of matter and energy \u2028 �� Nature-based solutions for enhancing the insurance value of ecosystems \u2028 �� Increasing carbon sequestration through nature-based solutions \u2028This report was produced by the Horizon 2020 Expert Group on 'Nature-Based Solutions and Re- Naturing Cities', informed by the findings of an e-consultation and a stakeholder workshop. \u202