1,429 research outputs found
Alexis Wright interview
No full textCoincidentally tonight, as governments continue to grapple with the on-going social crisis in Aboriginal communities, Indigenous author Alexis Wright has just been announced as the winner of the Miles Franklin Award, Australia's most prestigious literary prize, for her second novel Carpentaria. An Indigenous member of the Waanyi nation of Queensland's far north, and long-time activist on Aboriginal affairs, Alexis Wright's sweeping, poetic book explores the rich mythology, chequered history and present day drama of her Gulf country homeland, and was praised by judges as the standout in a highly competitive field, which included dual Booker Prize winner, Peter Carey
A brief conversation with Alexis Wright
No full textAn interview with the author Alexis Wright is presented. When asked about her interest in books, she explains that she is reading a series of natural history books. She also comments on her interest in travel and the process of writing another novel. The challenges of the writing process are also explored
Episode 35: Alexis Castellanos, Author of “Isla to Island”, and Her Panel Presentation during the Operación Pedro Pan Two-Day Event
No full textIn Part 1 of “Operación Pedro Pan: The Voices and Stories of Cuba’s Child Exodus—A Knights HistoryCast Mini-Series,” the Department of History’s Sebastian Garcia talked with Alexis Castellanos, an author, illustrator, graphic novelist, and a panelist at the esteemed, conspicuous, and powerful “Operación Pedro Pan: Honoring the Cultural, Historical Legacy of Cuba’s Child Exodus” Two-Day Program that Florida Humanities, UCF’s Department of English and Department of Modern Languages and Literatures sponsored (see https://cah.ucf.edu/pedro-pan/ for more details on sponsors and the program in general).
Sebastian structured this specific episode on Alexis Castellanos’ Isla to Island, a wordless graphic novel grounded by her personal family history and the history of Operación Pedro Pan (Operation Peter Pan). By analyzing such a historic event through the medium of fiction, Sebastian argued that this is one of the most unique Knights HistoryCast episodes of all time. Naturally, their conversation expanded to what she talked about during her panel presentation in Panel One, Day 1 of the event that featured “internationally renowned scholars that discussed the political, historical, and cultural legacy of Operación Pedro Pan (1960-1962).” (https://cah.ucf.edu/pedro-pan/)
To purchase Isla to Island (strongly recommend), check out: https://islatoisland.com/.
To find out more about Alexis and her professional work, check out her website at https://alexiscastellanos.com/https://stars.library.ucf.edu/knightshistorycast/1034/thumbnail.jp
THE MYSTIC ROAD : SELECTED POEMS - ALEXIS KARPOUZOS
No full text
Alexis karpouzos (born on April 09, 1967) is a philosopher, author, spiritual master and pioneer of higher consciousness. He is author of several books on philosophy, metaphysics, spirituality, modern science. His most famous books are: ‘’Universal consciousness’’, ‘’non-duality’’, ‘’An ocean of souls’’, ‘’Beyond the heaven’’. Alexis Karpouzos is also a recording artist. He has recorded two music albums and twenty-four singles songs. He has also appeared in two documentary films, television and radio productions. He is the pioneer of the post-ontology consciousness and the wisdom of universal wholeness. The global language of poetry of Alexis Karpouzos, by following the paths of wisdom, is a vehicle for transmitting human knowledge and values, history, ancient traditions, and links with nature. It transmits the human values and worldly knowledge that are essential for opening ourselves to the Other. Poetic creation, therefore, forges very strong links between humans -it transcends beyond languages, beliefs and cultures. Each poem appears in its original form, in a vibrant celebration of life, diversity, language, and the enduring power of poetry. At a time when the Humanities are under threat, this book offers a defense of poetry within the context of growing interest in mindfulness in spirituality, in consciousness, in art, in education.</p
Model Predictive Runtime Verification for Cyber-Physical Systems with Real-Time Deadlines
No full textCyber-physical systems often require fault detection of future events in order to mitigate the fault before failure occurs. Effective on-board runtime verification (RV) will need to not only determine the system’s current state but also predict future faults by predetermined mitigation trigger deadlines. For example, if it takes three seconds to deploy the parachute of an Unmanned Aerial System (UAS), the deployment of the parachute must be triggered three seconds before it is needed to mitigate the impending crash. To allow for the detection of future faults by deadlines, we design a real-time Model Predictive Runtime Verification (MPRV) algorithm that uniquely uses current data traces whenever possible, predicting only the minimum horizon needed to make an on-deadline evaluation. AlthoughMPRV is extensible to other RV engines, we deploy the algorithm on the R2U2 RV engine due to R2U2’s resource-aware architecture, real-time guarantees, and deployment history.We demonstrate the utility of theMPRV algorithm through a quadcopter case study and evaluate the effectiveness of our implementation by conducting memory usage and runtime performance analysis in a resource-constrained FPGA environment.This is a manuscript of a proceeding published as Zhang, Pei, Alexis Aurandt, Rohit Dureja, Phillip H. Jones, and Kristin Yvonne Rozier. "Model Predictive Runtime Verification for Cyber-Physical Systems with Real-Time Deadlines." In International Conference on Formal Modeling and Analysis of Timed Systems, pp. 158-180. Cham: Springer Nature Switzerland, 2023.
doi: https://doi.org/10.1007/978-3-031-42626-1_10
Runtime Verification Triggers Real-Time, Autonomous Fault Recovery on the CySat-I
No full textThis is a post-peer-review, pre-copyedit version of a proceeding published as Aurandt, Alexis, Phillip H. Jones, and Kristin Yvonne Rozier. "Runtime verification triggers real-time, autonomous fault recovery on the CySat-I." In NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings, pp. 816-825. 2022. The final authenticated version is available online at: https://doi.org/10.1007/978-3-031-06773-0_45. Copyright 2022 Springer Nature. Posted with permission.CubeSats are low-cost platforms that are popular for conducting spaceborne experiments, however they are known to have high failure rates (~25% failure rate). In order to improve the likelihood of success of Iowa State University’s
first CubeSat (CySat-I), we integrate Runtime Verification (RV) on the CySat-I
to allow for fault detection at runtime. Although CubeSats have been previously
identified as a possible target for RV, this is the first time that a RV engine has
been deployed on a CubeSat. We utilize the R2U2 runtime verification engine
due to its low overhead; we embed R2U2 directly on the On-Board Computer
(OBC) to monitor the current state of the CySat-I. R2U2 continuously monitors
the different subsystems on the CySat-I, and R2U2’s fault detection triggers predefined fault recovery strategies. Since the Electrical Power System (EPS) is a
common source of failure, we specifically focus on this subsystem. We design
a list of twenty-two specifications from English requirements corresponding to
the EPS and translate them into Mission-time Linear Temporal Logic (MLTL).
We perform mock launches on Earth with external fault injection to illustrate that
R2U2 successfully reasons about faults and the CySat-I effectively performs fault
recovery. We demonstrate that the CySat-I can successfully recover from eight
unique EPS faults at runtime in a timely manner with no errors. During our mock
launches, R2U2 discovered a potential error in the manufacturer’s firmware related to the EPS’s under-voltage event monitoring, and this led to a more in-depth
investigation of the error by the manufacturers
Alexis to the Rescue
No full textThe author’s purpose of this children’s story is to document our culture, to add examples of real Louisiana stories for young children. This story can be classified as a personal narrative fiction story, written in a stream of consciousness from the author. The grade level that is most appropriate is 3rd to 5th grade. The overall tone of the author through the story is hopeful
COSMOLOGY, PHILOSOPHY AND PHYSICS: ALEXIS KARPOUZOS
No full textIf physics leads us today to a world view which is essentially holistic, it returns, in a way, to its beginning, 2,500 years ago. It is interesting to follow the evolution of Western science along its spiral path, starting from the mystical philosophies of the early Greeks, rising and unfolding in an impressive development of intellectual thought that increasingly turned away from its mystical origins to develop a world view which is in sharp contrast to that of the Far East In its most recent stages, Western science is finally overcoming this view and coming back to those of the early Greek and the Eastern philosophies. This time, however, it is not only based on intuition, but also on experiments of great precision and sophistication, and on a rigorous and consistent mathematical formalism. The parallels to modem physics appear not only in the Vedas of Hinduism, in the I Ching , or in the Buddhist sutras, but also in the fragments of Heraclitus, Parmenides, Plotinus, African-American philosophy, the eastern negative theology, in the Sufism of lbn Arabi, in the holistic spirit of Giordano Bruno and Meister Eckhart, in monadology of Leibniz, in the Absolute Idea of Hegel and Shelling, e.t.
All ancient spiritual traditions suggest that the world is a unity and the multiplicity is only apparent. Modern science claims that the visible world of matter and the multiplicity is only apparent, the reality is unseen and invisible. Since different roads the mysticism and the rationalism lead to the same view, the view of the open totality of the world. The mystical insight of spirituality and the rational mind of science leading to the open thought, the wisdom of life. The spiritual experience of oneness conduces to the same insight as reasoning through science. Both convey the insight of fundamental interconnection between ourselves, other people, other forms of life, the biosphere and, ultimately, the universe. Science and spirituality, far from being mutually exclusive and conflicting elements, are complementary partners in the search for the path that can enable humanity to recover its oneness with the world. Science demonstrates the urgent and objective need for it; and spirituality testifies to its inherent value and supreme desirability. We can reason to our oneness in the world, and we can experience our oneness with the world. The time has come to do both, for they are complementary and mutually reinforcing.
Presents a revolutionary new paradigm of Cosmic Thought that bridges the divide between science and spirituality. Discloses the ramifications of non-localized consciousness and how the physical world and spiritual experience are two aspects of the same Cosmos. What scientists are now finding at the outermost frontiers of every field is overturning all the basic premises concerning the nature of matter and reality.The essays on this book are the notes from the international e – learning courses that were given by the philosopher, and author Alexis Karpouzos during the winter of 2014. Students studying in London, Amsterdam, Berlin and Paris took part in the courses, which were held by the educational and cultural center "Alexis karpouzos community", located in Athens
Multimodal Model Predictive Runtime Verification for Safety of Autonomous Cyber-Physical Systems
No full textAutonomous cyber-physical systems must be able to operate safely in a wide range of complex environments. To ensure safety without limiting mitigation options, these systems require detection of safety violations by mitigation trigger deadlines. As a result of these system’s complex environments, multimodal prediction is often required. For example, an autonomous vehicle (AV) operates in complex traffic scenes that result in any given vehicle having the ability to exhibit several plausible future behavior modes (e.g., stop, merge, turn, etc.); therefore, to ensure collision avoidance, an AV must be able to predict the possible multimodal behaviors of nearby vehicles. In previous work, model predictive runtime verification (MPRV) successfully detected future violations by a given deadline, butMPRV only considers a single mode of prediction (i.e., unimodal prediction). We design multimodal model predictive runtime verification (MMPRV) to extend MPRV to consider multiple modes of prediction, and we introduce Predictive Mission-Time Linear Temporal Logic (PMLTL) as an extension of MLTL to support the evaluation of probabilistic multimodal predictions.We examine the correctness and real-time feasibility of MMPRV through two AV case studies where MMPRV utilizes (1) a physics-based multimodal predictor on the F1Tenth autonomous racing vehicle and (2) current state-of-the-art deep neural network multimodal predictors trained and evaluated on the Argoverse motion forecasting dataset.We found that the ability to meet real-time requirements was a challenge for the latter, especially when targeting an embedded computing platform.This is a manuscript of a proceeding published as Aurandt, A., Jones, P.H., Rozier, K.Y., Wongpiromsarn, T. (2024). Multimodal Model Predictive Runtime Verification for Safety of Autonomous Cyber-Physical Systems. In: Haxthausen, A.E., Serwe, W. (eds) Formal Methods for Industrial Critical Systems. FMICS 2024. Lecture Notes in Computer Science, vol 14952. Springer, Cham. https://doi.org/10.1007/978-3-031-68150-9_13
#991 Alexis Carrel: Thoughts on Living.
No full textParticipants include: Rev. Joseph T. Durkin, S.J., Professor of History, Georgetown University, and author of Hope for Our Times and Alexis Carrel on Man and Society Theodore Malinin, M.D., Assistant Professor, Department of Research Pathology, Georgetown University School of Medicine Lt. Vernon Perry, MSC, USN, Head, Tissue Culture Divsion, Tissue Bank Department, National Medical Cente
- …
