gebhart/patrepeval huggingface dataset:
Online Deniability for Multiparty Protocols with Applications to Externally Anonymous Authentication. (2014)

In the problem of anonymous authentication (Boneh et al. CCS 1999), a sender wishes to authenticate a message to a given recipient in a way that preserves anonymity: the recipient does not know the identity of the sender and only is assured that the sender belongs to some authorized set. Although solutions for the problem exist (for example, by using ring signatures, e.g. Naor, Crypto 2002), they provide no security when the anonymity set is a singleton. This work is motivated by the question of whether there is any type of anonymity possible in this scenario. It turns out that we can still protect the identity of all senders (authorized or not) if we shift our concern from preventing the identity information be revealed to the recipient to preventing it could be revealed to an external entity, other than the recipient. We define a natural functionality which provides such guarantees and we denote it by Feaa for externally anonymous authenticated channel. We argue that any realization of Feaa must be deniable in the sense of Dodis et al. TCC 2009. To prove the deniability of similar primitives, previous work defined ad hoc notions of deniability for each task, and then each notion was showed equivalent to realizing the primitive in the Generalized Universal Composability framework (GUC, Canetti et al. TCC 2007). Instead, we put forward the question of whether deniability can be defined independently from any particular task. We answer this question in the affirmative providing a natural extension of the definition of Dodis et al. for arbitrary multiparty protocols. Furthermore, we show that a protocol satisfies this definition if an only if it realizes the ideal functionality Fden in the GUC framework. This result enables us to prove that most GUC functionalities we are aware of (and their realizations) are deniable. We conclude by applying our results to the construction of a deniable protocol that realizes Feaa.
Supplementary Movie 1B from Exploratory Clinical Trial of (4<i>S</i>)-4-(3-[<sup>18</sup>F]fluoropropyl)-l-glutamate for Imaging x<sub>C</sub><sup>−</sup> Transporter Using Positron Emission Tomography in Patients with Non–Small Cell Lung or Breast Cancer (2023)

&lt;p&gt;AVI, 180K, Maximum intensity projection of 18FFSPG in a lung cancer patient (Patient 2).&lt;/p&gt;
Adaptive Neural Control of Nonlinear Time-Delay Systems With Unknown Virtual Control Coefficients (2004)

In this paper, adaptive neural control is presented for a class of strict-feedback nonlinear systems with unknown time delays. The proposed design method does not require a priori knowledge of the signs of the unknown virtual control coefficients. The unknown time delays are compensated for using appropriate Lyapunov-Krasovskii functionals in the design. It is proved that the proposed backstepping design method is able to guarantee semiglobal uniformly ultimately boundedness of all the signals in the closed-loop. In addition, the output of the system is proven to converge to a small neighborhood of the origin. Simulation results are provided to show the effectiveness of the proposed approach.
Exploiting user behaviour for context-aware power management (2006)

With more and more computing devices being deployed in buildings there has been a steady rise in buildings' electricity consumption. At the same time there is a pressing need to reduce overall building energy consumption. Pervasive computing could further exacerbate this problem but it could also provide a solution. Context information (e.g., user location) likely to be available in pervasive computing environments could enable highly effective device power management. The objective of such context-aware power management (CAPM) is to minimise the overall electricity consumption of a building while maintaining acceptable user-perceived device performance. To investigate the potential of CAPM we conducted experimental trials for two simple location-aware power management policies. Our results highlight the presence of two distinct user behaviour patterns but also show that location alone is not enough for effective power management. We therefore propose a CAPM framework that employs Bayesian networks to support prediction of user behaviour patterns from multi-modal sensor data for effective power management. We further propose the use of acoustic data as an interesting context for predicting finer-grained user behaviour. The paper presents an initial evaluation of the resulting framework.
[Nasal polyposis--of interest to several specialties. Improved diagnosis and new therapeutic possibilities]. (2000)

Nasal polyposis, a disease seen mainly in humans and dominated in most cases by an eosinophilic inflammation of unknown etiology, has been an enigma for a few thousand years. Polyps are, however, overrepresented in patients with general airway inflammation as seen in asthma and idiopathic rhinitis, and in patients with infective nasal disease of chronic origin as seen in cystic fibrosis, immune deficiencies and dental sinusitis. Due to the eosinophilic nature of the inflammation, polyps are on the whole sensitive to local steroid treatment with spray or drops. Surgery is indicated when the polyps are solitary or when medical treatment fails.
Phosphatidylinositol 3 kinase modulation of trophoblast cell differentiation (2010)

Genes have been identified with differential expression patterns associated with trophoblast stem cells and trophoblast cell differentiation; a subset of these genes are regulated by PI3K signaling, including those impacting the differentiated trophoblast giant cell phenotype.
Supplemetary Video S3 from Snail1-Expressing Fibroblasts in the Tumor Microenvironment Display Mechanical Properties That Support Metastasis (2023)

