Results 41 to 50 of about 134,452 (266)
, 1994 We study the cube of type assignment systems, as introduced in [10]. This cube is obtained from Barendregt's typed λ-cube [1] via a natural type erasing function E, that erases type information from terms. We prove that the systems in the former cube enjoy good computational properties, like subject reduction and strong normalization.
van Bakel, Steffen +3 more
openaire +2 more sources
Arthritis Care &Research, EarlyView.Objective A patient‐centered approach for chronic disease management, including systemic lupus erythematosus (SLE), aligns treatment with patients’ values and preferences, leading to improved outcomes. This paper summarizes how patient experiences, perspectives, and priorities informed the American College of Rheumatology (ACR) 2024 Lupus Nephritis (LN)
Shivani Garg +20 more
wiley +1 more source
Diagnostic device of single-element insulators of overhead transmission line by temperature
Омский научный вестникInsulator, electrical device designed for electrical isolation and mechanical fastening of electrical installations or their separate parts, which are under different electrical potentials. As an element of the power system, it plays an important role in
N. A. Tereshchenko
doaj +1 more source
Приборы и методы измерений, 2019 Near background low dose rate measurements are important part of the environmental radiation monitoring. It is possible to fulfill energy response verification for the high sensitive dosimeters based on inorganic scintillation detectors in low energy ...
A. V. Novichenko +2 more
doaj +1 more source
Arthritis Care &Research, EarlyView.Objective Somatic items used in depression assessments can potentially overlap with symptoms related to physical illness, including systemic sclerosis (SSc). No studies have looked at whether somatic depression items may be influenced by diffuse versus limited SSc disease subtypes, which are associated with varying degrees of symptom presentation.
Sophie Hu +110 more
wiley +1 more source
IEEE AccessThis paper presents a fully open-sourced AMS integrated circuit optimization framework based on reinforcement learning (RL). Specifically, given a certain circuit topology and target specifications, this framework optimizes the circuit in both schematic ...
Zonghao Li, Anthony Chan Carusone
doaj +1 more source
Comparing comparing: exercises in stretching – concepts
Anthropology of food, 2014 Introduction This paper is a response to the editors’ invitation to reflect on my experience of a number of comparative research projects undertaken in the last three decades. It is therefore overly self-referential and has no pretensions to survey or examine comparative methods in general.
openaire +2 more sources
Retractions in Rheumatology: Trends, Causes, and Implications for Research Integrity
Arthritis Care &Research, EarlyView.Objective We aimed to describe the trends and main reasons for study retraction in rheumatology literature. Methods We reviewed the Retraction Watch database to identify retracted articles in rheumatology. We recorded the main study characteristics, authors’ countries, reasons for retraction, time from publication to retraction, and trends over time ...
Anna Maria Vettori, Michele Iudici
wiley +1 more source
Mokslas: Lietuvos Ateitis, 2014 The comparator can be described as one of the basic building blocks in electronics. It is implemented both as a discrete device and as a constituent of a complex circuit.
Aleksandr Vasjanov, Vaidotas Barzdėnas
doaj +1 more source
A Systematic Approach to Determining the Duty Cycle for Regenerative Comparator Used in WSN [PDF]
International Journal of Electronics and Telecommunications, 2019 A low power regenerative comparator is very useful in Successive Approximation Register (SAR) type Analog to Digital Converter (ADC) for a Wireless Sensor Node (WSN).
Dipak S. Marathe, Uday P. Khot
doaj +1 more source