Results 131 to 140 of about 185,880 (279)
CSP Research on CSP cost reduction
, 2017 Der Vortrag gibt einen Überblick zu den grundsätzlichen technischen Konzepten zur Kostenreduktion von CSP Kraftwerken. Dabei wird in kurzfristige, mittelfristige und langfristige F&E Aktivitäten unterschieden. Die wesentlichen Ansätze sind die Erhöhung der mittleren Prozesstemperatur, die Verwendung neuer Wärmeträgermaterialien und die Integration von ...
openaire +1 more source
, 2006 CSP, Hoare's Communicating Sequential Processes, is a formal language for specifying, implementing and reasoning about concurrent processes and their interactions. Existing software tools that deal with CSP directly are largely concerned with assisting formal proofs.
openaire
Sustainable Development, EarlyView.ABSTRACT The transition to affordable and clean energy sources is essential for creating a sustainable future. Green hydrogen, as an emerging energy carrier, has the potential to meet increasing energy demands while mitigating environmental impact and achieving SDG 7.
A. Telukdarie, K. Murulane, X. Maphisa
wiley +1 more source
Sustainable Development, EarlyView.ABSTRACT Global municipal solid waste generation is projected to exceed 3.8 billion tonnes annually by 2050. This makes the need for smart, inclusive, and scalable waste valorization systems more urgent than ever. This review critically explores the shift from conventional waste management to intelligent, technology‐driven solutions aligned with ...
Segun E. Ibitoye +8 more
wiley +1 more source
Extending CSP++ framework with timed CSP operators
, 2008 Communicating Sequential Processes (CSP) is a formal process algebra used to specify and reason about concurrent systems. Timed CSP was subsequently created to add the capabilities of delays, timeouts, and interrupts, necessary for specifying systems with time-sensitive properties.
openaire +1 more source
, 2019 This paper presents a technique for automatic generation of tests for robotic systems based on a domain-specific notation called RoboChart. This is a UML-like diagrammatic notation that embeds a component model suitable for robotic systems, and supports the definition of behavioural models using enriched state machines that can feature time properties.
Cavalcanti, A. +3 more
openaire +2 more sources
Sustainable Development, EarlyView.ABSTRACT Air transport is one of the fastest‐growing sources of greenhouse gas emissions, yet it remains one of the most difficult sectors to decarbonize. The sector's climate impact is amplified by two factors: the steady rise in passenger demand and the absence of commercially viable low‐carbon technologies for long‐haul flights.
Jouni K. Juntunen +2 more
wiley +1 more source
Promotion and evacuation on standard Young tableaux of rectangle and staircase shape
, 2010 (Dual-)promotion and (dual-)evacuation are bijections on SYT(\lambda) for any partition \lambda. Let c^r denote the rectangular partition (c,...,c) of height r, and let sc_k (k > 2) denote the staircase partition (k,k-1,...,1). B.
Pon, Steven, Wang, Qiang
core
Strategic Management Journal, EarlyView.Abstract Research Summary This research investigates how firms attempt to preempt activism before it mobilizes into an active threat. Employing a difference‐in‐differences design, we examine the quasi‐exogenous enactments of laws that prevent Strategic Lawsuits Against Public Participation (anti‐SLAPP laws) in the United States.
Zhiyan Wu, Garry Bruton, Ryan Krause
wiley +1 more source