Results 91 to 100 of about 285,209 (280)

Semantic Support for Log Analysis of Safety-Critical Embedded Systems

, 2014
Testing is a relevant activity for the development life-cycle of Safety Critical Embedded systems. In particular, much effort is spent for analysis and classification of test logs from SCADA subsystems, especially when failures occur. The human expertise
Ficco, Massimo, Mazzocca, Nicola, Venticinque, Alessio, Venticinque, Salvatore   +3 more
core  

Practical Eduacation of Young Academics for Railway Operation and Research [PDF]

, 2013
Education is one central aspect for winning and qualifying employees for railway operation and research. Most of the courses in this field are conventional organised by ex-cathedra teaching.
Griese, Sören, Oetting, Andreas, Schön, Sebastian, Streitzig, Constanze   +3 more
core  

Springboards Before the Fence: Urban Makeshift Camps as Mobility Infrastructures on the Bosnia–Croatia Border

Antipode, Volume 58, Issue 2, 2026.
Abstract This paper frames migrant makeshift camps as mobility infrastructures, bridging scholarship on informal dwellings and migration infrastructures with the case of Bihać, a transit city on the Bosnia–Croatia border. The central idea is that grassroots makeshift camps assembled in abandoned buildings or tents play a key infrastructural role in ...
Martino Zibetti (He/Him)
wiley   +1 more source

Experimental Evaluation of SAFEPOWER Architecture for Safe and Power-Efficient Mixed-Criticality Systems

Journal of Low Power Electronics and Applications, 2019
With the ever-increasing industrial demand for bigger, faster and more efficient systems, a growing number of cores is integrated on a single chip. Additionally, their performance is further maximized by simultaneously executing as many processes as ...
Maher Fakih, Kim Grüttner, Sören Schreiner, Razi Seyyedi, Mikel Azkarate-Askasua, Peio Onaindia, Tomaso Poggi, Nera González Romero, Elena Quesada Gonzalez, Timmy Sundström, Salvador Peiró Frasquet, Patricia Balbastre, Tage Mohammadat, Johnny Öberg, Yosab Bebawy, Roman Obermaisser, Adele Maleki, Alina Lenz, Duncan Graham   +18 more
doaj   +1 more source

African Decolonial Theory: A Conversation

Antipode, Volume 58, Issue 2, 2026.
Abstract Antipode has become a key platform for engaging with decolonial and anticolonial scholarship, as well as adjacent fields such as Black geographies, Indigenous studies, Latin American feminism, and work on settler‐colonialism. African reference points in this literature, however, have been far less common, both in the journal and more broadly ...
Patricia Daley, Sabelo J. Ndlovu‐Gatsheni, Wangui Kimari, Franklin Obeng‐Odoom, Sylvia Tamale, Sybille Bauriedl, Sylvia Bawa, Inken Carstensen‐Egwuom, Grace Adeniyi‐Ogunyankin, Yousuf Al‐Bulushi, Stefan Ouma   +10 more
wiley   +1 more source

Automatic instantiation of abstract tests to specific configurations for large critical control systems [PDF]

, 2009
Computer-based control systems have grown in size, complexity, distribution and criticality. In this paper a methodology is presented to perform an ‘abstract testing’ of such large control systems in an efficient way: an abstract test is specified ...
A. Orazzo, F. Flammini, MAZZOCCA, NICOLA
core  

Chasing Fish: 130 Years of Innovation, Displacement and Depletion in Scottish Fisheries

Fish and Fisheries, Volume 27, Issue 2, Page 227-247, March 2026.
ABSTRACT Rebuilding the depleted fisheries of the 21st century requires an understanding of past drivers of their decline. Despite Scotland's central role in the commercial exploitation of North Sea fisheries for over a century, associations between technological innovations, regulatory introductions and fishery landings have not previously been ...
Zoe F. J. Heard, Callum M. Roberts, Ruth H. Thurstan   +2 more
wiley   +1 more source

The Use of UML to Development of a Railway Interlocking System

Advances in Electrical and Electronic Engineering, 2003
The paper deals with problems of using the Unifield Modeling Lanfuage (UML) in developmentt of new railway interlocking and signalling systems. A simplifield example of the control circuit of a point machine is used to demonstrate an object-oriented ...
Karol Rastocny, Ales Janota, Jiri Zahradnik   +2 more
doaj  

Research on Modeling and Analysis Methods of Railway Station Yard Diagrams Based on Multi-Layer Complex Networks

Applied Sciences
Optimizing railway station operations necessitates the identification of critical track sections that constrain design throughput capacity under fixed infrastructure conditions.
Pengfei Gao, Wei Zheng, Jintao Liu, Daohua Wu   +3 more
doaj   +1 more source

Fatigue Lifetime Assessment of HFMI‐Treated Welded Joints According to the Peak Stress Method

Fatigue &Fracture of Engineering Materials &Structures, Volume 49, Issue 3, Page 790-819, March 2026.
ABSTRACT High‐frequency mechanical impact (HFMI) is an effective post‐weld treatment that enhances fatigue strength by inducing compressive residual stresses, localized strain hardening, and increasing weld toe radii. The peak stress method (PSM) was recently extended to evaluate the fatigue strength of HFMI‐treated steel joints under uniaxial loading ...
Alberto Campagnolo, Martin Leitner, Giovanni Meneghetti   +2 more
wiley   +1 more source