نتایج جستجو برای: strictly pseudo

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

Journal: :بینا 0
عباس باقری a bagheri ocular tissue engineering research center, shahid beheshti university of medical sciences, tehran, iranمرکز تحقیقات مهندسی بافت چشم- دانشگاه علوم پزشکی شهید بهشتی- تهران- ایران رضا جعفری r jafari mazandaran university of medical sciences, sari, iran; 3ophthalmic research center, shahid beheshti university of medical sciences, tehran, iranدانشگاه علوم پزشکی مازندران- ساری- ایران محدثه فیضی m feizi mazandaran university of medical sciences, sari, iran; 3ophthalmic research center, shahid beheshti university of medical sciences, tehran, iranمرکز تحقیقات چشم- دانشگاه علوم پزشکی شهید بهشتی- تهران- ایران

purpose: to report a case who had optic disc duplication, a rare congenital disorder characterized by two well-defined discs in one eye. case report: a 19 months-old child presented with unilateral epiphora in the right eye since birthday. the right eye was smaller than the left eye and mild ptosis was apparent. nasolacrimal duct probing was performed under general anesthesia. the examination r...

Let $Omega_X$ be a bounded, circular and strictly convex domain of a Banach space $X$ and $mathcal{H}(Omega_X)$ denote the space of all holomorphic functions defined on $Omega_X$. The growth space $mathcal{A}^omega(Omega_X)$ is the space of all $finmathcal{H}(Omega_X)$ for which $$|f(x)|leqslant C omega(r_{Omega_X}(x)),quad xin Omega_X,$$ for some constant $C>0$, whenever $r_{Omega_X}$ is the M...

2007
Peter Morris Thorsten Altenkirch Neil Ghani

In order to represent, compute and reason with advanced data types one must go beyond the traditional treatment of data types as being inductive types and, instead, consider them as inductive families. Strictly positive types (SPTs) form a grammar for defining inductive types and, consequently, a fundamental question in the the theory of inductive families is what constitutes a corresponding gr...

2015
Jane Chandlee Rémi Eyraud Jeffrey Heinz

This paper characterizes a subclass of subsequential string-to-string functions called Output Strictly Local (OSL) and presents a learning algorithm which provably learns any OSL function in polynomial time and data. This algorithm is more efficient than other existing ones capable of learning this class. The OSL class is motivated by the study of the nature of string-to-string transformations,...

2005
Qin Iris Wang Dale Schuurmans Dekang Lin

We present a strictly lexical parsing model where all the parameters are based on the words. This model does not rely on part-of-speech tags or grammatical categories. It maximizes the conditional probability of the parse tree given the sentence. This is in contrast with most previous models that compute the joint probability of the parse tree and the sentence. Although the maximization of join...

Journal: :The new microbiologica 2016
Laura Scorzolini Fabio Mengoni Claudio M Mastroianni Rossella Baldan Daniela M Cirillo Maria De Giusti Lucia Marinelli Alessia Cottarelli Lanfranco Fattorini Vincenzo Vullo

Aim of this study was to investigate a pseudo-outbreak of Mycobacterium gordonae analyzing isolates detected from clinical and environmental samples. Mycobacterium gordonae was detected in 7 out of 497 broncho-alveolar lavage (BAL) samples after bronchoscopy procedure in patients admitted to a teaching hospital between January and April 2013. During this pseudo-outbreak clinical, epidemiologica...

Journal: :bulletin of the iranian mathematical society 2014
m. ‎bagherboum a. razani

‎in a real hilbert space‎, ‎an iterative scheme is considered to‎ ‎obtain strong convergence which is an essential tool to find a‎ ‎common fixed point for a countable family of nonexpansive mappings‎ ‎and the solution of a variational inequality problem governed by a‎ ‎monotone mapping‎. ‎in this paper‎, ‎we give a procedure which results‎ ‎in developing shehu's result to solve equilibrium prob...

2014
LASSI PÄIVÄRINTA MIKKO SALO

We prove the absence of non-scattering energies for potentials in the plane having a corner of angle smaller than π. This extends the earlier result of Bl̊asten, Päivärinta and Sylvester who considered rectangular corners. In three dimensions, we prove a similar result for any potential with a circular conic corner whose opening angle is outside a countable subset of (0, π).

2004
Michael Abbott Thorsten Altenkirch Neil Ghani

We introduce container functors as a representation of data types providing a new conceptual analysis of data structures and polymorphic functions. Our development exploits Type Theory as a convenient way to define constructions within locally cartesian closed categories. We show that container morphisms can be full and faithfully interpreted as polymorphic functions (i.e. natural transformatio...

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

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