1,101 research outputs found
Computer Safety, Reliability, and Security - 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings
No full textComputer Safety, Reliability, and Security - SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings
No full textComputer Safety, Reliability, and Security. {SAFECOMP} 2023 Workshops- ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings
No full textIDIMT-2025 : ICT in Business : AI Everywhere? Glory and Disgrace of AI : 33rd Interdisciplinary Information Management Talks Sept. 3–5, 2025 Hradec Králové, Czech Republic / von Petr, Doucek / Human-Machine Teaming – The way forward to a super-smart society
No full textThis paper provides an overview on a new evolutionary approach to a super-smart society of the future, which may really revolutionize our society in the long term in a disruptive manner. It is a concept which assumes a constructive change of the way of cooperation between humans and “machines” as a well-defined team, in the following addressed as “Human-Machine Teaming” (HMT). This could change our attitude to AI-based systems of all kinds (“machines” are the “AI” in e.g., robotic systems, but also business, financial, healthcare, mobility or administrative systems) and of different levels of “intelligence” and autonomy, with which humans are interacting. This approach
is driven primarily by Japanese experts, e.g., in AI-Standardization (ISO/IEC JTC1 SC42 WG4). The long-term vision follows the Japanese official concept of “Society 5.0”. A discussion of this concept was done first in IDIMT 2019 (Schoitsch 2019). This paper outlines the “Society 5.0” concept and reports on the most recent activities and EU-Japan joint workshops on AI Ethics and Human- Machine Teaming (HMT) as an advanced implementation. This is also part of the AI-Task Force Workstream in the European INSTAR project which strives for aligning AI standardization priorities between different global regions and Europe. HMT is an advanced implementation of smart technologies and AI with strong impact on society, which are the drivers of economic and societal disruptive changes and a chance to shape our future in a beneficial way (but no chance without risk)
Erwin Lichtenstein Collection ; 1926-1989
No full textThe Erwin Lichtenstein Collection documents the work of Erwin Lichtenstein as an author. The bulk of the archival collection is in reference to his book "Die Juden der Freien Stadt Danzig unter der Herrschaft des Nationalsozialismus 1933-1945". The correspondence with Sam Echt, Werner Feilchenfeld, Ernst Loops and others reflect the response to Erwin Lichtenstein's publication. Noteworthy with regard to the book is the correspondence between Günter Grass and Erwin Lichtenstein. Although the bulk of the documents consists of correspondence, the collection also includes newspaper articles and book reviews, corrections and changes and the original manuscript of the aforementioned book.Walter Friedlaender ; Herbert Perlman (1948) ; Dr. Ludwig Hollaender (1935) ; deportations and death of Max Lichtenstein in Theresienstadt ; sister Kaethe Lichtenstein ; dissertation of Max Lichtenstein ; Rabbi Neuhaus ; Max Vogelstein and Hermann Vogelstein ; Max Fuerst ; John Vogelstein ; Trott von Solz ; Julie Braun-Vogelstein ; Blumenfeld, Diana ; Turkow, Jonas ; Hamburger, Ernst ; Hollaender, LudwigErwin Lichtenstein was born February 16, 1901 in Koenigsberg (today Kaliningrad, Russia). He was the son of the lawyer (Justizrat) Dr. Max Lichtenstein. Erwin Lichtenstein studied law at the universities of Koenigsberg, Berlin and Leipzig. In 1922 he completed his doctoral studies. Afterwards he was a lawyer for the National Association of the ‘Centralverein deutscher Staatsbürger mit jüdischem Glauben’ in East Prussia. 1923-1926 he was the editor of the weekly "Danziger Rundschau". He practiced law in Germany from 1930-1933. After his exclusion from the bar, due to being Jewish, he returned to Danzig (Gdansk, Poland). He was the head of the relief organization of the Jewish Centralwohlfahrtstelle. From 1933 until his emigration in 1939 to Tel Aviv, Lichtenstein was the head of the Danzig Jewish Community and he was also editor of the ‘Jüdisches Gemeindeblatt’. In 1953, he started to practice law in Israel. In 1973 Erwin Lichtenstein published "Die Juden der Freien Stadt Danzig unter der Herrschaft des Nationalsozialismus 1933-1945" for the Leo Baeck Institute.Erwin Lichtenstein's book may be found in the LBI Library, call number DS 135 G4 D35 L53digitizedJüdisches Gemeindeblatt.Juedisches Gemeindeblat
Formal Verification of Safety Requirements on Complex Systems
No full textIn this paper we present a logical characterization, by means of ACTL formulae, of safety requirements to be formally verified over safety critical complex systems. In this class of systems the formal verification of requirements is often hardened by state explosion problems. To deal with this problem, the characterization we propose allows the satisfiability of a safety requirement over a complex system to be derived by its satisfiability over those component subsystems that are directly involved in the given requirement. The proposed methodology has been successfully used for the formal verification of safety requirements of a particular system, that is a railway computer based signalling control system
IDIMT-2022 : digitalization of society, business and management in a pandemic : 30th Interdisciplinary Information Management Talks, Sept. 7-9, 2022, Prague, Czech Republic / von Chroust, Gerhard / Smart technology and circular economy for a greener world and resilient society
No full textSmart technologies are not only drivers of economic and societal disruptive changes – they are a chance to shape our future in a beneficial way as enablers of a sustainable, “green” world. They are a means to support the implementation of the 17 UN SDGs (Sustainable Development Goals) and the European “Green Deal”. The current crisis (climate change, Ukraine war, just to mention a few causes) has shown that our society and economy are not resilient against such critical changes. One of the approaches is to invest much more in circular economy and sustainable modes of production, transport and living, to reduce dangerous dependencies in all industrial and social areas. On the one hand, a severe economic crisis with shortage of essential resources for people worldwide bears risks of social instability and war, on the other hand, mitigation by smart technologies and high automation including autonomous systems bears a considerable risk to democracy, human rights and self-determination as well. European policy has reacted to the challenges of climate change and environmental footprint reduction particularly in context of production, transport, farming and large urban agglomerations – smartness (intelligence) is not only addressing well-being, assisted living and comfort of citizens (keyword “Society 5.0”), but even more sustainability goals in the long term (“Green and Circular Cities”). Smart technologies are not only drivers of economic and societal disruptive changes – they are a chance to shape our future in a beneficial way as enablers of a sustainable, “green” world. They are a means to support the implementation of the 17 UN SDGs (Sustainable Development Goals) and the European “Green Deal”. The current crisis (climate change, Ukraine war, just to mention a few causes) has shown that our society and economy are not resilient against such critical changes. One of the approaches is to invest much more in circular economy and sustainable modes of production, transport and living, to reduce dangerous dependencies in all industrial and social areas. On the one hand, a severe economic crisis with shortage of essential resources for people worldwide bears risks of social instability and war, on the other hand, mitigation by smart technologies and high automation including autonomous systems bears a considerable risk to democracy, human rights and self-determination as well. European policy has reacted to the challenges of climate change and environmental footprint reduction particularly in context of production, transport, farming and large urban agglomerations – smartness (intelligence) is not only addressing well-being, assisted living and comfort of citizens (keyword “Society 5.0”), but even more sustainability goals in the long term (“Green and Circular Cities”).Erwin SchoitschRefereed/Peer-reviewedVersion of recor
Agra ichabod Erwin, new species
No full textAgra ichabod Erwin, new species (Figs. 28 a, 28 b) Holotype. Female, COSTA RICA: Alajuela, Atenas, 9 º 58 'N 84 º 23 'W, May, (C. Aviles)(UCOR) ADP 7607. Diagnosis. This is the only species of Costa Rican Agra with aeneous elytral foveae and slightly oblique apex without a sutural tooth; foveae nearly contiguous. Description. Male unknown. Color and luster: Rufopiceous, aeneous. Legs rufopiceous with slightly infuscated knees; venter rufoaeneous. Foveae of interneurs with metallic blue reflections. Form: Head unknown. Pronotum with large punctures along each side of midline. Female slender, with elytra slightly flared behind middle. Elytron with apex (Fig. 28 a) moderately oblique, lateral tooth small, sutural apex rounded; foveae of interneurs large and positioned irregularly, some separated by their own diameter, other coalesced. Sternum VI (Fig. 28 b) of female nearly truncate. Size: small, 12mm in length (length of head estimated based on proportions of Agra monteverde Erwin (see below), 3.0mm in width. Other specimens examined. The female Holotype is the only specimen I saw. Specific epithet. The specific epithet, ichabod, is used as a noun in apposition, and refers to the fact that the Holotype is missing its head and the illusion is that of the frightened Schoolteacher Ichabod Crane’s phantom nemesis, the Headless Horseman, in The Legend of Sleepy Hollow from The Sketchbook of Geoffrey Crayon, by the American author, Washington Irving, published in 1819 20. Notes. The Holotype is from the Cordillera Volcánica Central Conservation Area. This very distinctive species is represented only by the female Holotype, which is headless, however, its unique elytral attributes justify giving it a name and bringing it to the attention of collectors. The head may be described later, based on discovery of a second, complete, specimen. The closely related species, Agra soccata Bates of Panamá with which this female agrees in attributes provided the information on male attributes, hence my assignment of this species to the soccata group.Published as part of Erwin, Terry L., 2002, The Beetle Family Carabidae of Costa Rica: Twentynine new species of Agra Fabricius 1801 (Coleoptera: Carabidae, Lebiini, Agrina), pp. 1-68 in Zootaxa 119 on page 61, DOI: 10.5281/zenodo.16280
Comparison between IEC 60880 and IEC 61508 for Certification Purposes in the Nuclear Domain
No full textIn the nuclear domain, regulators have strict requirements for safety critical software. In this paper requirements in three documents (two software standards and the Common Position of nuclear domain regulators) were compared. The aim of the work was to find out how these requirements compare to each other in terms of strictness and scope, and to evaluate the usefulness of the documents for certification purposes. Another goal was to determine whether it is possible to choose only one of the standards as the basis of software certification. The nuclear domain software standard IEC 60880 provides requirements for the purpose of achieving highly reliable software. The standard is similar to the part 3 of IEC 61508 standard in the sense that it covers requirements for all software lifecycle activities. The Common Position document ”Licensing of safety critical software for nuclear reactors” states the requirements from the perspective of European nuclear regulators. The comparison was twofold. First, the absolute ‘shall’ requirements of a few key themes were extracted from all three documents. The strictness of these requirements was analyzed against each other. Second, to evaluate the documents’ usefulness for certification, the extent in which these themes were covered by each document was analyzed by expert judgment. The main result was that the use of IEC 60880 alone is not sufficient for software certification
Recommended from our members
Episode #1: Introduction to Europe's Supreme Court with Erwin Chemerinsky
No full textEpisode #1 of the Borderlines CJEU Series features UC Berkeley Law School’s Dean and Choper Distinguished Professor Erwin Chemerinsky in conversation with Tragen Professor Katerina Linos (Berkeley) and Freaney Professor Mark Pollack (Temple University), introducing a wider audience to the European Union Court of Justice. Dean Chemerinsky is one of the world’s top legal scholars, with decades of frontline expertise in constitutional law, from the classroom to presenting oral arguments before the U.S. Supreme Court. He is the author of twenty books, including leading casebooks and treatises about constitutional law, criminal procedure, and federal jurisdiction. His most recent major book, No Democracy Lasts Forever: How the Constitution Threatens the United States, was published in August 2024. Dean Chemerinsky also is the author of over 200 law review articles, as well as the host of More Just podcast. Together, these three leading legal educators introduce listeners to the form and function of the European Union Court of Justice, and contrast its civil law history and consensus methodology with the U.S. common law heritage utilizing dissenting opinions. Learn about the European Court of Justice’s traditions, scope, and unique Advocate General role. Glimpse behind the scenes of the massive EU case load in the Information Age, and compare fundamentals like sovereignty over states, the role of voting in chambers, and balancing accessibility and privacy.</p
- …
