Performance evaluation of smart contracts [PDF]
, 2022 Blockchain is a distributed ledger with records of transactions made between accounts stored in it through blocks. This type of technology is becoming a part of our daily lives, due to its secure, immutable, verifiable and transparent nature.
Oliveira, Raul Alexandre Vaz
core
Checking termination of bottom-up evaluation of logic programs with function symbols [PDF]
, 2014 Recently, there has been an increasing interest in the bottom-up evaluation of the semantics of logic programs with complex terms. The presence of function symbols in the program may render the ground instantiation infinite, and finiteness of models and ...
Calimeri +16 more
core +3 more sources
Non-coding RNAs in ovine immunity: Identification of unannotated genes and functional analyses of high throughput genomic data [PDF]
, 2022 210 p.Non-coding RNAs (ncRNAs) are involved in several biological processes in mammals, including the immune system response to pathogens and vaccines. The annotation and functional characterization of two of the main classes of ncRNAs, microRNAs (miRNAs)
Bilbao Arribas, Martín
core
International Law Weekend, American Branch of the International Law Association Perspectives on Crimes of Sexual Violence in International Law [PDF]
, 2013 Sexual and gender-based violence (SGBV) during conflict and periods of repression has been a problem in every region of the ...
Sacouto, Susana
core +2 more sources
Distributed smart camera network for safety and security [PDF]
, 2014 Current CCTV surveillance solutions are generally retrospective tools. Because real time use of CCTV requires human monitors to view a potentially exorbitant number of video feeds, CCTV is usually only useful after an incident has occurred.
Fox, Nathan +3 more
core +1 more source
A Solvatochromic Near Infrared Fluorophore Sensitive to the Full Amyloid Beta Aggregation Pathway [PDF]
Alzheimer's disease has long been associated with the aggregation of amyloid beta peptides (Aβ42) into macroscale plaques, although specific neurodegenerative agents have not been definitively identified.
Cohen, Bruce E +9 more
core +1 more source
Ovarian hormones shape brain structure, function, and chemistry: A neuropsychiatric framework for female brain health [PDF]
, 2023 There are robust sex differences in brain anatomy, function, as well as neuropsychiatric and neurodegenerative disease risk (1-6), with women approximately twice as likely to suffer from a depressive illness as well as Alzheimer’s Disease. Disruptions in
Zsido, Rachel
core +1 more source
Cinema against spectacle : technique and ideology revisited [PDF]
, 2009 A network of new conceptions, arguments and debates about cinema produced in the 1970s made these years one of the key periods in the history of film theory.
Comolli, Jean-Louis
core +1 more source
Modeling and Optimization of Parallel Matrix-based Computations on GPU [PDF]
, 2013 As graphics processing units (GPUs) are continually being utilized as coprocessors, the demand for optimally utilizing them for various applications continues to grow.
White, Andrew
core
Design of a magnetic lens monoenergetic electron source [PDF]
, 1989 Call number: LD2668 .T4 NE 1989 W45Master of ScienceMechanical and Nuclear ...
Weiner, Richard A.
core