Results 31 to 40 of about 36,599 (197)
Function approximation in Hilbert spaces: a general sequential method and a particular implementation with neural networks [PDF]
, 2000 A sequential method for approximating vectors in Hilbert spaces, called Sequential Approximation with Optimal Coefficients (SAOC), is presented. Most of the existing sequential methods choose the new term so that it matches the previous residue as ...
Romero Merino, Enrique
core +1 more source
Real Estate Management and Valuation, 2018 The changes in law introduced by the so-called “Act on Landscape Protection” (Act on amending certain acts in connection with the strengthening of landscape protection tools of 24 April 2015) obliged local territorial self-government units to define the ...
Płuciennik Monika
doaj +1 more source
Adequate encodings of logical systems in UTT [PDF]
, 2003 In this paper, we present an existing and formalized type theory (UTT) as a logical framework. We compare the resulting framework with LF and give the representation of two significant type systems in the framework: the typed lambda calculus which ...
Mylonakis Pascual, Nicolás
core +1 more source
Visual Description of the Indoor Space of Real Estate in Crowd-Sourcing Environments
Real Estate Management and Valuation, 2020 Emerging the power of collective intelligence through crowdsourcing could create a clear path for visualizing real estate as well. One of the Crowdsourcing applications is describing the indoor space of a real estate.
Haghbayan Sara +2 more
doaj +1 more source
Proof assistance for refnement in type theory [PDF]
, 2003 In this paper, we represent in type theory a proof system for refinement of algebraic specifications. . The representation is not adequate but full because the use of proof obligations to represent side-conditions.
Mylonakis Pascual, Nicolás
core +1 more source
Advanced Science, EarlyView.ABSTRACT Genome‐wide association studies (GWAS) link the Tropomyosin 1 (Tpm1) locus to quantitative blood trait variation, but related mechanisms are unclear. Tpm1 encodes an actin‐binding protein that regulates actin filament diversity, cell adhesion, signaling, and actomyosin contractility.
Po‐Lun Kung +19 more
wiley +1 more source
The Consistency dimension and distribution-dependent learning from queries [PDF]
, 2000 We prove a new combinatorial characterization of polynomial learnability from equivalence queries, and state some of its consequences relating the learnability of a class with the learnability via equivalence and membership queries of its subclasses ...
Balcázar Navarro, José Luis +2 more
core +1 more source
Grain modeling and finite element simulation of damage evolution for AA5182-O aluminum alloy sheet
Journal of Materials Research and Technology, 2020 The evolution of crystal damage in rolled AA5182-O aluminum alloy sheet was studied by experiment and finite element simulation in this paper. Grain size characteristic on rolling anisotropy was determined by electron backscatter diffraction (EBSD) test ...
Gui Li, Saisai Cui
doaj +1 more source
British Journal of Clinical Pharmacology, EarlyView.Abstract Background and Purpose Drug–drug interactions (DDIs) are associated with an increased risk of adverse drug reactions (ADRs). Hospitalized children are particularly vulnerable to DDIs and ADRs due to polypharmacy, frequent use of unlicensed or off‐label medications, and dosing regimens often extrapolated from adult data.
Emilie Laval +6 more
wiley +1 more source
Integration of multimodal data based on surface registration [PDF]
, 2000 The paper proposes and evaluates a strategy for the alignment of anatomical and functional data of the brain. The method takes as an input two different sets of images of a same patient: MR data and SPECT.
Ferré Bergadà, Maria +1 more
core +1 more source