cometadata/datacite-rtg-text-other-reclassification-records huggingface dataset:
Simulating Strong Practical Proof Systems with Extended Resolution
Creators: name: Kiesl, Benjamin
name: Rebola-Pardo, Adrián
name: Heule, Marijn J. H.
name: Biere, Armin
Publisher: name: CISPA
Year: 2023

description: Proof systems for propositional logic provide the basis for decision procedures that determine the satisfiability status of logical formulas. While the well-known proof system of extended resolution—introduced by Tseitin in the sixties—allows for the compact representation of proofs, modern SAT solvers (i.e., tools for deciding propositional logic) are based on different proof systems that capture practical solving techniques in an elegant way. The most popular of these proof systems is likely DRAT, which is considered the de-facto standard in SAT solving. Moreover, just recently, the proof system DPR has been proposed as a generalization of DRAT that allows for short proofs without the need of new variables. Since every extended-resolution proof can be regarded as a DRAT proof and since every DRAT proof is also a DPR proof, it was clear that both DRAT and DPR generalize extended resolution. In this paper, we show that — from the viewpoint of proof complexity — these two systems are no stronger than extended resolution. We do so by showing that (1) extended resolution polynomially simulates DRAT and (2) DRAT polynomially simulates DPR. We implemented our simulations as proof-transformation tools and evaluated them to observe their behavior in practice. Finally, as a side note, we show how Kullmann’s proof system based on blocked clauses (another generalization of extended resolution) is related to the other systems.
Real-time interactive retinal vessel segmentation and analysis
Creators: name: Dickie, Ryan
Publisher: name: University of British Columbia
Year: 2011

description: Vessel analysis is important for a wide range of clinical diagnoses and disease research such as diabetes and malignant brain tumours. Vessel segmentation is a crucial first step in such analysis but is often complicated by structural diversity and pathology. Existing automated techniques have mixed results and difficulties with non-idealities such as imaging artifacts, tiny vessel structures, and regions with bifurcations. Live-Vessel is a novel and intuitive semi-automatic vessel segmentation technique that extends the classic Live-Wire technique from user-guided contours to user guided paths along vessel centre-lines with automated boundary detection. Live-Vessel achieves this by globally optimizing vessel filter responses over both spatial (x,y) and non-spatial (radius) variables simultaneously. In this thesis I provide three main contributions. First, I bring Live-Vessel into the domain of real-time interactivity. Second, I enhance the objective function for improved contrast and graph search performance by incorporating colour image information, adding penalty terms, utilizing a smaller data type, and increasing the contrast between desirable and undesirable paths. Third, I gather and retain vessel connectivity information and provide post-segmentation analysis tools. I validated this technique using real medical data from the DRIVE, STARE, and REVIEW retina vessel databases. Quantitative results show that, on average, Live-Vessel resulted in an 7.28 times reduction in overall manual segmentation task time at a 95% accuracy level with most radial and medial errors being under 1 pixel in distance.
Resiliency of Power System for Sustainability
Creators: Paras Mandal
Tapan Saha
Hung Nguyen
Ajoy Das
Subir Majumder
Ashok Rajput
Anurag Srivastava
Samir Saxena
Sushil Soonee
Surata Mukhopad
Publisher: name: IEEE
Year: 2024

This panel session is meant for reporting about Emerging Technologies for Decarbonization. This necessarily concerns integration of Distributed Energy Resources (DER), Electric Vehicles (EV), Battery Energy Storage Systems (BESS) into the hitherto power system with conventional generation, transmission & distribution, and age-old categories of load-end consumers. Advancement in transmission as a medium to handle wide variation in power and energy is also another pertinent aspect to be discussed in this context.
This panel session is meant for reporting about Emerging Technologies for Decarbonization. This necessarily concerns integration of Distributed Energy Resources (DER), Electric Vehicles (EV), Battery Energy Storage Systems (BESS) into the hitherto power system with conventional generation, transmission & distribution, and age-old categories of load-end consumers. Advancement in transmission as a medium to handle wide variation in power and energy is also another pertinent aspect to be discussed in this context.
Decarbonization strategies: market design and computational tools
Creators: Rodrigo Palma-Behnke
David Elizondo
Guillermo Jimenez-Estevez
Ricardo Perez
Juan Carlos Araneda
Gerardo Blanco
Publisher: name: IEEE
Year: 2024

Worldwide decarbonization strategies are in place. Nevertheless, the effectiveness of a specific strategy highly depends on the local contexts like the renewable energy potential, customer load profiles, transmission system development, electrification level, among others. In this context, market design (i.e. energy/capacity, ancillary services, auctions, resilience, market monitoring) and associated computational tools (i.e. operation, expansion planning, auction mechanisms)  are playing a key role as enablers of specific decarbonization strategies in Latin America, Europe, and Australia, rich regions in terms of natural resources. This panel session will describe the latest developments from industry, public sector, and academia in these fields for different countries, focusing on Latin America and extrapolating to other regions.
Worldwide decarbonization strategies are in place. Nevertheless, the effectiveness of a specific strategy highly depends on the local contexts like the renewable energy potential, customer load profiles, transmission system development, electrification level, among others. In this context, market design (i.e. energy/capacity, ancillary services, auctions, resilience, market monitoring) and associated computational tools (i.e. operation, expansion planning, auction mechanisms)  are playing a key role as enablers of specific decarbonization strategies in Latin America, Europe, and Australia, rich regions in terms of natural resources. This panel session will describe the latest developments from industry, public sector, and academia in these fields for different countries, focusing on Latin America and extrapolating to other regions.
Reinvention in the Power Sector in the Changing Scenario
Creators: Sushil Soonee
Abhijit Abhyankar
Xin Zhong
Amit Jain
Adil Chawdhury
Tariqul Hoque
Samir Saxena
Subrata Mukhopadhyay
Publisher: name: IEEE
Year: 2024

