Search or ask a question

What are some notable achievements or accomplishments of Gary Desir in the field of computer science?

Programming language theory

Kernel (statistics)

Parallel algorithm

Distributed algorithm

Best insight from top research papers

Gary Desir's notable achievements in computer science include contributions to theorem proving systems like Dedam for clausal logic with equality . Additionally, his work involves the development of algorithms for analyzing access rights and modeling user roles, focusing on achieving optimal role classification in organizations . Desir's expertise extends to the computational treatment of incrementality and atomicity, particularly in event-object mapping functions, showcasing a comprehensive understanding of event structure and lexical polysemy in verb-argument relationships . Furthermore, Desir's work may align with topics such as algorithms, numerical techniques, and computational models, reflecting a diverse range of interests and expertise in computer science .

Answers from top 5 papers

PDF

Open Access

More filters

Papers (5)	Insight
Open access•Book Advances in Computing and Information-Icci '91: International Conference on Computing and Information Ottawa, Canada, May 27-29, 1991 Proceedings Frank Dehne, F. Fiala, Waldemar W. Koczkodaj - Show less +2 more 01 Jun 1991 1 Citations	Not addressed in the paper.
Open access•Book Selected Papers on Computer Science Donald E. Knuth 01 Jan 1996 34 Citations	Gary Desir's notable achievements in computer science include inventing literate programming, developing the TeX programming language, and contributing to the history of computing, algorithms, numerical techniques, and typesetting.
Book Chapter•DOI Dedan: A Kernel of Data Structures and Algorithms for Automated Deduction with Equality Clauses Robert Nieuwenhuis, José Miguel Rivero, Miguel Ángel Vallejo - Show less +2 more 13 Jul 1997 4 Citations	Not addressed in the paper.
Open access Achievements vs. Accomplishments : A Computational Treatment of Atomicity, Incrementality, and Perhaps of Event Structure Patrick Caudal 01 Jan 1999 5 Citations	Not addressed in the paper.
Open access AWER Procedia Information Technology & Computer Science Monika Simkova, Hana Tomaskova - Show less +1 more 01 Jan 2013	Not addressed in the paper.

My columns

Related Questions

What are some common technical research paper topics in the field of computer science?5 answersCommon technical research paper topics in computer science include advanced computing, component-based software development, technical writing skills for computer science students, logical models in technical systems, and the impact of pioneering work on modern computer science. These topics cover a wide range of areas such as the application of advanced computing in various industries, the reliability analysis of software components, teaching technical writing to computer science students, formalization in temporal logic, and the historical significance of early computer science research. Researchers delve into these subjects to explore advancements in computing technologies, software development methodologies, educational approaches, and theoretical models that shape the field of computer science.

What are the current research trends in the field of computer science under Matti Tedre's leadership?5 answersComputer science research under Matti Tedre's leadership is focused on various cutting-edge topics. One of the trends is the use of big data and deep learning for automatic dynamic feature extraction from packets in the field of cybersecurity. Another trend is the continuous growth in research in software engineering, particularly in areas such as cloud computing, big data, Android computing, network security, and software engineering project management. Additionally, there is a trend of increasing submission rates and decreasing acceptance rates in conferences such as Koli Calling, SIGCSE Technical Symposium, ITiCSE, and ICER. These trends reflect the ongoing efforts to push the boundaries of what is possible in computer science research and have a potential impact on society.

What were some of De gualle's achievements?5 answersDe Gaulle's achievements include his vital contribution to the renewal of French geography at the beginning of the twentieth century, where he developed a geography characterized by scientific legitimacy and reinforced a patriotic movement that believed the discipline was fundamental to French economic and political success. Additionally, he made significant advancements in the field of steel structure inspection and maintenance, integrating sensing and automation technologies to improve the service life of steel infrastructure and decrease inspection costs. Furthermore, De Gaulle's research focused on the fatigue character of mechanical interaction in surgical cement used to fix endoprostheses of joints, leading to the development of low cycle fatigue testing methods for modeling the loads on surgical cement in artificial hip joints. Lastly, his work in the field of healthcare involved studying rotavirus infection, particularly in tropical countries, where it was shown to cause severe and fatal diarrheal illnesses in infants, highlighting the importance of intestinal immunity mediated by IgA.

