Research Output 1965 2020

Filter
Paper
2013

Invariant synthesis for verification of parameterized cyber-physical systems with applications to aerospace systems

Johnson, T. T. & Mitra, S., Sep 16 2013.

Research output: Contribution to conferencePaper

Aircraft
Network protocols
Collision avoidance
Landing
Cyber Physical System

Lime remediation of reactivated landslides

Mesri, G. & Moridzadeh, M., Jan 1 2013, p. 2553-2556. 4 p.

Research output: Contribution to conferencePaper

Landslides
Remediation
Lime
lime
landslide

Manifold preserving hierarchical topic models for quantization and approximation

Kim, M. & Smaragdis, P., Jan 1 2013, p. 2410-2418. 9 p.

Research output: Contribution to conferencePaper

Source separation
Interpolation
experiment
Experiments

Manufacturing of prepreg with microcapsules for self healing composites

Kim, S. Y., Sottos, N. R. & White, S. R., Jan 1 2013, p. 4611-4618. 8 p.

Research output: Contribution to conferencePaper

Capsules
Composite materials

Mechanical reliability of inorganic thin film photovoltaics integrated with composite laminates

Antartis, D. & Chasiotis, I., Jan 1 2013, p. 5583-5590. 8 p.

Research output: Contribution to conferencePaper

Laminates
Residual stresses
Solar cells
Thin films
Composite materials

Microscopic simulation and macroscopic modeling for thermal and chemical non-equilibrium gases

Liu, Y., Panesi, M., Vinokur, M. & Clarke, P., Sep 11 2013.

Research output: Contribution to conferencePaper

Gases
gases
simulation
Distribution functions
distribution functions

Multiphysics Simulation of Metal Solidification Processes with Abaqus

Koric, S., Thomas, B. G. & Hibbeler, L. C., 2013. 10 p.

Research output: Contribution to conferencePaper

Solidification
Metals
Continuous casting
Flow of fluids
Geometry

Networked GPS approach to tracking marine animal schools

Heng, L. & Gao, G. X., Jan 1 2013, p. 612-619. 8 p.

Research output: Contribution to conferencePaper

Global positioning system
Animals
animal
school
recipient

Novice-led paired thematic analysis: A method for conceptual change in engineering

Montfort, D. B., Herman, G. L., Brown, S. A., Matusovich, H. M. & Streveler, R. A., Sep 24 2013.

Research output: Contribution to conferencePaper

Lead
Students
Engineering education

NUMA-aware shared-memory collective communication for MPI

Li, S., Hoefler, T. & Snir, M., Jul 17 2013, p. 85-96. 12 p.

Research output: Contribution to conferencePaper

Data storage equipment
Communication
Experiments
Explosions
Biodiesel
Crude oil
Biofuels
Engines

Observation of micro-explosion inside a spray flame

Huo, M., Lin, S. & Lee, C. F. F., Jan 1 2013.

Research output: Contribution to conferencePaper

Explosions
Water content
Luminance
Drop breakup
Liquids

Oral discussions on session: 'Dynamics and Control' - Part II

Sauer, P. W., Jan 1 2013.

Research output: Contribution to conferencePaper

Dynamical systems
Control systems

Oral discussions on session: 'Advanced Operations' - Part II

Gross, G., Jan 1 2013.

Research output: Contribution to conferencePaper

Dynamical systems
Control systems

Oral discussions on session: 'Dynamics and Control' - Part i

Sauer, P. W., Jan 1 2013.

Research output: Contribution to conferencePaper

Dynamical systems
Control systems

Oral discussions on session: 'Advanced Operations' - Part i

Gross, G., Jan 1 2013.

Research output: Contribution to conferencePaper

Dynamical systems
Control systems

Overcoming RFI with high mask angle antennas and multiple GNSS constellations

Heng, L., Walter, T., Enge, P. & Gao, G. X., Jan 1 2013, p. 3433-3442. 10 p.

Research output: Contribution to conferencePaper

Masks
interference
radio
Navigation
Satellites

Pairwise clustering by minimizing the error of unsupervised Nearest Neighbor classification

Yang, Y., Chu, X. & Huang, T. S., Jan 1 2013, p. 182-187. 6 p.

Research output: Contribution to conferencePaper

Classifiers
Clustering algorithms

Parallel branch-and-bound for two-stage stochastic integer optimization

Langer, A., Venkataraman, R., Palekar, U. S. & Kale, L. V., Jan 1 2013, p. 266-275. 10 p.

Research output: Contribution to conferencePaper

Scalability
Aircraft
Planning

Performance analysis of the lattice Boltzmann model beyond Navier-Stokes

Randles, A. P., Kale, V., Hammond, J., Gropp, W. & Kaxiras, E., Oct 7 2013, p. 1063-1074. 12 p.

Research output: Contribution to conferencePaper

Genes
Boltzmann equation
Fluid dynamics
Computational complexity
Computational fluid dynamics

Pluggable watchdog: Transparent failure detection for MPI programs

Yim, K. S., Kalbarczyk, Z. T. & Iyer, R. K., Oct 7 2013, p. 489-500. 12 p.

Research output: Contribution to conferencePaper

Detectors
Monitoring
Field programmable gate arrays (FPGA)
Computer systems
Semantics

Propeller induced flow effects on wings at low Reynolds numbers

Ananda, G. K., Deters, R. W. & Selig, M. S., Sep 16 2013.

Research output: Contribution to conferencePaper

Propellers
Reynolds number
Drag
Angle of attack
Unmanned aerial vehicles (UAV)

Rate-constrained wavelet multiresolution-model-based predictive control for hybrid combustion-gasification chemical looping process

Zhang, S., Bentsman, J., Lou, X. & Neuschaefer, C., Jan 1 2013, p. 340-358. 19 p.

Research output: Contribution to conferencePaper

Gasification
Flow of solids
Wavelet decomposition
Oxygen
Model structures

Risk-informed resolution of Generic Safety Issue 191

Mohaghegh, Z., Kee, E., Reihani, S. A., Kazemi, R., Johnson, D., Grantom, R., Fleming, K., Sande, T., Letellier, B., Zigler, G., Morton, D., Tejada, J., Howe, K., Leavitt, J., Hassan, Y. A., Vaghetto, R., Lee, S. & Blossom, S., Jan 1 2013, p. 2458-2471. 14 p.

Research output: Contribution to conferencePaper

Risk assessment
Loss of coolant accidents
Industry
Cooling systems
Feedback

SAR codes

Hochwald, B. M., Love, D. J., Yan, S. & Jin, J., May 16 2013, p. 161-169. 9 p.

Research output: Contribution to conferencePaper

Electromagnetic waves
Antennas

SCDA: SLA-aware cloud datacenter architecture for efficient content storage and retrieval

Kassa, D. F. & Nahrstedt, K., Jul 17 2013, p. 121-122. 2 p.

Research output: Contribution to conferencePaper

Servers
Throughput
Data transfer rates
Data communication systems
Resource allocation

Stall/spin flight testing with a subscale aerobatic aircraft

Ragheb, A. M., Dantsker, O. D. & Selig, M. S., Sep 16 2013.

Research output: Contribution to conferencePaper

Ailerons
Aircraft
Testing
Testbeds
Recovery

The MIT-LL/AFRL IWSLT-2013 MT System

Schwartz, L. O., Kazi, M., Coury, M., Salesky, E., Ray, J., Shen, W., Gleason, T., Anderson, T., Erdmann, G., Ore, B., Slyh, R., Gwinnup, J., Young, K. & Hutt, M., Dec 2013.

Research output: Contribution to conferencePaper

Thermal-mechanical behavior of actively cooled vascularized composites

Coppola, A. M., Sottos, N. R. & White, S. R., Jan 1 2013, p. 6821-6828. 8 p.

Research output: Contribution to conferencePaper

Composite materials
Hot Temperature
Causality
Metric
Knowledge Base
Ambiguous
Large Set

Toward asynchronous and MPI-interoperable active messages

Zhao, X., Buntinas, D., Zounmevo, J., Dinan, J., Goodell, D., Balaji, P., Thakur, R., Afsahi, A. & Gropp, W., Aug 14 2013, p. 87-94. 8 p.

Research output: Contribution to conferencePaper

Communication
Bioinformatics
Interoperability
Data storage equipment

Universal outlier detection

Li, Y., Nitinawarat, S. & Veeravalli, V. V., May 16 2013, p. 528-532. 5 p.

Research output: Contribution to conferencePaper

Detectors

Using run-time checking to provide safety and progress for distributed cyber-physical systems

Bak, S., Abad, F. A. T., Huang, Z. & Caccamo, M., Jan 1 2013, p. 287-296. 10 p.

Research output: Contribution to conferencePaper

Communication
Security systems
Cyber Physical System

Using the Semantics-Syntax Interface for Reliable Arabic Modality Annotation

Al-Sabbagh, R., Diesner, J. & Girju, C. R., 2013.

Research output: Contribution to conferencePaper

2012

3D Binaural audio capture and reproduction using a miniature microphone array

Zhao, S., Rogowski, R., Johnson, R. & Jones, D. L., Dec 1 2012.

Research output: Contribution to conferencePaper

Microphones
Headphones
Beamforming
Audition
Real time systems

A fault resilient architecture for distributed cyber-physical systems

Abad, F. A. T., Caccamo, M. & Robbins, B., Nov 19 2012, p. 222-231. 10 p.

Research output: Contribution to conferencePaper

Decentralized control
Voltage control
Communication
Cyber Physical System

An experimental investigation of the flow through the aft portion of a high-flow nacelle bypass concept

Hortensius, R., Elliott, G. S. & Bragg, M. B., Dec 1 2012.

Research output: Contribution to conferencePaper

Electric inductors
Propulsion
Geometry
Flow separation
Flow visualization

A phase field method for tomographic reconstruction from limited data

Hewett, R. J., Jermyn, I., Heath, M. T. & Kamalabadi, F., Jan 1 2012.

Research output: Contribution to conferencePaper

Newton-Raphson method
Telescopes
Tomography
Earth (planet)
Topology

Behavioural social choice: A status report

Regenwetter, M., Grofman, B., Popova, A., Messner, W., Davis-Stober, C. P. & Cavagnaro, D. R., Dec 1 2012.

Research output: Contribution to conferencePaper

Social Choice
Decision theory
Game theory
Finance
Agglomeration

Black hole solution and binary gravitational waves in dynamical chern-simons gravity

Yagi, K., Yunes, N. & Tanaka, T., Dec 1 2012. 1 p.

Research output: Contribution to conferencePaper

gravitational waves
gravitation

Computational assessment of flow through a high-flow nacelle bypass

Jain, N., Jambunathan, R. & Bodony, D. J., Dec 1 2012.

Research output: Contribution to conferencePaper

Turbulence models
Engines
Secondary flow
Aviation
Turbulence

Correlation between emission, electric, and flow properties of arc filament plasma actuators

Deblauw, B., Sanders, B., Glumac, N., Dutton, C. & Elliott, G., Dec 1 2012.

Research output: Contribution to conferencePaper

Actuators
Plasmas
Velocity measurement
Imaging techniques
Electric potential

Design and demonstration of a new small-scale jet noise experiment

Fontaine, R. A., Bobbitt, B., Elliott, G. S., Austin, J. M. & Freund, J. B., Dec 1 2012.

Research output: Contribution to conferencePaper

Acoustic noise
Demonstrations
Nozzles
Acoustics
Anechoic chambers

Development of a fixed wing multi-role unmanned aircraft vehicle research testbed

Dantsker, O. D., Johnson, M. J., Akce, A. & Bretl, T. W., Dec 1 2012.

Research output: Contribution to conferencePaper

Fixed wings
Testbeds
Aircraft
Unmanned aerial vehicles (UAV)
Remote control

Experimental characterization of a pulsed plasma jet

Reedy, T. M., Kale, N. V., Dutton, J. C. & Elliott, G. S., Dec 1 2012.

Research output: Contribution to conferencePaper

Plasma jets
Capacitors
Electric discharges
Actuators
Supersonic flow

Generation of a hybrid DSMC/CFD solution for gas mixtures with internal degrees of freedom

Stephani, K. A., Goldstein, D. B. & Varghese, P. L., Dec 1 2012.

Research output: Contribution to conferencePaper

Gas mixtures
Computational fluid dynamics
Boundary layer flow
Reentry
Degrees of freedom (mechanics)

Jellyfish: Networking data centers randomly

Singla, A., Hong, C. Y., Popa, L. & Godfrey, P. B., Jan 1 2012, p. 225-238. 14 p.

Research output: Contribution to conferencePaper

Rigid structures
Electric wiring
Oils and fats
Servers
Topology

Joint optimization of computing and cooling energy: Analytic model and a machine room case study

Li, S., Le, H., Pham, N., Jin, H. & Abdelzaher, T., Oct 5 2012, p. 396-405. 10 p.

Research output: Contribution to conferencePaper

Cooling
Knobs
Testbeds
Program processors
Energy utilization

Memory-aware scheduling of multicore task sets for real-time systems

Bak, S., Yao, G., Pellizzoni, R. & Caccamo, M., Nov 19 2012, p. 300-309. 10 p.

Research output: Contribution to conferencePaper

Real time systems
Scheduling
Data storage equipment
Time division multiple access
Program processors

Modeling and simulation of near-field enceladus plumes from tiger stripe fractures using a collision-limiter condensation model

Dhariwal, R., Kumar, R., Levin, D. A., Goldstein, D. B., Varghese, P. L. & Trafton, L. M., Dec 1 2012.

Research output: Contribution to conferencePaper

Limiters
Ice
Condensation
Gases
Moon