Results 21 to 30 of about 7,541 (115)
IMS signalling for multiparty services based on network level multicast [PDF]
, 2007 3rd EURO-NGI Conference on Next Generation Internet Networks. Norwegian University of Science and Technology, Trondheim, Norway, 21-23 may 2007.The standardization process of the UMTS technology has led to the development of the IP Multimedia Subsystem ...
Azcorra Saloña, Arturo +4 more
core +2 more sources
Acta Obstetricia et Gynecologica Scandinavica, EarlyView.Artificial intelligence enables the interpretation of blind ultrasound sweeps for prenatal diagnostics. Applications include accurate gestational age estimation, amniotic fluid segmentation, fetal presentation classification, and placental localization.
Johanna Schott +6 more
wiley +1 more source
Sharper and Simpler Nonlinear Interpolants for Program Verification
, 2017 Interpolation of jointly infeasible predicates plays important roles in various program verification techniques such as invariant synthesis and CEGAR.
A Gurfinkel +26 more
core +1 more source
Acoustic Integrity Codes: Secure Device Pairing Using Short-Range Acoustic Communication
, 2020 Secure Device Pairing (SDP) relies on an out-of-band channel to authenticate devices. This requires a common hardware interface, which limits the use of existing SDP systems.
Balfanz D. +6 more
core +1 more source
Journal of Agrarian Change, EarlyView.ABSTRACT What role has the state played in the establishment of the current food regime in a post‐socialist setting? Focusing on Croatia, I undertake a critical discourse analysis of the national agricultural strategies enacted during the neoliberal transition between 1991 and 2013.
Alexander Gavranich
wiley +1 more source
Lower Bounds on Complexity of Lyapunov Functions for Switched Linear Systems [PDF]
, 2015 We show that for any positive integer $d$, there are families of switched linear systems---in fixed dimension and defined by two matrices only---that are stable under arbitrary switching but do not admit (i) a polynomial Lyapunov function of degree $\leq
Ahmadi, Amir Ali, Jungers, Raphael
core +2 more sources
Environmental Microbiology Reports, Volume 18, Issue 1, February 2026.By identifying unique/enriched microbial species across taxa and diet types in 318 animal species with our SSD (specificity and specificity diversity) framework, we demonstrated that host phylogeny and diet are joint drivers of microbial specificity compositional heterogeneity, potentially linking the macroecological pattern of phylosymbiosis with the ...
Zhanshan (Sam) Ma
wiley +1 more source
Properties of Bisdiazo Compounds and Their Derived Carbenes via Density Functional Theory
ChemPhysChem, Volume 27, Issue 1, January 2026.Density function theory (DFT) calculation at level of B3LYP‐(D3)BJ/6‐311G** reveals the fundamental electronic structure of substituted bisdiazo compounds as well as their derived carbene and biscarbene species at both ground and excited states. Extension to physisorption onto single‐layer graphene provides more insight of the surface behaviour of this
Xiaosong Liu, Mark Gerard Moloney
wiley +1 more source
Oceanic Heat Transport Along the Norwegian Atlantic Slope Current and the Role of Eddies
Journal of Geophysical Research: Oceans, Volume 131, Issue 1, January 2026.Abstract The poleward warm Atlantic Water and returning cold water in the Nordic Seas play a crucial role in regulating the Northern Hemisphere climate. While previous studies have recognized the importance of mesoscale dynamics, a quantitative assessment of the role of mesoscale eddies in poleward heat transport is lacking.
Dong Jian +3 more
wiley +1 more source
Deep Multitask Learning for Semantic Dependency Parsing
, 2017 We present a deep neural architecture that parses sentences into three semantic dependency graph formalisms. By using efficient, nearly arc-factored inference and a bidirectional-LSTM composed with a multi-layer perceptron, our base system is able to ...
Peng, Hao, Smith, Noah A., Thomson, Sam
core +1 more source