Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "algebraic" wg kryterium: Temat


Tytuł:
Note on algebraic interior systems
Autorzy:
Chajda, Ivan
Powiązania:
https://bibliotekanauki.pl/articles/729087.pdf
Data publikacji:
2005
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
interior system
algebraic closure system
interior algebraic system
Opis:
We get an interrelation between an algebraic closure system and its conjugated interior system. We introduce the concept of algebraic interior system and we get its representation.
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2005, 25, 2; 149-153
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Professor Andrzej Szczepan Białynicki-Birula (1935–2021)
Profesor Andrzej Szczepan Białynicki-Birula (1935–2021)
Autorzy:
Jackowski, Stefan
Powiązania:
https://bibliotekanauki.pl/articles/2121379.pdf
Data publikacji:
2022
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
Andrzej Białynicki-Birula
algebraic geometry
algebraic topology
University of Warsaw
Opis:
Andrzej Białynicki-Birula, Professor at the University of Warsaw died on April 19, 2021 at the age of 85. He was an outstanding mathematician, who made impor- tant contributions to algebra and algebraic geometry. He published many im- portant articles in most prestigious journals such that Annals of Mathematics, Inventiones mathematicae, Topology, American Journal of Mathematics. Profes- sor Białynicki graduated from the University of Warsaw and obtained Ph.D. from the University of California at Berkeley in 1960. After his return to Poland he initiated and played a major role in modernization of research and university curricula in a broad spectrum of mathematical disciplines related to algebra. He has published several textbooks on linear algebra, algebra, algebraic geometry and cryptography, which are currently used at the University of Warsaw and ma- ny other Polish universities. Professor Białynicki-Birula served as the dean of the Faculty of Mathematics, Informatics and Mechanics (1977–1981) and as the vice-rector of the University of Warsaw (1985–1987). He was an ordinary mem- ber of the Polish Academy of Sciences, and a member of the Academia Europea. In recognition of his achievements Professor Białynicki-Birula received several prizes and distinctions, among them the Officers Cross of the Order Polonia Res- tituta. Professor Białynicki-Birula was also an art collector, particularly interested in a gothic sculpture, on which he was an expert. In his summerhouse near Belo- russian border he was renovating and collecting ethnographic objects related to everyday life and work of peasants. He left a wife, Magdalena Borsuk-Białynicka, a professor of palaeontology, two daughters, a son and 11 grandchildren.
Źródło:
Nauka; 2021, 4; 187-199
1231-8515
Pojawia się w:
Nauka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Availability of WDM Multi Ring Networks
Autorzy:
Rados, I.
Rados, K.
Powiązania:
https://bibliotekanauki.pl/articles/309294.pdf
Data publikacji:
2015
Wydawca:
Instytut Łączności - Państwowy Instytut Badawczy
Tematy:
algebraic
availability
multiple
WDM
Opis:
This paper presents a new approach to modeling the availability of the networks composed of multiple interconnected rings in two nodes. For availability modeling method algebraic formulation is used. Using this method, through the availability of multiple ring networks consisting of two and three-rings connected to two nodes, a general expression for the availability between two terminals of multiple ring networks is derived. To perform the expression some real assumptions were taken and the analytical calculation showed that the use of these expressions under these assumptions provides real values for availability between the two terminals of multiple ring networks. Information on the availability of links and nodes is taken from previously published works.
Źródło:
Journal of Telecommunications and Information Technology; 2015, 1; 53-58
1509-4553
1899-8852
Pojawia się w:
Journal of Telecommunications and Information Technology
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The Gaussian measure on algebraic varieties
Autorzy:
Agricola, Ilka
Friedrich, Thomas
Powiązania:
https://bibliotekanauki.pl/articles/1205282.pdf
Data publikacji:
1999
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
Gaussian measure
algebraic variety
Opis:
We prove that the ring ℝ[M] of all polynomials defined on a real algebraic variety $M⊂ℝ^n$ is dense in the Hilbert space $L^2(M,e^{-|x|^2}dμ)$, where dμ denotes the volume form of M and $dν = e^{-|x|^2}dμ$ the Gaussian measure on M.
Źródło:
Fundamenta Mathematicae; 1999, 159, 1; 91-98
0016-2736
Pojawia się w:
Fundamenta Mathematicae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Algebraic Characterization of the Local Craig Interpolation Property
Autorzy:
Gyenis, Zalán
Powiązania:
https://bibliotekanauki.pl/articles/749892.pdf
Data publikacji:
2018
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
Craig interpolation
Algebraic logic
Superamalgamation
Opis:
The sole purpose of this paper is to give an algebraic characterization, in terms of a superamalgamation property, of a local version of Craig interpolation theorem that has been introduced and studied in earlier papers. We continue ongoing research in abstract algebraic logic and use the framework developed by Andréka– Németi and Sain. 
Źródło:
Bulletin of the Section of Logic; 2018, 47, 1
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On solving linear algebraic equations with an ill-conditioned matrix
Autorzy:
Moszyński, Krzysztof
Powiązania:
https://bibliotekanauki.pl/articles/1340476.pdf
Data publikacji:
1995
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
matrix decomposition
linear algebraic systems
Źródło:
Applicationes Mathematicae; 1993-1995, 22, 4; 499-513
1233-7234
Pojawia się w:
Applicationes Mathematicae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The Modelwise Interpolation Property of Semantic Logics
Autorzy:
Gyenis, Zalán
Molnár, Zalán
Öztürk, Övge
Powiązania:
https://bibliotekanauki.pl/articles/43179744.pdf
Data publikacji:
2023
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
interpolation
algebraic logic
amalgamation
superamalgamation
Opis:
In this paper we introduce the modelwise interpolation property of a logic that states that whenever \(\models\phi\to\psi\) holds for two formulas \(\phi\) and \(\psi\), then for every model \(\mathfrak{M}\) there is an interpolant formula \(\chi\) formulated in the intersection of the vocabularies of \(\phi\) and \(\psi\), such that \(\mathfrak{M}\models\phi\to\chi\) and \(\mathfrak{M}\models\chi\to\psi\), that is, the interpolant formula in Craig interpolation may vary from model to model. We compare the modelwise interpolation property with the standard Craig interpolation and with the local interpolation property by discussing examples, most notably the finite variable fragments of first order logic, and difference logic. As an application we connect the modelwise interpolation property with the local Beth definability, and we prove that the modelwise interpolation property of an algebraizable logic can be characterized by a weak form of the superamalgamation property of the class of algebras corresponding to the models of the logic.
Źródło:
Bulletin of the Section of Logic; 2023, 52, 1; 59-83
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Some Algebraic Structures of Picture Fuzzy Matrices
Autorzy:
Silambarasan, I.
Powiązania:
https://bibliotekanauki.pl/articles/1031777.pdf
Data publikacji:
2020
Wydawca:
Przedsiębiorstwo Wydawnictw Naukowych Darwin / Scientific Publishing House DARWIN
Tematy:
Algebraic product
Algebraic sum
Exponentiation operations
Intuitionistic fuzzy matrix
Picture fuzzy matrix
Scalar multiplication
Opis:
In this paper, the concept of Picture fuzzy matrices, which are direct extensions of an intuitionistic fuzzy matrices. Then we define some algebraic operations of Picture fuzzy matrices, such as max-min, min-max, complement, algebraic sum, algebraic product, scalar multiplication (nA) and exponentiation (A^n). We also investigate their algebraic properties of these operations. Furthermore, we define a new operation(@) on Picture fuzzy matrices and discuss distributive laws in the case where the operations of ⊕_℘,〖 ⊗〗_℘,〖 ∧〗_℘ and ∨_℘ are combined each other.
Źródło:
World Scientific News; 2020, 150; 78-91
2392-2192
Pojawia się w:
World Scientific News
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A modern tool for a modern student. Video games in the exploration and learning of mathematics
Autorzy:
Solarz, Izabela
Powiązania:
https://bibliotekanauki.pl/articles/421313.pdf
Data publikacji:
2014
Wydawca:
Wydawnictwo Uniwersytetu Ekonomicznego we Wrocławiu
Tematy:
algebraic skills
unintentional learning
game
Opis:
Solving equations is one of the central topics in mathematics curricula. Teachers would like to pay more attention to building formulas and formulating algebraic models because modern students dare to translate a problem situation into algebra, but very often their students are helpless because of the lack of practice. There is not much time for exercises. The problem is how to help students with acquiring algebraic skills, like transforming expressions and solving equations. There is a new medium in education that can be used for this – video games. Could they help? I designed a special learning arrangement using a special game that was built for learning algebra. The results suggest that This can be a really relevant didactic medium for teaching mathematics.
Źródło:
Didactics of Mathematics; 2014, 11(15); 65-74
1733-7941
Pojawia się w:
Didactics of Mathematics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
LDPC codes based on algebraic graphs
Autorzy:
Polak, M.
Ustimenko, V.
Powiązania:
https://bibliotekanauki.pl/articles/106289.pdf
Data publikacji:
2012
Wydawca:
Uniwersytet Marii Curie-Skłodowskiej. Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej
Tematy:
algebraic graph
LDPC codes
MAP decoder
Opis:
In this paper we investigate correcting properties of LDPC codes obtained from families of algebraic graphs. The graphs considered in this article come from the infinite incidence structure. We describe how to construct these codes, choose the parameters and present several simulations, done by using the MAP decoder. We describe how error correcting properties are dependent on the graph structure. We compare our results with the currently used codes, obtained by Guinand and Lodge [1] from the family of graphs D(k; q), which were constructed by Ustimenko and Lazebnik [2].
Źródło:
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica; 2012, 12, 3; 107-119
1732-1360
2083-3628
Pojawia się w:
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Algebraic observability of linear differential–algebraic systems with delay
Autorzy:
Zaczkiewicz, Z.
Powiązania:
https://bibliotekanauki.pl/articles/205605.pdf
Data publikacji:
2013
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
observability
differential-algebraic systems
time-delay
Opis:
The paper deals with the problem of algebraic observability for linear differential-algebraic systems with delay. For such systems, we present the observability matrix. By algebraic properties of the matrix we define some concepts of observability. We give necessary and sufficient conditions of these algebraic observabilities. We prove relations between these types of observabilities along with spectral observability. Practical verifiability of the conditions is demonstrated on several examples.
Źródło:
Control and Cybernetics; 2013, 42, 2; 491-502
0324-8569
Pojawia się w:
Control and Cybernetics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Weak products of universal algebras
Autorzy:
Sain, Ildikó
Powiązania:
https://bibliotekanauki.pl/articles/1361096.pdf
Data publikacji:
1993
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
universal algebra
algebraic logic
cylindric algebras
Opis:
Weak direct products of arbitrary universal algebras are introduced. The usual notion for groups and rings is a special case. Some universal algebraic properties are proved and applications to cylindric and polyadic algebras are considered.
Źródło:
Banach Center Publications; 1993, 28, 1; 311-318
0137-6934
Pojawia się w:
Banach Center Publications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Hypersatisfaction of formulas in agebraic systems
Autorzy:
Denecke, Klaus
Phusanga, Dara
Powiązania:
https://bibliotekanauki.pl/articles/728760.pdf
Data publikacji:
2009
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
algebraic system
formula
relational clone
hyperformula
Opis:
In [2] the theory of hyperidentities and solid varieties was extended to algebraic systems and solid model classes of algebraic systems. The disadvantage of this approach is that it needs the concept of a formula system. In this paper we present a different approach which is based on the concept of a relational clone. The main result is a characterization of solid model classes of algebraic systems. The results will be applied to study the properties of the monoid of all hypersubstitutions of an ordered algebra.
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2009, 29, 2; 123-151
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On criteria for algebraic independence of collections of functions satisfying algebraic difference relations
Autorzy:
Ogawara, H.
Powiązania:
https://bibliotekanauki.pl/articles/255709.pdf
Data publikacji:
2017
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
difference algebra
systems of algebraic difference equations
algebraic independence
Vignéras’multiple gamma functions
q-polylogarithm functions
Opis:
This paper gives conditions for algebraic independence of a collection of functions satisfying a certain kind of algebraic difference relations. As applications, we show algebraic independence of two collections of special functions: (1) Vignéras’ multiple gamma functions and derivatives of the gamma function, (2) the logarithmic function, q-exponential functions and q-polylogarithm functions. In a similar way, we give a generalization of Ostrowski’s theorem.
Źródło:
Opuscula Mathematica; 2017, 37, 3; 457-472
1232-9274
2300-6919
Pojawia się w:
Opuscula Mathematica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
An algebraic model of the subsystem for the computer generation of elimination operation
Autorzy:
Ovsyak, V.
Ovsyak, O.
Kozelko, M.
Petrushka, J.
Powiązania:
https://bibliotekanauki.pl/articles/114477.pdf
Data publikacji:
2018
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
algorithm of algebra
algebraic methods
algebraic model of operation
elimination operation
graph of subsystem
diagram of sequences
Opis:
A brief analysis of the known methods of non-algebraic and algebraic descriptions of algorithms has been presented. The features of the elimination operation being a term of the algorithm algebra have been shown. An algebraic model of the computer generation of the elimination operation has been synthesized by means of the algorithm algebra. The model has been implemented with the help of software on the platform Microsoft Visual Studio.NET. The models of subsystem as a graph and a diagram of sequences have been designed as well.
Źródło:
Measurement Automation Monitoring; 2018, 64, 3; 48-52
2450-2855
Pojawia się w:
Measurement Automation Monitoring
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On Unconventional Division by Zero
Autorzy:
Czajko, Jakub
Powiązania:
https://bibliotekanauki.pl/articles/1177806.pdf
Data publikacji:
2018
Wydawca:
Przedsiębiorstwo Wydawnictw Naukowych Darwin / Scientific Publishing House DARWIN
Tematy:
Unconventional division by zero
multispatial algebraic multiplication
Opis:
Unconventional division by zero can apply to those cases in which some directly incomparable (i.e. unlike or represented in different algebraic bases) abstract objects taken from two distinct algebraic spaces are acted upon or need to be compared. Multispatial reality paradigm is thus necessary for overcoming conceptual inconsistencies arising in the domain of complex numbers when certain valid abstract reasonings from the hypercomplex domains of quaternions and octonions are carried over back to the 2D complex domain.
Źródło:
World Scientific News; 2018, 99; 133-147
2392-2192
Pojawia się w:
World Scientific News
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Two centuries of the term "algebraic analysis"
Autorzy:
Przeworska-Rolewicz, Danuta
Powiązania:
https://bibliotekanauki.pl/articles/1207439.pdf
Data publikacji:
2000
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
algebraic analysis
right invertible operator
operational calculus
Opis:
The term "Algebraic Analysis" in the last two decades is used in two completely different senses. It seems that at least one is far away from its historical roots. Thus, in order to explain this misunderstanding, the history of this term from its origins is recalled.
Źródło:
Banach Center Publications; 2000, 53, 1; 47-70
0137-6934
Pojawia się w:
Banach Center Publications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Local spectrum and Kaplanskys theorem on algebraic operators
Autorzy:
Drissi, Driss
Powiązania:
https://bibliotekanauki.pl/articles/966011.pdf
Data publikacji:
1998
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
local spectral radius
local spectrum
algebraic operators
Opis:
Using elementary arguments we improve former results of P. Vrbová concerning local spectrum. As a consequence, we obtain a new proof of Kaplansky’s theorem on algebraic operators on a Banach space.
Źródło:
Colloquium Mathematicum; 1998, 75, 2; 159-165
0010-1354
Pojawia się w:
Colloquium Mathematicum
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Holomorphic bijections of algebraic sets
Autorzy:
Cynk, Sławomir
Rusek, Kamil
Powiązania:
https://bibliotekanauki.pl/articles/1294738.pdf
Data publikacji:
1997
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
quasi-projective algebraic set
w-holomorphic mapping
Opis:
We prove that every holomorphic bijection of a quasi-projective algebraic set onto itself is a biholomorphism. This solves the problem posed in [CR].
Źródło:
Annales Polonici Mathematici; 1997, 66, 1; 63-66
0066-2216
Pojawia się w:
Annales Polonici Mathematici
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On a degenerate Riccati equation
Autorzy:
Kesavan, S.
Raymond, J. P.
Powiązania:
https://bibliotekanauki.pl/articles/970756.pdf
Data publikacji:
2009
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
algebraic Riccati equation
optimal control
parabolic systems
Opis:
In this paper, we study the existence of solutions to a degenerate algebraic Riccati equation associated to an optimal control problem with infinite time horizon. Under some assumptions on the control system, we can select a solution to this Riccati equation providing a feedback control law able to stabilize the system.
Źródło:
Control and Cybernetics; 2009, 38, 4B; 1393-1410
0324-8569
Pojawia się w:
Control and Cybernetics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Observability of small solutions of linear differential-algebraic systems with delays
Autorzy:
Zaczkiewicz, Z.
Marchenko, V.
Powiązania:
https://bibliotekanauki.pl/articles/969989.pdf
Data publikacji:
2006
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
observability
small solutions
differential-algebraic systems
time-delay
Opis:
In this paper we investigate observability of small solutions of linear differential-algebraic systems with delays (DAD), i.e. solutions that vanish after some finite time. In particular, we prove existence of two kinds of small solutions of DAD systems. The main result are the rank type conditions for observability of three kinds of small solutions of linear differential-algebraic systems with delay.
Źródło:
Control and Cybernetics; 2006, 35, 4; 997-1013
0324-8569
Pojawia się w:
Control and Cybernetics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On spectra of quadratic operator pencils with rank one gyroscopic linear part
Autorzy:
Boyko, O.
Martynyuk, O.
Pivovarchik, V.
Powiązania:
https://bibliotekanauki.pl/articles/255317.pdf
Data publikacji:
2018
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
quadratic operator pencil
gyroscopic force
eigenvalues
algebraic multiplicity
Opis:
The spectrum of a selfadjoint quadratic operator pencil of the form [formula] is investigated where M ≥ 0, G ≥ 0 are bounded operators and A is selfadjoint bounded below is investigated. It is shown that in the case of rank one operator G the eigenvalues of such a pencil are of two types. The eigenvalues of one of these types are independent of the operator G. Location of the eigenvalues of both types is described. Examples for the case of the Sturm-Liouville operators A are given. Keywords: q
Źródło:
Opuscula Mathematica; 2018, 38, 4; 483-500
1232-9274
2300-6919
Pojawia się w:
Opuscula Mathematica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On bound for the solution of the unified algebraic Riccati equation
Autorzy:
Czornik, Adam
Powiązania:
https://bibliotekanauki.pl/articles/747525.pdf
Data publikacji:
1997
Wydawca:
Polskie Towarzystwo Matematyczne
Tematy:
Algebraic methods
Matrix equations and identities
Single equations
Opis:
.
In recent, years, several bounds of eigenvalues, norms and determinants for solutions of the continuous and discrete Riccati equations have been separately investigated. In this paper, an upper bound for the solution of the unified algebraic Riccati equations is presented. In the limit case, the result is reduced to a new upper bound for t he solution of discrete and continuous Riccati equation.
Źródło:
Mathematica Applicanda; 1997, 26, 40
1730-2668
2299-4009
Pojawia się w:
Mathematica Applicanda
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Spectral integral variation of trees
Autorzy:
Wang, Yi
Fan, Yi-Zheng
Powiązania:
https://bibliotekanauki.pl/articles/743873.pdf
Data publikacji:
2006
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
tree
Laplacian eigenvalues
spectral integral variation
algebraic connectivity
Opis:
In this paper, we determine all trees with the property that adding a particular edge will result in exactly two Laplacian eigenvalues increasing respectively by 1 and the other Laplacian eigenvalues remaining fixed. We also investigate a situation in which the algebraic connectivity is one of the changed eigenvalues.
Źródło:
Discussiones Mathematicae Graph Theory; 2006, 26, 1; 49-58
2083-5892
Pojawia się w:
Discussiones Mathematicae Graph Theory
Dostawca treści:
Biblioteka Nauki
Artykuł

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies