Academic literature on the topic 'Modelli ordered logit'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Modelli ordered logit.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Modelli ordered logit"

1

Golovics, József. "Specifikusság, mint migrációs ellenösztönző: elmélet és egy rendezett logit modell tanulságai = Specificity as counterincentive of migration: theoretical approach and the teaching of an ordered logit model." Köz-gazdaság 16, no. 1 (2021): 103–16. http://dx.doi.org/10.14267/retp2021.01.10.

Full text
Abstract:
Jelen tanulmányban a nemzetközi migráció hagyományos mikroökonómiai elméletét bővítjük ki a Williamson-féle specifikusság koncepciójával. Amellett érvelünk, hogy bizonyos hely- és kapcsolatspecifikus beruházások megléte komoly ellenösztönzőként szolgálhat az elvándorlásra. A specifikusság fogalmával így a korábbi gazdasági megközelítések horizontján kívül eső empirikus megfigyeléseket is magyarázni tudjuk, emellett pedig bizonyos, a migráció közgazdaságtani modelljeiben meglévő tényezőket helyezünk új megvilágításba. Feltevéseinket egy elméleti keretben vázoljuk fel, majd egyéni szintű migrációs potenciálra vonatkozó Eurobarometer adatok és egy rendezett logit modell segítségével empirikusan is teszteljük őket. This paper integrates Williamson’s concept of specificity into the neoclassical microeconomic theory of international migration. It is claimed that certain site specific and relationship specific investments may be substantial disincentives to migrate. Thus, the concept of specificity can interpret several empirical findings that remained unexplained in former economic models. Besides, it can shed a new light on standard factors of these models as well. These claims are outlined in a theoretical framework and tested empirically by using individual Eurobarometer migration intention data and an ordered logit model.
APA, Harvard, Vancouver, ISO, and other styles
2

Li, Xiaowei, Jingkun Fan, Yao Wu, Jun Chen, and Xuefeng Deng. "Exploring Influencing Factors of Passenger Satisfaction toward Bus Transit in Small-Medium City in China." Discrete Dynamics in Nature and Society 2020 (November 23, 2020): 1–11. http://dx.doi.org/10.1155/2020/8872115.

Full text
Abstract:
This paper aims to explore the factors influencing passengers’ satisfaction toward bus transit and develop the improvement strategy for the small-medium city. Data including individual attributes, travel activity attributes, and perceived service attributes were collected in the city of Weinan, China. The ordered logit (OL) model and ordered Probit (OP) model were employed to explore the significant factors associated with passengers’ satisfaction toward bus transit. The odds ratio (OR) was applied to quantitatively measure the effects of the significant factors. Improving strategies of bus transit service were proposed based on the model results using the three-factor theory. Results show that the OL model outperforms the OP model. The age, daily average waiting time, perceived waiting time, transferring convenience, the attitude of the driver, intelligent travel information service, hygienic environment inside the bus, ticket price, bus route setting, and bus stop setting significantly affect the passengers’ satisfaction. Among them, the ticket price, perceived waiting time, bus stop setting, intelligent travel information service, transferring convenience, and bus route setting were identified as exciting factors. It is recommended that optimization of bus route and bus stop setting, building bus dedicated lanes, optimizing dynamic charging system, and providing intelligent travel information service could be effective strategies to improve passengers’ satisfaction toward bus transit in Chinese small-medium cities.
APA, Harvard, Vancouver, ISO, and other styles
3

Obot, Okure Udo, Uduak David George, and Victoria Sunday Umana. "A Decision Support Tool (DST) for Inventory Management." International Journal of Decision Support System Technology 11, no. 2 (2019): 27–47. http://dx.doi.org/10.4018/ijdsst.2019040103.

Full text
Abstract:
Loss of customer goodwill is one of the greatest losses a business organization can incur. One reason for such a loss is stock outage. In an attempt to solve this problem, an overstock could result. Overstock comes with an increase in the holding and carrying cost. It is an attempt to solve these twin problems that an economic order quantity (EOQ) model was developed. Information on fifteen items comprised of 10 non-seasonal and 5 seasonal items was collected from a supermarket in Ikot Ekpene town, Nigeria. The information includes the quantity of daily sales, the unit price, the lead time and the number of times an item is ordered in a month. Based on this information, a simple moving average and y-trend method of forecasting were used to forecast the sales quantity for the following month for the non-seasonal and seasonal items. The forecast value was used to compute the EOQ for each of the items. Different scenarios were created to simulate the fuzzy logic EOQ after which the result of the conventional method, EOQ method, and fuzzy EOQ methods were obtained and compared. It was revealed that if the EOQ method is adopted, savings of 43% of holding and carrying cost would be made. From the scenarios of a fuzzy EOQ, a savings of 35.65% was recorded. It was however observed that in a real-life situation, the savings on a fuzzy EOQ is likely to be higher than that of an EOQ considering the incessant public power outages and the increase in transportation fares due to the high cost of fuel and the bad state of roads in Nigeria. To this end, a Decision Support Tool (DST) was developed to help the supermarket manage its inventory based on daily predictions. The DST incorporates a filter engine to take care of some emotional and cognitive incidences within the environment.
APA, Harvard, Vancouver, ISO, and other styles
4

ÖNDER, Kübra. "Factors Influencing Households' Demand for Fast Food and Takeaway Service: The Ordered Logit Regression Analysis." MANAS Sosyal Araştırmalar Dergisi, July 26, 2022, 1087–98. http://dx.doi.org/10.33206/mjss.1013955.

Full text
Abstract:
Maslow’un ihtiyaçlar hiyerarşisine göre yemek yeme bireylerin yaşam faaliyetlerini devam ettirebilmeleri için gerekli olan fizyolojik ihtiyaçlardan biridir. Zaman içinde yemek yeme sadece fizyolojik bir ihtiyaç olmaktan uzaklaşmış ve farklı kültürlere göre şekillenmiştir. Son yüzyılda yaygınlaşan fast food ve paketli servis hizmeti kültürü de ülkelerin veya bölgelerin yemek yeme alışkanlıklarını değişmiştir. Çalışmanın amacı, hanehalklarının fast food ve paketli servis hizmeti tüketiminde etkili olan sosyoekonomik faktörleri ve bu faktörlerin etki düzeyini Türkiye özelinde incelemektir. Çalışmanın kapsamını, Türkiye İstatistik Kurumu’nun 2018 yılı Hanehalkı Bütçe Araştırması B Mikro Veri Setindeki 11.1.1.2 “fast food ve paketli servis hizmetleri” madde koduna harcama yapan 1.557 hanehalkı oluşturmaktadır. Çalışmanın analizinde Sıralı Logit modeli kullanılmıştır. Yapılan tahminde; gelir (düşük ve orta), hane büyüklüğü, hane sorumlusunun cinsiyeti ile hanenin sahip olduğu pazar ve dışarda yemek yeme alışkanlıkları değişkenlerinin fast food ve paketli servis hizmeti harcamaları üzerinde etkili olduğu sonucuna ulaşılmıştır.
APA, Harvard, Vancouver, ISO, and other styles
5

Berde, Éva, and László Tőkés. "Az idősek foglalkoztatottsága és az élettel való elégedettsége. Az Európai Életminőség-felmérések adatainak elemzése." Opus et Educatio 8, no. 2 (2021). http://dx.doi.org/10.3311/ope.441.

Full text
Abstract:
Az Európai Életminőség-felmérés eddig publikált négy hulláma közül az utolsó három együttes adatait vizsgáltuk az idősebb munkavállalók élettel való elégedettségének feltárására. A legkisebb négyzetek elvét, valamint az ún. ordinális eredményváltozójú logisztikus modellt alkalmazva rámutattunk, hogy a foglalkoztatottak élettel való elégedettsége, számos más karakterisztikára kontrollálva, magasabb, mint a munkanélkülieké. A pozitív hatás azonban az idős foglalkoztatottak esetében alacsonyabb. We used the last three waves of the European Quality of Life Surveys to analyze grey-haired employed persons’ satisfaction with their life. Applying ordinary least squares and ordered logit models we showed that employed persons have greater life satisfaction on average than unemployed ones, ceteris paribus. Although this positive effect is smaller in the case of older employed persons.
APA, Harvard, Vancouver, ISO, and other styles
6

Carl, Merlin, and Lothar Sebastian Krapp. "Models of true arithmetic are integer parts of models of real exponentation." Journal of Logic and Analysis 13 (May 11, 2021). http://dx.doi.org/10.4115/jla.2021.13.3.

Full text
Abstract:
Exploring further the connection between exponentiation on real closed fields and the existence of an integer part modelling strong fragments of arithmetic, we demonstrate that each model of true arithmetic is an integer part of an exponential real closed field that is elementarily equivalent to the real numbers with exponentiation and that each model of Peano arithmetic is an integer part of a real closed field that admits an isomorphism between its ordered additive and its ordered multiplicative group of positive elements. Under the assumption of Schanuel’s Conjecture, we obtain further strengthenings for the last statement.
APA, Harvard, Vancouver, ISO, and other styles
7

Kosenius, Anna-Kaisa, Artti Juutinen, and Liisa Tyrväinen. "The role of state-owned commercial forests and firm features in nature-based tourism business performance." Silva Fennica 54, no. 1 (2020). http://dx.doi.org/10.14214/sf.10051.

Full text
Abstract:
Nature-based tourism (NBT) is a growing industry within regions rich in natural amenities worldwide. An important feature of NBT business is the dependence on the quality of surrounding environment. This paper addresses the role of the management of commercial forests owned by the state in Finnish Lapland. The paper explores the NBT entrepreneurs’ willingness to participate in a proposed new landscape and recreational value trading (LRVT) and elaborates the effect of entrepreneur and enterprise characteristics, such as entrepreneurial attitude, venture size, and a variety of services offered to customers, on the experienced and expected growth of NBT enterprise. The survey data on NBT enterprises were analyzed with ordered and binary logit models. The willingness of enterprises to participate in LRVT depended on the venture size, entrepreneurial attitude, and type of activities offered to customers. The results show that relatively young and small-sized enterprises have faced difficulties in developing their business. Entrepreneurial experience, risk-taking and intention to develop new business associate positively with expected increase in turnover.
APA, Harvard, Vancouver, ISO, and other styles
8

Di Nola, Antonio, Giacomo Lenzi, and Luca Spada. "Sheaf representations and locality of Riesz spaces with order unit." Journal of Logic and Analysis 13 (May 11, 2021). http://dx.doi.org/10.4115/jla.2021.13.2.

Full text
Abstract:
We present an algebraic study of Riesz spaces (=real vector lattices) with a (strong) order unit. We exploit a categorical equivalence between those structures and a variety of algebras called RMV-algebras. We prove two different sheaf representations for Riesz spaces with order unit: the first represents them as sheaves of linearly ordered Riesz spaces over a spectral space, the second represent them as sheaves of "local" Riesz spaces over a compact Hausdorff space. Motivated by the latter representation we study the class of local RMV-algebras. We study the algebraic properties of local RMV-algebra and provide a characterisation of them as special retracts of the real interval [0,1]. Finally, we prove that the category of local RMV-algebras is equivalent to the category of all Riesz spaces.
APA, Harvard, Vancouver, ISO, and other styles
9

Hocaoğlu, Mehmet Fatih. "Agent-based target evaluation and fire doctrine: an aspect-oriented programming view." Journal of Defense Modeling and Simulation: Applications, Methodology, Technology, August 27, 2021, 154851292110403. http://dx.doi.org/10.1177/15485129211040369.

Full text
Abstract:
Threat evaluation is a vital process for any defense system, and it consists of a series of calculation and evaluation based on the inferred capabilities and intents of the targets that aim to give damage to defended assets. Target evaluation is proceeded in a wargame and the aim is to compare weapon target pairs according to a set of criteria. The target evaluation cycle is repeated anytime a new detection is received and when any change happens in the target currently detected. The whole process consists of a set of tasks that are shared between Command and Control units and the tasks require different responsibilities. Each task is succeeded by a specific behavior that is represented as a reasonably ordered set of actions. The task sharing is organized by taking the C2 architectures into account. In this paper, an agent-based command and control entity, which is in charge of target evaluation and giving engagement decision, is designed and it is situated in an air defense simulation environment. The study aims to propose an agent design in military decision-making domain, bringing analytic methods with the first-order logic together, and combine aspect orientation with agent design. The study also improves dynamic aspect management in agent programming using the relation concept.
APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Modelli ordered logit"

1

DONEGANI, CHIARA PAOLA. "Saggi sul benessere soggetivo sul posto di lavoro. Evidenza empirica per gli Stati Europei." Doctoral thesis, Università Cattolica del Sacro Cuore, 2013. http://hdl.handle.net/10280/1955.

