Filters








22 Hits in 6.8 sec

Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis (Extended Version) [article]

Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo
2015 arXiv   pre-print
We extend abstract interpretation for the purpose of verifying hybrid systems.  ...  2) employing Robinson's nonstandard analysis (NSA) to define mathematically rigorous semantics.  ...  This research was supported in part by Grants-in-Aid No. 24680001 & 15KT0012, JSPS; Grant-in-Aid for JSPS Fellows; NSF CAREER award #1156059; and NSF award #1162076.  ... 
arXiv:1511.00825v1 fatcat:d24dm2ct6ndsbaulmrsmkf5t34

The Mathematical Foundations of Physical Systems Modeling Languages [article]

Albert Benveniste
2021 arXiv   pre-print
For our mathematical development, we rely on nonstandard analysis, which allows us to cast hybrid systems dynamics to discrete time dynamics with infinitesimal step size, thus providing a uniform framework  ...  In this paper, we develop a comprehensive mathematical approach supporting compilation and code generation for this class of languages. Its core is the structural analysis of multimode DAE systems.  ...  We had extensive fruitful discussions with John Pryce on both structural analysis of DAEs, including the Σ-method}, and physical modeling in general; this helped us bring out the need for an explicit distinction  ... 
arXiv:2008.05166v2 fatcat:mvamrctou5dpfdu62c3vvexcyy

Single-Negative, Double-Negative, and Low-index Metamaterials and their Electromagnetic Applications

A. Alu, N. Engheta, A. Erentok, R. Ziolkowski
2007 IEEE Antennas & Propagation Magazine  
Abstract Metamaterials that are engineered media characterized by electromagnetic constitutive parameters with anomalous values may show counterintuitive properties in their interactions with electromagnetic  ...  Metamaterials that are engineered media characterized by electromagnetic constitutive parameters with anomalous values may show counterintuitive properties in their interactions with electromagnetic waves  ...  Metamnaterials have revitalized our interests in complex media, and in their analysis and numerical modeling.  ... 
doi:10.1109/map.2007.370979 fatcat:4dtnbrz5sjdyfnd5qkkbqlyxta

Communications, Multimedia, Ontology, Photonics and Internet Engineering 2012

Ryszard S. Romaniuk
2012 International Journal of Electronics and Telecommunications  
May 2012 marked a jubilee XXXth meeting in Wilga Resort. There were presented over 250 papers from nearly all technical universities in this country.  ...  Wilga Symposium gathers two times a year, together around 300 young scientists active in advanced photonics, electronics and software systems, including Internet engineering.  ...  Micro-structured plastic optical fibers -mPOF are under intense studies, also in this country. They are cheap and are user scalable, even in singlemode version.  ... 
doi:10.2478/v10177-012-0061-z fatcat:s6nm5vnwoneotjyny4ld5dp7ve

Provisioning QoS features for input-queued ATM switches

S. Li, N. Ansari
1998 Electronics Letters  
ABSTRACT ON SCHEDULING INPUT QUEUED CELL SWITCHES by Shizhao Li Output-queued switching, though is able to offer high throughput, guaranteed delay and fairness, lacks scalability owing to the speed up  ...  This dissertation presents three approaches toward resolving the major problem encountered in input-queued switching that has prohibited the provision of quality of service guarantees.  ...  Since SSF is a non-work-conserving scheduler, the performance analysis can be extended from a single node to a network with arbitrary topology, and more efficient usage of buffer space than work-conserving  ... 
doi:10.1049/el:19981275 fatcat:jslyebylsrcxlbxu4tu4iydc4e

The Lagrangian particle dispersion model FLEXPART version 10.4

Ignacio Pisso, Espen Sollum, Henrik Grythe, Nina I. Kristiansen, Massimo Cassiani, Sabine Eckhardt, Delia Arnold, Don Morton, Rona L. Thompson, Christine D. Groot Zwaaftink, Nikolaos Evangeliou, Harald Sodemann (+9 others)
2019 Geoscientific Model Development  
Abstract.  ...  In this paper, we present FLEXPART version 10.4, which works with meteorological input data from the European Centre for Medium-Range Weather Forecasts (ECMWF) Integrated Forecast System (IFS) and data  ...  We thank Mariëlle Mulder for comments on an early version of this paper.  ... 
doi:10.5194/gmd-12-4955-2019 fatcat:xco5tzyc4jajzp2tcg5jiza32e

Modeling and Multiple Perceptions [chapter]

Christine Parent, Stefano Spaccapietra, Esteban Zimányi
2017 Encyclopedia of GIS  
Modeling with Pictogrammic Languages OGC's Open Standards for Geospatial Interoperability Vector Data Cross-References Indexing, Query and Velocity-Constrained Privacy Threats in Location-Based Services  ...  Cross-References Modeling with Pictogrammic Languages Acknowledgements The authors thank Professor Yvan Bédard of the Geomatics Research Center at Laval University and his team for stimulating our thought  ...  Agarwal et al. (2000) gave an external memory version of static partition trees that answers queries in O.n 1=2C" C k/ I/Os.  ... 
doi:10.1007/978-3-319-17885-1_805 fatcat:d4t4ossygvcutpfabqn6f3hjcm

Table of Contents – Technical

2021 2021 IEEE International Joint EMC/SI/PI and EMC Europe Symposium  
Detailed analysis and elaboration of these nonstandard signals has been provided in this paper, which can explain many vehicle failure problems during start-up, driving and parking. 11:50 Forensic  ...  This switching action can also extend the life of the solar cells by preventing a given cell from being actuated 100% of the time. 14:20 Black-Box DC-DC Integrated Circuit Modeling towards  ... 
doi:10.1109/emc/si/pi/emceurope52599.2021.9559379 fatcat:bqobkpurjje4vb5xpdk56r4lpi

The Vessel Schedule Recovery Problem (VSRP) – A MIP model for handling disruptions in liner shipping

Berit D. Brouer, Jakob Dirksen, David Pisinger, Christian E.M. Plum, Bo Vaaben
2013 European Journal of Operational Research  
Sensitivity analysis is performed to gain better insights into knowing how important parameters affect the design of the system.  ...  The predominant difficulty lies in matching vehicle locations with customer demand, as well as the development of solutions for fleet maintenance.  ...  By applying Infinitesimal Perturbation Analysis (IPA) algorithm -a form of approximate dynamic programming we show how realistic-size versions can be solved and obtain some interesting managerial insights  ... 
doi:10.1016/j.ejor.2012.08.016 fatcat:c27kagfnxnhjfbil2rydhjhomm

A beacon of new physics: The Pioneer anomaly modelled as a path based speed loss driven by the externalisation of aggregate non-inertial QM energy [article]

Paul G. ten Boom
2012 arXiv   pre-print
'Solutions' of the new model may extend to: the Earth flyby anomaly, solar system related large-scale anomalies in the CMB radiation data, the nature of dark energy, and how a theory of everything unification  ...  This treatise outlines how a non-systematic based Pioneer anomaly, with its implied violation (re: 'low' mass bodies only) of both general relativity's weak equivalence principle and the Newtonian inverse-square  ...  2008, abstract) ."  ... 
arXiv:1205.3312v3 fatcat:pd7cy2kizzftvmubomkqiqmegm

Anyons in an exactly solved model and beyond

Alexei Kitaev
2006 Annals of Physics  
The model is solved exactly by a reduction to free fermions in a static Z_2 gauge field. A phase diagram in the parameter space is obtained.  ...  In the latter case excitations are non-Abelian anyons whose braiding rules coincide with those of conformal blocks for the Ising model.  ...  A conversation with Dmitri Ivanov was essential for understanding the difference between non-Abelian anyons and Majorana vortices in twodimensional p-wave superconductors.  ... 
doi:10.1016/j.aop.2005.10.005 fatcat:gnylvwfswfb5vck3dlrnnwereu

Modal Analysis of Electric sail

Todd D. Lillian
2021 Acta Astronautica  
Gerald Karr, Brooke Graham, and Katie Hayden, for providing this unique opportunity to work with NASA researchers in a NASA environment. A special gratitude he gives to the MSFC Collaborators, Dr.  ...  We also would like to thanks engineers and scientists at NASA MSFC ES36 group who took time and shared their thoughts and ideas on using wireless sensor network technologies in space applications.  ...  Therefore, the interpretation of it is left with the reader's perception in the context of discussion. II.  ... 
doi:10.1016/j.actaastro.2021.05.003 fatcat:haxb75tn2bd7xp43hw6hv4mlya

Structural Characteristics of Two-Phase Flows in Vertical Channels of Nuclear Power Plant Cooling Systems in the Natural Circulation Mode
Структурные характеристики двухфазных течений в вертикальных каналах систем теплоотвода ядерных энергетических установок в режиме естественной циркуляции

Н.Ш. Исаков, МГТУ им. Н.Э. Баумана, В.В. Перевезенцев, МГТУ им. Н.Э. Баумана
2018 Proceedings of Higher Educational Institutions Маchine Building  
the numerical scheme used in RELAP5; and Volume VII presents a collection of independent assessment calculations.  ...  schemes; Volume II details instructions for code application and input data preparation; Volume III presents the results of developmental assessment cases that demonstrate and verify the models used in  ...  RELAP5/ MOD1.5,11"1.1 which was a version of RELAP5/MOD111"1"2 extended to provide reflood heat transfer.  ... 
doi:10.18698/0536-1044-2018-11-20-29 fatcat:2724w2toinelhgxrifz547op5a

第56回年会予稿集

2018 Seibutsu Butsuri  
In this 14th year, we received 33 highly qualified applications.  ...  In this symposium, each speaker will make 10-minute presentation followed by 3-minute discussion as the second round of screening.  ...  Moreover, technological innovation such as SAXS in line with size-exclusion chromatography, SEC-SAXS has extended the scope of application of SAXS analysis to samples up to higher difficulty level.  ... 
doi:10.2142/biophys.58.s1 fatcat:6slkwnu64fen7cjixehxrcmdzm

New contributions to spatial partitioning and parallel global illumination algorithms

Robert Garmann, Technische Universität Dortmund, Technische Universität Dortmund
2004
As a proof of practicability of our tool we apply the tool to the HRA and observe a well scalable behaviour and useful speedup values.  ...  This thesis resides around the interface of two disciplines in computer science: computer graphics (global illumination) and parallel computing (dynamic partitioning).  ...  version.  ... 
doi:10.17877/de290r-13450 fatcat:v647pq7fszd4dp6ipfewqwxx4e
« Previous Showing results 1 — 15 out of 22 results