formalization - Robuta Search

https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITP.2024.28 Lean Formalization of Completeness Proof for Coalition Logic with Common Knowledge lean formalization completeness proof https://lists.w3.org/Archives/Public/public-html/2020Oct/0004.html Re: Proposal: HTML use of remote alt text; matching extension/formalization for HTTP... https://publica.fraunhofer.de/entities/publication/f4ae1053-0540-4f94-98bc-ae79da7fd9de Gestalt algebra - a proposal for the formalization of gestalt perception and rendering Gestalt Algebra gives a formal structure suitable for describing complex patterns in the image plain. This can be useful for recognizing hidden structure in... for the gestalt algebra proposal https://www.math.harvard.edu/event/formalization-of-qft/ Formalization of QFT - Harvard Math Interactive theorem proving with the Lean 4 theorem prover, Mathlib and AI coding assistants has recently become a powerful method for checking and developing... formalization qft harvard math https://econpapers.repec.org/paper/tcrwpaper/e189.htm EconPapers: Optimal Income Taxation and Formalization of the Informal Economy By Hirofumi Takikawa; Abstract: Tax revenues, particularly in developing countries, play a crucial role in driving economic development, and of the econpapers optimal income taxation https://philosophy.unm.edu/events/detail/soyons-tout-on-undecidable-theorems-and-the-formalization-of-subjective-overdetermination.html "Soyons Tout!" On Undecidable Theorems and the Formalization of Subjective Overdetermination ::... and the soyons tout theorems https://cddrl.fsi.stanford.edu/arabreform/events/a_discussion_about_economic_formalization_in_the_mena_region A discussion about economic formalization in the MENA region | FSI a discussion in the mena region economic formalization https://arxiv.org/abs/2310.16005 [2310.16005] MLFMF: Data Sets for Machine Learning for Mathematical Formalization Abstract page for arXiv paper 2310.16005: MLFMF: Data Sets for Machine Learning for Mathematical Formalization data sets machine learning mathematical formalization https://math.berkeley.edu/publications/formalization-logic-ordinary-conditionals A Formalization of the Logic of Ordinary Conditionals | Department of Mathematics of the formalization logic ordinary conditionals https://microdata.worldbank.org/citations/9651 The demand for, and consequences of, formalization among informal firms in Sri Lanka https://canvas.duke.edu/courses/32612 Formalization of Mathematics formalization mathematics https://d-lab.mit.edu/news-blog/blog/implementing-creative-capacity-building-workshop-formalization-artisanal-and-small Implementing a Creative Capacity Building workshop for the formalization of artisanal and... capacity building https://www.csg.uzh.ch/en/theses/DS-BA-MA-Evaluating-Implementation-of-Functional-Requirements-in-Software-Architectures.html Formalization and Evaluation of Decentralization Requirements in Decentralized Identity Systems |... decentralized identity formalization evaluation decentralization requirements https://blogs.worldbank.org/en/latinamerica/promoting-formalization-ecuadorian-entrepreneurs-just-got-easier Promoting the formalization of Ecuadorian entrepreneurs just got easier In Ecuador, thousands of micro and small entrepreneurs operate in the informal sector, partly because of cumbersome and costly bureaucratic procedures that... promoting formalization ecuadorian entrepreneurs got https://research.tue.nl/en/publications/the-formalization-of-message-sequence-charts/ The formalization of Message Sequence Charts - Research portal Eindhoven University of Technology research portal formalization message sequence https://umu.diva-portal.org/smash/record.jsf?pid=diva2%3A1453669 Formalization of Dialogues from Movie Corpus using DAMSL Annotation Scheme as Cooperating... https://documents.worldbank.org/en/publication/documents-reports/documentdetail/511561539287441679 Helping Firms Realize the Benefits of (Partial) Formalization Developing country governments seek to reduce pervasive informality of firms for multiple reasons: increasing the tax base, helping firms access formal markets... the benefits helping firms realize partial https://journals.uvic.ca/index.php/pir/article/view/19030 John T. Baldwin, "Model Theory and the Philosophy of Mathematical Practice: Formalization without... https://www.socsci.uci.edu/newsevents/events/2023/2023-04-28-nancy-irvine-workshop.php Nancy-Irvine Workshop on Formalization in Logic, Language, and Mathematics | School of Social... https://mars.gmu.edu/items/0ec7e60c-6b56-4b7b-8c66-d901c42201ae Beyond the Invisible: The Impact of Trade Liberalization and Formalization on Small Businesses in... Trade liberalization in Latin America has substantially altered business opportunities and economic development in the region. As barriers to competing inputs... https://www.undp.org/sierra-leone/publications/supporting-transition-informal-enterprises-towards-sustainable-growth-and-formalization-project-february-2022-june-2027 Supporting the transition of informal enterprises towards sustainable growth and formalization... The informal economy project is an African, Caribbean, and Pacific (OACPS) Group of Statesinitiative financed by the European Union (EU) and United natio the transition sustainable growth supporting informal https://datacatalog.worldbank.org/search/dataset/0050032/sri-lanka-formalization-experiment-data-2008-2011 Sri Lanka - Formalization Experiment Data 2008-2011 - World Ba... The majority of firms in most developing countries are informal. In Sri Lanka only one-fifth of firms operating without paid workers are registered with an... sri lanka experiment data formalization world ba https://blogs.worldbank.org/en/psd/formalization-vs-preserving-livelihoods Formalization vs. preserving livelihoods Our debate on enterprise formalization continues. formalization vs preserving livelihoods https://research.utwente.nl/en/publications/formalization-and-data-enrichment-for-automated-evaluation-of-bui/ Formalization and data enrichment for automated evaluation of building pattern preservation -... data enrichment formalization https://folio-org.atlassian.net/wiki/spaces/TC/pages/5057162/2023-07-31+-+Platform+Application+Formalization 2023-07-31 - Platform & Application Formalization - Technical Council - FOLIO Wiki technical council platform application formalization folio https://www.sei.cmu.edu/library/formalization-of-the-aadl-run-time-services/ Formalization of the AADL Run-Time Services | CMU Software Engineering Institute In this paper, the authors illustrate how key semantic elements of the AADL standard may be documented via a rule-based formalization of key aspects of the... of the run time software engineering formalization aadl https://publica.fraunhofer.de/entities/publication/2343981a-0f85-45f2-8507-19197b2e1e7c A semi-reactive planner based on a possible models action formalization based on semi reactive planner possible https://philsci-archive.pitt.edu/24231/ What is at Stake in the Formalization of a Chronostratigraphic Unit? A Case Study on the... what is at stake https://experts.mcmaster.ca/scholarly-works/71961 The Formalization of Syntax-Based Mathematical... Learn about the scholarly work entitled The Formalization of Syntax-Based Mathematical... formalization syntax based mathematical https://research.ibm.com/publications/service-licensing-conceptualization-formalization-and-expression Service licensing: Conceptualization, formalization, and expression for Service Oriented Computing... Service licensing: Conceptualization, formalization, and expression for Service Oriented Computing and Applications by G.R. Gangadharan et al. service licensing conceptualization formalization expression https://arxiv.org/abs/2511.11954 [2511.11954] LLM-Assisted Formalization Enables Deterministic Detection of Statutory Inconsistency... Abstract page for arXiv paper 2511.11954: LLM-Assisted Formalization Enables Deterministic Detection of Statutory Inconsistency in the Internal Revenue Code llm assisted formalization https://philosophy.hku.hk/think/sl/formal1.php [SL06] Formalization formalization https://infoscience.epfl.ch/entities/publication/58d699e3-b627-4deb-8a92-9efef754f525?ln=en Formalization, Implementation, and Modeling of Institutional Controllers for Distributed Robotic... The work described is part of a long term program of introducing institutional robotics, a novel framework for the coordination of robot teams that stems from... formalization implementation modeling institutional controllers https://researchrepository.ilo.org/esploro/outputs/encyclopediaEntry/Microfinance-and-formalization-of-enterprises-in/995321135502676 Microfinance and formalization of enterprises in the informal economy: awareness raising campaign... This report is based on a qualitative follow-up study to the quantitative impact evaluation study conducted in 2012 to assess the impacts of the formalization... in the https://www.utwente.nl/en/am/programmeinformation/final_project/roadmap/formalization/ Formalization | Roadmap | AM formalization roadmap https://dspace.rpi.edu/items/6abc47e1-027f-4a96-b967-6d03c99e5844 Reasoning with cognitive likelihood for artificially-intelligent agents: formalization &... Human beings routinely encounter situations containing informal, non-quantitative uncertainty. Consider for example the following scenario: Driving toward a... artificially intelligent reasoning cognitive likelihood agents https://logic.glashoff.net/index.php Formalization of ancient logic formalization ancient logic https://huggingface.co/papers/2507.06181 Paper page - CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization Join the discussion on this paper page paper page reinforcement learning critic guided mathematical https://research.birmingham.ac.uk/en/publications/using-theorema-in-the-formalization-of-theoretical-economics/ Using Theorema in the Formalization of Theoretical Economics - University of Birmingham in the theoretical economics using theorema formalization https://drum.lib.umd.edu/items/d56fb6ea-e039-419f-8826-bcafbc7cf8f0 Measuring Union Formalization for a New Generation of Family Demography: A Case Study from Urban... Despite repeated calls for improved measures of marriage as a process in sub-Saharan Africa, large-scale surveys continue to rely on static marital status. As... https://math.duke.edu/mathplus/2024/formalization-mathematics Formalization of mathematics | Department of Mathematics Project leader: Professor Colleen Robles Project managers: Stavan Jain, Ricardo Prado Cunha, Anoushka Sinha Team members: Will Harris, Clara Henne, William Ho,... formalization of mathematics department https://uwspace.uwaterloo.ca/items/990ef07b-60be-420c-98ac-321ee7ad071c Context-Sensitive Optional Type Systems Meet Generics: A Uniform Treatment and Formalization This thesis explores a novel design of context-sensitive optional type systems which supports generics. Optional type systems, as the name suggests, optionally... type systems https://research.utwente.nl/en/publications/evaluation-of-bonner-amp-kifer-formalization-of-triggering-rules/ Evaluation of Bonner & Kifer-formalization of Triggering Rules - University of Twente Research... evaluation bonner formalization triggering rules https://lists.w3.org/Archives/Public/public-html/2020Oct/0002.html Proposal: HTML use of remote alt text; matching extension/formalization for HTTP... alt text https://issuu.com/cde.unibe.ch/docs/cde_policybrief_2015_4 The formalization fix? Land titling and land concessions in Cambodia by Centre for Development and... https://www.ideals.illinois.edu/items/17169 Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems |... https://research.wur.nl/en/publications/inequality-measures-as-explanatory-variables-in-macro-analyses-a-/ Inequality measures as explanatory variables in macro analyses: a formalization of the nonlinearity... https://crc.berkeley.edu/tag/formalization/ Formalization Archives | UC Berkeley Cannabis Research Center uc berkeley cannabis research formalization archives center https://accidentaldeliberations.blogspot.com/2010/10/on-formalization.html Accidental Deliberations: On formalization Last week, I noted that the agreement portion of the Saskatchewan NDP's potash plan looked to offer less protection for the province than o... accidental deliberations formalization https://dlc.dlib.indiana.edu/dlc/items/d01af21f-8471-4f5e-b693-ed887da71fcd/full Enhancing the Ostrom Social-Ecological System Framework Through Formalization "Frameworks play an important role in analyzing social-ecological systems (SESs) because they provide shared concepts and variables that enable comparison... enhancing ostrom social ecological system https://research.utwente.nl/en/publications/a-survey-of-formalization-approaches-to-service-composition/ A Survey of formalization approaches to service composition - University of Twente Research... a survey to service formalization approaches https://msclogic.illc.uva.nl/current-students/courses/projects/submit-project/project/205/1st-Semester-2022-23-Formalization-and-evaluation-of-memory-based-listening-experiments 1st Semester 2022/23: Formalization and evaluation of memory-based listening experiments | Master... This project is part of a series of pilot studies that will contribute to an interdisciplinary research agenda on musicality (Honing, 2018). The main aim is to... https://www.keg.lu.se/en/muriel-cote/publication/2aa74b4a-1970-40cf-a9df-418fa2101511 Gatekeeping Access: Shea Land Formalization and the Distribution of Market-Based Conservation... and the https://blogs.worldbank.org/en/psd/formalization-growth-and-poverty Formalization, growth and poverty The informal sector plays a significant role in developing countries viz. the provision of employment, income and supplying ignored markets. However, working... formalization growth poverty