Relevant bibliographies by topics / Modular

Academic literature on the topic 'Modular'

Author: Grafiati
Published: 4 June 2021
Last updated: 8 June 2024

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

Select a source type:

Contents

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

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 "Modular"

1

Molnár, Lajos. "Modular bases in a Hilbert $A$-module." Czechoslovak Mathematical Journal 42, no. 4 (1992): 649–56. http://dx.doi.org/10.21136/cmj.1992.128361.

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

Rashed Alfuraidan, Monther. "The Contraction Principle for Multivalued Mappings on a Modular Metric Space with a Graph." Canadian Mathematical Bulletin 59, no. 01 (March 2016): 3–12. http://dx.doi.org/10.4153/cmb-2015-029-x.

Full text
Abstract:
Abstract We study the existence of fixed points for contraction multivalued mappings in modular metric spaces endowed with a graph. The notion of a modular metric on an arbitrary set and the corresponding modular spaces, generalizing classical modulars over linear spaces like Orlicz spaces, were recently introduced. This paper can be seen as a generalization of Nadler and Edelstein’s fixed point theorems to modular metric spaces endowed with a graph.
APA, Harvard, Vancouver, ISO, and other styles
3

Quan, Qiquan, and Shugen Ma. "Modular Mechanic Analysis of a Crawler-Driven Module." Abstracts of the international conference on advanced mechatronics : toward evolutionary fusion of IT and mechatronics : ICAM 2010.5 (2010): 207–12. http://dx.doi.org/10.1299/jsmeicam.2010.5.207.

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

Hussain, N., and P. Salimi. "Implicit Contractive Mappings in Modular Metric and Fuzzy Metric Spaces." Scientific World Journal 2014 (2014): 1–12. http://dx.doi.org/10.1155/2014/981578.

Full text
Abstract:
The notion of modular metric spaces being a natural generalization of classical modulars over linear spaces like Lebesgue, Orlicz, Musielak-Orlicz, Lorentz, Orlicz-Lorentz, and Calderon-Lozanovskii spaces was recently introduced. In this paper we investigate the existence of fixed points of generalizedα-admissible modular contractive mappings in modular metric spaces. As applications, we derive some new fixed point theorems in partially ordered modular metric spaces, Suzuki type fixed point theorems in modular metric spaces and new fixed point theorems for integral contractions. In last section, we develop an important relation between fuzzy metric and modular metric and deduce certain new fixed point results in triangular fuzzy metric spaces. Moreover, some examples are provided here to illustrate the usability of the obtained results.
APA, Harvard, Vancouver, ISO, and other styles
5

Sofiatun, Sofiatun, Rizki Fitryasari, and Ahsan Ahsan. "Pengembangan Model MAK Modular Berbasis Produktivitas Kerja Perawat dalam Meningkatkan Kepuasan Pasien." Jurnal Keperawatan 20, no. 4 (December 31, 2022): 86–102. http://dx.doi.org/10.35874/jkp.v20i4.1106.

Full text
Abstract:
ABSTRAK Latar Belakang: Kepuasan pasien merupakan salah satu indikator keberhasilan rumah sakit. Asuhan keperawatan komprehensif merupakan salah satu aspek yang dapat meningkatkan kepuasan pasien. Tujuan penelitian adalah mengembangkan model MAKP moduler berbasis produktivitas kerja perawat dalam meningkatkan kepuasan pasien. Metode: Penelitian Tahap 1 menggunakan desain eksplanatory dengan pendekatan cross sectional. Sampelnya adalah perawat dan pasien RSUD Ibnu Sina Gresik, dengan jumlah sampel 112 reponden berdasarkan perhitungan Rule of Thumb. Teknik pengambilan sampel probability sampling jenis cluster sampling, dan menggunakan analisis Uji PLS (Partial Least Square). Variabelnya adalah karakteristik organisasi, karakteristik perawat, karakteristik pekerjaan, MAKP modular berbasis produktivitas kerja, kepuasan pasien. Tahap 2 peneliti melakukan diskusi pakar, diawali dengan FGD (Focus Group Discussion) oleh Ketua Komite Koordinasi Pendidikan, Ka Sub Bid SDM dan Asuhan Keperawatan dan 6 kepala ruang serta pembimbing kedua peneliti, dilanjutkan diskusi pakar, dan rekomendasi pakar. Hasil: Tahap 1 didapatkan hasil uji hipotesis secara langsung nilai p-value<0,05, sehingga variabel karakteristik organisasi, karakteristik individu, karakteristik pekerjaan, dan MAKP modular berbasis produktivitas kerja berpengaruh signifikan terhadap variabel kepuasan pasien. Uji hipotesis secara tidak langsung didapatkan nilai p-value>0,05, sehingga karakteristik organisasi berhubungan signifikan dengan MAKP moduler berbasis produktivitas kerja melaui karakteristik individu, karakteristik pekerjaan berhubungan signifikan dengan MAKP moduler berbasis produktivitas kerja melalui karakteristik individu, dan karakteristik individu berhubungan signifikan dengan kepuasan pasien melalui MAKP moduler berbasis produktivitas kerja. Tahap 2 didapatkan konsep modul yaitu konsep MAKP moduler, konsep produktivitas kerja perawat, dan penerapan model MAKP moduler berbasis produktivitas kerja perawat. Kesimpulan: Kepuasan pasien yang optimal dapat dicapai melalui peningkatan karakteristik pekerjaan. Kata Kunci: Kepuasan Pasien, MAKP Modular berbasis Produktivitas Kerja, Model AsuhanKeperawatan ABSTRACT Background: Patient satisfaction is one indicator of hospital success. Comprehensive nursing care is one of aspect that increase patient satisfaction. The purpose of the study was to develop a modular MAKP model based on nurse work productivity in increasing patient satisfaction . Methods: Stage 1 research used an explanatory design with a cross sectional approach. The samples were nurses and patients at Ibnu Sina Gresik Hospital, with a total sample of 112 respondents based on the Rule of Thumb. The sampling technique is probability sampling type cluster sampling, and used PLS (Partial Least Square) test analysis. The variables are organizational characteristics, nurse characteristics, job characteristics, modular MAKP based on work productivity, patient satisfaction. Stage 2 researchers conducted expert discussions, starting with FGD (Focus Group Discussion) by the Head of the Education Coordination Committee, Head of Sub-Bid and Nursing Care and 6 heads of rooms and supervisors for the two researchers. Then continued proficient discussion, and recommendations. Results: Stage 1 obtained direct results of hypothesis testing with p-value <0.05, so that the variables of organizational characteristics, individual characteristics, job characteristics, and modular MAKP based on work productivity have a significant effect on patient satisfaction variables. The hypothesis test indirectly obtained p-value> 0.05, so that organizational characteristics were significantly related to the modular MAKP based on work productivity through individual characteristics, job characteristics were significantly related to the modular MAKP based on work productivity through individual characteristics, and individual characteristics were significantly related to patient satisfaction through work productivity-based modular MAKP. Stage 2 obtained module concepts, the concept of modular MAKP, the concept of nurse work productivity, and the application of the modular MAKP model based on nurse work productivity. Conclusion: The optimal patient satisfaction can be achieved through improving job’s characteristic.. Keywords: Patient Satisfaction ,Modular MAKP based on Work Productivity, Nursing Care Model,
APA, Harvard, Vancouver, ISO, and other styles
6

Bejenaru, Andreea, and Mihai Postolache. "On Suzuki Mappings in Modular Spaces." Symmetry 11, no. 3 (March 3, 2019): 319. http://dx.doi.org/10.3390/sym11030319.

Full text
Abstract:
Inspired by Suzuki’s generalization for nonexpansive mappings, we define the ( C ) -property on modular spaces, and provide conditions concerning the fixed points of newly introduced class of mappings in this new framework. In addition, Kirk’s Lemma is extended to modular spaces. The main outcomes extend the classical results on Banach spaces. The major contribution consists of providing inspired arguments to compensate the absence of subadditivity in the case of modulars. The results herein are supported by illustrative examples.
APA, Harvard, Vancouver, ISO, and other styles
7

Kassab, Wissam. "Common Fixed Points Results on Non-Archimedean Metric Modular Spaces." Symmetry 11, no. 11 (November 2, 2019): 1355. http://dx.doi.org/10.3390/sym11111355.

Full text
Abstract:
This paper introduces two new contractive conditions in the setting of non-Archimedean modular spaces, via a C-class function, an altering distance function, and a control function. A non-Archimedean metric modular is shaped as a parameterized family of classical metrics; therefore, for each value of the parameter, the positivity, the symmetry, the triangle inequality, or the continuity is ensured. The main outcomes provide sufficient conditions for the existence of common fixed points for four mappings. Examples are provided in order to prove the usability of the theoretical approach. Moreover, these examples use a non-Archimedean metric modular, which is not convex, making the study of nonconvex modulars more appealing.
APA, Harvard, Vancouver, ISO, and other styles
8

Lael, Fatemeh, and Samira Shabanian. "Convexity and boundedness relaxation for fixed point theorems in modular spaces." Applied General Topology 22, no. 1 (April 1, 2021): 91. http://dx.doi.org/10.4995/agt.2021.13902.

Full text
Abstract:
<p>Although fixed point theorems in modular spaces have remarkably applied to a wide variety of mathematical problems, these theorems strongly depend on some assumptions which often do not hold in practice or can lead to their reformulations as particular problems in normed vector spaces. A recent trend of research has been dedicated to studying the fundamentals of fixed point theorems and relaxing their assumptions with the ambition of pushing the boundaries of fixed point theory in modular spaces further. In this paper, we focus on convexity and boundedness of modulars in fixed point results taken from the literature for contractive correspondence and single-valued mappings. To relax these two assumptions, we seek to identify the ties between modular and b-metric spaces. Afterwards we present an application to a particular form of integral inclusions to support our generalized version of Nadler’s theorem in modular spaces.</p>
APA, Harvard, Vancouver, ISO, and other styles
9

Tao, Yong Jian. "Real-Time Estimation of System Reliability Integrating Sensor-Driven Prognostic Model with Modular Approach." Applied Mechanics and Materials 494-495 (February 2014): 989–92. http://dx.doi.org/10.4028/www.scientific.net/amm.494-495.989.

