Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Earth Sciences (332)
- Life Sciences (313)
- Computer Sciences (311)
- Social and Behavioral Sciences (303)
- Chemistry (229)
-
- Environmental Sciences (223)
- Physics (179)
- Mathematics (174)
- Engineering (126)
- Statistics and Probability (119)
- Software Engineering (99)
- Oceanography and Atmospheric Sciences and Meteorology (77)
- Business (76)
- Computer Engineering (62)
- Medicine and Health Sciences (60)
- Sustainability (60)
- Education (54)
- Biostatistics (48)
- Statistical Methodology (40)
- Oceanography (39)
- Soil Science (38)
- Geology (36)
- Law (34)
- Databases and Information Systems (32)
- Mechanical Engineering (32)
- Ocean Engineering (32)
- Robotics (32)
- Applied Mathematics (31)
- Bioinformatics (30)
- Keyword
-
- Journal Articles (69)
- For (68)
- GeoQUEST (55)
- Australia (44)
- Analysis (38)
-
- System (35)
- Articles (27)
- Detection (27)
- CAS (26)
- CMMB (25)
- Model (25)
- Services Computing (25)
- Human (24)
- Using (24)
- Environmental Law (22)
- Conference Papers (19)
- Environmental law (19)
- Image (19)
- Systems (19)
- Learning (18)
- From (17)
- Grants (17)
- Information (17)
- Time (17)
- Change (16)
- Control (16)
- Dating (16)
- Modelling (16)
- Networks (16)
- Power (16)
- Publication Year
- Publication
-
- Associate Professor Edward D Burton (99)
- Mark R. Anderson (92)
- David LO (62)
- Caroline P Lubert (59)
- Richard G Roberts (56)
-
- Barry R Holstein (53)
- Samuel A Morton (53)
- Chris Gibson (40)
- Benjamin F. Dattilo (39)
- Jia Zhang (38)
- Christopher N. Roman (32)
- Dr Nicholas J Ward (30)
- Professor Fazel Naghdy (30)
- Professor Katina Michael (29)
- Shuangge Ma (29)
- B. G. Jones (26)
- Nat Quansah (26)
- Tor Hundloe (25)
- Arcot Desai NARASIMHALU (24)
- John C. Dernbach (23)
- Stan Wagon, Retired (22)
- Lara K. Pudwell (21)
- Dr Ping Yu (19)
- Professor Brian Cullis (19)
- Professor Philip Ogunbona (19)
- Associate Professor Wanqing Li (17)
- Tian-Xiao He (17)
- Dr Fenghui Ren (16)
- Elizabeth Shoop (16)
- Ronald J. Duchovic (16)
Articles 31 - 60 of 2377
Full-Text Articles in Physical Sciences and Mathematics
New Body Mass Estimates For Canis Dirus, The Extinct Pleistocene Dire Wolf, William Anyonge, Christopher Roman
New Body Mass Estimates For Canis Dirus, The Extinct Pleistocene Dire Wolf, William Anyonge, Christopher Roman
Christopher Roman
Quantitative study of the body mass of Canis dirus. Results indicate a mean body mass comparable to the extant gray wolf, suggesting larger individual animals probably exceed the body mass range of extant gray wolves.
Platform-Specific Code Generation From Platform-Independent Timed Models, Baekgyu Kim, Lu Feng, Oleg Sokolsky, Insup Lee
Platform-Specific Code Generation From Platform-Independent Timed Models, Baekgyu Kim, Lu Feng, Oleg Sokolsky, Insup Lee
Oleg Sokolsky
Many safety-critical real-time embedded systems need to meet stringent timing constraints such as preserving delay bounds between input and output events. In model-based development, a system is often implemented by using a code generator to automatically generate source code from system models, and integrating the generated source code with a platform. It is challenging to guarantee that the implemented systems preserve required timing constraints, because the timed behavior of the source code and the platform is closely intertwined. In this paper, we address this challenge by proposing a model transformation approach for the code generation. Our approach compensates the platform-processing …
From Requirements To Code: Model Based Development Of A Medical Cyber Physical System, Anitha Murugesan, Mats Heimdahl, Michael Whalen, Sanjai Rayadurgam, John Komp, Lian Duan, Baekgyu Kim, Oleg Sokolsky, Insup Lee
From Requirements To Code: Model Based Development Of A Medical Cyber Physical System, Anitha Murugesan, Mats Heimdahl, Michael Whalen, Sanjai Rayadurgam, John Komp, Lian Duan, Baekgyu Kim, Oleg Sokolsky, Insup Lee
Oleg Sokolsky
The advanced use of technology in medical devices has improved the way health care is delivered to patients. Unfortunately, the increased complexity of modern medical devices poses challenges for development, assurance, and regulatory approval. In an e ort to improve the safety of advanced medical devices, organizations such as FDA have supported exploration of techniques to aid in the development and regulatory approval of such systems. In an ongoing research project, our aim is to provide effective development techniques and exemplars of system development artifacts that demonstrate state of the art development techniques.
In this paper we present an end-to-end …
Verified Ros-Based Deployment Of Platform-Independent Control Systems, Wenrui Meng, Junkil Park, Oleg Sokolsky, Stephanie Weirich, Insup Lee
Verified Ros-Based Deployment Of Platform-Independent Control Systems, Wenrui Meng, Junkil Park, Oleg Sokolsky, Stephanie Weirich, Insup Lee
Oleg Sokolsky
The paper considers the problem of model-based deployment of platform-independent control code on a specific platform. The approach is based on automatic generation of platform-specific glue code from an architectural model of the system. We present a tool, ROSGen, that generates the glue code based on a declarative specification of platform interfaces. Our implementation targets the popular Robot Operating System (ROS) platform. We demonstrate that the code generation process is amenable to formal verification. The code generator is implemented in Coq and relies on the infrastructure provided by the CompCert and VST tool. We prove that the generated code always …
Verified Ros-Based Deployment Of Platform-Independent Control Systems, Wenrui Meng, Junkil Park, Oleg Sokolsky, Stephanie Weirich, Insup Lee
Verified Ros-Based Deployment Of Platform-Independent Control Systems, Wenrui Meng, Junkil Park, Oleg Sokolsky, Stephanie Weirich, Insup Lee
Oleg Sokolsky
The paper considers the problem of model-based deployment of platform-independent control code on a specific platform. The approach is based on automatic generation of platform-specific glue code from an architectural model of the system. We present a tool, ROSGen, that generates the glue code based on a declarative specification of platform interfaces. Our implementation targets the popular Robot Operating System (ROS) platform. We demonstrate that the code generation process is amenable to formal verification. The code generator is implemented in Coq and relies on the infrastructure provided by the CompCert and VST tool. We prove that the generated code always …
Automatic Verification Of Linear Controller Software, Miroslav Pajic, Junkil Park, Insup Lee, George Pappas, Oleg Sokolsky
Automatic Verification Of Linear Controller Software, Miroslav Pajic, Junkil Park, Insup Lee, George Pappas, Oleg Sokolsky
Oleg Sokolsky
We consider the problem of verification of software implementations of linear time-invariant controllers. Commonly, different implementations use different representations of the controller’s state, for example due to optimizations in a third-party code generator. To accommodate this variation, we exploit input-output controller specification captured by the controller’s transfer function and show how to automatically verify correctness of C code controller implementations using a Frama-C/Why3/Z3 toolchain. Scalability of the approach is evaluated using randomly generated controller specifications of realistic size.
From Requirements To Code: Model Based Development Of A Medical Cyber Physical System, Anitha Murugesan, Mats Heimdahl, Michael Whalen, Sanjai Rayadurgam, John Komp, Lian Duan, Baekgyu Kim, Oleg Sokolsky, Insup Lee
From Requirements To Code: Model Based Development Of A Medical Cyber Physical System, Anitha Murugesan, Mats Heimdahl, Michael Whalen, Sanjai Rayadurgam, John Komp, Lian Duan, Baekgyu Kim, Oleg Sokolsky, Insup Lee
Oleg Sokolsky
The advanced use of technology in medical devices has improved the way health care is delivered to patients. Unfortunately, the increased complexity of modern medical devices poses challenges for development, assurance, and regulatory approval. In an e ort to improve the safety of advanced medical devices, organizations such as FDA have supported exploration of techniques to aid in the development and regulatory approval of such systems. In an ongoing research project, our aim is to provide effective development techniques and exemplars of system development artifacts that demonstrate state of the art development techniques.
In this paper we present an end-to-end …
Platform-Specific Code Generation From Platform-Independent Timed Models, Baekgyu Kim, Lu Feng, Oleg Sokolsky, Insup Lee
Platform-Specific Code Generation From Platform-Independent Timed Models, Baekgyu Kim, Lu Feng, Oleg Sokolsky, Insup Lee
Oleg Sokolsky
Many safety-critical real-time embedded systems need to meet stringent timing constraints such as preserving delay bounds between input and output events. In model-based development, a system is often implemented by using a code generator to automatically generate source code from system models, and integrating the generated source code with a platform. It is challenging to guarantee that the implemented systems preserve required timing constraints, because the timed behavior of the source code and the platform is closely intertwined. In this paper, we address this challenge by proposing a model transformation approach for the code generation. Our approach compensates the platform-processing …
A Data-Driven Behavior Modeling And Analysis Framework For Diabetic Patients On Insulin Pumps, Sanjian Chen, Lu Feng, Michael Rickels, Amy Peleckis, Oleg Sokolsky, Insup Lee
A Data-Driven Behavior Modeling And Analysis Framework For Diabetic Patients On Insulin Pumps, Sanjian Chen, Lu Feng, Michael Rickels, Amy Peleckis, Oleg Sokolsky, Insup Lee
Oleg Sokolsky
About 30%-40% of Type 1 Diabetes (T1D) patients in the United States use insulin pumps. Current insulin infusion systems require users to manually input meal carb count and approve or modify the system-suggested meal insulin dose. Users can give correction insulin boluses at any time. Since meal carbohydrates and insulin are the two main driving forces of the glucose physiology, the user-specific eating and pump-using behavior has a great impact on the quality of glycemic control.
In this paper, we propose an “Eat, Trust, and Correct” (ETC) framework to model the T1D insulin pump users’ behavior. We use machine learning …
Thirty Thousand Years Of Chemistry: Pigments, Pottery, Perfumes, Potions, Mary Orna
Thirty Thousand Years Of Chemistry: Pigments, Pottery, Perfumes, Potions, Mary Orna
Sr. Mary Virgina Orna O.S.U.
No abstract provided.
Iceland: Extreme Learning In The Land Of Fire And Ice, Jason Polk, Leslie North
Iceland: Extreme Learning In The Land Of Fire And Ice, Jason Polk, Leslie North
Leslie North
WKU Libraries kicked off the spring season of "Far Away Places" with Dr. Jason Polk and Dr. Leslie North, Asstant Professors from the Department of Geography and Geology at WKU, who talked about leading a study abroad group to Iceland in the summer of 2015. WKU Libraries kicks off the spring season of Far Away Places with Jason Polk and Leslie North, Asst. Professors from the Department of Geography and Geology at WKU, who will be talking about leading a study abroad group to Iceland in the summer of 2015. Dr. Polk and Dr. North co-taught this course with faculty …
What's The Dirt On The Dirt? Sunnyslope's Soils Exposed, Alan Busacca, David Wilkins
What's The Dirt On The Dirt? Sunnyslope's Soils Exposed, Alan Busacca, David Wilkins
David E. Wilkins
Geometric Limits Of Julia Sets Of Maps Z^N + Exp(2Πiθ) As N → ∞, Scott Kaschner, Reaper Romero, David Simmons
Geometric Limits Of Julia Sets Of Maps Z^N + Exp(2Πiθ) As N → ∞, Scott Kaschner, Reaper Romero, David Simmons
Scott Kaschner
We show that the geometric limit as n → ∞ of the Julia sets J(Pn,c) for the maps Pn,c(z) = zn + c does not exist for almost every c on the unit circle. Furthermore, we show that there is always a subsequence along which the limit does exist and equals the unit circle.
Rational Map Of Cp^2 With No Invariant Foliation, Scott Kaschner, Rodrigo Perez, Roland Roeder
Rational Map Of Cp^2 With No Invariant Foliation, Scott Kaschner, Rodrigo Perez, Roland Roeder
Scott Kaschner
Conference Poster presented at: Midwest Dynamical Systems Conference, Champaign/Urbana, IL November 1-3, 2013.
Expression Of Acyl Carrier Proteins In Spinach, Katherine Schmid, J. Ohlrogge
Expression Of Acyl Carrier Proteins In Spinach, Katherine Schmid, J. Ohlrogge
Katherine Schmid
Dr. Schmid and Dr. Ohlrogge's contribution to the Proceedings of the 9th International Symposium on Plant Lipids; Wye, England; July 8-13, 1990.
Cyclopropane Fatty Acid Expression In Plants, Katherine Schmid
Cyclopropane Fatty Acid Expression In Plants, Katherine Schmid
Katherine Schmid
Pants [sic] are transformed with a bacterial cyclopropane fatty acid synthase gene to produce lipids containing cyclopropane fatty acids. Using this technology dihydrosterculate is produced in oilseed crops such as rape.
Artists' Pigments In Illuminated Medieval Manuscripts: Tracing Artistic Influences And Connections - A Review, Mary Orna
Sr. Mary Virgina Orna O.S.U.
No abstract provided.
Paris: A Scientific Theme Park, Mary Orna
Paris: A Scientific Theme Park, Mary Orna
Sr. Mary Virgina Orna O.S.U.
No abstract provided.
The Fraud Detection Triangle: A New Framework For Selecting Variables In Fraud Detection Research, Adrian Gepp, Kuldeep Kumar, Sukanto Bhattacharya
The Fraud Detection Triangle: A New Framework For Selecting Variables In Fraud Detection Research, Adrian Gepp, Kuldeep Kumar, Sukanto Bhattacharya
Kuldeep Kumar
Predicting Financial Distress: A Comparison Of Survival Analysis And Decision Tree Techniques, Adrian Gepp, Kuldeep Kumar
Predicting Financial Distress: A Comparison Of Survival Analysis And Decision Tree Techniques, Adrian Gepp, Kuldeep Kumar
Adrian Gepp
Financial distress and then the consequent failure of a business is usually an extremely costly and disruptive event. Statistical financial distress prediction models attempt to predict whether a business will experience financial distress in the future. Discriminant analysis and logistic regression have been the most popular approaches, but there is also a large number of alternative cutting - edge data mining techniques that can be used. In this paper, a semi-parametric Cox survival analysis model and non-parametric CART decision trees have been applied to financial distress prediction and compared with each other as well as the most popular approaches. This …
New Directions In Archaeological Chemistry, Mary Orna
New Directions In Archaeological Chemistry, Mary Orna
Sr. Mary Virgina Orna O.S.U.
No abstract provided.
Copper-Based Synthetic Medieval Blue Pigments, Mary Orna
Copper-Based Synthetic Medieval Blue Pigments, Mary Orna
Sr. Mary Virgina Orna O.S.U.
No abstract provided.
Historic Mineral Pigments: Colorful Benchmarks Of Ancient Civilizations, Mary Orna
Historic Mineral Pigments: Colorful Benchmarks Of Ancient Civilizations, Mary Orna
Sr. Mary Virgina Orna O.S.U.
No abstract provided.
Science History On The Road: An Overview, Mary Orna
Science History On The Road: An Overview, Mary Orna
Sr. Mary Virgina Orna O.S.U.
No abstract provided.
Organometallic Chemistry Can Simplify The Synthesis Of Important Biologically Active Natural Products, Daniel Becker, P Carter, J. Elliott, R. Lewis
Organometallic Chemistry Can Simplify The Synthesis Of Important Biologically Active Natural Products, Daniel Becker, P Carter, J. Elliott, R. Lewis
Daniel P. Becker
The stereoselectivity of the Pauson--Khand reaction used for the construction of a 6a-carboprostaglandin is described, and a mechanistic hypothesis is proposed to explain the experimentally observed results. A further illustration of the stereoselectivity of the dicobaltoctacarbonyl-mediated cyclization of 1,6-enynes to bicyclo[3.3.0]-octenones is provided by a sequence of transformations that depicts the route to the precursors of pentalenolactone G. Further examples of the synthetic potential of the acetylene-Co$_{2}$(CO)$_{6}$ bimetalloclusters are shown by the synthesis of a vincristine model compound, and a sequence of transformations that provide strong evidence of the intermediacy of a 1,4-diyl (p-benzyne) in the collapse of a Z-diynene …
Stereospecific Dicobalt Octacarbonyl Mediated Enyne Cyclization For The Enantiospecific Synthesis Of A 6a-Carbocycline Analogue, Philip Magnus, Daniel Becker
Stereospecific Dicobalt Octacarbonyl Mediated Enyne Cyclization For The Enantiospecific Synthesis Of A 6a-Carbocycline Analogue, Philip Magnus, Daniel Becker
Daniel P. Becker
D-(+)-Ribonolactone 5 was converted into the butenolide 7 by pyrolysis of the derived ortho ester. Treatment of 7 with trisyl bromide gave the corresponding trisylate 9, which was converted into 10 by using Li,(CH,=CH),CuCN. Exposure of 10 to potassium carbonate in methanol gave epoxide 12, which underwent ring opening when treated with lithium (tri- methylsi1yl)acetylide-BF,.OEt, to give lactone 13. Reduction of lactone 13 with LiAlH, gave diol 18, which was converted into its derived acetonide 19. When 19 was treated with CO,(CO)~/CO/P~,PO, bicyclo[3.3.0]octenone 21 was formed in a highly stereoselective process. Conversion of 21 into the carbocycline analogue 28 was …
New (Nor)Aza-Adamantanes Are Agonists At The Newly Identified Serotonin 5ht4 Receptor And Antagonists At The 5ht3 Receptor, Daniel Flynn, Daniel Becker, Dale Spangler, Roger Nosal
New (Nor)Aza-Adamantanes Are Agonists At The Newly Identified Serotonin 5ht4 Receptor And Antagonists At The 5ht3 Receptor, Daniel Flynn, Daniel Becker, Dale Spangler, Roger Nosal
Daniel P. Becker
New aza(nor)adamantanes 1A, 1B, and 1C are described which exhibit properties of both 5-HT4 agonism and 5-HT3 antagonism. In particular, compound 1C [SC-52491], an azanoradamantane, exhibits an EC50 of 51 nM in a functional model of 5-HT4 agonism and potent antagonism, Ki = 1.2 nM, at the 5-HT3receptor.
Use Of Atom-Transfer Radical Cyclizations As An Efficient Entry Into A New Serotonergic Norazaadamantane, Daniel Flynn, Daniel Becker, Roger Nosal, Daniel Zabrowksi
Use Of Atom-Transfer Radical Cyclizations As An Efficient Entry Into A New Serotonergic Norazaadamantane, Daniel Flynn, Daniel Becker, Roger Nosal, Daniel Zabrowksi
Daniel P. Becker
A route to azanoradamantanes is described which makes use of an atom-transfer radical cyclization to afford 3-azabicyclo[3.3.0]octanes 3A and 3B. Subsequent elaboration of exo-allylamine functionality, followed by cyclization of the endo-hydroxymethyl intermediate 9, affords the new azanoradamantanes 11 and 4. This new azatricyclic system is useful for producing serotonin 5-HT3 antagonists and 5-HT4 agonists.
1,3,4-Trisubstituted Pyrrolidinones As Scaffolds For Construction Of Peptidomimetic Cholecystokinin Antagonists , Daniel Flynn, Clara Villamil, Daniel Becker, Gary Gullikson
1,3,4-Trisubstituted Pyrrolidinones As Scaffolds For Construction Of Peptidomimetic Cholecystokinin Antagonists , Daniel Flynn, Clara Villamil, Daniel Becker, Gary Gullikson
Daniel P. Becker
A new series of cholecystokinin (CCK) antagonists are described which utilizes a new 1,3,4-trisubstituted pyrrolidinone as a scaffold for appending specific amino acid R group mimics (Figure 1). Compound 1A and 1E (SC-50998) exhibit potent nanomolar IC50 values in a CCK-A receptor binding assay. Compound 1E behaves as a competitive antagonist in vitro and is orally active.
Sc-53116: The First Selective Agonist At The Newly Identified Serotonin 5-Ht4 Receptor Subtype, Daniel Flynn, Daniel Zabrowski, Daniel Becker, Roger Nosal
Sc-53116: The First Selective Agonist At The Newly Identified Serotonin 5-Ht4 Receptor Subtype, Daniel Flynn, Daniel Zabrowski, Daniel Becker, Roger Nosal
Daniel P. Becker
No abstract provided.