Results 81 to 90 of about 493,809 (298)
International Journal of Geographical Information Science, 2018 Comprehensive water data management requires semantically integrating various data models and ontologies that represent hydrologic knowledge. But integration is hampered by nuances in the use of water-related vocabulary (e.g.
T. Hahmann, Shirly Stephen
semanticscholar +1 more source
Advanced Science, EarlyView.The Semaphorin 3E (Sema3E)‐Plexin‐D1 pathway mediated by C/EBPα and C/EBPβ downstream of the luteinizing hormone (LH) surge plays important roles in the mouse preovulatory ovary. Timely activation and suppression of this pathway during the preovulatory stage are crucial for ovulation, corpus luteum formation, and proper angiogenesis.
Hanxue Zhang +11 more
wiley +1 more source
Category theory : definitions and examples [PDF]
, 1990 Category theory was invented as an abstract language for describing certain structures and constructions which repeatedly occur in many branches of mathematics, such as topology, algebra, and logic.
Srinivas, Yellamraju V.
core
Non-deterministic algebraization of logics by swap structures1 [PDF]
, 2020 Multialgebras have been much studied in mathematics and in computer science. In 2016 Carnielli and Coniglio introduced a class of multialgebras called swap structures, as a semantic framework for dealing with several Logics of Formal Inconsistency that ...
Coniglio, Marcelo E. +2 more
core
A Comparison of Petri Net Semantics under the Collective Token Philosophy [PDF]
, 1998 In recent years, several semantics for place/transition Petri nets have been proposed that adopt the collective token philosophy. We investigate distinctions and similarities between three such models, namely configuration structures, concurrent ...
E. Best +15 more
core +5 more sources
A Branch and Bound Algorithm for Counting Independent Sets on Grid Graphs
Computer Sciences & Mathematics Forum, 2023 A relevant problem in combinatorial mathematics is the problem of counting independent sets of a graph G, denoted by i(G). This problem has many applications in combinatorics, physics, chemistry and computer science.
Guillermo De Ita +2 more
doaj +1 more source
From Semantics to Computer Science: Semantics of program representation graphs
, 1989 Program representation graphs are a recently introduced intermediate representation form for programs. In this paper, we develop a mathematical semantics for these graphs by interpreting them as data-flow graphs.
G. Ramalingam, T. Reps
semanticscholar +1 more source
A Novel Dual‐Network Approach for Real‐Time Liveweight Estimation in Precision Livestock Management
Advanced Science, EarlyView.A novel dual‐network framework is proposed for real‐time, non‐contact liveweight estimation of pigs. By extracting contour information instead of segmented images, the method achieves high accuracy (R2 = 0.993) and an exceptional speed of 1131.6 FPS. This approach enhances automation in livestock farming, providing a scalable and efficient solution for
Ximing Dong +6 more
wiley +1 more source
Explainable Deep Multilevel Attention Learning for Predicting Protein Carbonylation Sites
Advanced Science, EarlyView.Selective carbonylation sites (SCANS) are conceptualized, designed, evaluated, and released. SCANS captures segment‐level, protein‐level, and residue embeddings features. It utilizes elaborate loss function to penalize cross‐predictions at the residue level.
Jian Zhang +6 more
wiley +1 more source
Dynamic-Epistemic reasoning on distributed systems [PDF]
, 2007 We propose a new logic designed for modelling and reasoning about information flow and information exchange between spatially located (but potentially mobile), interconnected agents witnessing a distributed computation.
Mardare, Radu
core