| Classification_of_hornworts Four classification systems of the Anthocerotophyta. |
| Hornworts_ Proposed phylogenetic relationships. |
| Efficient_Symbolic_Tools A BDD based tool for the formal verification of concurrent systems using a propositional branching-time temporal logic: action computation tree logic (ACTL). It runs under different OS, including Linu |
| Ground_Temporal_Logic__A_Logic_for_Hardware_Verification A temporal logic designed to specify properties of hardware at the register transfer level. |
| Interval_Temporal_Logic A flexible notation for both propositional and first-order reasoning about periods of time found in descriptions of hardware and software systems. A paper by Antonio Cau, Ben Moszkowski and Hussein Ze |
| JMCA_-_Java_ModelChecking_Application JMCA is an Java application for formally verifying finite-state concurrent systems using temporal logic formulas (ltl formulas). |
| Marking_up_Temporal_Logic First in a series of posts to the www-math mailing list on using TL operators in web pages. Clicking [Prev] will continue through the series. |
| Spin A general tool for verifying the correctness of distributed software (designs) in a rigorous and mostly automated fashion. Can be used as a full linear temporal logic model checking system. |
| Temporal_Logic The Stanford Encyclopedia of Philosophy entry on the subject, with a detailed description, application areas and a bibliography. |
| Temporal_Logic_Case_Study A case study applying temporal logic to specify the operation of a bank of identical elevators servicing a number of floors in a building. |
| Temporal_Logic_in_Information_Systems A survey of the field by Jan Chomicki and David Toman. From the 1997 BRICS Lecture Series. |
| The_Temporal_Logic_of_Actions A logic for specifying and reasoning about concurrent systems. |
| TemporalRover Provides automatic verification of protocols and reactive systems through temporal logic specifications. |
| Time_International_Workshop_Series The annual International Workshop on Temporal Representation and Reasoning covers temporal representation and reasoning, including temporal logic. |
| Advanced_Transit_Association ATRA promotes developing technologies such as Personal Rapid Transit (PRT), identifies problems and ways advanced systems can help solve them. Descriptions, studies (download, paper), videos, PRT Mode |
| The_ADVISORS_project Action for advanced Driver assistance and Vehicle control systems Implementation, Standardisation, Optimum use of the Road network and Safety. Includes project description and reports, a virtual driv |
| Alexander_Communications_Group,_Inc_ Offers several newsletters on emerging energy and transportation technology, including intelligent transportation systems (ITS), alternative vehicles, and fuel cell research and development. Some free |
| Automated_People_Mover_Standards_Committee An organization developing standards for automated people movers. Includes publications, directives, and meeting notes. |
| AWAKE Pipeline project for a system to assess driver vigilance and give off a warning, if need be. Lists consortium members and purpose of the project. Based in Europe. |
| Car_Innovations How cars might appear in the future. |
| Future_Transportation Small enthusiast site, with maglev trains, solar sails, transport history. Brief descriptions, diagrams, photographs. |
| Hydro_Lance_Corp_ High Aspect Ratio Twin Hull (H.A.R.T.H.): new, innovative marine ocean ship platform architecture with passive designed, high stability and safety, low fuel use, achieves high speeds in high seas: 50- |
| I_N_S_E_A_N_ Description of research facilities and programs. Includes publications. |
| The_National_Transportation_Library Provides online access to documents and databases covering all aspects of transportation in the U.S. Material is contributed by public and private organizations around the country and access is free. |
| Planning_Rural_Roads Designed to help planners and managers of rural roads networks in developing countries. Covers topics such as selection, design, funding, and maintenance. |
| Poma_Otis Supplies and installs automated people movers. Includes products, specifications, and existing systems. |
| Predit French national program in land transport research and innovation. Information about strategic program efforts to improve performance relative to energy, noise, pollution and environment. |
| SMRTram Horizontal pedestrian mobility system to stretch average walking access distances along selected corridors. Similar to light rail and buses, but with rubber tires on a concrete guideway. |
| Transportation_Research_Information_Services_(TRIS) Searchable database of articles produced and maintained by the Transportation Research Board at the National Academy of Sciences. |
| Flexagon_Re\'flex\'ions Several possibly new trihexaflexagon phenomena are presented. The wide spectrum of findings including explorations with magic squares, palindromes, and much more freshly fans the flexagon fun. |
| Flexagons Includes a definition of the word, instructions on how to make a Trihexaflexagon, how to flex it and information about it and another flexagon. |
| Flexagons Contains instructions on how to fold a flexagon, history of flexagons and printable models of some. |
| Flexagons Contains an introduction and history of Flexagons and a tutorial in how to make a Hexa-hexa-flexagon. |
| Flexagons 1962 technical report which includes an introduction to the history of Flexagons. |
| Hexaflexagon_Toolkit A free application that can generate a hexaflexagon template and folding instructions from six user selected images. Examples Source Code included. |
| Archaeological_Prospection Archaeological Prospection covers all types of archaeological sites (e.g.. urban, rural, and marine) and the full range of underlying geology. It also researches archaeological uses of a wide range of |
| Bath_Spa_Project__Archaeology_Draft_Geoarchaeology_Assessment This assessment shows that a large amount of valuable information can be extracted from these otherwise unpromising deposits and that the intensive application of geoarchaeological analyses has been j |
| Bringing_Together_the_Sciences_of_Geology_and_Archaeology Popular press article by Anne Boyd, El Dorado National Forest Geologist. |
| Carolina_Bay_Geoarchaeology_and_Holocene_Landscape_Evolution Brief profile of a research project being conducted at the Savannah River Ecology Laboratory, University of Georgia. |
| Charles_McBurney_Laboratory_for_Geoarchaeology Overview of the laboratory in the Department of Archaeology at the University of Cambridge. Current research projects, staff members, and related links. |
Home About Computing Education Research Service Directory Search Overview Undergraduate Graduate Computational Engineering ERC Student Association Academic Departmental Affiliations 
Why Computational Engineering?
Emergence ofhigh-performance computing has created a third mode of scientificinvestigation. Computational simulation now joins theoretical analysisand physical experimentation as tools for discovering newknowledge.This development has created the need for new curricula to meet thenation's demand for scientists and engineers with the broadunderstanding necessary to develop and apply these new investigativetools to scientific research and engineering design.Such curricula must involve cross-disciplinary education to producescientists and engineers with broad viewpoints and backgrounds, peoplewho understand the fundamental physical principles involved in aproblem of design or analysis, as well as the mathematical andcomputational tools required to solve it.Mississippi State's graduate program in Computational Engineering(CmE) is unique in its approach to meeting this need. Established in1991 and closely allied with the research programs of the HighPerformance Computing Collaboratory (HPC²), the curriculumis not tied to a traditional academic department, rather it isadministered through the Office of the Dean of the College ofEngineering and managed by the Education Coordinator of theHPC².What is Computational Engineering? Computationalengineering encompasses the design, development, and application ofcomputational systems for the solution of physical problems inengineering and science. These computational systems include not onlythe algorithms and software required for the solution of mathematicalequations describing physical processes, but also the means and methodsof visualizing, analyzing, and interpreting computed results and otherphysical data.The Curriculum CmE is a truly interdisciplinarycurriculum. Its faculty are drawn from several engineering departments,as well as computer science, mathematics, physics, and the researchfaculty of the HPC². Each program of study is carefullytailored by the student's supervisory committee and is based upon thestudent's background, career goals, and research interests.Although there are no specific core courses required, each student'sprogram of study will include adequate course work in: computational mathematics (e.g., numerical analysis, numerical solutions to PDEs, numerical linear algebra) high-performance computing (e.g., parallel algorithms, software engineering, computer architecture) an application area from engineering or physical science (e.g., computational fluid dynamics, electromagnetics, structural analysis, hydrodynamics, geospatial modeling)Students pursuing the PhD degree in CmE will generally earn aminimum of 60 semester hours of graduate credit beyond the bachelor'sdegree. Those pursuing the Master of Science are required to earn atotal of 30 hours of credit, including research credits. Because of theinterdisciplinary nature of the curriculum, most CmE students take someprerequisite courses in subjects outside their undergraduate majors toprepare them for graduate courses. Graduates of the CmE program arewell prepared for research and development positions in industry andgovernment agencies, as well as for careers in university teaching andresearch.Admission RequirementsStudents are accepted into the program with undergraduate degrees inengineering, as well as mathematics, computer science, and the physicalsciences. Regular admission requires that the student meet the generaladmission requirements for Graduate Studies at MSU, receive a positiverecommendation from the Computational Engineering screening committee,and be accepted as a student by a member of the ComputationalEngineering graduate faculty. International students must have scoredat least 550 on the paper-based Test of English as a Foreign Language(TOEFL), or 213 on the computer-based test. All applicants areencouraged to submit scores for the Graduate Record Examination (GRE)as part of their application packet.Financial SupportVirtually all students in Computational Engineering receivefinancial support through graduate research assistantships. This isbecause one of the requirements for admission to the program is that anapplicant be accepted by a member of the CmE faculty into a researchproject in the HPC².Research Facilities
TheHigh PerformanceComputing Collaboratory (HPC²) at MSU, founded by theNational Science Foundation in 1990, is a premier institute for theadvancement of computational engineering. Its resources in computingfacilities and computational expertise are internationally recognized.The HPC² occupies a 44,000-square-foot building, which willbe more than doubled in size in the near future. Graduate students whopursue their studies within the HPC² have access to one ofthe finest research facilities of its kind in the world. TheHPC² houses a desktop infrastructure of general-purposeworkstations and high performance servers. All faculty, staff, andgraduate students have offices in the building. A high-end workstationis placed on each graduate student's desk in a private cubicle.High-performance computing needs are served by supercomputer-class"superclusters" which are constantly being expanded.Additional research facilities are available at the NASA-StennisSpace Center branch of the HPC² on the Mississippi GulfCoast.DeadlinesTo be considered for admission all supporting materials must besubmitted to the MSU Office of Admissions according to the followingschedule: APPLY FOR DEADLINE Fall July 1 Spring November 1 Summer I April 1 Summer II May 1 To apply online or obtain admission forms, please visit the MississippiState University Office of Admissions and Scholarships website.For further information contact: Education Coordinator Mississippi State University HPC Building Box 9627 Mississippi State, MS 39762 edu-coordinator@HPC.MsState.Edu voice: 662-325-8278 fax: 662-325-7692 http://www.hpc.msstate.edu/ News | Events | Jobs | Intranet (Restricted access)Contact: webmasterMississippi State University is an equal opportunity institution. 