Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Earth Sciences (58740)
- Computer Sciences (57959)
- Environmental Sciences (52392)
- Engineering (40245)
- Life Sciences (39784)
-
- Physics (36535)
- Chemistry (34529)
- Geology (29717)
- Mathematics (27388)
- Social and Behavioral Sciences (24568)
- Oceanography and Atmospheric Sciences and Meteorology (16425)
- Statistics and Probability (13262)
- Education (12809)
- Computer Engineering (12808)
- Soil Science (11978)
- Medicine and Health Sciences (11809)
- Plant Sciences (11182)
- Natural Resources and Conservation (10270)
- Arts and Humanities (9726)
- Astrophysics and Astronomy (9207)
- Electrical and Computer Engineering (8897)
- Sustainability (8696)
- Natural Resources Management and Policy (8571)
- Artificial Intelligence and Robotics (8519)
- Water Resource Management (8292)
- Applied Mathematics (7997)
- Environmental Health and Protection (6879)
- Science and Mathematics Education (6761)
- Databases and Information Systems (6720)
- Institution
-
- University of Nebraska - Lincoln (24230)
- Western Michigan University (19508)
- Selected Works (16838)
- University of Kentucky (12002)
- TÜBİTAK (10319)
-
- Singapore Management University (7454)
- Utah State University (7341)
- Missouri University of Science and Technology (6056)
- Old Dominion University (5954)
- University of Wollongong (4868)
- William & Mary (4602)
- University of South Florida (3859)
- Wright State University (3840)
- Portland State University (3798)
- University of Nevada, Las Vegas (3640)
- Louisiana State University (3417)
- China Simulation Federation (3382)
- City University of New York (CUNY) (3220)
- Brigham Young University (2906)
- Purdue University (2813)
- Air Force Institute of Technology (2678)
- Claremont Colleges (2640)
- California Polytechnic State University, San Luis Obispo (2568)
- Western Washington University (2456)
- University of Arkansas, Fayetteville (2433)
- University of Texas Rio Grande Valley (2419)
- Department of Primary Industries and Regional Development, Western Australia (2358)
- University of Texas at El Paso (2316)
- Chinese Chemical Society | Xiamen University (2294)
- Chulalongkorn University (2268)
- Keyword
-
- Machine learning (1691)
- Climate change (1681)
- Western Australia (1581)
- Mathematics (1370)
- Chemistry (1157)
-
- Sustainability (1141)
- Physics (1068)
- Water quality (983)
- Deep learning (892)
- Geology (858)
- Groundwater (851)
- Machine Learning (828)
- Simulation (824)
- Research and Technical Reports (797)
- Water (780)
- United States (759)
- Education (756)
- Management (746)
- Nebraska (744)
- Agriculture (718)
- Artificial intelligence (709)
- Climate (702)
- GIS (699)
- Statistics (685)
- Security (681)
- Grains and field crops (674)
- Environment (672)
- Computer Science (667)
- Ecology (658)
- Optimization (656)
- Publication Year
-
- 2024 (7933)
- 2023 (12585)
- 2022 (18310)
- 2021 (27884)
- 2020 (15208)
-
- 2019 (15927)
- 2018 (13646)
- 2017 (12521)
- 2016 (12690)
- 2015 (12617)
- 2014 (12299)
- 2013 (11462)
- 2012 (12196)
- 2011 (10325)
- 2010 (8620)
- 2009 (7616)
- 2008 (7321)
- 2007 (6758)
- 2006 (5872)
- 2005 (5573)
- 2004 (4447)
- 2003 (3876)
- 2002 (3435)
- 2001 (3030)
- 2000 (2919)
- 1999 (2555)
- 1998 (2574)
- 1997 (2472)
- 1996 (2437)
- 1995 (2193)
- Publication
-
- Legacy Scout Tickets from Pure Oil Company (11044)
- Theses and Dissertations (8341)
- IGC Proceedings (1993-2023) (7001)
- Research Collection School Of Computing and Information Systems (6891)
- Thin Sections (5745)
-
- Electronic Theses and Dissertations (4195)
- Faculty Publications (3797)
- Journal of System Simulation (3382)
- Nebraska Tractor Tests (3348)
- Turkish Journal of Electrical Engineering and Computer Sciences (3020)
- Masters Theses (2634)
- Turkish Journal of Chemistry (2628)
- Turkish Journal of Mathematics (2494)
- Journal of Electrochemistry (2294)
- Honors Theses (2161)
- Faculty of Informatics - Papers (Archive) (2013)
- Physics Faculty Publications (1942)
- Bulletin of the Mineral Research and Exploration (1893)
- Doctoral Dissertations (1882)
- Dissertations, Theses, and Masters Projects (1876)
- Reports (1835)
- Dissertations (1816)
- Physics Faculty Research & Creative Works (1762)
- Department of Computer Science Technical Reports (1721)
- USF Tampa Graduate Theses and Dissertations (1607)
- School of Natural Resources: Faculty Publications (1586)
- United States Department of Agriculture Wildlife Services: Staff Publications (1529)
- Australian Institute for Innovative Materials - Papers (1524)
- Electronic Thesis and Dissertation Repository (1478)
- All Graduate Theses and Dissertations, Spring 1920 to Summer 2023 (1427)
- Publication Type
Articles 143011 - 143040 of 302624
Full-Text Articles in Physical Sciences and Mathematics
Cosm News, Georgia Southern University
Cosm News, Georgia Southern University
College of Science and Mathematics News (2012-2019)
- 79th Georgia Entomological Society Meeting
The Estuarine Hypoxia Component Of The Coastal Ocean Modeling Testbed: Providing Environmental Intelligence To Decision-Makers In The Chesapeake Bay Region, Marjorie A.M. Friedrichs, L. Lanerolle, Carl T. Friedrichs, R. Hood
The Estuarine Hypoxia Component Of The Coastal Ocean Modeling Testbed: Providing Environmental Intelligence To Decision-Makers In The Chesapeake Bay Region, Marjorie A.M. Friedrichs, L. Lanerolle, Carl T. Friedrichs, R. Hood
Presentations
No abstract provided.
Construction Of Spline Type Orthogonal Scaling Functions And Wavelets, Tung Nguyen
Construction Of Spline Type Orthogonal Scaling Functions And Wavelets, Tung Nguyen
Honors Projects
In this paper, we present a method to construct orthogonal spline-type scaling functions by using B-spline functions. B-splines have many useful properties such as compactly supported and refinable properties. However, except for the case of order one, B-splines of order greater than one are not orthogonal. To induce the orthogonality while keeping the above properties of B-splines, we multiply a class of polynomial function factors to the masks of the B-splines so that they become the masks of a spline-type orthogonal compactly-supported and refinable scaling functions in L2. In this paper we establish the existence of this class …
Global Pattern Search At Scale, R. Jordan Crouser, Matthew C. Schmidt, Stephen Kelley, Benjamin Miller, Daniel Hook, Lauren Edwards, Maja Milosavljevic, Elizabeth Michel, Elizabeth Ferme, Robert Carrington, Albert I. Reuther
Global Pattern Search At Scale, R. Jordan Crouser, Matthew C. Schmidt, Stephen Kelley, Benjamin Miller, Daniel Hook, Lauren Edwards, Maja Milosavljevic, Elizabeth Michel, Elizabeth Ferme, Robert Carrington, Albert I. Reuther
Computer Science: Faculty Publications
In recent years, data collection has far outpaced the tools for data analysis in the area of non-traditional GEOINT analysis. Traditional tools are designed to analyze small-scale numerical data, but there are few good interactive tools for processing large amounts of unstructured data such as raw text. In addition to the complexities of data processing, presenting the data in a way that is meaningful to the end user poses another challenge. In our work, we focused on analyzing a corpus of 35,000 news articles and creating an interactive geovisualization tool to reveal patterns to human analysts. Our comprehensive tool, Global …
Association Between Nutritional Awareness And Diet Quality: Evidence From The Observation Of Cardiovascular Risk Factors In Luxembourg (Oriscav-Lux) Study, Ala'a Alkerwi, Nicolas Sauvageot, Leoné Malan, Nitin Shivappa, James R. Hébert
Association Between Nutritional Awareness And Diet Quality: Evidence From The Observation Of Cardiovascular Risk Factors In Luxembourg (Oriscav-Lux) Study, Ala'a Alkerwi, Nicolas Sauvageot, Leoné Malan, Nitin Shivappa, James R. Hébert
Faculty Publications
This study examined the association between nutritional awareness and diet quality, as indicated by energy density, dietary diversity and adequacy to achieve dietary recommendations, while considering the potentially important role of socioeconomic status (SES). Data were derived from 1351 subjects, aged 18–69 years and enrolled in the ORISCAV-LUX study. Energy density score (EDS), dietary diversity score (DDS) and Recommendation Compliance Index (RCI) were calculated based on data derived from a food frequency questionnaire. Nutritional awareness was defined as self-perception of the importance assigned to eating balanced meals, and classified as high, moderate, or of little importance. Initially, a General Linear …
Prepositional Phrase Attachment Problem Revisited: How Verbnet Can Help, Dan Bailey, Yuliya Lierler, Benjamin Susman
Prepositional Phrase Attachment Problem Revisited: How Verbnet Can Help, Dan Bailey, Yuliya Lierler, Benjamin Susman
Computer Science Faculty Proceedings & Presentations
Resolving attachment ambiguities is a pervasive problem in syntactic analysis. We propose and investigate an approach to resolving prepositional phrase attachment that centers around the ways of incorporating semantic knowledge derived from the lexico-semantic ontologies such as VERBNET and WORDNET.
Reconstructing Thermal Properties Of Firn At Summit, Greenland, From A Temperature Profile Time Series, Alexandra L. Giese, Robert L. Hawley
Reconstructing Thermal Properties Of Firn At Summit, Greenland, From A Temperature Profile Time Series, Alexandra L. Giese, Robert L. Hawley
Dartmouth Scholarship
We have constrained the value for thermal diffusivity of near-surface snow and firn at Summit Station, Greenland, using a Fourier-type analysis applied to hourly temperature measurements collected from eight thermistors in a closed-off, air-filled borehole between May 2004 and July 2008. An implicit, finite-difference method suggests that a bulk diffusivity of ∼25 ± 3m2 a−1 is the most reasonable for representing macroscale heat transport in the top 30 m of firn and snow. This value represents an average diffusivity and, in a conduction-only model, generates temperature series whose phase shifts with depth most closely match those of the Summit borehole …
Structural Insights Into The Cubic-Hexagonal Phase Transition Kinetics Of Monoolein Modulated By Sucrose Solutions, Caleb W. Reese, Zachariah I. Strango, Zachary R. Dell, Stephanie Tristram-Nagle
Structural Insights Into The Cubic-Hexagonal Phase Transition Kinetics Of Monoolein Modulated By Sucrose Solutions, Caleb W. Reese, Zachariah I. Strango, Zachary R. Dell, Stephanie Tristram-Nagle
University Faculty Publications and Creative Works
Using DSC (differential scanning calorimetry), we measure the kinetics of the cubic-HII phase transition of monoolein in bulk sucrose solutions. We find that the transition temperature is dramatically lowered, with each 1 mol kg-1 of sucrose concentration dropping the transition by 20 °C. The kinetics of this transition also slow greatly with increasing sucrose concentration. For low sucrose concentrations, the kinetics are asymmetric, with the cooling (HII-cubic) transition taking twice as long as the heating (cubic-HII) transition. This asymmetry in transition times is reduced for higher sucrose concentrations. The cooling transition exhibits Avrami exponents in the range of 2 to …
Prepositional Phrase Attachment Problem Revisited: How Verbnet Can Help, Dan Bailey, Yuliya Lierler, Benjamin Susman
Prepositional Phrase Attachment Problem Revisited: How Verbnet Can Help, Dan Bailey, Yuliya Lierler, Benjamin Susman
Yuliya Lierler
Using Ab Initio Simulations To Examine The Flexoelectric Effect In Perovskites, Austin B. Plymill
Using Ab Initio Simulations To Examine The Flexoelectric Effect In Perovskites, Austin B. Plymill
EURēCA: Exhibition of Undergraduate Research and Creative Achievement
Flexoelectricity is a property that dielectric materials exhibit where they produce polarization when subject to an inhomogeneous deformation. In the past, this effect has been largely ignored, as its effect in bulk materials has been much less significant than the related effect of piezoelectricity, the polarization of material due to uniform deformation. Interest in flexoelectricity has been increasing in recent years due to the development of nanotechnologies. Flexoelectricity is proportional to the strain gradient a material is subjected to making the flexoelectric effect immense on the nanoscale. Additionally, the flexoelectric effect scales with the dielectric constant making it have a …
Accelerated Glacier Melt On Snow Dome, Mount Olympus, Washington, Usa, Due To Deposition Of Black Carbon And Mineral Dust From Wildfire, Susan D. Kaspari, S. Mckenzie Skiles, Ian Delaney, Daniel Dixon, Thomas H. Painter
Accelerated Glacier Melt On Snow Dome, Mount Olympus, Washington, Usa, Due To Deposition Of Black Carbon And Mineral Dust From Wildfire, Susan D. Kaspari, S. Mckenzie Skiles, Ian Delaney, Daniel Dixon, Thomas H. Painter
All Faculty Scholarship for the College of the Sciences
Assessing the potential for black carbon (BC) and dust deposition to reduce albedo and accelerate glacier melt is of interest in Washington because snow and glacier melt are an important source of water resources, and glaciers are retreating. In August 2012 on Snow Dome, Mount Olympus, Washington, we measured snow surface spectral albedo and collected surface snow samples and a 7 m ice core. The snow and ice samples were analyzed for iron (Fe, used as a dust proxy) via inductively coupled plasma sector field mass spectrometry, total impurity content gravimetrically, BC using a single-particle soot photometer (SP2), and charcoal …
Aldehyde–Alkyne–Amine (A3) Coupling Catalyzed By A Highly Efficient Dicopper Complex, Hong-Bin Chen, Yan Zhao, Yi Liao
Aldehyde–Alkyne–Amine (A3) Coupling Catalyzed By A Highly Efficient Dicopper Complex, Hong-Bin Chen, Yan Zhao, Yi Liao
Chemistry and Chemical Engineering Faculty Publications
A dicopper(I) complex, CuI 2ðpipÞ 2 (pip ¼ (2-picolyliminomethyl)pyrrole anion), was utilized to catalyze A3 coupling reactions, which led to the formation of propargylamines. Aldehydes, alkynes and amines with a variety of structures have been tested. A low catalyst loading of 0.4 mol% was sufficient to give good to excellent yields. The low catalyst loading, broad scope of substrate and easy preparation make this dicopper complex a useful catalyst for A3 coupling.
Cosm News, Georgia Southern University
Cosm News, Georgia Southern University
College of Science and Mathematics News (2012-2019)
- COSM Alumnus of the Year
Handling Human Hacking: Creating A Comprehensive Defensive Strategy Against Modern Social Engineering, Charles Snyder
Handling Human Hacking: Creating A Comprehensive Defensive Strategy Against Modern Social Engineering, Charles Snyder
Senior Honors Theses
Social engineering is one of the most devastating threats to any company or business. Rather than relying upon technical flaws in order to break into computer networks, social engineers utilize a suave personality in order to deceive individuals through clever conversation. These devious conversations frequently provide the attacker with sufficient information to compromise the company’s computer network. Unlike common technical attacks, social engineering attacks cannot be prevented by security tools and software. Instead of attacking a network directly, a social engineer exploits human psychology in order to coerce the victim to inadvertently divulge sensitive information. Further complicating the issue, the …
Supernatural Cosmic Origins: Challenging The Reigning Paradigm, Rachel Blattner
Supernatural Cosmic Origins: Challenging The Reigning Paradigm, Rachel Blattner
Senior Honors Theses
Contemporary scientific study primarily uses a paradigm based upon naturalism, materialism, and empiricism on which to base research. The widely accepted cosmological model the big bang theory adheres to this paradigm. Despite many weaknesses in this model and in the paradigm itself, researchers continue to favor the modification of the accepted model over the adoption of other more comprehensive models. The paradigm from which the models proposed by Russell Humphries, John Hartnett, and Jason Lisle come justifies the six-day creation young-earth biblical account and better fits observational evidence with fewer arbitrary assumptions than the paradigm from which the big bang …
Making Sense Out Of Big Data - Popular Machine Learning Tools In Business Analytics, Kuldeep Kumar, Sukanto Bhattacharya
Making Sense Out Of Big Data - Popular Machine Learning Tools In Business Analytics, Kuldeep Kumar, Sukanto Bhattacharya
Kuldeep Kumar
'Big data' is the new buzzword in academic as well as industry circles. Laney (2001) came up with the three Vs that characterize big data - volume, velocity and variety. When talking about big data one is usually referring to a huge volume, in terabytes rather than gigabytes, that is captured either across cross-section or across time or more likely across both i.e. as a panel. However it is the sheer size of the data set that puts big data in an entirely different category requiring a special set of analytical tools and approaches for extracting information and also data …
Essential Oils From Apple Mint (Mentha Suaveolens) And Passionflower Fruit (Passiflora Incarnata): Studies On Cognition, Coordination, And Chemical Components., Evelyn F. Patrick *, Jessie Bowers *, Shannon Read *, Brett R. Lackey, Christine Murphy, Sandra L. Gray
Essential Oils From Apple Mint (Mentha Suaveolens) And Passionflower Fruit (Passiflora Incarnata): Studies On Cognition, Coordination, And Chemical Components., Evelyn F. Patrick *, Jessie Bowers *, Shannon Read *, Brett R. Lackey, Christine Murphy, Sandra L. Gray
Journal of the South Carolina Academy of Science
Plant essential oils (EO) are used as perfumes, lotions and air fresheners because of their pleasant aromas, but EO also have the ability to elicit changes in mood and behavior. These activities are influenced by the mode of administration and by multiple signaling pathways. The EO aromas from organically grown apple mint (Mentha suaveolens) and passionflower fruit (Passiflora incarnata) were assessed for their effects on cognition and coordination. Participants completed two tasks designed to test working memory and bimanual task efficiency in rooms infused with apple mint, passionflower fruit or control EO. Bimanual coordination was assessed using the Intercept2 program …
The Rise Of Carbon Nanoscience In South Carolina, Apparao M. Rao
The Rise Of Carbon Nanoscience In South Carolina, Apparao M. Rao
Journal of the South Carolina Academy of Science
No abstract provided.
On The Influence Of Ionic Strength On Radium And Strontium Sorption To Sandy Loam Soils, Brian A. Powell, Todd Miller, Daniel I. Kaplan
On The Influence Of Ionic Strength On Radium And Strontium Sorption To Sandy Loam Soils, Brian A. Powell, Todd Miller, Daniel I. Kaplan
Journal of the South Carolina Academy of Science
Models which can estimate environmental transport of radioactive contaminants in natural and engineered systems are required to 1) deploy effective remediation strategies for contaminated sites, 2) design waste repositories for future waste streams, and 3) ensure protection of human and environmental health in all cases. These models require accurate transport parameters in order to correctly predict how these contaminants will move in the subsurface. This work aimed to determine more accurately the distribution coefficients for radium and strontium sorption to Savannah River Site (SRS) soils. Radium and strontium sorption to the soils was found to be highly dependent upon ionic …
Towards The Perfect Optical Fiber, John Ballato
Towards The Perfect Optical Fiber, John Ballato
Journal of the South Carolina Academy of Science
Optical fibers are being used in an ever more diverse array of applications today. Many of these modern applications are in high-power and, particularly, high power-per-unit-bandwidth systems where optical nonlinearities historically have not limited overall performance. Today, however, nominally weak effects, such as stimulated Brillouin scattering (SBS), are restricting continued scaling to higher optical powers. To address these limitations, the optical fiber industry has focused on fiber geometry-related solutions such as large mode area (LMA) designs. However, since all linear and nonlinear optical phenomena are fundamentally materials-based in origin, this paper identifies material solutions to present and future performance limitations …
Gravitational Wave Background In The Quasi-Steady State Cosmology, Sree Ram Valluri, Sayantan Auddy, J V. Narlikar, S V. Dhurandhar, R G. Vishwakarma
Gravitational Wave Background In The Quasi-Steady State Cosmology, Sree Ram Valluri, Sayantan Auddy, J V. Narlikar, S V. Dhurandhar, R G. Vishwakarma
Physics and Astronomy Publications
This paper calculates the expected gravitational wave background (GWB) in the quasi-steady state cosmology (QSSC). The principal sources of gravitational waves in the QSSC are the mini-creation events (MCE). With suitable assumptions the GWB can be computed both numerically and with analytical methods. It is argued that the GWB in QSSC differs from that predicted for the standard cosmology and a future technology of detectors will be able to decide between the two predictions. We also derive a formula for the flux density of a typical extragalactic source of gravitational waves.
An Onboard Distributed Multiprocessing System For A Cubesat Spacecraft Created From Gumstix Computer-On-Module Units, Michael Wegerson, Jeremy Straub, Ronald Marsh
An Onboard Distributed Multiprocessing System For A Cubesat Spacecraft Created From Gumstix Computer-On-Module Units, Michael Wegerson, Jeremy Straub, Ronald Marsh
Jeremy Straub
The OpenOrbiter Small Spacecraft Development Initiative at the University of North Dakota [1] aims to make ac-cess to space for research and educational purposes easier by enabling the creation of low-cost CubeSats. It is creating the Open Prototype for Educational Nanosats (OPEN), a framework for developing a 1-U CubeSat space-craft with a parts cost of less than $5,000 [2]. The designs [3], documentation and computer code from this will be made publically available to enable the development of programs at other institutions.
Considering Scheduling Algorithms For An Open Source Software Spacecraft, Calvin Bina, Jeremy Straub, Ronald Marsh
Considering Scheduling Algorithms For An Open Source Software Spacecraft, Calvin Bina, Jeremy Straub, Ronald Marsh
Jeremy Straub
The OpenOrbiter Small Satellite Development Initiative at the University of North Dakota [1] is working make space research and education more accessible world-wide [2], through the design and public release of a complete set of plans, software and other documents (see [3]) for a 1-U CubeSat. This design targets a parts cost of no more than $5,000 [4]. These lowered costs, combined with the efficiencies of the CubeSat form fac-tor [5] and free-to-qualified-developer launch services [6, 7] should facilitate greater access to space for the ed-ucational, research and other communities.
Work Done On The Operating Software For Openorbiter, Dayln Limesand, Timothy Whitney, Jeremy Straub, Ronald Marsh
Work Done On The Operating Software For Openorbiter, Dayln Limesand, Timothy Whitney, Jeremy Straub, Ronald Marsh
Jeremy Straub
The OpenOrbiter Program aims to develop a tem-plate for a CubeSat spacecraft that can be used world-wide to reduce spacecraft development costs1. Unlike other approaches, which may require $50,000 in upfront hardware costs2 or $250,000 in design expenses2, an OPEN-class spacecraft can be built with a parts budget of under $5,0003. This aims to enable low-cost educa-tional missions and missions in developing regions4.
Detecting Failures In Space Solar Power Systems With Pattern Recognition, Allen Mcdermott, Cameron Kerbaugh, Jeremy Straub
Detecting Failures In Space Solar Power Systems With Pattern Recognition, Allen Mcdermott, Cameron Kerbaugh, Jeremy Straub
Jeremy Straub
This poster covers work relating to the use of expert systems and pattern recognition to attempt to identify, detect and prospectively stop patterns of activity that could potentially lead to failure of a space solar power (SSP) system. A database-based expert system has is presented to identify patterns, which can be used to determine whether a power beam could hit a unintend-ed target and potentially cause a calamity. This has been implemented via a facts-rule network via which supplied and collected facts and a rule set is used to de-termine whether the system is operating correctly (from a holistic perspective). …
An Expert System For Microwave Wireless Power Transmission Failure Prevention, Cameron Kerbaugh, Allen Mcdermott, Jeremy Straub
An Expert System For Microwave Wireless Power Transmission Failure Prevention, Cameron Kerbaugh, Allen Mcdermott, Jeremy Straub
Jeremy Straub
Wireless power transfer (WPT) can be used to deliver space-generated power to ground stations through the use of microwave beams. WPT satellite power delivery systems have two major failure states: misdi-recting a beam and failing to send power to a station. This project has implemented an expert system to perform pattern recognition in an effort to prevent failures by analyzing the system state and predicting potential failures before they happen in support of space-based testing [1] and deployment [2].
Data Mining Temporal Work Patterns Of Programming Student Populations, Dale E. Parson, Lori Bogumil, Allison Seidel
Data Mining Temporal Work Patterns Of Programming Student Populations, Dale E. Parson, Lori Bogumil, Allison Seidel
Computer Science and Information Technology Faculty
This paper reports the second stage of a study of the correlations between the temporal work patterns of computer programming students and their success or failure as measured by programming project assignment grades and related metrics. The first stage confirmed the importance for most students of getting an early start on a programming project, and it also uncovered the fact that some student groups perform well with late starts, suggesting the likelihood that they engage in the productive practice of active procrastination. The second most important factor for success is the average length of assignment work sessions. Session lengths from …
Towards Practical Graph-Based Verification For An Object-Oriented Concurrency Model, Alexander Heußner, Christopher M. Poskitt, Claudio Corrodi, Benjamin Morandi
Towards Practical Graph-Based Verification For An Object-Oriented Concurrency Model, Alexander Heußner, Christopher M. Poskitt, Claudio Corrodi, Benjamin Morandi
Research Collection School Of Computing and Information Systems
To harness the power of multi-core and distributed platforms, and to make the development of concurrent software more accessible to software engineers, different object-oriented concurrency models such as SCOOP have been proposed. Despite the practical importance of analysing SCOOP programs, there are currently no general verification approaches that operate directly on program code without additional annotations. One reason for this is the multitude of partially conflicting semantic formalisations for SCOOP (either in theory or by-implementation). Here, we propose a simple graph transformation system (GTS) based run-time semantics for SCOOP that grasps the most common features of all known semantics of …
Water-Smart Growth: Integrating Water Management And Land Use Planning, Enjie Li
Water-Smart Growth: Integrating Water Management And Land Use Planning, Enjie Li
Enjie Li
Water and urban growth are inextricably interconnected, particularly in arid regions. Urban growth and water management have generated multi-dimensional conflicts. Growing cities that seek to quench their continuously increasing thirst with limited available water resources often have adverse impacts on the environment or region from which the water is drawn. Given that land use planning is an effective tool to control and manage urban growth and it has direct influence on urban water management, a holistic land-water planning approach is needed to cope with rapid growth and water scarcity in the arid western United States. However, this land-water planning approach …
How The University Of California Runs One Repository For Ten Campuses, Katie Fortney
How The University Of California Runs One Repository For Ten Campuses, Katie Fortney
Inaugural CSU IR Conference, 2015
Katie Fortney, JD, MLIS, Copyright Policy & Education Officer, Office of Scholarly Communication, University of California http://osc.universityofcalifornia.edu/