Full text
Abstract:
La tesi è una raccolta di tre saggi sulla soddisfazione sul posto di lavoro. Il primo capitolo utilizza il dataset panel BHPS per analizzare le differenze di soddisfazione lavorativa dei lavoratori impiegati nel settore nonprofit rispetto agli altri settori. Il secondo considera l'effetto del salario -sia quello del lavoratore che di un gruppo rilevante di riferimento- e degli schemi incentivanti di retribuzione sulla soddisfazione lavorativa. L'analisi si basa sul round 5 dello European Working Conditions Survey (EWCS). Il terzo capitolo analizza e critica la relazione da tempo condivisa in letteratura che i membri di organizzazioni sindacali riportano minore soddisfazione lavorativa rispetto ai non iscritti, mediante l'analisi dei dati dello European Social Survey (ESS),round 3 e 5.<br>The thesis provides a detailed examination of job satisfaction through three distinct essays. The first chapter uses UK household panel data (the BHPS) to consider differences in job satisfaction in the non-profit sector, compared with other sectors. The second looks at the effect of earnings – that of the respondent and of relevant other people – and of payment systems on job satisfaction. This is based on data from round 5 of the European Working Conditions Survey (EWCS). The third essay seeks to examine and to challenge the long-established finding that union members tend to have lower job satisfaction than non-members, and this is addressed with two rounds of data from the European Social Survey (ESS).
APA, Harvard, Vancouver, ISO, and other styles
2

Herrmann, Michael. "Räumliche Modelle der Parteienbewertung Theorie und empirische Überprüfung von Richtungs- und Distanzmodellen unter Anwendung des Rank Ordered Logit /." Mannheim : Fakultät für Sozialwissenschaften, 2005. http://nbn-resolving.de/urn:nbn:de:bsz:180-madoc-12709.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Cacho, Beatriz Ferreira. "Satisfação do colaborador nos setores da saúde e tecnológico." Master's thesis, Instituto Superior de Economia e Gestão, 2021. http://hdl.handle.net/10400.5/20879.

Full text
Abstract:
Mestrado em Métodos Quantitativos para a Decisão Económica e Empresarial<br>Utilizando os modelos ordenados probit e logit estimou-se a probabilidade de três níveis de satisfação laboral com base em dados relativos a duas empresas (um hospital e uma empresa tecnológica). Deste modo, foram estimados três modelos. Um primeiro que incorpora as duas empresas e os outros dois para o hospital e para a empresa tecnológica. Embora o ponto de partida da análise empírica fosse o modelo global concluiu-se que, estatisticamente, seria pertinente avançar com regressões separadas por empresa. Nos três tipos de modelos os fatores que sumariam as questões de satisfação sobre assuntos em particular, revelaram-se estatisticamente significativos. No modelo global, apenas duas variáveis de escolaridade se revelaram significativas, manifestando impactos positivos no nível de satisfação mais elevado e negativos nos dois níveis de satisfação mais baixos. Da análise do modelo parcial do hospital concluiu-se que as idades mais jovens são estatisticamente significativas e apresentam impactos negativos no nível de satisfação mais elevado. Ao nível das funções, as variáveis Médicos e Técnicos de Saúde são estatisticamente significativas e o impacto de pertencer a uma destas funções em níveis de satisfação mais elevados é positivo. No que se refere às direções apenas a Direção Clínica é estatisticamente significativa e o impacto desta em níveis de satisfação mais elevados é negativo. Da análise do modelo parcial da empresa tecnológica é percetível que apenas as idades entre os 36 e os 45 anos e os 46 e os 55 anos são estatisticamente significativas apresentando impactos positivos no nível de satisfação mais elevado.<br>Using ordered probit and logit models, the probability of three levels of job satisfaction was estimated based on data from two companies (a hospital and a tech company). In this way, three models were estimated. One that incorporates the two companies and the other two for the hospital and the technology company. Although the starting point of the empirical analysis was the global model it was concluded that, statistically, it would be pertinent to proceed with regressions separated by company. In the three models, the factors that summarize the satisfaction issues on specific subjects, proved to be statistically significant. In the global model, only two schooling variables proved to be significant, with positive impacts on the highest level of satisfaction and negative impacts on the two lowest levels of satisfaction. From the analysis of the partial model of the hospital, it was concluded that younger ages are statistically significant and have negative impacts on the highest level of satisfaction. In terms of functions, the variables Doctors and Health Technicians are statistically significant and the impact of belonging to one of these functions in higher levels of satisfaction is positive. As for the directions, only the Clinical Direction is statistically significant and its impact on higher levels of satisfaction is negative. From the analysis of the partial model of the tech company, it is noticeable that only the ages between 36 and 45 years and 46 and 55 years are statistically significant, with positive impacts on the highest level of satisfaction.<br>info:eu-repo/semantics/publishedVersion
APA, Harvard, Vancouver, ISO, and other styles
4

Paramita, Puteri. "Modelling commuters' mode choice: Integrating travel behaviour, stated preferences, perception, and socio-economic profile." Thesis, Queensland University of Technology, 2018. https://eprints.qut.edu.au/122227/1/Puteri_Paramita_Thesis.pdf.

Full text
Abstract:
Understanding of the shift behaviours are critical to formulate effective policies to encourage mode shift and anticipate the increasing demands of public transport services impacted by the shifting behaviours. This study aims to investigate the mode choice behaviour of commuters by utilising the nation-wide survey of commuters in Australia and employing the state-of-the-art Multinomial Logit Models. This study has investigated three critical choice behaviours issues: commuters' satisfaction towards train fare, consistency between commuters' current behaviours against their future preferences, and policy interventions to influence mode shift. Its findings have demonstrated significant theoretical and practical contributions to the commuters' choice behaviours.
APA, Harvard, Vancouver, ISO, and other styles
5

Husson, Adrien. "Logical foundations of a modelling assistant for molecular biology." Thesis, Université de Paris (2019-....), 2019. http://www.theses.fr/2019UNIP7116.