This panel session is for reporting about Asian and Australasian Experience on New-age System Operation on account of associated novel approaches & emerging technologies, communications & cyber security to support it. In fact, there is gradual shift in different facets of handling electric power and energy, right from generation to utilization. Various aspects of Distributed Energy Resources (DER)-based generation and its integration with the existing system for consumption and then increasing usage of Electric Vehicles (EV) as well as deployment of Grid-Scale Battery Energy Storage Systems (BESS) are expected to be discussed in the context of system operation.
This panel session is for reporting about Asian and Australasian Experience on New-age System Operation on account of associated novel approaches & emerging technologies, communications & cyber security to support it. In fact, there is gradual shift in different facets of handling electric power and energy, right from generation to utilization. Various aspects of Distributed Energy Resources (DER)-based generation and its integration with the existing system for consumption and then increasing usage of Electric Vehicles (EV) as well as deployment of Grid-Scale Battery Energy Storage Systems (BESS) are expected to be discussed in the context of system operation.
A symbolic algorithm for lazy synthesis of eager strategies
Creators: name: Jacobs, Swen
name: Sakr, Mouhammad
Publisher: name: CISPA
Year: 2023

description: We present an algorithm for solving two-player safety games that combines a mixed forward/backward search strategy with a symbolic representation of the state space. By combining forward and backward exploration, our algorithm can synthesize strategies that are eager in the sense that they try to prevent progress towards the error states as soon as possible, whereas standard backwards algorithms often produce permissive solutions that only react when absolutely necessary. We provide experimental results for two classes of crafted benchmarks, the benchmark set of the Reactive Synthesis Competition (SYNTCOMP) 2017, as well as a set of randomly generated benchmarks. The results show that our algorithm in many cases produces more eager strategies than a standard backwards algorithm, and solves a number of benchmarks that are intractable for existing tools. Finally, we observe a connection between our algorithm and a recently proposed algorithm for the synthesis of controllers that are robust against disturbances, pointing to possible future applications.
High Renewable Energy Penetrations within Isolated and Remote Area Power Systems
Creators: Richard Rocheleau
Nikos Hatziargyriou
Matthew Richwine
Bill Becker
Vahan Gevorgian
Chris McConnell
Publisher: name: IEEE
Year: 2024

Isolated and Remote Area Power Systems utilizing renewable energy technologies to satisfy the majority (>50%) of their annual energy consumption are evaluated within this panel session. Isolated power systems face significant challenges under high renewable energy penetrations given the lack of system size and inertia. Papers presenting solutions to optimize system cost and performance, possibly involving renewable energy technologies, ancillary technologies or control and application methodologies are requested.
Isolated and Remote Area Power Systems utilizing renewable energy technologies to satisfy the majority (>50%) of their annual energy consumption are evaluated within this panel session. Isolated power systems face significant challenges under high renewable energy penetrations given the lack of system size and inertia. Papers presenting solutions to optimize system cost and performance, possibly involving renewable energy technologies, ancillary technologies or control and application methodologies are requested.
EMT Simulations: Solvers & Applications
Creators: Suman Debnath
Jean Mahseredjian
Jean-Nicolas  Paquin
Garth Irwin
Alireza Ghassem
Publisher: name: IEEE
Year: 2024

It becomes important to understand the solver requirements in electromagnetic transient (EMT) simulations as larger system with more fidelity of individual component models are analyzed in EMT. In this session, the focus will be on different numerical simulation methods and parallelism techniques that have been applied to enhance the speed of EMT simulation of high-fidelity component models and large system analyzed in EMT. There will be applications where these algorithms have been applied that will be showcased. The topics that will be covered in the session include numerical methods and parallelism techniques applied to power electronics and power system with large number of power electronics, scalable EMT simulation methods in offline and real-time, practical applications of these techniques, among others.
It becomes important to understand the solver requirements in electromagnetic transient (EMT) simulations as larger system with more fidelity of individual component models are analyzed in EMT. In this session, the focus will be on different numerical simulation methods and parallelism techniques that have been applied to enhance the speed of EMT simulation of high-fidelity component models and large system analyzed in EMT. There will be applications where these algorithms have been applied that will be showcased. The topics that will be covered in the session include numerical methods and parallelism techniques applied to power electronics and power system with large number of power electronics, scalable EMT simulation methods in offline and real-time, practical applications of these techniques, among others.
Formation of Ultracold Fermionic NaLi Feshbach Molecules
Creators: name: Heo, Myoung-Sun
name: Wang, Tout T.
name: Christensen, Caleb A.
name: Rvachov, Timur M.
name: Cotta, Dylan A.
name: Choi, Jae-Hoon
name: Lee, Ye-Ryoung
name: Ketterle, Wolfgang
Publisher: name: arXiv
Year: 2012
Subjects: subject: Quantum Gases (cond-mat.quant-gas)
subject: Atomic Physics (physics.atom-ph)
subject: FOS: Physical sciences

