Results for 'linear programming method'

965 found
Order:
  1. The Graphical Method for Finding the Optimal Solution for Neutrosophic linear Models and Taking Advantage of Non-Negativity Constraints to Find the Optimal Solution for Some Neutrosophic linear Models in Which the Number of Unknowns is More than Three.Maissam Jdid & Florentin Smarandache - 2023 - Neutrosophic Sets and Systems 58.
    The linear programming method is one of the important methods of operations research that has been used to address many practical issues and provided optimal solutions for many institutions and companies, which helped decision makers make ideal decisions through which companies and institutions achieved maximum profit, but these solutions remain ideal and appropriate in If the conditions surrounding the work environment are stable, because any change in the data provided will affect the optimal solution and to avoid (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. (1 other version)Neutrosophic Transport and Assignment Issues.Florentin Smarandache - 2023 - Infinite Study.
    We all know that problems of transportation and allocation appear frequently in practical life. We need to transfer materials from production centers to consumption centers to secure the areas’ need for the transported material or allocate machines or people to do a specific job at the lowest cost, or in the shortest time. We know that the cost factors Time is one of the most important factors that decision-makers care about because it plays an “important” role in many of the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. Graphical Method for Solving Neutrosophical Nonlinear Programming Models.Maissam Jdid & Florentin Smarandache - 2023 - Neutrosophic Systems with Applications 9.
    An important method for finding the optimal solution for linear and nonlinear models is the graphical method, which is used if the linear or nonlinear mathematical model contains one, two, or three variables. The models that contain only two variables are among the most models for which the optimal solution has been obtained graphically, whether these models are linear or non-linear in references and research that are concerned with the science of operations research, when (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. Neutrosophic Treatment of the Modified Simplex Algorithm to find the Optimal Solution for Linear Models.Maissam Jdid & Florentin Smarandache - 2023 - International Journal of Neutrosophic Science 23.
    Science is the basis for managing the affairs of life and human activities, and living without knowledge is a form of wandering and a kind of loss. Using scientific methods helps us understand the foundations of choice, decision-making, and adopting the right solutions when solutions abound and options are numerous. Operational research is considered the best that scientific development has provided because its methods depend on the application of scientific methods in solving complex issues and the optimal use of available (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. The Use of Neutrosophic Methods of Operation Research in the Management of Corporate Work.Florentin Smarandache & Maissam Jdid - 2023 - Neutrosophic Systems with Applications 3.
    The science of operations research is one of the modern sciences that have made a great revolution in all areas of life through the methods provided by it, suitable and appropriate to solve most of the problems that were facing researchers, scholars and those interested in the development of societies, and the most beneficiaries of this science were companies and institutions that are looking for scientific methods that help them manage their work so that they achieve the greatest profit and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. Taylor Series Approximation to Solve Neutrosophic Multiobjective Programming Problem.Ibrahim Hezam, Mohamed Abdel-Baset & Florentin Smarandache - 2015 - Neutrosophic Sets and Systems 10:39-45.
    In this paper, Taylor series is used to solve neutrosophic multi-objective programming problem (NMOPP). In the proposed approach, the truth membership, Indeterminacy membership, falsity membership functions associated with each objective of multi-objective programming problems are transformed into a single objective linear programming problem by using a first order Taylor polynomial series. Finally, to illustrate the efficiency of the proposed method, a numerical experiment for supplier selection is given as an application of Taylor series method (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  7. An Introduction to Hard and Soft Data Fusion via Conceptual Spaces Modeling for Space Event Characterization.Jeremy Chapman, David Kasmier, John L. Crassidis, James L. Llinas, Barry Smith & Alex P. Cox - 2021 - In Jeremy Chapman, David Kasmier, John L. Crassidis, James L. Llinas, Barry Smith & Alex P. Cox (eds.), National Symposium on Sensor & Data Fusion (NSSDF), Military Sensing Symposia (MSS).
    This paper describes an AFOSR-supported basic research program that focuses on developing a new framework for combining hard with soft data in order to improve space situational awareness. The goal is to provide, in an automatic and near real-time fashion, a ranking of possible threats to blue assets (assets trying to be protected) from red assets (assets with hostile intentions). The approach is based on Conceptual Spaces models, which combine features from traditional associative and symbolic cognitive models. While Conceptual Spaces (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  8. Digital Analysis of Soft Tissue Nasal Anatomy for Individual Treatment Planning.Hassan Bagheri & Figen Gövsa - 2023 - European Journal of Therapeutics 29 (1):41-48.
    Objective: Changing contour lines of the external nose following traumatic, aesthetic and tumour surgeries have become very trendy. The goal of this research is to study the several soft tissue landmarks, measurements (linear distances, ratios, angles) of the external nose and its nasal indicis using a computer program. Methods: Face region were taken a photographs of the two hundred adults. Analyses of linear (the lengths of nares, nasal bridge, and columella and nose height, nares width) and angular analyses (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. Conceptual Spaces for Space Event Characterization via Hard and Soft Data Fusion.Jeremy R. Chapman, David Kasmier, David Limbaugh, Stephen R. Gagnon, John Crassidis, James Llinas, Barry Smith & Alexander P. Cox - 2021 - AIAA (American Institute of Aeronautics and Astronautics) Scitech 2021 Forum.
    The overall goal of the approach developed in this paper is to estimate the likelihood of a given kinetic kill scenario between hostile spacebased adversaries using the mathematical framework of Complex Conceptual Spaces Single Observation. Conceptual spaces are a cognitive model that provide a method for systematically and automatically mimicking human decision making. For accurate decisions to be made, the fusion of both hard and soft data into a single decision framework is required. This presents several challenges to this (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. Lexicographic multi-objective linear programming using grossone methodology: Theory and algorithm.Marco Cococcioni, Massimo Pappalardo & Yaroslav Sergeyev - 2018 - Applied Mathematics and Computation 318:298-311.
    Numerous problems arising in engineering applications can have several objectives to be satisfied. An important class of problems of this kind is lexicographic multi-objective problems where the first objective is incomparably more important than the second one which, in its turn, is incomparably more important than the third one, etc. In this paper, Lexicographic Multi-Objective Linear Programming (LMOLP) problems are considered. To tackle them, traditional approaches either require solution of a series of linear programming problems or (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  11. Logical model of Personality and Cognition with possible Applications.Miro Brada - 2016 - In Park Woosuk (ed.), KAIST/KSBS International Workshop. KAIST. pp. 89-100.
    Although the cognition is significant in strategic reasoning, its role has been weakly analyzed, because only the average intelligence is usually considered. For example, prisoner's dilemma in game theory, would have different outcomes for persons with different intelligence. I show how various levels of intelligence influence the quality of reasoning, decision, or the probability of psychosis. I explain my original methodology developed for my MA thesis in clinical psychology in 1998, and grant research in 1999, demonstrating the bias of the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12. Methods and Applications of Non-Linear Analysis in Neurology and Psycho-physiology.Elio Conte - 2012 - Journal of Consciousness Exploration and Research 1 (9):1070-1138.
    In the light of the results obtained during the last two decades in analysis of signals by time series, it has become evident that the tools of non linear dynamics have their elective role of application in biological, and, in particular, in neuro-physiological and psycho-physiological studies. The basic concept in non linear analysis of experimental time series is that one of recurrence whose conceptual counterpart is represented from variedness and variability that are the foundations of complexity in dynamic (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. Tableaux-based decision method for single-agent linear time synchronous temporal epistemic logics with interacting time and knowledge.Mai Ajspur & Valentin Goranko - 2013 - In Kamal Lodaya (ed.), Logic and Its Applications. Springer. pp. 80--96.
    Temporal epistemic logics are known, from results of Halpern and Vardi, to have a wide range of complexities of the satisfiability problem: from PSPACE, through non-elementary, to highly undecidable. These complexities depend on the choice of some key parameters specifying, inter alia, possible interactions between time and knowledge, such as synchrony and agents' abilities for learning and recall. In this work we develop practically implementable tableau-based decision procedures for deciding satisfiability in single-agent synchronous temporal-epistemic logics with interactions between time and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. Neutrosophic Treatment of Duality Linear Models and the Binary Simplex Algorithm.Maissam Jdid & Florentin Smarandache - 2023 - Prospects for Applied Mathematics and Data Analysis 2 (1).
    One of the most important theories in linear programming is the dualistic theory and its basic idea is that for every linear model has dual linear model, so that solving the original linear model gives a solution to the dual model. Therefore, when we solving the linear programming model, we actually obtain solutions for two linear models. In this research, we present a study of the models. The neutrosophic dual and the binary (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. NATIONAL AND INTERNATIONAL CAPACITIES IN SUPPLY CHAIN MANAGEMENT OF SCHOOL MEALS PROGRAM: A FOOD VARIETY-BASED ANALYSIS.Deatri Arumsari Agung, Dan Li, Rodney Asilla, Adrino Mazenda, Sari Ni Putu Wulan Purnama, Minh-Hoang Nguyen & Quan-Hoang Vuong - manuscript
    Background: The school meals program has multiple objectives of education, nutrition, and value transfer. To ensure achieving the goal, total quality management (TQM) is implemented in the school meals program. Supply chain issues pose significant challenges to TQM implementation in the program execution. Aim: This study aims to examine national and international capacities in supply chain management by analyzing the variety of food items delivered through the school meals program. Methods: The Bayesian Mindsponge Framework, combining the reasoning strengths of Mindsponge (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16. FINANCIAL AIDS AND SUPPLY PURCHASING FOR WIDER FEEDING MODALITIES IN SCHOOL MEAL PROGRAMS: A CASE STUDY OF USDA FUNDING.Adrino Mazenda, Chenaimoyo Lufutuko Faith Katiyatiya, Rodney Asilla, Minh-Phuong Thi Duong, Sari N. P. W. P., Minh-Hoang Nguyen & Quan-Hoang Vuong - manuscript
    Background: The feeding modalities applied in countries with school meal programs are varied because these are shaped not only by the national commitments to alleviate food insecurity among children but also by resource availability from national and international agencies. In terms of financial resources, the USA plays a consistent role in providing donations, grants, loans, and loan guarantee programs to support global school feeding. The U.S. Department of Agriculture (USDA) oversees these funding sources for international school meal programs. Aim: This (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. POLICY ANALYSIS IN SCHOOL MEALS PROGRAM: REGULATION IMPACTS ON IN-SCHOOL FOOD FORTIFICATION.Sari Ni Putu Wulan Purnama, Adrino Mazenda, Chenaimoyo Lufutuko Faith Katiyatiya, Minh-Hoang Nguyen & Quan-Hoang Vuong - manuscript
    Background: Food fortification refers to the process of adding nutrients to foods during their production. It is a cost-effective strategy with well-documented health, economic, and social benefits. Food fortification practices in school meal programs need guidance and legal support from various national policies. Aim: This study aims to analyze how various national policies—such as those related to school feeding, nutrition, health, food safety, agriculture, and the private sector—associate with the implementation of in-school food fortification among countries with school meals programs. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18. PROMOTING FOOD BIOFORTIFICATION IN AGRICULTURAL SECTORS THROUGH SCHOOL MEALS PROGRAM: THE SIGNIFICANCE OF NATIONAL POLICIES.Komang Agus Edi Suyoga, Sari Ni Putu Wulan Purnama, Chenaimoyo Lufutuko Faith Katiyatiya, Adrino Mazenda, Minh-Hoang Nguyen & Quan-Hoang Vuong - manuscript
    Background: Food biofortification practices in agricultural sectors involve the process of employing biotechnology to enhance the nutritional content of crops during their growth process. Biofortification makes foods even more nutritious and highly functional for addressing malnutrition among children. These practices in farming industries need guidance and legal support from various national policies to support high-quality supplies of school meals fully. Aim: This study aims to analyze the association between various national policies and the implementation of food biofortification practices in agricultural (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. The Logic of the Method of Agent-Based Simulation in the Social Sciences: Empirical and Intentional Adequacy of Computer Programs.Nuno David, Jaime Sichman & Helder Coleho - 2005 - Journal of Artificial Societies and Social Simulation 8 (4).
    The classical theory of computation does not represent an adequate model of reality for simulation in the social sciences. The aim of this paper is to construct a methodological perspective that is able to conciliate the formal and empirical logic of program verification in computer science, with the interpretative and multiparadigmatic logic of the social sciences. We attempt to evaluate whether social simulation implies an additional perspective about the way one can understand the concepts of program and computation. We demonstrate (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  20. Solar Power Plant Location Selection Problem by using ELECTRE-III Method in Pythagorean Neutrosophic Programming Approach (A case study on Green Energy in India).Rajesh Kumar Saini, Ashik Ahirwar Ahirwa & Florentin Smarandache - unknown
    India dropped its target of 500 GW of renewable energy capacity fossil fuel sources by 2030. Its responsibilities the United Nations Framework Convention Climate Change [UNFCCC],and reducing radiations by one billion tonnes by the end of the decade at the COP26 conference, held in Glasgow in November 2022. Researchers are continually searching for inexhaustible and reasonable energy sources. Solar energy is one of the greenest sources of energy and is also one of the cleanest. The most important factor in using (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. SYNERGY BETWEEN SCHOOL MEAL PROGRAMS AND FOOD BANKS TO COMBAT FOOD INSECURITY AMONG CHILDREN: THE SIGNIFICANCE OF EXPERTS INVOLVEMENT.Sari Ni Putu Wulan Purnama, Chenaimoyo Lufutuko Faith Katiyatiya, Adrino Mazenda, Chido Chakanya, Minh-Hoang Nguyen & Quan-Hoang Vuong - manuscript
    Background: Food insecurity condition challenges the availability of food, access to food, food supply stability, and food utilization. Food banks play a major role in the food aid sector by distributing donated and purchased groceries directly to food-insecure families, thus significantly impacting food insecurity. On the other hand, school meal programs are implemented in many countries to combat food insecurity among school-aged children. The synergy between school meal programs and food banks has a great potency to combat food insecurity among (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. On Characterizing Efficient and Properly Efficient Solutions for Multi- Objective Programming Problems in a Complex Space.Alhanouf Alburaikan, Hamiden Abd El-Wahed Khalifa & Florentin Smarandache - 2023 - Journal of Optimization in Industrial Engineering 16 (2):369-375.
    In this paper, a complex non- linear programming problem with the two parts (real and imaginary) is considered. The efficient and proper efficient solutions in terms of optimal solutions of related appropriate scalar optimization problems are characterized. Also, the Kuhn-Tuckers' conditions for efficiency and proper efficiency are derived. This paper is divided into two independently parts: The first provides the relationships between the optimal solutions of a complex single-objective optimization problem and solutions of two related real programming (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. IMPROVING COMMUNITY ENGAGEMENT BY CREATING JOBS AND INCOME-GENERATING OPPORTUNITIES FOR WOMEN: THE PURPOSEFUL FOCUS OF SCHOOL MEAL PROGRAMS.Minh-Phuong Thi Duong, Dan Li, Thi Mai Anh Tran, Sari N. P. W. P., Minh-Hoang Nguyen & Quan-Hoang Vuong - manuscript
    Background: School meal programs are not only government initiatives but also community-driven efforts. Aiming to combat food insecurity among school-aged children effectively, these programs are executed in conjunction with food bank initiatives. Various community groups play a crucial role in the success of both food security initiatives. There is a need to improve community engagement to successfully link school meal programs with food banks to build program synergy, combating food insecurity through a two-sided approach. Aim: This study aims to examine (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24. Non-linear Analysis of Models for Biological Pattern Formation: Application to Ocular Dominance Stripes.Michael Lyons & Lionel G. Harrison - 1992 - In Frank Eeckman (ed.), Neural Systems: Analysis and Modeling. Springer. pp. 39-46.
    We present a technique for the analysis of pattern formation by a class of models for the formation of ocular dominance stripes in the striate cortex of some mammals. The method, which employs the adiabatic approximation to derive a set of ordinary differential equations for patterning modes, has been successfully applied to reaction-diffusion models for striped patterns [1]. Models of ocular dominance stripes have been studied [2,3] by computation, or by linearization of the model equations. These techniques do not (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25.  4
    SUPPLY SOURCING STRATEGIES AND FEEDING MODALITIES IN SCHOOL MEAL PROGRAMS: THE CONTRIBUTIONS OF IN-KIND DONATIONS AND PURCHASES FROM NATIONAL AND INTERNATIONAL BODIES.Chamunorwa Huni, Minh-Phuong Thi Duong, Sari Ni Putu Wulan Purnama, Adrino Mazenda, Davy Budiono, Minh-Hoang Nguyen & Quan-Hoang Vuong - manuscript
    Background: The feeding modalities used in school meal programs—such as breakfast, lunch, dinner, snacks, and take-home rations—are influenced by various factors, including supply chain constraints and technical challenges in food distribution. The methods of supply sourcing, whether through domestic or foreign food reserves via in-kind donations or purchases, play a critical role in shaping the feeding options provided. Aim: This study aims to examine the association between supply-sourcing strategies, i.e., domestic and foreign in-kind donations and national-international purchases, with the feeding (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. PROGRAM IMPLEMENTATION OF COMMUNITY-ORIENTED POLICING.Rhena Fe P. Tondo, Lessel Franco, Hasna Gumandol & Mark Patalinghu - 2020 - IOER INTERNATIONAL MULTIDISCIPLINARY RESEARCH JOURNAL, VOL. 2, NO. 4, DEC., 2020 2 (4).
    As the philosophy of policing shifts from a traditional to a community-based approach, its implementation needs to be assessed. The study determined the program implementation of community-oriented policing in the town of Dumingag Zamboanga del Sur and its effectiveness in crime reduction from 2014 to 2018. The study employed a descriptive-survey method with the questionnaire-checklist as the main instrument used in gathering the data and information. The survey questionnaire underwent an evaluation process by field expert and tested using Cronbach’s (...)
    Download  
     
    Export citation  
     
    Bookmark  
  27. Design of Label Sorting Algorithm Program as Batik Pattern Drawer with Euclidean Distance Method.Budi Setiyono, Sumardi & Solichul Huda - 2018 - International Journal of Engineering and Information Systems (IJEAIS) 3 (2):36-46.
    Abstract: The development of technology pushes human to increase productivity by changing manual system to automatic system. Modernization affect almost all aspect especially in art. Batik is a ancestor legacy of indonesian people that recogized by UNESCO as culture legacy of Indonesia yet batik industries are not develop as much. Modernization in batik art is expected to optimize its productivity. This research design algorithm and the program in MATLAB that used for controlling movement protype of batik maker 2 dof cartesian (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. 2. Programming relativity as the mathematics of perspective in a Planck unit Simulation Hypothesis.Malcolm Macleod - manuscript
    The Simulation Hypothesis proposes that all of reality is in fact an artificial simulation, analogous to a computer simulation. Outlined here is a method for programming relativistic mass, space and time at the Planck level as applicable for use in Planck Universe-as-a-Simulation Hypothesis. For the virtual universe the model uses a 4-axis hyper-sphere that expands in incremental steps (the simulation clock-rate). Virtual particles that oscillate between an electric wave-state and a mass point-state are mapped within this hyper-sphere, the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29.  80
    Experiences of Program Heads in Supervising Teachers: A Phenomenological Study.Elton John Embodo - 2024 - International Journal for Multidisciplinary Research 6 (5):1-28.
    The supervision of teachers is essential for ensuring effective teaching methods, ongoing professional growth, and student success. This study explored the experiences of program heads in supervising teachers. It was conducted in a local college in Tangub City, Misamis Occidental. The phenomenological design was used in the study. Eleven program heads served as the participants selected through the purposive sampling technique. The Interview Guide was used as the research instrument. Moustakas' transcendental phenomenology of data analysis was utilized to analyze the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30. A Teacher and Researcher: A Scratch on the Science Community and Meaning of Evaluation with the Research Doctoral Programs Ranking.Kiyoung Kim - 2015 - International Journal of Philosophy 3 (4):34.
    The epistemology and phenomenology of contemporary society tend to be deepened, and the philosophical challenges never are minimal that we may be called to face with the kind of post-modern chaos from the rapidly changing phenomena of the global community. The ballast held on the identity of faculty members as a teacher and researcher now turns due so as to be recast with our intrinsic of routine performance. I considered their quality as bent on the intellectual strife on the (...) and the kind of attitude, say, evaluation and consultation. In this paper, the authors have presented some thought and implications that triangulated the triad, i.e., research methodology, program evaluation and consulting illustration on the college research program rankings. The author is hoped that the discourse can help the academicians to share the attribute of different methods as well as the dimension of evaluation and consulting, perhaps essentially related with their work role in terms of teaching and researching. Keywords: Research Method, Qualitative Studies, Mixed Method, Program Evaluation, Theory and Philosophy, Program Rankings, Consulting, Journal Writing. (shrink)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  31. Vincent Bevins, The Jakarta Method: Washington’s Anticommunist Crusade and the Mass Murder Program That Shaped Our World, New York, Public Affairs, 2020. [REVIEW]Ovidiu Gherasim-Proca - 2020 - Psihologia Socială 46 (2): 195‑198.
    Istoria macabră a programelor anticomuniste de exterminare din ţările care nu făceau parte din sfera de influenţă sovietică este astăzi un subiect prea puţin confortabil pentru liderii şi savanţii „lumii libere”. „Studierea crimelor comunismului”, dimpotrivă. Prezentarea istoriei secolului 20 într‑o manieră maniheistă şi parţială este mult mai profitabilă. Un lucru e cert: indiferent ce dorim sau refuzăm să ştim despre istoriile deprimante ale succesului geopolitic american, cu certitudine amintirea lor nu se va şterge prea curând în comunităţile din Argentina, Bolivia, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  32. Disintegrating the Linear: Time in Simon Finn’s Instability.Marilyn Stendera - 2018 - In Exhibition Catalogue - Simon Finn's Instability.
    The art of Simon Finn has always had a markedly temporal dynamic. Vast structures built and annihilated again and again across different media, their fragmentation across space and time simultaneously methodical and darkly chaotic. Roiling waters and eldritch surfaces held captive in their unrest. Finn’s works render cycles of construction and disintegration, of stasis and motion, in ways that shed light upon the underlying structures of our experience of time while shattering simplistic notions of linearity. This is nowhere more apparent (...)
    Download  
     
    Export citation  
     
    Bookmark  
  33. Explaining Universality: Infinite Limit Systems in the Renormalization Group Method.Jingyi Wu - 2021 - Synthese (5-6):14897-14930.
    I analyze the role of infinite idealizations used in the renormalization group (RG hereafter) method in explaining universality across microscopically different physical systems in critical phenomena. I argue that despite the reference to infinite limit systems such as systems with infinite correlation lengths during the RG process, the key to explaining universality in critical phenomena need not involve infinite limit systems. I develop my argument by introducing what I regard as the explanatorily relevant property in RG explanations: linearization* property; (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  34. The ILLTP Library for Intuitionistic Linear Logic.Carlos Olarte, Valeria Correa Vaz De Paiva, Elaine Pimentel & Giselle Reis - manuscript
    Benchmarking automated theorem proving (ATP) systems using standardized problem sets is a well-established method for measuring their performance. However, the availability of such libraries for non-classical logics is very limited. In this work we propose a library for benchmarking Girard's (propositional) intuitionistic linear logic. For a quick bootstrapping of the collection of problems, and for discussing the selection of relevant problems and understanding their meaning as linear logic theorems, we use translations of the collection of Kleene's intuitionistic (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. Program for a Transgender Existentialism.Penelope Haulotte - 2023 - Transgender Studies Quarterly 10 (1):32-41.
    Trans theory is characterized in part by the apparent tension between discursive analyses of cisgender society and phenomenological descriptions of trans experiences. While traditional inquiry into the history of philosophy proposes an interminable opposition between phenomenology and discourse analysis, Rubin’s alternative suggestion is that within the domain of trans studies that they fulfill complimentary dimensions of investigation. Discourse analysis and phenomenology converge in trans studies because they are submitted to the same ethical and political imperative: the systematic development of the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36.  60
    BMF CP80: USDA funding and supplies purchasing for wider feeding modalities in school meal programs.Ni Putu Wulan Purnama Sari - 2024 - Sm3D Portal.
    This study aims to examine the moderating effect of USDA funding on the relationship between purchasing methods and feeding modalities in countries implementing school meal programs. The findings may highlight the importance of USDA funding for countries with limited external resources, thereby enhancing their purchasing power for food supplies.
    Download  
     
    Export citation  
     
    Bookmark  
  37. Methods in analytic epistemology.Kirk Ludwig - 2013 - In Matthew C. Haug (ed.), Philosophical Methodology: The Armchair or the Laboratory? New York: Routledge. pp. 217-239.
    In this chapter, I defend the program of conceptual analysis, broadly construed, and the method of thought experiments in epistemology, as a first-person enterprise, that is, as one which draws on the investigator's own competence in the relevant concepts. I do not suggest that epistemology is limited to conceptual analysis, that it does not have important a posteriori elements, that it should not draw on empirical work wherever relevant (and non-question begging), or that it is not a communal enterprise. (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  38. Analyzing the Effects of Changes in Testing Methods on Evidenced Teaching Competencies.Cyrus Casingal - 2024 - Education Digest 19 (1):25-33.
    There is a critical need to understand the effect of changing assessment methods on demonstrated competencies in teacher education. This study examined how the transition from online to in-person testing affects the measured teaching competencies of students who completed a Competency-Based Enhancement (CBE) program, aiming to identify factors contributing to performance differences and strategies for adaptation. Using a one-group pre-test-post-test design, the study involved 669 graduating teacher education students at Pangasinan State University. Participants completed online pre-tests and in-person post-tests, with (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39. (1 other version)Programming Planck units from a virtual electron; a Simulation Hypothesis (summary).Malcolm Macleod - 2018 - Eur. Phys. J. Plus 133:278.
    The Simulation Hypothesis proposes that all of reality, including the earth and the universe, is in fact an artificial simulation, analogous to a computer simulation, and as such our reality is an illusion. In this essay I describe a method for programming mass, length, time and charge (MLTA) as geometrical objects derived from the formula for a virtual electron; $f_e = 4\pi^2r^3$ ($r = 2^6 3 \pi^2 \alpha \Omega^5$) where the fine structure constant $\alpha$ = 137.03599... and $\Omega$ (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40. The Engineering Knowledge Research Program.Terry Bristol - 2018 - In Albrecht Fritzsche & Sascha Julian Oks (eds.), The Future of Engineering: Philosophical Foundations, Ethical Problems and Application Cases. Cham: Springer Verlag.
    The engineering knowledge research program is part of the larger effort to articulate a philosophy of engineering and an engineering worldview. Engineering knowledge requires a more comprehensive conceptual framework than scientific knowledge. Engineering is not ‘merely’ applied science. Kuhn and Popper established the limits of scientific knowledge. In parallel, the embrace of complementarity and uncertainty in the new physics undermined the scientific concept of observer-independent knowledge. The paradigm shift from the scientific framework to the broader participant engineering framework entails a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41. Challenging the linear narrative of European integration: a call for reflection.Juozas Kasputis - 2024 - Darbai Ir Dienos / Deeds and Days 80:99-109.
    This paper philosophically explores the possible introduction of an alternative analytical approach to European integration. It is an invitation to reflect critically outside the mainstream paradigm. An extensive amount of scientific literature and research papers focuses on the EU, but it is quite easy to get lost amidst this stream of abundant writing. Meanwhile, the EU has been experiencing serious challenges since the previous enlargement, which has led to a broader definition of the “European project.” Numerous discussions have failed to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  42. Assessing Sangguniang Kabataan Programs: A Baseline Study in Developing a Comprehensive Plan for the Development of the Youth in Cuenca, Batangas.Renniel Jayson Jacinto Rosales - 2023 - Universal Journal of Educational Research 2 (1):47-56.
    The Sangguniang Kabataan is an essential part of the government to develop the youth in the society and to encourage a meaningful youth participation in different sectors in the community. This study assesses the Sangguniang Kabataan performance in Cuenca, Batangas as it encapsulates the strength and weaknesses of the programs together with the needs, comments, and suggestions of the youth as guided by the National Youth Commission’s Nine Centers of Meaningful Youth Participation in line with some selected United Nations Sustainable (...)
    Download  
     
    Export citation  
     
    Bookmark  
  43. Experimental Methods for Unraveling the Mind-body Problem: The Phenomenal Judgment Approach.Victor Argonov - 2014 - Journal of Mind and Behavior 35 (1-2):51-70.
    A rigorous approach to the study of the mind–body problem is suggested. Since humans are able to talk about consciousness (produce phenomenal judgments), it is argued that the study of neural mechanisms of phenomenal judgments can solve the hard problem of consciousness. Particular methods are suggested for: (1) verification and falsification of materialism; (2) verification and falsification of interactionism; (3) falsification of epiphenomenalism and parallelism (verification is problematic); (4) verification of particular materialistic theories of consciousness; (5) a non-Turing test for (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  44. How to Think about the Astrology Research Program: An Essay Considering Emergent Effects.Kenneth Douglas McRitchie - 2023 - Journal of Scientific Exploration 36 (4):706-716.
    As it has been shaped by improvements in its tools and methods, and by its discourse with critics, I describe how the astrological research program has advanced through three stages of modelling and design limitations. Single-factor tests (for example, the many Sun-sign–only experiments that have been published) are typically underdeterministic. Multi-factor tests, unless they are very well designed, can easily become overdeterministic. Chart-matching tests have been vulnerable to confirmation bias errors until the development of a machine-based, whole-chart matching protocol that (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  45. Philosophical perspectives of secular programs of compassion training.Ihor Kolesnyk - 2024 - Scientific Journal of Polonia University 63 (2):163-169.
    The article discusses key meditation-based programs aimed at nurturing and training the ability to empathize. Historically, these programs have been drawn to Buddhist teachings and traditional meditation practices, but in the process of adapting to global world and a secular context, they separate themselves from religion. In the process of research, I try to demonstrate the importance of these methods for philosophy, ethics and education, since the cultivation of compassion helps to better and more deeply understand the nature of a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46. REALIZING ORGANIZATIONAL POTENTIAL: CUSTOMIZED TRAINING PROGRAMS FOR IMPROVED WORKPLACE BEHAVIOR.Jiomarie Jesus - 2024 - Psychology and Education: A Multidisciplinary Journal 21 (6): 629-634.
    This research examines how it is to have tailored training programs to improve behavior at work. It focuses on aspects including interpersonal skills, communication, adaptability, and work ethics. Acknowledging the paucity of empirical research on particular training requirements for these characteristics, the study uses a descriptive-correlational methodology to examine information from ninety production employees at Fine Interiors Trading and Manufacturing Incorporated. To guarantee participation from a range of employment roles, participants were chosen using purposive sampling. Utilizing an extensive survey to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. (1 other version)Position Control of a Solenoid Based Linearly Movable Armature System using Robust Control Technique.Mustefa Jibril, Messay Tadese & Eliyas Alemayehu - 2020 - Report and Opinion Journal 12 (10):34-38.
    In this paper, a solenoid based linearly movable armature system is designed using robust control theory in order to improve the performance of the system. Reference track method is the best performance analysis for position control systems. Among the robust controllers, H infinity mixed-sensitivity and Mixed H 2 /H∞ with Regional Pole Placement Controllers are used to improve the performance of the system. Comparison of the proposed controllers for tracking a reference displacement signals (step and sine wave) and a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48. An analytical framework-based pedagogical method for scholarly community coaching: A proof of concept.Ruining Jin, Giang Hoang, Thi-Phuong Nguyen, Phuong-Tri Nguyen, Tam-Tri Le, Viet-Phuong La, Minh-Hoang Nguyen & Quan-Hoang Vuong - 2023 - MethodsX 10:102082.
    Working in academia is challenging, even more so for those with limited resources and opportunities. Researchers around the world do not have equal working conditions. The paper presents the structure, operation method, and conceptual framework of the SM3D Portal's community coaching method, which is built to help Early Career Researchers (ECRs) and researchers in low-resource settings overcome the obstacle of inequality and start their career progress. The community coaching method is envisioned by three science philosophies (cost-effectiveness, transparency (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  49. Descartes's Method of Doubt.Leslie Allan - manuscript
    Enlightenment philosopher, René Descartes, set out to establish what could be known with certainty, untainted by a deceiving demon. With his method of doubt, he rejected all previous beliefs, allowing only those that survived rigorous scrutiny. In this essay, Leslie Allan examines whether Descartes's program of skeptical enquiry was successful in laying a firm foundation for our manifold beliefs. He subjects Descartes's conclusions to Descartes's own uncompromising methodology to determine whether Descartes escaped from a self-imposed radical skepticism.
    Download  
     
    Export citation  
     
    Bookmark  
  50. How research programs come apart: The example of supersymmetry and the disunity of physics.Lucas Gautheron & Elisa Omodei - 2023 - Quantitative Science Studies 4 (3):671–699.
    According to Peter Galison, the coordination of different “subcultures” within a scientific field happens through local exchanges within “trading zones.” In his view, the workability of such trading zones is not guaranteed, and science is not necessarily driven towards further integration. In this paper, we develop and apply quantitative methods (using semantic, authorship, and citation data from scientific literature), inspired by Galison’s framework, to the case of the disunity of high-energy physics. We give prominence to supersymmetry, a concept that has (...)
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 965