Results 81 to 90 of about 237,500 (306)
Congruence from the Operator's Point of View: Compositionality Requirements on Process Semantics [PDF]
, 2010 One of the basic sanity properties of a behavioural semantics is that it constitutes a congruence with respect to standard process operators. This issue has been traditionally addressed by the development of rule formats for transition system ...
Fokkink, Wan, Gazda, Maciej
core +5 more sources
Semantic Pyramids for Gender and Action Recognition
IEEE Transactions on Image Processing, 2014 Person description is a challenging problem in computer vision. We investigated two major aspects of person description: 1) gender and 2) action recognition in still images. Most state-of-the-art approaches for gender and action recognition rely on the description of a single body part, such as face or full-body.
Khan, Fahad Shahbaz +5 more
openaire +6 more sources
Advanced Science, EarlyView.Extended‐field acquisition enables sub‐micron X‐ray imaging of a full mouse brain. The 3.3‐teravoxel volume is reconstructed, registered to a reference atlas, and stored in hierarchical format to augment currently available atlases and improve resolution in the third dimension by an order of magnitude.
Mattia Humbel +8 more
wiley +1 more source
Semantics of “Beneficence’’ in Quran [PDF]
پژوهش نامه معارف قرآنی, 2015 Semanticsdeals withthestudy ofmeaning.“Meaning’’ is awarenessofcultural context and the relationship between a word with other words in a text.
Alireza Dehghanpour +1 more
doaj +1 more source
Application of the WKB Theory to Investigate Electron Tunneling in Kek-Y Graphene
Applied Sciences, 2023 In this paper, we have constructed a WKB approximation for graphene having a Y-shaped Kekulé lattice distortion and a special folding of the K and K′ valleys, which leads to very specific linear energy dispersions with two non-equivalent pairs of ...
Andrii Iurov +3 more
doaj +1 more source
Verification of Generalized Inconsistency-Aware Knowledge and Action Bases (Extended Version) [PDF]
, 2015 Knowledge and Action Bases (KABs) have been put forward as a semantically rich representation of a domain, using a DL KB to account for its static aspects, and actions to evolve its extensional part over time, possibly introducing new objects.
Calvanese, Diego +2 more
core
On Asynchrony and Choreographies [PDF]
, 2017 Choreographic Programming is a paradigm for the development of concurrent software, where deadlocks are prevented syntactically. However, choreography languages are typically synchronous, whereas many real-world systems have asynchronous communications ...
Cruz-Filipe, Luís, Montesi, Fabrizio
core +2 more sources
From Code to Life: The AI‐Driven Revolution in Genome Editing
Advanced Science, EarlyView.This review explores AI‐driven advancements in genome editing, focusing on CRISPR optimization, enhanced targeting precision, reduced off‐target effects, and novel tool design. It addresses ethical challenges, data biases, and highlights future prospects in precision medicine, agriculture, and synthetic biology.
Zhidong Li +10 more
wiley +1 more source
A uniform definition of stochastic process calculi [PDF]
, 2012 We introduce a unifying framework to provide the semantics of process algebras, including their quantitative variants useful for modeling quantitative aspects of behaviors.
De Nicola, Rocco +3 more
core +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