Results 31 to 40 of about 384,748 (295)
The European Physical Journal C, 2011 If supersymmetry is observed at the LHC its model parameters can be measured at the electroweak scale. We discuss the expected precision on the parameter determination, including a proper treatment of experimental and theoretical errors. Particular attention is paid to degenerate solutions.
Adam, C. +5 more
openaire +3 more sources
Equational unification, word unification, and 2nd-order equational unification
Theoretical Computer Science, 1998 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Friedrich Otto +2 more
openaire +1 more source
Family unification in special grand unification [PDF]
Progress of Theoretical and Experimental Physics, 2018 12 pages, 3 tables, no figures; one paragraph and some references added, typos corrected.
openaire +2 more sources
Unification and anti-unification in the calculus of constructions [PDF]
[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science, 2002 Algorithms for unification and anti-unification in the calculus of constructions, where occurrences of free variables (the variables subject to instantiation) are restricted to higher-order patterns, are presented. Most general unifiers and least common anti-instances are shown to exist and are unique up to a simple equivalence.
openaire +1 more source
User-Oriented Approach to Content Improvement in Official Library Websites
Библиосфера, 2022 The creation of official websites of modern libraries has opened up for them fundamentally new opportunities to present a wide range of information resources and services for remote users.
N. I. Gendina +2 more
doaj +1 more source
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Introduction Bloodstream infections due to repeated vascular access (VA) puncture and circuit connections remain major concerns in hemodialysis. Therefore, we examined current practices for glove, disinfectant, and personal protective equipment (PPE) use according to VA type in national university hospitals in Japan.
Aiko Yamada +6 more
wiley +1 more source
Optimal design of the cable metro with unified intermediate supports [PDF]
Научно-технический вестник Брянского государственного университета, 2017 In article was formulated and solved the problem of conditional nonlinear technical and economic optimization of the distance between intermediate supports, uniform in height, during the design of the cable metro lines in highly urban-ized city ...
Lagerev A.V., Lagerev I.A.
doaj +1 more source
Organoids in pediatric cancer research
FEBS Letters, EarlyView.Organoid technology has revolutionized cancer research, yet its application in pediatric oncology remains limited. Recent advances have enabled the development of pediatric tumor organoids, offering new insights into disease biology, treatment response, and interactions with the tumor microenvironment.
Carla Ríos Arceo, Jarno Drost
wiley +1 more source
Unification of Higher-order Patterns modulo Simple Syntactic Equational Theories [PDF]
Discrete Mathematics & Theoretical Computer Science, 2000 We present an algorithm for unification of higher-order patterns modulo simple syntactic equational theories as defined by Kirchner [14]. The algorithm by Miller [17] for pattern unification, refined by Nipkow [18] is first modified in order to behave as
Alexandre Boudet
doaj +1 more source
Reciprocal control of viral infection and phosphoinositide dynamics
FEBS Letters, EarlyView.Phosphoinositides, although scarce, regulate key cellular processes, including membrane dynamics and signaling. Viruses exploit these lipids to support their entry, replication, assembly, and egress. The central role of phosphoinositides in infection highlights phosphoinositide metabolism as a promising antiviral target.
Marie Déborah Bancilhon, Bruno Mesmin
wiley +1 more source