Tootfinder

sp_hypertext: Hypertext 2009 dynamic contact network
The temporal network of contacts among attendees of the ACM Hypertext 2009 conference, which spanned 2.5 days of time.
This network has 113 nodes and 20818 edges.
Tags: Social, Offline, Unweighted, Temporal
https://networks.skewed.de/net…

#Hobart just endured its #hottest night since 1912—with a low #temperature of 24.3℃:

Understanding Hybrid Spaces: Designing a Spacetime Model to Represent Dynamic Topologies of Hybrid Spaces
Wolfgang H\"ohl
https://arxiv.org/abs/2403.05221

Understanding Hybrid Spaces: Designing a Spacetime Model to Represent Dynamic Topologies of Hybrid Spaces
This paper develops a spatiotemporal model for the visualization of dynamic topologies of hybrid spaces. The visualization of spatiotemporal data is a well-known problem, for example in digital twins in urban planning. There is also a lack of a basic ontology for understanding hybrid spaces. The developed spatiotemporal model has three levels: a level of places and media types, a level of perception and a level of time and interaction. Existing concepts and types of representation of hybrid spa…

Tree-Based versus Hybrid Graphical-Textual Model Editors: An Empirical Study of Testing Specifications
Ionut Predoaia, James Harbin, Simos Gerasimou, Christina Vasiliou, Dimitris Kolovos, Antonio Garc\'ia-Dom\'inguez
https://arxiv.org/abs/2404.05846

Tree-Based versus Hybrid Graphical-Textual Model Editors: An Empirical Study of Testing Specifications
Tree-based model editors and hybrid graphical-textual model editors have advantages and limitations when editing domain models. Data is displayed hierarchically in tree-based model editors, whereas hybrid graphical-textual model editors capture high-level domain concepts graphically and low-level domain details textually. We conducted an empirical user study with 22 participants, to evaluate the implicit assumption of system modellers that hybrid notations are superior, and to investigate the t…

Hybrid Warfare Analytical Group/UCMC. STEADFAST DEFENDER 2024 The Hybrid Warfare Analytical Group’s (UCMC) analysts convene to delve into the realms of Russian disinformation, propaganda, and the infl Source : https://uacrisis.org/en/hybrid-warfare-a…

Pen-cage #aquaculture of #Salmon is big business, but it is also being impacted significantly by #ClimateChange. Areas that were traditionally used for cage aquaculture, where this industry was of vi…

🔊 #NowPlaying on fip
Hubert Sumlin:
🎵 Funky roots
#HubertSumlin

FuSeBMC AI: Acceleration of Hybrid Approach through Machine Learning
Kaled M. Alshmrany, Mohannad Aldughaim, Chenfeng Wei, Tom Sweet, Richard Allmendinger, Lucas C. Cordeiro
https://arxiv.org/abs/2404.06031

FuSeBMC AI: Acceleration of Hybrid Approach through Machine Learning
We present FuSeBMC-AI, a test generation tool grounded in machine learning techniques. FuSeBMC-AI extracts various features from the program and employs support vector machine and neural network models to predict a hybrid approach optimal configuration. FuSeBMC-AI utilizes Bounded Model Checking and Fuzzing as back-end verification engines. FuSeBMC-AI outperforms the default configuration of the underlying verification engine in certain cases while concurrently diminishing resource consumption.

Sheet model description of spatio-temporal evolution of upper-hybrid oscillations in an inhomogeneous magnetic field
Nidhi Rathee, Someswar Dutta, R. Srinivasan, Sudip Sengupta
https://arxiv.org/abs/2405.05655

Sheet model description of spatio-temporal evolution of upper-hybrid oscillations in an inhomogeneous magnetic field
Spatio-temporal evolution of large amplitude upper hybrid oscillations in a cold homogeneous plasma in the presence of an inhomogeneous magnetic field is studied analytically and numerically using the Dawson sheet model. It is observed that the inhomogeneity in magnetic field which causes the upper hybrid frequency to acquire a spatial dependence, results in phase mixing and subsequent breaking of the upper hybrid oscillations at arbitrarily low amplitudes. This result is in sharp contrast to t…

drosophila_flybi: Fruit fly protein interactions (Drosophila melanogaster)
Binary protein-protein interactions (PPIs) for Drosophila melanogaster, containing 8723 PPIs among 2939 proteins. The iteractions were identified using a yeast two-hybrid (Y2H) analysis.
This network has 2939 nodes and 8723 edges.
Tags: Biological, Protein interactions, Unweighted