description: We describe the formation of fermionic NaLi Feshbach molecules from an ultracold mixture of bosonic 23Na and fermionic 6Li. Precise magnetic field sweeps across a narrow Feshbach resonance at 745 G result in a molecule conversion fraction of 5% for our experimental densities and temperatures, corresponding to a molecule number of 5*10^4. The observed molecular decay ifetime is 1.3 ms after removing free Li and Na atoms from the trap.
description: 5 pages, 5 figures
Austrotinodes doota Cartwright, 2009, sp. nov.
Creators: name: Cartwright, David I.
Publisher: name: Zenodo
Year: 2009
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Trichoptera
Ecnomidae
Austrotinodes
Austrotinodes doota

description: Austrotinodes doota sp. nov. Figs 1–3 Diagnosis. Austrotinodes doota is grouped with Austrotinodes varus, A. bifurcatus and A. theischingeri mainly on the basis of large, fused inferior appendages in the male. It is distinguished from others in the group by the inferior appendages, which are very broad near the middle and with length about same as width. Description. Head, body and wings light brown; wings similar to A. varus (Fig. 4). Forewing length about 3.2 times width: male 4.3 mm. Forewing fork 2 sessile, length about 1.2–1.3 times length fork 3; length fork 3 about 2.8–3.0 times length footstalk, footstalk length about 2.1–2.2 times length cross-vein m. Hindwing length about 3.2 times width; fork 2 with footstalk relatively short, length footstalk about 0.5 times length cross-vein r-m, fork 2 about same length as fork 3. Male. Tergum X membranous (Fig. 3). Superior appendages in lateral view, forked, with larger apically directed fork and smaller, more slender, ventral branch and with a pair of long, curved, ventrally directed processes arising from near the bases (Fig. 1); in dorsal view, length about 2.5 times width, apices slightly incurved (Fig. 3). Phallus generally tube-like, ventrally broadened subapically, with an embedded spine; with a single down-curved sword-like process (phallic guide) arising from near the base of the inferior appendages (Fig. 1). Inferior appendages fused, strongly dorso-ventrally flattened; in ventral view, length about same as width, broadest and rounded laterally near the middle, narrowed subapically, with truncated apex (Fig. 2); in lateral view, length about 3 times width, broadest near the middle, narrowed in apical third, with upturned dorsally directed apex (Fig. 1). Female unknown. Holotype male (specimen CT-479 figured): Queensland, Goddard Ck, Kirrama State Forest, 18°06'S, 145°41'E, Apr 1990, G. Theischinger (NMV, T- 20348). Etymology. Doota - Aboriginal word for fat (inferior appendages). Remarks. This species is known from only one specimen from the type locality in north-eastern Queensland (latitude 18°06'S).
description: Published as part of Cartwright, David I., 2009, Austrotinodes Schmid, a South and Central American caddisfly genus, newly recorded in Australia, with the description of new species (Trichoptera: Ecnomidae), pp. 1-19 in Zootaxa 2142 (1) on page 5, DOI: 10.11646/zootaxa.2142.1.1, http://zenodo.org/record/5320938
National Energy Policies and Strategies in Different Countries
Creators: Michael  Pesin
Dean Sharafi
Nadja Belz
Goran Strbac
Loi Lei Lai
Publisher: name: IEEE
Year: 2024

The panel will discuss different energy policies in which different governmental entities addressing issues of energy development including energy conversion, distribution and use. The attributes of energy policy may include legislation, international treaties, incentives to investment, guidelines for energy conservation, taxation and other public policy techniques. Energy is a core component of modern economies. A functioning economy requires not only labour and capital but also energy, for manufacturing processes, transportation, communication and agriculture.
The panel will discuss different energy policies in which different governmental entities addressing issues of energy development including energy conversion, distribution and use. The attributes of energy policy may include legislation, international treaties, incentives to investment, guidelines for energy conservation, taxation and other public policy techniques. Energy is a core component of modern economies. A functioning economy requires not only labour and capital but also energy, for manufacturing processes, transportation, communication and agriculture.
Überwachung by Design
Creators: name: Marnau, Ninja
Publisher: name: CISPA
Year: 2023

description: Das BVerfG erteilt datenschutzfreundlicher Technikgestaltung bei TK-Diensten eine Absage. Im Dezember wies das Bundesverfassungsgericht eine Verfassungsbeschwerde eines E-Mail-Dienstanbieters zurück. Auch explizit datensparsame Telekommunikationsdienste müssen auf Anordnung umfangreiche Überwachungsmaßnahmen gegenüber einzelnen Nutzern technisch und organisatorisch ermöglichen.
New measurement of the charged kaon semileptonic (Ke4) decay Branching Ratio and Hadronic Form Factors
Creators: name: 2 Collaboration
Publisher: name: arXiv
Year: 2012
Subjects: subject: High Energy Physics - Experiment (hep-ex)
subject: High Energy Physics - Phenomenology (hep-ph)
subject: FOS: Physical sciences

description: A sample of more than one million Ke4 decay candidates with less than one percent background contamination has been collected by the NA48/2 experiment at the CERN SPS in 2003-2004, allowing a detailed study of the decay properties. The branching ratio, inclusive of radiative Ke4gamma decays, is measured to be BR(Ke4) = (4.257 +/- 0.016_exp +/- 0.031_ext) x 10-5 with a total relative error of 0.8%. This measurement complements the study of S- and P-wave hadronic form factors by assigning absolute values to the relative hadronic form factors obtained earlier in a simultaneous analysis of the pion-pion scattering lengths conducted on the same data sample. The overall form factor normalization f_s = 5.705 +/- 0.017_exp +/- 0.031_ext is obtained with a total relative precision of 0.6%.
description: 21 pages, 5 figures, 5 tables, submitted to Phys. Lett. B
Definitions, Challenges, and Enabling Techniques for Energy Internet Paradigm
Creators: Kai Strunz
Qinglai Guo
Yan Xu
Bruce Stephen
Graeme Burt
Publisher: name: IEEE
Year: 2024

The concept of “Energy Internet (EI)” has emerged since 2015 and has attracted considerable attentions from both academia and industry. While significant R&D efforts have been devoted in the past, there is not an universal definition about the EI in the community, which hinders its further R&D, standardization, and practical implementation.  This panel aims to provide technical insights into the definitions, challenges, and enabling techniques for Energy Internet paradigm. The invited panellists are knowledgeable and experienced researchers in power and energy system’s modelling, simulation, communication, control, and data-analytics, who will share their viewpoints and research outcomes in relevant areas.
The concept of “Energy Internet (EI)” has emerged since 2015 and has attracted considerable attentions from both academia and industry. While significant R&D efforts have been devoted in the past, there is not an universal definition about the EI in the community, which hinders its further R&D, standardization, and practical implementation.  This panel aims to provide technical insights into the definitions, challenges, and enabling techniques for Energy Internet paradigm. The invited panellists are knowledgeable and experienced researchers in power and energy system’s modelling, simulation, communication, control, and data-analytics, who will share their viewpoints and research outcomes in relevant areas.
FPGA Stream-Monitoring of Real-time Properties
Creators: name: Baumeister, Jan
name: Finkbeiner, Bernd
name: Schwenger, Maximilian
name: Torfah, Hazem
Publisher: name: CISPA
Year: 2023

description: An essential part of cyber-physical systems is the online evaluation of real-time data streams. Especially in systems that are intrinsically safety-critical, a dedicated monitoring component inspecting data streams to detect problems at runtime greatly increases the confidence in a safe execution. Such a monitor needs to be based on a specification language capable of expressing complex, high-level properties using only the accessible low-level signals. Moreover, tight constraints on computational resources exacerbate the requirements on the monitor. Thus, several existing approaches to monitoring are not applicable due to their dependence on an operating system. We present an FPGA-based monitoring approach by compiling an RTLola specification into synthesizable VHDL code. RTLola is a stream-based specification language capable of expressing complex real-time properties while providing an upper bound on the execution time and memory requirements. The statically determined memory bound allows for a compilation to an FPGA with a fixed size. An advantage of FPGAs is a simple integration process in existing systems and superb executing time. The compilation results in a highly parallel implementation thanks to the modular nature of RTLola specifications. This further increases the maximal event rate the monitor can handle.
Hydrogen as an Energy Carrier: World-Wide Perspectives
Creators: Amgad Elgowainy
Antonio  Iliceto
William  Stafford
Shaojun  Zhang
Yuki Kudoh
Marina Domingues
Jason Tally
Publisher: name: IEEE
Year: 2024

This panel will discuss hydrogen being an energy carrier, in parallel with electricity. As decarbonization continues to progress world-wide, our electricity-centric energy systems face significant challenges in infrastructure expansion and long duration storage. It has been recognized that the electric infrastructure needs to be expanded at least twice to accommodate new electrified demand, but it is extreme challenging to do it within two decades. Significant long duration energy storage is necessary for mitigating diurnal and seasonal variability of renewable resources, while the conventional technologies such as lithium-ion batteries are not cost effective. We need to look for another energy carrier, and hydrogen is such a potential energy carrier. Hydrogen and its related forms such as ammonia and syn-fuels are a great option for long duration energy storage, and they can be an important energy carrier for several end uses. Hydrogen transport networks can be complementary with the electric infrastructure and thus significantly relieve the need for building new power lines. This panel session invites world-wide experts to explore such potentials of hydrogen and discuss hydrogen production, transport, and interdependency with the electric infrastructure. The goal is to shed light on pathways to decarbonization with hydrogen being part of the equation.
This panel will discuss hydrogen being an energy carrier, in parallel with electricity. As decarbonization continues to progress world-wide, our electricity-centric energy systems face significant challenges in infrastructure expansion and long duration storage. It has been recognized that the electric infrastructure needs to be expanded at least twice to accommodate new electrified demand, but it is extreme challenging to do it within two decades. Significant long duration energy storage is necessary for mitigating diurnal and seasonal variability of renewable resources, while the conventional technologies such as lithium-ion batteries are not cost effective. We need to look for another energy carrier, and hydrogen is such a potential energy carrier. Hydrogen and its related forms such as ammonia and syn-fuels are a great option for long duration energy storage, and they can be an important energy carrier for several end uses. Hydrogen transport networks can be complementary with the electric infrastructure and thus significantly relieve the need for building new power lines. This panel session invites world-wide experts to explore such potentials of hydrogen and discuss hydrogen production, transport, and interdependency with the electric infrastructure. The goal is to shed light on pathways to decarbonization with hydrogen being part of the equation.
Advanced Tools and Metrics for Microgrid Development and Performance Evaluation
Creators: Akansha Jain
Rob Hovsapian
Francis K. Tuffner
Partha Sarker
Publisher: name: IEEE
Year: 2024

This panel session provides an in-depth exploration of performance criteria, success metrics, and advanced tool supporting the entire lifecycle of microgrid, encompassing design, implementation, and operation. Microgrids offer a versatile array of solutions to various stakeholders, including islanded systems, electric utilities, defense facilities, or campus facilities, each pursuing distinct objectives such as economic efficiency, reliability, resilience, or sustainability. However, the multifaceted journey of designing, implementing, commissioning, and evaluating a microgrid can present challenges. In this session, the panelists will address the application of advanced tools and performance criteria to achieve success metrics tailored to different microgrid types throughout the development and implementation process.
This panel session provides an in-depth exploration of performance criteria, success metrics, and advanced tool supporting the entire lifecycle of microgrid, encompassing design, implementation, and operation. Microgrids offer a versatile array of solutions to various stakeholders, including islanded systems, electric utilities, defense facilities, or campus facilities, each pursuing distinct objectives such as economic efficiency, reliability, resilience, or sustainability. However, the multifaceted journey of designing, implementing, commissioning, and evaluating a microgrid can present challenges. In this session, the panelists will address the application of advanced tools and performance criteria to achieve success metrics tailored to different microgrid types throughout the development and implementation process.
CTRL-PACE: Controlled Randomness for e-Passport Password Authentication
Creators: name: Hanzlik, Lucjan
name: Kluczniak, Kamil
name: Kutylowski, Miroslaw
Publisher: name: CISPA
Year: 2023

description: Security of many cryptographic protocols is conditioned by the quality of the random elements generated in the course of the protocol execution. On the other hand, cryptographic devices implementing these protocols are designed given technical limitations, usability requirements and cost constraints. This frequently results in a black box solution. Unfortunately, black box random number generators may enable creating backdoors for stealing signing keys, breaking authentication protocols and encrypted communication. In this paper we deal with this problem and extend our approach proposed during MYCRYPT’2016. The solution discussed is generating random parameters so that: (a) the protocols are backwards compatible (a user gets additional data that can be simply ignored), (b) verification of randomness might be executed any time without notice, so a device is forced to behave honestly, (c) the solution makes almost no intrusion in the existing protocols and is easy to implement, (d) the owner of a cryptographic device becomes secured against its designer and manufacturer that may even predict the output of the generator. In this paper we focus on a case when Diffie-Hellman protocol is executed for a generator that itself is a secret – this case has not been solved in our paper from MYCRYPT’2016. On the other hand, exactly this case occurs for the PACE protocol from the ICAO standard specifying electronic travel documents. For the sake of the proof we develop a framework of nested security games that aims to enable security proofs of modified protocols without redoing the proofs designed for their original versions.
Towards a Resilient Energy Internet in a Changing Climate
Creators: Le Xie
Luo Xu
A.T.D. Perera
Junbo Zhao
Publisher: name: IEEE
Year: 2024

In a  world increasingly defined by climate change, our future Energy Internet must  be adaptable, robust, and sustainable.  This  panel is specifically designed to bridge the fields of climate and energy,  focusing on future net-zero Energy Internet with large-scale renewable  integration under intensifying climate risks. Our interdisciplinary panelists  aim to present state-of-the-art research and perspective for climate-resilient  Energy Internet that cover a wide spectrum from climate-energy resilience  assessment to community-based energy resilience initiatives. This panel will  offer forward-looking discussions that combine evolving shapes of future  Energy Internet with climate projections under diverse emission pathways.  The panel is designed for engineers, scientists, researchers, educators,  students, industrial utility experts, and other stakeholders within the PES  community. It is particularly relevant for those who have a strong interest  in topics of climate change and energy transition.
In a  world increasingly defined by climate change, our future Energy Internet must  be adaptable, robust, and sustainable.  This  panel is specifically designed to bridge the fields of climate and energy,  focusing on future net-zero Energy Internet with large-scale renewable  integration under intensifying climate risks. Our interdisciplinary panelists  aim to present state-of-the-art research and perspective for climate-resilient  Energy Internet that cover a wide spectrum from climate-energy resilience  assessment to community-based energy resilience initiatives. This panel will  offer forward-looking discussions that combine evolving shapes of future  Energy Internet with climate projections under diverse emission pathways.  The panel is designed for engineers, scientists, researchers, educators,  students, industrial utility experts, and other stakeholders within the PES  community. It is particularly relevant for those who have a strong interest  in topics of climate change and energy transition.
Gaseous BTEX Biofiltration: Experimental and Numerical Study of Dynamics, Substrate Interaction and Multiple Steady States
Creators: name: Süß, Michael
Publisher: name: Graduate Studies
Year: 2018
Subjects: subject: Steady States
subject: Biofilter
subject: BTEX
subject: VOC
subject: Engineering--Chemical
subject: Engineering--Environmental

description: Air pollution has a global impact on the environment and human health. In recent decades growing consciousness of air pollutants has led to a substantial decline in hazardous emissions. Nevertheless, air quality problems persist. A group of pollutants of particular concern are benzene, toluene, ethylbenzene and xylene, commonly referred to as BTEX. BTEX are known for their adverse effects on human health such as the carcinogenicity of benzene among others. Continuous development, improvement and exploring of new innovative control technologies are of great importance and striven for by researchers and industry. Biological methods such as biofilters are considered to be a sustainable and environmentally friendly technology. Hence, the present dissertation investigated the employment of a promising microorganism, Nocardia sp., to treat BTEX in a biofilter as well as the experimental and computational study of different steady states. At an empty-bed residence time (EBRT) of 1.5 min and an inlet concentration between 0.05 – 0.14 g m- 3 single benzene, toluene, ethylbenzene and m-xylene were removed with an efficiency of 100%, 93%, 96% and 87% respectively. With increasing inlet concentration, the removal efficiency (RE) declined, however an increase of EBRT generally resulted in higher RE. A similar trend was observed when BTEX were treated as a mixture and highest RE were achieved at low concentrations. In addition, the determination of kinetic parameters of the microorganism were carried out and the threshold substrate concentration for benzene and m-xylene were estimated. The exploration of a possible jump of steady states were numerically examined by considering only the biofilm. Therefore, two independent computer simulations were developed, which includes diffusion limitation and substrate degradation following Haldane kinetics. Results clearly indicate a jump of steady states in a very small range of inlet concentration and a distortion of prevailing Haldane kinetics. A further development of one model was carried out and aforementioned determined kinetic parameters were applied. This model correctly described the jump of steady states in an actual biofilter at a concentration change of 0.272 g m-3. Obtained results are supported by experimental validation.
The Spiritual dimension of the struggle of Marian Engel's heroines to shape their lives toward wholeness
Creators: name: Buck, M. Laurel
Publisher: name: University of Calgary
Year: 1990
Subjects: subject: Engel, Marian, 1933-1985 - Characters
subject: Engel, Marian, 1933-1985 - Criticism and interpretation

description: Bibliography: p. 171-178.
Pre-Turbulent Regimes in Graphene Flows
Creators: name: Mendoza, M.
name: Herrmann, H. J.
name: Succi, S.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: We provide numerical evidence that electronic pre-turbulent phenomena in graphene could be observed, under current experimental conditions, through detectable current fluctuations, echoing the detachment of vortices past localized micron-sized impurities. Vortex generation, due to micron sized constriction, is also explored with special focus on the effects of relativistic corrections to the normal Navier-Stokes equations. These corrections are found to cause a delay in the stability breakout of the fluid as well as a small shift in the vortex shedding frequency. Finally, a relation between the Strouhal number, a dimensionless measure of the vortex shedding frequency, and the Reynolds number is provided under conditions of interest for future experiments.
description: 5 pages, 8 figures
Complete universal quantum gate set approaching fault-tolerant thresholds with superconducting qubits
Creators: name: Chow, Jerry M.
name: Gambetta, Jay M.
name: Corcoles, A. D.
name: Merkel, Seth T.
name: Smolin, John A.
name: Rigetti, Chad
name: Poletto, S.
name: Keefe, George A.
name: Rothwell, Mary B.
name: Rozen, J. R.
name: Ketchen, Mark B.
name: Steffen, M.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Quantum Physics (quant-ph)
subject: Mesoscale and Nanoscale Physics (cond-mat.mes-hall)
subject: FOS: Physical sciences

description: We use quantum process tomography to characterize a full universal set of all-microwave gates on two superconducting single-frequency single-junction transmon qubits. All extracted gate fidelities, including those for Clifford group generators, single-qubit pi/4 and pi/8 rotations, and a two-qubit controlled-NOT, exceed 95% (98%), without (with) accounting for state preparation and measurement errors. Furthermore, we introduce a process map representation in the Pauli basis which is visually efficient and informative. This high-fidelity gate set serves as another critical building block towards scalable architectures of superconducting qubits for error correction schemes.
description: 4 figures, 2 tables plus supplementary material
Austrotinodes bifurcatus Cartwright, 2009, sp. nov.
Creators: name: Cartwright, David I.
Publisher: name: Zenodo
Year: 2009
Subjects: Biodiversity
Taxonomy
Animalia
Arthropoda
Insecta
Trichoptera
Ecnomidae
Austrotinodes
Austrotinodes bifurcatus

description: Austrotinodes bifurcatus sp. nov. Figs 8–10 Diagnosis. This species is grouped with Austrotinodes varus and A. doota, with the shared character of forked superior appendages, or with long baso-ventral process. It is distinguished by fused or joined wing-like extensions on the inferior appendages. Description. Head, body and wings brown; wings similar to A. varus (Fig. 4). Forewing length about 3.2–3.3 times width: male 5.4 mm. Forewing fork 2 long with footstalk, footstalk about 1.5 times length of cross-vein r-m, length fork about 0.9 times length fork 3; fork 3 length about 3.6 times length footstalk, footstalk length about 1.6 times length cross-vein m. Hindwing length about 3.2 times width, fork 2 with short footstalk, length about 1.1–1.3 times length cross-vein r-m, fork 2 about same length as fork 3. Male. Tergum X membranous (Fig. 10). Superior appendages in lateral view, forked, with larger apically directed fork and smaller, more slender, ventral branch and with a pair of curved, dorsally directed processes basally (Fig. 8); in dorsal view, length about 3 times width, apices slightly incurved (Fig. 10). Phallus generally tube-like, ventrally broadened subapically, with an embedded bifid spine; with a single sword-like process (phallic guide) arising from near the base of the inferior appendages (Fig. 8). Inferior appendages with fused or joined dorso-lateral wing-like extensions, dorso-ventrally flattened; in ventral view, length about two-thirds width, broadest and rounded laterally near the middle, narrowed subapically, with rounded apex (Fig. 9); in lateral view, lateral projections slightly dorsally directed, broadest near the middle (Fig. 8). Female. Unknown. Holotype male (specimen CT-232 figured); Queensland, Bellenden Ker Range, Cable tower 3 (about 17°16'S, 145°53'E), 1054m, 25–31 Oct 1981, Earthwatch/ QM (NMV, T- 20358). Etymology. Bifurcatus - Latin, forked (superior appendages). Remarks. Only one specimen of Austrotinodes bifurcatus has been recorded from the type locality in north-eastern Queensland (latitude 17°16'S).
description: Published as part of Cartwright, David I., 2009, Austrotinodes Schmid, a South and Central American caddisfly genus, newly recorded in Australia, with the description of new species (Trichoptera: Ecnomidae), pp. 1-19 in Zootaxa 2142 (1) on page 7, DOI: 10.11646/zootaxa.2142.1.1, http://zenodo.org/record/5320938
Current Limiting and Fault Ridethrough Control of Grid-Connected Grid-Forming Inverters II
Creators: Ignacio Vieto
Dominic Gross
Sukumar Kamalasadan
Gab-Su Seo
Po-Hsu  Huang
Publisher: name: IEEE
Year: 2024

Both inverter and rotating machinery solutions will be discussed.
Both inverter and rotating machinery solutions will be discussed.
Similar yet not the same: right-wing populist parties' stances on religion in Germany and the Netherlands
Creators: name: Beuter, Christopher
name: Kortmann, Matthias
Publisher: name: TU Dortmund
Year: 2022
Subjects: subject: 200
subject: 230
subject: 100
subject: 300
subject: 150
subject: 320

description: Applying a qualitative framing analysis, this paper examines narratives of the right-wing populist parties Alternative for Germany (AfD) and the Party for Freedom (PVV) in the Netherlands on religion. The paper argues that references of these populist parties to religion can be interpreted against the background of specific national context factors such as the respective history of nation building, the traditional role of religion in society and secularization processes. A rigorous examination of parliamentary documents published between 2017 and 2019 shows that whereas the PVV clearly defines Christianity in civilizational and not religious terms, the AfD takes a less clear-cut stance toward the religion framing it both as culture and faith. We contend that this difference can be explained by the lower degree of secularization and the greater role of Christianity as a collective identity marker in post-war Germany.
description: Politics and religion;
Landau critical velocity in weakly interacting Bose gases
Creators: name: Baym, Gordon
name: Pethick, C. J.
Publisher: name: arXiv
Year: 2012
Subjects: subject: Quantum Gases (cond-mat.quant-gas)
subject: FOS: Physical sciences

description: The flow of a uniform Bose gas at speeds greater than the Landau critical velocity, v_c, does not necessarily destroy superfluidity, but rather need only lead to a decrease of the superfluid mass density, ρ_s. Analyzing a weakly interacting Bose gas with a finite range interparticle interaction that leads to a Landau critical velocity at non-zero quasiparticle momentum, we explicitly construct the (non-uniform) condensate for fluid flow faster than v_c and calculate the accompanying decrease in ρ_s. We briefly comment on the relation of the physics to other problems in superfluids, e.g., solitons, and vortices in Bose-Einstein condensates, and critical currents in superconductors.
description: 5 pages, 1 figure
MPIIGaze: Real-World Dataset and Deep Appearance-Based Gaze Estimation
Creators: name: Zhang, Xucong
name: Sugano, Yusuke
name: Fritz, Mario
name: Bulling, Andreas
Publisher: name: CISPA
Year: 2023

description: Learning-based methods are believed to work well for unconstrained gaze estimation, i.e. gaze estimation from a monocular RGB camera without assumptions regarding user, environment, or camera. However, current gaze datasets were collected under laboratory conditions and methods were not evaluated across multiple datasets. Our work makes three contributions towards addressing these limitations. First, we present the MPIIGaze dataset, which contains 213,659 full face images and corresponding ground-truth gaze positions collected from 15 users during everyday laptop use over several months. An experience sampling approach ensured continuous gaze and head poses and realistic variation in eye appearance and illumination. To facilitate cross-dataset evaluations, 37,667 images were manually annotated with eye corners, mouth corners, and pupil centres. Second, we present an extensive evaluation of state-of-the-art gaze estimation methods on three current datasets, including MPIIGaze. We study key challenges including target gaze range, illumination conditions, and facial appearance variation. We show that image resolution and the use of both eyes affect gaze estimation performance, while head pose and pupil centre information are less informative. Finally, we propose GazeNet, the first deep appearance-based gaze estimation method. GazeNet improves on the state of the art by 22% (from a mean error of 13.9 degrees to 10.8 degrees) for the most challenging cross-dataset evaluation.
Interactions of IBRs with Grids: Challenges and Risk Mitigations
Creators: Matthew Richwine
Andrew Isaacs
Min Lwin
Shahil Shah
Andrew Groom
Jian Fu
Guangya Yang
Xiaodong Liu
Deepak Ramasubramanian
Jonathan Rose
Lingling Fan
Publisher: name: IEEE
Year: 2024

This session needs to coordinate with a PSOPE session if that session is approved.
This session needs to coordinate with a PSOPE session if that session is approved.
Current Limiting and Fault Ridethrough Control of Grid-Connected Grid-Forming Inverters I
Creators: Wei Du
Aung Thant
Xavier Guillaud
Julia Matevosyan
Publisher: name: IEEE
Year: 2024

A grid-forming inverter maintains its internal voltage phasor approximately  constant in the sub-transient to transient time frame. However, maintaining the internal voltage phasor approximately constant will result in severe over-currents during short-circuit faults with the possibility of damaging the inverter hardware. Moreover, during a long-term delayed clearing fault that phase angle of a grid forming inverter might lose synchronism to the grid and the dc bus voltage might collapse, too. Therefore, advanced current limiting and fault ride-through controls must be implemented to limit the output current of a grid-forming inverter during faults and maintain its synchronism to the grid post fault. This panel will introduce the challenges faced by a grid-forming inverter during severe faults an discuss the advantages and limitations of different current limiting and fault-ride-through controls recently developed.
A grid-forming inverter maintains its internal voltage phasor approximately  constant in the sub-transient to transient time frame. However, maintaining the internal voltage phasor approximately constant will result in severe over-currents during short-circuit faults with the possibility of damaging the inverter hardware. Moreover, during a long-term delayed clearing fault that phase angle of a grid forming inverter might lose synchronism to the grid and the dc bus voltage might collapse, too. Therefore, advanced current limiting and fault ride-through controls must be implemented to limit the output current of a grid-forming inverter during faults and maintain its synchronism to the grid post fault. This panel will introduce the challenges faced by a grid-forming inverter during severe faults an discuss the advantages and limitations of different current limiting and fault-ride-through controls recently developed.
Energy Storage Equity and Environmental Justice
Creators: Bryan Palmintier
Heidi Scarth
Will McNamara
Kendall Parker
Publisher: name: IEEE
Year: 2024

Where energy data meets people and place. The power system is the largest machine on the planet. As with any large and complex system it benefits some people and places more than others. In the last two decades, researchers have begun to consider how inequitable distribution of costs and benefits are built into power systems around the world. Disadvantaged communities have higher levels of energy burden, lower hosting capacity for PV, and, in some areas, have more and longer power outages; just to name a few. New transformative technologies such as batteries can either exasperate or help to alleviate existing inequities.   This panel will be an honest discussion of the complexities of energy storage equity through both technology and policy lenses. We will try and answer practical questions for how decisions by utilities, regulators, and technology developers can and will impact different communities differently. The panelists will introduce their own research focuses and will then discuss what comes next and how to get involved.  Attendees will leave with a better understanding of the issues and cutting edge research in the field.
Where energy data meets people and place. The power system is the largest machine on the planet. As with any large and complex system it benefits some people and places more than others. In the last two decades, researchers have begun to consider how inequitable distribution of costs and benefits are built into power systems around the world. Disadvantaged communities have higher levels of energy burden, lower hosting capacity for PV, and, in some areas, have more and longer power outages; just to name a few. New transformative technologies such as batteries can either exasperate or help to alleviate existing inequities.   This panel will be an honest discussion of the complexities of energy storage equity through both technology and policy lenses. We will try and answer practical questions for how decisions by utilities, regulators, and technology developers can and will impact different communities differently. The panelists will introduce their own research focuses and will then discuss what comes next and how to get involved.  Attendees will leave with a better understanding of the issues and cutting edge research in the field.