How did Dan Mocuta contribute to the field of computer science?4 answersDan Mocuta's contributions to the field of computer science include his work on the development of a software system for online learning based on intelligent software agents technologies. He designed a flexible online teaching software system that adapts to the learning profile of each student, using intelligent agent structures, reward learning algorithms, and algorithms to generate plans for an agent. The system includes two agents, a supervising agent, and a pedagogical agent, which determine the optimal pedagogical resources for teaching a course. Mocuta's system was experimented with the Graph Theory Course, demonstrating the importance of selecting pedagogical resources based on students' learning profiles.

What is the most interesting about computer science?5 answersComputer science is a fast-moving field that has evolved rapidly over the last 100 years. It is a nascent discipline that has had to reinvent itself several times. The field has made remarkable advancements, such as the ability to search billions of items in a fraction of a second and decrypt secure messages without knowing the encryption key. However, there are still many magical and paradoxical ideas in computer science that are yet to be fully understood. The complexity of the problems computer science seeks to solve is vast, while the machines on which these problems are executed are incredibly simple. Despite these challenges, computer science remains relevant and necessary. It is essential for making our fast but primitive machines perform challenging tasks and for addressing the unlimited number of hard computational problems.

What were the major contributions of Charles Babbage to the field of computer science?4 answersقدم تشارلز باباج مساهمات كبيرة في مجال علوم الكمبيوتر. قام بصياغة 26 جزءًا من التعليمات البرمجية لـ «المحرك التحليلي» غير المكتمل، مما يوفر نظرة ثاقبة على بنية البرمجة لحاسوبه الميكانيكي. لعب Babbage أيضًا دورًا مهمًا في تأسيس الحركة الإحصائية وأدرك الحاجة إلى آلات قادرة على معالجة مجموعات كبيرة من الأرقام، متوقعًا مفهوم «البيانات الضخمة». بالإضافة إلى ذلك، كانت مساهمات باباج في الاقتصاد سابقة لعصره، بما في ذلك مبدأ باباج، الذي يفسر ظهور وحدات الإنتاج الكبيرة، ونظرياته حول تكاليف البحث والمعاملات، والسمعة، والتنظيم الصناعي. كما ساهم فهمه للتقدم التكنولوجي ونظام التصنيع في نجاحاته في الاقتصاد السياسي. بشكل عام، أرسى عمل Babbage الأساس لعلوم الكمبيوتر وكان له تأثير عميق على مختلف المجالات.

See what other people are reading

What are the current advancements in the development of algorithms for optimizing cyberphysical system parameters in smart home systems?

Current advancements in optimizing cyberphysical system parameters in smart home systems include the development of algorithms for monitoring and adjusting environmental conditions in real-time. Additionally, there are novel approaches for estimating thermophysical parameters of heating elements, utilizing historical temperature and energy data for accuracy. Algorithms for estimating thermal parameters based on temperature and energy data have been proposed, enhancing energy optimization in smart homes. Moreover, advancements in smart home technologies involve enhancing security systems, such as implementing facial recognition and Bluetooth-based applications for door locking systems, providing increased security and control for homeowners. The concept of cyber-physical networks has also been explored, focusing on designing distributed optimization algorithms to leverage interconnected devices' computational power for efficient system operation.How do scientists determine the average number of cell divisions in a population over a specific period?

