|
|
|
|
|
Giacomo Bergami
Recent findings demonstrate how database technology enhances the computation of formal verification tasks expressible in linear time logic for finite traces (LTLf). Human-readable declarative languages also help the common practitioner to express tempora...
ver más
|
|
|
|
|
|
|
|
|
|
|
Simona Elena Avram, Bianca Violeta Birle, Lucian Barbu Tudoran, Gheorghe Borodi and Ioan Petean
Used water treatment is one of the most important aspects of environmental protection regarding industrial processes. Particulate matter dispersions affect water parameters; for example, increased pH values such as 10.21 are found for used floor tile wat...
ver más
|
|
|
|
|
|
|
|
|
|
|
Mubarak T. Al-Otaibi, Ahmed I. Rushdi, Najeeb Rasul, Abdulqader Bazeyad, Khalid F. Al-Mutlaq, Saud S. Aloud and Hattan A. Alharbi
Surface sediment samples from Al-Qahma lagoon in the southern part and Al-Wajh lagoon in the northern part of the Red Sea coast of Saudi Arabia were collected by a Van Veen grab sampler to determine the characteristics, distribution, and sources of aliph...
ver más
|
|
|
|
|
|
|
|
|
|
|
Suveshnee Munien, Puspa L. Adhikari, Kimberly Reycraft, Traci J. Mays, Trishan Naidoo, MacKenzie Pruitt, Jacqueline Arena and Sershen
This systematic review represents one of the first attempts to compare the efficacy of the full suite of management interventions developed to control (prevent or remove) microplastics (MPs) in freshwater bodies, both man-made and natural. The review als...
ver más
|
|
|
|
|
|
|
|
|
|
|
Ancilon Leuch Alencar, Marcelo Dornbusch Lopes, Anita Maria da Rocha Fernandes, Julio Cesar Santos dos Anjos, Juan Francisco De Paz Santana and Valderi Reis Quietinho Leithardt
In the current era of social media, the proliferation of images sourced from unreliable origins underscores the pressing need for robust methods to detect forged content, particularly amidst the rapid evolution of image manipulation technologies. Existin...
ver más
|
|
|
|
|
|
|
|
|
|
|
Dominic Lightbody, Duc-Minh Ngo, Andriy Temko, Colin C. Murphy and Emanuel Popovici
The growth of the Internet of Things (IoT) has led to a significant rise in cyber attacks and an expanded attack surface for the average consumer. In order to protect consumers and infrastructure, research into detecting malicious IoT activity must be of...
ver más
|
|
|
|
|
|
|
|
|
|
|
Yiming Fan and Meng Wang
Software specifications are of great importance to improve the quality of software. To automatically mine specifications from software systems, some specification mining approaches based on finite-state automatons have been proposed. However, these appro...
ver más
|
|
|
|
|
|
|
|
|
|
|
Lia Maria Hocke, Yunjie Tong and Blaise deBonneval Frederick
Multimodal functional near-infrared spectroscopy?functional magnetic resonance imaging (fNIRS?fMRI) studies have been highly beneficial for both the fNIRS and fMRI field as, for example, they shed light on the underlying mechanism of each method. However...
ver más
|
|
|
|
|
|
|
|
|
|
|
Guilherme Perin, Lichao Wu and Stjepan Picek
The adoption of deep neural networks for profiling side-channel attacks opened new perspectives for leakage detection. Recent publications showed that cryptographic implementations featuring different countermeasures could be broken without feature selec...
ver más
|
|
|
|
|
|
|
|
|
|
|
Bert Bongers
Over the course of seven years during ten events, the author explored real-time interactive audiovisual projections, using ad hoc and portable projections and audio systems. This was done in the specific location of Cockatoo Island in the waters of a par...
ver más
|
|
|
|
|
|