Entity

Time filter

Source Type

downers grove, IL, United States

DeVry University is a division of DeVry Education Group, a for-profit higher education organization that is also the parent organization for Keller Graduate School of Management, Ross University, American University of the Caribbean, Carrington College, Chamberlain College of Nursing, Becker Professional Review, and DeVry Brasil. The school was founded in 1931 as DeForest Training School, and officially became DeVry University in 2002. As of 2014, DeVry had over 60,000 students across 90 campuses throughout North America and over the internet.DeVry Education Group is headquartered in Downers Grove, Illinois, and Daniel Hamburger is the company's CEO. DeVry University is regionally accredited by the North Central Association of Colleges and Schools.As a for-profit school, Devry has faced increasing scrutiny and criticism from the US government, state Attorneys General in Illinois and Massachusetts, the Pew Foundation, and the Mississippi Center for Justice . Wikipedia.


Podhaisky H.,Martin Luther University of Halle Wittenberg | Marszalek W.,DeVry University
Nonlinear Dynamics | Year: 2012

We present numerically obtained bifurcations of two dual singularly perturbed nonlinear oscillating circuits. Each of the circuits comprises two coupled sections: a nonlinear section with dissipation and a linear one with a small constant biasing source. The two dual oscillators show an interesting pattern of hierarchical oscillations that follow the Stern-Brocot tree with intervals of synchronization yielding Arnold's tongues and their corresponding devil's-like staircases. Several numerical results are included. © Springer Science+Business Media B.V. 2011. Source


Lemarie-Rieusset P.G.,DeVry University
Archive for Rational Mechanics and Analysis | Year: 2012

We re-prove various existence theorems of regular solutions for the Euler equations,using classical tools of real harmonic analysis such as singular integrals,atomic decompositions and maximal functions. F. © 2012 Springer-Verlag. Source


Marszalek W.,DeVry University | Trzaska Z.,University of Warsaw
Circuits, Systems, and Signal Processing | Year: 2010

We consider a singularly perturbed system of differential equations of the form εu' = g(u, v,λ), v' = f (u,v,λ), where (u, v) ε R 3, 0 < ε «1, and λ is a set of parameters. Such a system describes a modified Chua's circuit with mixed-mode oscillations (MMOs). MMOs consist of a series of small-amplitude oscillations (canard solutions) and large-amplitude relaxations. In the paper we provide a series of both numerical and analytical analyses of the singularly perturbed system for the modified Chua's circuit with nonlinear f and g. In particular, we analyze the occurrence of the Farey sequence Ls, where L and s are the numbers of large and small oscillations, respectively. © Springer Science+Business Media, LLC 2010. Source


Marszalek W.,DeVry University
Nonlinear Dynamics | Year: 2015

We consider memelements (memristors and memductors) with special periodic responses (mixed-mode oscillations) and 2D one-period loops yielding constant parameters describing the memelements as single units or components of oscillating circuits. One of the parameters is the action parameter having the dimensions of energy (Formula presented.) time and the SI unit Joule (Formula presented.) second. The remaining loops and parameters correspond to energy of magnetic and electric fields, power and rms current and voltage values. Special mixed one-period loops are also analyzed with pairs of signals associated with two different components of the circuits. The areas enclosed by various loops result in special equations which can be derived from the underlying ODE model of the circuits. The action of a memelement is equivalent to the time integral of the Lagrangian (Formula presented.), where w is the internal state variable of a memelement. The analysis of memristive circuits and their parameters is considered in the framework of mixed-mode oscillations. Also, the unit of action for memelements is proposed to be called Chua ((Formula presented.)Joule(Formula presented.) second) to honor L.O. Chua for his work on memristors and memristive circuits. © 2015 Springer Science+Business Media Dordrecht Source


Belardinelli F.,DeVry University | Lomuscio A.,Imperial College London | Patrizi F.,University of Rome La Sapienza
Journal of Artificial Intelligence Research | Year: 2014

Artifact systems are a novel paradigm for specifying and implementing business processes described in terms of interacting modules called artifacts. Artifacts consist of data and lifecycles, accounting respectively for the relational structure of the artifacts' states and their possible evolutions over time. In this paper we put forward artifact-centric multi-agent systems, a novel formalisation of artifact systems in the context of multi-agent systems operating on them. Differently from the usual process-based models of services, we give a semantics that explicitly accounts for the data structures on which artifact systems are defined. We study the model checking problem for artifact-centric multi-agent systems against specifications expressed in a quantified version of temporal-epistemic logic expressing the knowledge of the agents in the exchange. We begin by noting that the problem is undecidable in general. We identify a noteworthy class of systems that admit bisimilar, finite abstractions. It follows that we can verify these systems by investigating their finite abstractions; we also show that the corresponding model checking problem is EXPSPACE-complete. We then introduce artifact-centric programs, compact and declarative representations of the programs governing both the artifact system and the agents. We show that, while these in principle generate infinite-state systems, under natural conditions their verification problem can be solved on finite abstractions that can be effectively computed from the programs. We exemplify the theoretical results here pursued through a mainstream procurement scenario from the artifact systems literature. ©2014 AI Access Foundation. All rights reserved. Source

Discover hidden collaborations