Scientists employ a variety of methods to determine the average number of cell divisions in a population over a specific period, leveraging both theoretical models and experimental techniques to overcome the challenges posed by direct observation limitations. One foundational approach involves the use of branching measure-valued Markov processes to model cell populations, where each individual's division rate is a function of its traits, such as age or size. This probabilistic model allows for the estimation of division rates by analyzing the traits of descendants in relation to their ancestors, providing insights into the dynamics of cell division over time. Further, the division rate parameter, crucial for understanding population dynamics, is often estimated through indirect observations due to technological constraints in measuring temporal dynamics directly. Theoretical and numerical strategies are developed to estimate division rates from growth-fragmentation equations, which consider the long-term behavior of size-structured populations. These methods are complemented by mathematical models that combine partial differential equations (PDEs) and stochastic processes, focusing on the bacterial cell division cycle to estimate division rates in steady environments. Experimental approaches also play a critical role. For instance, FISH-based image cytometry combined with dilution culture experiments can measure net growth, cell division, and mortality rates, using the frequency of dividing cells as a predictor for division rates. Computerized Video Time-Lapse (CVTL) microscopy offers another avenue, enabling the tracking of cells over generations and using segmentation techniques to estimate division rates based on cell area. Additionally, inverse problem-solving methods, such as those examining size-structured models for cell division, utilize measurable stable size distributions to determine division rates, employing novel solution schemes like mollification. Lastly, mathematical models describing the dynamics of population distributions due to synchrony loss over time in synchronized cell populations provide a framework for predicting cell cycle distributions, further aiding in the estimation of average division numbers. Together, these diverse methodologies underscore the multifaceted approach scientists take to quantify cell division rates, integrating theoretical, numerical, and experimental data to gain comprehensive insights into population dynamics over specific periods.Based on previous research, how is the mode classification done?

Mode classification can be approached through various methods based on previous research. In the field of music, a study by Cornelissen et al. (Context_1) explores mode classification in medieval plainchant melodies using a model that achieves a high F1 score by segmenting melodies into natural units. On the other hand, Vakkantula (Context_2) delves into speech mode classification, employing deep learning-based classifiers like AlexNet and ResNet18 to classify speech styles with high accuracy. Additionally, Li et al. (Context_3) propose a method that maps training sets to a kernel hidden space to enhance mode classification precision. Braun (Context_4) focuses on transportation mode classification, utilizing GPS and accelerometer data to improve accuracy in classifying ground transportation modes. Lei (Context_5) discusses mode as an inherent property of structure, emphasizing the quantization of mode direction parameters for different aqueduct types.What is the recommended temperature to roast cashew nut with skin?

The recommended temperature for roasting cashew nuts with skin varies based on different aspects studied in the research papers. Context_1 highlights that roasting at 140°C for 40 or 60 minutes produced the most acceptable cashew kernels in terms of flavor and overall quality. Context_2 suggests that a roasting temperature of 190°C was optimal for nutrient retention in cashew nuts. Additionally, Context_3 indicates that roasting at 140°C for around 33 minutes was ideal based on sensory evaluations. Lastly, Context_5 discusses the design of a mini cashew nut roaster that operated at a surface temperature of 275 ± 25°C, suitable for roasting cashew nuts within 2.5 minutes. Therefore, considering the various findings, a temperature range of 140-190°C for around 30-60 minutes could be recommended for roasting cashew nuts with skin to achieve desirable flavor, nutritional quality, and texture.What is the combined weight of the shell and kernel in an almond?

The combined weight of the shell and kernel in an almond varies based on different factors such as genotypes, locations, and agro-ecological systems. Studies on almond kernels from various regions like Iran, Kashmir, and Morocco show that almond genotypes have shell weights ranging from 0.2 to 3.0 g and kernel weights ranging from 0.9 to 1.4 g. The shelling percentage is typically lower than 25% in most genotypes. Additionally, the separation of shell and kernel is crucial in almond processing, with mechanized methods being more efficient than manual sorting. These findings highlight the variability in almond shell and kernel weights, emphasizing the importance of considering multiple factors when determining the combined weight of the shell and kernel in almonds.What is a kelp?