Full text
Abstract:
Cette thèse concerne la “représentation exécutable du savoir”dans le domaine de la biologie moléculaire. Elle introduit les fondements d’un cadre logique appelé iota, dont le but est de décrire et rassembler des faits au sujet d’interactions entre protéines tout en offrant au modeleur la possibilité de compiler un fragment raisonnable de la logique vers un ensemble fini de règles de réécriture. On définit une logique FO[↓] qui décrit des transitions d’états cellulaires. Un état représente le contenu d’une cellule : les éléments du domaine sont des parties de protéines et les relations sont des liaisons entre protéines. L’opérateur logique unaire ↓sélectionne les transitions où un ensemble minimal de changements a lieu. Les formules qui parlent de transitions dénotent aussi des exécutions, c’est-à-dire des séquences finies ou infinies de transitions. Chaque formule de transition est de plus associée à un ensemble de règles de réécritures équipé d’une sémantique opérationnelle. On introduit deux système déductifs qui permettent de“typer” les formules. On montre que si une formule est typable dans le1er système, alors l’exécution des règles de réécriture qui lui sont associées produit exactement les exécutions dénotées par la formule ;et que si elle est typable dans le 2nd système, alors son système de règles associé est fini. On introduit une grammaire qui produit des formules typables dans les deux systèmes à équivalence logique près. Enfin, on étudie la décidabilité et l’expressivité de fragments de FO[↓]. On montre en particulier que les formules typables dans le second système sont définissables dans un petit fragment de FO, ce qui implique que l’opérateur ↓ peut alors être éliminé<br>This thesis addresses the issue of “Executable Knowledge Representation” in the context of molecular biology. We introduce the foundation of a logical framework, termed iota, whose aim is to facilitate knowledge collation of molecular interactions at the level of proteins and at the same time allows the modeler to “compile” a reasonable fragment of the logic into a finite set of executable graph rewriting rules. We define a logic FO[↓] over cell state transitions. States represent cell contents; domain elements are protein parts and relations are protein-protein bindings. The unary logical operator ↓ selects transitions where as little as possible happens. Formulas over transitions also denote runs, which are finite or infinite sequences of transitions. Every transition formula is moreover associated to a set of rewriting rules equipped with an operational semantics. We introduce two deductive systems that act as “typing” for formulas. We show that if a formula is typable in the first system then the execution of its associated rule set produces exactly the runs denoted by the formula, and that if it is typable in the second system then its associated rule set is finite. We introduce a grammar that produces formulas typable in both systems, up to logical equivalence. Finally we study decidability and definability properties of fragments of FO[↓]. In particular, we show that formulas typable in the second system are in a tight fragment of FO,which implies that the operator ↓ can then be eliminated
APA, Harvard, Vancouver, ISO, and other styles
6

Podiacki, Rodrigo. "Logicas da inconsistencia formal quantificadas." [s.n.], 2008. http://repositorio.unicamp.br/jspui/handle/REPOSIP/281585.

Full text
Abstract:
Orientador: Walter Carnielli<br>Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas<br>Made available in DSpace on 2018-08-12T05:55:31Z (GMT). No. of bitstreams: 1 Podiacki_Rodrigo_M.pdf: 538726 bytes, checksum: 3a51529177d89ce92122bde746a321c3 (MD5) Previous issue date: 2008<br>Resumo: Esta dissertação tem como objetivo desenvolver uma semântica correta e completa para uma classe de lógicas de primeira ordem conhecidas como Lógicas da Inconsistência Formal (LIFs). Após uma elucidação geral sobre semânticas paraconsistentes e de primeira ordem, uma LIF particular, chamada QmbC, será caracterizada axiomaticamente. Em seguida será construída uma semÂntica que se demonstrará correta e completa para a LIF em questão. Por fim, uma série de LIFs com propriedades sintáticas interessantes serão caracterizadas axiomaticamente, e será visto como a semântica construída para QmbC pode ser estendida para todas essas lógicas.<br>Abstract: This dissertation aims to develop a sound and complete semantics for a class of first-order logics known as Logics of Formal Inconsistency (LFIs). After general explanation about paraconsistent and first-order semantics, a particular LFI, labeled QmbC, will be characterized by means of an axiom system. Then a sound and complete semantics for it will be constructed. Finally, a variety of LFIs having nice syntactic properties will be axiomatically defined, and it will be shown how the semantics proposed for QmbC can be extended for all these logics.<br>Mestrado<br>Filosofia<br>Mestre em Filosofia
APA, Harvard, Vancouver, ISO, and other styles
7

Almeida, Edgar Luis Bezerra de 1976. "Lógicas abstratas e o primeiro teorema de Lindström." [s.n.], 2013. http://repositorio.unicamp.br/jspui/handle/REPOSIP/282036.

Full text
Abstract:
Orientador: Itala Maria Loffredo D'Ottaviano<br>Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas<br>Made available in DSpace on 2018-08-22T15:04:13Z (GMT). No. of bitstreams: 1 Almeida_EdgarLuisBezerrade_M.pdf: 946200 bytes, checksum: e8e316a3ee7420c8d7f45a751651a436 (MD5) Previous issue date: 2013<br>Resumo: Esta Dissertação apresenta uma definição de lógica abstrata e caracteriza alguns sistemas lógicos bastante conhecidos na literatura como casos particulares desta. Em especial, mostramos que a lógica de primeira ordem, lógica de segunda ordem, lógica com o operador Q1 de Mostowski e a lógica infinitária L!1! são casos particulares de lógicas abstratas. Mais que isso, mostramos que tais lógicas são regulares. Na análise de cada uma das lógicas acima citadas, mostramos o comportamento das mesmas com relação às propriedades de Löwenheim-Skolem e compacidade enumerável, resultados estes centrais à teoria de modelos. Nossa análise permite-nos constatar que, dentre os quatro casos apresentados, o único que goza de ambas as propriedades é a lógica de primeira ordem; as demais falham em uma, na outra ou em ambas as propriedades. Mostramos que isso não é mera coincidência, mas sim um resultado profundo, que estabelece fronteiras bem delimitadas à lógica de primeira ordem, conhecido como primeiro teorema de Lindström: se uma lógica é regular, ao menos tão expressiva quanto à lógica de primeira ordem e satisfaz ambas as propriedades citadas, então esta é equivalente a lógica de primeira ordem. Realizamos uma prova cuidadosa do teorema, em que cada ideia e cada estratégia de prova é estabelecida criteriosamente. Com seu trabalho, Lindström inaugurou um novo e profícuo campo de estudo, a teoria abstrata de modelos que estabelece, com relação a diversas combinações de propriedades de sistemas lógicos, uma estratificação entre lógicas. Apresentamos um outro exemplo de tal estratificação através de uma versão modal do teorema de Lindström, versão esta que caracteriza a lógica modal básica como maximal quanto a bissimilaridade e compacidade. Encerramos esta Dissertação com algumas considerações acerca da influência do primeiro teorema de Lindström<br>Abstract: This thesis presents the definition of abstract logic and features some quite logical systems presented in the literature as particular cases of this. In particular, we show that first-order logic, second-order logic, the logic with Mostowski's operator Q1 and the infinitary logic L!1! are specific systems of abstract logic. Moreover, we show that such logics are regular. In the analysis of each above mentioned logical systems we analyses his performance with regard to the properties of compactness and Löwenheim-Skolem, results that have important role in model theory. Our analysis allows us to conclude that among the four cases, the only one who enjoys both properties is the first-order logic, and all others fail in one, other or both properties. We show that this is not mere coincidence, but rather a deep, well-defined boundaries establishing the first-order logic, known as first Lindström's theorem: a regular logic that is at least as expressive as first-order logic and satisfies both properties mentioned, then this is equivalent to first-order logic. We conducted a thorough proof of the theorem, in which each idea and each proof strategy is carefully established. With his work Lindström inaugurated a new and fruitful field of study, the abstract model theory, which establishes with respect to different combinations of properties of logical systems, stratification between logical. Here is another example of such stratification through one of the theorem of modal version Lindström, which characterizes this version of the logic basic modal such as maximal bissimimulation and compactness. We conclude the thesis with some considerations about the influence of the Lindström's theorem<br>Mestrado<br>Filosofia<br>Mestre em Filosofia
APA, Harvard, Vancouver, ISO, and other styles
8

