Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Earth Sciences (58946)
- Computer Sciences (58015)
- Environmental Sciences (52464)
- Engineering (40299)
- Life Sciences (40087)
-
- Physics (36559)
- Chemistry (34568)
- Geology (29730)
- Mathematics (27440)
- Social and Behavioral Sciences (24611)
- Oceanography and Atmospheric Sciences and Meteorology (16453)
- Statistics and Probability (13280)
- Education (12820)
- Computer Engineering (12813)
- Soil Science (12154)
- Medicine and Health Sciences (11843)
- Plant Sciences (11363)
- Natural Resources and Conservation (10276)
- Arts and Humanities (9731)
- Astrophysics and Astronomy (9214)
- Electrical and Computer Engineering (8901)
- Sustainability (8702)
- Natural Resources Management and Policy (8591)
- Artificial Intelligence and Robotics (8541)
- Water Resource Management (8300)
- Applied Mathematics (8021)
- Environmental Health and Protection (6917)
- Science and Mathematics Education (6760)
- Databases and Information Systems (6716)
- Institution
-
- University of Nebraska - Lincoln (24231)
- Western Michigan University (19508)
- Selected Works (16838)
- University of Kentucky (12194)
- TÜBİTAK (10319)
-
- Singapore Management University (7470)
- Utah State University (7344)
- Missouri University of Science and Technology (6068)
- Old Dominion University (5959)
- University of Wollongong (4868)
- William & Mary (4601)
- University of South Florida (3861)
- Wright State University (3840)
- Portland State University (3807)
- University of Nevada, Las Vegas (3639)
- Louisiana State University (3422)
- China Simulation Federation (3382)
- City University of New York (CUNY) (3224)
- Brigham Young University (2906)
- Purdue University (2813)
- Air Force Institute of Technology (2679)
- Claremont Colleges (2641)
- California Polytechnic State University, San Luis Obispo (2569)
- Western Washington University (2456)
- University of Arkansas, Fayetteville (2447)
- University of Texas Rio Grande Valley (2428)
- Department of Primary Industries and Regional Development, Western Australia (2376)
- University of Texas at El Paso (2327)
- Chinese Chemical Society | Xiamen University (2294)
- Chulalongkorn University (2268)
- Keyword
-
- Machine learning (1695)
- Climate change (1681)
- Western Australia (1597)
- Mathematics (1369)
- Chemistry (1159)
-
- Sustainability (1144)
- Physics (1067)
- Water quality (986)
- Deep learning (894)
- Geology (891)
- Groundwater (857)
- Machine Learning (831)
- Simulation (828)
- Research and Technical Reports (797)
- Water (780)
- United States (759)
- Education (757)
- Management (747)
- Nebraska (744)
- Agriculture (720)
- Artificial intelligence (713)
- Climate (705)
- GIS (700)
- Statistics (686)
- Security (680)
- Grains and field crops (674)
- Environment (673)
- Computer Science (666)
- Optimization (661)
- Ecology (659)
- Publication Year
-
- 2024 (8346)
- 2023 (12659)
- 2022 (18345)
- 2021 (27893)
- 2020 (15199)
-
- 2019 (15910)
- 2018 (13639)
- 2017 (12540)
- 2016 (12719)
- 2015 (12612)
- 2014 (12293)
- 2013 (11454)
- 2012 (12193)
- 2011 (10320)
- 2010 (8621)
- 2009 (7615)
- 2008 (7322)
- 2007 (6758)
- 2006 (5872)
- 2005 (5574)
- 2004 (4448)
- 2003 (3877)
- 2002 (3436)
- 2001 (3031)
- 2000 (2920)
- 1999 (2555)
- 1998 (2576)
- 1997 (2474)
- 1996 (2438)
- 1995 (2193)
- Publication
-
- Legacy Scout Tickets from Pure Oil Company (11044)
- Theses and Dissertations (8342)
- IGC Proceedings (1993-2023) (7168)
- Research Collection School Of Computing and Information Systems (6903)
- Thin Sections (5745)
-
- Electronic Theses and Dissertations (4213)
- Faculty Publications (3807)
- 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 (2164)
- Faculty of Informatics - Papers (Archive) (2013)
- Physics Faculty Publications (1942)
- Bulletin of the Mineral Research and Exploration (1893)
- Doctoral Dissertations (1883)
- Dissertations, Theses, and Masters Projects (1876)
- Reports (1835)
- Dissertations (1827)
- Physics Faculty Research & Creative Works (1762)
- Department of Computer Science Technical Reports (1721)
- USF Tampa Graduate Theses and Dissertations (1608)
- 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 (1477)
- All Graduate Theses and Dissertations, Spring 1920 to Summer 2023 (1427)
- Publication Type
Articles 139951 - 139980 of 303171
Full-Text Articles in Physical Sciences and Mathematics
On Indistinguishability In Remote Data Integrity Checking, Xinyu Fan, Guomin Yang, Yi Mu, Yong Yu
On Indistinguishability In Remote Data Integrity Checking, Xinyu Fan, Guomin Yang, Yi Mu, Yong Yu
Research Collection School Of Computing and Information Systems
With a rapid growth of data storage in the cloud, data integrity checking in a remote data storage system has become an important issue. A number of protocols, which allow remote integrity checking by a third party, have been proposed. Although those protocols are provably secure, the data privacy issues in those protocols have not been considered. We believe that these issues are equally important since the communication flows of integrity proofs from the cloud server should not reveal any useful information of the stored data. In this paper, we introduce a new definition of data privacy called ‘INDPrivacy’ by …
Cobweb: A Robust Map Update System Using Gps Trajectories, Zhangqing Shan, Hao Wu, Weiwei Sun, Baihua Zheng
Cobweb: A Robust Map Update System Using Gps Trajectories, Zhangqing Shan, Hao Wu, Weiwei Sun, Baihua Zheng
Research Collection School Of Computing and Information Systems
The accuracy and completeness of a digital map plays a critical role in determining the quality of most location-based services. Unfortunately, road networks change frequently. Consequently, we study the issue of automatic map update in this paper. We propose a system called COBWEB which takes all the unmatched trajectories as input and generates the missing road segments with both the geometry properties and topology features well preserved. We conduct a comprehensive experimental study via real trajectory data generated by roughly 15,000 taxis in Singapore within a 5-month period. Compared with existing work, COBWEB demonstrates a better and more stable performance …
Tagcombine: Recommending Tags To Contents In Software Information Sites, Xin Yu Wang, Xin Xia, David Lo
Tagcombine: Recommending Tags To Contents In Software Information Sites, Xin Yu Wang, Xin Xia, David Lo
Research Collection School Of Computing and Information Systems
Nowadays, software engineers use a variety of online media to search and become informed of new and interesting technologies, and to learn from and help one another. We refer to these kinds of online media which help software engineers improve their performance in software development, maintenance, and test processes as software information sites. In this paper, we propose TagCombine, an automatic tag recommendation method which analyzes objects in software information sites. TagCombine has three different components: 1) multi-label ranking component which considers tag recommendation as a multi-label learning problem; 2) similarity-based ranking component which recommends tags from similar objects; 3) …
Answering Why-Not Questions On Reverse Top-K Queries, Yunjun Gao, Qing Liu, Gang Chen, Baihua Zheng, Linlin Zhou
Answering Why-Not Questions On Reverse Top-K Queries, Yunjun Gao, Qing Liu, Gang Chen, Baihua Zheng, Linlin Zhou
Research Collection School Of Computing and Information Systems
Why-not questions, which aim to seek clarifications on the missing tuples for query results, have recently received considerable attention from the database community. In this paper, we systematically explore why-not questions on reverse top-k queries, owing to its importance in multi-criteria decision making. Given an initial reverse top-k query and a missing/why-not weighting vector set Wm that is absent from the query result, why-not questions on reverse top-k queries explain why Wm does not appear in the query result and provide suggestions on how to refine the initial query with minimum penalty to include Wm in the refined query result. …
Information Retrieval And Spectrum Based Bug Localization: Better Together, Tien-Duy B. Le, Richard J. Oentaryo, David Lo
Information Retrieval And Spectrum Based Bug Localization: Better Together, Tien-Duy B. Le, Richard J. Oentaryo, David Lo
Research Collection School Of Computing and Information Systems
Debugging often takes much effort and resources. To help developers debug, numerous information retrieval (IR)-based and spectrum-based bug localization techniques have been proposed. IR-based techniques process textual information in bug reports, while spectrum-based techniques process program spectra (i.e., a record of which program elements are executed for each test case). Both eventually generate a ranked list of program elements that are likely to contain the bug. However, these techniques only consider one source of information, either bug reports or program spectra, which is not optimal. To deal with the limitation of existing techniques, in this work, we propose a new …
Need Accurate User Behaviour?: Pay Attention To Groups!, Kasthuri Jayarajah, Youngki Lee, Archan Misra, Rajesh Krishna Balan
Need Accurate User Behaviour?: Pay Attention To Groups!, Kasthuri Jayarajah, Youngki Lee, Archan Misra, Rajesh Krishna Balan
Research Collection School Of Computing and Information Systems
In this paper, we show that characterizing user behaviour from location or smartphone usage traces, without accounting for the interaction of individuals in physical-world groups, can lead to erroneous results. We conducted one of the largest studies in the UbiComp domain thus far, involving indoor location traces of more than 6,000 users, collected over a 4-month period at our university campus, and further studied fine-grained App usage of a subset of 156 Android users. We apply a state-of-the-art group detection algorithm to annotate such location traces with group vs. individual context, and then show that individuals vs. groups exhibit significant …
Near Real-Time Retail Payment And Settlement Systems Mechanism Design, Zhiling Guo, Robert John Kauffman, Mei Lin, Dan Ma
Near Real-Time Retail Payment And Settlement Systems Mechanism Design, Zhiling Guo, Robert John Kauffman, Mei Lin, Dan Ma
Research Collection School Of Computing and Information Systems
Rapid expansion of e-commerce, along with rising domestic and cross-border payments, has fueled the demand among financial institutions for a cost-effective means to expedite clearing and settlement of low-value retail payments. These are called faster payments settlement systems. Traditionally, retail payments have made extensive use of interbank netting systems, in which payments are accumulated for end-of-day settlement. This approach, known as deferred net settlement (DNS), reduces the liquidity needs of the payment system, but bears inherent operational and financial risks for unsettled intraday payments. As large dollar volumes of retail payments accumulate, real-time gross settlement (RTGS) has been recognized as …
Using Content-Level Structures For Summarizing Microblog Repost Trees, Jing Li, Wei Gao, Zhongyu Wei, Baolin Peng, Kam-Fai Wong
Using Content-Level Structures For Summarizing Microblog Repost Trees, Jing Li, Wei Gao, Zhongyu Wei, Baolin Peng, Kam-Fai Wong
Research Collection School Of Computing and Information Systems
A microblog repost tree provides strong clues on how an event described therein develops. To help social media users capture the main clues of events on microblogging sites, we propose a novel repost tree summarization framework by effectively differentiating two kinds of messages on repost trees called leaders and followers, which are derived from contentlevel structure information, i.e., contents of messages and the reposting relations. To this end, Conditional Random Fields (CRF) model is used to detect leaders across repost tree paths. We then present a variant of random-walk-based summarization model to rank and select salient messages based on the …
Uedashboard: Awareness Of Unusual Events In Commit Histories, Larissa Leite, Christoph Treude, Fernando Figueira Filho
Uedashboard: Awareness Of Unusual Events In Commit Histories, Larissa Leite, Christoph Treude, Fernando Figueira Filho
Research Collection School Of Computing and Information Systems
To be able to respond to source code modifications with large impact or commits that necessitate further examination, developers and managers in a software development team need to be aware of anything unusual happening in their software projects. To address this need, we introduce UEDashboard, a tool which automatically detects unusual events in a commit history based on metrics and smells, and surfaces them in an event feed. Our preliminary evaluation with a team of professional software developers showed that our conceptualization of unusual correlates with developers' perceptions of task difficulty, and that UEDashboard could be useful in supporting development …
General Brochure, University Of North Dakota. Energy And Environmental Research Center
General Brochure, University Of North Dakota. Energy And Environmental Research Center
EERC Brochures and Fact Sheets
Brochure about the Energy & Environmental Research Center, including its mission, employees, Centers of Excellence, and history.
A Regional Vision For Resource Management And Stewardship, University Of North Dakota. Energy And Environmental Research Center
A Regional Vision For Resource Management And Stewardship, University Of North Dakota. Energy And Environmental Research Center
EERC Brochures and Fact Sheets
Brochure describing the Energy & Environmental Research Center’s energy research and partnerships that establish sustainable energy development for North Dakota’s future.
Finite Element Modelling Predicts Changes In Joint Shape And Cell Behaviour Due To Loss Of Muscle Strain In Jaw Development, Lucy H. Brunt, Joanna L. Norton, Jen A. Bright, Emily J. Rayfield, Chrissy L. Hammond
Finite Element Modelling Predicts Changes In Joint Shape And Cell Behaviour Due To Loss Of Muscle Strain In Jaw Development, Lucy H. Brunt, Joanna L. Norton, Jen A. Bright, Emily J. Rayfield, Chrissy L. Hammond
School of Geosciences Faculty and Staff Publications
Abnormal joint morphogenesis is linked to clinical conditions such as Developmental Dysplasia of the Hip (DDH) and to osteoarthritis (OA). Muscle activity is known to be important during the developmental process of joint morphogenesis. However, less is known about how this mechanical stimulus affects the behaviour of joint cells to generate altered morphology. Using zebrafish, in which we can image all joint musculoskeletal tissues at high resolution, we show that removal of muscle activity through anaesthetisation or genetic manipulation causes a change to the shape of the joint between the Meckel's cartilage and Palatoquadrate (the jaw joint), such that the …
Host Switching Vs. Host Sharing In Overlapping Sylvatic Trypanosoma Cruzi Transmission Cycles, Christopher David Kribs, Christopher Mitchell
Host Switching Vs. Host Sharing In Overlapping Sylvatic Trypanosoma Cruzi Transmission Cycles, Christopher David Kribs, Christopher Mitchell
Mathematics Faculty Publications
The principle of competitive exclusion is well established for multiple populations competing for the same resource, and simple models for multistrain infection exhibit it as well when cross-immunity precludes coinfections. However, multiple hosts provide niches for different pathogens to occupy simultaneously. This is the case for the vector-borne parasite Trypanosoma cruzi in overlapping sylvatic transmission cycles in the Americas, where it is enzootic. This study uses cycles in the USA involving two different hosts but the same vector species as a context for the study of the mechanisms behind the communication between the two cycles. Vectors dispersing in search of …
Construction Of Nonlinear Expression For Recursive Number Sequences, Tian-Xiao He
Construction Of Nonlinear Expression For Recursive Number Sequences, Tian-Xiao He
Scholarship
A type of nonlinear expressions of Lucas sequences are established inspired by Hsu [9]. Using the relationships between the Lucas sequence and other linear recurring sequences satisfying the same recurrence relation of order 2, we may transfer the identities of Lucas sequences to the latter.
Eco-Nostalgia In Popular Turkish Cinema, Ekin Gündüz Özdemirci, Salma Monani
Eco-Nostalgia In Popular Turkish Cinema, Ekin Gündüz Özdemirci, Salma Monani
Environmental Studies Faculty Publications
Book Summary: Ecomedia: Key Issues is a comprehensive textbook introducing the burgeoning field of ecomedia studies to provide an overview of the interface between environmental issues and the media globally. Linking the world of media production, distribution, and consumption to environmental understandings, the book addresses ecological meanings encoded in media texts, the environmental impacts of media production, and the relationships between media and cultural perceptions of the environment. [From the publisher]
Ecomedia: Key Issues, Stephen Rust, Salma Monani, Sean Cubitt
Ecomedia: Key Issues, Stephen Rust, Salma Monani, Sean Cubitt
Gettysburg College Faculty Books
Ecomedia: Key Issues is a comprehensive textbook introducing the burgeoning field of ecomedia studies to provide an overview of the interface between environmental issues and the media globally. Linking the world of media production, distribution, and consumption to environmental understandings, the book addresses ecological meanings encoded in media texts, the environmental impacts of media production, and the relationships between media and cultural perceptions of the environment. [From the publisher]
Intrinsic Fluctuations And Driven Response Of Insect Swarms, Rui Ni, James G. Puckett, Eric R. Dufresne, Nicholas T. Ouellette
Intrinsic Fluctuations And Driven Response Of Insect Swarms, Rui Ni, James G. Puckett, Eric R. Dufresne, Nicholas T. Ouellette
Physics and Astronomy Faculty Publications
Animals of all sizes form groups, as acting together can convey advantages over acting alone; thus, collective animal behavior has been identified as a promising template for designing engineered systems. However, models and observations have focused predominantly on characterizing the overall group morphology, and often focus on highly ordered groups such as bird flocks. We instead study a disorganized aggregation (an insect mating swarm), and compare its natural fluctuations with the group-level response to an external stimulus. We quantify the swarm’s frequency-dependent linear response and its spectrum of intrinsic fluctuations, and show that the ratio of these two quantities has …
Clustering Data Of Mixed Categorical And Numerical Type With Unsupervised Feature Learning, Dao Lam, Mingzhen Wei, Donald C. Wunsch
Clustering Data Of Mixed Categorical And Numerical Type With Unsupervised Feature Learning, Dao Lam, Mingzhen Wei, Donald C. Wunsch
Geosciences and Geological and Petroleum Engineering Faculty Research & Creative Works
Mixed-type categorical and numerical data are a challenge in many applications. This general area of mixed-type data is among the frontier areas, where computational intelligence approaches are often brittle compared with the capabilities of living creatures. In this paper, unsupervised feature learning (UFL) is applied to the mixed-type data to achieve a sparse representation, which makes it easier for clustering algorithms to separate the data. Unlike other UFL methods that work with homogeneous data, such as image and video data, the presented UFL works with the mixed-type data using fuzzy adaptive resonance theory (ART). UFL with fuzzy ART (UFLA) obtains …
Low Intensity Gamma-Ray Spectroscopy Of The Lake Labyrinth Meteorite, Tristan C. Paul
Low Intensity Gamma-Ray Spectroscopy Of The Lake Labyrinth Meteorite, Tristan C. Paul
Physics
A 23.7g fragment of the Lake Labyrinth Meteorite (fell in 1924, collected in 1934 at Lake Labyrinth in South Australia, Australia) was re-investigated for evidence of the presence of 98Tc using a two dimensional low-intensity gamma-ray spectrometer. A new calibration technique using 26Al sources found the gamma-rays previously thought to be due to 98Tc are more likely from 166Ho. The presence of 166Ho is most likely due to activation of the stable 165Ho in the meteorite from terrestrial background sources where it was stored.
Thermodynamic Effects Of A Local Bell State Projection Interaction In A One-Dimensional Dynamic Spin System, Nickolas H. Pilgram
Thermodynamic Effects Of A Local Bell State Projection Interaction In A One-Dimensional Dynamic Spin System, Nickolas H. Pilgram
Physics
No abstract provided.
Simulations Of Hl-Lhc Crab Cavity Noise Using Headtail, Stanley Steeper
Simulations Of Hl-Lhc Crab Cavity Noise Using Headtail, Stanley Steeper
Physics
The High Luminosity Large Hadron Collider (Hi-Lumi LHC) upgrade -- scheduled to be completed by 2025 -- will improve the existing LHC in many ways. One such upgrade is the addition of Crab Cavities (CCs). The CCs are resonant structures that provide strong transverse kicks to the circulating clouds of particles around each interaction region. As such, the CCs result in a head-on collision of the clouds and a large increase in event rate, leading to reduced statistical uncertainty and potentially faster discoveries. However, the CC field will be modulated by phase and amplitude noise which can have detrimental effects …
Kolmogorov's Problem For Completely And Multiply Monotone Functions And The Markov Moment Problem, Vladyslav Babenko, Yuliya Babenko, Oleg Kovalenko
Kolmogorov's Problem For Completely And Multiply Monotone Functions And The Markov Moment Problem, Vladyslav Babenko, Yuliya Babenko, Oleg Kovalenko
Faculty Articles
In this paper, we present the solution to Kolmogorov’s problem for the classes of multiply monotone and completely monotone functions together with its connections to the Markov moment problem, Hermite-Birkhoff interpolation problem, and other extremal problems.
Effects Of A Periodic Decay Rate On The Statistics Of Radioactive Decay: New Methods To Search For Violations Of The Law Of Radioactive Change, Mark P. Silverman
Effects Of A Periodic Decay Rate On The Statistics Of Radioactive Decay: New Methods To Search For Violations Of The Law Of Radioactive Change, Mark P. Silverman
Faculty Scholarship
It is a long-held tenet of nuclear physics, from the early work of Rutherford and Soddy up to present times that the disintegration of each species of radioactive nuclide occurs randomly at a constant rate unaffected by interactions with the external environment. During the past 15 years or so, reports have been published of some 10 or more unstable nuclides with non-exponential, periodic decay rates claimed to be of geophysical, astrophysical, or cosmological origin. Deviations from standard exponential decay are weak, and the claims are controversial. This paper examines the effects of a periodic decay rate on the statistical distributions …
Groundwater Chemistry Of The Weaber Plain (Goomig Farmlands): Baseline Results 2010–13, Adam Lillicrap, Richard J. George Dr, Arjen Ryder, D L. Bennett
Groundwater Chemistry Of The Weaber Plain (Goomig Farmlands): Baseline Results 2010–13, Adam Lillicrap, Richard J. George Dr, Arjen Ryder, D L. Bennett
Resource management technical reports
The Ord River Irrigation Area (ORIA) is located in the north-east of the Kimberley region of Western Australia, near the town of Kununurra. The irrigation area was established in 1963 and over time developed to the current extent of 14 000 hectares (ha). The Weaber Plain (Goomig Farmlands) area is located north-north-east of the existing irrigation area, 30km from Kununurra, and has been identified as being suitable for irrigated agriculture for many decades. However, it was not until 2009, with state government support, that the 7400ha project commenced, with construction starting in 2010. State and Australian government environmental approvals required …
Angular Coefficients Of Z Bosons Produced In Pp Collisions At √S=8tevand Decaying To Μ+Μ−As A Function Of Transverse Momentum And Rapidity, Cms Collaboration, Cern, Switzerland, Samantha Hewamanage, Stephan Linn, Pete E. Markowitz, German Martinez, Jorge Luis Rodriguez
Angular Coefficients Of Z Bosons Produced In Pp Collisions At √S=8tevand Decaying To Μ+Μ−As A Function Of Transverse Momentum And Rapidity, Cms Collaboration, Cern, Switzerland, Samantha Hewamanage, Stephan Linn, Pete E. Markowitz, German Martinez, Jorge Luis Rodriguez
Department of Physics
Measurements of the five most significant angular coefficients, A0through A4, for Z bosons produced in pp collisions at √s=8TeVand decaying to μ+μ−are presented as a function of the transverse momentum and rapidity of the Z boson. The integrated luminosity of the dataset collected with the CMS detector at the LHC corresponds to 19.7 fb−1. These measurements provide comprehensive information about the Z boson production mechanisms, and are compared to the QCD predictions at leading order, next-to-leading order, and next-to-next-to-leading order in perturbation theory.
Era Of Big Data: Danger Of Descrimination, Andra Gumbus, Frances Grodzinsky
Era Of Big Data: Danger Of Descrimination, Andra Gumbus, Frances Grodzinsky
WCBT Faculty Publications
We live in a world of data collection where organizations and marketers know our income, our credit rating and history, our love life, race, ethnicity, religion, interests, travel history and plans, hobbies, health concerns, spending habits and millions of other data points about our private lives. This data, mined for our behaviors, habits, likes and dislikes, is referred to as the “creep factor” of big data [1]. It is estimated that data generated worldwide will be 1.3 zettabytes (ZB) by 2016. The rise of computational power plus cheaper and faster devices to capture, collect, store and process data, translates into …
Developing Java Programs On Android Mobile Phones Using Speech Recognition, Santhrushna Gande
Developing Java Programs On Android Mobile Phones Using Speech Recognition, Santhrushna Gande
Electronic Theses, Projects, and Dissertations
Nowadays Android operating system based mobile phones and tablets are widely used and had millions of users around the world. The popularity of this operating system is due to its multi-tasking, ease of access and diverse device options. “Java Programming Speech Recognition Application” is an Android application used for handicapped individuals who are not able or have difficultation to type on a keyboard. This application allows the user to write a compute program (in Java Language) by dictating the words and without using a keyboard. The user needs to speak out the commands and symbols required for his/her program. The …
A Constraint Language For Static Semantic Analysis Based On Scope Graphs, Hendrik Van Antwerpen, Pierre Néron, Andrew Tolmach, Eelco Visser, Guido Wachsmuth
A Constraint Language For Static Semantic Analysis Based On Scope Graphs, Hendrik Van Antwerpen, Pierre Néron, Andrew Tolmach, Eelco Visser, Guido Wachsmuth
Computer Science Faculty Publications and Presentations
In previous work, we introduced scope graphs as a formalism for describing program binding structure and performing name resolution in an AST-independent way. In this paper, we show how to use scope graphs to build static semantic analyzers. We use constraints extracted from the AST to specify facts about binding, typing, and initialization. We treat name and type resolution as separate building blocks, but our approach can handle language constructs—such as record field access—for which binding and typing are mutually dependent.We also refine and extend our previous scope graph theory to address practical concerns including ambiguity checking and support for …
Learning Of Business Processes & Application: An Industry-Ready Approach, Yi Meng Lau, Yu Yee Poon, Mike Wee
Learning Of Business Processes & Application: An Industry-Ready Approach, Yi Meng Lau, Yu Yee Poon, Mike Wee
Research Collection School Of Computing and Information Systems
The Learning Framework for Business Processes was developed by lectures from School of InfoComm Technology (ICT)to support their students’ learning in the Diploma of Financial Informatics. This framework leverage on the use of learning approaches such as Inquiry based learning to create opportunities for students to be engaged, explore, explain and apply their learning. This framework was presented at International Symposium on Advances in Technology Education (ISATE) 2015 in Nagaoka, Japan.
Summarizing And Measuring Development Activity, Christoph Treude, Fernando Figueira Filho, Uirá Kulesza
Summarizing And Measuring Development Activity, Christoph Treude, Fernando Figueira Filho, Uirá Kulesza
Research Collection School Of Computing and Information Systems
Software developers pursue a wide range of activities as part of their work, and making sense of what they did in a given time frame is far from trivial as evidenced by the large number of awareness and coordination tools that have been developed in recent years. To inform tool design for making sense of the information available about a developer’s activity, we conducted an empirical study with 156 GitHub users to investigate what information they would expect in a summary of development activity, how they would measure development activity, and what factors influence how such activity can be condensed …