Results 11 to 20 of about 3,027,820 (357)
Later credits: resourceful reasoning for the later modality [PDF]
Proceedings of the ACM on Programming Languages, 2022 In the past two decades, step-indexed logical relations and separation logics have both come to play a major role in semantics and verification research. More recently, they have been married together in the form of step-indexed separation logics like VST, iCAP, and Iris, which provide powerful tools for (among ...
Simon Spies +6 more
openaire +2 more sources
IEEE Journal of the Electron Devices Society, 2022 This work presents the high-performance Si/SiO2 distributed Bragg reflector (DBR)-integrated lateral germanium (Ge) p-i-n photodetectors (PDs) for atmospheric gas sensing and fiber-optic telecommunication networks in the short-wave infrared (SWIR) regime.
Harshvardhan Kumar +2 more
doaj +1 more source
Journal of Oral Medicine and Oral Surgery, 2022 Introduction: Supero-lateral temporomandibular dislocations with intact condyles are very rare, particularly in countries of sub-Saharan Africa where they are poorly documented.
Zegbeh N'guessan Eric Kouassi +6 more
doaj +1 more source
Revista de la Asociación Argentina de Ortopedia y Traumatología, 2021 Objetivo: Evaluar, de manera retrospectiva, los resultados funcionales y la supervivencia a mediano plazo de la prótesis unicompartimental lateral de rodilla para tratar el genu valgo artrósico.
Gabriel Gaggiotti +2 more
doaj +1 more source
Lateralization of lateral displays in convict cichlids [PDF]
Biology Letters, 2011 We examine lateralization of lateral displays in convict cichlids, Amatitlania nigrofasciata , and show a population level preference for showing the right side. This enables contesting pairs of fish to align in a head-to-tail posture, facilitating other activities.
Arnott, Gareth +2 more
openaire +3 more sources
Turkish Journal of Agriculture: Food Science and Technology, 2022 Broccoli (Brassica oleraceae var. Italica) belongs to the family cruciferae which is mainly used as vegetable at its tender stage. The study was conducted to evaluate the morphological, phenological, head and yield traits of broccoli genotypes at Karma ...
Januka Dahal +5 more
doaj +1 more source
Frontiers in Oncology, 2023 ObjectivePatient positioning is a matter of ongoing debate in the surgical treatment of vestibular schwannoma (VS). Main endpoints of this discussion are preservation of facial nerve functioning, extent of resection, and complications.
Martin Vychopen +3 more
doaj +1 more source
Effects of Lateral Spacing in Tape Irrigation System on Salinity Distribution in Soil Profile under Wheat Cultivation [PDF]
مجله آب و خاک, 2022 Introduction In arid and semi-arid regions, agricultural sustainability needs to improve the consumption of water and soil resources. Low rainfall, high evaporation, low water quality and less leaching of solutes in the soil due to limited water ...
Nader Karimi +3 more
doaj +1 more source
IEEE Journal of the Electron Devices Society, 2020 Detective properties of a GaAs-based position sensitive detector (PSD) employing a very thin, highly doped p±-GaAs layer as a resistive layer were investigated.
Chia-Hua Huang +3 more
doaj +1 more source
Amyotrophic lateral sclerosis: a clinical review
European Journal of Neurology, 2020 Amyotrophic lateral sclerosis (ALS) is a neurodegenerative disorder affecting primarily the motor system, but in which extra‐motor manifestations are increasingly recognized.
Pegah Masrori, P. van Damme
semanticscholar +1 more source