Figueiredo, Rodrigo. "Um resultado geral de modelo completude de expansões do corpo ordenado dos reais." Universidade de São Paulo, 2012. http://www.teses.usp.br/teses/disponiveis/45/45131/tde-01022013-171949/.

Full text
Abstract:
Este trabalho tem como foco principal estabelecer condições gerais suficientes para que uma expansão do corpo ordenado dos reais por funções com domínio em Rn seja modelo completa e o-minimal. Para tanto, faremos uma abordagem sob o ponto de vista de estruturas fracas o-minimais, conforme o trabalho de Charbonnel e Wilkie. Além disso, ao analisar condições adicionais, podemos obter a seguinte generalização de um trabalho de Gabrielov: uma expansão o-minimal do corpo ordenado dos reais por funções C infinito restritas, que é polinomialmente limitada e fechada sob diferenciação parcial, é modelo completa.<br>The main focus of this dissertation lies in establishing some general sufficient conditions for an expansion of the real ordered field by functions with domains Rn to be model complete and o-minimal. We approach this subject from the point of view of the o-minimal weak structures, by following the work of Charbonnel and Wilkie. Furthermore, when considering additional conditions, we are able to obtain the following generalization of a Gabrielovs result: an expansion of the real ordered field by restricted smooth functions, which is polynomially bounded and closed under partial differentiation, is model complete.
APA, Harvard, Vancouver, ISO, and other styles
9

Heimberg, Lucas. "Complexity of Normal Forms on Structures of Bounded Degree." Doctoral thesis, Humboldt-Universität zu Berlin, 2018. http://dx.doi.org/10.18452/19205.

Full text
Abstract:
Normalformen drücken semantische Eigenschaften einer Logik durch syntaktische Restriktionen aus. Sie ermöglichen es Algorithmen, Grenzen der Ausdrucksstärke einer Logik auszunutzen. Ein Beispiel ist die Lokalität der Logik erster Stufe (FO), die impliziert, dass Graph-Eigenschaften wie Erreichbarkeit oder Zusammenhang nicht FO-definierbar sind. Gaifman-Normalformen drücken die Bedeutung einer FO-Formel als Boolesche Kombination lokaler Eigenschaften aus. Sie haben eine wichtige Rolle in Model-Checking Algorithmen für Klassen dünn besetzter Graphen, deren Laufzeit durch die Größe der auszuwertenden Formel parametrisiert ist. Es ist jedoch bekannt, dass Gaifman-Normalformen im Allgemeinen nur mit nicht-elementarem Aufwand konstruiert werden können. Dies führt zu einer enormen Parameterabhängigkeit der genannten Algorithmen. Ähnliche nicht-elementare untere Schranken sind auch für Feferman-Vaught-Zerlegungen und für die Erhaltungssätze von Lyndon, Łoś und Tarski bekannt. Diese Arbeit untersucht die Komplexität der genannten Normalformen auf Klassen von Strukturen beschränkten Grades, für welche die nicht-elementaren unteren Schranken nicht gelten. Für diese Einschränkung werden Algorithmen mit elementarer Laufzeit für die Konstruktion von Gaifman-Normalformen, Feferman-Vaught-Zerlegungen, und für die Erhaltungssätze von Lyndon, Łoś und Tarski entwickelt, die in den ersten beiden Fällen worst-case optimal sind. Wichtig hierfür sind Hanf-Normalformen. Es wird gezeigt, dass eine Erweiterung von FO durch unäre Zählquantoren genau dann Hanf-Normalformen erlaubt, wenn alle Zählquantoren ultimativ periodisch sind, und wie Hanf-Normalformen in diesen Fällen in elementarer und worst-case optimaler Zeit konstruiert werden können. Dies führt zu Model-Checking Algorithmen für solche Erweiterungen von FO sowie zu Verallgemeinerungen der Algorithmen für Feferman-Vaught-Zerlegungen und die Erhaltungssätze von Lyndon, Łoś und Tarski.<br>Normal forms express semantic properties of logics by means of syntactical restrictions. They allow algorithms to benefit from restrictions of the expressive power of a logic. An example is the locality of first-order logic (FO), which implies that properties like reachability or connectivity cannot be defined in FO. Gaifman's local normal form expresses the satisfaction conditions of an FO-formula by a Boolean combination of local statements. Gaifman normal form serves as a first step in fixed-parameter model-checking algorithms, parameterised by the size of the formula, on sparse graph classes. However, it is known that in general, there are non-elementary lower bounds for the costs involved in transforming a formula into Gaifman normal form. This leads to an enormous parameter-dependency of the aforementioned algorithms. Similar non-elementary lower bounds also hold for Feferman-Vaught decompositions and for the preservation theorems by Lyndon, Łoś, and Tarski. This thesis investigates the complexity of these normal forms when restricting attention to classes of structures of bounded degree, for which the non-elementary lower bounds are known to fail. Under this restriction, the thesis provides algorithms with elementary and even worst-case optimal running time for the construction of Gaifman normal form and Feferman-Vaught decompositions. For the preservation theorems, algorithmic versions with elementary running time and non-matching lower bounds are provided. Crucial for these results is the notion of Hanf normal form. It is shown that an extension of FO by unary counting quantifiers allows Hanf normal forms if, and only if, all quantifiers are ultimately periodic, and furthermore, how Hanf normal form can be computed in elementary and worst-case optimal time in these cases. This leads to model-checking algorithms for such extensions of FO and also allows generalisations of the constructions for Feferman-Vaught decompositions and preservation theorems.
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Modelli ordered logit"

1

Simple theories and hyperimaginaries. Cambridge University Press, 2011.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Weaver, George. Henkin-Keisler Models {Mathematics and Its Applications (Kluwer Academic Publishers) ; V. 392}. Springer, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Weaver, George. Henkin-Keisler models. Kluwer Academic Publishers, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Sinclair-Desgagne, Bernard. The first-order approach to multi-task principal-agent problems. INSEAD, 1991.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Goertzel, Ben. Chaotic logic: Language, thought, and reality from the perspective of complex systems science. Plenum Press, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Bratko, Aleksandr. Artificial intelligence, legal system and state functions. INFRA-M Academic Publishing LLC., 2020. http://dx.doi.org/10.12737/1064996.

Full text
Abstract:
The monograph deals with methodological problems of embedding artificial intelligence in the legal system taking into account the laws of society. Describes the properties of the rule of law as a Microsystem in subsystems of law and methods of its fixation in the system of law and logic of legal norms. Is proposed and substantiated the idea of creating specifically for artificial intelligence, separate and distinct, unambiguous normative system, parallel to the principal branches of law is built on the logic of the four-membered structure of legal norms. Briefly discusses some of the theory of law as an instrument of methodology of modelling of the legal system and its semantic codes in order to function properly an artificial intelligence. The ways of application of artificial intelligence in the functioning of the state.&#x0D; For students and teachers and all those interested in issues of artificial intelligence from the point of view of law.
APA, Harvard, Vancouver, ISO, and other styles
7

Guynes, Sean, and Dan Hassler-Forest, eds. Star Wars and the History of Transmedia Storytelling. Amsterdam University Press, 2017. http://dx.doi.org/10.5117/9789462986213.

Full text
Abstract:
Star Wars has reached more than three generations of casual and hardcore fans alike, and as a result many of the producers of franchised Star Wars texts (films, television, comics, novels, games, and more) over the past four decades have been fans-turned-creators. Yet despite its dominant cultural and industrial positions, Star Wars has rarely been the topic of sustained critical work. Star Wars and the History of Transmedia Storytelling offers a corrective to this oversight by curating essays from a wide range of interdisciplinary scholars in order to bring Star Wars and its transmedia narratives more fully into the fold of media and cultural studies. The collection places Star Wars at the center of those studies’ projects by examining video games, novels and novelizations, comics, advertising practices, television shows, franchising models, aesthetic and economic decisions, fandom and cultural responses, and other aspects of Star Wars and its world-building in their multiple contexts of production, distribution, and reception. In emphasizing that Star Wars is both a media franchise and a transmedia storyworld, Star Wars and the History of Transmedia Storytelling demonstrates the ways in which transmedia storytelling and the industrial logic of media franchising have developed in concert over the past four decades, as multinational corporations have become the central means for subsidizing, profiting from, and selling modes of immersive storyworlds to global audiences. By taking this dual approach, the book focuses on the interconnected nature of corporate production, fan consumption, and transmedia world-building. As such, this collection grapples with the historical, cultural, aesthetic, and political-economic implications of the relationship between media franchising and transmedia storytelling as they are seen at work in the world’s most profitable transmedia franchise.
APA, Harvard, Vancouver, ISO, and other styles
8

Bell, John L. Categorical Logic and Model Theory. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198748991.003.0007.

Full text
Abstract:
The chapter begins with an introduction describing the development of categorical logic from the 1960s. The next section, `Categories and Deductive Systems’, describes the relationship between categories and propositional logic, while the ensuing section, `Functorial Semantics’, is devoted to Lawvere’s provision of the first-order theory of models with a categorical formulation. In the section `Local Set Theories and Toposes’ the categorical counterparts—toposes—to higher-order logic are introduced, along with their associated theories—local set theories. In the section `Models of First-Order Languages in Categories’ the idea of an interpretation of a many-sorted first-order language is introduced, along with the concept of generic model of a theory formulated in such a language. The chapter concludes with the section `Models in Toposes’, wherein is introduced the concept of a first-order geometric theory and its associated classifying topos containing a generic model of the theory.
APA, Harvard, Vancouver, ISO, and other styles
9

Shapiro, Stewart. Higher‐order Logic. Edited by Stewart Shapiro. Oxford University Press, 2009. http://dx.doi.org/10.1093/oxfordhb/9780195325928.003.0025.

Full text
Abstract:
The philosophical literature contains numerous claims on behalf of and numerous claims against higher-order logic. Virtually all of the issues apply to second-order logic (vis-à-vis first-order logic), so this article focuses on that. It develops the syntax of second-order languages and present typical deductive systems and model-theoretic semantics for them. This will help to explain the role of higher-order logic in the philosophy of mathematics. It is assumed that the reader has at least a passing familiarity with the theory and metatheory of first-order logic.
APA, Harvard, Vancouver, ISO, and other styles
10

Weaver, George. Henkin-Keisler Models. Springer, 2013.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Modelli ordered logit"

1

Prestel, Alexander, and Charles N. Delzell. "First-Order Logic." In Mathematical Logic and Model Theory. Springer London, 2011. http://dx.doi.org/10.1007/978-1-4471-2176-3_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Libkin, Leonid. "Complexity of First-Order Logic." In Elements of Finite Model Theory. Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-662-07003-1_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Libkin, Leonid. "Monadic Second-Order Logic and Automata." In Elements of Finite Model Theory. Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-662-07003-1_7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Groza, Adrian. "Love and Marriage." In Modelling Puzzles in First Order Logic. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-62547-4_8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Groza, Adrian. "Strange Numbers." In Modelling Puzzles in First Order Logic. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-62547-4_3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Groza, Adrian. "Getting Started with Prover9 and Mace4." In Modelling Puzzles in First Order Logic. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-62547-4_1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Groza, Adrian. "Russian Puzzles." In Modelling Puzzles in First Order Logic. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-62547-4_11.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Groza, Adrian. "Micro-arithmetic Puzzles." In Modelling Puzzles in First Order Logic. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-62547-4_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Groza, Adrian. "Einstein Puzzles." In Modelling Puzzles in First Order Logic. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-62547-4_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Groza, Adrian. "Grid Puzzles." In Modelling Puzzles in First Order Logic. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-62547-4_9.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Modelli ordered logit"

1

Nguyen, Huy Vu, and Dang Tuan Nguyen. "Application of First-Order Logic Inference in Vietnamese Question Answering System." In 2015 6th International Conference on Intelligent Systems, Modelling and Simulation (ISMS). IEEE, 2015. http://dx.doi.org/10.1109/isms.2015.14.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

HE, XINGXING, YANG XU та YINGFANG LI. "α-LOCK PARAMODULATION FOR A LATTICE-VALUED FIRST ORDER LOGIC LnF(X)". У Conference on Uncertainty Modelling in Knowledge Engineering and Decision Making (FLINS 2016). WORLD SCIENTIFIC, 2016. http://dx.doi.org/10.1142/9789813146976_0077.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Echaniz Beneitez, Eneko, Luigi Dell'Olio, and Angel Ibeas Portilla. "MODELLING PERCEIVED QUALITY FOR URBAN TRANSPORT SYSTEMS USING WEIGHTED VARIABLES AND RANDOM PARAMETERS." In CIT2016. Congreso de Ingeniería del Transporte. Universitat Politècnica València, 2016. http://dx.doi.org/10.4995/cit2016.2016.4072.

Full text
Abstract:
In this article, an Ordered Logit model is proposed considering systematic and random variations in tastes. The methodology followed for the creation of this model consisted, in first place, in obtaining data using a revelled preferences survey. In the survey, each user had to evaluate, following a qualitative scale, each one of the attributes of the analysed transport system. The variables evaluated in the survey had been grouped into six groups, and for each group, users had to order the attributes belonging to the group, using a ranking based method, from the most important to de least important, and, in the same way, with the groups itself. Once the database is formed, a generic model have been created, establishing this model as a comparative base for the rest. Next, two more models have been estimated one considering systematic users variations and the other one combining the systematic variations with weighted variables. Additionally, three new models have been calculated as an evolution of the previous ones using random variables as representation of systematic and random variations in user’s tastes. The results shows that as model’s complexity increase, an improvement in model fit is achieved.DOI: http://dx.doi.org/10.4995/CIT2016.2016.4072
APA, Harvard, Vancouver, ISO, and other styles
4

Yip, Arthur H. C., Jeremy J. Michalek, and Kate S. Whitefoot. "Implications of Competitor Representation on Optimal Design." In ASME 2019 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2019. http://dx.doi.org/10.1115/detc2019-98114.

Full text
Abstract:
Abstract We investigate the effect of competitor product representation on optimal design results in profit-maximization studies. Specifically, we study the implications of replacing a large set of product alternatives available in the marketplace with a reduced set of selected competitors or with composite alternatives, as is common in the literature. We derive first-order optimality conditions and show that optimal design (but not price) is independent of competitors under the logit and nested logit models (where preference coefficients are homogeneous), but optimal design results may depend on competitor representation in latent class and mixed logit models (where preference coefficients are heterogeneous). In a case study of automotive powertrain design using mixed logit demand, we find some change in the optimal acceleration performance value when competitors are modeled using a small set of alternatives rather than the larger set. The magnitude of this change depends on the specific form and parameters of the cost and demand functions assumed, ranging from 0% to 3% in our case study. We find that the magnitude of the change in optimal design variables induced by competitor representation in our case study increases with the heterogeneity of preference coefficients across consumers and changes with the curvature of the cost function.
APA, Harvard, Vancouver, ISO, and other styles
5

Assenova, Petia, and Paul Johannesson. "First Order Action Logic - an Approach for Modelling the Communication Process between Agents." In Proceedings of the First International Workshop on Communication Modeling. BCS Learning & Development, 1996. http://dx.doi.org/10.14236/ewic/cm1996.1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Cai, Le-Wen, Wang-Zhou Dai, Yu-Xuan Huang, Yu-Feng Li, Stephen Muggleton, and Yuan Jiang. "Abductive Learning with Ground Knowledge Base." In Thirtieth International Joint Conference on Artificial Intelligence {IJCAI-21}. International Joint Conferences on Artificial Intelligence Organization, 2021. http://dx.doi.org/10.24963/ijcai.2021/250.

Full text
Abstract:
Abductive Learning is a framework that combines machine learning with first-order logical reasoning. It allows machine learning models to exploit complex symbolic domain knowledge represented by first-order logic rules. However, it is challenging to obtain or express the ground-truth domain knowledge explicitly as first-order logic rules in many applications. The only accessible knowledge base is implicitly represented by groundings, i.e., propositions or atomic formulas without variables. This paper proposes Grounded Abductive Learning (GABL) to enhance machine learning models with abductive reasoning in a ground domain knowledge base, which offers inexact supervision through a set of logic propositions. We apply GABL on two weakly supervised learning problems and found that the model's initial accuracy plays a crucial role in learning. The results on a real-world OCR task show that GABL can significantly reduce the effort of data labeling than the compared methods.
APA, Harvard, Vancouver, ISO, and other styles
7

Aamer, Heba, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, and Jan Van den Bussche. "Inputs, Outputs, and Composition in the Logic of Information Flows." In 17th International Conference on Principles of Knowledge Representation and Reasoning {KR-2020}. International Joint Conferences on Artificial Intelligence Organization, 2020. http://dx.doi.org/10.24963/kr.2020/1.

Full text
Abstract:
The logic of information flows (LIF) is a general framework in which tasks of a procedural nature can be modeled in a declarative, logic-based fashion. The first contribution of this paper is to propose semantic and syntactic definitions of inputs and outputs of LIF expressions. We study how the two relate and show that our syntactic definition is optimal in a sense that is made precise. The second contribution of this paper is a systematic study of the expressive power of sequential composition in LIF. Our results on composition tie in the results on inputs and outputs, and relate LIF to first-order logic (FO) and bounded-variable LIF to bounded-variable FO.
APA, Harvard, Vancouver, ISO, and other styles
8

Zhu, Hong. "On the Theoretical Foundation of Meta-Modelling in Graphically Extended BNF and First Order Logic." In 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE, 2010. http://dx.doi.org/10.1109/tase.2010.11.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Belardinelli, Francesco, and Andreas Herzig. "Dynamic Logic for Data-aware Systems: Decidability Results." In Twenty-Sixth International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence Organization, 2017. http://dx.doi.org/10.24963/ijcai.2017/114.

Full text
Abstract:
We introduce a first-order extension of dynamic logic (FO-DL), suitable to represent and reason about the behaviour of Data-aware Systems (DaS), which are systems whose data content is explicitly exhibited in the system’s description. We illustrate the expressivity of the formal framework by modelling English auctions as DaS, and by specifying relevant properties in FO-DL. Most importantly, we develop an abstraction-based verification procedure, thus proving that the model checking problem for DaS against FO-DL is actually decidable, provided some mild assumptions on the interpretationdomain.
APA, Harvard, Vancouver, ISO, and other styles
10

Artale, Alessandro, Andrea Mazzullo, and Ana Ozaki. "Do You Need Infinite Time?" In Twenty-Eighth International Joint Conference on Artificial Intelligence {IJCAI-19}. International Joint Conferences on Artificial Intelligence Organization, 2019. http://dx.doi.org/10.24963/ijcai.2019/210.

Full text
Abstract:
Linear temporal logic over finite traces is used as a formalism for temporal specification in automated planning, process modelling and (runtime) verification. In this paper, we investigate first-order temporal logic over finite traces, lifting some known results to a more expressive setting. Satisfiability in the two-variable monodic fragment is shown to be EXPSPACE-complete, as for the infinite trace case, while it decreases to NEXPTIME when we consider finite traces bounded in the number of instants. This leads to new complexity results for temporal description logics over finite traces. We further investigate satisfiability and equivalences of formulas under a model-theoretic perspective, providing a set of semantic conditions that characterise when the distinction between reasoning over finite and infinite traces can be blurred. Finally, we apply these conditions to planning and verification.
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Modelli ordered logit"

1

McElhaney, Kevin, Anthony Baker, Carly Chillmon, Zareen Kasad, Babe Liberman, and Jeremy Roschelle. An Initial Logic Model to Guide OpenSciEd Research: Updated Version. Digital Promise, 2022. http://dx.doi.org/10.51388/20.500.12265/152.

Full text
Abstract:
This white paper supports an ongoing effort to define a research agenda and catalyze a research community around the OpenSciEd curriculum materials. Rigorous research on these materials is needed in order to answer questions about the equitable design of instructional materials, impacts on student learning, effective and equitable classroom teaching practices, teacher professional development approaches, and models for school adoption that address the diverse needs of historically marginalized students in STEM. Research findings have the potential to advance the knowledge, skills, and practices that will promote key student, teacher, and system outcomes. The research agenda stands to accelerate the research timeline and stimulate a broad range of research projects addressing these critical needs. To support the collaborative development and activation of the research agenda, we outline an initial logic model for OpenSciEd. The logic model can shape research efforts by clarifying intended relationships among (1) the principles, commitments, and key affordances of OpenSciEd; (2) the components of OpenSciEd and how they are implemented and supported in classrooms, schools, districts, and states; and (3) the desired outcomes of OpenSciEd.
APA, Harvard, Vancouver, ISO, and other styles
2

Elacqua, Gregory, and Leonardo Rosa. Teacher transfers and the disruption of Teacher Staffing in the City of Sao Paulo. Inter-American Development Bank, 2023. http://dx.doi.org/10.18235/0004737.

Full text
Abstract:
This paper analyzes preferences for certain school attributes among in-service teachers. We explore a centralized matching process in the city of Sao Paulo that teachers must use when transferring schools. Because teachers have to list and rank their preferences for schools, we can estimate the desirability of school attributes using a rank-ordered logit model. We show that the schools distance from the teachers home, school average test scores, and teacher composition play a central role in teacher preferences. Furthermore, we show that preferences vary according to teacher characteristics, such as gender, race, age, and academic subject.
APA, Harvard, Vancouver, ISO, and other styles
3

Borgwardt, Stefan, and Barbara Morawska. Finding Finite Herbrand Models. Technische Universität Dresden, 2011. http://dx.doi.org/10.25368/2022.182.

Full text
Abstract:
We show that finding finite Herbrand models for a restricted class of first-order clauses is ExpTime-complete. A Herbrand model is called finite if it interprets all predicates by finite subsets of the Herbrand universe. The restricted class of clauses consists of anti-Horn clauses with monadic predicates and terms constructed over unary function symbols and constants. The decision procedure can be used as a new goal-oriented algorithm to solve linear language equations and unification problems in the description logic FL₀. The new algorithm has only worst-case exponential runtime, in contrast to the previous one which was even best-case exponential.
APA, Harvard, Vancouver, ISO, and other styles
4

Scholl, Lynn, Daniel Oviedo, and Orlando Sabogal-Cardona. Disrupting Personal (In)Security? The Role of Ride-Hailing Service Features, Commute Strategies, and Gender in Mexico City. Inter-American Development Bank, 2021. http://dx.doi.org/10.18235/0003812.

Full text
Abstract:
This paper sheds light on the personal security dimension of ride-hailing from a gender perspective. We explore how features of Transportation Network Companies (TNCs) services affect riders perceptions of security when commuting in ride-hailing services, and how general perceptions of fear of crime shape the way people value such features. Moreover, we analyze the strategies women and men are using to enhance their own security in ride-hailing and factors influencing these strategies. We conducted a survey of users of the TNC DiDi in Mexico City. The statistical methods used are structural equation models SEM and ordered logit models OLOGIT. Results show that women are more likely to value the information made available by ride-hailing applications (e.g., knowing your location or knowing driver information) and the presence of a panic button. The value given to information also increases if a person feels insecure in the streets, in a public transit station or in public transit. People who perceive higher insecurity in the streets have increased positive perceptions of the possibility of travelling without transfers. We also find that women are 64.4% less likely to share ride-hailing trips (pooling) and 2.14 times more likely to share details of their trips through their cellphones.
APA, Harvard, Vancouver, ISO, and other styles
5

Dynamic ordered panel logit models. Cemmap, 2021. http://dx.doi.org/10.47004/wp.cem.2021.4421.

Full text
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography