The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
This research presents a predictive engine that integrates into an on-line optimal control planner for electrical microgrids. This controller models the behavior of the underlying system over a specified time horizon and then solves for a control over this period. In an electrical microgrid, such predictions are challenging to obtain in the presence of errors in the sensor information. The likelihood...
Ground Penetrating Radar traffic-speed surveys enable the collection of useful data about the condition of the road, in particular giving information about the thickness of pavement materials. Having a reliable and accurate method to “self-calibrate” the GPR data, and thus avoiding the necessity to collect cores, would transform the GPR method into a fully traffic-speed technique that provides a continuous...
This paper reports on the first implantable phototherapy device to treat diabetic retinopathy by modulating rod cell metabolism through reduction of dark current. Utilizing a tritium-based radioluminescent light source capable of emitting around 505nm, the device achieves phototherapeutic activity for up to a 12-year service lifetime and <30mm3 size. The unique scleral anchoring system facilitates...
We give a uniform and integral version of the short propositional proofs for the determinant identities demonstrated over GF(2) in Hrubeš-Tzameret [9]. Specifically, we show that the multiplicativity of the determinant function over the integers is provable in the bounded arithmetic theory VNC2, which is a first-order theory corresponding to the complexity class NC2. This also establishes the existence...
We report for the first time the design, fabrication, and feasibility of a high-density cell culture system capable of a cell substrate density of 40 cm2/cm3, greater than 250× current commercially available systems. This design provides oxygen directly from gas perfusable membranes on which the cells are grown to overcome oxygen delivery limitations in traditional culture systems. With translation...
Monotone span programs are a linear-algebraic model of computation which were introduced by Karchmer and Wigderson in 1993 [1]. They are known to be equivalent to linear secret sharing schemes, and have various applications in complexity theory and cryptography. Lower bounds for monotone span programs have been difficult to obtain because they use non-monotone operations to compute monotone functions,...
This paper presents a new MEMS approach of maintaining islet oxygenation for subcutaneous islet transplantation therapy of type 1 diabetes by engineering a MEMS oxygen transport device. A device is designed and fabricated. Bench-top testing and computational modeling of the device have demonstrated that it would provide sufficient oxygen to prevent hypoxia-induced islet death and maintain the functional...
The VAST Challenge has been a popular venue for academic and industry participants for over ten years. Many participants comment that the majority of their time in preparing VAST Challenge entries is discovering elements in their software environments that need to be redesigned in order to solve the given task. Fortunately, there is no need to wait until the VAST Challenge is announced to test out...
Human operators can manipulate an integrator plant and manually track a single sine wave very well with almost unity amplitude ratio and zero phase lag as long as the frequency of the sine wave is not too high. However, the pattern of responses across single sine signals of different frequencies does not resemble the pattern of response across random appearing sum-of-sines signals for moderate to...
An inverse analysis approach combining numerical and experimental analyses has been utilised to determine the in-situ effective material properties of Highly Oriented Pyrolytic Graphite (HOPG) in a microelectronics test assembly. The approach adopted uses a Finite Element analysis package to determine temperature distribution over a thermal test assembly. A Virtual Design of Experiments approach is...
To achieve high performance operation of micro-grids that contain stochastic sources and loads is a challenge that will impact cost and complexity. Developing alternative methods for controlling and analyzing these systems will provide insight into tradeoffs that can be made during the design phase. This paper presents a design methodology, based on Hamiltonian Surface Shaping and Power Flow Control...
Grasping and twisting are basic motor skills for the execution of activities in daily life such as opening a door with a door knob. We study the relationship between grip force and hand trajectory during a grasp and twist task when unexpected load torques are encountered. The experimental results on grip force development and hand trajectories are consistent with similar studies on grasp and lift...
An approximate computation of a Boolean function by a circuit or switching network is a computation in which the function is computed correctly on the majority of the inputs (rather than on all inputs). Besides being interesting in their own right, lower bounds for approximate computation have proved useful in many sub areas of complexity theory, such as cryptography and derandomization. Lower bounds...
This paper presents the findings of a literature review that explored the impact of assistive technologies (AT) on quality of life (QOL) for people with dementia. Of the 799 identified papers only 18 studies met the eligibility criteria. The review concludes that few empirical studies involve people with dementia using AT. There is a clear indication that people with mild to moderate dementia are...
For NASA's Space Launch System (SLS) Advanced Booster Engineering Demonstration and/or Risk Reduction (ABEDRR) procurement, Dynetics, Inc. and Pratt & Whitney Rocketdyne (PWR) formed a team to offer a wide-ranging set of risk reduction activities and full-scale, system-level demonstrations that support NASA's goal of enabling competition on an affordable booster that meets the evolved capabilities...
Synthetic aperture radar (SAR) image formation via backprojection offers a robust mechanism by which to form images on general, non-planar surfaces, without often restrictive assumptions regarding the planarity of the wavefront at the locations being imaged. However, backprojection presents a substantially increased computational load relative to other image formation algorithms that typically depend...
Using Jerábek's framework for probabilistic reasoning, we formalize the correctness of two fundamental RNC^2 algorithms for bipartite perfect matching within the theory VPV for polytime reasoning. The first algorithm is for testing if a bipartite graph has a perfect matching, and is based on the Schwartz-Zippel Lemma for polynomial identity testing applied to the Edmonds polynomial of the graph. The...
A novel concept of using a fiber optic technology to create a 3-D seismometer/accelerometer was proposed. The initial planar prototype exhibits a good linearity in the static calibration and less noisy signal in low-frequency dynamic tests. In the near future, a 3-D prototype will be subjected to a large set of tests in an environmental chamber to find the sensors output correlation/immunity to different...
The efficiency of the alpha-beta algorithm is largely dependent on the order in which its branches are searched; a well-ordered search can give a considerable reduction in the number of nodes processed by pruning ineffectual paths. This paper describes `CLAMP' (an acronym for Chunk Learning And Move Prompting) which uses `chunk knowledge' to order the moves on a chessboard in their likelihood to be...
The Ocean Network Seafloor Instrumentation (ONSFI) Project, which commenced in 2007, is a five year multidisciplinary research and development (R&D) project to design, fabricate and validate a proof-of-concept seafloor array of wireless marine sensors for use in monitoring seabed processes, including applications such as geological imaging and earthquake detection. Individual compact, low-cost...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.