Automated Reasoning About Classical Mechanics

In recent years, researchers in artificial intelligence have become interested in replicating human physical reasoning talents in computers. One of the most important skills in this area is predicting how physical systems will behave. This thesis discusses an implemented program that generates algebraic descriptions of how systems of rigid bodies evolve over time. Discussion about the design of this program identifies a physical reasoning paradigm and knowledge representation approach based on mathematical model construction and algebraic reasoning. This paradigm offers several advantages over methods that have become popular in the field, and seems promising for reasoning about a wide variety of classical mechanics problems.

Java Applets for teaching quantum mechanics: Particle in a box

These Java Applets help to illustrate some of the difficult to grasp concepts of quantum mechanics. To run this Applet, use the 'Download as zip files' option. Make sure you extract the files first, then double click on the .html file to run the Applet. These are released as open access resources for the purpose of testing, and are to be deployed at the users own risk. Please report any errors you find.

Java Applets for teaching quantum mechanics: Particle in a 2D box

These Java Applets help to illustrate some of the difficult to grasp concepts of quantum mechanics. To run this Applet, use the 'Download as zip files' option. Make sure you extract the files first, then double click on the .html file to run the Applet. These are released as open access resources for the purpose of testing, and are to be deployed at the users own risk.

Java Applets for teaching quantum mechanics: Particle in a well

These Java Applets help to illustrate some of the difficult to grasp concepts of quantum mechanics. To run this Applet, use the 'Download as zip files' option. Make sure you extract the files first, then double click on the .html file to run the Applet. These are released as open access resources for the purpose of testing, and are to be deployed at the users own risk.

The Inner Meaning of Outer Space: Human Nature and the Celestial Realm

Kant argued that humans possess a priori knowledge of space; although his argument focused on a physics of bodies, it also has implications for a psychology of beings. Many human cultures organize stars in the night sky into constellations (i.e., impose structure); attribute properties, behaviors, and abilities to objects in the celestial realm (i.e., impose meaning); and use perceived regularity in the celestial realms in development of calendars, long-range navigation, agriculture, and astrology (i.e., seek predictability and control). The physical inaccessibility of the celestial realm allows a potent source of metaphor, and also allows projection of myths regarding origin and ascension, places of power, and dwelling places of gods, immortals, and other souls. Developments in astronomy and cosmology influenced views of human nature and the place of humanity in the universe, and these changes parallel declines in egocentrism with human development. Views regarding alleged beings (e.g., angels, extraterrestrials) from the celestial realm (and to how communicate with such beings) are anthropocentric and ignore evolutionary factors in physical and cognitive development. It is suggested that in considering views and uses of the celestial realm, we learn not just about the universe, but also about ourselves. 

Modelo sostenible para las comunicadoras eucarísticas del padre celestial en su etapa fundacional en Colombia en el año 2014

Las Comunicadoras Eucarísticas del Padre Celestial son una comunidad religiosa católica (sociedad de vida apostólica de derecho diocesano), fundada en Colombia en el año 2004 por el sacerdote belga Antonio Lootens y la hermana colombiana Gabriela del Amor Crucificado; ésta comunidad nace con el fin de llevar el mensaje de Jesús a las personas, a través de los medios de comunicación masivos usados para la nueva evangelización: producción de programas televisivos y radiofónicos, creación y difusión de DVD’s participación en congresos, entre otros. Ante esta nueva iniciativa, las hermanas empiezan una gran labor evangelizadora dentro de la Iglesia produciendo diversos programas audiovisuales, pero es allí donde nace la dificultad de los recursos necesarios para ello; esto se debe a que la elaboración de dichas producciones implica un alto costo financiero, humano y técnico, y la comunidad no cuenta con los recursos financieros suficientes para lograrlo. Por ello, ésta investigación propone un modelo para la sostenibilidad económica de las Comunicadoras Eucarísticas del Padre Celestial en su etapa fundacional en Colombia en el año 2014, el cual al ser aplicado frecuentemente en la comunidad, le permite a ella ocuparse libremente de cumplir su carisma, sin preocuparse en cómo sostener sus necesidades básicas; así, se amplía día a día su labor evangelizadora en la Iglesia, a través de los medios de comunicación masivos. Aunque este modelo creado es aplicado inicialmente en las Comunicadoras Eucarísticas, podrá de igual manera ser adaptado y usado para otras comunidades religiosas dentro de la Iglesia, al igual que para otros organismos eclesiales tanto clericales como laicales, en los cuales se una la mística y la profesionalización.

AS - A Level physics : mechanics and materials, waves and particles.

Guía de bolsillo para la revisión de los temas clave en el área de física para alumnos de bachillerato (segundo ciclo de educación secundaria), niveles AS y A, con trescientas preguntas rápidas y sus respuestas, organizadas en secciones temáticas y con consejos de examen. Contiene: fundamentos, mecánica, radioactividad, física de partículas, electricidad, materiales sólidos, ondas y método experimental.

Interpreting students??? perceptions in fluid mechanics learning outcomes

Resumen basado en el de la publicaci??n

A groove-ploughing theory for the production of mega-scale glacial lineations, and implications for ice-stream mechanics

Mega-scale glacial lineations (MSGLs) are longitudinally aligned corrugations (ridge-groove structures 6-100 km long) in sediment produced subglacially. They are indicators of fast flow and a common signature of ice-stream beds. We develop a qualitative theory that accounts for their formation, and use numerical modelling, and observations of ice-stream beds to provide supporting evidence. Ice in contact with a rough (scale of 10-10(3) m) bedrock surface will mimic the form of the bed. Because of flow acceleration and convergence in ice-stream onset zones, the ice-base roughness elements experience transverse strain, transforming them from irregular bumps into longitudinally aligned keels of ice protruding downwards. Where such keels slide across a soft sedimentary bed, they plough through the sediments, carving elongate grooves, and deforming material up into intervening ridges. This explains MSGLs and has important implications for ice-stream mechanics. Groove ploughing provides the means to acquire new lubricating sediment and to transport large volumes of it downstream. Keels may provide basal drag in the force budget of ice streams, thereby playing a role in flow regulation and stability We speculate that groove ploughing permits significant ice-stream widening, thus facilitating high-magnitude ice discharge.