A kelp is a type of brown macroalgae that plays a crucial role in coastal ecosystems worldwide. Kelps are ecologically significant as they form important habitats in the sublittoral fringe of coastal areas. Additionally, kelps like Saccharina latissima have been studied for their potential benefits in mitigating ocean acidification in aquaculture settings. The presence of kelps can help buffer against coastal ocean acidification, benefiting calcifying organisms like bivalves by creating a more favorable carbonate chemistry regime for their growth. Furthermore, kelps have been integrated into multi-trophic aquaculture approaches to enhance the growth of bivalves under acidification scenarios. Overall, kelps are not only commercially important but also play a vital role in supporting marine biodiversity and ecosystem health.HOW TO MAKE 10% MAC sporulation media Mn2 -amended 10% Columbia Broth (MAC)?

To create a 10% MAC sporulation media Mn2-amended 10% Columbia Broth (MAC), you can follow a simple formula based on the information provided in the abstracts. The Columbia blood agar-based medium consists of meat leachate broth, pancreatic and heart digests, starch, meat enzyme digest, yeast extract, sodium azide, and agar, with a pH of 7.1-7.5. For sporulation, you can consider using Autoclaved barley or malt kernels in the medium, as they have been shown to increase yeast sporulation. Additionally, to enhance sporulation efficiency, you may explore other media formulations like Synthetic Sporulation Medium or Long Version Nutrient Agar, which have been successful in promoting Bacillus subtilis spore production within 7-9 days. By combining these insights, you can develop a robust 10% MAC sporulation media Mn2-amended 10% Columbia Broth.How does the space complexity problem affect the performance of Support Vector Machines (SVMs) in large datasets?

The space complexity issue significantly impacts the performance of Support Vector Machines (SVMs) in large datasets. SVMs, especially nonlinear ones, exhibit high classification quality but struggle with computational complexity due to storing and manipulating large, dense kernel matrices. As the structural complexity of SVMs increases, their statistical reliability and performance decrease exponentially, affecting prediction error behavior. To address the inefficiency in dealing with large-scale datasets, a new parallel data geometry analysis (PDGA) algorithm has been proposed to reduce the training set of SVMs, enhancing efficiency without compromising classification accuracy. This highlights the critical role of space complexity management in optimizing SVM performance for handling extensive datasets.What problems are associated with semantics of onyms?

The problems associated with the semantics of onyms include underspecification, multiple interpretations, and inadequacy in representing the richness of relations in problem domains. Additionally, the dominating onomastic view lacks consideration of semiotics, highlighting the need for a triple model of onymic semantics based on Ogden–Richards’ semiotic triangle. Furthermore, in the context of text mining, understanding the exact semantics of terms is hindered by homonym and synonym problems, which traditional thesauri struggle to resolve. These issues emphasize the importance of precise semantics in various domains, such as ontology construction, linguistic resources development, and text analysis, to avoid ambiguity and enhance the quality of results.How does the Jaccard index measure similarity between sets?

The Jaccard index quantifies similarity between sets by measuring the intersection over the union of the sets. It has been extended to consider relative interiority, multiset addition, and joint interdependence between random variables. For large datasets, distributed algorithms efficiently compute Jaccard similarity by encoding the problem into sparse matrix multiplication, minimizing data movement costs. In the context of disparity map estimation, the Jaccard distance is utilized alongside local binary patterns to enhance confidence in stereo matching results without supervised learning, yielding dense maps with low-cost filtering. Additionally, techniques like the Jaccard matrix and Jaccard cell have been proposed to extract nonlinear correlations and similarity features from data on the Euclidean plane.How does parallel computation in Transformer reduce the execution time compared to sequential computation in RNNs?

Parallel computation in Transformers reduces execution time compared to sequential computation in RNNs by enabling efficient processing of sequence lengths. Transformers leverage self-attention mechanisms for parallel computation, allowing them to process sequences in parallel and achieve better accuracy on long sequences. In contrast, RNNs rely on sequential computation, leading to slower training due to the need to compute each input step sequentially for context modeling. This difference in computation approach results in Transformers being faster to train than RNNs, as they can parallelize computations across sequence dimensions, optimizing execution time and enhancing overall performance. Additionally, the use of innovative parallel algorithms in Transformer serving systems further enhances efficiency and throughput, making them more suitable for online services in data centers equipped with GPUs.