Full text
Abstract:
Real-time reliability estimation is very significant for system operation safety, particularly in railway transportation system. This paper proposes a method, integrating sensor-driven prognostic model with modular approach, to accurate estimate system real-time reliability. Modular approach is utilized to divide system fault tree into independent subtrees (modulars), and solves system reliability using Binary Decision Diagrams and Bayesian Networks according to their characteristics. Sensor-driven prognostic models use in situ sensor data from system components to compute their failure density functions or reliability functions, and continuously update system reliability. The method for system reliability assessment presented in this paper, integrating sensor-driven prognostic model with modular approach can overcome static characteristics of reliability analysis, and better correspond to practical applications.
APA, Harvard, Vancouver, ISO, and other styles
10

Eliahou, Shalom, and Michel Kervaire. "Modular sequences and modular Hadamard matrices." Journal of Combinatorial Designs 9, no. 3 (2001): 187–214. http://dx.doi.org/10.1002/jcd.1007.

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

Dissertations / Theses on the topic "Modular"

1

Weidner, Jan [Verfasser], and Wolfgang [Akademischer Betreuer] Soergel. "Modular equivariant formality = Modulare äquivariante Formalität." Freiburg : Universität, 2014. http://d-nb.info/1123480745/34.

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

Basson, Dirk Johannes. "On the coefficients of Drinfeld modular forms of higher rank." Thesis, Stellenbosch : Stellenbosch University, 2014. http://hdl.handle.net/10019.1/86387.

Full text
Abstract:
Thesis (PhD)--Stellenbosch University, 2014.
ENGLISH ABSTRACT: Rank 2 Drinfeld modular forms have been studied for more than 30 years, and while it is known that a higher rank theory could be possible, higher rank Drinfeld modular forms have only recently been de ned. In 1988 Gekeler published [Ge2] in which he studies the coe cients of rank 2 Drinfeld modular forms. The goal of this thesis is to perform a similar study of the coe cients of higher rank Drinfeld modular forms. The main results are that the coe cients themselves are (weak) Drinfeld modular forms, a product formula for the discriminant function, the rationality of certain naturally de ned modular forms, and the computation of some Hecke eigenforms and their eigenvalues.
AFRIKAANSE OPSOMMING: Drinfeld modulêre vorme van rang 2 word al vir meer as 30 jaar bestudeer en alhoewel dit lankal bekend is dat daar Drinfeld modulêre vorme van hoër rang moet bestaan, is die de nisie eers onlangs vasgepen. In 1988 het Gekeler die artikel [Ge2] gepubliseer waarin hy die koeffisiënte van Fourier reekse van rang 2 Drinfeld modulêre vorme bestudeer. Die doel van hierdie proefskrif is om dieselfde studie vir Drinfeld modulêre vorme van hoër rang uit te voer. Die hoofresultate is dat die koeffi siënte self (swak) Drinfeld modulêre vorme is, `n produk formule vir die diskriminant funksie, die feit dat sekere natuurlik gede finiëerde modulêre vorme rasionaal is, en die vasstelling van Hecke eievorme en hul eiewaardes.
APA, Harvard, Vancouver, ISO, and other styles
3

Petersen, Dan. "Admissible covers, modular operads and modular forms." Licentiate thesis, KTH, Matematik (Avd.), 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-48923.

Full text
Abstract:
This thesis contains three articles related to operads and moduli spaces of admissible covers of curves. In Paper A we isolate cohomology classes coming from modular forms inside a certain space of admissible covers, thereby showing that this moduli space can be used as a substitute for a Kuga–Sato variety. Paper B contains a combinatorial proof of Ezra Getzler’s semiclassical approximation for modular operads, and a proof of a formula needed in Paper A. In Paper C we explain in what sense spaces of admissible covers form a modular operad, by introducing the notion of an operad colored by a groupoid.
Denna avhandling innehåller tre artiklar relaterade till operader och modulirum för godtagbara övertäckningar av kurvor. I artikel A isoleras kohomologiklasser associerade till modulära former inuti ett visst rum av godtag- bara övertäckningar, vilket visar att detta modulirum kan användas som ett substitut för en Kuga–Sato-varietet. Artikel B innehåller ett kombinatoriskt bevis av Ezra Getzlers semiklassiska approximation för modulära operader, och beviset av en formel som behövs i artikel A. I artikel C förklaras i vilken mening rum av tillåtbara övertäckningar utgör en modulär operad, nämligen en operad färgad av en gruppoid.
QC 20111124
APA, Harvard, Vancouver, ISO, and other styles
4

Ghitza, Alexandru Edgar 1976. "Siegel modulator form (mod p) and algebraic modular forms." Thesis, Massachusetts Institute of Technology, 2003. http://hdl.handle.net/1721.1/29346.

Full text
Abstract:
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 2003.
Includes bibliographical references (p. 101-104) and index.
In his letter [Ser96], J.-P. Serre proves that the systems of Hecke eigenvalues given by modular forms (mod p) are the same as the ones given by locally constant functions ... , where B is the endomorphism algebra of a supersingular elliptic curve. After giving a detailed exposition of Serre's result, we prove that the systems of Hecke eigenvalues given by Siegel modular forms (mod p) of genus g are the same as the ones given by algebraic modular forms (mod p) on the group GUg(B), as defined in [Gro99] and [Gro98]. The correspondence is obtained by restricting to the superspecial locus of the moduli space of abelian varieties.
by Alexandru Edgar Ghitza.
Ph.D.
APA, Harvard, Vancouver, ISO, and other styles
5

Kurth, Christopher. "Modular forms and modular symbols for noncongruence groups." [Ames, Iowa : Iowa State University], 2009.

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

Tamir, Rotem. "Modular Envelops." VCU Scholars Compass, 2013. http://scholarscompass.vcu.edu/etd/3086.

Full text
Abstract:
This texts in about my thesis show; Modular envelopes which was presented in the Anderson gallery at may 2013. The text speaks about my individual process of making both this particular work and art in general.
APA, Harvard, Vancouver, ISO, and other styles
7

Crespo, Marina Rosa. "Coordenação modular: acepções contemporâneas." Universidade de São Paulo, 2017. http://www.teses.usp.br/teses/disponiveis/16/16132/tde-21122017-104312/.

Full text
Abstract:
A coordenação modular é um sistema para ordenação relativa de dimensões, espaços e componentes construtivos. Sua aplicação tem manifestações remotas por princípios que controlam a composição e fixam escalas convenientes para as partes e o todo, todavia foi a produção seriada industrial que determinou o papel que a disciplina teria no século XX. No Brasil, seu desenvolvimento aconteceu entre as décadas de 1950 e 1970, quando foi determinada a formatação fundamental da disciplina. Identifica-se a partir da década de 1980 um intervalo nas discussões específicas que durou até a virada do século, quando foi recuperado o interesse pela área. É consenso entre os autores que ainda não houve no Brasil sucesso na implantação de modelos abrangentes da coordenação modular, mas faltam análises atualizadas. O objetivo da dissertação - examinar o desenvolvimento da disciplina no Brasil após 1986 - está fundamentado em indícios de que as discussões recentes não se aprofundam em temas atuais e de que há um enfraquecimento de uma visão integrada do problema. As principais conclusões indicam que o desenvolvimento da construção civil vem sendo acompanhado do afastamento da arquitetura de etapas da produção, o que afeta o exercício da coordenação modular e que o programa habitacional e as ações políticas de financiamento foram determinantes para a retomada das pesquisas. Entretanto, há ecos dos modelos estabelecidos pelo setor privado, com ênfase à racionalização e à aplicação de componentes industriais. Diante disso, destaca-se que a coordenação modular, como campo da coordenação dimensional, está ligada às necessidades humanas.
Modular coordination is a system for relative ordering of dimensions, spaces, and building components. Its application presents remote manifestations through principles that control the design and set suitable scales for the parts and the whole. Nevertheless, the industrial mass production defined the role that the subject would play during the 20th century. In Brazil, its development took place between the 1960s and the 1970s; period that several authors consider decisive in what regards the subject\'s fundamental formatting. From the 1980s on, the specific debates about the matter went through a gap that lasted until the turn of the century when the interest in the field resurfaced. It is consensual among authors that Brazil still has not been successful to implement comprehensive modular coordination standards, but there is a lack of up-to-date analysis as well. The objective of the dissertation - to examine the discipline\'s development in Brazil after 1986 - is based on indications that recent discussions are leaving aside current issues and that there is a weakening of an integrated view of the matter. The main conclusions indicate that a dissociation between architecture and construction has accompanied the building industry\'s development, which affects the application of modular coordination. Moreover, the housing program and the research funding were decisive for the resumption of the field; nonetheless, there are echoes from the models established by the private sector, with emphasis on the rationalization and application of industrial components. In this context, it should be noted that modular coordination, as a field of dimensional coordination, is linked to human needs.
APA, Harvard, Vancouver, ISO, and other styles
8

Estrada, Eduardo Luis. "Formas modulares aplicadas a teoria dos numeros." [s.n.], 2006. http://repositorio.unicamp.br/jspui/handle/REPOSIP/307500.

Full text
Abstract:
Orientador: Jose Plinio de Oliveira Santos
Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica
Made available in DSpace on 2018-08-06T00:16:28Z (GMT). No. of bitstreams: 1 Estrada_EduardoLuis_M.pdf: 1229842 bytes, checksum: 17b398d3ef955f687a933b77677a7113 (MD5) Previous issue date: 2006
Resumo: Abordamos, de maneira elementar, as estruturas algébrica e topológica sobre a qual são construídas as formas modulares, objetos principais do nosso estudo. Após a definição de formas modulares, realizamos um estudo particular sobre duas funções específicas relacionadas à teoria dos números: h(t) e. u(t). Trata-se de um texto introdutório, no qual apresentamos diversos conceitos e resultados extremamente importantes da teoria, tais como as demonstrações de que as duas funções supracitadas são formas modulares e a apresentação de uma fórmula explícita para seus sistemas multiplicadores
Abstract: In an elemmentary way, we have dealt with the algebraic and topological structures in which the modular forms are constructed. After the definition of this important tool, we have made a particular study about two specific functions related to number theory: h(t) and u(t). It is an introductory text, in which we have presented many concepts and results extremely importants of the theory, such as the proofs of the fact that the two functions h(t) and u(t) are modular forms and the presentation of an exact formula for their multiplier systems
Mestrado
Analise Matematica
Mestre em Matemática
APA, Harvard, Vancouver, ISO, and other styles
9

Bygott, Jeremy S. "Modular forms and modular symbols over imaginary quadratic fields." Thesis, University of Exeter, 1998. http://hdl.handle.net/10871/8322.

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

Young, Quinn Eric. "Development of Modular Thermal Control Architecture for Modular Satellites." DigitalCommons@USU, 2008. https://digitalcommons.usu.edu/etd/217.

Full text
Abstract:
Research has been completed to determine the most effective thermal control architecture for modular satellites. This research investigated principles of modularity, modular spacecraft examples, thermal control methods, and advanced thermal control technologies. A modular spacecraft was designed as a case study to determine key influences and issues. A number of thermal control architectures were developed. Each was evaluated for compatibility with modularity principles, thermal control performance, and a realizable implementation. Thermal control performance was determined by simulating on-orbit conditions for a number of design reference missions, including traditional thermal control architecture used for comparison. An effective thermal control architecture was found that has all desired attributes. The methods of development, simulation, and evaluation are presented with results and key findings.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Modular"

1

Edificios modulares =: Modular buildings. Barcelona: grupo pab, Departamento de Proyectos Arquitectónicos, ETSAB, UPC, 2010.

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

Iwasawa theory, projective modules, and modular representations. Providence, R.I: American Mathematical Society, 2010.

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

E, Cremona J., ed. Modular curves and abelian varieties. Boston: Birkhäuser Verlag, 2004.

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

Ewart, Smith, ed. AQA GCSE mathematics modular: Modular 5 : foundation. Oxford: Heinemann Educational Publishers, 2007.

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

Alfes-Neumann, Claudia. Modular Forms. Wiesbaden: Springer Fachmedien Wiesbaden, 2021. http://dx.doi.org/10.1007/978-3-658-34529-7.

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

Michl, Josef, ed. Modular Chemistry. Dordrecht: Springer Netherlands, 1997. http://dx.doi.org/10.1007/978-94-011-5582-3.

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

Stuckenschmidt, Heiner, Christine Parent, and Stefano Spaccapietra, eds. Modular Ontologies. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-01907-4.

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

Miyake, Toshitsune. Modular Forms. Berlin, Heidelberg: Springer Berlin Heidelberg, 1989. http://dx.doi.org/10.1007/3-540-29593-3.

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

Bostock, L. Modular mathematics. Cheltenham: Stanley Thornes, 1995.

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

Bostock, L. Modular mathematics. Cheltenham: Stanley Thornes, 1995.

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

Book chapters on the topic "Modular"

1

Hari Govind, V. K., Isabel Garcia-Contreras, Sharon Shoham, and Arie Gurfinkel. "Speculative SAT Modulo SAT." In Tools and Algorithms for the Construction and Analysis of Systems, 43–60. Cham: Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-57246-3_4.

Full text
Abstract:
AbstractState-of-the-art model-checking algorithms like IC3/PDR are based on uni-directional modular SAT solving for finding and/or blocking counterexamples. Modular SAT-solvers divide a SAT-query into multiple sub-queries, each solved by a separate SAT-solver (called a module), and propagate information (lemmas, proof obligations, blocked clauses, etc.) between modules. While modular solving is key to IC3/PDR, it is obviously not as effective as monolithic solving, especially when individual sub-queries are harder to solve than the combined query. This is partially addressed in SAT modulo SAT (SMS) by propagating unit literals back and forth between the modules and using information from one module to simplify the sub-query in another module as soon as possible (i.e., before the satisfiability of any sub-query is established). However, bi-directionality of SMS is limited because of the strict order between decisions and propagation – only one module is allowed to make decisions, until its sub-query is SAT. In this paper, we propose a generalization of SMS, called specSMS, that speculates decisions between modules. This makes it bi-directional – decisions are made in multiple modules, and learned clauses are exchanged in both directions. We further extend DRUP proofs and interpolation, these are useful in model checking, to specSMS. We have implemented specSMS in Z3 and empirically validate it on a series of benchmarks that are provably hard for SMS.
APA, Harvard, Vancouver, ISO, and other styles
2

Ramamurthy, K. G. "Modules and Modular Sets." In Coherent Structures and Simple Games, 89–134. Dordrecht: Springer Netherlands, 1990. http://dx.doi.org/10.1007/978-94-009-2099-6_4.

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

Zagier, D. "Modular points, modular curves, modular surfaces and modular forms." In Lecture Notes in Mathematics, 225–48. Berlin, Heidelberg: Springer Berlin Heidelberg, 1985. http://dx.doi.org/10.1007/bfb0084592.

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

Jouannaud, Jean-Pierre. "Modular Church-Rosser Modulo." In Lecture Notes in Computer Science, 96–107. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11805618_8.

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

Weik, Martin H. "modular." In Computer Science and Communications Dictionary, 1035. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_11712.

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

Geer, Gerard. "Modular Curves on Modular Surfaces." In Hilbert Modular Surfaces, 86–120. Berlin, Heidelberg: Springer Berlin Heidelberg, 1988. http://dx.doi.org/10.1007/978-3-642-61553-5_7.

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

Miyake, Toshitsune. "Modular Groups and Modular Forms." In Springer Monographs in Mathematics, 96–194. Berlin, Heidelberg: Springer Berlin Heidelberg, 1989. http://dx.doi.org/10.1007/3-540-29593-3_4.

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

Haag, Rudolf. "Modular Automorphisms and Modular Conjugation." In Local Quantum Physics, 216–26. Berlin, Heidelberg: Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/978-3-642-97306-2_21.

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

Apostol, Tom M. "The modular group and modular functions." In Modular Functions and Dirichlet Series in Number Theory, 26–46. New York, NY: Springer New York, 1990. http://dx.doi.org/10.1007/978-1-4612-0999-7_2.

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

Morales, José F., Manuel V. Hermenegildo, and Rémy Haemmerlé. "Modular Extensions for Modular (Logic) Languages." In Logic-Based Program Synthesis and Transformation, 139–54. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-32211-2_10.

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

Conference papers on the topic "Modular"

1

Dobbert, Michael. "Calibration and Specification Considerations When Using Modular Instrumentation." In NCSL International Workshop & Symposium. NCSL International, 2013. http://dx.doi.org/10.51843/wsproceedings.2013.23.

Full text
Abstract:
Calibration and Specification Considerations When Using Modular Instrumentation. Modular instrumentation, such as PXI or AXIe modular instruments, offers significant configuration flexibility, plus interchangeability, speed, and size advantages when it comes to deploying measurement systems. However, the architecture that enables these advantages also presents unique challenges when calibrating modular instruments. Calibration often occurs outside of the use environment. For modular instrumentation, this may mean performing calibration on a module with a different chassis and its related electronics. Additionally, the module’s ambient environmental conditions depend upon chassis fan speed, the use of slot blockers and EMC filler panels and the presence of other modules. The operating software and CPU for modular instruments are contained outside the module in an external computer, which may not travel with the module for calibration. Modular instrumentation may require multiple modules configured together to provide measurement capability. This may require calibration on the set of modules as a system or, a method to relate system level performance to the calibrated performance of individual modules. These issues affect both the calibration and the calibration report and influence how manufacturers may define specifications for modular instrumentation. This paper examines these issues in detail and considers both in situ calibration and calibration performed outside the use environment. Recommended is information to be included on the measurement report that is unique to calibration of modular instrumentation. Addressed are the requirements for assuring the ability to make traceable measurements using calibrated modular instrumentation.
APA, Harvard, Vancouver, ISO, and other styles
2

Sahin, Ferat, Wayne Walter, and Kevin Kreigbaum. "Design, Build, and Test of Modular Mobile Micro Robots." In ASME 2003 International Mechanical Engineering Congress and Exposition. ASMEDC, 2003. http://dx.doi.org/10.1115/imece2003-41513.

Full text
Abstract:
This paper presents a novel architecture for a mobile micro robot design. The architecture will have hardware and software modularity. The modular architecture of the platform provides “plug-and-play” capability that will allow hardware and software subsystems to be easily swapped. This paper focuses on vertical hardware modularity in the sense that modules will not be identical to each other but have common connectivity. Our approach slices a robot into functional modules such as locomotion, control, sensors, communication, and actuation. Any mobile robot can be constructed by combining the above abstract modules. A sub-module is a piece of hardware, which accomplishes the functionality of an abstract module, i.e. a wireless communication sub-module for a communication module. The software architecture consists of abstract classes and their objects. The abstract classes are “robot”, “locomotion”, “control”, “communication”, “sensor”, and “actuators”. From these abstract classes, concrete classes are derived. The objects are going to be created from the concrete classes. For example, “wireless” can be a class inherited from “communication” class. Then, an instance of “wireless” class can be created as the communication module in the robot. The objects (tasks) are dynamically loaded into the robots so that the modular OS can run the tasks on the sub-module it has. The paper explores generations of micro robot designs with modular architecture.
APA, Harvard, Vancouver, ISO, and other styles
3

Wu, Wen-bin, Kan Wang, and Qing Li. "Matrix Method of Characteristics Based on Modular Ray Tracing." In 2013 21st International Conference on Nuclear Engineering. American Society of Mechanical Engineers, 2013. http://dx.doi.org/10.1115/icone21-15278.

Full text
Abstract:
The Matrix Method of Characteristics (MOC) is an alternative to traditional MOC, in which repeatedly characteristics sweeping is needed. In the Matrix MOC, a linear algebraic equation system, which is represented by coefficient-matrix, can be formed by sweeping only once, and then solving the linear system takes the place of repeatedly characteristics sweeping. There are many linear solvers to be use, like direct LU decomposition and widely used Krylov subspace iterative methods. In the past, 2D Matrix MOC was implemented based on the long characteristics in which tremendous memory is consumed to hold the geometrical information. Then, 2D Matrix MOC based on modular ray tracing was implemented to overcome the difficulty. Modular ray tracing just holds the geometrical information of typical modules like cells or assemblies, consequently needs less memory. In this study, Filippone-type modular ray tracing in which different azimuths own the same number of characteristics lines was used, and AutoCAD VBA programing produced the geometrical information. Also, the Matrix MOC based on modular ray tracing was implemented to solve half, fourth and eighth reactor core in which additional modules, e.g. half-module, fourth-module and eighth-module were involved and need special considerations. Numerical results demonstrate that Matrix MOC based on modular ray tracing can obtain good efficiency and accuracy.
APA, Harvard, Vancouver, ISO, and other styles
4

Acharya, H. B., Aditya Joshi, and M. G. Gouda. "Firewall modules and modular firewalls." In 2010 18th IEEE International Conference on Network Protocols (ICNP). IEEE, 2010. http://dx.doi.org/10.1109/icnp.2010.5762766.

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

Ceresole, E., P. Fanghella, and C. Galletti. "Assur’s Groups, AKCs, Basic Trusses, SOCs, etc.: Modular Kinematics of Planar Linkages." In ASME 1996 Design Engineering Technical Conferences and Computers in Engineering Conference. American Society of Mechanical Engineers, 1996. http://dx.doi.org/10.1115/96-detc/mech-1027.

Full text
Abstract:
Abstract The paper presents a unified point of view on modular methods of kinematic analysis of planar linkages. It is shown that various approaches adopted in different fields, such as linkage analysis, robot kinematics, variational CAD systems, are based on the common idea of decoupling complex systems of equations by solving sequences of simpler subsystems. These subsystems correspond to modules with particular topological properties. Then, the three main issues of a modular method, namely, systematic topology of the modules, solution algorithms for each module, and module recognition in a given mechanism, are discussed and solutions are provided by means of the general unifying concept of Assur Kinematic Chain (AKC).
APA, Harvard, Vancouver, ISO, and other styles
6

Shi, Bo, and Zhao-Fei Tian. "Research on Modular Modeling Method of Reactor Coolant System Based on THEATRe." In 2014 22nd International Conference on Nuclear Engineering. American Society of Mechanical Engineers, 2014. http://dx.doi.org/10.1115/icone22-30450.

Full text
Abstract:
At present, research on the reactor coolant system is less yet, though modular modeling method has been widely used in the second-loop system of reactor. This paper takes the reactor coolant system of Qinshan-1 nuclear power plant as the object of study, analyses and researches on modular modeling method of reactor coolant system based on THEATRe, which is a large Thermal-Hydraulic real time simulation software developed by GSE Company and adopts NMNP (Nodal Momentum Nodal Pressure) solving method. This research establishes the modular model of the reactor coolant system equipments (including reactor core, main coolant pump, pressurizer, steam generator) using the THEATRe code. Due to each module is wrote into through different input cards, they can be solved by using their own matrix of velocity-pressure to guarantee the independence of the numerical calculation for different modular modules. THEATRe code does not have its own TDV like relap-5, meanwhile it also needs to ensure the pressurizer module can play a role in the multi-pressure node system. So this paper modifies solving method of the THEATRe source code to get suitable pressure boundary and flux boundary for RCS equipment modular module, and selects reasonable time step and data exchange frequency to achieve the data exchange of boundary pressure, flux and enthalpy among the equipment modules, which lays the foundation of establishing the real-time modular simulation model of the reactor coolant system in the future.
APA, Harvard, Vancouver, ISO, and other styles
7

Fei, Yanqiong, and Xin Zhang. "Self-Repairing Process in Self-Reconfigurable Robots Based on Geometrical Characteristics." In ASME 2011 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2011. http://dx.doi.org/10.1115/detc2011-47198.

Full text
Abstract:
Self-reconfigurable modular robot consists of many identical modules. By changing the connections among modules, the structure of the robot can flexibly change into many other structures. First, the module is designed which can finish the self-repairing action and its disconnection/connection mechanism is analyzed. Second, a distributed self-repairing process based on the geometrical characters of the modular robot is presented. The method of the Breadth-First-Search and the Depth-First-Search is applied to look for a locomotion path by which a faulty module is ejected and replaced by a spare module. The method can be used to show the self-repairing task of most lattice-type modular robots. It’s effective to solve large numbers of computing problems when the faulty module is inside a large-scale system. At last, a simulation of (2 × 4 + 1)3 modules shows the feasibility and effectiveness of the self-repairing method in the self-reconfigurable robot.
APA, Harvard, Vancouver, ISO, and other styles
8

Mende, Jens. "Modular Inference Trees for Expository Reports." In InSITE 2005: Informing Science + IT Education Conference. Informing Science Institute, 2005. http://dx.doi.org/10.28945/2933.

Full text
Abstract:
When people write a report that involves a complex argument towards a conclusion, they can use a design tool called the inference tree, which enables them to outline the argument, and quickly detect reasoning errors in the outline. Yet when the argument is very complex, the inference tree may spread over several pages, so that writers may often have to flip back and forth between those pages. To prevent unnecessary flipping, they can draw the tree as a hierarchy of modules, similar to a modular hierarchy of program flowcharts or structure charts, where a major module controls several minor modules. In drawing the tree, writers can adopt four principles of Computing: modularity, the criterion of minimal coupling between modules, and the methods of forward and backward chaining to draw all the modules.
APA, Harvard, Vancouver, ISO, and other styles
9

Attia, Magdy S., and Christopher Hemerly. "Quasi-Three Dimensional Verification of the Modular Axial Compressor Design Approach." In ASME Turbo Expo 2009: Power for Land, Sea, and Air. ASMEDC, 2009. http://dx.doi.org/10.1115/gt2009-60132.

Full text
Abstract:
In an article published some time ago [1], the authors investigated the idea of breaking down the [multi-stage] compressor component of the typical turbofan engine into modules. The motivation for this work stems from a “Lean Engineering” approach to gas turbine engine design. Five (5) modules were created; they are the inlet, front, core, rear, and exit modules. The intent is to maximize the size of the core module, as represented by the number of stages. Thus, many different compressors can share the core module, which will greatly reduce the Lifecycle costs for the fleet. The next stage of this work focuses on the Meanline and Throughflow design and analysis of two different compressors that share an 8-stage core. The first compressor, HPC-1, is a 10-stage compressor operating at 9,000 rpm, having 100 Kg/sec inlet mass flow rate, and a 13.5:1 overall pressure ratio. HPC-2 is a 13-stage modular upgrade of HPC-1, operating at 9,700 rpm, having an inlet mass flow rate of 140 Kg/sec, and a 27:1 overall pressure ratio. Applying the modular concept, the first and last stages (of HPC-1) have been removed and replaced by 2 and 3 stages, respectively. Additionally the inlet and exit modules have been redesigned as well. Preliminary Meanline analysis showed that this concept could present challenging boundary conditions for the design of the interface stage; the name assigned to the first stage of the core module. The conditions entering that stage represent a critical hurdle to the viability of this method. Slight variations in corrected speed and pressure ratios for stages 1 and 2 of the modular upgrade, HPC-2, provided the necessary realignment of the core module. The pressure ratio of the core module differs by less than 1% for both compressors. And in both instances, the corrected speed is virtually identical. Throughflow analysis, conducted using T-AXI [2], confirms the redesign and the viability of the method.
APA, Harvard, Vancouver, ISO, and other styles
10

Attia, Magdy S., and Christopher Hemerly. "Modular Multi-Stage Axial Compressor Design: A Conceptual Study With an Example." In ASME Turbo Expo 2006: Power for Land, Sea, and Air. ASMEDC, 2006. http://dx.doi.org/10.1115/gt2006-91053.

Full text
Abstract:
Increasingly, companies are becoming more interested in reducing cost. Initially, cost reduction efforts were focused on the manufacturing and service side since the majority of the budget was consumed during that phase. However, recent studies indicate that up to 80% of the life cycle costs (LCC) has been embedded in the engine’s DNA at the end of the development and design phase. This fact is motivating many companies to consider cost cutting initiatives much earlier in the development cycle than before. One concept to aid in such cost reduction is the modular design of expensive and development-intensive components, such as multi-stage axial compressors. With sufficient planning, any potentially negative impact on performance can be addressed and almost entirely eliminated. Conceptually, the compressor is divided into five (5) functional modules. In the successful modular design, the core module size is maximized, while all other modules are held to a minimum. It is the objective of this approach to utilize the core module in all the compressors, thus, maximizing commonality and minimizing all relevant development, design, manufacture, procurement, and service costs. This paper introduces the modular concept with an example; a multi-stage high pressure compressor (HPC) design is carried out to the preliminary meanline phase. The compressor is consequently divided up into its five (5) modules, and a modular upgrade is then developed for a different application using the same core. Discussion is presented as to the advantages and potential limitations.
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Modular"

1

Newell, Matthew R. Modular miniGRAND Module. Office of Scientific and Technical Information (OSTI), May 2017. http://dx.doi.org/10.2172/1357150.

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

Newell, Matthew R. Modular Neutron Multiplicity Module. Office of Scientific and Technical Information (OSTI), May 2017. http://dx.doi.org/10.2172/1357151.

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

Aldrich, Jonathan. Open Modules: Modular Reasoning about Advice. Fort Belvoir, VA: Defense Technical Information Center, December 2004. http://dx.doi.org/10.21236/ada456038.

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

Kelly, K., J. Brown, G. Kamsickas, and W. Tucker. Modular Simulator System (MSS). System/Segment Specification for the Generic Modular Simulator System - Propulsion Module Propulsion Module. Volume 5. Fort Belvoir, VA: Defense Technical Information Center, August 1993. http://dx.doi.org/10.21236/ada276972.

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

Kelly, K., J. Brown, G. Kamsickas, and W. Tucker. Modular Simulator System (MSS). System/Segment Specification for the Generic Modular Simulator System - Weapons Module. Volume 7. Fort Belvoir, VA: Defense Technical Information Center, August 1993. http://dx.doi.org/10.21236/ada276974.

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

Kelly, K., J. Brown, G. Kamsickas, and W. Tucker. Modular Simulator System (MSS). System/Segment Specification for the Generic Modular Simulator System - Visual Module. Volume 11. Fort Belvoir, VA: Defense Technical Information Center, August 1993. http://dx.doi.org/10.21236/ada276978.

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

Witt, Adam M., Scott Deneale, Thanos Athanasios N. Papanicolaou, Benjamin Abban, and Norm Bishop. Standard Modular Hydropower: Case Study on Modular Facility Design. Office of Scientific and Technical Information (OSTI), November 2018. http://dx.doi.org/10.2172/1484123.

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

Lester, Brian T., and William M. Scherzinger. Modular Growth and Nucleation Formulations in Modular Plasticity Models. Office of Scientific and Technical Information (OSTI), July 2020. http://dx.doi.org/10.2172/1643748.

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

Kelly, K., J. Brown, G. Kamsickas, and W. Tucker. Modular Simulator System (MSS). System/Segment Specification for the Generic Modular Simulator System - Flight Controls Module. Volume 3. Fort Belvoir, VA: Defense Technical Information Center, August 1993. http://dx.doi.org/10.21236/ada276970.

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

Kelly, K., J. Brown, G. Kamsickas, and W. Tucker. Modular Simulator System (MSS). System/Segment Specification for the Generic Modular Simulator System - Flight Dynamics Module. Volume 4. Fort Belvoir, VA: Defense Technical Information Center, August 1993. http://dx.doi.org/10.21236/ada276971.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Modular' for particular source types:
Journal articles Dissertations / Theses Books
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