From long ago, square has been considered as a space for performing area of cities, and it has been a factor determining the identity of cities through its design and structures. However, with the growth of cities and arrival of modernity management challenges are facing cities. Accordingly, cities have gradually changed into a place for predicting different types of technological, conceptual...

During the development process of complex embedded systems there typically is a large number of architectural decisions that engineers are facing. Each of them can influence the properties of the end result (i.e.: cost, performance, etc.). A systematic process that supports this decision making is often referred to as Design Space Exploration (DSE). The need for computer-aided DSE methods was r...

The state space explosion problem is a hurdle in the acceptance of model checking as a viable tool for verification of large-scale designs. Abstractions may be used to simplify designs, while preserving target verification properties. We propose a simple methodology for abstracting away portions of the data path, thus rendering a large state-space model of the design amenable for verification u...

‎We present some inequalities for operator space numerical radius of $2times 2$ block matrices on the matrix space $mathcal{M}_n(X)$‎, ‎when $X$ is a numerical radius operator space‎. ‎These inequalities contain some upper and lower bounds for operator space numerical radius.

For a closed subspace Y of a Banach space X, we define a separably determined property for Y in X. Let (P) be either proximinality or strong 1 1 2 -ball property and if (P) is separably determined for Y in X, then we prove that L1(μ, Y ) has the same property (P) in L1(μ,X). For an M -embedded space X, we give a class of elements in L1(μ,X ∗∗) having best approximations from L1(μ,X). We also pr...

Γ = { γ ⊂ R ∣∣ |γΛ| < +∞ for any compact Λ ⊂ Rd}, where | · | means the cardinality of a set and γΛ = γ ∩ Λ. Let us define the σ-algebra B (Γ) as the minimal σ-algebra such that all mappings Γ γ −→ |γΛ| are B(Γ)-measurable for any Λ ∈ Bc(R), where Bc(R) is the family of all Borel subsets of Rd with compact closure. The space Γ can be naturally embedded into the space M(Rd) of all measures on Rd...

We prove a transversality “lifting property” for compactified configuration spaces as an application of the multijet theorem: given submanifold configurations points on embedding compact manifold M in Euclidean space, we can find dense set smooth embeddings which corresponding space is transverse to any long two submanifolds are boundary-disjoint. use this setup provide attractive proof square-...

We develop a patent analysis approach to discover types of IT innovations and examine their technological and economic impacts. Our empirical investigation is based on 73,120 patents in the medical devices industry filed between 1996 and 2005. Rather than relying on pre-established classifications of IT innovations, we apply textual analysis to patent abstracts and map the extracted IT innovati...

This paper presents a methodology to solve maneuver regulation problems which is based on transverse feedback linearization. Necessary and sufficient conditions for the linearization of dynamics transverse to an embedded submanifold of the state space are presented. Various examples illustrate the main features of this framework.

We consider m spinless Fermions in l > m degenerate single– particle levels interacting via a k–body random interaction with Gaus-sian probability distribution and k ≤ m in the limit l → ∞ (the embedded k–body random ensembles). We address the cases of orthogonal and unitary symmetry. We derive a novel eigenvalue expansion for the second moment of the Hilbert–space matrix elements of these ense...