&lt;p&gt;Video S3. MDA-MB231 cells on 3D-ECM generated by KO MEFs.&lt;/p&gt;
Realtime phase tracking with multiplier-free barycenter approximation in digital synchronous QPSK receiver for coherent detection (2009)

A multiplier-free phase estimation algorithm for coherent QPSK detection is presented. The barycenter approach is modified by a selectivity mechanism that improves performance. In addition to recently published measurement results, theoretical derivations and simulation results are provided.
Management of Renal Replacement Therapy in Acute Kidney Injury (2007)

These results provide insight into clinical management of RRT and provide normative data for evaluation of the design of ongoing clinical trials.
Preclinical Properties of 18F-AV-45: A PET Agent for Aβ Plaques in the Brain (2009)

(18)F-AV-45 displayed a high binding affinity and specificity to Abeta plaques (K(d), 3.72 +/- 0.30 nM). In vitro autoradiography of postmortem human brain sections showed substantial plaque labeling in AD brains and not in the control brains. Initial high brain uptake and rapid washout from the brain of healthy mice and monkey were observed. Metabolites produced in the blood of healthy mice after an intravenous injection were identified. (18)F-AV-45 displayed excellent binding affinity to Abeta plaques in the AD brain by ex vivo autoradiography in transgenic AD model mice. The results lend support that (18)F-AV-45 may be a useful PET agent for detecting Abeta plaques in the living human brain.
Statistical characterization of the 400 MHz in-body propagation channel in in-door environments (2012)

Channel modeling is the starting point of effective, efficient body-centric communications. Many efforts [2]–[6] have been made to characterize the on-body area propagation channel in static scenarios at various frequency bands in an anechoic chamber. This paper presents an experimental investigation into the in-body channel in 400 MHz MICS Band. By taking into account the joint effect of human movement and multipath effects, the measurements have been conducted in a populated office at very short distances. The dynamic channel behaviour has been captured and based on the statistical analyses of fading duration, a six-state Semi-markov model that considers both Line of Sight (LOS) and Non Line of Sight (NLOS) cases is proposed. Parameters of the Semi-markov model are estimated from the measured data. The validity of this model is confirmed by comparison of the first order and second order statistics of the proposed model with the measured data.
Context-Aware QoS Provision for Mobile Ad-hoc Network -based Ambient Intelligent Environments (2006)

Abstract: Lately, wireless networks have gained acceptance for home networking. Low cost installation, flexibility and no fixed infrastructures have made it possible home environments rapidly to adopt this technology. In this paper we introduce the use of mobile ad-hoc networks (MANETs) for large in-home environments, such as hospitals, government buildings, office and industrial buildings, etc. Thus, we define an information gathering mechanism in order to provide a context aware QoS framework, relaxing some restrictions that are inherited from traditional ad-hoc networks scenarios (battlefield, catastrophic disaster, etc.) to better fit the specific characteristics of this new application field. In particular, we propose an adaptive QoS architecture oriented to provide context-aware quality of service to the traffic generated in a smart-building network.
Structural Changes of Ni/YSZ Cermet for Solid Oxide Fuel Cells in Hydrocarbon Gas Containing Atmospheres (2013)

Macroscopic and microscopic structural changes of Ni/YSZ cermets in CH 4 , C 2 H 6 , and C 3 H 8 containing atmosphere at 1073 K were evaluated by dilatometry and SEM observation. Carbon deposition was observed in low-humidified hydrocarbon atmospheres, accompanying significant expansion of the cermet. SEM observation of the cross section revealed that carbon deposition took place preferentially near the surface and Ni particles seemed to be surrounded by the deposited carbon. The expansion due to carbon deposition did not depend on the kind of hydrocarbon but on the amount of supplied carbon. On the other hand, in high-humidified hydrocarbon atmospheres, e.g. S/C ≥ 1, no carbon deposition and expansion were observed.
POST-LATE MIOCENE KINEMATICS OF THE ADRIA MICROPLATE: INFERENCES FROM GEOLOGICAL, GEOPHYSICAL AND GEODETIC DATA (2006)

The space-time distribution of deformation in the central Mediterranean area suggests that the Adriatic domain (Adria) has moved coherently with Africa up until the late Miocene and that, subsequently, it decoupled from Africa (Nubia) and underwent a clockwise (CW) rotation with respect to Eurasia. This event was determined by the westward push of the Anatolian- Aegean-Balkan system, after its collision with the southern Adriatic continental domain. The CW rotation of the Adria microplate induced a strong compressional regime in the central Mediterranean region, which can account for the major tectonic events that occurred in this zone since the late Miocene. These include the renewal of accretionary activity in the Apenninic belt, the opening of the central Tyrrhenian basin, the detachment of the Iblean microplate from mainland Africa and the development of a major fracture in the northern Adriatic foreland. The CW rotation of the Adria plate came to an end around the late Pliocene-early Pleistocene due to the collision of the Adria continental domain with the Southern Apennines. After this event, Adria has undergone a slow CCW rotation with respect to Eurasia. This kinematic pattern during the last evolutionary phase is suggested by the distribution of Quaternary deformation in the peri-Adriatic zones, in particular the shortening recognized at the eastern (Dinarides-Hellenides) and northern (southern Eastern Alps) boundaries of Adria, and is consistent with the seismological and geodetic evidence in the Adriatic and peri-Adriatic regions. No significant recent deformation can be recognized between Adria and Africa, at the Pliocene decoupling zone or at any other possible decoupling tectonic belt. This suggests no, or at most very little, relative motion between these two domains during the Quaternary. The possible implications of this last evidence on Nubia-Eurasia kinematics are discussed.
Polarization properties of a twisted fiber laser (1995)

The characteristics of the output polarization angle and the polarization-mode beat frequency of a twisted fiber laser are investigated. A theoretical model is used to describe successfully the polarization properties.
Modeling News Trust: A Defeasible Logic Programming Approach (2008)

Deciding whether to trust an information sources on the Web has been recognized as one of the main problems in today's Information Society.In particular, assessing the credibility of news is a major research challenge.Typically, criteria such as freshness, relevance and viewer profile have been used by news services to rank news.However, these services do not deal with credibility from a qualitative perspective, and do not provide mechanisms to cope with controversial news reports.To fill this gap, this paper proposes a novel framework that brings the notions of trust and pluralism into play.In our proposal, we integrate dialectical reasoning into a news recommender system.The system is based on a set of basic principles characterizing the nature of trust.We use Defeasible Logic Programming (DeLP), a general-purpose defeasible argumentation formalism based on logic programming, to model the notion of trust.Our approach helps identify antagonism among sources of news and facilitates the analysis of opposing positions.
Symbiosis: cooperative algorithms for mobile robots and a sensor network (2005)

We address the problem of monitoring spatiotemporal phenomena at high fidelity in an unknown, unstructured, dynamic environment. Our thesis is that a cooperative system comprised of mobile robots (suitable on their own for efficient temporal sampling) and a static sensor net work (suitable on its own for efficient spatial sampling) is an effective means of addressing this problem. We provide theoretical as well as empirical evidence supporting this thesis by decomposing the design of the proposed collaborative system into three constituents. These are respectively, robot coverage and exploration through sensor network deployment, sensor network-assisted robot navigation and sensor network-mediated multi-robot task allocation. 
The first subproblem we address is the embedding of an active infrastructure (sensing, communication and computation) into the environment using robots, which simultaneously use this infrastructure for coverage and exploration. Our algorithm for this is provably complete, decentralized, scalable, robust, fault tolerant and can be used on simple robots. We present experimental and simulation results which verify the performance of the algorithm. We also present theoretical results which illustrate its asymptotic behavior. 
Once a network is deployed it can be used for robot navigation. We present an algorithm that allows robots to navigate precisely and reliably using a deployed sensor network. This network-directed navigation approach can be used by simple (modest computation, communication and sensing requirements) heterogeneous robots. Extensive empirical testing confirms the validity of our approach. 
The final subproblem we address for efficient spatiotemporal monitoring is multi-robot task allocation. The network is used as a spatially diverse ‘sensor’ for event detection and as a mediator which assigns and navigates robots to high-value sampling locations. This builds on the deployment, coverage, and navigation capabilities presented earlier. Network-mediated task allocation allows robots to (1) respond to task they cannot directly sense, (2) communicate at long ranges, (3) efficiently repair and maintain network. We validate our algorithm for task allocation in field and lab experimental settings.
Animal Nutrient Requirements (2001)

Abstract Animals eat to satisfy their need for energy for cellular respiration; carbon skeletons and other elements such as nitrogen for the synthesis of larger organic molecules; and essential nutrients that the animal cannot synthesize from any raw material. The nutrients that animals need include water, carbohydrates, lipids and proteins, essential amino acids, essential fatty acids, vitamins and minerals.
Discrete-time IDA-PBC design for underactuated Hamiltonian control systems (2006)

We develop a discrete-time counterpart of IDA-PBC design for a class of Hamiltonian systems. Euler approximate models are used to obtain discrete-time control laws, which are constructed using the coordinate increment discrete gradient. This approach results in a type of discrete-time controller that can be seen as a simple modification of an emulation controller obtained by sample and hold of the continuous-time IDA-PBC controller. However, this simple modification provides a solution to the crucial problem of Hamiltonian conservation. In addition, due to the extra flexibility possessed by the proposed discrete-time IDA-PBC design, it has the capacity that yields a significant improvement to the performance of the sampled-data control system
Rapid detection and quantification of specific proteins by immunodepletion and microfluidic separation (2012)

Conventional immunoblotting techniques are labor intensive, time consuming and rely on the elution of target protein after depletion. Here we describe a new method for detection and quantification of proteins, independent of washing and elution. In this method, the target protein is first captured by immunodepletion with antibody-coated microbeads. In the second step, both the supernatant after immunodepletion and the untreated protein sample are directly analyzed by microfluidic electrophoresis without further processing. Subsequently, the detection and quantification are performed by comparing the electropherograms of these two samples. This method was tested using an Escherichia coli lysate with a FLAG-tagged protein and anti-FLAG magnetic beads. An incubation of as short as one min was sufficient for detectable depletion (66%) by microchip electrophoresis. Longer incubation (up to 60 min) resulted in more depletion of the target band (82%). Our results show that only 19% of the target is recovered after elution from the beads. By eliminating multiple wash and elution steps, our method is faster, less labor intensive, and highly reproducible. The target protein can still be easily identified even in the case of nonspecific binding at low concentrations. This work highlights the advantages of integrating immunodepletion techniques on a microfluidic platform.
Play with One's Feelings: A Study on Emotion Awareness for Player\n Experience (2020)

Affective interaction between players of video games can elicit rich and\nvarying patterns of emotions. In multiplayer activities that take place in a\ncommon space (such as sports and board games), players are generally aware of\nthe emotions of their teammates or opponents as they can directly observe their\nbehavioral patterns, facial expressions, head pose, body stance and so on.\nPlayers of online video games, however, are not generally aware of the other\nplayers' emotions given the limited channels of direct interaction among them\n(e.g. via emojis or chat boxes). It also turns out that the impact of real-time\nemotionawareness on play is still unexplored in the space of online digital\ngames. Motivated by this lack of empirical knowledge on the role of the affect\nof others to one's gameplay performance in this paper we investigate the\ndegrees to which the expression of manifested emotions of an opponent can\naffect the emotions of the player and consequently his gameplay behavior. In\nthis initial study, we test our hypothesis on a two-player adversarial car\nracing game. We perform a comprehensive user study to evaluate the emotions,\nbehaviors, and attitudes of players in emotion aware versus emotion agnostic\ngame versions. Our findings suggest that expressing the emotional state of the\nopponent through an emoji in real-time affects the emotional state and behavior\nof players that can consequently affect their playing experience.\n
Regiochemical Pathway in the Ring Opening of 2-Acylaziridines (2011)

The aziridine ring bearing electronwithdrawing substituent, so called activated aziridine, is quitelabile to the incoming nucleophiles. Unactivated aziridine isstabilized by the electron-donating substituent at the ringnitrogen with the resistance to the reaction with nucleophilesfor the ring-opening reactions. Thereby, proper activation isneeded to carry out the reaction of unactivated aziridines,and often made through chelation with Lewis acid or bondformation with acyl, trimethylsilyl, protonyl or alkyl grouptoward aziridinium ion.An extensive study on the regiochemical pathways hasbeen carried out with unactivated aziridine since we preparedenantiomerically pure 2-substituted aziridine bearing N-(α-methyl)benzyl group.
The current place of tranexamic acid in the management of bleeding (2014)

There has been an explosion of interest in the ability of tranexamic acid to reduce morbidity and mortality in surgical and traumatic bleeding. Tranexamic acid has been shown to reduce mortality due to traumatic bleeding by a third, without apparent safety issues. It is now clearly established that intravenous tranexamic acid reduces blood loss in patients with surgical bleeding and the need for transfusion. It can also be used topically to reduce bleeding. Its use is being explored further in large pragmatic trials in traumatic head injury, postpartum haemorrhage and in upper gastro-intestinal haemorrhage. There are few side effects from the use of tranexamic acid except when administered in high dose where neurological events have been noted, possibly relating to tranexamic acid interfering with cerebral GABA and glycine receptors. However, clinical studies suggest that there is no increased efficacy in using a higher dose, and that a dose of 1 g intravenously in an adult patient has maximal efficacy, which is not increased by higher doses. The CRASH-2 trauma trial clearly showed no increase in thrombotic events after its use in trauma, indeed there was a significant reduction in myocardial infarction. However, trials of tranexamic acid in surgery have failed to adequately study its effects on the risk of postoperative venous and possible reduction in arterial thrombo-embolism, and this needs to be the subject of future research.
Influence of peri-implant bone quality on implant stability (2012)

The findings of this study confirmed that directing the proximal locking screws at bone regions with better properties can improve fixation stability.