Search results for "004"
showing 10 items of 187 documents
Measurement, Prediction, and Control of Individual Heart Rate Responses to Exercise-Basics and Options for Wearable Devices.
2018
The use of wearable devices or "wearables" in the physical activity domain has been increasing in the last years. These devices are used as training tools providing the user with detailed information about individual physiological responses and feedback to the physical training process. Advantages in sensor technology, miniaturization, energy consumption and processing power increased the usability of these wearables. Furthermore, available sensor technologies must be reliable, valid, and usable. Considering the variety of the existing sensors not all of them are suitable to be integrated in wearables. The application and development of wearables has to consider the characteristics of the p…
Computing Euclidean Steiner trees over segments
2020
In the classical Euclidean Steiner minimum tree (SMT) problem, we are given a set of points in the Euclidean plane and we are supposed to find the minimum length tree that connects all these points, allowing the addition of arbitrary additional points. We investigate the variant of the problem where the input is a set of line segments. We allow these segments to have length 0, i.e., they are points and hence we generalize the classical problem. Furthermore, they are allowed to intersect such that we can model polygonal input. As in the GeoSteiner approach of Juhl et al. (Math Program Comput 10(2):487–532, 2018) for the classical case, we use a two-phase approach where we construct a superse…
Real- and redshift-space halo clustering in $f(R)$ cosmologies
2016
We present two-point correlation function statistics of the mass and the halos in the chameleon $f(R)$ modified gravity scenario using a series of large volume N-body simulations. Three distinct variations of $f(R)$ are considered (F4, F5 and F6) and compared to a fiducial $\Lambda$CDM model in the redshift range $z \in [0,1]$. We find that the matter clustering is indistinguishable for all models except for F4, which shows a significantly steeper slope. The ratio of the redshift- to real-space correlation function at scales $> 20 h^{-1} \mathrm{Mpc}$ agrees with the linear General Relativity (GR) Kaiser formula for the viable $f(R)$ models considered. We consider three halo populations cha…
Comparative genomics and proteomics of Helicobacter mustelae, an ulcerogenic and carcinogenic gastric pathogen
2010
Abstract Background Helicobacter mustelae causes gastritis, ulcers and gastric cancer in ferrets and other mustelids. H. mustelae remains the only helicobacter other than H. pylori that causes gastric ulceration and cancer in its natural host. To improve understanding of H. mustelae pathogenesis, and the ulcerogenic and carcinogenic potential of helicobacters in general, we sequenced the H. mustelae genome, and identified 425 expressed proteins in the envelope and cytosolic proteome. Results The H. mustelae genome lacks orthologs of major H. pylori virulence factors including CagA, VacA, BabA, SabA and OipA. However, it encodes ten autotransporter surface proteins, seven of which were detec…
FO^2 with one transitive relation is decidable
2013
We show that the satisfiability problem for the two-variable first-order logic, FO^2, over transitive structures when only one relation is required to be transitive, is decidable. The result is optimal, as FO^2 over structures with two transitive relations, or with one transitive and one equivalence relation, are known to be undecidable, so in fact, our result completes the classification of FO^2-logics over transitive structures with respect to decidability. We show that the satisfiability problem is in 2-NExpTime. Decidability of the finite satisfiability problem remains open.
The complexity of finite model reasoning in description logics
2005
AbstractWe analyse the complexity of finite model reasoning in the description logic ALCQI, i.e., ALC augmented with qualifying number restrictions, inverse roles, and general TBoxes. It turns out that all relevant reasoning tasks such as concept satisfiability and ABox consistency are ExpTime-complete, regardless of whether the numbers in number restrictions are coded unarily or binarily. Thus, finite model reasoning with ALCQI is not harder than standard reasoning with ALCQI.
High Order Compact Finite Difference Schemes for A Nonlinear Black-Scholes Equation
2001
A nonlinear Black-Scholes equation which models transaction costs arising in the hedging of portfolios is discretized semi-implicitly using high order compact finite difference schemes. A new compact scheme, generalizing the compact schemes of Rigal [29], is derived and proved to be unconditionally stable and non-oscillatory. The numerical results are compared to standard finite difference schemes. It turns out that the compact schemes have very satisfying stability and non-oscillatory properties and are generally more efficient than the considered classical schemes.
Uz dzimumu balstīta diskriminācija attiecībā uz pieeju precēm un pakalpojumiem
2020
Lai gan uz dzimumu balstīta diskriminācija joprojām pastāv, tās izskaušana jau gadu desmitiem ir viens no Eiropas Savienības galvenajiem mērķiem. Lai pēc iespējas efektīvāk izskaustu uz dzimumu balstītu diskrimināciju, nepietiek tikai ar šī jēdziena noskaidrošanu un regulējuma apskatīšanu. Tādēļ paralēli šo jautājumu aplūkošanai, autore centīsies izprast uz dzimumu balstītas diskriminācijas esamības iemeslus un veidus, kā tos ir iespējams izskaust. Bakalaura darba mērķis ir noskaidrot jēdziena “dzimums” būtību, uz dzimumu balstītas diskriminācijas esamības iemeslus un analizēt uz dzimumu balstītas diskriminācijas attiecībā uz pieeju precēm un pakalpojumiem esošo regulējumu un tā nepilnības.…
Hepatitis E Virus Detection in Liver Tissue from Patients with Suspected Drug-Induced Liver Injury
2015
Hepatitis E virus (HEV) infection is increasingly recognized as a cause of acute hepatitis in the industrialized world. We aimed to determine the frequency of acute Hepatitis E virus (HEV) infection in cases of suspected drug-induced liver injury (DILI), mainly a diagnosis of exclusion. To this aim, formalin-fixed, paraffin-embedded (FFPE) liver tissues of all cases routinely processed in our institute during a 2 ½ years period in which DILI was amongst the differential diagnoses (157 liver biopsies, one liver explant) were subjected to semi-nested RT-PCR for the detection of hepatitis E virus (HEV) RNA. Histopathology was re-evaluated on all cases tested positive. HEV RNA was detectable in…
Ontologías para servicios web semánticos de información de tráfico: descripción y herramientas de explotación.
2005
Esta tesis forma parte de los denominados Sistemas Inteligentes de Tráfico (ITS) los cuales se basan en la aplicación de tecnologías de Telecomunicaciones e Informática (Telemática) a los sistemas de ayuda al tráfico vial, perteneciendo al dominio "Servicios de Información al Viajero" (TIS).Como se pone de manifiesto, existen algunos problemas derivados del uso de este tipo de sistemas, desde el punto de vista del usuario, que dan lugar a que éste sea incapaz de obtener la información clara y precisa correspondiente a sus requerimientos.Los principales problemas identificados han sido la falta de un vocabulario común de términos que haga uso de una semántica bien definida que permita obtene…