نتایج جستجو برای: tpas

تعداد نتایج: 66  

2007
Nicholas A. Merriam Michael D. Harrison

We present a view of interactive theorem proving as a collection of diverse activities which impact on one another. We catalogue a number of features of existing theorem proving assistants (TPAs) and connect them with the activities which they seem to support. We then volunteer approaches to evaluating these features respecting the connectedness of the activities they support, and begin to make...

Journal: :Journal Of Geophysical Research: Space Physics 2021

Transpolar arcs (TPAs) are believed to predominantly occur under northward interplanetary magnetic field (IMF) conditions with their hemispheric asymmetry controlled by the Sun-Earth (radial) component of IMF. In this study, we present observations TPAs that appear in both northern and southern hemispheres even during a prolonged interval radially oriented The Defense Meteorological Satellite P...

2015
M. Scott Marshall Johan Van Soest R. Dresens J. Paulissen Philippe Lambin Andre Dekker

Rapid and efficient identification of patients eligible for clinical trials is on the critical path to the effective treatment of patients in a radiation oncology clinical setting. However, the Trial Physician Assistants (TPAs) that perform this work must read through many unstructured documents that have been received from regional hospitals and scanned in. The TPA must be familiar with a larg...

A simple and rapid solidified vortex assisted 1-undecanol based liquid-liquid microextraction technique was proposed for preconcentration of trace levels of lead ions. The extraction solvent (1-undecanol) was dispersed into the aqueous samples by the assistance of vortex agitator. 100 µL of 1-undecanol containing ethyl (2Z)-3-[(5-chloro-7-methyl[1,3]thiazolo[5,4-d]pyrimidi...

Journal: :Inorganic chemistry 2014
Zhi Dai Alejandro J Metta-Magaña Jose E Nuñez

The synthesis and electronic properties of a series of platinum(II) complexes composed of electron-donor and electron-acceptor components as potential photovoltaic materials is reported. The complexes are composed of triphenylamines (TPA) and pyridine-derivatized TPAs as the electron-donating components, and alkynyl derivatives of 2,1,3-benzothiadiazole and cyclopentadithiophenone as the electr...

Journal: :Proceedings on Privacy Enhancing Technologies 2023

The number of users wearable activity trackers (WATs) has rapidly increased over the last decade. Although these devices enable their to monitor activities and health, they also raise new security privacy concerns, given sensitive data (e.g., steps, heart rate) collect information that can be inferred from this diseases). In addition sharing with service providers Fitbit), WAT share fitness thi...

Journal: :Agriculture 2023

Cereals are a valuable source of biologically active compounds. Phenolic compounds, which the phenolic acids (PA) found in cereal grains constitute significant proportion, characterized by health-promoting properties largely due to their antioxidant capacity. PA, located mainly outer parts grain, play an important role preventing environmental stresses. Triticale is species increasing economic ...

2013
Muhlis Bal Yavuz Atar Ziya Salturk Ahmet Hakan Ateş Serkan Yağcı Gökçen Coşkun Bal

The use of intravenous thrombolytic agents has revolutionised the treatment of acute myocardial infarction. However, the improvement in mortality rate achieved with these drugs is tempered by the risk of serious bleeding complications, including intracranial haemorrhage. Tenecteplase is a genetically engineered mutant tissue plasminogen activator. Haemorrhagic complications of tissue plasminoge...

Journal: :The Analyst 2015
Peter S Toth Robert A W Dryfe

Two-phase voltammetry has been carried out using a reverse cell configuration, i.e. with the lower density organic solvent on the top of the aqueous solution in the cell, where the organic solvents contain either nitrile or ketone functional groups. The transfer of tetraphenylarsonium TPAs(+), tetrabutylammonium TBA(+), tetrapropylammonium TPrA(+), and perchlorate CIO4(-) ions across these liqu...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید